シナリオの種類

kshana::api::run_toml がディスパッチする 92 種類の組み込みシナリオ kind。それぞれに一行の説明と、必須・任意の TOML（Tom's Obvious, Minimal Language）フィールドを付けています。

このファイルは、唯一の情報源である api::list_scenario_kinds() から cargo run --bin gen_validation_artifacts によって生成されます。このファイルではなく、情報源を編集してください。すべてのバインディング（Python パッケージ、MCP（Model Context Protocol）サーバーの list_scenario_kinds ツール、WebAssembly（WASM）プレイグラウンド）が同じカタログを公開しているため、ここに掲載されているものは、すべてのサーフェスが実行できるものそのものです。説明は簡潔で、略語を常に展開しているわけではありません。すべての略語は GLOSSARY.md に正式名称が記載されています。

clock 以外のすべてのシナリオは、トップレベルで kind = "<name>" も設定しなければなりません。kind のないドキュメントは clock として実行されるため、以下の各 kind の必須フィールドには kind は繰り返し記載されていません。必須の項目には、代替の形を挙げることができます。| は、少なくとも一つが存在しなければならない形を区切り、+ は、一緒に現れなければならないフィールドを結びます。したがって tle|orbit+epoch は、「tle、または epoch を伴う orbit」と読みます。

