障害の連鎖全体を一つのエンジンで。

実際の二行軌道要素（コミット済みの Celestrak GPS スナップショット）、または平均軌道要素が i:T/P/F の式を 24 h にわたり 1 km 未満で実現する合成 Walker コンステレーションからの SGP4/SDP4 伝搬。マルチコンステレーションの可視性、DOP（精度低下率）と GNSS の可用性、衛星コンステレーション設計オプティマイザー、ストリート・オブ・カバレッジのサイズ設計、そして面 × 衛星数のグリッド上でパレート最適な設計を報告する Walker 設計掃引。

解析的な SGP4/SDP4 経路を補完する数値（Cowell）伝搬器で、階層的な力モデルを備えます：二体 + J2〜J6 の完全な帯球関数場、次数 70 までのオプションの EGM2008 テッセラル球面調和関数の地球重力ポテンシャル、エポック駆動の太陽と月の第三体重力（内蔵のエフェメリス、DE/SPK カーネルは不要）、円錐状の本影・半影の影を伴う太陽放射圧、大気抗力、ポストニュートン近似のシュヴァルツシルト相対論補正、レンゼ・ティリング効果の座標系引きずり項。積分器は、RK4 のステップ倍化または Dormand–Prince RK5(4) の適応型から選べます。

6×6 共分散伝搬を伴う インパルス ΔV ノード、ツィオルコフスキーのロケット方程式と 0.01 % 未満で照合した有限燃焼の積分、Izzo-2015 の単一周回ランベルトソルバーと厳密な普遍変数ケプラー伝搬器、そして JSON の等高線グリッドとして出力するポークチョップ（打ち上げ × 到着）C3 / 到着 V∞ の掃引 — GMAT/Orekit の上位にある性能シミュレーション層。

IERS のうるう秒つき UTC / TAI / TT / UT1 の各時刻系、ユリウス日 API、IAU-2000 の地球回転角、GMST ベースの TEME ↔ ECEF と WGS-84 測地座標系、完全な IAU 2000A/2000B 章動と IAU 2006 歳差、そして IERS 極運動を伴う、春分点を使わない CIO ベースの IAU 2006/2000A GCRS↔ITRS 変換 — SOFA/ERFA のベクトルに対してビット単位で一致することを確認し、ANISE（純 Rust の SPICE）に対して独立にクロスチェックしました：GCRS→ITRS を ANISE ITRF93 と同じ IERS EOP で比較し、地上で ≤ 0.86 m、GNSS 軌道で ≤ 3.6 m の範囲で一致します。

運用スタイルの地球姿勢予測器 — 直近のウィンドウにわたってバイアス、レート、主要な周期項を最小二乗で推定 — を、持続予測ではなく、実際にアーカイブされた Bulletin A の予測と照らして測定します。オフラインのデフォルト入力は、Bulletin A の予測行を含む実際の IERS finals2000A プロダクトであるため、そのまま実行しても、空ではなく、値の入った予測期間ごとの表が出力されます。UT1 と極運動は、それらを組み合わせた値とともに共通の行集合で報告されるため、合成した数値は、異なる二つの標本の二乗和平方根ではなく、一つの統計量になります。

三軸ストラップダウン INS — クォータニオン姿勢、WGS-84 NED メカニゼーション、コーニング/スカーリング補償、そして完全な決定論的 IMU 誤差モデル — に加え、第一原理による冷却原子干渉計加速度計（Mach–Zehnder 位相、射影ノイズ、コントラスト減衰、振動結合）と、地形/重力参照による GPS 拒否環境の航法のためのパーティクルフィルター。

IMU 誤差バジェット（バイアス、ランダムウォーク、スケールファクター。それぞれ固有の増大則と、しきい値を越える際の固有の寄与割合を持つ）から、惰行時間に対する位置誤差を求めます。そのため、航法途絶のコストは、掃引した漂流率ではなく、計算された曲線になります。しきい値の超過はエンジンの出力で、それぞれの時点で支配的な寄与が明記され、四等級の IMU にわたって示されます。地形による測位解の間隔は専用のブロックでスコア付けされるため、主要な超過時点は補助なしのままです。

