機能の領域
公開マップのすべての機能を、領域別に、台帳のラベルとともに示します。表は tools/gen_readme_blocks.py が web/capabilities.json（Studio の全体マップが読み込むファイル）から生成します。機能が VALIDATED となるのは、独立した外部のオラクルがある場合に限られます（ラベルの付与方法）。助言のみ：研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではありません。
| 領域 | 機能 | ラベル |
|---|---|---|
| 機械学習の評価とトレードオフ | RF 障害の検出評価と PNT トレードオフ；量子対古典のレジリエンス交差マップ | モデルから計算 1 件、独立した参照と照合して確認済み 1 件 |
| 代替 PNT（GPS 拒否環境） | 重力、地形、磁気のマップマッチング | モデルから計算 1 件 |
| 成果物の交換 | Kshana Interchange Format（KIF） | モデルから計算 1 件 |
| 補強システム（SBAS） | SBAS / WAAS の保護レベルと 二周波 | 独立した参照と照合して確認済み 1 件 |
| 時計とタイミング | ホールドオーバー、安定度、時刻・周波数比較 | 独立した参照と照合して確認済み 1 件 |
| 意思決定支援 | カバレッジあたりコストの ROI | モデルから計算 1 件 |
| 深宇宙・火星 PNT | 電波航法と中継 PNT | モデルから計算 1 件 |
| フュージョン | GNSS / INS センサーフュージョン | モデルから計算 1 件 |
| GNSS の認証（authentication） | Galileo OSNMA の検証 | 独立した参照と照合して確認済み 1 件 |
| GNSS 観測量の領域 | 疑似距離、電離圏、対流圏 | 独立した参照と照合して確認済み 1 件 |
| GNSS 測位 | 単独測位（PVT） | 独立した参照と照合して確認済み 1 件 |
| 慣性 | ストラップダウン INS と地図支援航法；停止中の慣性および地形相対の惰性航行 | モデルから計算 2 件 |
| インテグリティ | 受信機自律インテグリティ（ARAIM）；公開された参照ベクトルに対する ARAIM | 独立した参照と照合して確認済み 2 件 |
| インテグリティへの影響 | 検出の見逃し → インテグリティ領域 | モデルから計算 1 件 |
| 相互運用性 | RINEX、SP3、CCSDS フォーマット；test benchへのエクスポート | モデルから計算 1 件、独立した参照と照合して確認済み 1 件 |
| 月 | 月面基準局の研究 | モデルから計算 1 件 |
| 月と地球・月間空間 | CR3BP 伝播と LunaNet インテグリティ；月の座標系の実現；月の航法サービスボリュームと ARAIM；プロバイダー間の月相互運用性バジェット；自律的な自由ネットワークの故障観測可能性；実際のレーザー測距に基づく月の座標系データム；月の差動 PNT；月の時刻系と測地 VLBI；実際に取得した月のコンステレーションの幾何；測定した C/N₀ の広がりに基づく月のデナイアルコンター；VLBI の観測計画から観測局座標の共分散まで；航法・測地インフラとしての月の軌道と表面 | モデルから計算 7 件、独立した参照と照合して確認済み 5 件 |
| 軌道変更と軌道設計 | バーン、ランベルト、ポークチョップ | モデルから計算 1 件 |
| 海事の信頼性 | 船舶向けの受信機信頼性スコア；乗組員訓練用の NMEA ストリーム；干渉マップと航路のさらされ度合い；セキュリティ運用向けのトラストテレメトリ；署名付きエビデンスパック；公開フレームワークへの compliance マッピング；ジオメトリを考慮したトラスト分類 | モデルから計算 3 件、独立した参照と照合して確認済み 4 件 |
| ミッション解析 | 打ち上げ、再突入、カバレッジ、ポインティングのバジェット；航法と通信の開口共有 | モデルから計算 2 件 |
| 航法信号の性能 | 変調、耐ジャミング、コード追尾；コンステレーションの先へ広がる GNSS：宇宙サービスボリュームとその先 | モデルから計算 2 件 |
| 数値伝搬器 | Cowell 伝搬器と六摂動の力モデル | モデルから計算 1 件 |
| 可観測性と推定理論 | フィッシャー情報と可観測性 | 独立した参照と照合して確認済み 1 件 |
| 光学・RF PNT | モダリティ間インテグリティを備えた光と RF のハンドオーバー；雲と乱流を通る光タイミングリンク | モデルから計算 2 件 |
| 軌道とジオメトリ | 軌道伝搬と衛星コンステレーション設計 | 独立した参照と照合して確認済み 1 件 |
| 軌道決定 | バッチ軌道決定と逐次軌道決定 | 独立した参照と照合して確認済み 1 件 |
| 受動 RF ジオロケーション | 受動 RF ジオロケーション（TDOA/FDOA） | モデルから計算 1 件 |
| レジリエンス | ジャミングと多層スプーフィング検出 | モデルから計算 1 件 |
| レジリエンス評価 | PNT レジリエンスのスコアリングと判断の不安定性 | モデルから計算 1 件 |
| 天空の幾何 | スカイラインでマスクした可視性、DOP、誤差楕円；スカイラインのプリセットと空の幾何の関数 | モデルから計算 1 件、独立した参照と照合して確認済み 1 件 |
| 宇宙環境 | 宇宙天気と熱圏密度 | 独立した参照と照合して確認済み 1 件 |
| 時刻系 | 時刻系と地球姿勢の座標系；リアルタイムの地球姿勢予測 | モデルから計算 1 件、独立した参照と照合して確認済み 1 件 |
| タイミングインテグリティ | 条件付きタイミング保護レベル | モデルから計算 1 件 |
| 検証と保証 | 機械検査される検証マトリクス；報告されるすべての量の単位と出典 | モデルから計算 2 件 |