#	種類	説明
1	`clock`	時計のホールドオーバーと仕様の比較。任意のモンテカルロのアンサンブル（runs > 1）。
2	`inertial`	GNSS 途絶中の1-DOF 慣性推測航法。
3	`orbit`	衛星コンステレーション（Walker / TLE / RINEX）による GNSS の可用性と DOP。
4	`ephemeris`	エフェメリスと地上軌跡：一機の衛星を伝搬し（TLE→SGP4 または解析的軌道）、その TEME／GCRS 状態（位置＋速度）、ITRF／ECEF 位置、WGS-84 の衛星直下点の緯度・経度・高度、そしてステップごとの局の方位角／仰角／距離と距離変化率（ドップラー）を出力します。衛星は`tle`、または`epoch`を伴う解析的な`orbit`で与えます（両方が指定された場合は`tle`が優先されます）；`tle`を使う場合、`epoch`は TLE 自身のエポックを t = 0 として上書きします。
5	`integrity`	スナップショット／解分離／ARAIM の RAIM と、HPL/VPL、Stanford ダイアグラム。
6	`lunar-integrity`	代表的な LunaNet 中継衛星の集合に対する、月南極の ARAIM 保護レベルのパス。sigma_ure_m は信号空間の測距精度を公開します（保護レベルはこれに比例して線形にスケールするため、これを掃引すれば、警報限界がどの測距精度を要求するかが分かります）。既定値は従来の LNIS クラスの南極のケースです。
7	`lunar-time-offset`	モデルに基づく相対論的な地球・月間の時計レート（月座標時、LTC/TCL）です。自己ポテンシャルの差と月の運動項から LTC−TT の永年レートを求め、公表されている 56–59 µs/日の範囲とあわせて報告し、期間にわたる累積オフセットも示します。
8	`lunar-vlbi`	モデルに基づく月測地VLBIの遅延観測量です。地球上の基線（二つの地上局、GCRS）が、NovaMoon クラスの月面ビーコンからの一方向信号を観測します。パスにわたって、近距離場の二距離差遅延、その変化率、波面曲率による近距離場補正を出力し、遠距離場の極限では同じコードベースの平面波 Δ-DOR 観測量と相互確認し、偏微分は有限差分で検証しています。既定の解析経路は MODELLED であり、フレームの整合性、xp=yp=0 の極運動、平面波と近距離場の違いという注意点を伴います。planetary_kernel_path、earth_orientation_kernel_path、moon_orientation_kernel_path を設定すると、代わりにカーネル経路が実行されます（DE440、MOON_PA_DE440、ITRF93。収束した太陽系重心の光行時間。そのエポックのビーコンと局の偏微分を追加）。そのニュートン力学的な遅延と偏微分は、NAIF SPICE の収束した光行時間と 0.06 ps および 7.4e-9 まで一致します。実際のVLBIデータとの照合による確認は行っていません。
9	`lunar-joint-od-clock`	モデルから計算した、シミュレートしたネットワーク上での、複数技術による月面 OD + クロックの統合バッチ推定器：Gauss-Newton のスナップショットフィットで、地球基線の測地 VLBI 遅延、月面ローカルの局と衛星の間の距離、衛星間距離を融合し、注入した真値から、月面局の 3D 位置、小規模なコンステレーションの位置、各アセットのクロックオフセットを同時に回復します。最も重要な誠実な結果 — 月面ローカルの測距だけでは弱く観測される方向が残る場所で、VLBI が局の完全な 3D 位置を観測可能にすること — は、VLBI あり・なしの局誤差の対比として報告されます。MODELLED のシミュレートした閉ループ回復（真値は観測モデルを共有）。決定論的（シード付き）。実データでの検証ではありません。ソルバー内に力モデルによる伝搬はありません。TRL、飛行実績、機関による承認はありません。
10	`lunar-frame-realisation`	モデルから計算した月面の座標系の実現：7 パラメーターの Helmert（相似）データムのフィット — 3 並進、3 微小角回転、1 スケール — で、重み付き最小二乗（crate::batch_ls::gauss_newton）により、月面座標（selenographic）に由来する MCMF の点座標の推定集合をデータムに結び付けます。さらに、IAU 2015 WGCCRE の天体姿勢に対する、ICRF 軸まわりの実現された微小回転を表す簡易な姿勢の結び付けも行います。このシナリオは、既知の微小な変換（並進は数十 m 程度、回転は µrad 程度、スケールは ~1e-7）を、よく分散した合成の点ネットワークに注入し、シード付きのガウスノイズを加え、データムを回復して、回復した変換、注入した真値に対するパラメーターごとの回復誤差、フィット後の RMS 残差を報告します。MODELLED の自己整合性 — 注入した相似変換を回復します（ノイズなしではマシン精度程度まで）。実際の追跡や VLBI のデータに対する実現ではありません。決定論的（シード付き）。TRL、飛行実績、機関による承認はありません。
11	`moonlight-service-volume`	ILLUSTRATIVE（例示用）の、公開情報に基づく Moonlight/LCNS クラスの月周回コンステレーション（ESA とは無関係）を用いた、モデルに基づく月航法サービスボリューム解析です。時間範囲にわたって月面の緯度・経度グリッドを掃引し、DOP、カバレッジ、可用性（≥4 機かつ PDOP がしきい値未満）と、そのボリュームにわたる一般化した月 ARAIM 保護レベル（HPL/VPL）の包絡を報告します。DOP のジオメトリは gnss_lib_py で VALIDATED なカーネル（crate::orbit::dop）を再利用し、保護レベルは LunaNet LNIS の月 ARAIM の仕組み（crate::lunar、σ_URE≈30 m）を再利用して、既存の南極 PL を特殊な場合として含みます。MODELLED の構成：円軌道・楕円ケプラー軌道のリレー群（実際の微分補正された LCNS/NRHO エフェメリスではありません）と、平均自転の月（秤動や歳差する極はなし）。決定論的（純粋なジオメトリ）。TRL・飛行実績・機関による承認はありません。
12	`lunar-differential-pnt`	モデルから計算した月面の差分 PNT（月面版の DGNSS/SBAS に相当）：既知の月面座標にある NovaMoon クラスの基準局が、ILLUSTRATIVEで公開情報に基づく Moonlight/LCNS クラスのコンステレーションから衛星ごとの差分補正を計算します（NovaMoon はシステムのクラスとしてのみ参照しており、ESA とは無関係です）。baseline_km だけ離れたユーザーがそれを適用すると、共通モード（common-mode）の軌道誤差とクロック誤差が打ち消されます。クロック項は正確に打ち消されます（代数的な恒等式）。軌道項に残るのは視線方向の差の射影のみで、これは基線 → 0 で → 0 となり（空間的な非相関の下限）、基線にほぼ線形に比例して増大します。補正ありとなしのユーザーの 3D 位置誤差、低減係数、基線に対する誤差の曲線、そして差分残差 σ を用いて DO-229E の SBAS の仕組み（crate::sbas）を再利用するユーザー保護レベルを報告します。MODELLED — 正確な打ち消しの恒等式と一次の非相関モデル。実データでは検証されていません。TRL、飛行実績、機関による承認はありません。シードを与えれば決定論的です。
13	`lunar-station-coverage`	モデルから計算した月面基準局のカバレッジ：月面の差分 PNT モデルを、南極域のユーザー格子と一日分のエポックにわたってモンテカルロ掃引したもの。既知の南極域の地点にある差分基準局が、明示した信号空間誤差、測量誤差、補正の遅延、リンクの量子化を伴う、明示したコンステレーション（例示的なケプラー軌道、または表形式のエフェメリス）を補正します。点ごと、および領域全体について、補正ありとなしの位置誤差のパーセンタイル（3D、水平、垂直）、可用性、明示したしきい値に対するカバレッジ、DO-229E の保護レベル、方位ごとのカバレッジ半径、局と最悪の点での補正リンクバジェットを報告します。いかなる実システムの性能についての記述でもありません。いかなる機関とも提携しておらず、承認も受けていません。MODELLED。
14	`lunar-interop-export`	モデルから計算した月面の相互運用性エクスポート：月の座標系、月の時刻系、月のエフェメリスを、LunaNet/IOAG に整合した CCSDS ベースの交換形式で出力し、往復 / フィールド適合性を確認します。このクレートの CCSDS OEM 2.0 のエミッター + パーサー（crate::oem）を月面の文脈向けに付け替えて再利用します — OEM の REF_FRAME は IAU 2015 WGCCRE の月の天体座標系（MOON_ME / MOON_PA）、TIME_SYSTEM は月の時刻系（LTC / TCL / UTC）、CENTER_NAME = MOON を持ち、例示的な LCNS クラスのエフェメリスのサンプル（位置は crate::lunar_service から、速度は有限差分による）に適用します。また、serde_json で往復できる LunaNet/IOAG に整合した月の時刻の記述子（時刻系 ID、crate::lunar_time からの永年変化率 µs/day、公表された帯域、基準面）も出力し、既存の KIF エンベロープ（crate::interchange）に MODELLED の誠実性ラベルを付けて成果物を包みます。出力した成果物、OEM の行数、フィールド適合性の合格と存在 / 欠落フィールドの一覧、OEM の往復 ok、時刻メタデータの往復 ok、KIF のバイトサイズを報告します。MODELLED — オラクルは、決定論的な往復と、公表された CCSDS OEM および LunaNet/IOAG のフィールド意味論に対するフィールド名の適合性です。認証済みの相互運用性適合試験ではありません。例示的で公開情報に基づくエフェメリスであり、ESA とは無関係です。TRL、飛行実績、機関による承認はありません。
15	`timetransfer`	光と RF による双方向の時刻・周波数伝送。
16	`quantum-anomaly-detect`	量子PNTシステムのための MODELLED の故障・異常検出：ラベル付きの故障カタログ（時計の周波数ジャンプ/ドリフト/ロック喪失、センサーのバイアスステップ/ドロップアウト）、検出統計量の ROC AUC（外部で確認済みの eval_stats によるブートストラップ信頼区間付き）、固定の誤警報率での最小検出可能故障を扱い、量子時計支援モニター（低ノイズ）がより小さな故障を検出することを、正直な TradeEvidence と代表性として示します。ガウス型の検出統計量モデル（AUC = Phi(mu/(sigma*sqrt2))）。このクラスをモデル化し、パラメーターは公開情報に基づく例示用で、TRL・飛行実績・認証はありません。
17	`quantum-gnss-free-nav`	MODELLED のGNSSに依存しない量子航法：GNSS途絶中の、量子（冷却原子干渉計）慣性バジェットと古典的な航法級 INS の比較です。コースト中の位置誤差の増大、位置しきい値までのホールドオーバー、そして量子と古典のトレードを、代表性とともに正直な TradeEvidence として示します。観測可能性に関する正直な注記：外部の測位解がなければ加速度計のバイアスは観測できないため、誤差は増大します。量子センサーはその増大を遅らせますが、差を埋めることはできません。デバイスのパラメーターは公開情報に基づく例示用で、このクラスをモデル化したものであり、TRL・飛行実績・認証はありません。
18	`quantum-time-transfer`	MODELLED の信頼できる量子タイミングチェーン：エンドツーエンドの量子（光格子時計＋もつれ/単一光子リンク）と古典（CSAC＋RF 双方向）の時刻比較バジェット、再利用したタイミング保護レベルと遅延・リプレイ攻撃のセキュリティ性能指標（1-P_md）、時計異常の検出確率と CUSUM の遅延、そして量子と古典のトレードを、代表性と飛行に至るまでのギャップの記録とともに正直な TradeEvidence として示します。デバイス/リンクのパラメーターは公開情報に基づく例示用で、このクラスをモデル化したものであり、TRL・飛行実績・認証は主張しません。
19	`hybrid`	ハイブリッド PNT の集大成：時計＋IMU＋時刻比較による補助。
20	`fusion`	同じハイブリッド入力に対する、カルマンフィルターによる統合センサーフュージョン PNT。
21	`hybrid-ukf`	17状態の量子＋古典ハイブリッド密結合 GNSS/INS UKF（MODELLED）：15 個の INS 誤差状態＋CAI 由来の加速度バイアス補正＋q パラメーター時計エンジンによる2状態（位相＋周波数）の時計を、上下限で囲んだ CAI 誤差モデルで駆動します。性能指標はフィルターの自己整合性（NEES＋イノベーションの白色性を χ² 境界と比較）であり、自己整合性についての記述であって、実世界での精度の保証ではありません。シミュレーションのみ；TRL>3 ではなく、飛行実績もなく、外部での検証もありません。
22	`gnss-ins`	疎結合および密結合の GNSS/INS 誤差状態 EKF。
23	`gnss-sim`	測定領域での疑似距離シミュレーション（Klobuchar 電離圏、Saastamoinen/Niell 対流圏）＋ RAIM。
24	`jamming`	リンクバジェットによるジャミング：J/S → 実効 C/N₀ → ロック喪失。
25	`spoof`	モンテカルロによる P_fa/P_md を伴う、確率的な時刻スプーフィング検出器（Neyman–Pearson / χ²₁）。
26	`spoof-detect`	RF と測定値を組み合わせたスプーフィング検出器（複数 SV の RAIM 整合性 + AGC + SQM を融合）を、パラメーター化した攻撃（電力優位、搬送波位相の整合、時刻・位置の押し出し；TEXBAT 方式）に対して評価します。
27	`sweep`	クロックパックのパラメーターに対する1次元のトレードスタディ掃引。
28	`sweep-nd`	ドット区切りの TOML キーまたは JSON メトリクスパスによる、任意のパックに対する汎用の N 次元掃引。
29	`gravity-map`	GPS が使えない環境での重力マップマッチング航法：冷却原子重力計が、通過する重力異常の系列から INS の一定のドリフトを復元します。
30	`terrain-nav`	GPS が使えない環境での地形参照航法（TERCOM/SITAN）：電波高度計・気圧高度計の地表標高プロファイルを SRTM 方式の DEM と照合し、INS のドリフトを復元します。
31	`terrain-slam`	GPS が使えない環境での逐次（再帰）地形参照航法：パーティクルフィルタがエポックごとに地形照合の測定モデルを実行し（実行中のフィルタとしての SITAN）、軌跡に沿って時間変化する INS ドリフトを追跡します。バッチ方式の terrain-nav が復元できるのは、単一の一定オフセットだけです。
32	`combined-altpnt`	GPSが使えない状況での、重力・磁気・地形を組み合わせた航法装置：三つのスカラー場チャンネルをウェイポイントごとに融合し、どの単一の場よりも鋭い（CRLBの低い）ドリフト補正を得ます。
33	`pvt`	実観測による単独測位：RINEX 3 の観測ファイルと放送航法ファイル（コード疑似距離、放送エフェメリス、Klobuchar 電離層、Saastamoinen/Niell 対流圏）から受信機の位置を解き、必要に応じて測量済みの座標と照合して確認します。
34	`mars-pnt`	深宇宙の火星PNT：シミュレートした MARCONI リレーコンステレーション（一方向の送信と、深宇宙局への双方向の中継を行う静止軌道型と傾斜軌道型のリレー）が、一方向と双方向の電波測定を統合した推定器を通じて、基準ユーザー（transfer \| lmo \| surface）を航法します。エポックごとのジオメトリと可視性、真値に対する達成 RMS、形式共分散（1σ / 3σ の位置）を報告します。これはシミュレーションによる正直な性能指標であり、認証された保護レベルではありません。
35	`impairment-eval`	機械学習による RF 障害検出の評価テストベッド（13494）：ラベル付きでパラメーターに基づく合成コーパス（nominal／jamming／spoof-time／spoof-position／multipath）を生成し、検出器（energy\|agc\|sqm\|parity\|fused）を検出器に依存しないハーネスで採点して、AUC／ROC／混同行列と、目標 Pfa でのクラスごとの Pd、さらに分布内と分布外の楽観性ギャップを報告します。MODELLED の動作特性のみ — 現場データや IQ は一切なく、良し悪しの判定もありません。
36	`quantum-trade`	量子と古典の PNT トレード（13503）：候補の時計（実測 ADEV 曲線 — 防御可能性の要 — または量子時計クラス）が古典のベースラインクラスに対してもたらす、タイミングホールドオーバーと慣性ホールドオーバーの利益です。長い tau のフロアを仮定したことの注意点を成果物に添え、さらに GNSS を使えない状況でのレジリエンス対時間の包絡も示します。MODELLED。パートナーのデバイスを定量化するだけで、確認はしません。候補の時計は、実測曲線（`candidate_adev_taus` と `candidate_adev_values`、同じ長さで、少なくとも 2 点。両方の形式が与えられた場合はこちらが優先）または `candidate_clock_class` です。
37	`space-weather`	宇宙天気の環境モデル：太陽（F10.7/F10.7a）と地磁気（Kp。定義上の Kp↔ap 表付き）の活動指数、それらが決める Jacchia-1971 の外圏温度（公表された太陽活動極小・平均・極大の値と照合して確認済み）、そして、昼夜平均の外圏温度での Jacchia-1971 の熱圏中性大気密度を、活動を含まない静的プロファイルと複数の高度で比較したもの — 静的な大気が省略している太陽周期による密度の依存性です。MODELLED：密度は、加速度計から導いた密度（TOLEOS の CHAMP と GRACE）と、太陽活動極大期には 2 倍以内で一致しますが、2008 年の太陽活動極小期には約 1.7 倍密すぎます。
38	`oem-interop`	CCSDS OEM 相互運用ブリッジ：外部の飛行力学ツール（GMAT/Orekit/STK はいずれも OEM を出力します）が生成した Orbit Ephemeris Message を取り込み、そのセグメント、オブジェクト、座標系、エポック範囲と、速度の整合性チェックを報告します。入力がない場合は、生成した基準軌道を往復変換し、取り込みと書き出しの忠実度を報告します。MODELLED の構造的・物理的な取り込みチェックであり、元データの軌道精度の確認では「ありません」。
39	`launch-window`	二体問題による打ち上げと上昇の幾何：打ち上げ方位角（sin Az = cos i / cos lat）、到達可能な最小軌道傾斜角、円軌道速度、地球自転による東向きの加算分、目標傾斜角が射場緯度より小さい場合のドッグレッグ面変更 Δv、そして一日あたりの打ち上げ機会の数。MODELLED の球形地球幾何（自転する地球の速度三角形の補正なし、上昇／抗力損失モデルなし）。
40	`reentry`	Allen-Eggers の弾道再突入回廊：指数大気中の、突入速度・飛行経路角・弾道係数に対する、最大減速度（弾道係数に依存しない V_e^2 sin\|γ\|/(2eH)）、最大 g での速度と高度、最大加熱の速度。さらに、重力、地球の曲率、US Standard Atmosphere 1976 を含む同じ弾道突入の平面質点積分（最大減速度、速度、高度と、最大時の時刻）も求めます。MODELLED の弾道（揚力なし）突入であり、加熱の出力は最大加熱の速度であって、熱流束ではありません（空力加熱・TPS モデルなし）。
41	`eo-coverage`	地球観測ペイロードのフットプリントとカバレッジ幾何（SMAD の宇宙三角形）：軌道高度、傾斜角（既定では太陽同期）、センサーの FOV／IFOV から、地球角半径、観測幅、天底の地上サンプル距離、最大オフナディアアクセス、円軌道周期、J2 の昇交点周期、赤道上の地上軌跡間隔、および連続カバレッジのフラグを求めます。MODELLED の球形地球幾何（放射測定・MTF・大気・ジッター・太陽反射なし）；ノード間隔は R_e·(ω − Ω̇)·T_nodal で、J2 の一次永年変化率を用います。
42	`space-packet`	CCSDS 133.0-B スペースパケットプロトコルのフレーミング：合成した TM/TC のパケットストリーム（6オクテットのプライマリヘッダー＋データフィールド）を符号化し、パケットごとのヘッダーのデコード、総オクテット数、符号化とデコードの厳密な往復を報告します。決定論的で厳密なビットレイアウトのフレーミングであり、機関のパケット形式の相互運用層です。適合性の認証ではありません（フラグ以外のセカンダリヘッダー、CRC、セグメンテーションの処理はありません）。
43	`attitude-budget`	3-DOFの姿勢・指向誤差バジェット：最悪ケースの重力傾斜外乱トルク（(3/2)(μ/R³)ΔI）と、名前付きの1σ 寄与要因（センサーノイズ、リアクションホイールのジッター、熱、アライメント）に対する二乗和平方根の指向誤差バジェット、および支配的な項を、軌道高度と機体慣性の広がりに対して求めます。MODELLEDのスカラーAOCSバジェット — Basilisk/42に対するハードウェア前段階の補完であり、制御ループ、6-DoF、柔軟モードのシミュレーションではありません。
44	`passes`	地上局のパス予測：円軌道（ウィンドウ開始時点の SGP4 平均要素）について、ウィンドウにわたり仰角マスクより上にある局に対する時間領域の可視パス（AOS/TCA/LOS、最大見かけ仰角、継続時間）と総アクセス時間を求めます。IAU 2006/2000A の地球固定座標系上の SGP4/SDP4 伝播（任意で UT1 - UTC と極運動）、ITU-R P.834-9 の対流圏屈折とダウンリンクの光行時間（どちらも既定でオン）を用い、交差は 1e-7 s まで解き、最大仰角は黄金分割探索で求めます。パスのジオメトリは、海面高度の局で Orekit 13.1.8 と照合して VALIDATED であり、シナリオの軌道と局は例示用の入力です。
45	`link-budget`	CCSDS 401 / DSN 810-005 のリンク方程式に基づく片方向リンクバジェット：送信 EIRP、受信 G/T、距離、データレート、バンド（s\|x\|ka）に対する、自由空間伝搬損失、C/N₀、Eb/N₀、マージン、クロージャを、必要な Eb/N₀ と比較します。与えられた入力からの決定論的なエンジニアリング計算であり、較正済みの端末データシートではありません。
46	`lunar-time-budget`	MODELLED のエンドツーエンドの協定月時刻（LTC）の時刻誤差バジェット：七つの LTC 誤差項を、平均化時間の格子全体にわたる時刻誤差曲線 x_i(τ) として組み立て、二乗和平方根で x_Σ(τ) にまとめ、増大するクロック項が一定のリアルタイム座標系実現の項を追い越すクロックと座標系の交差 τ（それより下では座標系が支配的、上ではクロックが支配的）を求めます — 単一 τ の成果物に対する誠実な答えです。τ の傾きは閉形式で解析的に確認でき（クロック τ^{+1/2}/τ^{+1}、下限 τ^0、測定 τ^{-1/2}）、クロックの行は公表された一日のクロック仕様（crate::clock_specs）を再現します。RF/光リンク、座標系実現、相対論的残差、エフェメリスの下限の大きさは、モデルから計算した（文書化した既定値で、呼び出し側が上書き可能な）バジェット配分であり、測定ではありません。寄与は再現可能な交差 τ であり、認証された項ごとの数値ではありません。運用上の時刻維持のために認証されたものではありません。
47	`lunar-ascent`	南極域の月面地点からランデブー軌道までの MODELLED の動力上昇と、軌道へ引き継がれる位置・速度共分散（Artemis級）。lunar-descent の軸ごとの五状態の慣性誤差モデル（位置、速度、加速度計バイアス、姿勢の傾き、ジャイロバイアスで、比力によって駆動される）は、フェーズが入るときの月面の状態から、地点の三つの軸すべてで実行します。ILLUSTRATIVE な LCNS 級コンステレーションの、見える中継衛星による AFS 位置測位解（単独、または lunar-differential-pnt の補正リンク残差を用いた差動で、見える中継衛星が三つのときはクロックを補助）を、明記した間隔で取得し、月時刻は機体のクロックと進行方向のタイムタグ誤差を通じて加わります。閉形式の慣性誤差源、補助の寄与、アブレーション、上昇中の航法の 1 シグマ、航法知識と並べたエンジン停止時の分散、そして位置・速度の相関を保った、投入時の完全な 6x6 MCI 共分散を報告します。MODELLED：例示的な IMU の等級、比力、中継衛星の組、停止時の分散。誤差は発射地点の軸で保持し、公称の離脱状態は代用です。機関による承認はありません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。
48	`lunar-surface`	アルテミス級の南極域の地点について、地点と季節ごとの、MODELLED の月面測位・タイミングの可用性。地点と季節（エポックとその後の時間窓）ごとに、中継衛星による測位（ILLUSTRATIVE な LCNS 級コンステレーションの中継衛星が四つ以上見え、PDOP がしきい値未満であること。moonlight-service-volume と同じ関数を使い、地形セクションがある場合は lunar-station-coverage の地形のレイマーチングによるスカイラインを使います）、地球と太陽が地点の地平線より上にあるか（解析的な太陽、月、月の向き。秤動を含み、季節とともに動くのはこれです）、そしてタイミングの可用性（中継衛星または地球が見えること）を報告し、どちらも見えない最長の区間、すなわち月面の時計が持ちこたえなければならないホールドオーバーも示します。単一地点の結果は、moonlight-service-volume の結果とビット単位で一致します。MODELLED：平均自転の月の上の、例示的なケプラー軌道の中継衛星群です。中継衛星の数値は季節で変わりません。地形は 1200 m の LOLA 切り出しです。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。
49	`lunar-descent`	南極域の着陸地点（アルテミス級）への動力降下に対する、MODELLED の着陸分散バジェット。水平軸ごとに、五状態の慣性誤差モデル（位置、速度、加速度計バイアス、姿勢の傾き、ジャイロバイアス）を降下時の比力で駆動し、逐次フィルターが、有効にした補助手段からの位置フィックスを取り込みます。補助手段は、ILLUSTRATIVE な LCNS 級コンステレーションの可視中継衛星からの AFS フィックス（単独、または lunar-differential-pnt の補正リンク残差を使う差分方式で、可視の中継衛星が三つのときは時計を補助します）と、地形相対フィックス（合成起伏に対するクレートの TERCOM/SITAN マッチャー、または実際の LOLA 南極域 DEM の標高窓をマッチングする場合のクラメール・ラオ下限）です。月時刻は、フィックス時点の機体時計（lunar-time-offset の LTC-TT オフセット、または公表された帯域の不確かさ）と、沿軌道方向のタイムタグ誤差として入ります。報告するのは、3-sigma の着陸楕円、R95、閉形式の慣性誤差源、各補助手段の寄与、補助手段のあらゆる組み合わせのアブレーション、楕円のモンテカルロによる較正、そして引き継ぐ共分散です。MODELLED：IMU クラス、中継衛星の構成、降下プロファイル、誘導項は例示的なものです。地形航法は地球のメートルスケールの合成起伏を使います。AFS の可用性は、平坦なマスクでの一エポックのものです。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。
50	`lunar-orbit-rendezvous`	低い月周回軌道または楕円の極軌道（アルテミス級）でのオリオン・着陸機型のドッキングに対する、MODELLED の相対航法。チェイサーとターゲットは、クレートの月力モデルのもとで同じ軌道を飛びます。弧全体にわたる 21 パラメータの結合バッチ Gauss-Newton 推定（二機の状態と持続的な信号空間バイアス）が、ILLUSTRATIVE な LCNS 級の中継衛星群から機体ごとに得る絶対位置フィックス（月の裏側に隠れた中継衛星は除外し、四つ必要で、機体間で共通モードの信号空間誤差は打ち消されます）と、クロスリンク測距を融合します。測距精度は、LunaNet AFS パイロットに対するコード追尾下限から求めます。報告するのは、ターゲットの LVLH 軸における相対位置・速度誤差の形式値とモンテカルロ値、フィックスの可用性、期待値に対する正規化推定誤差二乗の平均、反復が収束しなかった試行、重力調和項を無視した場合のドリフト、そして引き継ぐ 6x6 共分散全体です。円軌道の場合には、閉形式の Hill/Clohessy-Wiltshire チェックを適用します。MODELLED：中継衛星の構成、誤差バジェット、事前分布は例示的なものです。真値と推定器は一つの力モデルを共有するため、NEES が確認するのは自己整合性であり、モデル誤差ではありません。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。
51	`hybrid-optical-rf`	MODELLED の、異種の光学＋RF PNT の結合性能指標（P5）：1550 nm の往復光リンクバジェット（光子制限の往復測距 CRLB σ_τ/√N と回折フットプリント λ/D·range）、位置と時刻の両方についての、モダリティ間の解分離 RAIM 保護レベル（共分散の異なる疎結合 RF 解と密結合光学解を融合）、N 局の光学晴天可用性（独立和集合 1−Π(1−a_i) と空間相関を持つ変種）、証明されたビット連続（ジャンプなし）の平均と NEES χ² 整合性ゲートを備えた光学↔RF の状態／共分散ハンドオフ、そして相関の扱いを含む結合スコア P(可用かつ精密グレードかつインテグリティ保証)。VALIDATED の閉形式：測距 CRLB、回折フットプリント、χ² 保護レベル分位点、和集合の組合せ論、ハンドオフの平均連続性＋NEES ゲート、そして結合の独立積。MODELLED：光学損失の配分、RF／光学の σ の大きさ、雲気候値の入力、相関、P_HMI バジェット。認証を受けた可用性／インテグリティ製品ではありません。
52	`cislunar-observability`	MODELLEDの、平面の地球・月間空間（シスルナー）コンステレーションの可観測性（P6）：衛星間レンジングを用いて、微分補正した四機の平面DROコンステレーションを追尾し、弧によって宇宙機の四状態[x,y,ẋ,ẏ]のどこまでが可観測になるかを報告します。出力は、(1)単一のレンジのみのリンクについてのランクと弧長の表（瞬時にはランク1で、弧が延びるにつれて四状態の全体に向かって増加：P6 Table 1）、(2)弧にわたる可観測性グラミアンの固有スペクトルと条件数、(3)レンジのみとレンジ＋レンジレートの瞬時ランクの比較（ドップラーという設計上の手段）と、レンジのみでは特異、レンジ＋レートでは定義されるGDOPの報告、(4)可観測ランクが四に達する弧のところで、事後共分散が有限かつ良条件になる、独立したSRIFのクロスバリデーションです。VALIDATEDの中核：可観測ランクは、グラミアンの固有ランクとクロスチェックされた、ランクを明らかにする特異値しきい値です。固有スペクトルはスペクトル不変量（trace=Σλ、det=Πλ、Frobenius²=Σλ²）に従います。変分STMは、有限差分で照合済みのCR3BP STMです。レンジ／レンジレートのヤコビアン行は、有限差分で照合済みの解析的な偏導関数です（クレートの3-Dレンジレート観測量とクロスチェック）。四つの初期条件は、微分補正した平面DROで、厳密な周期性残差まで閉じ、逆行です。ランクの遷移は、クレートの平方根情報フィルターとクロスバリデーションされています（完全ランクのところで事後共分散が有限、cond(P)=cond(OᵀO)）。ランク不足のスナップショットはGDOP未定義（fim condition=inf）と表示され、でたらめな有限値になることはありません。これはpvt::solve_sppが適用する、特異な幾何に対するガードと同じです。MODELLED：コンステレーションの設計（DROのペリルーン振幅と位相）と、それが生む具体的なランクの推移。認証を受けた航法性能製品ではありません。
53	`conflict-resilience`	MODELLEDの、階層型PNTの紛争下レジリエンス（P7）：係争環境のユーザーが複数のPNTレイヤー（オープンサービスのGNSS、広帯域GNSS、認証付きコンステレーション、補強中継機）を使い、各レイヤーには基本の可用性、1σ の精度、および共有されるジャミング／スプーフィングの脅威に対するベクトルごとの拒否脆弱性があります。強度をスイープするシード付きのモンテカルロが、各レイヤーを確率clamp(vulnerability·intensity·vector_weight,0,1)で拒否し、生き残ったものを閉形式の逆分散則 σ_fused=(Σ 1/σ_i²)^(−1/2)で融合し、全損失確率（すべてのレイヤーが拒否される確率）、融合誤差の中央値、強度に対するレイヤーごとの利用可能／拒否の統計を報告します。代表的なレジリエンス比（単一レイヤーと階層型の全損失確率の比）は、独立性の仮定のもとで~7x程度になります。次に、一因子ガウス・コピュラによる相関拒否のスイープを行うと、拒否の相関が高まるにつれてその~7xが1に向かって崩れることが示されます（相関は階層化を無力にします）。事前分布の感度ブロックは、mcdaのトルネード図、ディリクレ分布による脅威労力の再配分、パーセンタイル信頼区間によって、出典付きの脆弱性の事前分布にわたって代表値の範囲を求めます。VALIDATEDの中核：モンテカルロの全損失は、閉形式の独立積 Π_i p_deny_iに収束します（固定シードかつ大きなNでの、モンテカルロの標準誤差の範囲内）。逆分散融合は閉形式の恒等式です。ρ=0ではコピュラは独立モデルに帰着し、どの ρ でも各レイヤーの周辺拒否率が保たれます。MODELLED：レイヤーごとの脆弱性／可用性／精度の大きさは、出典はあるがモデルから計算した入力であり（JammerTest 2024、TEXBAT、EASA SIB、RTCA DO-229、LunaNet/IOAG — conflict_threat_paramsを参照）、具体的な~7xという大きさと、比と相関の曲線の形は、このパラメーター設定から導かれます。続く §4.2のベクトルごとの生存の内訳は、共有されるRFの脅威を、名前付きの四つのベクトル（ジャミング／スプーフィング／運動エネルギー／サイバー）に分解し、各ベクトルについて、利用可能なPNTの段階的劣化曲線S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0,1)))を報告します。VALIDATED：シード付きのレイヤーごとのモンテカルロはその閉形式に収束します。相関のあるRFベースラインでは、ジャミングが最も鋭いベクトルであり、RFの影響を受けない慣性レイヤーが決定的な生き残りです。認証を受けた航法可用性の製品ではありません。
54	`lunar-attack-surface`	月面航法の信号セキュリティの攻撃対象領域（P1）：公開されている信号セキュリティ解析を、バイナリから到達可能な一回の実行にまとめます。報告するのは、（1）AFS の受信電力と、地上の GPS 基準に対するその電力の余剰、さらに、リンク入力（基準レベル x EIRP x 斜距離）にわたる本格的な多軸掃引としての 12-18 dB の感度帯域と、25 倍に丸めた値 / 28 倍に丸めない値の線形係数の整合です。改訂（規則 R4）：GPS 基準が -125 / -128.5（これらは dBm の値）から -155 / -158.5 dBW、すなわちジャミングモジュールがこれまで一貫して保持してきた ICD-GPS-200 の値に訂正されるまで、これは 15.6 dB の電力不足と 32 倍 / 36 倍の係数を報告していました。符号は反転します。モデル化した月面 AFS 信号は、地上の GPS L1 C/A より 14.4 dB 強く、弱くはありません。受信電力そのものは一ビットも動いておらず、線形係数は旧値をちょうど 1000 で割ったもので、これはちょうど 30 dB の dBm から dBW へのオフセットに相当します。（2）各スタンドオフでスプーフィング（J/S = 3 dB）と妨害（J/S = 30 dB）に必要な攻撃者の送信電力。これは J/S リンクの逆です。（3）実際の一様開口アンテナパターン（Airy [2 J1(x)/x]^2）の下での軌道上の捕捉フットプリント。高度に制限された半球未満のキャップであり、その縁は捕捉されません。（4）理想として主張した 3 dB のしきい値ではなく、計算したトラッキングループのスプーフィング捕捉プルインの結果（一致するコードのスプーファーが、与えられた電力優位とコードオフセットで、実際に DLL/PLL を引きずるか）。（5）持ち上げた地表送信機の、大気のない天体における幾何学的な地平線到達距離。（6）OSNMA/TESLA の認証バジェット（20 bit/s のオーバーヘッド = 50 bit/s の AFS 航法メッセージの約 40 %、鍵開示の遅延、2^-40 の偽造）。本文が空の場合は P1 のベースラインを再現します。すべての入力には既定値があり、上書きできます。VALIDATED の副次的な結果は、出典モジュールのオラクルを引き継ぎます（閉形式の dB 無線測定、逆 J/S の往復、Airy パターンと A&S のベッセル関数および球冠ジオメトリの比較、DLL/PLL のプルインと Kaplan & Hegarty の比較、球の接線による地平線の恒等式と eo_payload の比較、OSNMA SIS-ICD のフィールドサイズ）。MODELLED：代表的なジオメトリと電力の大きさ、および具体的な捕捉マップのセルの値。認証済みのセキュリティ製品ではありません。
55	`realtime-frame-eop`	リアルタイムの月フレーム・地球姿勢の予測バジェット：P4 表 1（フレーム誤差の整合性チェック — 後処理 ~0.27 m ↔ ~0.010 ms とリアルタイム ~15 m ↔ ~0.5 ms。各フレーム位置を L19 のレバーアーム Δr = D_EM·ω⊕·ΔUT1 により等価な UT1 誤差として表現）と表 2（予測期間に対する UT1 予測誤差の実測 — 実際の IERS finals2000A 系列から直接読み取った L18 の曲線。Bulletin A − Bulletin B の最終フロアと複数日の持続予測器の誤差を、それぞれ L19 で月フレームの位置に変換）、さらに L21 の二乗和平方根によるリアルタイムのフレーム誤差バジェット（EOP＋エフェメリス＋実現フロア）です。閉形式（L19 のレバーアーム、ω⊕ は CIO の地球自転角と相互確認）は VALIDATED、実データ（実際の finals2000A の行から読み取った L18 曲線）も VALIDATED です。MODELLED は、月リレーの OD 共分散の大きさとフレーム実現フロア（代表的な配分）、および持続予測器（IERS の運用用 Bulletin A のアルゴリズムではありません）です。認証を受けたリアルタイムのフレーム製品ではありません。
56	`aperture-duty-cycle`	アパーチャのデューティサイクル：コンタクト計画が、可動アパーチャのプールに対して暗黙のうちに定める、航法と通信の時間配分。コンタクト計画（`[[contacts]]`のaos_s/los_sウィンドウのリスト。各ウィンドウは航法または通信を要求し、`passes`予測器が出力するものと同じaos_s/los_sの語彙を使います）、アパーチャの数、調停ポリシー（既定は航法優先、または通信優先、または非プリエンプティブな先着順）を受け取り、航法デューティ、通信デューティ、アイドルデューティ、およびセッションごとの途切れ（セッションが要求したが、どのアパーチャも対応しなかったコンタクト時間）を報告します。ウィンドウ境界に対する厳密な区間スイープにより、接するウィンドウは競合せず、アパーチャ秒が二重に数えられることはありません。航法、通信、アイドルのアパーチャ秒は独立に累積され、apertures*horizon_sに対して閉じます。レポートには、解決された調停ポリシーとその完全な定義、およびデューティと途切れの定義を明記します。調停ポリシーなしで引用されたデューティの数値は再現できないためです。MODELLEDのスケジューリング演算：アパーチャがサービスやセッションを切り替える際のスルー、再同調、切替の時間は計上されず、データ量、バッファ状態、エネルギー収支、リンクの成立は判断に影響せず、コンタクトウィンドウは入力であり、その幾何はそれを生成したものに依存します。地上セグメントのスケジューリング製品ではありません。
57	`lunar-jamming`	月固有の RF ジャミング：例示的で公開情報に基づく Moonlight/LCNS クラスの月周回コンステレーションの上で、月面（または高い位置）のジャマーの下にある月面座標のユーザーについての、衛星ごとのジャマー対信号比、実効 C/N₀、ロックの喪失。既存のオープンなジャミング物理（jamming::j_over_s_db、effective_cn0_dbhz、rx_antenna_gain_db、lock_status、q_factor）と、既存の月の空のジオメトリ（lunar_service::LunarConstellation + topocentric、lunar::selenographic_to_mcmf）を組み合わせます。ジオメトリや無線測定を再導出することはありません。地球の `jamming` 種別とは異なり、信号の側は固定の受信電力ではありません。各衛星の等方受信電力は、それ自身のリンクバジェットの EIRP − FSPL（斜距離）であるため、J/S は月の距離と仰角に応じて衛星ごとに変わります。可視な（エポック、衛星）リンクごとに一行を報告します — 方位角、仰角、斜距離、J/S がその差となる二つの受信電力、J/S、公称と実効の C/N₀、ロックの状態 — さらに、その表の代わりにではなく、その表に並べて集約した性能指標と、同じ表を CSV 成果物として。出力されるすべての数値フィールドは、単位と出所の区分を持ちます。VALIDATED の副次的な結果は、出典モジュールのオラクルを引き継ぎます（Kaplan & Hegarty の §9.4 の耐ジャミング方程式と J/S リンク。tests/gnss_denied_jamming_resilience_reference.rs で外部参照されています。lunar_service の月のジオメトリ）。構成そのものは、独立した二つのリンクバジェットの経路（linkbudget::received_signal_power_dbw、異なる自由空間損失の式）と 1e-9 dB まで照合されています。MODELLED：例示的なコンステレーション、代表的な EIRP / ジャマー電力 / アンテナ利得 / 雑音温度、そして地形による遮蔽、マルチパス、AGC の動特性、適応ヌル形成がないこと。認証済みのサービス拒否製品ではありません。ジャマーを設定すると、レポートには、一つのスカラーから読み取った等値線ではなく、不確かさの帯を持つ拒否等値線も含まれます。具体的には、衛星ごとの表にわたる、測定された目的信号の C/N₀ 分布全体（n、最小値、p05、p25、中央値、p75、p95、最大値、平均、標本標準偏差、標本自身の非対称性）と、それらの各順序統計量で評価した等値線を、エンジンが認める拒否基準の両方のもとで示します。従来からの電力比基準（J/S = 30 dB、attack-surface と tracking-loop と同じ）と、ロック喪失基準（実効 C/N₀ が tracking_threshold_dbhz まで低下すること。このレポート自身のステータス列が使う基準）で、拒否平面の両方の軸（シナリオのスタンドオフで必要なジャマー EIRP、シナリオの EIRP での拒否スタンドオフ）について評価します。帯の端は contour(p05) と contour(p95) であり、標本自身の分位数に適用した同じ閉形式の写像です。標本に当てはめたシグマでも、中央値 ± k·標準偏差でもなく、標準偏差は連続性のために出力されますが、何にも使われません。追跡しきい値以下にすでにある分位数には、有限の拒否 J/S が存在せず、そのロック喪失の列は、数えた理由とともに null となり、切り詰めた半径が出ることはありません。
58	`ins-trn-coast`	INS/TRN 慣性航行誤差モデル：慣性航行時間に対する位置誤差を、想定したドリフト率を掃引するのではなく、IMU 係数から構築します。五つの増大要因 — 加速度計バイアス、重力を介したジャイロバイアスの傾き、速度ランダムウォーク、角度ランダムウォーク、走行距離に対するスケールファクター — を、それぞれ指定した緯度と高度で Schuler フィードバックを持つ九状態のローカルレベル慣性誤差モデルに通して伝搬し（短い慣性航行での先頭次数の法則 t²、t³、t^1.5、t^2.5、t¹/t² を併せて報告します）、明示した規則で合成します（既定は二乗和平方根、または線形和、または決定論的和と確率的 rss；三つすべてを毎回計算するため、選択が埋もれずに見えます）。呼び出し側が与える位置しきい値（既定では10 m と50 m）に達する慣性航行時間は、エンジン既存の二分法で求め、それぞれに支配的な要因を示す要因別内訳を付け、各要因単独の交差も代数的に反転して二つが一致するようにしています。地形参照航法モードでは、定期的な位置フィックスで慣性航行を抑え、各しきい値を保てる最大のフィックス間隔を報告します；位置のみのフィックスはフィックスをまたいで速度誤差と傾きを残すため、どのフィックス頻度でも常に慣性航行を抑えられるとは限らず、報告はゼロを返すのではなくその旨を述べます。MODELLED：IMU クラスの係数は代表的な帯域の値であって、データシートではなく、地形フィックスの残差は入力です。到達しないしきい値は、ゼロではなく、ステータス付きの null として報告します。認証を受けた慣性航法の性能製品ではありません。
59	`lunar-vlbi-fim`	月VLBI局座標の共分散：lunar-vlbi 観測量の遅延偏微分を、明示的なスケジュール（基線 x エポック）にわたって積算してフィッシャー情報行列とし、これを逆行列にして、局座標の共分散と座標ごとの局 sigma として報告します。これは、想定した等方的な g = 3 の等分配係数にスカラーの遅延精密度を通して得る値ではなく、エンジンが計算した出力です。状態は地球固定（ITRS）の局座標を持つため、ヤコビアンは慣性系の偏微分を各エポックの GCRS->ITRS 行列で回転したものになります。これらの座標を観測可能にするのは地球の自転であり、レポートは地球固定の視線方向の掃引とビーコンの赤緯を、仮定せずに測定します。一つの観測は、両方の局が仰角マスクより上にある一組の（基線、エポック）で、重みは 1/delay_sigma_s^2 です。ランク、データム欠損、条件数、情報スペクトル全体、共分散行列、局ごと・軸ごとおよび3次元の sigma、自由網のヌル空間を、すべての実行で報告します。ランク落ちの場合、見出しの sigma は、ほぼ特異な逆行列から読み出さず、ステータス付きの NULL として公表します。同じスケジュールに対する等分配値 cdelay_sigma_ssqrt(g/N) は、計算値の横に比率とともに出力され、AM-HM により厳密な下限となる等方的トレース境界 sqrt(p/trace(M)) も併せて示します。したがって、この比率は、その仮定が捨てた異方性にあたります。遅延の閉包 tau_ik = tau_ij + tau_jk により、n(n-1)/2 本の基線のうち幾何学的に独立なのは n-1 本だけです。レポートは両方の本数を示します。MODELLED：月中心のエフェメリス、局の時計、対流圏、地球姿勢パラメーターは固定され、観測は独立として扱われます。そのため共分散は、縮小したパラメーター集合に対するクラメル・ラオ限界であり、セッション結果の予測ではありません。遅延 sigma、局座標、スケジュールは入力です。幾何学的遅延のヤコビアンが含まない偏微分（差分したシャピロ項）は、有限差分で測定して出力します。測地学の成果物ではありません。
60	`tracking-loop`	追尾ループのロスオブロック：C/N0 からヒステリシス付きのロック/アンロック、ロック喪失までの時間、そしてコードと搬送波のオフセットレートの関数としてのスプーフィングのプルインを扱います。エンジンの既存の妨害と捕捉の基準は受信電力の比です（ジャマーは J/S = 30 dB で妨害し、スプーファーは 3 dB で捕捉します）が、実際のロス・オブ・ロックは電力比ではなく、ループのジッターに動的ストレスを加えると追尾しきい値のバジェットを超える点です。報告するのは次のとおりです。(1) 搬送波（Costas）とコード（非コヒーレント early/late）の 1-sigma 熱ジッターを C/N0 に対して示したもの（二乗損失を含む）。規定の規則 3sigma_PLL + theta_e <= 45 deg（15度ルールの三シグマ形式）および 3sigma_DLL + ramp lag <= d/2 chips と比較します。(2) 支配的なループを名指しした、ドロップとリロックの C/N0 しきい値。リロックのしきい値は、受信機が再プルインする際のより広い帯域幅から導出したものであり、断定したものではないため、ヒステリシス幅は 5log10(ratio) から 10log10(ratio) dB の間に入らなければなりません。(3) C/N0 のランプで駆動した、確認用の滞留時間を持つ二しきい値ロック検出器による、宣言されたロック喪失までの時間。これは物理的な位相脱出時間（サイクルスリップ間のビタビ平均時間。数百桁にわたるため log10 s で表します）とは別に報告します。(4) スプーフィングのプルイン限界：被害側のループが追従できるコードスルーと搬送波ドップラーレートの最大値を、両軸にわたるマップとともに示します。これは、それより速くスルーするスプーファーはループを捕捉せず、振り切ってしまうためです。(5) ループ動力学が示す妨害半径。既存の電力比による半径の代わりではなく、それと併せて報告し、両者の符号付きの差を独自の名前付きフィールド（denial_radius_delta_km）として、その定義を添えて示します。出力される数値フィールドにはすべて単位と出典の区分が付きます。VALIDATED な閉形式：搬送波とコードのジッター式、ループフィルタの縮約 sqrt(2B_nT)、一次のランプ遅れは、シード付きの合成 IF 上で先へ進めたエンジン自身の sdr コリレーターと照合しており（同じ数値に至る別の経路）、それぞれ 0.6 %、3.7 %、0.17 % 以内で一致します。サイクルスリップ時間の背後にある修正ベッセル関数 I0 は、標準の表の値と 1e-7 まで一致します。有効範囲の下限は、単に述べるだけでなく、表明しています：1 ms で約 32 dB-Hz を下回ると、実際の atan 弁別器は +-pi/2 の範囲で飽和し、どの線形理論よりも小さいジッターを測定します。MODELLED：ループ帯域幅、積分時間、コリレーター間隔、プルイン帯域幅比、確認用の滞留時間、ジャマー電力、アンテナ利得は、データシートの値ではなく、バンドの代表的な数値です。モデル化していないもの：発振器（アラン偏差）と振動によるジッター、フロントエンドの帯域制限、マルチパス、AGC の動特性、データビット遷移損失、外部アイディング、Costas のサイクルスリップ式に対する半サイクル補正。ループ動力学のもとではスプーフィングの捕捉に半径はまったくなく、支配的な制約は電力ではなくオフセットレートであるため、そのフィールドは数値をでっち上げず、理由を添えた null になります。認証を受けた受信機の性能製品ではありません。
61	`araim-reference-check`	公開されたARAIM認証用の参照ベクトル：エンジンのARAIMの水平・垂直保護レベルを、WG-C ARAIM Technical Subgroup自身の数値例に対して、それらの文書自身が示す許容差（TOL_PL = 5e-2 m）で実行します。二つのベクトルがフィクスチャとしてコミットされており、それぞれに取得URL、取得日、ソースファイルのSHA-256、ページが付いています。Reference Airborne Algorithm Description Document v3.1（2019）のAppendix D（自己整合しており、受け入れ用のベクトル）と、Milestone 3 Report（2016）のAnnex A section A.IX（研究の文献リストが引用する記述）です。公開されているすべての入力（10機の衛星、2コンステレーションの幾何行列、C_intとC_accの分散の対角成分、b_nom、P_sat、P_const、LPV-200の定数セット）と、公開されているすべての出力（VPL、HPL、EMT、sigma_v_acc、K_fa_3、および二つのコンステレーション故障モードのsigma_3、sigma_ss_3、b_3）は、エンジン自身の数値およびそれらの絶対差とともに報告されます。保護レベルの方程式はここで解き直すことはありません。参照のモードリストをエンジンの既存のraim::araim_protection_level / araim_integrity_riskに渡しているため、試験対象の二分法とガウス裾の代数はエンジン自身のものです。幾何、部分解、検出しきい値、公開された予算配分だけが、そのために構築されています。2019のベクトルに対して外部で確認済み：VPL 18.2926 mに対し公開値18.3 m、HPL 13.4063 mに対し13.45 m、EMT 7.2997 mに対し7.2998 m、sigma_v_acc 1.3694 mに対し1.3694 m、そして公開されている六つの中間値はすべて、最後に印字された小数桁の半単位以内です。2016のベクトルには、報告書が隠さず明記している内部の欠陥が二つあります。Gの行3の符号の誤植と、文書がN_fault_max = 1（12モード）と述べているのに57の故障モードで評価されたK_fa_3です。そのため、幾何の中間値は正確に再現される一方、保護レベルは測定された不一致として報告され、受け入れの数値からは除外されます。これらを吸収するために許容差が広げられることはありません。出力されるすべての数値フィールドには単位と出所の区分が付き、転記した数値には`published`のラベルが付くため、計算値と取り違えることはありません。適用範囲：実装されているのはN_fault_max = 1（単一衛星および単一コンステレーションの故障モード）のみで、事前確率が複数事象の同時故障の部分集合を必要とするケースは、黙って切り捨てるのではなくREFUSEDとします。参照アルゴリズムの故障検出、除外、カイ二乗整合性チェック、二重計上の再配分ステップは対象外です。これは公開された参照アルゴリズムの数値例を再現するものであり、認証、耐空性に関する成果物、承認ではありません。
62	`lunar-frame-campaign`	注入した変換ではなく、シミュレートした観測キャンペーンによって駆動される、七パラメーターの Helmert（相似）座標系データム。地上局のネットワークが、明示したスケジュールに従って月面ビーコンのカタログを観測します。月 VLBI の遅延偏微分はそのスケジュールにわたって蓄積され、lunar-vlbi-fim とまったく同様にビーコン座標のフィッシャー情報行列になります。その情報は、カタログ点での Helmert の計画行列 A = [I3 \| [p]_x \| p] を通して、データム共分散 H = A^T M_b A に伝搬され、crate::fim::crlb で診断されます。変換は一切注入されず、仕込んだ答えから回復されるものも何もないため、報告されるデータム精度は観測計画から導かれます。遅延のシグマを半分にすれば、精度はちょうど半分になり、弧を長くすれば精度が向上します。これは、レポートが測定する秤動（sub_earth_direction_sweep_deg）が、視線方向のビーコン座標を天球面内のものから切り離すためです。ランク、データムの欠損、条件数、スペクトル全体、七パラメーターの基底における観測不能な方向、フルランクでも最も弱い方向、およびその方向への各パラメーターの寄与は、すべての実行で出力されます。キャンペーンが拘束しないパラメーターは、ほぼ特異な逆行列から読み出されることはなく、ステータス付きで NULL として公開されます。ビーコン誤差の相関は、仮定されるのではなく、測定されます。局を固定した場合、どの観測も二つのビーコンに関わらないため、情報行列は厳密にブロック対角になります（offblock_fraction 0）。局を推定する場合は、シューア補元で周辺化したブロックが結合し、誘起された相関が表示され、それを捨てて伝搬全体が再実行されるので、独立性の仮定の代償は数値として得られます。等方的な座標ごとのシグマの下での同じ伝搬と、lunar-frame-realisation シナリオが報告する回復誤差は、どちらもここで実行され、キャンペーンの値と並べて、その比とともに表示されます。MODELLED：ビーコンのカタログは出典付きですが、キャンペーンはシミュレートです。局のネットワークと遅延のシグマは例示的な入力であり、個々の遅延観測は独立として扱われ、月中心のエフェメリス、局のクロック、対流圏、地球姿勢パラメーターは固定されるため、データム共分散は、縮約したパラメーター集合に対するクラメール・ラオ限界です。測地学的な成果物ではありません。
63	`lunar-llr-datum`	シミュレートしたものではなく、実際にアーカイブされた観測キャンペーンによって駆動される、七パラメーターの Helmert 月面座標系データム。lunar-frame-campaign は注入した変換を取り除きましたが、局のネットワーク、スケジュール、観測ごとのシグマはILLUSTRATIVEな入力として明示していました。この種別は、その三つすべてを測定から取ります。エポックは、アーカイブされた ILRS Consolidated Laser Ranging Data のノーマルポイントの地上送信時刻、観測は月面の五つのレトロリフレクターアレイに実際に発射されたレーザー測距、そしてすべての観測の重みは、そのノーマルポイント自身がファイルに記録している精度 bin_rms/sqrt(n_raw) です。局座標は IERS ITRF2020 の SLR 解（公表された速度でエポックまで伝搬）から、リフレクター座標は、IAU 2015 WGCCRE モデルが実現する平均地球 / 平均自転座標系での JPL DE430 の Table 7 から得ています。測距の偏微分は、リフレクター座標の結合したフィッシャー情報行列に蓄積され、同じ Helmert の計画行列を通してデータム共分散に伝搬され、crate::fim::crlb で診断されます。ランク、欠損、条件、スペクトル、七パラメーターの基底における観測不能な方向、フルランクでの最も弱い方向、およびその方向への各パラメーターの寄与は、すべての実行で出力され、拘束されないパラメーターはステータス付きで NULL として公開されます。アレイ間の相関は、仮定されるのではなく、ちょうどゼロで MEASURED です。レーザー測距は一つのアレイにしか関わらないためです。カタログが位置を決められない記録 — 公表された ITRF 位置のない局 — は、スキップされて数えられ、代用の座標が与えられることはありません。どのリンクが MEASURED で、どのリンクが MODELLED であるかが、レポートそのものであり、脚注ではありません：月中心のエフェメリスと IAU の天体姿勢はモデルから計算したままで、その合成した大きさは、使用したすべての点にわたる、観測値から計算値を引いた片道の距離残差として出力されます。対流圏、固体潮汐、局の偏心、極運動、UT1-UTC、相対論的遅延、局のクロックは含まれず、その残差の内側にあります。エフェメリスの誤差は、各視線方向を通してのみ共分散に届くため、すべての実行は、すべての偏微分を sensitivity_tilt_deg（符号は交互）だけ傾けてデータム全体を再び解き、その比を出力します。したがって、モデルから計算したエフェメリスに対する共分散の鈍感さは、議論ではなく数値です。シミュレートしたキャンペーン自身の数値は、転記されるのではなく、実行されて、測定された数値と並べて表示されます。MODELLED：七パラメーターの数値は、実際のスケジュール上の縮約したパラメーター集合に対するクラメール・ラオ限界であり、解いたデータムでも、LLR の解析でも、測地学的な成果物でもありません。コミット済みの実データのスライスはリポジトリに同梱されていますが、公開されたクレートには含まれません。data_dir をそのコピーに向けてください。
64	`lunar-beacon`	月周回の航法サービスに対する地表ビーコンによる補強を、実行可能な前後比較の表として示します。南極域のユーザーには、まばらな周回衛星の集合が空の狭い領域に見えるため、測距ジオメトリは悪条件になります。少数の測量済みの地表ビーコンが、すべて頭上にある集合には欠けている、低仰角で広い方位角の視線方向の行を補い、水平方向の精度低下率は大きく低下します。このシナリオは一つのエポックにおける三つの構成を報告します。衛星のみ、衛星と可視ビーコン、そして同じジオメトリに至る別の経路としてのより大きなコンステレーションです。それぞれに、可視ソースの数、完全な DOP、そして、クロック同期、マルチパス、測量の各項の二乗和平方根として組み立てたビーコンごとのユーザー等価測距誤差を掛け合わせて得られる、メートル単位の実現 1 シグマ精度が付きます。ビーコンの可視性は大気のない月における二つの高度での幾何学的な地平線です（大気がないため、境界は厳密です）。DOP の組み立ては、tests/dop_reference.rs で gnss_lib_py とクロスチェックしているものと同じカーネルです。この種別が存在する理由：その背後にあるモジュールは L08/L09 以来エンジンに入っており、独立した DOP の経路と照合されていましたが、実行から到達できませんでした -- 種別も、ディスパッチの分岐も、同梱ファイルもありませんでした。README はこの機能をうたっていましたが、検証マトリクスにはその行がまったくなく、そのため散文では主張されながら台帳では主張されておらず、しかもエンジンからは到達できませんでした。既定値は、すでにコミット済みのゴールデンを持つジオメトリです（-80 度のユーザーに 2 m のアンテナ、-80/0、-79/+60、-79/-60 の三つのビーコン（2 km）、t=0 における六機の例示的な LCNS スナップショット、5 度のマスク）。そのため、何も指定しない実行は、新しい数値を作り出すのではなく、オラクルがすでにカバーしている表を再現します。MODELLED：コンステレーション設計、ビーコンの配置、およびすべての誤差バジェットの大きさは例示的な入力であり、実際に運用されている測量や測定されたリンクではありません。外部に裏付けられているのは、DOP の演算、地平線の閉形式、シグマ = DOP x sigma_URE の関係のみです。サービス性能の確約ではありません。
65	`earth-gnss-lunar`	月までの距離での地球GNSSの受信：コンフリクトレジリエンス論文が挙げているものの、エンジンにはモデルがなかった微弱信号レイヤーです。GNSS衛星はアンテナを地球に向けており、月の近くにいる受信機は軌道半径の約十五倍の距離にいるため、三つのことが同時に効いてきます。地球がボアサイトを遮ります：26,560 kmからは地球が13.9 degの半角で見えるため、月に向かう光線はどれも、少なくともそれだけ天底からずれて送信機を離れる必要があり、電力を計算する前にビームのピークが取り除かれます。残るのはメインローブの縁とサイドローブであり、LuGREペイロードが2025年に実際に動作したのはこの領域です。さらに、自由空間損失はL1で約208 dBであり、地上のユーザーが払うより約25 dB大きくなります。レポートは衛星ごとに一行（天底からの角度、地球による掩蔽、距離、経路損失、その角度での送信ゲイン、受信電力、搬送波対雑音密度）を出力し、追尾しきい値を超えるリンクだけを集計します。条件数（コンディショニング）も報告します。それがこのレイヤーを特徴づけるからです。見えている衛星はすべて、月から見て数度幅の円錐の内側にあるため、視線はほぼ平行で、DOP（精度低下率）は極めて大きく、月までの距離での地球GNSSによる測位解は、位置の観測というよりタイミング級の観測です。MODELLEDであり、その理由は送信パターンです：角度に対するゲインは一様な円形開口（エアリー）ですが、実際のGPS L1アンテナは、成形されたメインローブと非エアリーのサイドローブを持つ十二素子のヘリカルアレイです。実測のパターンは存在しますが、ここには同梱されていないため、順序や桁は意味を持つものの、個々の衛星のdBは意味を持ちません。意図的に含まれていないもの（いずれも、バジェットを楽観的にします）：地球の縁をかすめる光線に対する電離圏や対流圏の損失はなく、偏波、指向、実装の損失もなく、屈折による拡張のない球形の地球です。月の位置はエフェメリスの参照ではなく入力（距離と慣性方向）です。試験の対象はリンクとビームの幾何だからです。この行を、独立した外部の参照と照合して確認済みに格上げするには、実測の送信パターンとLuGREの標準点が必要ですが、どちらもリポジトリにはなく、ここで作り出してもいません。
66	`lunar-infrastructure`	航法・測地インフラとしての月の軌道と表面の MODELLED の研究。`study` で選択する一つの種別の下に五つの研究があります：od-consistency（NRHO または ELFO における搭載の地球 GNSS による軌道決定を、独立した地上電波計測による軌道決定と、シード付きモンテカルロにわたるそれぞれの共分散で判定）、carrier-phase（LAMBDA による、地表と周回機の結合した二重差の搬送波位相と整数値バイアスの決定）、frame-coestimation（七パラメーターの月面座標系データムのための、地球局測距への地表局と周回機の追加）、space-tie（一機の宇宙機上の GNSS、VLBI、レーザー測距で、座標系の結び付けの精度をローカルタイの誤差と比較）、geodesy-sensitivity（レーザー測距、周回機の追跡、地表重力計、地表クロックからの、月のラブ数 h2、k2、l2 と物理秤動のフィッシャー情報）。明示した単純化を伴う制限三体モデルです。数値計算は独立したプログラムと照合されており、月の量の測定値との比較は一切ありません。
67	`cislunar-arc-recovery`	地球・月間空間（シスルナー）の弧長可観測性しきい値に対する、MODELLEDの独立推定器テスト。そのしきい値は、解析的なレンジのヤコビアン行と解析的な変分状態遷移行列から組み立てた可観測性行列に対するランクの読み取りであり、その平方根情報フィルターによるクロスチェックも同じ行を畳み込むため、二つの数値計算機構の間の整合性チェックであって、裏付けではありません。この種類は欠けている裁定役を提供します。シミュレートした測定からチーフの初期状態を実際に回復するバッチ最小二乗推定器で、測定の偏導関数は、合成した順方向モデルの中心有限差分として求めます。解析的なヤコビアン行、変分STM、特異値分解や固有値分解、ランクの許容差、平方根情報フィルターは一切呼び出しません。tests/cislunar_arc_recovery_reference.rsのソーステキストガードによってこれが強制されます。一方、力学（同じRK4のCR3BPフロー）、初期条件（同じ微分補正済みコンステレーション）、スカラー観測量、エポックグリッドは意図的に共有され、出力される`independence`ブロックに明記されます。一つの物理問題に対する二つの解析は、比較できるようにするため、その物理について一致していなければならないからです。二つの基準があり、それぞれが固有の境界に対して五桁にわたってスイープされます。ノイズなし回復（シード付きの各試行の最終状態誤差が、事前の変位のrecovery_factor倍以下。特異値の許容差を含まない、ランクの類似物）と、モンテカルロの推定可能性（シード付きのノイズアンサンブルでのMEASUREDRMS位置誤差が、示された境界を下回ること。予測ではなくMEASUREDした、推定可能性の類似物）です。平面の四状態と空間の六状態、DRO／L2ハロー／L2 NRHOのファミリー、レンジとレンジレートの観測量、および月中心の極座標によるパラメーター化（変換を状態に適用し、順方向モデルをそこで再微分）に対応します。公開された平面DROグリッドでの実測：推定器は四状態を0.782609 hから回復するのに対し、ランク基準はrel_tol 1e-6で2.086957 hです（比0.375）。ランクのしきい値は、回復可能性の境界としては裏付けられていません。一方、実測した推定可能性の境界は、形式的な境界5.739130 hと同じグリッドセルに入り、実測した誤差曲線は、21個の弧長にわたって形式的な1シグマを、幾何平均比0.98で再現します。MODELLED：コンステレーションの設計、エポックグリッド、追尾する単一のリンク、変位の大きさ、測定のシグマ、示された二つの境界。認証を受けた航法性能製品ではありません。
68	`telecom-timing`	通信タイミング：GNSS ホールドオーバーの時刻誤差、最大時間間隔誤差（MTIE）、時間偏差（TDEV）を ITU-T マスクに照らして確認し、マスクごとに PASS または FAIL とマージンを出します。入力は、合成ホールドオーバー（発振器プリセット -- ocxo、rubidium、caesium、csac のいずれかで、それぞれ名前の付いた公開 Microchip データシートの安定度、エージング、温度の数値を持つ -- に、GNSS 喪失時間、記録長、サンプル間隔を加えたもの。自走クロックは、ホワイト周波数雑音、フリッカー周波数雑音、データシートへのフィッティングに必要な場合はランダムウォーク周波数雑音、線形エージング、正弦波状の温度項を持ちます）か、インラインで与える [time_s, time_error_ns] の組の取り込み系列（ネイティブビルドに限り CSV ファイルも可）のいずれかです。マスク：ITU-T G.8272（07/2025）PRTC-A と PRTC-B（max\|TE\| はそれぞれ 100 / 40 ns、MTIE は表 1-2、TDEV は表 3-4）、G.8272.1（2024）Amd. 1（07/2025）の ePRTC ロック時（30 ns、表 1-2）と ePRTC-A ホールドオーバー（ロック期間で決まるホールドオーバー期間 H の間に 30 ns から 100 ns へ上昇する表 3 の時刻誤差エンベロープ、MTIE は表 4、TDEV は表 5）、G.8273.2（2023）Amd. 2（11/2025）の T-BC/T-TSC クラス A-C（max\|TE\|、定常時刻誤差、ローパスフィルタ後の MTIE と TDEV）とクラス D（max\|TE_L\| 5 ns。今後の検討に残されていないクラス D の数値はこれだけ）、G.8271.1（2022）Amd. 3（05/2025）の基準点 C（max\|TE_L\| 1100 / 600 / 100 ns と、MTIE の表 7-1 から 7-3）。勧告が今後の検討としているエントリーは、埋め合わせずに含めておらず、各レポートは未実装の項目を一覧にします。また、各最大時刻誤差バジェットを超えるまでの時間（既定値：ePRTC の max\|TE_HO\| 100 ns、ネットワークホールドオーバー割当 400 ns、基準点 C 1100 ns、クラス 4 の 1.5 us）、各マスクの限界値を付けた CSV 表としての MTIE/TDEV 曲線、数値フィールドごとの単位と出典のエントリーも報告します。VALIDATED：コミット済みのホールドオーバー系列に対する、allantools パッケージとの MTIE および TDEV 推定器の照合。MODELLED：マスク表は転記したものであり、合成ホールドオーバーはデータシートの最大値から作ったモデルで、いかなる機器の測定でもありません。適合性試験ではありません。
69	`slot-timing`	スロットタイミング：自由走行する時計が、時刻で割り当てられたルーティングまたはタスク割り当てのスロットのガード（スロットが許容する最大の絶対時刻誤差）から外れるまでの秒数、その時点での各項の寄与（支配的な項を明示：測位解の不確かさ、ホワイト位相雑音、ホワイト・フリッカー・ランダムウォーク・ランダムランの周波数雑音、残留周波数オフセット、温度、経年変化）、最後の測位解からの残り時間、測位解の遅延を差し引いて時計をスロット内に保つ最大の測位解間隔を求めます。発振器は、クラスの既定値（csac、uso、dsac、tcxo、ocxo、rafs：引用した一秒のアラン偏差一つと、仮定した赤色雑音フロア）、通信タイミングのデータシートのプリセット、インラインのデータシート（包絡としてフィットしたアラン偏差の最大値と、経年変化および温度係数）、またはインラインのMEASURED位相記録（重複アラン偏差を、ホワイト位相と IEEE Std 1139 の周波数変調の基底で重み付き最小二乗によりフィットするため、赤色雑音フロアは仮定ではなく実測となります）のいずれかです。データシートまたは記録が対応する最長の平均化時間を超える逸脱は、外挿として示します。任意のスプーフィングのセクションでは、軌道上の受信機のタイミング保護レベルを加えます：軌道速度と周期、単一の地上スプーファーがパスごとに衛星へ届く時間、時計支援モニターのフロアと CUSUM の検出遅延、条件付きの限界、指定した最大ランプレートのスプーファーが、衛星がその到達範囲を離れるか独立した確認が行われるまでに蓄積する引き込み量、そして各地上接触またはクロスリンクの確認がそのスプーファーから独立しているかどうかです。VALIDATED：当てはめた記録からのホールドオーバー逆算は、水素メーザーに対して測定した実際のセシウム時計でホールドアウトしています（tests/slot_timing_cs5071a_holdout.rs、データ条件付き）。実測の水晶発振器では、ホールドアウトした予測は保守的ですが、基準には収まらないため、水晶の場合は MODELLED です。MODELLED：クラスとデータシートの出典、決定論的な項、そしてスプーフィングの評価。
70	`spectrum`	Lバンドのスペクトルモデルとウォーターフォール：GNSS の L バンド全体を一つの電力スペクトル密度（PSD）として、横軸を周波数、縦軸を時間とし、台本どおりのジャマーのタイムラインにわたって示します。信号：GPS L1 C/A と L2C（BPSK(1)）、Galileo E1 オープンサービス（MBOC(6,1,1/11)、または BOC(1,1)）、GPS L5 と Galileo E5a（BPSK(10)）で、それぞれの搬送波に、上書きしない限りインターフェース仕様の最小受信電力（IS-GPS-200、IS-GPS-705、Galileo OS SIS ICD）を与えます。GLONASS、BeiDou、Galileo E6 はモデル化していません。ジャマー：連続波トーン、平坦な狭帯域雑音、線形のこぎり波チャープ、各バンド自身の変調に合わせた広帯域雑音で、それぞれ中心、帯域幅、受信電力（直接指定、またはジャミングの種類の自由空間伝搬損失を通した EIRP と距離）、オン/オフ時刻を持ちます。各ジャマーは、受信機帯域幅にわたるスペクトル分離係数 kappa によって各バンドに対して評価され、(C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1 となります。ジャマーが一台の場合、これは Q = 1/(R_c kappa) としたジャミングの種類の耐ジャム式と等しく、レポートはこの相互確認（とその横にジャミングの種類の代表的な Q の値）を載せます。雑音フロアは k T_sys で、T_sys = T_ant + 290 K (F - 1) です。ウォーターフォールは各セルをそのビンと行にわたって平均します（チャープは厳密に、掃引全体と部分的な掃引を合わせて。行の途中で切り替わるジャマーはそのデューティで）。そのため C/N0 のタイムラインと画像は同じ数値から得られます。result.json は、電力でブロック平均したグリッド、行ごとのバンド別 C/N0 と J/S、そしてジャマーごと・バンドごとの SSC、Q、J/S、帯域内 J/S、定常 C/N0 を保持します。任意の [iq]：ある一時点でのモデルを複素 IQ として描き、SigMF 記録（cf32_le または ci16_le）に書き出して読み戻し、Welch 推定と比較します。任意の [recording]（ネイティブビルド）：実際の SigMF 記録の Welch PSD をモデルの横に示します。VALIDATED：信号の PSD は教科書的な主ローブ幅（BPSK(n) は零点間で 2n x 1.023 MHz、BOC(1,1) のローブは +/-1.023 MHz を中心）に照らして、スペクトル分離係数はその Parseval の閉形式と Kaplan & Hegarty の Q = 1（CW）および 1.5（整合）に照らして確認しています。MODELLED：ジャマーの電力、タイムライン、フロントエンドの帯域幅、連続スペクトル（符号線なし）の扱い、そして AGC、ブランキング、アンテナパターンを含まないこと。
71	`solar-system`	ある一つのエポックにおける太陽系全体を、任意の天体の周りの PNT（測位・航法・時刻）のために扱います。太陽、八つの惑星、冥王星、月、Phobos、Deimos、Io、Europa、Ganymede、Callisto、Titan について、ICRF（国際天文基準座標系、赤道 J2000）での太陽中心の位置と速度、太陽中心距離と J2000 黄道経度・緯度、重力定数、赤道半径と平均半径、公表されている場合は J2 とその基準半径、恒星自転周期、IAU の極とエポックでの本初子午線、一周にわたってサンプリングした軌道トラック（惑星は太陽中心、衛星は親天体中心）、そして観測者の天体（既定は地球）からの光行時間、片方向と双方向の距離、太陽の Shapiro 遅延、太陽との離角を報告します。追加の from/to リンクにも同じ処理を行います。位置：Standish と Williams による JPL のケプラー要素（1800 AD ～ 2050 AD は表 1、3000 BC ～ 3000 AD は表 2a/2b）と各惑星の公称誤差、地球と月の分離には Montenbruck & Gill の月の級数、火星と木星のガリレオ衛星には IAU の同期自転レートを用いた JPL の平均要素、Titan には IAU の自転モデルを使います。光行時間：放射測定の不動点解法で、送信側は遅延位置。ニュートン力学的で、Shapiro 遅延は別に報告します。公称誤差の二倍以内で JPL Horizons（DE441）と照合して VALIDATED：水星から土星および地球は表 1（最悪で公称の 1.87 倍）、八つの惑星すべては表 2a/2b（最悪で 1.71 倍）、そして地球から火星と木星への光行時間。MODELLED、各行にラベル付き：表 1 の天王星と海王星（DE441 に対する公称誤差の 2.0 倍と 5.2 倍）、冥王星（1992 の行。誤差の記載なし）、月と七つの衛星（Horizons に対して測定、公表された限界なし）。
72	`body-pnt`	太陽系の任意の天体の周りでの測位：名前で選んだ中心天体（火星、月、エウロパ、ガニメデ、タイタンなど、太陽系カタログの天体）の周りの周回機または地表ランダーが、その天体の周りの小規模なWalker航法コンステレーション（二体軌道に天体固有のJ2永年ドリフトを加えたもの、未知のユーザークロック）からの片道疑似距離を使って航法を行い、必要に応じて、クロック不要の深宇宙の地球からの往復レンジも使います。その方向と距離は、各エポックで解析的な太陽系エフェメリスから得られます。視線は天体の平均球で遮られ、地表のユーザーには仰角マスクも必要です。エポックごとに、視野内の中継機、地球が周縁より上にあるかどうか、コンステレーションのみのGDOPとPDOP（幾何および位置の精度低下率）、地球の行を含む場合と含まない場合の形式的な一シグマの位置不確かさ、およびそれぞれの場合のシード付きガウス・ニュートン最小二乗解の誤差を求めます。実行全体では、可用性、地球の可視率、PDOPの中央値、RMS誤差、形式的シグマの中央値に加え、そのエポックにおける地球と天体の間の光行時間、往復時間、シャピロ遅延、太陽との離角も求めます。MODELLED：中継機の軌道、ノイズレベル、瞬時測定モデルはモデル化上の選択であり、ミッションの航法データに対して検証されたものではありません。天体の定数はbody.rsに引用された公表値であり、地球の幾何は太陽系エフェメリスのラベルを引き継ぎます。
73	`constellation-design`	大規模なコンステレーション設計：i: T/P/F表記によるWalker DELTAとWalker STARのパターン（ノードを360 degまたは180 degに分布、軌道面内の間隔360P/T、軌道面間の位相オフセット360F/T）、明示的な要素リストとマルチシェル設計、一つの実行内の複数のコンステレーション。地球、月、火星、またはその他の惑星、冥王星や主要な衛星を周回するもので、bodyモジュールの定数（太陽系およびbody-pntの種類が使うものと同じ）を用います。公表された公称要素からのプリセット：gps-baselineとgps-expandable（GPS Standard Positioning Service Performance Standard、2020年第5版、Tables 3.2-1 to 3.2-3の24スロットと、前後の六組の拡張可能なペア）、galileo（29,599.801 km、56 degのWalker 24/3/1。Galileo Open Service Service Definition Document issue 1.1 Tables 1 and 23）、beidouとbeidou-meo（21,528 km、55 degのWalker 24/3/1に、80、110.5、140 deg Eの静止衛星三機と、55 degの傾斜静止軌道衛星三機を加えたもの。BeiDou Open Service Performance Standard 3.0 section 4.1。MEOの位相と118 deg Eの傾斜静止軌道の交差は、規格が述べていないためモデル上の設定です）、およびglonass（GLONASS Interface Control Document edition 5.1 section 5.2のスロット式による19,100 km、64.8 degの24/3/1）。カバレッジとDOP（精度低下率）：緯度／経度グリッドと、仰角マスク付きのサンプリングしたウィンドウにわたって、セルごとの視野内の衛星数、GDOP、PDOP、HDOP、VDOP、セルごとの可用性（PDOPがしきい値以下、既定は6の測位解）を、全球（面積加重）と最悪地点で求め、clock = "common"でない限りコンステレーションごとに一つの受信機クロックを使います。数千機の衛星まで拡張できます。可視性は各衛星のカバレッジ半角に対する内積であり、衛星は各エポックで星下点の緯度によって帯分けされるため、グリッドの行は視野に入りうるものだけを検査し、レポートは節約した組検査の数を数えます。JSONには、グリッドマップと間引いた衛星ごとの地上軌跡が含まれます。VALIDATED：WalkerジェネレーターはGalileo OS SDD Table 23とGLONASS ICDのスロット式に対して、GPSプリセットはSPS PS Table 3.2-1に公表された赤道通過の列に対して、GPSベースラインの全球HDOP分布はSPS PS Appendix B（中央値0.94、95% 1.25、平均0.96、許容差0.03）に対して検証されています。MODELLED：任意で永年J2を含む二体軌道、球形の天体、幾何学的な可視性のみ（信号電力、ヘルス、地形は含まない）、および異なるシステム間の相対位相であり、これは実際のどの日付のスナップショットでもありません。
74	`campaign`	キャンペーン：既存のシナリオの種類を一つの実行に組み合わせたもので、すべての数値は指定した種類の実際の実行から読み取ります。四つのセクションを任意の組み合わせで使えます。フェーズ：共有の一つのタイムライン上で連鎖するミッション。各フェーズは一つ以上のシナリオを実行し（例：ジャミング、次にスプーフィング、次に慣性航法装置が並走する中での時計のホールドオーバー、次にインテグリティ警報、次に回復）、その出力は、種類ごとのプリセットまたは明示的な結果パスによって、名前付きのチャンネル（ガードに対する時計の時刻誤差、追尾下限に対する搬送波対雑音密度比、警報限界に対する保護レベル、位置誤差、追尾中の衛星、警報フラグ）に読み込まれ、ゼロ次ホールドで共通のグリッドにリサンプリングされ、フェーズ境界とイベントも付きます。状態は、carry（チャンネルが前のフェーズの終了値から続く）、handoff（前のフェーズの数値をこのフェーズのシナリオに書き込む）、end_at（スプーフィングモニターの検出時刻など、実行が計算した時刻でフェーズが終わる）によって引き継がれます。スイープ：任意の種類のシナリオの、ドット区切りのキー一〜三個にわたるグリッド（整数のセグメントはテーブルの配列を指します。例：system.2.sisre_m）。指標は結果パスで読み取り、実行回数が一を超える場合は、すべてのノードでシード付きのモンテカルロのアンサンブルを行います。MONTE_CARLO：実現kはbase_seed + kで実行され、各指標は平均、標準偏差、最近順位法による5/50/95パーセンタイル、および平均に対する固定シードのブートストラップ95%信頼区間を報告します。合成：共有の値（一つのジャマーの出力と位置を、船舶と道路の受信機に書き込む）のもとでの複数のシナリオで、最良／最悪を合わせた要約が付きます。結果には、キャンペーンのハッシュ、すべてのメンバー結果にわたるダイジェスト、出力されるすべての数値に対する単位のエントリーが含まれます。相互運用のエクスポートは、幾何を持つ各メンバーシナリオを、それぞれ独立したファイルセットとして書き出します。合成に関する恒等性がテストされています。単一フェーズのキャンペーンはスタンドアロンの実行をビット単位で再現し、固定シードのアンサンブルはバイト単位で安定しており、白色周波数雑音の時計ではアンサンブルの平均が報告された区間の内側に収まり、ばらつきはsqrt(q_wf * tau)と一致します。MODELLED：加算的なcarryとゼロ次ホールドはモデル化上の選択であり、各フェーズには、それを実行した種類のラベルが付きます。
75	`leo-signal`	LEO-PNT 信号設計：任意のシステム、バンド、構造に対応する、パラメーター化した低軌道（LEO）の測位・航法・時刻（PNT）信号。SIGNAL は、バンド（中心周波数、送信帯域幅、ITU 割り当て RNSS/RDSS/MSS/EESS/non-RNSS/other）と、成分（捕捉、データ、パイロット。任意の部分集合）からなり、各成分は変調（小数の n を許す BPSK(n)、BOC(m,n)、MBOC(6,1,p)、または平坦な OFDM 風のバンド）、電力配分、任意の FDMA サブキャリアオフセット、コード長、データレートを持ちます。信号は、コンパイル済みの公開プリセットファイル（xona-pulsar、iridium-stl、starlink-soo、centispace、generic-c-band、generic-bands。それぞれ出典 URL を持ち、未公表の値はすべて REPRESENTATIVE と記されます）から得るか、インラインで記述します。信号ごと：帯域制限付きの電力スペクトル密度と、送信帯域が通す各成分の電力の割合（BPSK の閉形式を数値と並べて）、RMS（ガボール）帯域幅、C/N0 と early-late 間隔に対するディレイロックループのコード追跡熱雑音ジッター（Betz & Kolodziejski 2009 の帯域制限付きコヒーレント（または非コヒーレント）early-late 式から、帯域無制限の教科書的な形と、間隔が消える極限のガボール限界を添えて）、メートルでの測距精度、捕捉の探索空間（軌道の最大ドップラーと発振器およびユーザーの項から求めるドップラービン、にコードビンを掛けたもの）、二乗検波の検出確率と、直列およびコード並列の平均捕捉時間、その信号から GPS L1 C/A、Galileo E1、GPS L5、Galileo E5a、E5b、E5 AltBOC へのスペクトル分離係数と、それぞれからその信号への係数および C/N0 の劣化、そして追跡成分が許容する CW、広帯域、整合の J/S（スペクトル種別自身の SSC の仕組みから）。BAND TRADE：一次の電離圏遅延（40.3 TEC/f^2）、自由空間損失、等しい C/N0 と等しい EIRP での測距精度、ジャマー耐性。任意の SHAPE CHECKS は、設計のスペクトルを、記述された測定と照合します（MODELLED の整合性）。VALIDATED：BPSK のバンド内電力（メインローブに 90.3 %）とガボール帯域幅の閉形式、教科書的なコヒーレント early-late 形とそのガボール限界に帰着する帯域制限付きジッター、オフセット BPSK スペクトル分離係数とその Parseval の閉形式との比較、AltBOC スペクトルの単位面積、および最大 LEO ドップラーと公表された Xona Pulsar（32-34 kHz）と Iridium（36 kHz）の数値との比較。MODELLED：すべての設計、電力配分、C/N0、ジャマーレベル。EFQPSK、CSK、OFDM のスペクトルは近似です。
76	`leo-pass`	LEO-PNT（低軌道からの測位・航法・時刻）向けの、システムに依存しない、バンドごとの LEO パスとリンクバジェット：ユーザー（地上、海上、航空、屋内、静止または移動）と一機以上の LEO 衛星を、DESIGNED PASS（設計パス：ユーザーが選んだ時刻に選んだ最大仰角の一回のパスを見るように置いた円軌道、求めに応じて太陽同期）、明示的な軌道要素、エンジンの SGP4 を通した TLE（二行軌道要素セット）、または衛星コンステレーション設計コードが構築する Walker コンステレーション（最も高いパスを報告）から与えます。バンドは名前付きのプリセット（汎用マルチバンド UHF/L/S/C、汎用 C バンド、Xona Pulsar X1/X5、Iridium STL、ドップラーのみの機会信号としての Starlink、CentiSpace、およびWORKSHOPと明記した任意の Celeste IOD プリセット）から取るか、シナリオに書き込みます；各プリセットは、その数値がPUBLIC（URL 付き）、REPRESENTATIVE、またはWORKSHOPのいずれかを明記します。衛星、バンド、エポックごとに：仰角、方位角、距離、距離変化率、距離加速度；自由空間経路損失；EIRP と衛星パターンのゲイン（アイソフラックス、ガウスビーム、フラット）；仰角に対するユーザーアンテナのゲイン（パッチ、半球、等方）；気体減衰（ITU-R P.676-10 Annex 2）、降雨減衰（降雨強度と降雨高度からの ITU-R P.838-3 係数と P.618-14 手順）、対流圏シンチレーション（ITU-R P.618-14 節2.4.1）、屋内ユーザーの建物侵入損失（ITU-R P.2109-2）、偏波不整合、システム雑音温度と C/N0（搬送波対雑音密度）；距離変化率と距離加速度から閉形式で求めるドップラーとドップラー変化率で、それぞれ中心差分と照合；一次の電離圏遅延40.3 STEC/f^2 を、Klobuchar または鉛直 TEC の斜め TEC から、衛星より下の電離圏の部分に換算して求めます。バンドのペアについては、パスのピークで電離圏フリー係数、雑音増幅、コード雑音を求めます。MEO GNSS 衛星（Galileo または GPS のプリセット）は、インターフェース文書の受信電力から、同じアンテナ・雑音モデルで評価されるため、LEO の釣鐘形のパスと平坦な GNSS 搬送波が一つのプロットを共有します。任意の [iot] セクションは、指定した受信機の電力バジェットに対する、デューティサイクルごとの初回測位時間、一回の測位あたりのエネルギー、バッテリー寿命を与えます（MODELLED）。各バンドのペアは、その幾何フリー結合が復元する斜め TEC をピークで求め、その推定のコード雑音の sigma も与えます（電離圏探査）。任意の [spoofer] セクションは、開始後に真の位置から飛ぶか押し出される主張位置の信号を偽造し、指定した誤警報確率と見逃し確率で二つのモニターを実行します：ドップラーとパス幾何の整合性（軌道と独立した事前の位置・速度から予測した距離変化率に対する測定値、窓にわたる一般化最小二乗のカイ二乗検定、GNSS、LEO、全チャネルについて）と、バンド間の整合性（各 LEO バンドペアのモデル補正済み幾何フリー結合のエポック間のステップ）で、エポックごとの統計と各モニターが検出する時点を報告します（MODELLED）。VALIDATED の構成要素：自由空間損失、P.838-3 係数をその表5に対して、P.618-14 の降雨・シンチレーション手順と P.2109 の建物侵入損失を ITU-R Study Group 3 の検証例に対して、IS-GPS-200 の L1/L2 群遅延比、そして円軌道の静止ユーザーの最大ドップラーを arXiv 2509.19551 の表1に対して。MODELLED：EIRP、パターン、衛星より下の TEC の Chapman 割合、そしてパス全体。
77	`leo-navmsg`	LEO 航法メッセージ：低軌道（LEO）の測位・航法・時刻衛星の放送エフェメリスと時計。任意の軌道、搬送波、モデルに対応し、名前付きのプリセット（Xona Pulsar、Iridium、Starlink、CentiSpace、代表的な C バンドシステム、ATOMIC ゼロクロックモデル、Celeste IOD）も任意で使えます。内容：補助データ（SVID、データ発行番号、バンド、信号健全性）、同期（週、週内時刻、toc まわりの二次の時計多項式 af0-af2）、四つのモデルのいずれかによるエフェメリス -- Galileo OS SIS ICD の16パラメーターのケプラー要素セット；そのセットに along-track、cross-track、radial の補正多項式を加えたもの；Liu ら 2025 の22パラメーターモデル；時計項のない ECEF 多項式（ATOMIC ゼロクロック）-- およびその他のサービス（Klobuchar の放送セット、実効電離レベルを伴う NeQuick-G ai0-ai2、ICD のうるう秒ロジックによる系統時刻から UTC へのパラメーター）。フィッター：選んだ次数までの帯状 J2-J6 または EGM2008 重力と抗力で積分した真値の軌道と、シード付きの自由または制御された時計；非特異要素に対するケプラー要素セットの Levenberg-Marquardt 当てはめ、続いて線形最小二乗の補正多項式；時計は、ユーザーが加える相対論項を差し引いて当てはめます。解析：fit-interval-trade（軌道高度に対する全球平均の重みを用いた信号空間距離誤差 SISRE を、当てはめ区間と更新周期に対して、軌道のみと時計込みで）、model-comparison（四つのモデル、パラメーター数、符号化ビット数、そして Liu らの高度での Kshana の当てはめを、公表されている数値と並べて）、midpass-update（ユーザー上空で最も高いパス、各メッセージ切り替えの位置・時計・ユーザー距離のジャンプ、最悪幾何でのジャンプ、連続性しきい値に対する PASS/FAIL）、encode-decode（CRC-24Q を持つ Kshana 独自の文書化されたバイナリフレーム、フィールドごとの半刻み量子化バジェット、破損フレームの検査、Kshana 拡張と明記した RINEX-4 形式のレコードのエクスポートとインポート、そして CSV 表）。VALIDATED：SISRE の重みを公表されている MEO/GEO の表（Montenbruck ら 2018）に対して；Galileo のユーザーアルゴリズムを実際の Galileo 放送エフェメリスについて RTKLIB に対して；CRC-24Q をそのカタログのチェック値と RTCM 1005 の例示フレームに対して。MODELLED：当てはめと SISRE の数値はすべて、Kshana が積分した真値に対する表現誤差です（軌道決定や予測の誤差はありません）；Liu らとの比較は異なる軌道を使っています；符号化とテキスト形式は Kshana 独自のものです。
78	`leo-pvt`	任意のコンステレーションにわたる、中軌道（MEO）と低軌道（LEO）を融合した測位・航法・時刻（PNT）：各 [[system]] は、constellation-design 種別の GNSS プリセット、LEO プリセット（xona-pulsar、iridium-stl、starlink-sop、centispace、generic-c-band、atomic-zero-clock エフェメリスモデル、または別のプリセットファイル。それぞれ独自のファイルを持ち、出典は PUBLIC、WORKSHOP、DERIVED のいずれかで示されます）、Walker シェル、または明示した軌道要素の集合のいずれかで、搬送波、チップレート、仰角マスクから天頂までの搬送波対雑音密度（C/N0）の包絡線、信号空間距離誤差（SISRE）、ドップラーのシグマ、クロックモデル（独自の受信機クロックでシステム間バイアスを推定するか、既知の放送オフセット）を持ちます。四つのモード。DOPPLER：距離変化率からのバッチ Gauss-Newton 測位で、解析的な偏微分、クロックドリフトと任意の速度状態、任意の高さ拘束を伴い、単一衛星または複数衛星で、窓長に対する誤差、各 LEO システムのドップラー、ドップラーレート、ジャークの包絡線、およびクロストラックオフセットに対する単一パスのアロングトラック精度とクロストラック精度を扱います（パスが真上に来るにつれてクロストラック誤差は際限なく増大し、単一パスには地上軌跡を挟んだ鏡像解も存在します）。ドップラーのみの機会信号（starlink-sop）はここで実行されます。JOINT：GNSS のみ、LEO のみ、両方によるエポックごとの重み付き最小二乗疑似距離測位解で、C/N0 でのディレイロックループの熱雑音モデルと SISRE から測定ごとのシグマを求め（または固定のシグマとし、信号モデルから与えることもできます）、推定したシステム間バイアスと、追加した LEO 衛星数に対する PDOP/HDOP/VDOP を扱います。POLAR：GNSS、LEO、両方についての、緯度に対する視界内の衛星数と DOP。TIMING：既知の位置にある LEO 衛星から協定世界時（UTC）への時刻伝送で、プロセスノイズがエンジンの発振器クラスに由来する二状態のクロックフィルターを用い、C/N0 と発振器に対して評価し、IS-GPS-200 のシステム時刻から UTC への式も扱います。[timing] で trace = true とすると、すべての行がエポックごとの時刻誤差と予測シグマも報告します。VALIDATED：真上から地平線までのパスの最大ドップラーを、公表された Iridium（最大 36 kHz）と Xona Pulsar X1（32 から 34 kHz）の数値と比較。MODELLED：それ以外のすべて。DOP は手計算で導いたケースと、測位解は共分散と、ドップラーモデルは距離加速度の恒等式と照合されています。
79	`leo-ppp`	GNSS のみの場合と LEO 補強ありの場合の精密単独測位（PPP）の収束：電離圏フリーのコードと搬送波位相に対するフロート拡張カルマンフィルターで、静的な局座標、白色の受信機クロック、追加システムごとに一つのシステム間バイアス、1/sin(仰角) でマッピングされるランダムウォークの天頂湿潤遅延、衛星アークごとのフロートアンビギュイティを持ちます。精密な軌道・クロック誤差は白色で、衛星のコードと位相に共通のため、各衛星は Joseph 安定化形式の相関した二行の更新一つになります。測定値は、複数の観測局とシードにわたり、シード付きノイズを加えた同じモデルからシミュレートされ、各ケース（最初に GNSS のみ、続いて LEO システムの各 [[case]]、任意のコンステレーションまたはプリセット）は、収束時間の中央値（水平誤差と垂直誤差がしきい値、既定で 10 cm、を下回ったままになる最初のエポック）、収束した割合、誤差曲線の中央値、およびフィルターの整合性（実行ごとに平均した位置 NEES を両側 95% のカイ二乗帯域と比較したもの）を報告します。任意で、公表された Li et al.（2019、J. Geod. 93:749、doi 10.1007/s00190-018-1195-2）の中緯度の数値と並べて示します：マルチ GNSS の 9.6 分は、60、96、192、288 機の LEO 衛星で 7.0、3.2、2.1、1.3 分に短縮されます。MODELLED：傾向の整合性の比較であり、その研究のコンステレーション、ノイズ、観測局の再現ではありません。アンビギュイティ解決、サイクルスリップ、位相ワインドアップ、潮汐、時間相関のある製品誤差はありません。
80	`ntn-positioning`	移動衛星サービス（MSS）S帯（3GPP バンド n256、ダウンリンク 2170 ～ 2200 MHz、既定のキャリア 2172.5 MHz）における5G非地上系ネットワーク（NTN）ダウンリンクからの測位です。各信号（既定では、占有 4.5 MHz の 5 MHz New Radio チャネルと、占有 180 kHz の 200 kHz 狭帯域チャネル）について、到達時刻のクラメル・ラオ限界（CRB）c / (2 pi beta sqrt(2 (C/N0) T))（beta は平坦な OFDM スペクトルの二乗平均平方根（ガボール）帯域幅 B/sqrt(12)）と、複素トーンのドップラーの限界 sqrt(3 / (2 pi^2 (C/N0) T^3)) を求めます。続いて、任意のLEOコンステレーションにわたり、未知の受信機クロックを含むダウンリンク到達時刻の測位解（シード付きで、限界とネットワーク同期誤差を sigma とする）、その PDOP と形式的な3次元 sigma、そして高度を固定した最長パスでの単一衛星ドップラー測位解を求めます。MODELLED：帯域幅から限界への段階は教科書的な閉形式であり、平坦な帯域制限BPSKスペクトルの数値積分に照らして確認しています（内部整合性であり、公表された具体的な数値には固定していません）。測位精度は、同期誤差を明示した、マルチパスのないチャネル上での限界であり、達成した結果ではありません。
81	`leo-pnt-chain`	任意のコンステレーションと信号に対応する、LEO-PNT（低軌道からの測位・航法・時刻）システムのエンドツーエンドの連鎖：signal_design で指定する leo-signal 設計（公開プリセットまたはインラインの [signal] 設計）が [pass] バンドの中心周波数、帯域幅、チップレート、EIRP の配分を決め、leo-pass のリンクバジェットがパス全体にわたる追跡 C/N0 と帯域制限付きのコードジッターを与え、sin(仰角) に対する C/N0 の直線と [navmsg] メッセージの放送 SISRE（パス衛星の高度で当てはめたもの）が、[fusion] の leo-pvt 統合測位解のすべての LEO システムに、また任意で [ppp] の leo-ppp ケースに渡されます。すべての受け渡しは値と単位とともに一覧されます。MODELLED。
82	`contact-schedule`	複数の衛星と複数の地上局に対する地上コンタクトの計画：見かけのアクセスウィンドウ（SGP4、IAU 2006/2000A地球固定座標系、ITU-R P.834屈折、光行時間）、各パスのDVB-S2 ACMデータ量（ETSI EN 302 307-1 Table 13のしきい値）、および競合のないスケジュール（折り返し時間を伴うアンテナごとに一つの衛星、衛星ごとに一つの地上局、各バックログを上限とする優先度加重の配信）。これを、限界価値の貪欲法、先着順のベースライン、小規模な集合に対する厳密な分枝限定法で求め、貪欲法の最適性ギャップも示します。MODELLED。
83	`acm-link`	一機の衛星と一つの地上局：各パスの斜距離、仰角、パス沿いのEs/N0、各ステップで選ばれるDVB-S2のMODCOD（ETSI EN 302 307-1 Table 13のしきい値に実装マージンを加えたもの）、およびマスクで閉じる一定符号化のベースラインに対してACMが運ぶデータ量。MODELLED。
84	`aocs`	宇宙機の姿勢制御：三つ以上の釣り合いのとれたリアクションホイールを持つ剛体ハブの慣性指向スルーを、MRPフィードバック（L = -K sigma - P omega）で行い、最小ノルムのホイールトルクを各モーターの上限でクリップし、RK4とゼロ次ホールドで計算します。オプションで、シミュレートしたジャイロ（角度とレートのランダムウォーク）とスタートラッカーから、乗算型EKFによるループを閉じます。整定時間、最終および最大の指向誤差、最大のホイール速度とトルク、飽和した割合、角運動量のドリフトを報告し、推定器を使う場合はその姿勢誤差とNEESも報告します。真の状態のループはBasilisk 2.9.1に対してVALIDATEDであり、推定器はMODELLEDです。
85	`entry-heating`	自転する球形の地球または火星上での3-DoF 質点による大気圏突入（弾道型、または一定バンクの揚力型）を、US76、指数関数型、または火星の大気を通して RK4 で計算し、Sutton-Graves 式による淀み点対流加熱（NASA TR R-376）を適用します：ピーク減速度、熱流束と動圧、熱負荷、ダウンレンジ、回転座標系でのエネルギー検査、そして並べて示す Allen-Eggers の閉形式。ピーク減速度は公表されている Stardust の公称値と照合しており、加熱は MODELLED です。
86	`eo-radiometry`	天底撮像装置の放射測定と画質：ランベルト面シーンの開口面放射輝度、カメラ方程式、信号とショット／暗電流／読み出し／量子化雑音、および SNR；系全体の MTF（ナイキスト周波数、回折 x 検出器 x スミア x ジッター）、そこから求める相対エッジ応答、Q = lambda F/p、そして MTF 補償なしの GIQE バージョン4による NIIRS。MODELLED です。
87	`ascent-losses`	自転しない球形の地球上での、多段機体の平面重力ターン上昇を、US Standard Atmosphere 1976を通して計算します（垂直上昇、ピッチキック、速度方向の推力）。重力損失、抗力損失、操舵損失、背圧損失を積分し、理想dvから損失を引いた値を燃焼終了時の速度と照合します。max-Q、最大加速度、燃焼終了時の状態も求めます。MODELLED。
88	`time-transfer-budget`	静止中継衛星を介した二つの地上局間の双方向衛星時刻・周波数伝送：すべての非可逆項（局の機器遅延、Ku バンド電離圏、トランスポンダー、Sagnac）を含む T_A - T_B について双方向方程式を解き、タイプ A の項をシミュレートしたリンクの平均化時間での TDEV とする二乗和平方根の不確かさバジェット、ホワイト位相雑音とフリッカー位相雑音および日周の非可逆性を持つシミュレートしたリンク、そして与えられた BIPM Circular T 第 1 節の系列、MJD,ns 形式の CSV、または IGS RINEX の局クロック記録の安定度（レート、残差 RMS、TDEV、ADEV）を扱います。MODELLED。
89	`optical-atmosphere`	大気を通る MODELLED の光PNTです。光リンクと、雲の気候を明示した地上局の集合について、波長と仰角に依存する晴天時の損失（Kim の視程則に Rayleigh を加えたもの）、Hufnagel-Valley の乱流状態（Rytov 分散、シンチレーション指数、ガンマ・ガンマのパラメーター、開口平均化）、リンクマージンに対する天候に左右される可用性（対数正規の液水気候から求めた雲の光学的厚さ、幾何光学的な減衰、独立した乱流フェージング）、目標の可用性に必要なリンクマージン、途絶時間の分布、時計のホールドオーバーモデルを通じた途絶ごとのタイミング誤差と測距誤差の増大、距離に相関するサイトダイバーシティの可用性、そして改善手法（波長、受信開口、補償光学によるシンチレーション低減、追加マージン）を用いた場合の利得の仮定計算を報告します。次の項目は、示した式の実装として、独立した mpmath のオラクルに照らして VALIDATED です：Rytov 分散、シンチレーション指数、ガンマ・ガンマのフェード確率、開口平均化係数、雲および晴天時の光学的厚さ。MODELLED：天候、手法、時計のすべての入力と、独立性およびコピュラの仮定。測定した可用性の記録との比較は行っていません。助言としての解析であり、認証を受けた可用性または航法の製品ではありません。
90	`holdover-test`	タイミングシステムの 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 を参照してください。
91	`gnss-ssv`	MODELLED の、宇宙サービスボリュームおよびその先での GNSS 可用性とリンク強度：球面上（ICG 小冊子のグローバルシェル）またはケプラー軌道上（LEO から月遷移軌道まで）のユーザーについて、衛星コンステレーションごと（GPS、GLONASS、Galileo、BDS、QZSS、NavIC）および全体で、C/N0 しきい値を超えて使える信号を数えます - 信号一つ以上および四つ以上の可用性、最大途絶時間、受信 C/N0、精度低下率、メインローブ対サイドローブのリンク - 小冊子、パラメトリック、またはユーザー提供の送信パターン、任意のリム経路電離圏・プラズマ圏・大気の効果、任意の微弱信号受信機設計を伴います；さらに HEO および月遷移機向けの搭載 GNSS 拡張カルマンフィルター（軌道力学、太陽放射圧、第三体、時計）と、単一差分疑似距離による複数機編隊の相対航法も含みます。事前登録のもとで ICG SSV 小冊子の表と照合（xval/gnss-ssv）
92	`mission-thread`	打ち上げから再突入までの、明示したミッションフェーズの連鎖についての、MODELLED の航法・タイミング誤差バジェット。打ち上げと上昇、低軌道でのランデブーとドッキング（繰り返し可）、月遷移軌道投入と地球・月間空間（シスルナー）の巡航、月周回軌道でのランデブー、降下、月面滞在、上昇、そして帰還と再突入で、各フェーズは、それぞれ固有のセンサーとフィルターを持つ、登録済みの八つの種別のうちの一つです。6x6 共分散、時計、座標系は、明示した規則（引き継ぎ、膨張、または再取得）のもとでフェーズ間を受け渡します。座標系と時間系の変換（GCRF、MCI、MCMF、UTC、TT、TDB、LTC）はそれぞれ独立したバジェット行で、月の状態は任意の DE440 カーネルの切り出しから、フォールバックとして明示した解析的な級数が使われます。任意の地上ネットワークのオーバーレイが、各フェーズの追尾デューティを設定します。報告するのは、フェーズごとのバジェット（入口、ピーク、出口の 1-sigma と、単位付きのすべての寄与）、明示した要求に対する余裕、最弱の連結、イベント、そしてタイムライン図です。MODELLED：すべての数値は明示した入力であり、連鎖は一つのスタックに従い、機体はモデル化していません。公開情報のみを使用しており、いかなる機関とも提携せず、承認も受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

`clock`#

時計のホールドオーバーと仕様の比較。任意のモンテカルロのアンサンブル（runs > 1）。

必須フィールド： seed, threshold_ns, time, gnss, clock_quantum, clock_classical
任意フィールド： runs, integrity

`inertial`#

GNSS 途絶中の1-DOF 慣性推測航法。

必須フィールド： seed, threshold_m, time, gnss, accel_quantum, accel_classical
任意フィールド： runs

`orbit`#

衛星コンステレーション（Walker / TLE / RINEX）による GNSS の可用性と DOP。

必須フィールド： seed, threshold_ns, mask_deg, time, user|user_site, constellation, clock_quantum, clock_classical
任意フィールド： sigma_uere_m, constellations, epoch, export_sp3, export_omm, export_oem, skyline

`ephemeris`#

エフェメリスと地上軌跡：一機の衛星を伝搬し（TLE→SGP4 または解析的軌道）、その TEME／GCRS 状態（位置＋速度）、ITRF／ECEF 位置、WGS-84 の衛星直下点の緯度・経度・高度、そしてステップごとの局の方位角／仰角／距離と距離変化率（ドップラー）を出力します。衛星はtle、またはepochを伴う解析的なorbitで与えます（両方が指定された場合はtleが優先されます）；tleを使う場合、epochは TLE 自身のエポックを t = 0 として上書きします。

必須フィールド： tle|orbit+epoch
任意フィールド： step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

`integrity`#

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

必須フィールド： 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

`lunar-integrity`#

代表的な LunaNet 中継衛星の集合に対する、月南極の ARAIM 保護レベルのパス。sigma_ure_m は信号空間の測距精度を公開します（保護レベルはこれに比例して線形にスケールするため、これを掃引すれば、警報限界がどの測距精度を要求するかが分かります）。既定値は従来の LNIS クラスの南極のケースです。

必須フィールド： （なし）
任意フィールド： step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

`lunar-time-offset`#

モデルに基づく相対論的な地球・月間の時計レート（月座標時、LTC/TCL）です。自己ポテンシャルの差と月の運動項から LTC−TT の永年レートを求め、公表されている 56–59 µs/日の範囲とあわせて報告し、期間にわたる累積オフセットも示します。

必須フィールド： （なし）
任意フィールド： epoch_year, epoch_month, epoch_day, horizon_days

`lunar-vlbi`#

モデルに基づく月測地VLBIの遅延観測量です。地球上の基線（二つの地上局、GCRS）が、NovaMoon クラスの月面ビーコンからの一方向信号を観測します。パスにわたって、近距離場の二距離差遅延、その変化率、波面曲率による近距離場補正を出力し、遠距離場の極限では同じコードベースの平面波 Δ-DOR 観測量と相互確認し、偏微分は有限差分で検証しています。既定の解析経路は MODELLED であり、フレームの整合性、xp=yp=0 の極運動、平面波と近距離場の違いという注意点を伴います。planetary_kernel_path、earth_orientation_kernel_path、moon_orientation_kernel_path を設定すると、代わりにカーネル経路が実行されます（DE440、MOON_PA_DE440、ITRF93。収束した太陽系重心の光行時間。そのエポックのビーコンと局の偏微分を追加）。そのニュートン力学的な遅延と偏微分は、NAIF SPICE の収束した光行時間と 0.06 ps および 7.4e-9 まで一致します。実際のVLBIデータとの照合による確認は行っていません。

必須フィールド： （なし）
任意フィールド： station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

`lunar-joint-od-clock`#

モデルから計算した、シミュレートしたネットワーク上での、複数技術による月面 OD + クロックの統合バッチ推定器：Gauss-Newton のスナップショットフィットで、地球基線の測地 VLBI 遅延、月面ローカルの局と衛星の間の距離、衛星間距離を融合し、注入した真値から、月面局の 3D 位置、小規模なコンステレーションの位置、各アセットのクロックオフセットを同時に回復します。最も重要な誠実な結果 — 月面ローカルの測距だけでは弱く観測される方向が残る場所で、VLBI が局の完全な 3D 位置を観測可能にすること — は、VLBI あり・なしの局誤差の対比として報告されます。MODELLED のシミュレートした閉ループ回復（真値は観測モデルを共有）。決定論的（シード付き）。実データでの検証ではありません。ソルバー内に力モデルによる伝搬はありません。TRL、飛行実績、機関による承認はありません。

必須フィールド： （なし）
任意フィールド： n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day

`lunar-frame-realisation`#

モデルから計算した月面の座標系の実現：7 パラメーターの Helmert（相似）データムのフィット — 3 並進、3 微小角回転、1 スケール — で、重み付き最小二乗（crate::batch_ls::gauss_newton）により、月面座標（selenographic）に由来する MCMF の点座標の推定集合をデータムに結び付けます。さらに、IAU 2015 WGCCRE の天体姿勢に対する、ICRF 軸まわりの実現された微小回転を表す簡易な姿勢の結び付けも行います。このシナリオは、既知の微小な変換（並進は数十 m 程度、回転は µrad 程度、スケールは ~1e-7）を、よく分散した合成の点ネットワークに注入し、シード付きのガウスノイズを加え、データムを回復して、回復した変換、注入した真値に対するパラメーターごとの回復誤差、フィット後の RMS 残差を報告します。MODELLED の自己整合性 — 注入した相似変換を回復します（ノイズなしではマシン精度程度まで）。実際の追跡や VLBI のデータに対する実現ではありません。決定論的（シード付き）。TRL、飛行実績、機関による承認はありません。

必須フィールド： （なし）
任意フィールド： n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day

`moonlight-service-volume`#

ILLUSTRATIVE（例示用）の、公開情報に基づく Moonlight/LCNS クラスの月周回コンステレーション（ESA とは無関係）を用いた、モデルに基づく月航法サービスボリューム解析です。時間範囲にわたって月面の緯度・経度グリッドを掃引し、DOP、カバレッジ、可用性（≥4 機かつ PDOP がしきい値未満）と、そのボリュームにわたる一般化した月 ARAIM 保護レベル（HPL/VPL）の包絡を報告します。DOP のジオメトリは gnss_lib_py で VALIDATED なカーネル（crate::orbit::dop）を再利用し、保護レベルは LunaNet LNIS の月 ARAIM の仕組み（crate::lunar、σ_URE≈30 m）を再利用して、既存の南極 PL を特殊な場合として含みます。MODELLED の構成：円軌道・楕円ケプラー軌道のリレー群（実際の微分補正された LCNS/NRHO エフェメリスではありません）と、平均自転の月（秤動や歳差する極はなし）。決定論的（純粋なジオメトリ）。TRL・飛行実績・機関による承認はありません。

必須フィールド： （なし）
任意フィールド： n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

`lunar-differential-pnt`#

モデルから計算した月面の差分 PNT（月面版の DGNSS/SBAS に相当）：既知の月面座標にある NovaMoon クラスの基準局が、ILLUSTRATIVEで公開情報に基づく Moonlight/LCNS クラスのコンステレーションから衛星ごとの差分補正を計算します（NovaMoon はシステムのクラスとしてのみ参照しており、ESA とは無関係です）。baseline_km だけ離れたユーザーがそれを適用すると、共通モード（common-mode）の軌道誤差とクロック誤差が打ち消されます。クロック項は正確に打ち消されます（代数的な恒等式）。軌道項に残るのは視線方向の差の射影のみで、これは基線 → 0 で → 0 となり（空間的な非相関の下限）、基線にほぼ線形に比例して増大します。補正ありとなしのユーザーの 3D 位置誤差、低減係数、基線に対する誤差の曲線、そして差分残差 σ を用いて DO-229E の SBAS の仕組み（crate::sbas）を再利用するユーザー保護レベルを報告します。MODELLED — 正確な打ち消しの恒等式と一次の非相関モデル。実データでは検証されていません。TRL、飛行実績、機関による承認はありません。シードを与えれば決定論的です。

必須フィールド： （なし）
任意フィールド： n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits

`lunar-station-coverage`#

モデルから計算した月面基準局のカバレッジ：月面の差分 PNT モデルを、南極域のユーザー格子と一日分のエポックにわたってモンテカルロ掃引したもの。既知の南極域の地点にある差分基準局が、明示した信号空間誤差、測量誤差、補正の遅延、リンクの量子化を伴う、明示したコンステレーション（例示的なケプラー軌道、または表形式のエフェメリス）を補正します。点ごと、および領域全体について、補正ありとなしの位置誤差のパーセンタイル（3D、水平、垂直）、可用性、明示したしきい値に対するカバレッジ、DO-229E の保護レベル、方位ごとのカバレッジ半径、局と最悪の点での補正リンクバジェットを報告します。いかなる実システムの性能についての記述でもありません。いかなる機関とも提携しておらず、承認も受けていません。MODELLED。

必須フィールド： （なし）
任意フィールド： n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

`lunar-interop-export`#

モデルから計算した月面の相互運用性エクスポート：月の座標系、月の時刻系、月のエフェメリスを、LunaNet/IOAG に整合した CCSDS ベースの交換形式で出力し、往復 / フィールド適合性を確認します。このクレートの CCSDS OEM 2.0 のエミッター + パーサー（crate::oem）を月面の文脈向けに付け替えて再利用します — OEM の REF_FRAME は IAU 2015 WGCCRE の月の天体座標系（MOON_ME / MOON_PA）、TIME_SYSTEM は月の時刻系（LTC / TCL / UTC）、CENTER_NAME = MOON を持ち、例示的な LCNS クラスのエフェメリスのサンプル（位置は crate::lunar_service から、速度は有限差分による）に適用します。また、serde_json で往復できる LunaNet/IOAG に整合した月の時刻の記述子（時刻系 ID、crate::lunar_time からの永年変化率 µs/day、公表された帯域、基準面）も出力し、既存の KIF エンベロープ（crate::interchange）に MODELLED の誠実性ラベルを付けて成果物を包みます。出力した成果物、OEM の行数、フィールド適合性の合格と存在 / 欠落フィールドの一覧、OEM の往復 ok、時刻メタデータの往復 ok、KIF のバイトサイズを報告します。MODELLED — オラクルは、決定論的な往復と、公表された CCSDS OEM および LunaNet/IOAG のフィールド意味論に対するフィールド名の適合性です。認証済みの相互運用性適合試験ではありません。例示的で公開情報に基づくエフェメリスであり、ESA とは無関係です。TRL、飛行実績、機関による承認はありません。

必須フィールド： （なし）
任意フィールド： frame, time_system, n_states, epoch, step_min, object

`timetransfer`#

光と RF による双方向の時刻・周波数伝送。

必須フィールド： seed, samples, step_s, range_spec_mm, link_quantum, link_classical
任意フィールド： （なし）

`quantum-anomaly-detect`#

量子PNTシステムのための MODELLED の故障・異常検出：ラベル付きの故障カタログ（時計の周波数ジャンプ/ドリフト/ロック喪失、センサーのバイアスステップ/ドロップアウト）、検出統計量の ROC AUC（外部で確認済みの eval_stats によるブートストラップ信頼区間付き）、固定の誤警報率での最小検出可能故障を扱い、量子時計支援モニター（低ノイズ）がより小さな故障を検出することを、正直な TradeEvidence と代表性として示します。ガウス型の検出統計量モデル（AUC = Phi(mu/(sigma*sqrt2))）。このクラスをモデル化し、パラメーターは公開情報に基づく例示用で、TRL・飛行実績・認証はありません。

必須フィールド： （なし）
任意フィールド： fault_mu, quantum_sigma, classical_sigma, pfa, pd, samples, seed

`quantum-gnss-free-nav`#

MODELLED のGNSSに依存しない量子航法：GNSS途絶中の、量子（冷却原子干渉計）慣性バジェットと古典的な航法級 INS の比較です。コースト中の位置誤差の増大、位置しきい値までのホールドオーバー、そして量子と古典のトレードを、代表性とともに正直な TradeEvidence として示します。観測可能性に関する正直な注記：外部の測位解がなければ加速度計のバイアスは観測できないため、誤差は増大します。量子センサーはその増大を遅らせますが、差を埋めることはできません。デバイスのパラメーターは公開情報に基づく例示用で、このクラスをモデル化したものであり、TRL・飛行実績・認証はありません。

必須フィールド： （なし）
任意フィールド： outage_s, threshold_m, quantum_bias_m_s2, classical_bias_m_s2

`quantum-time-transfer`#

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

必須フィールド： （なし）
任意フィールド： integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

`hybrid`#

ハイブリッド PNT の集大成：時計＋IMU＋時刻比較による補助。

必須フィールド： seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
任意フィールド： （なし）

`fusion`#

同じハイブリッド入力に対する、カルマンフィルターによる統合センサーフュージョン PNT。

必須フィールド： seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
任意フィールド： coupled

`hybrid-ukf`#

17状態の量子＋古典ハイブリッド密結合 GNSS/INS UKF（MODELLED）：15 個の INS 誤差状態＋CAI 由来の加速度バイアス補正＋q パラメーター時計エンジンによる2状態（位相＋周波数）の時計を、上下限で囲んだ CAI 誤差モデルで駆動します。性能指標はフィルターの自己整合性（NEES＋イノベーションの白色性を χ² 境界と比較）であり、自己整合性についての記述であって、実世界での精度の保証ではありません。シミュレーションのみ；TRL>3 ではなく、飛行実績もなく、外部での検証もありません。

必須フィールド： seed, time, gnss, accel, clock
任意フィールド： residual_accel_bias_m_s2, speed_m_s, sigma_pr_m, sigma_rr_mps, consistency_seeds, q_factor, r_factor

`gnss-ins`#

疎結合および密結合の GNSS/INS 誤差状態 EKF。

必須フィールド： seed, threshold_m, time, gnss, imu_quantum, imu_classical
任意フィールド： fix_interval_s, sigma_pos_m, sigma_vel_mps, lat_deg, lon_deg, alt_m, trajectory, tight

`gnss-sim`#

測定領域での疑似距離シミュレーション（Klobuchar 電離圏、Saastamoinen/Niell 対流圏）＋ RAIM。

必須フィールド： seed, time, receiver, constellation
任意フィールド： iono, tropo, mask_deg, noise_sigma_m, multipath_m, sat_clock_rms_m, uere_m, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, skyline

`jamming`#

リンクバジェットによるジャミング：J/S → 実効 C/N₀ → ロック喪失。

必須フィールド： seed, time, receiver, constellation
任意フィールド： jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

`spoof`#

モンテカルロによる P_fa/P_md を伴う、確率的な時刻スプーフィング検出器（Neyman–Pearson / χ²₁）。

必須フィールド： threshold_ns, time, attack, clock_quantum, clock_classical
任意フィールド： （なし）

`spoof-detect`#

RF と測定値を組み合わせたスプーフィング検出器（複数 SV の RAIM 整合性 + AGC + SQM を融合）を、パラメーター化した攻撃（電力優位、搬送波位相の整合、時刻・位置の押し出し；TEXBAT 方式）に対して評価します。

必須フィールド： attack
任意フィールド： satellites, detector

`sweep`#

クロックパックのパラメーターに対する1次元のトレードスタディ掃引。

必須フィールド： parameter, metric, start, stop, steps, base
任意フィールド： scale

`sweep-nd`#

ドット区切りの TOML キーまたは JSON メトリクスパスによる、任意のパックに対する汎用の N 次元掃引。

必須フィールド： base, axes, metrics
任意フィールド： （なし）

`gravity-map`#

GPS が使えない環境での重力マップマッチング航法：冷却原子重力計が、通過する重力異常の系列から INS の一定のドリフトを復元します。

必須フィールド： nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
任意フィールド： coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

`terrain-nav`#

GPS が使えない環境での地形参照航法（TERCOM/SITAN）：電波高度計・気圧高度計の地表標高プロファイルを SRTM 方式の DEM と照合し、INS のドリフトを復元します。

必須フィールド： dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg
任意フィールド： refine_stages, refine_factor, noise_seed

`terrain-slam`#

GPS が使えない環境での逐次（再帰）地形参照航法：パーティクルフィルタがエポックごとに地形照合の測定モデルを実行し（実行中のフィルタとしての SITAN）、軌跡に沿って時間変化する INS ドリフトを追跡します。バッチ方式の terrain-nav が復元できるのは、単一の一定オフセットだけです。

必須フィールド： dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_rate_lat_deg, drift_rate_lon_deg, altimeter_sigma_m, map_sigma_m
任意フィールド： n_particles, init_pos_sigma_deg, process_sigma_deg, resample_ess_frac, seed

`combined-altpnt`#

GPSが使えない状況での、重力・磁気・地形を組み合わせた航法装置：三つのスカラー場チャンネルをウェイポイントごとに融合し、どの単一の場よりも鋭い（CRLBの低い）ドリフト補正を得ます。

必須フィールド： start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
任意フィールド： coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

`pvt`#

実観測による単独測位：RINEX 3 の観測ファイルと放送航法ファイル（コード疑似距離、放送エフェメリス、Klobuchar 電離層、Saastamoinen/Niell 対流圏）から受信機の位置を解き、必要に応じて測量済みの座標と照合して確認します。

必須フィールド： obs_rinex, nav_rinex
任意フィールド： truth_ecef, apriori_ecef, mask_deg, dual_frequency

`mars-pnt`#

深宇宙の火星PNT：シミュレートした MARCONI リレーコンステレーション（一方向の送信と、深宇宙局への双方向の中継を行う静止軌道型と傾斜軌道型のリレー）が、一方向と双方向の電波測定を統合した推定器を通じて、基準ユーザー（transfer | lmo | surface）を航法します。エポックごとのジオメトリと可視性、真値に対する達成 RMS、形式共分散（1σ / 3σ の位置）を報告します。これはシミュレーションによる正直な性能指標であり、認証された保護レベルではありません。

必須フィールド： （なし）
任意フィールド： user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

`impairment-eval`#

機械学習による RF 障害検出の評価テストベッド（13494）：ラベル付きでパラメーターに基づく合成コーパス（nominal／jamming／spoof-time／spoof-position／multipath）を生成し、検出器（energy|agc|sqm|parity|fused）を検出器に依存しないハーネスで採点して、AUC／ROC／混同行列と、目標 Pfa でのクラスごとの Pd、さらに分布内と分布外の楽観性ギャップを報告します。MODELLED の動作特性のみ — 現場データや IQ は一切なく、良し悪しの判定もありません。

必須フィールド： （なし）
任意フィールド： seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol

`quantum-trade`#

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

必須フィールド： 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

`space-weather`#

宇宙天気の環境モデル：太陽（F10.7/F10.7a）と地磁気（Kp。定義上の Kp↔ap 表付き）の活動指数、それらが決める Jacchia-1971 の外圏温度（公表された太陽活動極小・平均・極大の値と照合して確認済み）、そして、昼夜平均の外圏温度での Jacchia-1971 の熱圏中性大気密度を、活動を含まない静的プロファイルと複数の高度で比較したもの — 静的な大気が省略している太陽周期による密度の依存性です。MODELLED：密度は、加速度計から導いた密度（TOLEOS の CHAMP と GRACE）と、太陽活動極大期には 2 倍以内で一致しますが、2008 年の太陽活動極小期には約 1.7 倍密すぎます。

必須フィールド： （なし）
任意フィールド： f107, f107a, kp, altitudes_km

`oem-interop`#

CCSDS OEM 相互運用ブリッジ：外部の飛行力学ツール（GMAT/Orekit/STK はいずれも OEM を出力します）が生成した Orbit Ephemeris Message を取り込み、そのセグメント、オブジェクト、座標系、エポック範囲と、速度の整合性チェックを報告します。入力がない場合は、生成した基準軌道を往復変換し、取り込みと書き出しの忠実度を報告します。MODELLED の構造的・物理的な取り込みチェックであり、元データの軌道精度の確認では「ありません」。

必須フィールド： （なし）
任意フィールド： oem_text

`launch-window`#

二体問題による打ち上げと上昇の幾何：打ち上げ方位角（sin Az = cos i / cos lat）、到達可能な最小軌道傾斜角、円軌道速度、地球自転による東向きの加算分、目標傾斜角が射場緯度より小さい場合のドッグレッグ面変更 Δv、そして一日あたりの打ち上げ機会の数。MODELLED の球形地球幾何（自転する地球の速度三角形の補正なし、上昇／抗力損失モデルなし）。

必須フィールド： （なし）
任意フィールド： site_lat_deg, target_inclination_deg, altitude_km, site_lon_deg, epoch, eop_finals2000a

`reentry`#

Allen-Eggers の弾道再突入回廊：指数大気中の、突入速度・飛行経路角・弾道係数に対する、最大減速度（弾道係数に依存しない V_e^2 sin|γ|/(2eH)）、最大 g での速度と高度、最大加熱の速度。さらに、重力、地球の曲率、US Standard Atmosphere 1976 を含む同じ弾道突入の平面質点積分（最大減速度、速度、高度と、最大時の時刻）も求めます。MODELLED の弾道（揚力なし）突入であり、加熱の出力は最大加熱の速度であって、熱流束ではありません（空力加熱・TPS モデルなし）。

必須フィールド： （なし）
任意フィールド： entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

`eo-coverage`#

地球観測ペイロードのフットプリントとカバレッジ幾何（SMAD の宇宙三角形）：軌道高度、傾斜角（既定では太陽同期）、センサーの FOV／IFOV から、地球角半径、観測幅、天底の地上サンプル距離、最大オフナディアアクセス、円軌道周期、J2 の昇交点周期、赤道上の地上軌跡間隔、および連続カバレッジのフラグを求めます。MODELLED の球形地球幾何（放射測定・MTF・大気・ジッター・太陽反射なし）；ノード間隔は R_e·(ω − Ω̇)·T_nodal で、J2 の一次永年変化率を用います。

必須フィールド： （なし）
任意フィールド： altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

`space-packet`#

CCSDS 133.0-B スペースパケットプロトコルのフレーミング：合成した TM/TC のパケットストリーム（6オクテットのプライマリヘッダー＋データフィールド）を符号化し、パケットごとのヘッダーのデコード、総オクテット数、符号化とデコードの厳密な往復を報告します。決定論的で厳密なビットレイアウトのフレーミングであり、機関のパケット形式の相互運用層です。適合性の認証ではありません（フラグ以外のセカンダリヘッダー、CRC、セグメンテーションの処理はありません）。

必須フィールド： （なし）
任意フィールド： apid, telecommand, packet_count, data_len

`attitude-budget`#

3-DOFの姿勢・指向誤差バジェット：最悪ケースの重力傾斜外乱トルク（(3/2)(μ/R³)ΔI）と、名前付きの1σ 寄与要因（センサーノイズ、リアクションホイールのジッター、熱、アライメント）に対する二乗和平方根の指向誤差バジェット、および支配的な項を、軌道高度と機体慣性の広がりに対して求めます。MODELLEDのスカラーAOCSバジェット — Basilisk/42に対するハードウェア前段階の補完であり、制御ループ、6-DoF、柔軟モードのシミュレーションではありません。

必須フィールド： （なし）
任意フィールド： altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

`passes`#

地上局のパス予測：円軌道（ウィンドウ開始時点の SGP4 平均要素）について、ウィンドウにわたり仰角マスクより上にある局に対する時間領域の可視パス（AOS/TCA/LOS、最大見かけ仰角、継続時間）と総アクセス時間を求めます。IAU 2006/2000A の地球固定座標系上の SGP4/SDP4 伝播（任意で UT1 - UTC と極運動）、ITU-R P.834-9 の対流圏屈折とダウンリンクの光行時間（どちらも既定でオン）を用い、交差は 1e-7 s まで解き、最大仰角は黄金分割探索で求めます。パスのジオメトリは、海面高度の局で Orekit 13.1.8 と照合して VALIDATED であり、シナリオの軌道と局は例示用の入力です。

必須フィールド： （なし）
任意フィールド： altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

`link-budget`#

CCSDS 401 / DSN 810-005 のリンク方程式に基づく片方向リンクバジェット：送信 EIRP、受信 G/T、距離、データレート、バンド（s|x|ka）に対する、自由空間伝搬損失、C/N₀、Eb/N₀、マージン、クロージャを、必要な Eb/N₀ と比較します。与えられた入力からの決定論的なエンジニアリング計算であり、較正済みの端末データシートではありません。

必須フィールド： （なし）
任意フィールド： band, eirp_dbw, g_over_t_db, range_km, data_rate_bps, other_losses_db, required_eb_n0_db, tsys_k

`lunar-time-budget`#

MODELLED のエンドツーエンドの協定月時刻（LTC）の時刻誤差バジェット：七つの LTC 誤差項を、平均化時間の格子全体にわたる時刻誤差曲線 x_i(τ) として組み立て、二乗和平方根で x_Σ(τ) にまとめ、増大するクロック項が一定のリアルタイム座標系実現の項を追い越すクロックと座標系の交差 τ（それより下では座標系が支配的、上ではクロックが支配的）を求めます — 単一 τ の成果物に対する誠実な答えです。τ の傾きは閉形式で解析的に確認でき（クロック τ^{+1/2}/τ^{+1}、下限 τ^0、測定 τ^{-1/2}）、クロックの行は公表された一日のクロック仕様（crate::clock_specs）を再現します。RF/光リンク、座標系実現、相対論的残差、エフェメリスの下限の大きさは、モデルから計算した（文書化した既定値で、呼び出し側が上書き可能な）バジェット配分であり、測定ではありません。寄与は再現可能な交差 τ であり、認証された項ごとの数値ではありません。運用上の時刻維持のために認証されたものではありません。

必須フィールド： （なし）
任意フィールド： clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab

`lunar-ascent`#

南極域の月面地点からランデブー軌道までの MODELLED の動力上昇と、軌道へ引き継がれる位置・速度共分散（Artemis級）。lunar-descent の軸ごとの五状態の慣性誤差モデル（位置、速度、加速度計バイアス、姿勢の傾き、ジャイロバイアスで、比力によって駆動される）は、フェーズが入るときの月面の状態から、地点の三つの軸すべてで実行します。ILLUSTRATIVE な LCNS 級コンステレーションの、見える中継衛星による AFS 位置測位解（単独、または lunar-differential-pnt の補正リンク残差を用いた差動で、見える中継衛星が三つのときはクロックを補助）を、明記した間隔で取得し、月時刻は機体のクロックと進行方向のタイムタグ誤差を通じて加わります。閉形式の慣性誤差源、補助の寄与、アブレーション、上昇中の航法の 1 シグマ、航法知識と並べたエンジン停止時の分散、そして位置・速度の相関を保った、投入時の完全な 6x6 MCI 共分散を報告します。MODELLED：例示的な IMU の等級、比力、中継衛星の組、停止時の分散。誤差は発射地点の軸で保持し、公称の離脱状態は代用です。機関による承認はありません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド： （なし）
任意フィールド： site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

`lunar-surface`#

アルテミス級の南極域の地点について、地点と季節ごとの、MODELLED の月面測位・タイミングの可用性。地点と季節（エポックとその後の時間窓）ごとに、中継衛星による測位（ILLUSTRATIVE な LCNS 級コンステレーションの中継衛星が四つ以上見え、PDOP がしきい値未満であること。moonlight-service-volume と同じ関数を使い、地形セクションがある場合は lunar-station-coverage の地形のレイマーチングによるスカイラインを使います）、地球と太陽が地点の地平線より上にあるか（解析的な太陽、月、月の向き。秤動を含み、季節とともに動くのはこれです）、そしてタイミングの可用性（中継衛星または地球が見えること）を報告し、どちらも見えない最長の区間、すなわち月面の時計が持ちこたえなければならないホールドオーバーも示します。単一地点の結果は、moonlight-service-volume の結果とビット単位で一致します。MODELLED：平均自転の月の上の、例示的なケプラー軌道の中継衛星群です。中継衛星の数値は季節で変わりません。地形は 1200 m の LOLA 切り出しです。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド： （なし）
任意フィールド： sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

`lunar-descent`#

南極域の着陸地点（アルテミス級）への動力降下に対する、MODELLED の着陸分散バジェット。水平軸ごとに、五状態の慣性誤差モデル（位置、速度、加速度計バイアス、姿勢の傾き、ジャイロバイアス）を降下時の比力で駆動し、逐次フィルターが、有効にした補助手段からの位置フィックスを取り込みます。補助手段は、ILLUSTRATIVE な LCNS 級コンステレーションの可視中継衛星からの AFS フィックス（単独、または lunar-differential-pnt の補正リンク残差を使う差分方式で、可視の中継衛星が三つのときは時計を補助します）と、地形相対フィックス（合成起伏に対するクレートの TERCOM/SITAN マッチャー、または実際の LOLA 南極域 DEM の標高窓をマッチングする場合のクラメール・ラオ下限）です。月時刻は、フィックス時点の機体時計（lunar-time-offset の LTC-TT オフセット、または公表された帯域の不確かさ）と、沿軌道方向のタイムタグ誤差として入ります。報告するのは、3-sigma の着陸楕円、R95、閉形式の慣性誤差源、各補助手段の寄与、補助手段のあらゆる組み合わせのアブレーション、楕円のモンテカルロによる較正、そして引き継ぐ共分散です。MODELLED：IMU クラス、中継衛星の構成、降下プロファイル、誘導項は例示的なものです。地形航法は地球のメートルスケールの合成起伏を使います。AFS の可用性は、平坦なマスクでの一エポックのものです。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド： （なし）
任意フィールド： site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

`lunar-orbit-rendezvous`#

低い月周回軌道または楕円の極軌道（アルテミス級）でのオリオン・着陸機型のドッキングに対する、MODELLED の相対航法。チェイサーとターゲットは、クレートの月力モデルのもとで同じ軌道を飛びます。弧全体にわたる 21 パラメータの結合バッチ Gauss-Newton 推定（二機の状態と持続的な信号空間バイアス）が、ILLUSTRATIVE な LCNS 級の中継衛星群から機体ごとに得る絶対位置フィックス（月の裏側に隠れた中継衛星は除外し、四つ必要で、機体間で共通モードの信号空間誤差は打ち消されます）と、クロスリンク測距を融合します。測距精度は、LunaNet AFS パイロットに対するコード追尾下限から求めます。報告するのは、ターゲットの LVLH 軸における相対位置・速度誤差の形式値とモンテカルロ値、フィックスの可用性、期待値に対する正規化推定誤差二乗の平均、反復が収束しなかった試行、重力調和項を無視した場合のドリフト、そして引き継ぐ 6x6 共分散全体です。円軌道の場合には、閉形式の Hill/Clohessy-Wiltshire チェックを適用します。MODELLED：中継衛星の構成、誤差バジェット、事前分布は例示的なものです。真値と推定器は一つの力モデルを共有するため、NEES が確認するのは自己整合性であり、モデル誤差ではありません。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド： （なし）
任意フィールド： orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree

`hybrid-optical-rf`#

MODELLED の、異種の光学＋RF PNT の結合性能指標（P5）：1550 nm の往復光リンクバジェット（光子制限の往復測距 CRLB σ_τ/√N と回折フットプリント λ/D·range）、位置と時刻の両方についての、モダリティ間の解分離 RAIM 保護レベル（共分散の異なる疎結合 RF 解と密結合光学解を融合）、N 局の光学晴天可用性（独立和集合 1−Π(1−a_i) と空間相関を持つ変種）、証明されたビット連続（ジャンプなし）の平均と NEES χ² 整合性ゲートを備えた光学↔RF の状態／共分散ハンドオフ、そして相関の扱いを含む結合スコア P(可用かつ精密グレードかつインテグリティ保証)。VALIDATED の閉形式：測距 CRLB、回折フットプリント、χ² 保護レベル分位点、和集合の組合せ論、ハンドオフの平均連続性＋NEES ゲート、そして結合の独立積。MODELLED：光学損失の配分、RF／光学の σ の大きさ、雲気候値の入力、相関、P_HMI バジェット。認証を受けた可用性／インテグリティ製品ではありません。

必須フィールド： （なし）
任意フィールド： wavelength_nm, tx_power_w, tx_aperture_m, rx_aperture_m, range_km, pulse_rms_ps, integration_s, atmospheric_loss_db, pointing_loss_db, optics_efficiency, detector_efficiency, two_way, rf_pos_sigma_m, rf_vertical_sigma_m, rf_clock_sigma_s, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, alert_limit_t_s, grade_pos_m, grade_time_s, n_optical_sites, site_correlation, fom_correlation, handoff_inflation, p_hmi, fault_ramp_rate_pos_m_s, fault_ramp_rate_clock_s_s, process_noise_pos_psd_m2_s, process_noise_clock_psd_s2_s, coast_coverage_k, rf_band, rf_eirp_dbw, rf_g_over_t_db, rf_other_losses_db, rf_data_rate_bps, rf_required_eb_n0_db, rf_chip_rate_hz, rf_correlator_spacing_chips, rf_dll_bandwidth_hz, rf_tracking_threshold_dbhz, rf_degraded_margin_db

`cislunar-observability`#

MODELLEDの、平面の地球・月間空間（シスルナー）コンステレーションの可観測性（P6）：衛星間レンジングを用いて、微分補正した四機の平面DROコンステレーションを追尾し、弧によって宇宙機の四状態[x,y,ẋ,ẏ]のどこまでが可観測になるかを報告します。出力は、(1)単一のレンジのみのリンクについてのランクと弧長の表（瞬時にはランク1で、弧が延びるにつれて四状態の全体に向かって増加：P6 Table 1）、(2)弧にわたる可観測性グラミアンの固有スペクトルと条件数、(3)レンジのみとレンジ＋レンジレートの瞬時ランクの比較（ドップラーという設計上の手段）と、レンジのみでは特異、レンジ＋レートでは定義されるGDOPの報告、(4)可観測ランクが四に達する弧のところで、事後共分散が有限かつ良条件になる、独立したSRIFのクロスバリデーションです。VALIDATEDの中核：可観測ランクは、グラミアンの固有ランクとクロスチェックされた、ランクを明らかにする特異値しきい値です。固有スペクトルはスペクトル不変量（trace=Σλ、det=Πλ、Frobenius²=Σλ²）に従います。変分STMは、有限差分で照合済みのCR3BP STMです。レンジ／レンジレートのヤコビアン行は、有限差分で照合済みの解析的な偏導関数です（クレートの3-Dレンジレート観測量とクロスチェック）。四つの初期条件は、微分補正した平面DROで、厳密な周期性残差まで閉じ、逆行です。ランクの遷移は、クレートの平方根情報フィルターとクロスバリデーションされています（完全ランクのところで事後共分散が有限、cond(P)=cond(OᵀO)）。ランク不足のスナップショットはGDOP未定義（fim condition=inf）と表示され、でたらめな有限値になることはありません。これはpvt::solve_sppが適用する、特異な幾何に対するガードと同じです。MODELLED：コンステレーションの設計（DROのペリルーン振幅と位相）と、それが生む具体的なランクの推移。認証を受けた航法性能製品ではありません。

必須フィールド： （なし）
任意フィールド： mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

`conflict-resilience`#

MODELLEDの、階層型PNTの紛争下レジリエンス（P7）：係争環境のユーザーが複数のPNTレイヤー（オープンサービスのGNSS、広帯域GNSS、認証付きコンステレーション、補強中継機）を使い、各レイヤーには基本の可用性、1σ の精度、および共有されるジャミング／スプーフィングの脅威に対するベクトルごとの拒否脆弱性があります。強度をスイープするシード付きのモンテカルロが、各レイヤーを確率clamp(vulnerability·intensity·vector_weight,0,1)で拒否し、生き残ったものを閉形式の逆分散則 σ_fused=(Σ 1/σ_i²)^(−1/2)で融合し、全損失確率（すべてのレイヤーが拒否される確率）、融合誤差の中央値、強度に対するレイヤーごとの利用可能／拒否の統計を報告します。代表的なレジリエンス比（単一レイヤーと階層型の全損失確率の比）は、独立性の仮定のもとで~7x程度になります。次に、一因子ガウス・コピュラによる相関拒否のスイープを行うと、拒否の相関が高まるにつれてその~7xが1に向かって崩れることが示されます（相関は階層化を無力にします）。事前分布の感度ブロックは、mcdaのトルネード図、ディリクレ分布による脅威労力の再配分、パーセンタイル信頼区間によって、出典付きの脆弱性の事前分布にわたって代表値の範囲を求めます。VALIDATEDの中核：モンテカルロの全損失は、閉形式の独立積 Π_i p_deny_iに収束します（固定シードかつ大きなNでの、モンテカルロの標準誤差の範囲内）。逆分散融合は閉形式の恒等式です。ρ=0ではコピュラは独立モデルに帰着し、どの ρ でも各レイヤーの周辺拒否率が保たれます。MODELLED：レイヤーごとの脆弱性／可用性／精度の大きさは、出典はあるがモデルから計算した入力であり（JammerTest 2024、TEXBAT、EASA SIB、RTCA DO-229、LunaNet/IOAG — conflict_threat_paramsを参照）、具体的な~7xという大きさと、比と相関の曲線の形は、このパラメーター設定から導かれます。続く §4.2のベクトルごとの生存の内訳は、共有されるRFの脅威を、名前付きの四つのベクトル（ジャミング／スプーフィング／運動エネルギー／サイバー）に分解し、各ベクトルについて、利用可能なPNTの段階的劣化曲線S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0,1)))を報告します。VALIDATED：シード付きのレイヤーごとのモンテカルロはその閉形式に収束します。相関のあるRFベースラインでは、ジャミングが最も鋭いベクトルであり、RFの影響を受けない慣性レイヤーが決定的な生き残りです。認証を受けた航法可用性の製品ではありません。

