`sweep-nd`（シナリオ種別）

エンジンv0.40.0のシナリオの種類。ファミリー：時計、タイミング、ホールドオーバー。助言のみ：研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではなく、人命安全（safety-of-life）サービスでもありません。ここにあるラベルはすべてエンジンまたは検証マトリクスによるものです。検証マトリクスに別の記載がない限り、シナリオの種類はMODELLEDです（ラベルの付与のされ方：READMEのEvidenceセクション）。

内容#

ドット区切りの TOML キーまたは JSON メトリクスパスによる、任意のパックに対する汎用の N 次元掃引。

scenarios/sweep-nd-inertial.toml の一回の実行の要約：generic sweep of inertial over [threshold_m, accel_classical.bias] | 15 nodes (shape [5, 3]) | metrics [classical.fom.holdover_s, classical.fom.pos_rms_m]

入力#

スキーマ（kshana kinds --json）より：

必須フィールド：base、axes、metrics
任意フィールド：なし

例 scenarios/sweep-nd-inertial.toml では、とりわけ次を設定しています：

フィールド	値	単位
`axes[0].key`	threshold_m	テキスト
`axes[0].start`	100	記載なし
`axes[0].steps`	5	記載なし
`axes[0].stop`	500	記載なし
`axes[1].key`	accel_classical.bias	テキスト
`axes[1].scale`	対数	テキスト
`axes[1].start`	0.001	記載なし
`axes[1].steps`	3	記載なし
`axes[1].stop`	0.003	記載なし
`axes[1].unit`	m/s^2	テキスト
`base.accel_classical.bias`	0.00157	記載なし
`base.accel_classical.bias_instability`	1.0000e-5	記載なし

実行する#

kshana scenarios/sweep-nd-inertial.toml

得られるもの#

その実行のスカラー結果。単位はエンジンが示すとおりです：

結果	値	単位
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	PARTNER	テキスト

エンジンが scenarios/sweep-nd-inertial.toml（種別 sweep-nd）に対して出力するグラフ

エビデンス#

この種類を名前で挙げているマトリクスの行はありません。その結果のラベルは、上に示したエンジン自身のものです。

実行そのものが検証した行と、マトリクスが各行に示すオラクル（公開ソースはそこに記載されています）：

MODELLED 第一原理からの冷却原子干渉計加速度計（k_eff·T²、QPN）。オラクル（ExternalDataset）：公表されている CAI の原著論文の数値ベクトル（Cheinet 2008 の伝達関数；Peters／Freier の感度）：k_eff·T² は完全に一致し、ショット雑音 ASD は片側の下限として、公表されている各装置の約2倍以内（実機には量子下限を上回る技術雑音があります）。これは範囲の確認であり、同等性ではありません。0.30 ラウンド2（事前登録 fcb9ac64）、所見（MODELLED のまま）：QPN のみの回転雑音を、実測の Gauguet ら
MODELLED ホールドオーバー中の、バイアス＋スケールファクター＋VRW＋安定度劣化を合成した位置バジェット。オラクル（ReferenceImpl）：二重積分した白色加速度雑音の独立した numpy モンテカルロ SDE 積分（解析的な VRW 分散を真に独立したアルゴリズムで確認）＋バイアス／スケールファクター項に対する Groves 2013 の公表値アンカー；CAI 装置の数値はパートナーのハードウェアを定量化するもので、MODELLED のまま
MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
PARTNER 提供しません — 性能モデルのみ；冷却原子／時計のハードウェアはパートナーのものです。オラクル（NoneKind）：なし：パートナーが所管する分野であり、設計上モジュールもテストもありません
MODELLED campaignの種類のスイープ（任意の種類のドット区切りのキー一〜三個、汎用スイープの軸の値に対して、必要に応じてすべてのノードでアンサンブル）とmonte_carloのセク。オラクル（InternalConsistency）：白色周波数雑音の下での位相ランダムウォークの閉形式、分散q_wf tau（NIST Technical Note 1337）は統計処理の仕組みに対して使い、シードの扱いにはスタンドアロンの実行とのバイト単位の一致を使います。これはエンジン自身の時計モデルに対するアンサンブル演算を確認するものであり、外部のデータセットではありません

制限事項#

実行そのものの報告が、モデル化されていない、または検証されていないとしている内容：

量子慣性センサーの性能は MODELLED であり、独立した外部の参照と照合して確認されてはいません：副次的な主張は外部で検証されていますが、機能全体はモデルから計算した部品を組み合わせているため、この機能はモデルから計算した状態のままです。（検証マトリクス（docs/MODELLED-RATIONALE.md））
量子慣性デッドレコニングのレジリエンスは MODELLED であり、独立した外部の参照と照合して確認されてはいません：この同じコードベース内の別実装と照合していますが、これは被試験ユニットから独立してはいるものの、外部の権威あるものではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
任意のシナリオの種類に対するパラメーター掃引とシード付きモンテカルロのアンサンブルはMODELLEDであり、独立した外部の参照との照合はされていません。自身の閉形式・解析的な恒等式に照らして確認しており、転記や係数の誤りは見つけられますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））