ホワイトノイズフロアを CAI 加速度計の物理から導出した冷却原子重力計の測定モデル、低次の完全正規化球面調和関数による重力異常場と合成マスコン、そして重力マップマッチングのパーティクルフィルター。これは SRTM 標高 DEM（TERCOM/SITAN）に対する地形参照航法、次数 13 までの IGRF-14 地磁気主磁場、そして三つのスカラーチャネルすべてを融合する重力 + 磁気 + 地形の複合航法装置へと拡張されています。60 分間の GPS 拒否環境のベンチマーク — 約 700 km / 一時間の途絶で、慣性解が約 70 km まで漂流する — を、階層的な粗から密へのマッチャーにより約 145 m まで回復しました：ESA NAVISP Quantum Wayfarer の目標です。

較正済みの慣性解で GNSS 途絶を惰行する 15 状態の誤差状態 EKF、四機未満の衛星でも補正を続ける密結合の疑似距離モード、時計 + 位置の結合フィルター、汎用のアンセンテッド（シグマ点）カルマン推定器、湾曲する LEO パスでの 120 s の途絶を通じて 0.77 m RMS まで検証した密結合 GNSS/INS UKF 航法装置、そして、冷却原子加速度計の導出した速度ランダムウォークで途絶を量子 CAI の推測航法により惰行する、完全な 17 状態の密結合 GNSS/INS UKF。

地上局のレンジ追跡からの軌道状態の復元。二体 + J2 の力モデルと RK4 積分器に、ガウス–ニュートン法のバッチ微分補正器（ノイズのないレンジからはサブメートル / mm·s⁻¹、5 m のノイズフロアでは約 2 m）と逐次アンセンテッドフィルター版を組み合わせています。

汎用で再利用できるフィッシャー情報 / クラメール・ラオ層（src/fim.rs）：情報行列 M = HᵀWH、クラメール・ラオ下界、可観測性のランクとデータム欠損の零空間（ムーア・ペンローズ疑似逆行列）、そして対称ヤコビ固有値ソルバーから得る D/A/E/T 最適の実験計画スカラー。これは DOP エンジン、受動測位の下界、月の絶対局の可観測性の結果の土台となります。内部測距は、六自由度の剛体データム欠損を残しますが、これは地球基線 VLBI の接続によって、疎なコンステレーションでは回復し、密なコンステレーションではさらに鋭くなり、絶対データムは共線でない三つの地球局で閉じます。

回転座標系での地球・月の円制限三体問題（CR3BP）伝搬器 — 保存されるヤコビ定数と五つすべてのラグランジュ点 — に、6×6 の状態遷移行列と、真に周期的なハロー / 準直線ハロー軌道（NRHO）を生成する単一シューティング微分補正器を組み合わせています。公表されている L2 南側の 9:2 NRHO（Gateway の軌道）を、周期約 6.57 日、近月点約 3,250 km で再現します。さらに、LunaNet / LNIS の地球・月間空間 PNT ジオメトリ（MCI↔MCMF 変換、月面座標）と、月の南極での ARAIM パスにより、インテグリティの不足を率直に示します：約 30 m の σ_URE が、保護レベルを 50 m のアラートリミットよりはるかに上へ押し上げます。

観測キャンペーンから月の月固定座標系を実現します：局と反射器のジオメトリに対する重み付きガウス–ニュートン法の相似フィットで、データム、その共分散、最も決まりにくい軸を報告します。座標系と時間スケールが結合したゲージは、吸収されずに明示的に保持されるため、ランク欠損は疑似逆行列に埋もれず、レポートで見えます。

例示用の Moonlight/LCNS クラスのコンステレーションを、月面座標のグリッド上で掃引します：可視性、DOP（精度低下率）、カバレッジ、そして設定可能なアラートリミットに対するエポックごとの ARAIM 保護レベル。信号空間の測距精度はパラメーターなので、掃引は、ある固定値での合否ではなく、体積全体にわたる測距要件に答えます。

独立した三つの権威ある月エフェメリスが実際にどれだけ食い違うかを測り、それを設計則に変えます：複数の提供者を混在して使うユーザーが受け継ぐ座標系対エフェメリスの誤差バジェットと、そのバジェットを定められた範囲内に保つために提供者が守るべき整合性の許容差です。

自己参照型の月コンステレーションが、地上の真値なしに自分自身の故障を検出するために必要な線形代数：データムと時間スケールのゲージを越えて成立するランク欠損の疑似逆行列形式の重み付きパリティ射影、ノードごとの検出可能性、Baarda の最小検出可能バイアス、そして実際の DE440 ノード間ジオメトリ上のビザンチンのブロックスパーク検出/識別の件数。