必須フィールド： （なし）
任意フィールド： layers, intensity, correlation, trials, seed, primary_layer

`lunar-attack-surface`#

月面航法の信号セキュリティの攻撃対象領域（P1）：公開されている信号セキュリティ解析を、バイナリから到達可能な一回の実行にまとめます。報告するのは、（1）AFS の受信電力と、地上の GPS 基準に対するその電力の余剰、さらに、リンク入力（基準レベル x EIRP x 斜距離）にわたる本格的な多軸掃引としての 12-18 dB の感度帯域と、25 倍に丸めた値 / 28 倍に丸めない値の線形係数の整合です。改訂（規則 R4）：GPS 基準が -125 / -128.5（これらは dBm の値）から -155 / -158.5 dBW、すなわちジャミングモジュールがこれまで一貫して保持してきた ICD-GPS-200 の値に訂正されるまで、これは 15.6 dB の電力不足と 32 倍 / 36 倍の係数を報告していました。符号は反転します。モデル化した月面 AFS 信号は、地上の GPS L1 C/A より 14.4 dB 強く、弱くはありません。受信電力そのものは一ビットも動いておらず、線形係数は旧値をちょうど 1000 で割ったもので、これはちょうど 30 dB の dBm から dBW へのオフセットに相当します。（2）各スタンドオフでスプーフィング（J/S = 3 dB）と妨害（J/S = 30 dB）に必要な攻撃者の送信電力。これは J/S リンクの逆です。（3）実際の一様開口アンテナパターン（Airy [2 J1(x)/x]^2）の下での軌道上の捕捉フットプリント。高度に制限された半球未満のキャップであり、その縁は捕捉されません。（4）理想として主張した 3 dB のしきい値ではなく、計算したトラッキングループのスプーフィング捕捉プルインの結果（一致するコードのスプーファーが、与えられた電力優位とコードオフセットで、実際に DLL/PLL を引きずるか）。（5）持ち上げた地表送信機の、大気のない天体における幾何学的な地平線到達距離。（6）OSNMA/TESLA の認証バジェット（20 bit/s のオーバーヘッド = 50 bit/s の AFS 航法メッセージの約 40 %、鍵開示の遅延、2^-40 の偽造）。本文が空の場合は P1 のベースラインを再現します。すべての入力には既定値があり、上書きできます。VALIDATED の副次的な結果は、出典モジュールのオラクルを引き継ぎます（閉形式の dB 無線測定、逆 J/S の往復、Airy パターンと A&S のベッセル関数および球冠ジオメトリの比較、DLL/PLL のプルインと Kaplan & Hegarty の比較、球の接線による地平線の恒等式と eo_payload の比較、OSNMA SIS-ICD のフィールドサイズ）。MODELLED：代表的なジオメトリと電力の大きさ、および具体的な捕捉マップのセルの値。認証済みのセキュリティ製品ではありません。

