`quantum-trade`（シナリオの種類）

エンジン v0.40.0 のシナリオ種別で、ファミリーは慣性・フュージョン・量子センサーです。助言のみ：研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではなく、人命安全（safety-of-life）サービスでもありません。ここにあるラベルはすべてエンジンまたは検証マトリクスによるものです；検証マトリクスが別途示さない限り、種別は MODELLED です（ラベルの獲得方法：README の Evidence の節）。

内容#

量子と古典の PNT トレード（13503）：候補の時計（実測 ADEV 曲線 — 防御可能性の要 — または量子時計クラス）が古典のベースラインクラスに対してもたらす、タイミングホールドオーバーと慣性ホールドオーバーの利益です。長い tau のフロアを仮定したことの注意点を成果物に添え、さらに GNSS を使えない状況でのレジリエンス対時間の包絡も示します。MODELLED。パートナーのデバイスを定量化するだけで、確認はしません。候補の時計は、実測曲線（candidate_adev_taus と candidate_adev_values、同じ長さで、少なくとも 2 点。両方の形式が与えられた場合はこちらが優先）または candidate_clock_class です。

入力#

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

必須フィールド：timing_threshold_s、position_threshold_m、baseline_clock_class、candidate_adev_taus+candidate_adev_values|candidate_clock_class
任意のフィールド：baseline_ins、candidate_ins、resilience_times_s、alt_pnt_bound_m

例の scenarios/quantum-trade.toml では、とりわけ次を設定しています：

フィールド	値	単位
`baseline_clock_class`	csac	テキスト
`candidate_adev_taus`	[1, 10, 100, 1000, 10000, 100000]	記載なし
`candidate_adev_values`	[5.0000e-16, 1.6000e-16, 6.0000e-17, 4.0000e-17, 6.0000e-17,	記載なし
`kind`	quantum-trade	テキスト
`position_threshold_m`	100	m
`resilience_times_s`	[1, 60, 600, 1800, 3600, 7200, 14400, 28800]	s
`timing_threshold_s`	2.0000e-8	s

実行する#

kshana scenarios/quantum-trade.toml

得られるもの#

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

結果	値	単位
`candidate_source`	measured-ADEV	テキスト
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	PARTNER	テキスト
`resilience.alt_pnt_active`	false	フラグ
`resilience.coast_time_s`	14108.310907	s
`resilience.exceeds_horizon`	false	フラグ
`resilience.threshold_m`	100	m
`trade.baseline.floor_assumed`	true	フラグ
`trade.baseline.inertial_holdover_s`	377.849037	s

結果ラベル（エンジンによるもの）：MODELLED — パートナーの時計・センサーを定量化するだけで、確認はしません。飛行での実証はありません

エンジンが scenarios/quantum-trade.toml（種類 quantum-trade）に対して出力するグラフ

エビデンス#

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

VALIDATED 公表された実測の ⁸⁸Sr 光時計遷移のアラン偏差からの、べき乗則（ホワイト FM＋赤色雑音フロア）の NNLS 復元。実測の長い τ のフロアを伴って σ_y(τ) と見出しの 4.7e-16/√τ の短い τ のスケーリングを再現し、そうでない。テスト：optical_clock_adev_reference.rs。
VALIDATED 実測 ADEV の NNLS フィット、NEES/NIS の χ² 整合性の帯域、時計の van-Loan 離散プロセスノイズ（ホールドオーバーのコースト）共分散 — トレードエンジンの計算上の中核。テスト：scipy_reference.rs。
MODELLED 実測 ADEV の取り込み（NNLS）、トレード表（タイミング/慣性ホールドオーバーと利益）、レジリエンス対時間の包絡。フロアの注意点は成果物に添えます。

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

VALIDATED 実測 ADEV の NNLS フィット、NEES/NIS の χ² 整合性の帯域、時計の van-Loan 離散プロセスノイズ（ホールドオーバーのコースト）共分散 — トレードエンジンの計算。オラクル（ExternalDataset）：scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm。NNLS と Q は厳密に一致、χ² は運用時の自由度で <5e-4。対象はカーネルのみで、デバイス性能の数値はモデルに基づくもののままです（次の行）
MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
MODELLED 実測 ADEV の取り込み（NNLS）、トレード表（タイミング/慣性ホールドオーバーと利益）、レジリエンス対時間の包絡。フロアの注意点は成果物に添えます。実行可能な fr。オラクル（ExternalDataset）：実測 ADEV→PSD フィット（NNLS）のカーネルは scipy.optimize.nnls（tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs）と一致します — 独立した外部のカーネルです。ただし、トレードの数値はパートナーの時計/CAI を定量化するだけで確認はしないため、トレード自体は MODELLED のままであり、確認済みを示す後光はありません
PARTNER 提供しません — 性能モデルのみ；冷却原子／時計のハードウェアはパートナーのものです。オラクル（NoneKind）：なし：パートナーが所管する分野であり、設計上モジュールもテストもありません

制限事項#

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

MODELLED — パートナーの時計・センサーを定量化するだけで、確認はしません。飛行での実証はありません (result label)
量子と古典の PNT トレード（13503）：候補の時計（実測 ADEV 曲線 — 防御可能性の要 — または量子時計クラス）が古典のベースラインクラスに対してもたらす、タイミングホールドオーバーと慣性ホールドオーバーの利益です。長い tau のフロアを仮定したことの注意点を成果物に添え、さらに GNSS を使えない状況でのレジリエンス対時間の包絡も示します。 (kind catalogue (kshana kinds --json))
MODELLED。パートナーのデバイスを定量化するだけで、確認はしません。 (kind catalogue (kshana kinds --json))
古典のベースラインに対する候補の時計のタイミングホールドオーバーと慣性ホールドオーバーの利益を計算し、さらに GNSS を使えない状況でのレジリエンス対時間の包絡も求めます。候補のフロアは、パートナーの時計のMEASUREDの重複 ADEV 曲線（防御可能性の要）を非負最小二乗法でフィットして決めるため、ホールドオーバーのバジェットは、仮定した長い tau のフロアではなく、実データに基づきます。 (scenario file comment, lines 3 to 7)
正直な適用範囲：MODELLED — パートナーの量子時計の利益を定量化するものであり、デバイスを確認するものでは「ありません」。また、SGP4/Allan/IGS の確認済みの領域を借用することもありません。いずれかの行のフロアが仮定したクラスの既定値である場合は、フロアの注意点が成果物に表示されます。実行：kshana scenarios/quantum-trade.toml (scenario file comment, lines 9 to 12)
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
量子と古典の PNT トレードと GNSS 不在下のレジリエンス（13503）は MODELLED であり、独立した外部の参照との照合による確認は行っていません。部分的な主張は外部で確認していますが、機能全体はモデルに基づく部分を組み合わせたものであるため、機能はモデルに基づくものにとどまります。 (verification matrix (docs/MODELLED-RATIONALE.md))