シミュレーションによるキャンペーンを実データに置き換えます。五か所のレトロリフレクターアレイにわたり、アーカイブされた 337 点の ILRS 月レーザー測距ノーマルポイントを用い、各観測にはファイルに記録された自身の精密度で重みを付けています。リフレクター座標は主軸系の DE440 カタログで、平均地球系の DE430 テーブルとは別のファイル名で保管しています。一方を他方の回転に与えるとリフレクターが数百メートル動きますが、どちらも整形式の座標であるため何も警告されません。

月面基準局と利用者との間のディファレンシャル補正です。同相成分の相殺は厳密な恒等式であり、空間的非相関の残差は基線長とともに増大する一次の幾何モデルです。補正リンクの残差バジェットを並べて報告するため、制約となる項は 一つの数値にまとめられることなく見えたままになります。

月面時間スケールにおける時計クラスごとのクロスオーバー時間（各発振器クラスが、更新なしでは所定の限界を満たさなくなる時点）に加え、月面測地 VLBI の観測量と、それが座標系の原点にもたらすフィッシャー情報量を示します。

サービスボリュームは、例示用の設計ではなく公表されたコンステレーション設計で実行します。五機構成の LANS 相互運用性実証用参照セット、8 機、12 機、16 機の LNCSS ケーススタディ、および JPL Horizons による 2023-01-01 時点で実際に月周回軌道にあった 四機の宇宙機です。各ファイルは自身の座標系と来歴の区分を明記しており、表形式のエフェメリスの終端を超える期間は外挿せず拒否します。例示用のケプラー軌道の結果は、取得した結果の隣に両者の差とともに出力され、取得した結果に置き換えられることはありません。

実際の月面斜距離にわたる衛星ごとの妨害波対信号比です。希望信号側は中央値に集約せず分布のまま保持するため、妨害コンターには中継の幾何が実際に生み出す不確かさの幅が含まれます。二つの基準を並べて報告します。電力比のしきい値と、追尾ループの動特性から計算したロック喪失です。軌道上のキャプチャフットプリントは送信機の高度とビーム幅について掃引し、グリッドがリムでのキャプチャに到達しない場合は、レポートがその旨と不足分を出力します。

基線とエポックのスケジュールにわたって月面 VLBI の遅延偏微分をフィッシャー情報行列に蓄積し、測点座標の共分散を返します。これにより、遅延の精密度から座標のシグマへの換算は、仮定ではなく推定されます。自由網はデータム固定網と並べて報告し、ランク欠損と観測不能な方向を明示します。近接場ビーコンの偏微分は 二つの測点単位ベクトルの差であり遠方場の場合とは挙動が異なるため、月面点の共分散は地球上の測点の共分散とは区別して扱います。

オープンな深宇宙・火星の電波航法エンジンです。反復的な光行時間と Shapiro 遅延、二ウェイ・一ウェイ・三ウェイのドップラーとレンジ（Moyer の二レグ）、コヒーレントなトランスポンダーのターンアラウンド、再生型・PN レンジングと Δ-DOR、CCSDS-TDM 入出力、縮約力学の平方根情報フィルター（経験的加速度、搭載時計、火星大気抵抗）による合成閉ループでの火星 LMO 軌道決定、一ウェイと二ウェイの融合、さらにエンドツーエンドの GSE 性能シミュレーターを備えた MARCONI 火星静止中継コンステレーションを含みます。

フォールト注入により、異種センサー間モニターには、故障なしでの合格ではなく検出力が与えられます。これは、所定の誤警報と見逃しのバジェットにおける軸ごとの最小検出可能バイアスです。ハンドオーバー後は、共分散の再増大をアラート限界に対して伝播させるため、レポートはハンドオーバーが連続であったことだけでなく、単一モダリティの解がどれだけの時間その限界内に収まるかを示します。光学と RF のレンジングレグは、積算時間と経路が一致する場合にのみ比較し、測定されたものではなく選ばれた値に対する比は、レポートが作成を拒否します。

水平・垂直の保護レベル（HPL/VPL）を備えたスナップショット RAIM と解分離 RAIM、故障の検出と除外、Stanford インテグリティ図に加え、デュアル・マルチコンステレーションのコンステレーション全体故障モード（EU ARAIM / DO-316）を含む、インテグリティリスクバジェット明示型（MHSS）の保護レベルを備えます。