必須フィールド： （なし）
任意フィールド： afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale

`realtime-frame-eop`#

リアルタイムの月フレーム・地球姿勢の予測バジェット：P4 表 1（フレーム誤差の整合性チェック — 後処理 ~0.27 m ↔ ~0.010 ms とリアルタイム ~15 m ↔ ~0.5 ms。各フレーム位置を L19 のレバーアーム Δr = D_EM·ω⊕·ΔUT1 により等価な UT1 誤差として表現）と表 2（予測期間に対する UT1 予測誤差の実測 — 実際の IERS finals2000A 系列から直接読み取った L18 の曲線。Bulletin A − Bulletin B の最終フロアと複数日の持続予測器の誤差を、それぞれ L19 で月フレームの位置に変換）、さらに L21 の二乗和平方根によるリアルタイムのフレーム誤差バジェット（EOP＋エフェメリス＋実現フロア）です。閉形式（L19 のレバーアーム、ω⊕ は CIO の地球自転角と相互確認）は VALIDATED、実データ（実際の finals2000A の行から読み取った L18 曲線）も VALIDATED です。MODELLED は、月リレーの OD 共分散の大きさとフレーム実現フロア（代表的な配分）、および持続予測器（IERS の運用用 Bulletin A のアルゴリズムではありません）です。認証を受けたリアルタイムのフレーム製品ではありません。

