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

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

内容#

MODELLED の信頼できる量子タイミングチェーン：エンドツーエンドの量子（光格子時計＋もつれ/単一光子リンク）と古典（CSAC＋RF 双方向）の時刻比較バジェット、再利用したタイミング保護レベルと遅延・リプレイ攻撃のセキュリティ性能指標（1-P_md）、時計異常の検出確率と CUSUM の遅延、そして量子と古典のトレードを、代表性と飛行に至るまでのギャップの記録とともに正直な TradeEvidence として示します。デバイス/リンクのパラメーターは公開情報に基づく例示用で、このクラスをモデル化したものであり、TRL・飛行実績・認証は主張しません。

入力#

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

必須フィールド：なし
任意のフィールド：integration_s、dissemination_interval_s、link_loss_db、classical_link_sigma_s、monitor_pfa、attack_delay_s、clock_fault_sigma

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

フィールド	値	単位
`attack_delay_s`	5.0000e-9	s
`classical_link_sigma_s`	1.0000e-9	s
`clock_fault_sigma`	4	記載なし
`dissemination_interval_s`	100	s
`integration_s`	1	s
`kind`	quantum-time-transfer	テキスト
`link_loss_db`	30	dB
`monitor_pfa`	0.001	1

実行する#

kshana scenarios/quantum-time-transfer.toml

得られるもの#

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

結果	値	単位
`anomaly_cusum_latency_s`	2	s
`anomaly_pd`	0.760985	1
`classical_chain_sigma_s`	5.2915e-9	s
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	PARTNER	テキスト
`monitor_pfa`	0.001	1
`protection_level_ns`	555.239402	ns
`quantum_chain_sigma_s`	1.2332e-12	s
`quantum_link_rate_hz`	4900	Hz

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

エビデンス#

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

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

VALIDATED 表形式 CUSUM 検出器の最悪時の検出遅延（⌊h/(z−k)⌋+1）と管理外れの平均ラン長。タイミング保護レベルとスプーフィング監視で使用。オラクル（ExternalDataset）：公表された表形式 CUSUM の ARL：Siegmund（1985）のブラウン運動近似（Hawkins & Olwell 1998、式 3.7）を、Montgomery、Introduction to Statistical Quality Control（Wiley）の ARL 表（k=½、h∈{4,5}）と相互に照合。決定論的な遅延は初通過のオラクルと完全に一致。合成した TPL の限界は MODELLED のまま
MODELLED 双方向／TWSTFT（Sagnac）、GNSS コモンビュー、PPP；リンクジッター→距離。オラクル（ExternalDataset）：Sagnac の大きさは、権威ある公表値と照合しました — N. Ashby、'Relativity in the GPS'、Living Reviews in Relativity 6:1（2003）、式1.29：東向きの赤道周回では207.4 ns が蓄積されます（2ωA_E/c²）；kshana は207.386 ns を再現します。同じ 2Aω/c² の幾何を持つ RTKLIB 2.4.3 の geodist()（Takasu、BSD-2-Clause）によっても独立に裏付けられています。複合の BIPM TWSTFT トランスポンダー／コモンビュー／
MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
PARTNER 提供しません — 性能モデルのみ；冷却原子／時計のハードウェアはパートナーのものです。オラクル（NoneKind）：なし：パートナーが所管する分野であり、設計上モジュールもテストもありません
MODELLED 再現可能な TradeEvidence オブジェクト一つ（固定フレーム：シナリオ＋シード＋エンジン。極性を正しく扱った利益を伴う、性能指標ごとの共通の量子対古典の値、任意の 95%。オラクル（InternalConsistency）：閉形式の利益・勝者の恒等式と、既存の quantum_trade::TradeResult の忠実なラップ。正直さは代表性台帳と検証ラベルに結び付けています

制限事項#

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

MODELLED の信頼できる量子タイミングチェーン：エンドツーエンドの量子（光格子時計＋もつれ/単一光子リンク）と古典（CSAC＋RF 双方向）の時刻比較バジェット、再利用したタイミング保護レベルと遅延・リプレイ攻撃のセキュリティ性能指標（1-P_md）、時計異常の検出確率と CUSUM の遅延、そして量子と古典のトレードを、代表性と飛行に至るまでのギャップの記録とともに正直な TradeEvidence として示します。 (kind catalogue (kshana kinds --json))
信頼できる量子タイミング — エンドツーエンドの時刻比較チェーン、安全な配信、異常検出、量子と古典のトレード。MODELLED。例示用の公開情報に基づくデバイス/リンクのパラメーター。このクラスをモデル化したものであり、TRL・飛行実績の主張はありません。 (scenario file comment, lines 1 to 3)
時刻比較の誤差バジェット設定は MODELLED であり、独立した外部の参照と照合して確認されてはいません：副次的な主張は外部で検証されていますが、機能全体はモデルから計算した部品を組み合わせているため、この機能はモデルから計算した状態のままです。（検証マトリクス（docs/MODELLED-RATIONALE.md））
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
量子と古典のトレード証拠（共通の形式）は MODELLED であり、独立した外部の参照との照合による確認は行っていません。これは自身の閉形式・解析的な恒等式に照らして確認したものであり、転記や係数の誤りは検出できますが、外部のオラクルではありません。 (verification matrix (docs/MODELLED-RATIONALE.md))
信頼できる量子タイミング（時刻比較、安全な配信、異常）は MODELLED であり、独立した外部の参照との照合による確認は行っていません。これは自身の閉形式・解析的な恒等式に照らして確認したものであり、転記や係数の誤りは検出できますが、外部のオラクルではありません。 (verification matrix (docs/MODELLED-RATIONALE.md))