エンジンの MHSS 保護レベルを、EU・米国 Working Group C の参照航空機搭載アルゴリズムが自ら公表している計算例に対して実行します。各例は取得 URL、日付、ページ、ファイルの SHA-256 とともに転記し、二か所に保持して、両者が一致することをテストで表明しています。合格判定に用いるベクトルは、内部で整合した Reference Airborne Algorithm Description Document v3.1 の付録 D です。Milestone 3 レポートには 二つの内部的な欠陥があります。幾何における符号の誤記と、本文では 一つとしているのに 57 個の故障モードで評価された誤警報の乗数です。そのため、その保護レベルは採点せず、測定された不一致として報告し、欠陥は文書自身の数値を実行して示しています。

DO-229E の重み付き最小二乗形式の SBAS / WAAS 保護レベル（精密進入と航空路の K 係数）と、DO-316 を支える L1/L5 の 二周波電離圏フリー結合（IS-GPS-705）を扱い、保護レベルの幾何は参照用の線形代数実装と照合しています。

二状態カルマンのホールドオーバー、信頼区間付きのアラン系安定度（ADEV / MDEV / TDEV / HDEV）と IEEE-1139 の 五係数べき乗則の完全なフィット、および実運用の時刻比較手法として、BIPM の Sagnac 閉形式を用いた TWSTFT、GNSS コモンビュー、PPP 電離圏フリー比較、乱流シンチレーションを伴う自由空間光リンク、逆分散による時計アンサンブル時間スケールを備えます。GNSS が使えない状況での時計ホールドオーバー計算機は、van-Loan の惰行誤差増大を逆算して、しきい値に達するまでのホールドオーバー（時計が自由走行してから時刻誤差がバジェットを超えるまでの時間）を、従来型と量子時計のクラスにわたって求めます。これはモデルから計算したものであり、非常に安定な時計で厳しいしきい値に達するまでのホールドオーバーは、引用された ADEV ではなく、仮定した長い τ のノイズフロアで決まることを明記しています。

Klobuchar（放送）と IONEX / TEC グリッド（実測）の電離圏モデルによる、疑似距離・ドップラーの順方向合成です。IONEX ファイルのパーサー、時間補間、薄殻の斜め入射マッピング、Saastamoinen + Niell の対流圏、スナップショット RAIM を含みます。

実際の RINEX コード疑似距離と放送エフェメリスから、反復重み付き最小二乗法で解いた実際の受信機位置です。Sagnac・地球自転補正、TGD を含む放送時計、二周波 L1/L2 電離圏フリー結合（または単周波の Klobuchar）、Saastamoinen/Niell 対流圏、仰角重み付け、DOP、スナップショット RAIM を含みます。

リンクバジェット型のジャミングモデル（J/S → 実効 C/N₀ → ロック喪失）、確率的な時刻スプーフィング検出器（モンテカルロの P_fa/P_md と、1 − P_md のセキュリティ性能指標を伴う Neyman–Pearson / χ²₁ エネルギー検定）、そして RAIM 整合性のパリティ検定、RF の AGC 電力モニター、信号品質（SQM）モニターを融合した多層スプーフィング検出器を備えます。さらに、冷却原子干渉計の白色雑音ドリフトに、残留バイアス（独立した積分器と照合済み）とスケールファクター誤差を合成して、ホールドオーバー中の位置ドリフトの値にまとめる量子慣性デッドレコニングの誤差バジェットも備えます。これは時計ホールドオーバーの慣性版です。

リンクバジェットと観測量の領域の間に位置する信号性能の層です。BPSK-R(n) と sine-BOC(m,n) の単位面積あたり電力スペクトル密度、実際の信号と妨害波のスペクトルから、ジャミングモデルがそのまま用いるアンチジャム Q を導くスペクトル分離係数、レンジング情報量を決める RMS（Gabor）帯域幅（BOC > BPSK）、コヒーレントな early–late DLL のコード追尾熱雑音ジッター、ナロー相関器による抑圧を伴うコヒーレントな early-minus-late のマルチパス誤差包絡、そして測距コードの設計トレードオフ（m 系列・Gold 符号の自己相関サイドローブと 三値の Gold 相互相関の上限、およびコード長から曖昧さのない距離への逆算）を含みます。これは信号性能の解析であり、RF ペイロードやアンテナのハードウェア設計ではありません。

