`oem-interop`（シナリオの種類）

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

内容#

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

scenarios/oem-interop.toml の一回の実行の要約は次のとおりです：oem-interop：2 セグメントを往復変換、12 状態、往復の最大誤差 4.88e-7 km / 4.61e-10 km/s（MODELLED の相互運用）

入力#

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

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

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

フィールド	値	単位
`kind`	oem-interop	テキスト

実行する#

kshana scenarios/oem-interop.toml

得られるもの#

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

結果	値	単位
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`n_segments`	2	個数
`n_states_total`	12	個数
`originator`	KSHANA	テキスト
`round_trip_max_pos_error_km`	4.8822e-7	km
`round_trip_max_vel_error_km_s`	4.6115e-10	km/s
`source`	round-trip	テキスト

結果ラベル（エンジンによるもの）：MODELLED — CCSDS OEM の取り込み・往復の相互運用ブリッジ（GMAT/Orekit/STK は OEM を出力）。構造的・物理的な取り込みチェックであり、元データの軌道精度の確認ではありません

エンジンが scenarios/oem-interop.toml（種類 oem-interop）に対して出力するグラフ

エビデンス#

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

VALIDATED CCSDS 502.0 OEM インポーター（parse_oem）。COMMENT 行、追加のメタデータキーワード、共分散ブロックを許容し、ライターの厳密な逆変換です。往復変換と外部ファイルの取り込みを、速度の整合性チェックとともに行います。テスト：ccsds_oem_interop_reference.rs。

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
VALIDATED CCSDS 502.0 OEM インポーター（parse_oem）。COMMENT 行、追加のメタデータキーワード、共分散ブロックを許容し、ライターの厳密な逆変換です。往復変換と。オラクル（ExternalDataset）：独立したサードパーティの CCSDS-502 パーサー oem 0.4.5（MIT、https://pypi.org/project/oem/）— 別のコードベースで、kshana が出力した EME2000/UTC の OEM をバイト単位で同一にデコードし（2 件のフィクスチャにわたる 24 状態、位置・速度の Δ = 0）、その厳密なリーダーはメタデータのトークンを確認します。kshana のパーサーも、同梱した外部の OEM で同様にこれと一致します。相互運用に関する正直な所見が二つあります（oem ライブラリは kshana の衛星ごとの mu

制限事項#

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

MODELLED — CCSDS OEM の取り込み・往復の相互運用ブリッジ（GMAT/Orekit/STK は OEM を出力）。構造的・物理的な取り込みチェックであり、元データの軌道精度の確認ではありません (result label)
MODELLED の構造的・物理的な取り込みチェックであり、元データの軌道精度の確認ではありません。 (kind catalogue (kshana kinds --json))
正直な適用範囲：MODELLED の構造的・物理的な取り込みチェックであり、元のエフェメリスの軌道精度の確認ではありません。実行：kshana scenarios/oem-interop.toml (scenario file comment, lines 11 to 13)
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））