必須フィールド： （なし）
任意フィールド： epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

`aperture-duty-cycle`#

アパーチャのデューティサイクル：コンタクト計画が、可動アパーチャのプールに対して暗黙のうちに定める、航法と通信の時間配分。コンタクト計画（[[contacts]]のaos_s/los_sウィンドウのリスト。各ウィンドウは航法または通信を要求し、passes予測器が出力するものと同じaos_s/los_sの語彙を使います）、アパーチャの数、調停ポリシー（既定は航法優先、または通信優先、または非プリエンプティブな先着順）を受け取り、航法デューティ、通信デューティ、アイドルデューティ、およびセッションごとの途切れ（セッションが要求したが、どのアパーチャも対応しなかったコンタクト時間）を報告します。ウィンドウ境界に対する厳密な区間スイープにより、接するウィンドウは競合せず、アパーチャ秒が二重に数えられることはありません。航法、通信、アイドルのアパーチャ秒は独立に累積され、apertures*horizon_sに対して閉じます。レポートには、解決された調停ポリシーとその完全な定義、およびデューティと途切れの定義を明記します。調停ポリシーなしで引用されたデューティの数値は再現できないためです。MODELLEDのスケジューリング演算：アパーチャがサービスやセッションを切り替える際のスルー、再同調、切替の時間は計上されず、データ量、バッファ状態、エネルギー収支、リンクの成立は判断に影響せず、コンタクトウィンドウは入力であり、その幾何はそれを生成したものに依存します。地上セグメントのスケジューリング製品ではありません。