受信機ネットワーク全体の到達時間差の双曲面から、Gauss–Newton 最小二乗法でジャマーやスプーファー（またはリバース PNT のための機会信号源）の位置を特定します。移動する受信機で到達周波数差を加えると、発信源の位置と速度を同時に復元でき、ネットワークの幾何から位置共分散に対する Cramér–Rao 限界が得られます。見通し線上の点源モデルであり、マルチパス / NLOS、受信機クロックバイアス、屈折の項は含みません。

マルチ GNSS（GPS、Galileo、QZSS、BeiDou、GLONASS）の RINEX-3 放送エフェメリス取り込み、RINEX-3 観測パーサー（RINEX 4.00 の観測レイアウトは解析できる見込みですが、4.00 のファイルをこのパーサーで読み込んだことはなく、RINEX 4 の航法ファイルは名指しで拒否します）、Lagrange 補間を備えた SP3-c/d 精密エフェメリスのリーダー・ライター、飛行力学ツール（GMAT、Orekit、STK）向けの CCSDS OEM 2.0 と OMM（平均要素）のエクスポート、そして深宇宙の電波追尾のための CCSDS-TDM（503）追跡データメッセージの解析と出力を備えます。

要件、モジュール、テスト、オラクル、ステータスの相互参照を、エンジン自身から（Markdown/CSV で）出力します。単体テストされた誠実性の不変条件があり、行に「照合して確認済み」と付けられるのは独立した外部のオラクル（NIST / AIAA / SOFA / IGS / 公表値）を持つ場合に限られるため、内部の自己整合性チェックが検証になりすますことはできません。また、Kshana が提供しないハードウェア・PA の機能は、パートナーの担当範囲のギャップとして記録します。ECSS-E-ST-10-02 の検証相互参照を実行できる形で支える土台です。

シナリオが出力するすべての数値フィールドには、単位と、閉じた語彙から選んだ来歴の区分が付き、定義がある場合はその定義も付いています。これらは、エンジンと並べて機械可読なスキーマとして公開しています。ラチェット式のゲートがすべての組み込み種類を実行し、どちらも持たないフィールドがあれば失敗とします。まだ完了していない種類は、それぞれ未完了の理由とともに 一つずつ明記しており、この一覧は減ることしかありません。自身の定数を明記するレポート（片方向リンクバジェット、光学と RF のバジェット）では、読み手がレポートだけから主要な値を再計算できます。

一次のミッション設計バジェットで、それぞれ実行可能なシナリオです。二体問題の打ち上げ・上昇の幾何（打ち上げ方位角、最小軌道傾斜角、地球自転の利得、ドッグレッグの面変更 Δv、一日あたりの機会数）、Allen–Eggers の弾道再突入回廊（最大減速度、最大 g と最大加熱の速度）、地球観測のカバレッジ幾何（SMAD の宇宙三角形による、観測幅・直下点 GSD・オフナディアのアクセス・再訪）、3 自由度の姿勢・ポインティング誤差バジェット（重力傾斜トルク + RSS ポインティングバジェット）、地上局のパス予測（AOS/TCA/LOS、最大仰角、アクセス）、そして CCSDS 401 / DSN 810-005 のリンク方程式に基づく片方向リンクバジェット（FSPL、C/N₀、Eb/N₀、マージン、クロージャ）です。STK/GMAT/Basilisk の下にある、ハードウェア以前の解析層であり、モデルから計算した一次のバジェットです。6 自由度や電波航法の代替ではありません。

コンタクトプランとアパーチャ数を入力すると、航法デューティ、通信デューティ、セッションごとの途絶、競合が出力されます。調停ポリシーは暗黙のままではなくレポートに明記され、完全には提供できなかったセッションは、平均の中に埋もれることなく、失われた割合が報告されます。

宇宙天気の環境モデルです。太陽（F10.7 / 中心 81 日平均の F10.7a）と地磁気（Kp、定義上の Kp↔ap 対応表付き）の活動指数、それらが駆動する Jacchia-1971 の外気圏温度、そして高度における活動補正済みと静的な熱圏の中性大気密度を扱い、静的な大気では省かれる太陽周期による密度依存を表します。校正済みの一次のスケールハイト結合であり、データで照合して確認した NRLMSISE の大気ではありません。

