cislunar-observability（シナリオの種類）

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

内容#

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のペリルーン振幅と位相）と、それが生む具体的なランクの推移。認証を受けた航法性能製品ではありません。

scenarios/cislunar-observability.tomlの一回の実行は、次のように要約されます：cislunar-observability | 4 s/c (3 refs) | 6.0 h arc, 24 epochs | rank 1 → 4 of 4 over arc | Gramian λ [2.92e-11…5.98e-2] cond 2.05e9 | instantaneous rank range-only 2 → range+rate 4 (3 links) | GDOP range-only undefined range+rate 6.353 | DRO ICs (max periodicity residual 4.7e-9) | SRIF posterior finite at rank-4 epoch 8 (独立した外部の参照と照合済みのランク/STM/DRO閉合/SRIF、モデルから計算した設計)

入力#

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

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

例のscenarios/cislunar-observability.tomlが設定している項目（一部）：

実行する#

kshana scenarios/cislunar-observability.toml

得られるもの#

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

結果ラベル（エンジンによるもの）：MODELLEDの、平面の地球・月間空間（シスルナー）コンステレーションの可観測性（P6）。VALIDATEDの中核：可観測ランクは、グラミアンの固有ランクとクロスチェックされた、ランクを明らかにする特異値しきい値です。グラミアンの固有スペクトルはスペクトル不変量（trace = sum eig、det = prod eig、Frobenius^2 = sum eig^2

エビデンス#

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

• MODELLED平面の四状態ではなく、空間の六状態CR3BPにおける、DRO、L2ハロー、L2近直線ハローの各ファミリーにわたる地球・月間空間（シスルナー）の弧長可観測性しきい値。測定ノイズはグラミアンに入り、二つの基準が報告されます

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

• MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
• MODELLED平面の四状態ではなく、空間の六状態CR3BPにおける、DRO、L2ハロー、L2近直線ハローの各ファミリーにわたる地球・月間空間（シスルナー）の弧長可観測性しきい値。オラクル（InternalConsistency）：部分ピボット選択付きのガウス消去法による独立した行階段形のランクが、六状態のランク判定をすべて確認します。これは、検証対象の固有値／SVDの経路とコードを共有しない、異なるアルゴリズムです。これが構成する6×6のCR3BP状態遷移行列には、SciPyの変分積分に対する独自のReferenceImplオラクルがあり、ハロー／NRHOの初期条件は、公開されたL2南

制限事項#

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

• MODELLEDの、平面の地球・月間空間（シスルナー）コンステレーションの可観測性（P6）。VALIDATEDの中核：可観測ランクは、グラミアンの固有ランクとクロスチェックされた、ランクを明らかにする特異値しきい値です。グラミアンの固有スペクトルはスペクトル不変量（trace = sum eig、det = prod eig、Frobenius^2 = sum eig^2）に従います。変分STMは、有限差分で照合済みのCR3BP STM（crate::cr3bp）です。レンジ／レンジレートのヤコビアン行（結果label）
• MODELLEDの、平面の地球・月間空間（シスルナー）コンステレーションの可観測性（P6）：衛星間レンジングを用いて、微分補正した四機の平面DROコンステレーションを追尾し、弧によって宇宙機の四状態[x,y,ẋ,ẏ]のどこまでが可観測になるかを報告します。（種類カタログ（kshana kinds --json））
• MODELLED：コンステレーションの設計（DROのペリルーン振幅と位相）と、それが生む具体的なランクの推移。（種類カタログ（kshana kinds --json））
• 誠実な記載：MODELLED。VALIDATEDの中核 -- 可観測ランクは、グラミアンの固有ランクとクロスチェックされた、ランクを明らかにする特異値しきい値です。固有スペクトルはスペクトル不変量（trace = sum eig、det = prod eig、Frobenius^2 = sum eig^2）に従います。変分STMは、有限差分で照合済みのCR3BP STMです。レンジ／レンジレートのヤコビアン行は、有限差分で照合済みの解析的な偏導関数です（クロスチェ（シナリオファイルのコメント、16〜25行目）
• 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
• 空間、ノイズあり、複数ファミリーの地球・月間空間（シスルナー）の弧長可観測性はMODELLEDであり、独立した外部の参照との照合はされていません。自身の閉形式・解析的な恒等式に照らして確認しており、転記や係数の誤りは見つけられますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#

• ファミリーページ：月および地球・月間空間（シスルナー）
• すべての種類：KINDS.md