必須フィールド： （なし）
任意フィールド： apertures, arbitration, horizon_start_s, horizon_end_s, contacts

`lunar-jamming`#

月固有の RF ジャミング：例示的で公開情報に基づく Moonlight/LCNS クラスの月周回コンステレーションの上で、月面（または高い位置）のジャマーの下にある月面座標のユーザーについての、衛星ごとのジャマー対信号比、実効 C/N₀、ロックの喪失。既存のオープンなジャミング物理（jamming::j_over_s_db、effective_cn0_dbhz、rx_antenna_gain_db、lock_status、q_factor）と、既存の月の空のジオメトリ（lunar_service::LunarConstellation + topocentric、lunar::selenographic_to_mcmf）を組み合わせます。ジオメトリや無線測定を再導出することはありません。地球の jamming 種別とは異なり、信号の側は固定の受信電力ではありません。各衛星の等方受信電力は、それ自身のリンクバジェットの EIRP − FSPL（斜距離）であるため、J/S は月の距離と仰角に応じて衛星ごとに変わります。可視な（エポック、衛星）リンクごとに一行を報告します — 方位角、仰角、斜距離、J/S がその差となる二つの受信電力、J/S、公称と実効の C/N₀、ロックの状態 — さらに、その表の代わりにではなく、その表に並べて集約した性能指標と、同じ表を CSV 成果物として。出力されるすべての数値フィールドは、単位と出所の区分を持ちます。VALIDATED の副次的な結果は、出典モジュールのオラクルを引き継ぎます（Kaplan & Hegarty の §9.4 の耐ジャミング方程式と J/S リンク。tests/gnss_denied_jamming_resilience_reference.rs で外部参照されています。lunar_service の月のジオメトリ）。構成そのものは、独立した二つのリンクバジェットの経路（linkbudget::received_signal_power_dbw、異なる自由空間損失の式）と 1e-9 dB まで照合されています。MODELLED：例示的なコンステレーション、代表的な EIRP / ジャマー電力 / アンテナ利得 / 雑音温度、そして地形による遮蔽、マルチパス、AGC の動特性、適応ヌル形成がないこと。認証済みのサービス拒否製品ではありません。ジャマーを設定すると、レポートには、一つのスカラーから読み取った等値線ではなく、不確かさの帯を持つ拒否等値線も含まれます。具体的には、衛星ごとの表にわたる、測定された目的信号の C/N₀ 分布全体（n、最小値、p05、p25、中央値、p75、p95、最大値、平均、標本標準偏差、標本自身の非対称性）と、それらの各順序統計量で評価した等値線を、エンジンが認める拒否基準の両方のもとで示します。従来からの電力比基準（J/S = 30 dB、attack-surface と tracking-loop と同じ）と、ロック喪失基準（実効 C/N₀ が tracking_threshold_dbhz まで低下すること。このレポート自身のステータス列が使う基準）で、拒否平面の両方の軸（シナリオのスタンドオフで必要なジャマー EIRP、シナリオの EIRP での拒否スタンドオフ）について評価します。帯の端は contour(p05) と contour(p95) であり、標本自身の分位数に適用した同じ閉形式の写像です。標本に当てはめたシグマでも、中央値 ± k·標準偏差でもなく、標準偏差は連続性のために出力されますが、何にも使われません。追跡しきい値以下にすでにある分位数には、有限の拒否 J/S が存在せず、そのロック喪失の列は、数えた理由とともに null となり、切り詰めた半径が出ることはありません。

必須フィールド： （なし）
任意フィールド： n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer

`ins-trn-coast`#

INS/TRN 慣性航行誤差モデル：慣性航行時間に対する位置誤差を、想定したドリフト率を掃引するのではなく、IMU 係数から構築します。五つの増大要因 — 加速度計バイアス、重力を介したジャイロバイアスの傾き、速度ランダムウォーク、角度ランダムウォーク、走行距離に対するスケールファクター — を、それぞれ指定した緯度と高度で Schuler フィードバックを持つ九状態のローカルレベル慣性誤差モデルに通して伝搬し（短い慣性航行での先頭次数の法則 t²、t³、t^1.5、t^2.5、t¹/t² を併せて報告します）、明示した規則で合成します（既定は二乗和平方根、または線形和、または決定論的和と確率的 rss；三つすべてを毎回計算するため、選択が埋もれずに見えます）。呼び出し側が与える位置しきい値（既定では10 m と50 m）に達する慣性航行時間は、エンジン既存の二分法で求め、それぞれに支配的な要因を示す要因別内訳を付け、各要因単独の交差も代数的に反転して二つが一致するようにしています。地形参照航法モードでは、定期的な位置フィックスで慣性航行を抑え、各しきい値を保てる最大のフィックス間隔を報告します；位置のみのフィックスはフィックスをまたいで速度誤差と傾きを残すため、どのフィックス頻度でも常に慣性航行を抑えられるとは限らず、報告はゼロを返すのではなくその旨を述べます。MODELLED：IMU クラスの係数は代表的な帯域の値であって、データシートではなく、地形フィックスの残差は入力です。到達しないしきい値は、ゼロではなく、ステータス付きの null として報告します。認証を受けた慣性航法の性能製品ではありません。

必須フィールド： （なし）
任意フィールド： imu_grade, accel_bias_ug, accel_vrw_m_s_per_sqrt_hr, accel_scale_factor_ppm, gyro_bias_deg_per_hr, gyro_arw_deg_per_sqrt_hr, speed_m_s, ref_accel_m_s2, latitude_deg, height_m, combination, crossing_thresholds_m, grades, drift_band_lo_m_per_s, drift_band_hi_m_per_s, trn_fix_mode, trn_fix_interval_s, trn_fix_residual_m, mission_duration_s

`lunar-vlbi-fim`#

月VLBI局座標の共分散：lunar-vlbi 観測量の遅延偏微分を、明示的なスケジュール（基線 x エポック）にわたって積算してフィッシャー情報行列とし、これを逆行列にして、局座標の共分散と座標ごとの局 sigma として報告します。これは、想定した等方的な g = 3 の等分配係数にスカラーの遅延精密度を通して得る値ではなく、エンジンが計算した出力です。状態は地球固定（ITRS）の局座標を持つため、ヤコビアンは慣性系の偏微分を各エポックの GCRS->ITRS 行列で回転したものになります。これらの座標を観測可能にするのは地球の自転であり、レポートは地球固定の視線方向の掃引とビーコンの赤緯を、仮定せずに測定します。一つの観測は、両方の局が仰角マスクより上にある一組の（基線、エポック）で、重みは 1/delay_sigma_s^2 です。ランク、データム欠損、条件数、情報スペクトル全体、共分散行列、局ごと・軸ごとおよび3次元の sigma、自由網のヌル空間を、すべての実行で報告します。ランク落ちの場合、見出しの sigma は、ほぼ特異な逆行列から読み出さず、ステータス付きの NULL として公表します。同じスケジュールに対する等分配値 cdelay_sigma_ssqrt(g/N) は、計算値の横に比率とともに出力され、AM-HM により厳密な下限となる等方的トレース境界 sqrt(p/trace(M)) も併せて示します。したがって、この比率は、その仮定が捨てた異方性にあたります。遅延の閉包 tau_ik = tau_ij + tau_jk により、n(n-1)/2 本の基線のうち幾何学的に独立なのは n-1 本だけです。レポートは両方の本数を示します。MODELLED：月中心のエフェメリス、局の時計、対流圏、地球姿勢パラメーターは固定され、観測は独立として扱われます。そのため共分散は、縮小したパラメーター集合に対するクラメル・ラオ限界であり、セッション結果の予測ではありません。遅延 sigma、局座標、スケジュールは入力です。幾何学的遅延のヤコビアンが含まない偏微分（差分したシャピロ項）は、有限差分で測定して出力します。測地学の成果物ではありません。

必須フィールド： （なし）
任意フィールド： stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

`tracking-loop`#

追尾ループのロスオブロック：C/N0 からヒステリシス付きのロック/アンロック、ロック喪失までの時間、そしてコードと搬送波のオフセットレートの関数としてのスプーフィングのプルインを扱います。エンジンの既存の妨害と捕捉の基準は受信電力の比です（ジャマーは J/S = 30 dB で妨害し、スプーファーは 3 dB で捕捉します）が、実際のロス・オブ・ロックは電力比ではなく、ループのジッターに動的ストレスを加えると追尾しきい値のバジェットを超える点です。報告するのは次のとおりです。(1) 搬送波（Costas）とコード（非コヒーレント early/late）の 1-sigma 熱ジッターを C/N0 に対して示したもの（二乗損失を含む）。規定の規則 3sigma_PLL + theta_e <= 45 deg（15度ルールの三シグマ形式）および 3sigma_DLL + ramp lag <= d/2 chips と比較します。(2) 支配的なループを名指しした、ドロップとリロックの C/N0 しきい値。リロックのしきい値は、受信機が再プルインする際のより広い帯域幅から導出したものであり、断定したものではないため、ヒステリシス幅は 5log10(ratio) から 10log10(ratio) dB の間に入らなければなりません。(3) C/N0 のランプで駆動した、確認用の滞留時間を持つ二しきい値ロック検出器による、宣言されたロック喪失までの時間。これは物理的な位相脱出時間（サイクルスリップ間のビタビ平均時間。数百桁にわたるため log10 s で表します）とは別に報告します。(4) スプーフィングのプルイン限界：被害側のループが追従できるコードスルーと搬送波ドップラーレートの最大値を、両軸にわたるマップとともに示します。これは、それより速くスルーするスプーファーはループを捕捉せず、振り切ってしまうためです。(5) ループ動力学が示す妨害半径。既存の電力比による半径の代わりではなく、それと併せて報告し、両者の符号付きの差を独自の名前付きフィールド（denial_radius_delta_km）として、その定義を添えて示します。出力される数値フィールドにはすべて単位と出典の区分が付きます。VALIDATED な閉形式：搬送波とコードのジッター式、ループフィルタの縮約 sqrt(2B_nT)、一次のランプ遅れは、シード付きの合成 IF 上で先へ進めたエンジン自身の sdr コリレーターと照合しており（同じ数値に至る別の経路）、それぞれ 0.6 %、3.7 %、0.17 % 以内で一致します。サイクルスリップ時間の背後にある修正ベッセル関数 I0 は、標準の表の値と 1e-7 まで一致します。有効範囲の下限は、単に述べるだけでなく、表明しています：1 ms で約 32 dB-Hz を下回ると、実際の atan 弁別器は +-pi/2 の範囲で飽和し、どの線形理論よりも小さいジッターを測定します。MODELLED：ループ帯域幅、積分時間、コリレーター間隔、プルイン帯域幅比、確認用の滞留時間、ジャマー電力、アンテナ利得は、データシートの値ではなく、バンドの代表的な数値です。モデル化していないもの：発振器（アラン偏差）と振動によるジッター、フロントエンドの帯域制限、マルチパス、AGC の動特性、データビット遷移損失、外部アイディング、Costas のサイクルスリップ式に対する半サイクル補正。ループ動力学のもとではスプーフィングの捕捉に半径はまったくなく、支配的な制約は電力ではなくオフセットレートであるため、そのフィールドは数値をでっち上げず、理由を添えた null になります。認証を受けた受信機の性能製品ではありません。

必須フィールド： （なし）
任意フィールド： pll_bandwidth_hz, dll_bandwidth_hz, predetection_integration_s, correlator_spacing_chips, carrier_allowance_deg, code_allowance_chips, pullin_bandwidth_ratio, drop_confirm_epochs, relock_confirm_epochs, doppler_rate_hz_per_s, code_slew_chips_per_s, cn0_high_dbhz, cn0_low_dbhz, ramp_duration_s, jitter_table_cn0_dbhz, jammer_power_dbw, jammer_gain_dbi, rx_gain_toward_jammer_db, rx_gain_toward_sat_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, jammer_type, q_override, denial_js_threshold_db, capture_js_threshold_db, spoof_code_slew_chips_per_s, spoof_doppler_rate_hz_per_s

`araim-reference-check`#

公開されたARAIM認証用の参照ベクトル：エンジンのARAIMの水平・垂直保護レベルを、WG-C ARAIM Technical Subgroup自身の数値例に対して、それらの文書自身が示す許容差（TOL_PL = 5e-2 m）で実行します。二つのベクトルがフィクスチャとしてコミットされており、それぞれに取得URL、取得日、ソースファイルのSHA-256、ページが付いています。Reference Airborne Algorithm Description Document v3.1（2019）のAppendix D（自己整合しており、受け入れ用のベクトル）と、Milestone 3 Report（2016）のAnnex A section A.IX（研究の文献リストが引用する記述）です。公開されているすべての入力（10機の衛星、2コンステレーションの幾何行列、C_intとC_accの分散の対角成分、b_nom、P_sat、P_const、LPV-200の定数セット）と、公開されているすべての出力（VPL、HPL、EMT、sigma_v_acc、K_fa_3、および二つのコンステレーション故障モードのsigma_3、sigma_ss_3、b_3）は、エンジン自身の数値およびそれらの絶対差とともに報告されます。保護レベルの方程式はここで解き直すことはありません。参照のモードリストをエンジンの既存のraim::araim_protection_level / araim_integrity_riskに渡しているため、試験対象の二分法とガウス裾の代数はエンジン自身のものです。幾何、部分解、検出しきい値、公開された予算配分だけが、そのために構築されています。2019のベクトルに対して外部で確認済み：VPL 18.2926 mに対し公開値18.3 m、HPL 13.4063 mに対し13.45 m、EMT 7.2997 mに対し7.2998 m、sigma_v_acc 1.3694 mに対し1.3694 m、そして公開されている六つの中間値はすべて、最後に印字された小数桁の半単位以内です。2016のベクトルには、報告書が隠さず明記している内部の欠陥が二つあります。Gの行3の符号の誤植と、文書がN_fault_max = 1（12モード）と述べているのに57の故障モードで評価されたK_fa_3です。そのため、幾何の中間値は正確に再現される一方、保護レベルは測定された不一致として報告され、受け入れの数値からは除外されます。これらを吸収するために許容差が広げられることはありません。出力されるすべての数値フィールドには単位と出所の区分が付き、転記した数値にはpublishedのラベルが付くため、計算値と取り違えることはありません。適用範囲：実装されているのはN_fault_max = 1（単一衛星および単一コンステレーションの故障モード）のみで、事前確率が複数事象の同時故障の部分集合を必要とするケースは、黙って切り捨てるのではなくREFUSEDとします。参照アルゴリズムの故障検出、除外、カイ二乗整合性チェック、二重計上の再配分ステップは対象外です。これは公開された参照アルゴリズムの数値例を再現するものであり、認証、耐空性に関する成果物、承認ではありません。

必須フィールド： （なし）
任意フィールド： vector

`lunar-frame-campaign`#

注入した変換ではなく、シミュレートした観測キャンペーンによって駆動される、七パラメーターの Helmert（相似）座標系データム。地上局のネットワークが、明示したスケジュールに従って月面ビーコンのカタログを観測します。月 VLBI の遅延偏微分はそのスケジュールにわたって蓄積され、lunar-vlbi-fim とまったく同様にビーコン座標のフィッシャー情報行列になります。その情報は、カタログ点での Helmert の計画行列 A = [I3 | [p]_x | p] を通して、データム共分散 H = A^T M_b A に伝搬され、crate::fim::crlb で診断されます。変換は一切注入されず、仕込んだ答えから回復されるものも何もないため、報告されるデータム精度は観測計画から導かれます。遅延のシグマを半分にすれば、精度はちょうど半分になり、弧を長くすれば精度が向上します。これは、レポートが測定する秤動（sub_earth_direction_sweep_deg）が、視線方向のビーコン座標を天球面内のものから切り離すためです。ランク、データムの欠損、条件数、スペクトル全体、七パラメーターの基底における観測不能な方向、フルランクでも最も弱い方向、およびその方向への各パラメーターの寄与は、すべての実行で出力されます。キャンペーンが拘束しないパラメーターは、ほぼ特異な逆行列から読み出されることはなく、ステータス付きで NULL として公開されます。ビーコン誤差の相関は、仮定されるのではなく、測定されます。局を固定した場合、どの観測も二つのビーコンに関わらないため、情報行列は厳密にブロック対角になります（offblock_fraction 0）。局を推定する場合は、シューア補元で周辺化したブロックが結合し、誘起された相関が表示され、それを捨てて伝搬全体が再実行されるので、独立性の仮定の代償は数値として得られます。等方的な座標ごとのシグマの下での同じ伝搬と、lunar-frame-realisation シナリオが報告する回復誤差は、どちらもここで実行され、キャンペーンの値と並べて、その比とともに表示されます。MODELLED：ビーコンのカタログは出典付きですが、キャンペーンはシミュレートです。局のネットワークと遅延のシグマは例示的な入力であり、個々の遅延観測は独立として扱われ、月中心のエフェメリス、局のクロック、対流圏、地球姿勢パラメーターは固定されるため、データム共分散は、縮約したパラメーター集合に対するクラメール・ラオ限界です。測地学的な成果物ではありません。

必須フィールド： （なし）
任意フィールド： stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

`lunar-llr-datum`#