RF 障害の検出評価テストベッドです。ラベル付きでパラメーターに裏づけられた合成コーパス（公称 / ジャミング / 時刻スプーフィング / 位置スプーフィング / マルチパス）、目標 Pfa における各クラスの Pd を用いてあらゆる検出器を採点する、検出器に依存しない ROC/AUC ハーネス、そして分布内と分布外の楽観ギャップを備えます。さらに深い楽観ギャップの研究では、13 個の検出器のパネル（エネルギー / AGC / SQM / パリティに加え、シード固定のロジスティック回帰と 一隠れ層 MLP の検出器）、順列ヌルを伴う分布内・分布外のスケーリング則、分布外での劣化の leave-one-out 予測器へと拡張します。ソフトウェア定義受信機のフロントエンド（生の IQ/IF から相関器の early/prompt/late タップを経て SQM まで）と実データ取り込みアダプター（RINEX、u-blox UBX、GnssLogger、JammerTest、Yunnan、SatGrid）により、同じ検出器をローカルで用意した記録に対して実行できます。加えて、候補となる時計のタイミングと慣性のホールドオーバー上の利点を、測定した ADEV 曲線から従来型のベースラインに対して定量化する量子対従来型の PNT トレードオフと、GNSS が使えない状況でのレジリエンス対時間の包絡線を備えます。これらはモデルから計算した動作特性であり、現場データや IQ データではなく、良否の判定もありません。

パラメーターの不確かさのもとで、量子センサーが従来型を上回る領域を示す再現可能なマップです。冷却原子と航法グレードのデッドレコニング、光学と チップスケール時計のホールドオーバーを、停止時間とプラットフォームの振動について比較し、各曲線には技術成熟度のラベルが付きます。cargo run --bin crossover_study で再現できます。これはモデルから計算した性能バジェットであり、入力は公表された係数または範囲で与えた係数で、飛行データではありません。

GNSS スプーフィング下で検出されない時刻誤差に対する、ホールドオーバーで制約される上限です。独立したクロスチェックがある場合、提供される時刻の誤差は、k シグマのモニターフロア、検出遅延にわたる van-Loan の惰行分散、CUSUM のアラームまでの時間によって上から抑えられます。実際に記録されたスプーフィング（JammerTest 2024）で校正しており、cargo run --example tpl_jammertest で再現できます。検出を条件とした、モデルから計算した合成です。十分にゆっくりしたランプは単一のクロック支援モニターをすり抜けるため、条件なしの有限な上限は存在しません。

フレームワークに整合したスコアリングエンジン（DHS RPCF のカテゴリ）です。アーキテクチャのシミュレートされた挙動を次元ごとのサブスコアに対応づけ、そのうえで、単一の総合スコアや成熟度レベルが判断の安定した根拠になるかどうかを問います。これには、ディリクレ重みシンプレックス、Kendall の tau による順位の不安定性、トップ 1 の勝者の入れ替わり率、共通モードの多様性の崩壊（Hill-N2）を用い、インテグリティのハッシュ付きの保証レポートを出力します。cargo run --example resilience_report で再現できます。RPCF v2.0 に整合した、モデルから計算した合成アーキテクチャであり、自己評価であって認証ではありません。

検出の見逃しからインテグリティへの橋渡しです。スプーフィング、ジャミング、RAIM の検出を見逃して残った未検出のバイアスは、実効的な位置誤差を押し上げます。これを状況ごとのアラート限界と照らし合わせて、Stanford-ESA インテグリティ領域（利用可能 / 利用不可 / 誤誘導 / 危険）に分類します。外部に裏づけられた RAIM の Stanford 分類を組み合わせるもので、新たなインテグリティの数理は加えていません。

カバレッジあたりコストの ROI という見方で、コンステレーション / アーキテクチャのトレードオフにおける、提供されるカバレッジ単位あたりのコストです。カバレッジの成分は、照合して確認済みのカバレッジ幾何を組み合わせたもので、算術は単体テストされていますが、コストは利用者の入力です。そのため、この比は計画の補助であり、外部で照合して確認した量ではありません（したがって、あえて検証バッジは付けていません）。

シナリオの結果を、その種類、スキーマのバージョン、モデルから計算したもの・照合して確認したものを示すラベルとともに包む、バージョン付きの自己記述型エンベロープです。保存された成果物はそれ自体で内容を説明でき、古いエンベロープも前方互換のかたちで読めます。

