sweep（シナリオ種別）

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

内容#

クロックパックのパラメーターに対する1次元のトレードスタディ掃引。

scenarios/sweep-clock-stability.toml の一回の実行の要約：sweep holdover_s over classical_q_wf (1.00e-24..1.00e-18, 25 pts, log scale) | quantum 6600.000->6600.000 | classical 2610.000->250.000

入力#

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

• 必須フィールド：parameter、metric、start、stop、steps、base
• 任意フィールド：scale

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

実行する#

kshana scenarios/sweep-clock-stability.toml

得られるもの#

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

エビデンス#

MODELLED：この種類を挙げている検証マトリクスの行。

• MODELLED一回の実行は、コンタクト計画（aos_s/los_sウィンドウのリスト。各ウィンドウはアパーチャに航法または通信を要求します。passes::predict_passesが出力するものと同じウィンドウの語彙で、aperture_duty::windows_from_passesで変換されます）、アパーチャ
• MODELLED gnss-ssv種別の可用性掃引：衛星コンステレーション（GPS、GLONASS、Galileo、BDS、QZSS、NavIC）ごと、および全体で、信号が一つ以上、および四つ以上ある（ユーザー、エポック）の組の割合と最長の途絶を、球面上のユーザーについて求めます
• MODELLED tli-and-cruiseフェーズ：平均状態はエンジンの Cowell 伝播器で求めます（地球の点質量と J2、第三体としての太陽と月、月はスレッドの DE440 カーネルがその区間を覆う場合はそれから、太陽は解析的な級
• MODELLED campaign 種別の sweep（任意の種別のドット区切りキーを一〜三個、汎用掃引の軸の値上で、必要に応じて各ノードにアンサンブルを置く）と monte_carlo のセクション：実現 k は base_seed + k で実行され、各メトリクスは平均、標準偏 テスト：campaign_composition_reference.rs。

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

• MODELLED閉形式の惰性誤差増大としきい値までのホールドオーバー、量子時計のクラス。オラクル（ReferenceImpl）：複数ステップのclock_stateの共分散漸化（同じコードベース内でのクロスチェック）。基礎となる惰性分散とホールドオーバー逆算のカーネルは、scipyに対して外部で照合済みです（「Clock-holdover coast-variance & threshold inversion」を参照）。クラスごとのレッドノイズフロアのホールドオーバーの数値はMODELLEDのままです
• MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
• MODELLED campaignの種類のスイープ（任意の種類のドット区切りのキー一〜三個、汎用スイープの軸の値に対して、必要に応じてすべてのノードでアンサンブル）とmonte_carloのセク。オラクル（InternalConsistency）：白色周波数雑音の下での位相ランダムウォークの閉形式、分散q_wf tau（NIST Technical Note 1337）は統計処理の仕組みに対して使い、シードの扱いにはスタンドアロンの実行とのバイト単位の一致を使います。これはエンジン自身の時計モデルに対するアンサンブル演算を確認するものであり、外部のデータセットではありません

制限事項#

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

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

関連項目#

• ファミリーページ：時計、タイミング、ホールドオーバー
• すべての種類：KINDS.md
• トピックページ：CAMPAIGNS.md
• トピックページ：LEO-PNT.md