`integrity`（シナリオ種別）

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

内容#

スナップショット／解分離／ARAIM の RAIM と、HPL/VPL、Stanford ダイアグラム。

入力#

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

必須フィールド：mask_deg、sigma_uere_m、p_fa、p_md、al_h_m、al_v_m、time、user|user_site、constellation
任意フィールド：sigma_ura_m、b_nom_m、constellations、seed、araim_dual、p_hmi、skyline

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

フィールド	値	単位
`al_h_m`	40	m
`al_v_m`	50	m
`constellation.altitude_km`	20200	km
`constellation.inclination_deg`	55	deg
`constellation.phasing_f`	1	記載なし
`constellation.planes`	6	記載なし
`constellation.sats_per_plane`	4	記載なし
`kind`	integrity	テキスト
`mask_deg`	5	deg
`p_fa`	1.0000e-5	記載なし
`p_md`	0.001	記載なし
`seed`	7	記載なし

実行する#

kshana scenarios/integrity-raim.toml

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

得られるもの#

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

結果	値	単位
`al_h_m`	40	m
`al_v_m`	50	m
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`samples_available`	344	個数
`samples_total`	361	個数
`stanford.alert_limit_m`	50	m

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

エビデンス#

MODELLED 6 · VALIDATED 4：この種別を挙げる検証マトリクスの行です。

MODELLEDクロック種類の任意の[integrity]セクション（clock_integrity::run）：指定した地点とコンステレーションのプリセット（geometry::sky_geometry）から、GNSSのタイムラインが拒否されていない間のすべてのインテグリティエポックで、スナップショットRAIM（raim::snapshot_ テスト：clock_integrity.rs。
VALIDATED 異種ソースに対するスカラー時刻の解分離 TPL；PL は最悪の除外サブセットの雑音＋UTC(k) バイアスで決まります
MODELLED PL(τ)=max(TPL_handover,HPL(τ))；下半連続 PL(0+)≥PL(0−)；K(IR/2) の走行最大値；τ/τ³/τ⁵ の位相指数
VALIDATED 走行最大値の包絡線が、実際の計量学的な系列を、重ならない区間でテストしたすべてのラグ tau>=90d で過大に覆い（ゼロを突き抜けない）；短い tau（<=30d）は、開示されたモデルに基づく境界ですテスト：cti_holdover_coverage_reference.rs。
さらに6件が検証マトリクスにあります。

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

VALIDATED ARAIM Airborne Design Document（ADD）v4.2 に従う ARAIM の複数仮説による解分離（araim_reference::add_v42_protection_levels と add_v42_protecti。オラクル（ExternalDataset）：三つの独立したツール。フィクスチャーやオラクル出力が存在する前に事前登録（0123cee1）し、許容差はその時点で固定しました。（1）ARAIM：Stanford MAAST for ARAIM 2（コミット ab70e2a3、BSD-3）の mhss_raim_baseline_v5.m を、GNU Octave 8.4 上で別個のプログラムとして実行（ドライバー側に unique() の互換シムを置いています（開示済み、アルゴリズムの変更なし））、ADD の TOL_PL は0.05 m：Rust 実装は ADD の参照実装を次について再現します
VALIDATED 視線方向の幾何から、Q=(HᵀH)⁻¹ とローカル ENU への分解によって求める GDOP/PDOP/HDOP/VDOP/TDOP。オラクル（ExternalDataset）：gnss_lib_py 1.0.4（Stanford NAV Lab）の DOP — 独立したライブラリで、相対1e-6まで一致
VALIDATED すべての保護レベルの土台となる分布の中核：スナップショット故障検出しきい値 χ²₁₋ₚfₐ(dof)、見逃しの非心度 pbias=√λ、そして。オラクル（ExternalDataset）：SciPy 1.17.0（scipy.stats.chi2/.norm/.ncx2 + optimize.brentq）— 独立したライブラリ（Cephes/Boost）で、Kshana の不完全ガンマ級数とは異なるアルゴリズム；相対≤1e-6まで一致。カーネルのみ。ARAIM MHSS の P_HMI バジェットの配分には、もはや公表された数値オラクルがないわけではありません — WG-C ARAIM Technical Subgroup 自身の計算例が、別の「ARAIM MHSS protection levels against published referen
MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです

制限事項#

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

再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））