受信機や計器がすでに出力している NMEA 0183 から、船舶の航法測位値を信頼できるかどうかをスコア化します。エポックごと、バッチ、ライブ、またはゲートとして、0-100 のスコア、三つの区分、およびその理由を出します。モニターは、測位値を船自身の運動、方位センサー、速度ログ、衛星の信号レベルと比較します。助言用ソフトウェアであり、型式承認を受けた航法装置ではありません。運用者が引き続き責任を負います。モニターの算術は独立したライブラリで照合しており、スコアの規則としきい値はプロジェクト独自のもので、モデルから計算したままです。

教官が筋書きを作ったジャミング、位置のドラッグオフ、時刻スプーフィング、リプレイの各イベントを含む、台本どおりの航海について、合成のブリッジ NMEA 0183 を教官ログとともに書き出します。乗組員は、劣化した測位値が自分たちの計器でどう見えるかを確認できます。テキストのみで、船舶の実際の航法システムには決して使用せず、何も送信せず、電波信号も作りません。センテンスとそのデコード値は照合しており、受信機、天空、イベントのモデルはモデルから計算したものです。

航空機（ADS-B）と船舶（AIS）が劣化した航法データを報告した場所の日ごとの GeoJSON マップと、航路のうち劣化したセルを通過する割合を、オープンライセンスの入力から作成します。劣化したセルは、報告された精度フィールドや不自然な位置についての記述であり、干渉が見つかったという判断ではありません。また、誰も観測していないセルは、航路が良好であることの証拠にはなりません。過去の報告であり、予報ではありません。

信頼ストリームを、Prometheus メトリクス、OpenTelemetry（OTLP/HTTP）、CEF または LEEF の syslog イベントとして、標準出力、HTTP、UDP、TCP で出力します。これにより、セキュリティオペレーションセンターは、航法の障害を他のアラートと並べて確認できます。コレクターが停止しても、評価が止まることも、気づかれないままになることもありません。Prometheus、OTLP、CEF は独立したパーサーで読み戻しており、LEEF はその仕様に対してのみ照合しています。

信頼イベントの前後のウィンドウを、ハッシュ連鎖で Ed25519 署名されたパックにまとめ、誰でもオフラインで検証できます。ファイルの変更、削除、差し替え、追加、再署名されたパック、誤ったピン留め鍵は、いずれも名指しで検出されます。任意の RFC 3161 タイムスタンプトークンを紐づけられます。技術的な記録であり、法的見解、事実認定、証明ではありません。

シナリオの機体の運動とイベントを、実験室の GNSS シミュレーター向けに、CSV の軌跡と NMEA 0183 として書き出します。地球固定、測地、局所速度の各列、姿勢、UTC を含みます。運動とイベントのみで、信号は書き出さず、シミュレーターや受信機の性能も主張しません。

Kshana の出力を、公開フレームワーク（船舶向けの IMO ガイダンス、EU NIS2 第 21 条、EN 16803、米国 DHS のレジリエント PNT フレームワーク、EASA の航空ガイダンス）の条項に、条項番号のみで対応づけます。対応づけは、与えられた実行から埋め、どの行についてどの実行群が証拠を裏付ける（supports evidence for）かを、各行のギャップとともに示します。これは、いずれかのフレームワークが満たされているという判断ではなく、誰かによる評価や承認でもありません。

Galileo オープンサービスの航法メッセージ認証のための、オープンで純 Rust の受信機側検証器です。I/NAV ページまたは u-blox UBX ストリームから、受信機がどの衛星の航法データを認証できるかを、信号仕様の公開鍵、鍵チェーン、タグの各チェックを通して確認し、衛星ごと、時刻ごとに認証を報告します。データを認証するものであり、スプーフィング対策としての性能を主張するものではありません。

建物、岸壁、クレーン、地形が空の一部を遮るとき、ある地点からどの衛星が見えるか、そしてそれが DOP（精度低下率）と水平誤差楕円にどう影響するかを示します。方位角に依存するスカイラインが、単一の仰角しきい値に置き換わります。可視集合、その DOP、楕円は、エポックごと、コンステレーションごとに出力されます。スカイラインが取り除くのは見通し線上の衛星だけであり、それ以上のことはしません。反射、回折、信号強度はモデル化していません。

