`clock`（シナリオの種類）

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

内容#

時計のホールドオーバーと仕様の比較。任意のモンテカルロのアンサンブル（runs > 1）。

scenarios/clock-ensemble.tomlの一回の実行は、次のように要約されます：scenario 91d2b6d10d14 | 200 runs | quantum holdover 6600s [6600-6600] p95 8.78e-4ns security n/a (no attack) | classical holdover 844s [220-2130] p95 167.0ns security n/a (no attack)

入力#

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

必須フィールド：seed、threshold_ns、time、gnss、clock_quantum、clock_classical
任意フィールド：runs、integrity

例のscenarios/clock-ensemble.tomlが設定している項目（一部）：

フィールド	値	単位
`clock_classical.flicker_floor`	2.0000e-11	1
`clock_classical.id`	csac-sa45s	テキスト
`clock_classical.provenance`	Microchip SA65 / SA.45s CSACのデータシートsigma_y(1s)=3e-10；q_	テキスト
`clock_classical.q_rw`	0	1/s
`clock_classical.q_wf`	9.0000e-20	s^2/s
`clock_classical.y0`	5.0000e-10	1
`clock_quantum.flicker_floor`	1.0000e-16	1
`clock_quantum.id`	optical-sr-lattice	テキスト
`clock_quantum.provenance`	ストロンチウム光格子時計、宇宙向けの目標sigma_y	テキスト
`clock_quantum.q_rw`	0	1/s
`clock_quantum.q_wf`	1.0000e-30	s^2/s
`clock_quantum.y0`	5.0000e-17	1

実行する#

kshana scenarios/clock-ensemble.toml

この kind を使う同梱シナリオは 6 件です。その他はscenarios/にあります。

得られるもの#

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

結果	値	単位
`classical.availability.mean`	0.295402	1
`classical.availability.p05`	0.115118	1
`classical.availability.p50`	0.242718	1
`classical.availability.p95`	0.680999	1
`classical.filter_health.consistent`	true	フラグ
`classical.filter_health.nees_chi2_lower_95`	1.142439	1
`classical.filter_health.nees_chi2_upper_95`	3.092704	1
`classical.filter_health.nees_mean`	1.807227	1
`classical.filter_health.nis_chi2_lower_95`	0.912528	1
`classical.filter_health.nis_chi2_upper_95`	1.091418	1

エビデンス#

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

MODELLEDクロック種類の任意の[integrity]セクション（clock_integrity::run）：指定した地点とコンステレーションのプリセット（geometry::sky_geometry）から、GNSSのタイムラインが拒否されていない間のすべてのインテグリティエポックで、スナップショットRAIM（raim::snapshot_ テスト：clock_integrity.rs。
MODELLED clock_log::read_input：RINEXクロックファイル（指定した一つの時計のAS/ARレコード、バージョン2および3.00〜3.04）、TimeLab形式のASCII位相または周波数ログ、あるいはTAPR TICCのタイムスタンプまたは間隔ログを、均一な位相テスト：clock_log_allantools.rs。
MODELLEDフォーマットptp4l、phc2sys、ts2phc、chrony-tracking、chrony-statisticsでのclock_log::read_input：linuxptpのサーボ行に記録されたオフセット（ns、その行自身のブラケット付きタイムスタンプ、サーボが最初にs2を報告するより前の読み取り値は除外
MODELLED mission-thread kind：フェーズの文書で、各フェーズは登録済みの八つの kind のいずれかです。フェーズは順に実行され、6x6 共分散、クロック、座標系が、明記した規則のもとで引き継がれます（carry、inflateは、明記した区間にわたる白色加速度ノイズテスト：field_units_global.rs。
ほかに 1 件がマトリクスにあります。

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

VALIDATEDアラン偏差／修正アラン偏差／アダマール偏差と、χ² 信頼区間付きのべき乗則ノイズの同定。オラクル（ExternalDataset）：NIST SP 1065（Riley）／NBS14に対するStable32の参照偏差
MODELLED閉形式の惰性誤差増大としきい値までのホールドオーバー、量子時計のクラス。オラクル（ReferenceImpl）：複数ステップのclock_stateの共分散漸化（同じコードベース内でのクロスチェック）。基礎となる惰性分散とホールドオーバー逆算のカーネルは、scipyに対して外部で照合済みです（「Clock-holdover coast-variance & threshold inversion」を参照）。クラスごとのレッドノイズフロアのホールドオーバーの数値はMODELLEDのままです
MODELLED 3状態（位相／周波数／ドリフト）のvan-Loanカルマン時計、ジョセフ形で安定化。オラクル（ReferenceImpl）：filterpy 1.4.5のKalmanFilter（R. Labbe、MIT）、Fはscipy.linalg.expm、QはVan-Loan 1978のブロック行列によるもの。kshanaのフィルター軌跡全体を再現する、独立した参照実装です。実装間の整合性：時計の物理とアラン偏差の較正は外部の参照とは照合されていないため、これはMODELLEDのままです。0.30外部比較、所見（MODELLEDのまま）：IGSの最終30秒クロック、11機のGPS Blo
MODELLED時計支援の χ²、RAIM、AGC、SQMをエポックごとに融合したセキュリティFoM。オラクル（ExternalDataset）：TEXBATのシナリオパラメーター（Humphreys 2012）— 特性評価であり、固定したベクトルではありません。0.30外部比較、所見（MODELLEDのまま）：JammerTest 2024（Bleik、GPL-3.0のデータ）では、観測量レベルのモニター（時計支援のカイ二乗、RAIM、解の失敗）は、評価可能な公表済みスプーフィング開始8件のいずれについても10秒以内に警報を出しませんでした（開始前のウィンドウがクリーンだった場合、最初の警報は10.2〜39秒後に出ました。公
MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです

制限事項#

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

GNSSが使えない状況での時計のホールドオーバーはMODELLEDであり、独立した外部の参照との照合はされていません。同じコードベース内の別個の実装に照らして確認しており、テスト対象のユニットからは独立していますが、外部の権威あるものではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
搭載時計の状態推定はMODELLEDであり、独立した外部の参照との照合はされていません。同じコードベース内の別個の実装に照らして確認しており、テスト対象のユニットからは独立していますが、外部の権威あるものではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
スプーフィングの検出はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））