シミュレートしたものではなく、実際にアーカイブされた観測キャンペーンによって駆動される、七パラメーターの Helmert 月面座標系データム。lunar-frame-campaign は注入した変換を取り除きましたが、局のネットワーク、スケジュール、観測ごとのシグマはILLUSTRATIVEな入力として明示していました。この種別は、その三つすべてを測定から取ります。エポックは、アーカイブされた ILRS Consolidated Laser Ranging Data のノーマルポイントの地上送信時刻、観測は月面の五つのレトロリフレクターアレイに実際に発射されたレーザー測距、そしてすべての観測の重みは、そのノーマルポイント自身がファイルに記録している精度 bin_rms/sqrt(n_raw) です。局座標は IERS ITRF2020 の SLR 解（公表された速度でエポックまで伝搬）から、リフレクター座標は、IAU 2015 WGCCRE モデルが実現する平均地球 / 平均自転座標系での JPL DE430 の Table 7 から得ています。測距の偏微分は、リフレクター座標の結合したフィッシャー情報行列に蓄積され、同じ Helmert の計画行列を通してデータム共分散に伝搬され、crate::fim::crlb で診断されます。ランク、欠損、条件、スペクトル、七パラメーターの基底における観測不能な方向、フルランクでの最も弱い方向、およびその方向への各パラメーターの寄与は、すべての実行で出力され、拘束されないパラメーターはステータス付きで NULL として公開されます。アレイ間の相関は、仮定されるのではなく、ちょうどゼロで MEASURED です。レーザー測距は一つのアレイにしか関わらないためです。カタログが位置を決められない記録 — 公表された ITRF 位置のない局 — は、スキップされて数えられ、代用の座標が与えられることはありません。どのリンクが MEASURED で、どのリンクが MODELLED であるかが、レポートそのものであり、脚注ではありません：月中心のエフェメリスと IAU の天体姿勢はモデルから計算したままで、その合成した大きさは、使用したすべての点にわたる、観測値から計算値を引いた片道の距離残差として出力されます。対流圏、固体潮汐、局の偏心、極運動、UT1-UTC、相対論的遅延、局のクロックは含まれず、その残差の内側にあります。エフェメリスの誤差は、各視線方向を通してのみ共分散に届くため、すべての実行は、すべての偏微分を sensitivity_tilt_deg（符号は交互）だけ傾けてデータム全体を再び解き、その比を出力します。したがって、モデルから計算したエフェメリスに対する共分散の鈍感さは、議論ではなく数値です。シミュレートしたキャンペーン自身の数値は、転記されるのではなく、実行されて、測定された数値と並べて表示されます。MODELLED：七パラメーターの数値は、実際のスケジュール上の縮約したパラメーター集合に対するクラメール・ラオ限界であり、解いたデータムでも、LLR の解析でも、測地学的な成果物でもありません。コミット済みの実データのスライスはリポジトリに同梱されていますが、公開されたクレートには含まれません。data_dir をそのコピーに向けてください。

必須フィールド： （なし）
任意フィールド： data_dir, normal_points_dir, reflectors_path, stations_path, dut1_s, rel_tol, compare_simulated_campaign, sensitivity_tilt_deg, planetary_kernel_path, extra_reflectors, extra_beacons, extra_earth_elevation_mask_deg, beacon_campaign

`lunar-beacon`#

月周回の航法サービスに対する地表ビーコンによる補強を、実行可能な前後比較の表として示します。南極域のユーザーには、まばらな周回衛星の集合が空の狭い領域に見えるため、測距ジオメトリは悪条件になります。少数の測量済みの地表ビーコンが、すべて頭上にある集合には欠けている、低仰角で広い方位角の視線方向の行を補い、水平方向の精度低下率は大きく低下します。このシナリオは一つのエポックにおける三つの構成を報告します。衛星のみ、衛星と可視ビーコン、そして同じジオメトリに至る別の経路としてのより大きなコンステレーションです。それぞれに、可視ソースの数、完全な DOP、そして、クロック同期、マルチパス、測量の各項の二乗和平方根として組み立てたビーコンごとのユーザー等価測距誤差を掛け合わせて得られる、メートル単位の実現 1 シグマ精度が付きます。ビーコンの可視性は大気のない月における二つの高度での幾何学的な地平線です（大気がないため、境界は厳密です）。DOP の組み立ては、tests/dop_reference.rs で gnss_lib_py とクロスチェックしているものと同じカーネルです。この種別が存在する理由：その背後にあるモジュールは L08/L09 以来エンジンに入っており、独立した DOP の経路と照合されていましたが、実行から到達できませんでした -- 種別も、ディスパッチの分岐も、同梱ファイルもありませんでした。README はこの機能をうたっていましたが、検証マトリクスにはその行がまったくなく、そのため散文では主張されながら台帳では主張されておらず、しかもエンジンからは到達できませんでした。既定値は、すでにコミット済みのゴールデンを持つジオメトリです（-80 度のユーザーに 2 m のアンテナ、-80/0、-79/+60、-79/-60 の三つのビーコン（2 km）、t=0 における六機の例示的な LCNS スナップショット、5 度のマスク）。そのため、何も指定しない実行は、新しい数値を作り出すのではなく、オラクルがすでにカバーしている表を再現します。MODELLED：コンステレーション設計、ビーコンの配置、およびすべての誤差バジェットの大きさは例示的な入力であり、実際に運用されている測量や測定されたリンクではありません。外部に裏付けられているのは、DOP の演算、地平線の閉形式、シグマ = DOP x sigma_URE の関係のみです。サービス性能の確約ではありません。

必須フィールド： （なし）
任意フィールド： user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m

`earth-gnss-lunar`#

月までの距離での地球GNSSの受信：コンフリクトレジリエンス論文が挙げているものの、エンジンにはモデルがなかった微弱信号レイヤーです。GNSS衛星はアンテナを地球に向けており、月の近くにいる受信機は軌道半径の約十五倍の距離にいるため、三つのことが同時に効いてきます。地球がボアサイトを遮ります：26,560 kmからは地球が13.9 degの半角で見えるため、月に向かう光線はどれも、少なくともそれだけ天底からずれて送信機を離れる必要があり、電力を計算する前にビームのピークが取り除かれます。残るのはメインローブの縁とサイドローブであり、LuGREペイロードが2025年に実際に動作したのはこの領域です。さらに、自由空間損失はL1で約208 dBであり、地上のユーザーが払うより約25 dB大きくなります。レポートは衛星ごとに一行（天底からの角度、地球による掩蔽、距離、経路損失、その角度での送信ゲイン、受信電力、搬送波対雑音密度）を出力し、追尾しきい値を超えるリンクだけを集計します。条件数（コンディショニング）も報告します。それがこのレイヤーを特徴づけるからです。見えている衛星はすべて、月から見て数度幅の円錐の内側にあるため、視線はほぼ平行で、DOP（精度低下率）は極めて大きく、月までの距離での地球GNSSによる測位解は、位置の観測というよりタイミング級の観測です。MODELLEDであり、その理由は送信パターンです：角度に対するゲインは一様な円形開口（エアリー）ですが、実際のGPS L1アンテナは、成形されたメインローブと非エアリーのサイドローブを持つ十二素子のヘリカルアレイです。実測のパターンは存在しますが、ここには同梱されていないため、順序や桁は意味を持つものの、個々の衛星のdBは意味を持ちません。意図的に含まれていないもの（いずれも、バジェットを楽観的にします）：地球の縁をかすめる光線に対する電離圏や対流圏の損失はなく、偏波、指向、実装の損失もなく、屈折による拡張のない球形の地球です。月の位置はエフェメリスの参照ではなく入力（距離と慣性方向）です。試験の対象はリンクとビームの幾何だからです。この行を、独立した外部の参照と照合して確認済みに格上げするには、実測の送信パターンとLuGREの標準点が必要ですが、どちらもリポジトリにはなく、ここで作り出してもいません。

必須フィールド： （なし）
任意フィールド： altitude_km, inclination_deg, planes, sats_per_plane, phasing_f, epoch_s, receiver_range_m, receiver_ra_deg, receiver_dec_deg, tx_power_dbw, tx_diameter_m, tx_efficiency, freq_hz, rx_gain_dbi, system_temp_k, tracking_threshold_dbhz, back_lobe_suppression_db, epochs, span_s

`lunar-infrastructure`#

航法・測地インフラとしての月の軌道と表面の MODELLED の研究。study で選択する一つの種別の下に五つの研究があります：od-consistency（NRHO または ELFO における搭載の地球 GNSS による軌道決定を、独立した地上電波計測による軌道決定と、シード付きモンテカルロにわたるそれぞれの共分散で判定）、carrier-phase（LAMBDA による、地表と周回機の結合した二重差の搬送波位相と整数値バイアスの決定）、frame-coestimation（七パラメーターの月面座標系データムのための、地球局測距への地表局と周回機の追加）、space-tie（一機の宇宙機上の GNSS、VLBI、レーザー測距で、座標系の結び付けの精度をローカルタイの誤差と比較）、geodesy-sensitivity（レーザー測距、周回機の追跡、地表重力計、地表クロックからの、月のラブ数 h2、k2、l2 と物理秤動のフィッシャー情報）。明示した単純化を伴う制限三体モデルです。数値計算は独立したプログラムと照合されており、月の量の測定値との比較は一切ありません。

必須フィールド： study
任意フィールド： seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

`cislunar-arc-recovery`#

地球・月間空間（シスルナー）の弧長可観測性しきい値に対する、MODELLEDの独立推定器テスト。そのしきい値は、解析的なレンジのヤコビアン行と解析的な変分状態遷移行列から組み立てた可観測性行列に対するランクの読み取りであり、その平方根情報フィルターによるクロスチェックも同じ行を畳み込むため、二つの数値計算機構の間の整合性チェックであって、裏付けではありません。この種類は欠けている裁定役を提供します。シミュレートした測定からチーフの初期状態を実際に回復するバッチ最小二乗推定器で、測定の偏導関数は、合成した順方向モデルの中心有限差分として求めます。解析的なヤコビアン行、変分STM、特異値分解や固有値分解、ランクの許容差、平方根情報フィルターは一切呼び出しません。tests/cislunar_arc_recovery_reference.rsのソーステキストガードによってこれが強制されます。一方、力学（同じRK4のCR3BPフロー）、初期条件（同じ微分補正済みコンステレーション）、スカラー観測量、エポックグリッドは意図的に共有され、出力されるindependenceブロックに明記されます。一つの物理問題に対する二つの解析は、比較できるようにするため、その物理について一致していなければならないからです。二つの基準があり、それぞれが固有の境界に対して五桁にわたってスイープされます。ノイズなし回復（シード付きの各試行の最終状態誤差が、事前の変位のrecovery_factor倍以下。特異値の許容差を含まない、ランクの類似物）と、モンテカルロの推定可能性（シード付きのノイズアンサンブルでのMEASUREDRMS位置誤差が、示された境界を下回ること。予測ではなくMEASUREDした、推定可能性の類似物）です。平面の四状態と空間の六状態、DRO／L2ハロー／L2 NRHOのファミリー、レンジとレンジレートの観測量、および月中心の極座標によるパラメーター化（変換を状態に適用し、順方向モデルをそこで再微分）に対応します。公開された平面DROグリッドでの実測：推定器は四状態を0.782609 hから回復するのに対し、ランク基準はrel_tol 1e-6で2.086957 hです（比0.375）。ランクのしきい値は、回復可能性の境界としては裏付けられていません。一方、実測した推定可能性の境界は、形式的な境界5.739130 hと同じグリッドセルに入り、実測した誤差曲線は、21個の弧長にわたって形式的な1シグマを、幾何平均比0.98で再現します。MODELLED：コンステレーションの設計、エポックグリッド、追尾する単一のリンク、変位の大きさ、測定のシグマ、示された二つの境界。認証を受けた航法性能製品ではありません。

必須フィールド： （なし）
任意フィールド： mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol

`telecom-timing`#

通信タイミング：GNSS ホールドオーバーの時刻誤差、最大時間間隔誤差（MTIE）、時間偏差（TDEV）を ITU-T マスクに照らして確認し、マスクごとに PASS または FAIL とマージンを出します。入力は、合成ホールドオーバー（発振器プリセット -- ocxo、rubidium、caesium、csac のいずれかで、それぞれ名前の付いた公開 Microchip データシートの安定度、エージング、温度の数値を持つ -- に、GNSS 喪失時間、記録長、サンプル間隔を加えたもの。自走クロックは、ホワイト周波数雑音、フリッカー周波数雑音、データシートへのフィッティングに必要な場合はランダムウォーク周波数雑音、線形エージング、正弦波状の温度項を持ちます）か、インラインで与える [time_s, time_error_ns] の組の取り込み系列（ネイティブビルドに限り CSV ファイルも可）のいずれかです。マスク：ITU-T G.8272（07/2025）PRTC-A と PRTC-B（max|TE| はそれぞれ 100 / 40 ns、MTIE は表 1-2、TDEV は表 3-4）、G.8272.1（2024）Amd. 1（07/2025）の ePRTC ロック時（30 ns、表 1-2）と ePRTC-A ホールドオーバー（ロック期間で決まるホールドオーバー期間 H の間に 30 ns から 100 ns へ上昇する表 3 の時刻誤差エンベロープ、MTIE は表 4、TDEV は表 5）、G.8273.2（2023）Amd. 2（11/2025）の T-BC/T-TSC クラス A-C（max|TE|、定常時刻誤差、ローパスフィルタ後の MTIE と TDEV）とクラス D（max|TE_L| 5 ns。今後の検討に残されていないクラス D の数値はこれだけ）、G.8271.1（2022）Amd. 3（05/2025）の基準点 C（max|TE_L| 1100 / 600 / 100 ns と、MTIE の表 7-1 から 7-3）。勧告が今後の検討としているエントリーは、埋め合わせずに含めておらず、各レポートは未実装の項目を一覧にします。また、各最大時刻誤差バジェットを超えるまでの時間（既定値：ePRTC の max|TE_HO| 100 ns、ネットワークホールドオーバー割当 400 ns、基準点 C 1100 ns、クラス 4 の 1.5 us）、各マスクの限界値を付けた CSV 表としての MTIE/TDEV 曲線、数値フィールドごとの単位と出典のエントリーも報告します。VALIDATED：コミット済みのホールドオーバー系列に対する、allantools パッケージとの MTIE および TDEV 推定器の照合。MODELLED：マスク表は転記したものであり、合成ホールドオーバーはデータシートの最大値から作ったモデルで、いかなる機器の測定でもありません。適合性試験ではありません。

必須フィールド： （なし）
任意フィールド： seed, masks, budgets, holdover, series

`slot-timing`#

スロットタイミング：自由走行する時計が、時刻で割り当てられたルーティングまたはタスク割り当てのスロットのガード（スロットが許容する最大の絶対時刻誤差）から外れるまでの秒数、その時点での各項の寄与（支配的な項を明示：測位解の不確かさ、ホワイト位相雑音、ホワイト・フリッカー・ランダムウォーク・ランダムランの周波数雑音、残留周波数オフセット、温度、経年変化）、最後の測位解からの残り時間、測位解の遅延を差し引いて時計をスロット内に保つ最大の測位解間隔を求めます。発振器は、クラスの既定値（csac、uso、dsac、tcxo、ocxo、rafs：引用した一秒のアラン偏差一つと、仮定した赤色雑音フロア）、通信タイミングのデータシートのプリセット、インラインのデータシート（包絡としてフィットしたアラン偏差の最大値と、経年変化および温度係数）、またはインラインのMEASURED位相記録（重複アラン偏差を、ホワイト位相と IEEE Std 1139 の周波数変調の基底で重み付き最小二乗によりフィットするため、赤色雑音フロアは仮定ではなく実測となります）のいずれかです。データシートまたは記録が対応する最長の平均化時間を超える逸脱は、外挿として示します。任意のスプーフィングのセクションでは、軌道上の受信機のタイミング保護レベルを加えます：軌道速度と周期、単一の地上スプーファーがパスごとに衛星へ届く時間、時計支援モニターのフロアと CUSUM の検出遅延、条件付きの限界、指定した最大ランプレートのスプーファーが、衛星がその到達範囲を離れるか独立した確認が行われるまでに蓄積する引き込み量、そして各地上接触またはクロスリンクの確認がそのスプーファーから独立しているかどうかです。VALIDATED：当てはめた記録からのホールドオーバー逆算は、水素メーザーに対して測定した実際のセシウム時計でホールドアウトしています（tests/slot_timing_cs5071a_holdout.rs、データ条件付き）。実測の水晶発振器では、ホールドアウトした予測は保守的ですが、基準には収まらないため、水晶の場合は MODELLED です。MODELLED：クラスとデータシートの出典、決定論的な項、そしてスプーフィングの評価。

必須フィールド： oscillator, slot
任意フィールド： spoofing

`spectrum`#

