`holdover-test`（シナリオ種別）

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

内容#

タイミングシステムの MODELLED ホールドオーバー試験で、運用者が提供する時刻誤差の記録（linuxptp の ptp4l、phc2sys、ts2phc のログ、chrony の tracking または statistics ログ、TICC、TimeLab、RINEX のクロックログ、または time_s,time_error_ns の組）から採点します。試験は四つの手順から成り、Kshana はそのいずれも実行しません：ロック状態のベースライン、指定した時刻に運用者が行う GNSS の除去（アンテナケーブルまたはシミュレーター出力；Kshana は何も送信せず、何も駆動しません）、システム自身の発振器によるホールドオーバー、そして運用者が二つ目に指定した時刻に GNSS を復旧させた後の復旧です。記録はこの二つの時刻で分割されます。ベースライン：ロック状態のクロック向けに定められた時刻誤差の統計と ITU-T マスク。ホールドオーバー：統計、システムが保持した周波数偏差の割合（最小二乗直線）、ホールドオーバーまたは自律クロック向けに定められたマスク、指定したロック継続時間から求める ePRTC-A ホールドオーバーのエンベロープ、そして各時刻誤差バジェットを超えるまでの時間。復旧：|TE| が指定した帯域内に入り、そこにとどまったかどうかとその時期、ピーク、最大のステップ。すべての限界値は公開されている ITU-T の表（通信タイミングのマスク）から転記したものです；表現は「マスクに対して測定」であり、二つの時刻は運用者の申告であって、検証されていません。マスクに対して短すぎる記録は INCOMPLETE であり、外挿は行いません。docs/TIMING-HIL.md を参照してください。

scenarios/holdover-test-ptp4l.tomlの一回の実行は次のように要約されます：holdover-test：ホールドオーバー1795 s、max|TE| 59.0 ns；prtc-a PASS、eprtc-a-holdover FAIL；GNSS 復帰の0 s 後に復旧（MODELLED、マスクに対して測定）

入力#

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

必須フィールド：test、series
任意フィールド：masks、budgets

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

フィールド	値	単位
`kind`	holdover-test	テキスト
`masks`	[prtc-a, eprtc-a-holdover]	記載なし
`series.clock_log.format`	ptp4l	テキスト
`series.clock_log.text`	ptp4l[1000.000]: master offset -4 s2 freq + 1200 pa	テキスト
`test.gnss_removed_s`	600	s
`test.gnss_restored_s`	2400	s
`test.locked_duration_days`	5	d
`test.recovery_band_ns`	100	ns
`test.recovery_dwell_s`	60	s

実行する#

kshana scenarios/holdover-test-ptp4l.toml

同梱のシナリオのうち2個がこの種類を使用しています。その他はscenarios/にあります。

得られるもの#

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

結果	値	単位
`clock_log.clock`	master	テキスト
`clock_log.data`	phase	テキスト
`clock_log.format`	ptp4l	テキスト
`clock_log.gap_policy`	refuse	テキスト
`clock_log.n_duplicates`	0	1
`clock_log.n_gaps`	0	1
`clock_log.n_grid`	600	1
`clock_log.n_interpolated`	0	1
`clock_log.n_missing`	0	1
`clock_log.n_off_grid`	0	1

結果ラベル（エンジンによるもの）：MODELLED — 運用者が提供した時刻誤差の記録から採点したホールドオーバー試験です。すべての限界値は名前を挙げた公開 ITU-T 勧告から転記したもので、結果はマスクに対して測定したものです；どのクロックやシステムが勧告を満たすかについては何も述べておらず、誰も格付けしておらず、承

エンジンが scenarios/holdover-test-ptp4l.toml（種別 holdover-test）について出力するグラフ

エビデンス#

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

MODELLED holdover-test種別：時刻誤差の記録（linuxptp、chrony、TICC、TimeLab、RINEX のクロックログ、または time_s,time_error_ns の組）を、運用者が申告する GNSS の除去と復旧の二つの時刻で分割し、ベースライン、ホールドオーバー

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
VALIDATED telecom-timingシナリオ種別が報告する最大時間間隔誤差と時間偏差を、通信規模のホールドオーバー記録について求めます：O(n) の単調キューによるスライディ。オラクル（ExternalDataset）：allantools 2024.06 — 独立した第三者の周波数安定度ライブラリ — の mtie() と tdev() を tests/fixtures/telecom_timing/holdover_te_series.csv に適用；系列は両側で同じ17桁の有効数字のテキストから解析しており、参照はその系列の SHA-256 を記録し、tests/fixtures/telecom_timing/generate_telecom_timing_reference.py によってオフラインで再生成できます。この記録に対する推定量を検証するもので、合成
MODELLED ITU-T G.8272（07/2025）PRTC-A/B、G.8272.1（2024）Amd. 1（07/2025）の ePRTC ロック状態と ePRTC-A ホールドオーバー（表3の時刻誤差エンベロープを含む）の転記した限界値。オラクル（InternalConsistency）：名前を挙げた勧告の転記（itu.int から自由にダウンロードできます）で、各限界値に表または条項を付し、未確認または未実装の項目はすべて docs/TELECOM-TIMING.md に列挙しています；表が含意する折れ点の連続性の恒等式はテストで検査します。内部整合性検査を伴う標準の転記であり、コンフォーマンス試験ではなく、外部での検証でもありません。0.30 ラウンド2（事前登録
MODELLED holdover-test種別：時刻誤差の記録（linuxptp、chrony、TICC、TimeLab、RINEX のクロックログ、または time_s,time_error_ns の組）を、二つの時刻で分割。オラクル（InternalConsistency）：傾き、ステップ、極値、復旧時間が実行前に分かっている式から作った記録に対する手計算（テストがそれらを明記しています）と、上の通信タイミングの行のマスク、エンベロープ、バジェット。実際のホールドオーバーの実験室測定は採点しておらず、外部のオラクルとも比較していないため、この種別はどのクロックやシステムについても主張しません；クロッククラス別の

制限事項#

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

MODELLED — 運用者が提供した時刻誤差の記録から採点したホールドオーバー試験です。すべての限界値は名前を挙げた公開 ITU-T 勧告から転記したもので、結果はマスクに対して測定したものです；どのクロックやシステムが勧告を満たすかについては何も述べておらず、誰も格付けも承認もしていません。GNSS を除去・復旧した時刻は運用者の申告であり、検証されていません。助言用ソフ（結果label）
タイミングシステムの MODELLED ホールドオーバー試験で、運用者が提供する時刻誤差の記録（linuxptp の ptp4l、phc2sys、ts2phc のログ、chrony の tracking または statistics ログ、TICC、TimeLab、RINEX のクロックログ、または time_s,time_error_ns の組）から採点します。（種別カタログ（kshana kinds --json））
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
PASS/FAIL とマージンを伴う ITU-T 通信同期マスクは MODELLED であり、独立した外部の参照と照合して確認されてはいません：自身の閉形式・解析的な恒等式との照合であり、転記ミスや係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
運用者が提供した時刻誤差の記録から採点するホールドオーバー試験は MODELLED であり、独立した外部の参照と照合して確認されてはいません：自身の閉形式・解析的な恒等式との照合であり、転記ミスや係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））