街路の谷間、セクター、地形からスカイラインテーブルへの縮約、代表的な四つのプリセット（市街の街路、港湾の進入路、フィヨルド、コンテナターミナル）、そしてそれらをスカイプロットとモンテカルロのクラウドに組み上げる関数です。CLI、MCP、Python、ブラウザーから利用できます。プリセットは、選んで明示した寸法による代表的な幾何であり、測量ではありません。縮約は手計算の値に対してのみ照合しています。

衛星の幾何を受信機の信頼スコアと並べて示し、減点のたびに区分を明示します。区分は、信号の喪失、不良な幾何、または受信機が示す DOP と可視衛星から導いた DOP との不整合です。幾何は、判明している場合にのみ評価し、ラベルが主たる情報です。減点されるのは、不良な幾何だけです。助言用ソフトウェアであり、型式承認を受けた航法装置ではありません。

公開された前提のもとで、月の南極の基準局に何ができるかを調べる、再現可能な一つの研究です。極域の上のカバレッジと精度のマップ（補正ありとなしの位置誤差のパーセンタイル、利用不可のエポックごとにその理由を付した可用性、保護レベル、補正リンクのバジェット）、月面時刻基準を原子時計で保持する時刻ラボ、そして追加するレーザーレトロリフレクターと VLBI ビーコンの測地を五アレイの座標系原点に対して扱います。すべての入力には、公開された出典、または例示用であることを明記しています。これは実在するいかなるシステムの性能についての記述でもなく、Kshana はいかなる機関とも提携していません。

大気が経路にあるとき、光時刻比較リンクがどのくらいの頻度で稼働するかを示します。各地上サイトについて、エンジンは晴天時の損失、ガンマ-ガンマのシンチレーションフェージングと開口平均化を伴う Hufnagel-Valley の乱流状態、定めた雲の気候に基づくリンクマージンに対する可用性、どんなマージンでも引き上げられない上限、途絶時間の分布、そして途絶がホールドオーバー時計に与える時刻誤差を出力します。そのうえで、サイトの追加、より大きな開口、別の波長、補償光学で何が得られるかを示します。同梱の雲の気候は例示用であり、実測ではありません。出力は助言です。

球面上（ICG 宇宙サービスボリューム冊子のグローバルシェル）にある宇宙機、または LEO から月遷移までのケプラー軌道上の宇宙機について、コンステレーションごと（GPS、GLONASS、Galileo、BDS、QZSS、NavIC）および全体で、C/N0 のしきい値を超える信号を数えます。出力は、一つの信号と四つの信号の可用性、最長の途絶、受信 C/N0、精度低下率、メインローブとサイドローブのリンクです。送信パターンは、冊子のもの、パラメトリックな代用、または利用者が与えるものを使います。リム光線の電離圏・プラズマ圏・大気のモデルと微弱信号受信機の設計は任意です。高軌道と月遷移軌道向けの搭載 GNSS フィルターと編隊相対航法を含みます。MODELLED：実行前にコミットした事前登録のもとで冊子の表と比較すると、最小放射電力の定数と月の合格基準は一致し、その他の合格基準は事前登録した読み方では NOT MET です（ほぼすべて、冊子の GLONASS ビーム角が不整合であるため）。また、パラメトリックなサイドローブの代用は、実測の GPS パネルパターンを再現しません。

制限三体モデルにおける五つの研究です。独立した地上のレンジ・レンジレート決定に対する、ほぼ直線的なハロー軌道での搭載 Earth-GNSS 軌道決定。地表局と周回機の搬送波位相の整数アンビギュイティの同時固定（LAMBDA）。周回機と地表間のレンジングがある場合とない場合の、七パラメーターの月面座標系原点のフィッシャー情報。局所タイとの GNSS、VLBI、レーザー測距のオフセット。月の潮汐と秤動のパラメーターに対する感度。MODELLED で、入力は例示用です。数値計算は独立した numpy と scipy のプログラムに対して照合しており、物理に対しては照合していません。事前登録した合格基準のうち三つは NOT MET です。注入した力の誤差が定めた率では検出されない（C3）、ブートストラップした成功率が numpy のオラクルと 1.7e-6 異なり、合格基準は 1e-9 である（Q3）、そしてレンジング系を加えても擬似逆行列のトレースが必ずしも下がらない（G3、トレース側）、です。