Lバンドのスペクトルモデルとウォーターフォール：GNSS の L バンド全体を一つの電力スペクトル密度（PSD）として、横軸を周波数、縦軸を時間とし、台本どおりのジャマーのタイムラインにわたって示します。信号：GPS L1 C/A と L2C（BPSK(1)）、Galileo E1 オープンサービス（MBOC(6,1,1/11)、または BOC(1,1)）、GPS L5 と Galileo E5a（BPSK(10)）で、それぞれの搬送波に、上書きしない限りインターフェース仕様の最小受信電力（IS-GPS-200、IS-GPS-705、Galileo OS SIS ICD）を与えます。GLONASS、BeiDou、Galileo E6 はモデル化していません。ジャマー：連続波トーン、平坦な狭帯域雑音、線形のこぎり波チャープ、各バンド自身の変調に合わせた広帯域雑音で、それぞれ中心、帯域幅、受信電力（直接指定、またはジャミングの種類の自由空間伝搬損失を通した EIRP と距離）、オン/オフ時刻を持ちます。各ジャマーは、受信機帯域幅にわたるスペクトル分離係数 kappa によって各バンドに対して評価され、(C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1 となります。ジャマーが一台の場合、これは Q = 1/(R_c kappa) としたジャミングの種類の耐ジャム式と等しく、レポートはこの相互確認（とその横にジャミングの種類の代表的な Q の値）を載せます。雑音フロアは k T_sys で、T_sys = T_ant + 290 K (F - 1) です。ウォーターフォールは各セルをそのビンと行にわたって平均します（チャープは厳密に、掃引全体と部分的な掃引を合わせて。行の途中で切り替わるジャマーはそのデューティで）。そのため C/N0 のタイムラインと画像は同じ数値から得られます。result.json は、電力でブロック平均したグリッド、行ごとのバンド別 C/N0 と J/S、そしてジャマーごと・バンドごとの SSC、Q、J/S、帯域内 J/S、定常 C/N0 を保持します。任意の [iq]：ある一時点でのモデルを複素 IQ として描き、SigMF 記録（cf32_le または ci16_le）に書き出して読み戻し、Welch 推定と比較します。任意の [recording]（ネイティブビルド）：実際の SigMF 記録の Welch PSD をモデルの横に示します。VALIDATED：信号の PSD は教科書的な主ローブ幅（BPSK(n) は零点間で 2n x 1.023 MHz、BOC(1,1) のローブは +/-1.023 MHz を中心）に照らして、スペクトル分離係数はその Parseval の閉形式と Kaplan & Hegarty の Q = 1（CW）および 1.5（整合）に照らして確認しています。MODELLED：ジャマーの電力、タイムライン、フロントエンドの帯域幅、連続スペクトル（符号線なし）の扱い、そして AGC、ブランキング、アンテナパターンを含まないこと。

必須フィールド： （なし）
任意フィールド： seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording

`solar-system`#

ある一つのエポックにおける太陽系全体を、任意の天体の周りの PNT（測位・航法・時刻）のために扱います。太陽、八つの惑星、冥王星、月、Phobos、Deimos、Io、Europa、Ganymede、Callisto、Titan について、ICRF（国際天文基準座標系、赤道 J2000）での太陽中心の位置と速度、太陽中心距離と J2000 黄道経度・緯度、重力定数、赤道半径と平均半径、公表されている場合は J2 とその基準半径、恒星自転周期、IAU の極とエポックでの本初子午線、一周にわたってサンプリングした軌道トラック（惑星は太陽中心、衛星は親天体中心）、そして観測者の天体（既定は地球）からの光行時間、片方向と双方向の距離、太陽の Shapiro 遅延、太陽との離角を報告します。追加の from/to リンクにも同じ処理を行います。位置：Standish と Williams による JPL のケプラー要素（1800 AD ～ 2050 AD は表 1、3000 BC ～ 3000 AD は表 2a/2b）と各惑星の公称誤差、地球と月の分離には Montenbruck & Gill の月の級数、火星と木星のガリレオ衛星には IAU の同期自転レートを用いた JPL の平均要素、Titan には IAU の自転モデルを使います。光行時間：放射測定の不動点解法で、送信側は遅延位置。ニュートン力学的で、Shapiro 遅延は別に報告します。公称誤差の二倍以内で JPL Horizons（DE441）と照合して VALIDATED：水星から土星および地球は表 1（最悪で公称の 1.87 倍）、八つの惑星すべては表 2a/2b（最悪で 1.71 倍）、そして地球から火星と木星への光行時間。MODELLED、各行にラベル付き：表 1 の天王星と海王星（DE441 に対する公称誤差の 2.0 倍と 5.2 倍）、冥王星（1992 の行。誤差の記載なし）、月と七つの衛星（Horizons に対して測定、公表された限界なし）。

必須フィールド： （なし）
任意フィールド： epoch, epoch_jd_tdb, bodies, observer, track_points, table, links

`body-pnt`#

太陽系の任意の天体の周りでの測位：名前で選んだ中心天体（火星、月、エウロパ、ガニメデ、タイタンなど、太陽系カタログの天体）の周りの周回機または地表ランダーが、その天体の周りの小規模なWalker航法コンステレーション（二体軌道に天体固有のJ2永年ドリフトを加えたもの、未知のユーザークロック）からの片道疑似距離を使って航法を行い、必要に応じて、クロック不要の深宇宙の地球からの往復レンジも使います。その方向と距離は、各エポックで解析的な太陽系エフェメリスから得られます。視線は天体の平均球で遮られ、地表のユーザーには仰角マスクも必要です。エポックごとに、視野内の中継機、地球が周縁より上にあるかどうか、コンステレーションのみのGDOPとPDOP（幾何および位置の精度低下率）、地球の行を含む場合と含まない場合の形式的な一シグマの位置不確かさ、およびそれぞれの場合のシード付きガウス・ニュートン最小二乗解の誤差を求めます。実行全体では、可用性、地球の可視率、PDOPの中央値、RMS誤差、形式的シグマの中央値に加え、そのエポックにおける地球と天体の間の光行時間、往復時間、シャピロ遅延、太陽との離角も求めます。MODELLED：中継機の軌道、ノイズレベル、瞬時測定モデルはモデル化上の選択であり、ミッションの航法データに対して検証されたものではありません。天体の定数はbody.rsに引用された公表値であり、地球の幾何は太陽系エフェメリスのラベルを引き継ぎます。

必須フィールド： （なし）
任意フィールド： body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

`constellation-design`#

大規模なコンステレーション設計：i: T/P/F表記によるWalker DELTAとWalker STARのパターン（ノードを360 degまたは180 degに分布、軌道面内の間隔360P/T、軌道面間の位相オフセット360F/T）、明示的な要素リストとマルチシェル設計、一つの実行内の複数のコンステレーション。地球、月、火星、またはその他の惑星、冥王星や主要な衛星を周回するもので、bodyモジュールの定数（太陽系およびbody-pntの種類が使うものと同じ）を用います。公表された公称要素からのプリセット：gps-baselineとgps-expandable（GPS Standard Positioning Service Performance Standard、2020年第5版、Tables 3.2-1 to 3.2-3の24スロットと、前後の六組の拡張可能なペア）、galileo（29,599.801 km、56 degのWalker 24/3/1。Galileo Open Service Service Definition Document issue 1.1 Tables 1 and 23）、beidouとbeidou-meo（21,528 km、55 degのWalker 24/3/1に、80、110.5、140 deg Eの静止衛星三機と、55 degの傾斜静止軌道衛星三機を加えたもの。BeiDou Open Service Performance Standard 3.0 section 4.1。MEOの位相と118 deg Eの傾斜静止軌道の交差は、規格が述べていないためモデル上の設定です）、およびglonass（GLONASS Interface Control Document edition 5.1 section 5.2のスロット式による19,100 km、64.8 degの24/3/1）。カバレッジとDOP（精度低下率）：緯度／経度グリッドと、仰角マスク付きのサンプリングしたウィンドウにわたって、セルごとの視野内の衛星数、GDOP、PDOP、HDOP、VDOP、セルごとの可用性（PDOPがしきい値以下、既定は6の測位解）を、全球（面積加重）と最悪地点で求め、clock = "common"でない限りコンステレーションごとに一つの受信機クロックを使います。数千機の衛星まで拡張できます。可視性は各衛星のカバレッジ半角に対する内積であり、衛星は各エポックで星下点の緯度によって帯分けされるため、グリッドの行は視野に入りうるものだけを検査し、レポートは節約した組検査の数を数えます。JSONには、グリッドマップと間引いた衛星ごとの地上軌跡が含まれます。VALIDATED：WalkerジェネレーターはGalileo OS SDD Table 23とGLONASS ICDのスロット式に対して、GPSプリセットはSPS PS Table 3.2-1に公表された赤道通過の列に対して、GPSベースラインの全球HDOP分布はSPS PS Appendix B（中央値0.94、95% 1.25、平均0.96、許容差0.03）に対して検証されています。MODELLED：任意で永年J2を含む二体軌道、球形の天体、幾何学的な可視性のみ（信号電力、ヘルス、地形は含まない）、および異なるシステム間の相対位相であり、これは実際のどの日付のスナップショットでもありません。

必須フィールド： （なし）
任意フィールド： body, duration_s, step_s, mask_deg, pdop_threshold, grid_step_deg, lat_min_deg, lat_max_deg, lon_min_deg, lon_max_deg, clock, j2, track_points, max_tracks, constellation

`campaign`#

キャンペーン：既存のシナリオの種類を一つの実行に組み合わせたもので、すべての数値は指定した種類の実際の実行から読み取ります。四つのセクションを任意の組み合わせで使えます。フェーズ：共有の一つのタイムライン上で連鎖するミッション。各フェーズは一つ以上のシナリオを実行し（例：ジャミング、次にスプーフィング、次に慣性航法装置が並走する中での時計のホールドオーバー、次にインテグリティ警報、次に回復）、その出力は、種類ごとのプリセットまたは明示的な結果パスによって、名前付きのチャンネル（ガードに対する時計の時刻誤差、追尾下限に対する搬送波対雑音密度比、警報限界に対する保護レベル、位置誤差、追尾中の衛星、警報フラグ）に読み込まれ、ゼロ次ホールドで共通のグリッドにリサンプリングされ、フェーズ境界とイベントも付きます。状態は、carry（チャンネルが前のフェーズの終了値から続く）、handoff（前のフェーズの数値をこのフェーズのシナリオに書き込む）、end_at（スプーフィングモニターの検出時刻など、実行が計算した時刻でフェーズが終わる）によって引き継がれます。スイープ：任意の種類のシナリオの、ドット区切りのキー一〜三個にわたるグリッド（整数のセグメントはテーブルの配列を指します。例：system.2.sisre_m）。指標は結果パスで読み取り、実行回数が一を超える場合は、すべてのノードでシード付きのモンテカルロのアンサンブルを行います。MONTE_CARLO：実現kはbase_seed + kで実行され、各指標は平均、標準偏差、最近順位法による5/50/95パーセンタイル、および平均に対する固定シードのブートストラップ95%信頼区間を報告します。合成：共有の値（一つのジャマーの出力と位置を、船舶と道路の受信機に書き込む）のもとでの複数のシナリオで、最良／最悪を合わせた要約が付きます。結果には、キャンペーンのハッシュ、すべてのメンバー結果にわたるダイジェスト、出力されるすべての数値に対する単位のエントリーが含まれます。相互運用のエクスポートは、幾何を持つ各メンバーシナリオを、それぞれ独立したファイルセットとして書き出します。合成に関する恒等性がテストされています。単一フェーズのキャンペーンはスタンドアロンの実行をビット単位で再現し、固定シードのアンサンブルはバイト単位で安定しており、白色周波数雑音の時計ではアンサンブルの平均が報告された区間の内側に収まり、ばらつきはsqrt(q_wf * tau)と一致します。MODELLED：加算的なcarryとゼロ次ホールドはモデル化上の選択であり、各フェーズには、それを実行した種類のラベルが付きます。

必須フィールド： （なし）
任意フィールド： title, seed, timeline, phases, sweep, monte_carlo, compose

`leo-signal`#

LEO-PNT 信号設計：任意のシステム、バンド、構造に対応する、パラメーター化した低軌道（LEO）の測位・航法・時刻（PNT）信号。SIGNAL は、バンド（中心周波数、送信帯域幅、ITU 割り当て RNSS/RDSS/MSS/EESS/non-RNSS/other）と、成分（捕捉、データ、パイロット。任意の部分集合）からなり、各成分は変調（小数の n を許す BPSK(n)、BOC(m,n)、MBOC(6,1,p)、または平坦な OFDM 風のバンド）、電力配分、任意の FDMA サブキャリアオフセット、コード長、データレートを持ちます。信号は、コンパイル済みの公開プリセットファイル（xona-pulsar、iridium-stl、starlink-soo、centispace、generic-c-band、generic-bands。それぞれ出典 URL を持ち、未公表の値はすべて REPRESENTATIVE と記されます）から得るか、インラインで記述します。信号ごと：帯域制限付きの電力スペクトル密度と、送信帯域が通す各成分の電力の割合（BPSK の閉形式を数値と並べて）、RMS（ガボール）帯域幅、C/N0 と early-late 間隔に対するディレイロックループのコード追跡熱雑音ジッター（Betz & Kolodziejski 2009 の帯域制限付きコヒーレント（または非コヒーレント）early-late 式から、帯域無制限の教科書的な形と、間隔が消える極限のガボール限界を添えて）、メートルでの測距精度、捕捉の探索空間（軌道の最大ドップラーと発振器およびユーザーの項から求めるドップラービン、にコードビンを掛けたもの）、二乗検波の検出確率と、直列およびコード並列の平均捕捉時間、その信号から GPS L1 C/A、Galileo E1、GPS L5、Galileo E5a、E5b、E5 AltBOC へのスペクトル分離係数と、それぞれからその信号への係数および C/N0 の劣化、そして追跡成分が許容する CW、広帯域、整合の J/S（スペクトル種別自身の SSC の仕組みから）。BAND TRADE：一次の電離圏遅延（40.3 TEC/f^2）、自由空間損失、等しい C/N0 と等しい EIRP での測距精度、ジャマー耐性。任意の SHAPE CHECKS は、設計のスペクトルを、記述された測定と照合します（MODELLED の整合性）。VALIDATED：BPSK のバンド内電力（メインローブに 90.3 %）とガボール帯域幅の閉形式、教科書的なコヒーレント early-late 形とそのガボール限界に帰着する帯域制限付きジッター、オフセット BPSK スペクトル分離係数とその Parseval の閉形式との比較、AltBOC スペクトルの単位面積、および最大 LEO ドップラーと公表された Xona Pulsar（32-34 kHz）と Iridium（36 kHz）の数値との比較。MODELLED：すべての設計、電力配分、C/N0、ジャマーレベル。EFQPSK、CSK、OFDM のスペクトルは近似です。

必須フィールド： （なし）
任意フィールド： presets, signals, receiver, acquisition, compatibility, trade, shape_checks, psd_points

`leo-pass`#

LEO-PNT（低軌道からの測位・航法・時刻）向けの、システムに依存しない、バンドごとの LEO パスとリンクバジェット：ユーザー（地上、海上、航空、屋内、静止または移動）と一機以上の LEO 衛星を、DESIGNED PASS（設計パス：ユーザーが選んだ時刻に選んだ最大仰角の一回のパスを見るように置いた円軌道、求めに応じて太陽同期）、明示的な軌道要素、エンジンの SGP4 を通した TLE（二行軌道要素セット）、または衛星コンステレーション設計コードが構築する Walker コンステレーション（最も高いパスを報告）から与えます。バンドは名前付きのプリセット（汎用マルチバンド UHF/L/S/C、汎用 C バンド、Xona Pulsar X1/X5、Iridium STL、ドップラーのみの機会信号としての Starlink、CentiSpace、およびWORKSHOPと明記した任意の Celeste IOD プリセット）から取るか、シナリオに書き込みます；各プリセットは、その数値がPUBLIC（URL 付き）、REPRESENTATIVE、またはWORKSHOPのいずれかを明記します。衛星、バンド、エポックごとに：仰角、方位角、距離、距離変化率、距離加速度；自由空間経路損失；EIRP と衛星パターンのゲイン（アイソフラックス、ガウスビーム、フラット）；仰角に対するユーザーアンテナのゲイン（パッチ、半球、等方）；気体減衰（ITU-R P.676-10 Annex 2）、降雨減衰（降雨強度と降雨高度からの ITU-R P.838-3 係数と P.618-14 手順）、対流圏シンチレーション（ITU-R P.618-14 節2.4.1）、屋内ユーザーの建物侵入損失（ITU-R P.2109-2）、偏波不整合、システム雑音温度と C/N0（搬送波対雑音密度）；距離変化率と距離加速度から閉形式で求めるドップラーとドップラー変化率で、それぞれ中心差分と照合；一次の電離圏遅延40.3 STEC/f^2 を、Klobuchar または鉛直 TEC の斜め TEC から、衛星より下の電離圏の部分に換算して求めます。バンドのペアについては、パスのピークで電離圏フリー係数、雑音増幅、コード雑音を求めます。MEO GNSS 衛星（Galileo または GPS のプリセット）は、インターフェース文書の受信電力から、同じアンテナ・雑音モデルで評価されるため、LEO の釣鐘形のパスと平坦な GNSS 搬送波が一つのプロットを共有します。任意の [iot] セクションは、指定した受信機の電力バジェットに対する、デューティサイクルごとの初回測位時間、一回の測位あたりのエネルギー、バッテリー寿命を与えます（MODELLED）。各バンドのペアは、その幾何フリー結合が復元する斜め TEC をピークで求め、その推定のコード雑音の sigma も与えます（電離圏探査）。任意の [spoofer] セクションは、開始後に真の位置から飛ぶか押し出される主張位置の信号を偽造し、指定した誤警報確率と見逃し確率で二つのモニターを実行します：ドップラーとパス幾何の整合性（軌道と独立した事前の位置・速度から予測した距離変化率に対する測定値、窓にわたる一般化最小二乗のカイ二乗検定、GNSS、LEO、全チャネルについて）と、バンド間の整合性（各 LEO バンドペアのモデル補正済み幾何フリー結合のエポック間のステップ）で、エポックごとの統計と各モニターが検出する時点を報告します（MODELLED）。VALIDATED の構成要素：自由空間損失、P.838-3 係数をその表5に対して、P.618-14 の降雨・シンチレーション手順と P.2109 の建物侵入損失を ITU-R Study Group 3 の検証例に対して、IS-GPS-200 の L1/L2 群遅延比、そして円軌道の静止ユーザーの最大ドップラーを arXiv 2509.19551 の表1に対して。MODELLED：EIRP、パターン、衛星より下の TEC の Chapman 割合、そしてパス全体。

必須フィールド： （なし）
任意フィールド： epoch, duration_s, step_s, user, atmosphere, ionosphere, satellite, leo_constellation, gnss, iono_free_pairs, iot, spoofer, name, description, skyline

`leo-navmsg`#

LEO 航法メッセージ：低軌道（LEO）の測位・航法・時刻衛星の放送エフェメリスと時計。任意の軌道、搬送波、モデルに対応し、名前付きのプリセット（Xona Pulsar、Iridium、Starlink、CentiSpace、代表的な C バンドシステム、ATOMIC ゼロクロックモデル、Celeste IOD）も任意で使えます。内容：補助データ（SVID、データ発行番号、バンド、信号健全性）、同期（週、週内時刻、toc まわりの二次の時計多項式 af0-af2）、四つのモデルのいずれかによるエフェメリス -- Galileo OS SIS ICD の16パラメーターのケプラー要素セット；そのセットに along-track、cross-track、radial の補正多項式を加えたもの；Liu ら 2025 の22パラメーターモデル；時計項のない ECEF 多項式（ATOMIC ゼロクロック）-- およびその他のサービス（Klobuchar の放送セット、実効電離レベルを伴う NeQuick-G ai0-ai2、ICD のうるう秒ロジックによる系統時刻から UTC へのパラメーター）。フィッター：選んだ次数までの帯状 J2-J6 または EGM2008 重力と抗力で積分した真値の軌道と、シード付きの自由または制御された時計；非特異要素に対するケプラー要素セットの Levenberg-Marquardt 当てはめ、続いて線形最小二乗の補正多項式；時計は、ユーザーが加える相対論項を差し引いて当てはめます。解析：fit-interval-trade（軌道高度に対する全球平均の重みを用いた信号空間距離誤差 SISRE を、当てはめ区間と更新周期に対して、軌道のみと時計込みで）、model-comparison（四つのモデル、パラメーター数、符号化ビット数、そして Liu らの高度での Kshana の当てはめを、公表されている数値と並べて）、midpass-update（ユーザー上空で最も高いパス、各メッセージ切り替えの位置・時計・ユーザー距離のジャンプ、最悪幾何でのジャンプ、連続性しきい値に対する PASS/FAIL）、encode-decode（CRC-24Q を持つ Kshana 独自の文書化されたバイナリフレーム、フィールドごとの半刻み量子化バジェット、破損フレームの検査、Kshana 拡張と明記した RINEX-4 形式のレコードのエクスポートとインポート、そして CSV 表）。VALIDATED：SISRE の重みを公表されている MEO/GEO の表（Montenbruck ら 2018）に対して；Galileo のユーザーアルゴリズムを実際の Galileo 放送エフェメリスについて RTKLIB に対して；CRC-24Q をそのカタログのチェック値と RTCM 1005 の例示フレームに対して。MODELLED：当てはめと SISRE の数値はすべて、Kshana が積分した真値に対する表現誤差です（軌道決定や予測の誤差はありません）；Liu らとの比較は異なる軌道を使っています；符号化とテキスト形式は Kshana 独自のものです。

必須フィールド： （なし）
任意フィールド： name, description, seed, analysis, preset, orbit, clock, message, trade, comparison, midpass

`leo-pvt`#

任意のコンステレーションにわたる、中軌道（MEO）と低軌道（LEO）を融合した測位・航法・時刻（PNT）：各 [[system]] は、constellation-design 種別の GNSS プリセット、LEO プリセット（xona-pulsar、iridium-stl、starlink-sop、centispace、generic-c-band、atomic-zero-clock エフェメリスモデル、または別のプリセットファイル。それぞれ独自のファイルを持ち、出典は PUBLIC、WORKSHOP、DERIVED のいずれかで示されます）、Walker シェル、または明示した軌道要素の集合のいずれかで、搬送波、チップレート、仰角マスクから天頂までの搬送波対雑音密度（C/N0）の包絡線、信号空間距離誤差（SISRE）、ドップラーのシグマ、クロックモデル（独自の受信機クロックでシステム間バイアスを推定するか、既知の放送オフセット）を持ちます。四つのモード。DOPPLER：距離変化率からのバッチ Gauss-Newton 測位で、解析的な偏微分、クロックドリフトと任意の速度状態、任意の高さ拘束を伴い、単一衛星または複数衛星で、窓長に対する誤差、各 LEO システムのドップラー、ドップラーレート、ジャークの包絡線、およびクロストラックオフセットに対する単一パスのアロングトラック精度とクロストラック精度を扱います（パスが真上に来るにつれてクロストラック誤差は際限なく増大し、単一パスには地上軌跡を挟んだ鏡像解も存在します）。ドップラーのみの機会信号（starlink-sop）はここで実行されます。JOINT：GNSS のみ、LEO のみ、両方によるエポックごとの重み付き最小二乗疑似距離測位解で、C/N0 でのディレイロックループの熱雑音モデルと SISRE から測定ごとのシグマを求め（または固定のシグマとし、信号モデルから与えることもできます）、推定したシステム間バイアスと、追加した LEO 衛星数に対する PDOP/HDOP/VDOP を扱います。POLAR：GNSS、LEO、両方についての、緯度に対する視界内の衛星数と DOP。TIMING：既知の位置にある LEO 衛星から協定世界時（UTC）への時刻伝送で、プロセスノイズがエンジンの発振器クラスに由来する二状態のクロックフィルターを用い、C/N0 と発振器に対して評価し、IS-GPS-200 のシステム時刻から UTC への式も扱います。[timing] で trace = true とすると、すべての行がエポックごとの時刻誤差と予測シグマも報告します。VALIDATED：真上から地平線までのパスの最大ドップラーを、公表された Iridium（最大 36 kHz）と Xona Pulsar X1（32 から 34 kHz）の数値と比較。MODELLED：それ以外のすべて。DOP は手計算で導いたケースと、測位解は共分散と、ドップラーモデルは距離加速度の恒等式と照合されています。

必須フィールド： （なし）
任意フィールド： mode, seed, duration_s, step_s, user, dll, doppler, joint, polar, timing, system, skyline

`leo-ppp`#

GNSS のみの場合と LEO 補強ありの場合の精密単独測位（PPP）の収束：電離圏フリーのコードと搬送波位相に対するフロート拡張カルマンフィルターで、静的な局座標、白色の受信機クロック、追加システムごとに一つのシステム間バイアス、1/sin(仰角) でマッピングされるランダムウォークの天頂湿潤遅延、衛星アークごとのフロートアンビギュイティを持ちます。精密な軌道・クロック誤差は白色で、衛星のコードと位相に共通のため、各衛星は Joseph 安定化形式の相関した二行の更新一つになります。測定値は、複数の観測局とシードにわたり、シード付きノイズを加えた同じモデルからシミュレートされ、各ケース（最初に GNSS のみ、続いて LEO システムの各 [[case]]、任意のコンステレーションまたはプリセット）は、収束時間の中央値（水平誤差と垂直誤差がしきい値、既定で 10 cm、を下回ったままになる最初のエポック）、収束した割合、誤差曲線の中央値、およびフィルターの整合性（実行ごとに平均した位置 NEES を両側 95% のカイ二乗帯域と比較したもの）を報告します。任意で、公表された Li et al.（2019、J. Geod. 93:749、doi 10.1007/s00190-018-1195-2）の中緯度の数値と並べて示します：マルチ GNSS の 9.6 分は、60、96、192、288 機の LEO 衛星で 7.0、3.2、2.1、1.3 分に短縮されます。MODELLED：傾向の整合性の比較であり、その研究のコンステレーション、ノイズ、観測局の再現ではありません。アンビギュイティ解決、サイクルスリップ、位相ワインドアップ、潮汐、時間相関のある製品誤差はありません。

必須フィールド： （なし）
任意フィールド： seed, duration_s, step_s, runs, criterion_horizontal_m, criterion_vertical_m, compare_li_2019, noise, site, gnss, case

`ntn-positioning`#

移動衛星サービス（MSS）S帯（3GPP バンド n256、ダウンリンク 2170 ～ 2200 MHz、既定のキャリア 2172.5 MHz）における5G非地上系ネットワーク（NTN）ダウンリンクからの測位です。各信号（既定では、占有 4.5 MHz の 5 MHz New Radio チャネルと、占有 180 kHz の 200 kHz 狭帯域チャネル）について、到達時刻のクラメル・ラオ限界（CRB）c / (2 pi beta sqrt(2 (C/N0) T))（beta は平坦な OFDM スペクトルの二乗平均平方根（ガボール）帯域幅 B/sqrt(12)）と、複素トーンのドップラーの限界 sqrt(3 / (2 pi^2 (C/N0) T^3)) を求めます。続いて、任意のLEOコンステレーションにわたり、未知の受信機クロックを含むダウンリンク到達時刻の測位解（シード付きで、限界とネットワーク同期誤差を sigma とする）、その PDOP と形式的な3次元 sigma、そして高度を固定した最長パスでの単一衛星ドップラー測位解を求めます。MODELLED：帯域幅から限界への段階は教科書的な閉形式であり、平坦な帯域制限BPSKスペクトルの数値積分に照らして確認しています（内部整合性であり、公表された具体的な数値には固定していません）。測位精度は、同期誤差を明示した、マルチパスのないチャネル上での限界であり、達成した結果ではありません。

必須フィールド： （なし）
任意フィールド： seed, carrier_hz, signal, integration_s, doppler_integration_s, cn0_dbhz, sync_error_m, user, duration_s, step_s, system

`leo-pnt-chain`#

任意のコンステレーションと信号に対応する、LEO-PNT（低軌道からの測位・航法・時刻）システムのエンドツーエンドの連鎖：signal_design で指定する leo-signal 設計（公開プリセットまたはインラインの [signal] 設計）が [pass] バンドの中心周波数、帯域幅、チップレート、EIRP の配分を決め、leo-pass のリンクバジェットがパス全体にわたる追跡 C/N0 と帯域制限付きのコードジッターを与え、sin(仰角) に対する C/N0 の直線と [navmsg] メッセージの放送 SISRE（パス衛星の高度で当てはめたもの）が、[fusion] の leo-pvt 統合測位解のすべての LEO システムに、また任意で [ppp] の leo-ppp ケースに渡されます。すべての受け渡しは値と単位とともに一覧されます。MODELLED。

必須フィールド： signal_design, pass, fusion
任意フィールド： name, description, seed, signal, navmsg, od_sisre_m, ppp

`contact-schedule`#

複数の衛星と複数の地上局に対する地上コンタクトの計画：見かけのアクセスウィンドウ（SGP4、IAU 2006/2000A地球固定座標系、ITU-R P.834屈折、光行時間）、各パスのDVB-S2 ACMデータ量（ETSI EN 302 307-1 Table 13のしきい値）、および競合のないスケジュール（折り返し時間を伴うアンテナごとに一つの衛星、衛星ごとに一つの地上局、各バックログを上限とする優先度加重の配信）。これを、限界価値の貪欲法、先着順のベースライン、小規模な集合に対する厳密な分枝限定法で求め、貪欲法の最適性ギャップも示します。MODELLED。

必須フィールド： （なし）
任意フィールド： epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

`acm-link`#

一機の衛星と一つの地上局：各パスの斜距離、仰角、パス沿いのEs/N0、各ステップで選ばれるDVB-S2のMODCOD（ETSI EN 302 307-1 Table 13のしきい値に実装マージンを加えたもの）、およびマスクで閉じる一定符号化のベースラインに対してACMが運ぶデータ量。MODELLED。

必須フィールド： （なし）
任意フィールド： epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

`aocs`#

宇宙機の姿勢制御：三つ以上の釣り合いのとれたリアクションホイールを持つ剛体ハブの慣性指向スルーを、MRPフィードバック（L = -K sigma - P omega）で行い、最小ノルムのホイールトルクを各モーターの上限でクリップし、RK4とゼロ次ホールドで計算します。オプションで、シミュレートしたジャイロ（角度とレートのランダムウォーク）とスタートラッカーから、乗算型EKFによるループを閉じます。整定時間、最終および最大の指向誤差、最大のホイール速度とトルク、飽和した割合、角運動量のドリフトを報告し、推定器を使う場合はその姿勢誤差とNEESも報告します。真の状態のループはBasilisk 2.9.1に対してVALIDATEDであり、推定器はMODELLEDです。

必須フィールド： hub_inertia_kg_m2, k_nm, p_nms, wheels, sigma0
任意フィールド： duration_s, dt_s, sample_s, omega0_rad_s, pointing_threshold_deg, estimator

`entry-heating`#

自転する球形の地球または火星上での3-DoF 質点による大気圏突入（弾道型、または一定バンクの揚力型）を、US76、指数関数型、または火星の大気を通して RK4 で計算し、Sutton-Graves 式による淀み点対流加熱（NASA TR R-376）を適用します：ピーク減速度、熱流束と動圧、熱負荷、ダウンレンジ、回転座標系でのエネルギー検査、そして並べて示す Allen-Eggers の閉形式。ピーク減速度は公表されている Stardust の公称値と照合しており、加熱は MODELLED です。

必須フィールド： （なし）
任意フィールド： body, atmosphere, rho0_kg_m3, scale_height_m, entry_interface_altitude_m, velocity_frame, entry_speed_m_s, flight_path_angle_deg, heading_deg, latitude_deg, longitude_deg, mass_kg, drag_coefficient, reference_area_m2, nose_radius_m, lift_to_drag, bank_angle_deg, rotating_planet, step_s, terminal_altitude_m, max_time_s

`eo-radiometry`#

天底撮像装置の放射測定と画質：ランベルト面シーンの開口面放射輝度、カメラ方程式、信号とショット／暗電流／読み出し／量子化雑音、および SNR；系全体の MTF（ナイキスト周波数、回折 x 検出器 x スミア x ジッター）、そこから求める相対エッジ応答、Q = lambda F/p、そして MTF 補償なしの GIQE バージョン4による NIIRS。MODELLED です。

必須フィールド： （なし）
任意フィールド： altitude_m, focal_length_m, aperture_m, pixel_pitch_um, wavelength_um, bandwidth_um, fill_factor, smear_px, jitter_px_rms, reflectance, solar_irradiance_w_m2_um, sun_zenith_deg, atmospheric_transmittance, path_radiance_w_m2_sr_um, optics_transmittance, integration_s, quantum_efficiency, dark_current_e_s, read_noise_e, full_well_e, adc_bits

`ascent-losses`#

自転しない球形の地球上での、多段機体の平面重力ターン上昇を、US Standard Atmosphere 1976を通して計算します（垂直上昇、ピッチキック、速度方向の推力）。重力損失、抗力損失、操舵損失、背圧損失を積分し、理想dvから損失を引いた値を燃焼終了時の速度と照合します。max-Q、最大加速度、燃焼終了時の状態も求めます。MODELLED。

必須フィールド： （なし）
任意フィールド： stages, payload_kg, drag_coefficient, reference_area_m2, kick_altitude_m, kick_angle_deg, kick_duration_s, step_s

`time-transfer-budget`#

静止中継衛星を介した二つの地上局間の双方向衛星時刻・周波数伝送：すべての非可逆項（局の機器遅延、Ku バンド電離圏、トランスポンダー、Sagnac）を含む T_A - T_B について双方向方程式を解き、タイプ A の項をシミュレートしたリンクの平均化時間での TDEV とする二乗和平方根の不確かさバジェット、ホワイト位相雑音とフリッカー位相雑音および日周の非可逆性を持つシミュレートしたリンク、そして与えられた BIPM Circular T 第 1 節の系列、MJD,ns 形式の CSV、または IGS RINEX の局クロック記録の安定度（レート、残差 RMS、TDEV、ADEV）を扱います。MODELLED。

必須フィールド： station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
任意フィールド： uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

`optical-atmosphere`#

大気を通る MODELLED の光PNTです。光リンクと、雲の気候を明示した地上局の集合について、波長と仰角に依存する晴天時の損失（Kim の視程則に Rayleigh を加えたもの）、Hufnagel-Valley の乱流状態（Rytov 分散、シンチレーション指数、ガンマ・ガンマのパラメーター、開口平均化）、リンクマージンに対する天候に左右される可用性（対数正規の液水気候から求めた雲の光学的厚さ、幾何光学的な減衰、独立した乱流フェージング）、目標の可用性に必要なリンクマージン、途絶時間の分布、時計のホールドオーバーモデルを通じた途絶ごとのタイミング誤差と測距誤差の増大、距離に相関するサイトダイバーシティの可用性、そして改善手法（波長、受信開口、補償光学によるシンチレーション低減、追加マージン）を用いた場合の利得の仮定計算を報告します。次の項目は、示した式の実装として、独立した mpmath のオラクルに照らして VALIDATED です：Rytov 分散、シンチレーション指数、ガンマ・ガンマのフェード確率、開口平均化係数、雲および晴天時の光学的厚さ。MODELLED：天候、手法、時計のすべての入力と、独立性およびコピュラの仮定。測定した可用性の記録との比較は行っていません。助言としての解析であり、認証を受けた可用性または航法の製品ではありません。

必須フィールド： （なし）
任意フィールド： wavelength_nm, elevation_deg, availability_targets_pct, link, atmosphere, site, network, technique, clock, timeseries

`holdover-test`#

タイミングシステムの 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 を参照してください。

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

`gnss-ssv`#

MODELLED の、宇宙サービスボリュームおよびその先での GNSS 可用性とリンク強度：球面上（ICG 小冊子のグローバルシェル）またはケプラー軌道上（LEO から月遷移軌道まで）のユーザーについて、衛星コンステレーションごと（GPS、GLONASS、Galileo、BDS、QZSS、NavIC）および全体で、C/N0 しきい値を超えて使える信号を数えます - 信号一つ以上および四つ以上の可用性、最大途絶時間、受信 C/N0、精度低下率、メインローブ対サイドローブのリンク - 小冊子、パラメトリック、またはユーザー提供の送信パターン、任意のリム経路電離圏・プラズマ圏・大気の効果、任意の微弱信号受信機設計を伴います；さらに HEO および月遷移機向けの搭載 GNSS 拡張カルマンフィルター（軌道力学、太陽放射圧、第三体、時計）と、単一差分疑似距離による複数機編隊の相対航法も含みます。事前登録のもとで ICG SSV 小冊子の表と照合（xval/gnss-ssv）

必須フィールド： shell|trajectory|navigation
任意フィールド： name, constellations, transmit, receiver, atmosphere, formation

`mission-thread`#

打ち上げから再突入までの、明示したミッションフェーズの連鎖についての、MODELLED の航法・タイミング誤差バジェット。打ち上げと上昇、低軌道でのランデブーとドッキング（繰り返し可）、月遷移軌道投入と地球・月間空間（シスルナー）の巡航、月周回軌道でのランデブー、降下、月面滞在、上昇、そして帰還と再突入で、各フェーズは、それぞれ固有のセンサーとフィルターを持つ、登録済みの八つの種別のうちの一つです。6x6 共分散、時計、座標系は、明示した規則（引き継ぎ、膨張、または再取得）のもとでフェーズ間を受け渡します。座標系と時間系の変換（GCRF、MCI、MCMF、UTC、TT、TDB、LTC）はそれぞれ独立したバジェット行で、月の状態は任意の DE440 カーネルの切り出しから、フォールバックとして明示した解析的な級数が使われます。任意の地上ネットワークのオーバーレイが、各フェーズの追尾デューティを設定します。報告するのは、フェーズごとのバジェット（入口、ピーク、出口の 1-sigma と、単位付きのすべての寄与）、明示した要求に対する余裕、最弱の連結、イベント、そしてタイムライン図です。MODELLED：すべての数値は明示した入力であり、連鎖は一つのスタックに従い、機体はモデル化していません。公開情報のみを使用しており、いかなる機関とも提携せず、承認も受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド： epoch_utc, entry, phase
任意フィールド： kind, title, seed, moon_kernel_path, ground_network

シナリオの種類

clock#

inertial#

orbit#

ephemeris#

integrity#

lunar-integrity#

lunar-time-offset#

lunar-vlbi#

lunar-joint-od-clock#

lunar-frame-realisation#

moonlight-service-volume#

lunar-differential-pnt#

lunar-station-coverage#

lunar-interop-export#

timetransfer#

quantum-anomaly-detect#

quantum-gnss-free-nav#

quantum-time-transfer#

hybrid#

fusion#

hybrid-ukf#

gnss-ins#

gnss-sim#

jamming#

spoof#

spoof-detect#

sweep#

sweep-nd#

gravity-map#

terrain-nav#

terrain-slam#

combined-altpnt#

pvt#

mars-pnt#

impairment-eval#

quantum-trade#

space-weather#

oem-interop#

launch-window#

reentry#

eo-coverage#

space-packet#

attitude-budget#

passes#

link-budget#

lunar-time-budget#

lunar-ascent#

lunar-surface#

lunar-descent#

lunar-orbit-rendezvous#

hybrid-optical-rf#

cislunar-observability#

conflict-resilience#

lunar-attack-surface#

realtime-frame-eop#

aperture-duty-cycle#

lunar-jamming#

ins-trn-coast#

lunar-vlbi-fim#

tracking-loop#

araim-reference-check#

lunar-frame-campaign#

lunar-llr-datum#

lunar-beacon#

earth-gnss-lunar#

lunar-infrastructure#

cislunar-arc-recovery#

telecom-timing#

slot-timing#

spectrum#

solar-system#

body-pnt#

constellation-design#

campaign#

leo-signal#

leo-pass#

leo-navmsg#

leo-pvt#

leo-ppp#