各機能に到達できる場所
どの機能も、意味のある表面で利用できます。ある表面が機能を担えない場合、そのセルには N/A とその理由が書かれています。同じエンジンがすべての表面の背後で動いています。0.35 の機能に対する Python、WebAssembly、MCP のエントリポイントは、kshana::surface の薄いラッパーであり、これがコマンドラインが実行するコードを呼び出します。
サードパーティの AI クライアントに言及する箇所は、ここでは省いています。GitHub 上の docs/SURFACES.md にあります。
| 機能 | CLI | Rust | Python | WASM | MCP | プラグイン | JetBrains | ノートブック | Studio |
|---|---|---|---|---|---|---|---|---|---|
| 船舶の受信機の信頼性、バッチログ(0〜100 のスコア、理由) | receiver-trust |
receiver_trust::assess::assess_vessel_log |
receiver_trust, assess_vessel_log |
receiver_trust, assess_vessel_log |
assess_receiver_log, assess_vessel_log |
/kshana-assess-receiver、スキル vessel-receiver-trust |
Assess Receiver Trust | vessel-trust-and-training |
船舶の信頼性ページ |
| 限定したストリームの抜粋に対する受信機の信頼性(スコア、状態、理由。ゲートなし) | receiver-trust live |
receiver_trust::assess::assess_stream_excerpt |
receiver_trust_replay |
receiver_trust_replay |
assess_vessel_stream |
同じ | Assess Receiver Stream(保存済みログ) | vessel-trust-and-training |
船舶の信頼性ページ |
衛星ジオメトリと推論クラス(0.36:理由と DOP を伴う geometry の good/degraded/unknown、常に報告される label の good/fair/poor、geometry モニター(ジオメトリが poor の場合を除き何も出さず、poor の場合は最大 15 点。判定を下したときは monitors_run の最後に並ぶため、判定のモニター数にジオメトリが含まれます)、すべての推論に付く class、geometry_model、geometry_summary) |
receiver-trust、receiver-trust live(結果 JSON とすべての JSON 行に含まれます。CSV、SVG、一行の判定、$PKSHT は、他の推論と同様にジオメトリの推論を持ち、それ以外は変わりません) |
receiver_trust::geometry、EpochTrust、Deduction、EpochReport 上 |
receiver_trust、assess_vessel_log、receiver_trust_replay(返される dict に含まれます) |
同じ三つ(返される JSON に含まれます) | assess_receiver_log、assess_vessel_log、assess_vessel_stream(応答に含まれます。船舶ログの応答は geometry_model と geometry_summary を保持します)。trust_telemetry がこれを描画します |
同じ、スキル vessel-receiver-trust、trust-telemetry |
上記のアクションは CLI の出力を表示し、そこにこれが含まれます | vessel-trust-and-training(読み込む結果に含まれます) |
保留中:船舶の信頼性ページにはまだ表示されません(フィールドは docs/MARITIME-TRUST.md に一覧があり、Studio ビューの項目 6) |
実行中のプロセスとしての receiver-trust live(標準入力、追跡中のファイル、TCP、UDP、--gate、--listen) |
receiver-trust live |
receiver_trust::live::LiveEngine |
N/A | N/A | N/A | N/A | N/A | N/A | ツール:コマンドラインのカード(実行するコマンド。ブラウザーはデータ経路上のプロセスではありません) |
エビデンスパック:作成(署名付き、ログの一区間。0.38:任意の lab-attestation。ラボ構成についての運用者の申告で、署名付きマニフェストに記録され、検証されることはありません) |
receiver-trust evidence (--lab-attestation <file.toml>) |
evidence::create_bundle, evidence::create_bundle_attested, surface::evidence_create, surface::evidence_create_attested |
evidence_create (lab_attestation) |
N/A(署名鍵) | create_evidence_pack (lab_attestation_toml) |
/kshana-evidence-pack、スキル evidence-pack |
Create Evidence Pack(0.38 ではダイアログにアテステーションのフィールドなし:保留中。コマンドラインでは指定できます) | vessel-trust-and-training |
N/A(署名鍵はページに置くべきではありません)。ツール:コマンドラインのカード |
審判としての Jammertest(0.38):公表された NPRA のカタログと送信計画を、予定された真値として読み込み(import)、受信機のログをテストごとにそれに対して採点します(score:検出遅延、見逃し、誤警報、回復までの時間。MODELLED) |
jammertest import, jammertest score |
jammertest::plan, jammertest::score, surface::jammertest_import_json, surface::jammertest_score_json |
jammertest_import, jammertest_score |
jammertest_import, jammertest_score |
jammertest_import, jammertest_score |
/kshana-jammertest、スキル jammertest |
N/A(計画ファイルとディスク上のログが必要です。ターミナルから実行してください) | N/A(ノートブックはまだありません) | 保留中:コマンドライン用のツールカード(Studio のストリップとビューは WS-A の担当です) |
署名付き Jammertest スコアパック(jammertest score --key:スコアカードとスケジュールを config.json の中に収めた、受信機の信頼性のエビデンスパック) |
jammertest score --key <keyfile> --out <dir> |
jammertest::score_pack |
N/A(署名鍵) | N/A(署名鍵) | N/A(署名鍵:一区間に対して create_evidence_pack を使うか、コマンドラインを使ってください) |
N/A | N/A | N/A | N/A(署名鍵はページに置くべきではありません)。ツール:コマンドラインのカード |
受信機の自己申告(0.38):UBX-NAV-STATUS の spoofDetState と UBX-SEC-SIG をエポックごとに self_report に読み込み、結果に receiver_self_report の比較(両方 / 受信機のみ / Kshana のみ / どちらもなし)を含めます。警報は出さず、スコアも変えません |
receiver-trust(結果 JSON に含まれます。jammertest score) |
receiver_trust::ReceiverSelfReport, monitors::SelfReportEpoch, monitors::SelfReportSummary |
receiver_trust、assess_receiver_log(返される dict に含まれます) |
receiver_trust(返される JSON に含まれます) |
assess_receiver_log(応答に含まれます) |
/kshana-assess-receiver |
上記のアクションは CLI の出力を表示し、そこにこれが含まれます | N/A | 保留中:信頼性ページのストリップ(WS-A。フィールドは epochs[].self_report) |
| Septentrio SBF のログ形式(0.38、読み込みのみ:PVTGeodetic、MeasEpoch、RFStatus) | receiver-trust([log] format = "sbf" を伴う) |
receiver_trust::ingest::read_sbf, LogFormat::Sbf |
receiver_trust、assess_receiver_log(format = "sbf"、ログは base64) |
同じ | assess_receiver_log (base64) |
/kshana-assess-receiver |
上記のアクション | N/A | N/A(0.38 では、信頼性ページはバイナリログのアップロードを提供しません) |
receiver-trust live --serial <device> [--baud n]:シリアルまたは USB の NMEA フィード、読み込み専用(デバイスを読み込み用に開き、受信機には決して書き込みません。--configure は拒否されます) |
receiver-trust live --serial |
N/A(デバイスとプロセス) | N/A | N/A | N/A | N/A | N/A | N/A | ツール:コマンドラインのカード(実行するコマンド。ブラウザーはデータ経路上のプロセスではありません) |
| エビデンスパック:作成(署名付き、ログの一区間) | receiver-trust evidence |
evidence::create_bundle, surface::evidence_create |
evidence_create |
N/A(署名鍵) | create_evidence_pack |
/kshana-evidence-pack、スキル evidence-pack |
Create Evidence Pack | vessel-trust-and-training |
N/A(署名鍵はページに置くべきではありません)。ツール:コマンドラインのカード |
| ラボのラウンドトリップパック(シナリオ、試験条件、受信機ログ、スコアをハッシュで結び付けたもの) | evidence round-trip |
evidence::build_round_trip_pack, surface::evidence_round_trip |
evidence_round_trip |
N/A(署名鍵) | create_round_trip_pack |
/kshana-evidence-pack |
N/A(JetBrains のアクションは選択した一つのファイルに結び付いています。パックにはシナリオ、条件、ログ、鍵が必要です。IDE のターミナルから実行してください) | N/A(署名鍵はページに置くべきではありません)。ツール:コマンドラインのカード | |
| エビデンスパック:検証 | evidence verify |
evidence::verify_bundle |
evidence_verify |
evidence_verify |
verify_evidence_pack |
同じ | Verify Evidence Pack(固定した鍵のみ) | vessel-trust-and-training |
ツール:エビデンスパック(検証、タイムスタンプの付加) |
信頼性テレメトリ(Prometheus、syslog CEF/LEEF、OTLP。0.38:format = "mqtt"、Home Assistant のディスカバリーと状態行。--mqtt-tcp は CLI から発行します) |
trust-telemetry |
telemetry |
trust_telemetry |
trust_telemetry(テキスト出力、ソケットなし) |
trust_telemetry |
/kshana-trust-telemetry、スキル trust-telemetry |
Render Trust Telemetry(保存済みの結果) | vessel-trust-and-training |
ツール:テレメトリのカード(コマンドラインのタブ。形式のみで、ソケットなし) |
マシンとセンサーの入力(0.38):receiver-trust の形式 rtklib-pos、novatel、gnss-sdr、および [log.imu](csv、euroc) |
receiver-trust(シナリオの [log] format) |
receiver_trust::machines |
receiver_trust、assess_receiver_log(インライン) |
receiver_trust(インライン) |
assess_receiver_log(インラインのテキスト/base64。path は拒否されます) |
/kshana-assess-receiver |
Assess Receiver Trust | vessel-trust-and-training |
N/A(Studio の信頼性ページは、一覧にある形式を読み込みます。新しい形式は次回のポートで対応します) |
IMU ログからハイブリッド/フュージョンのセンサーパラメーターへ(静止ログから [accel_classical] テーブルを作成、アラン分散の当てはめ) |
imu-fit |
surface::imu_fit, receiver_trust::machines::imu_fit |
imu_fit |
imu_fit |
fit_imu_log |
/kshana-fit-imu |
N/A(IDE のアクションはまだありません) | N/A | N/A(Studio のシナリオエディターは、貼り付けたテーブルを受け付けます) |
ROS 2 ノード、GNSS-SDR の UDP リレー、trust-telemetry --mqtt-tcp(integrations/ros2、integrations/gnss-sdr) |
プロセス | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A(長時間動作するプロセスとソケット。テキスト形式:mqtt を伴う trust_telemetry) |
I/NAV ページまたは UBX ストリームの Galileo OSNMA 検証(docs/OSNMA.md) |
osnma verify |
osnma::cli::verify_report, surface::osnma_verify |
osnma_verify |
osnma_verify |
N/A(長い生の受信機ストリームは CLI と Python に向いています。エージェントのツールにすると、利点のないまま大きな入力の経路が増えます) | N/A(プラグインのコマンドは MCP サーバー経由で動作し、MCP サーバーには MCP のセルにある理由で OSNMA のツールがありません。kshana osnma verify を実行してください) |
N/A(信頼できる Merkle ルートまたは公開鍵を ICD から別の経路で入手し、鮮度については独立した基準時刻も用意しなければ、結果は意味を持ちません。右クリックのアクションにはそれらを渡す場所がなく、固定されていない既定値は検証済みと読めてしまいます。kshana osnma verify を実行してください) |
N/A(ストリームを入力し、JSON レポートを出力します。ノートブックなし) | ツール:OSNMA |
| 教官ログ付きの訓練用 NMEA | nmea-scenario |
nmea_synth::generate_from_toml |
nmea_training |
nmea_training |
generate_training_nmea |
/kshana-training-scenario、スキル training-nmea-scenario |
Generate Training NMEA | vessel-trust-and-training |
訓練デブリーフのページ |
| TCP または UDP アドレスにストリーム配信する訓練用 NMEA | nmea-scenario --tcp/--udp |
nmea_synth::stream |
N/A | N/A | N/A | N/A | N/A | N/A | ツール:コマンドラインのカード(アドレスへストリーム配信) |
| 干渉マップ(ADS-B、AIS) | interference-map adsb|ais |
interference_map::api |
interference_map |
interference_map |
build_interference_map |
/kshana-interference-map、スキル interference-map-route-exposure |
Build Interference Map | interference-map-route-exposure |
干渉マップのページ |
| 発信源領域(ADS-B、AIS;MODELLED) | interference-map locate |
interference_map::api::emitter_regions_from_adsb_csv, emitter_regions_from_readsb_traces, emitter_regions_from_ais_csv |
interference_emitter_regions |
interference_emitter_regions |
N/A(まだ対応していません。Rust、Python、WASM のサーフェスが対応しています) | N/A | N/A | N/A(公開オブザーバトリーでの発信源領域の公開は、別の所有者判断であり、無効です) | |
| 経路曝露 | route-exposure |
interference_map::api::route_exposure |
route_exposure |
route_exposure |
route_exposure |
同じ | Route Exposure | interference-map-route-exposure |
干渉マップのページ |
Signal K プラグインと OpenCPN のゲートフィード(docs/MARINE-INTEGRATIONS.md) |
integrations/, receiver-trust live --gate --listen |
N/A(プロセス) | N/A | N/A | N/A | 手順のみ:/kshana-marine-integrations、スキル marine-integrations |
N/A | N/A | ツール:コマンドラインのカード(手順。デプロイ) |
| テスト bench のエクスポート(ラボ用シミュレーター向けの動作 CSV、NMEA、ウェイポイント、イベント) | bench-export |
interop::testbench::export_with_notes, surface::bench_export |
bench_export |
bench_export |
export_test_bench |
/kshana-bench-export、スキル test-bench-export |
Export Test-Bench Files | compliance-and-test-bench |
ツール:テスト bench のエクスポート |
| 実行結果からの compliance マッピング(実行結果が公開フレームワークのどの行の証拠を裏付けるか) | compliance-report |
compliance::assess_texts, surface::compliance_report |
compliance_report |
compliance_report |
compliance_report |
/kshana-compliance-report、スキル compliance-mapping |
Build Compliance Report | compliance-and-test-bench |
ツール:compliance マッピング |
| compliance マッピングの表と出典 | compliance-report --mapping, --sources |
compliance::mapping, surface::compliance_mapping |
compliance_mapping |
compliance_mapping |
compliance_mapping |
同じ | Show Compliance Mapping | N/A | ツール:compliance マッピング |
| 標準パック(実行前に合格基準を明示した、採点付きのシナリオ集:DHS RPCF のテストプロファイル、IMO MSC.1/Circ.1575、ICAO Doc 9849 Appendix F) | standards-pack |
standards_pack, surface::standards_pack_list, surface::standards_pack_run |
standards_pack_list, standards_pack_run |
standards_pack_list, standards_pack_run |
list_standards_packs, run_standards_pack |
/kshana-standards-pack |
N/A(JetBrains のアクションは選択したファイルに結び付いています。パックは組み込み済みでファイルを必要としません。IDE のターミナルから kshana standards-pack を実行してください) |
N/A(パック用の Studio のツールカードは Studio のワークストリームの担当です。CLI または任意の表面の出力が compliance マッピングのカードに入力されます) | |
データパートナーの提出物チェック(実測データの提出物の形式とメタデータ、kshana.partner-submission/1。何も採点しません) |
partner check |
partner::check_file, partner::check |
N/A(このチェックはローカルのファイルとその SHA-256 を読みます。Rust API はライブラリのサーフェスで、CLI がツールです) | N/A(ブラウザービルドにはファイルシステムがありません) | N/A(MCP は設計上、ファイルのソースを拒否します(インラインのテキストのみ)) | N/A(スラッシュコマンドは MCP ツールを呼び出しますが、このチェックにはディスク上のファイルが必要です) | N/A(JetBrains のアクションは選択された一つのファイルに結び付けられていますが、提出物はフォルダーです) | N/A(ノートブックはまだありません) | N/A(Studio にはファイルシステムへのアクセスがありません。コマンドを実行してください) |
LunaNet Augmented Forward Signal:符号、SB1/CRC/インターリーバー、および LSIS-AFS V1.0 に対するチェック(docs/LUNANET-AFS.md) |
lunanet-afs-check。信号 lunanet-afs-i、lunanet-afs-q(iq scene/acquire/track/sweep 内) |
iq::signals::lunanet, iq::lunanet_afs, surface::lunanet_afs_check_spec, lunanet_afs_check_symbols, lunanet_afs_generate |
lunanet_afs_check_spec、lunanet_afs_check_symbols、lunanet_afs_generate。iq_scene など(二つの信号名を指定) |
lunanet_afs_check_spec、lunanet_afs_check_symbols、lunanet_afs_generate。iq_scene などは、短いインメモリ実行を通じて |
lunanet_afs_check |
/kshana-lunanet-afs-check |
N/A(JetBrains のアクションは選択したファイルに結び付いています。IDE のターミナルから kshana lunanet-afs-check を実行してください) |
N/A(Studio のカードは Studio のワークストリームの項目です。CLI と他のすべての表面が対応します) | |
スカイラインの下での空のジオメトリ:可視および遮蔽された衛星、DOP、ENU 共分散、誤差楕円(docs/SKYLINE.md) |
sky |
geometry::sky_geometry, surface::sky_geometry |
sky_geometry |
sky_geometry |
sky_geometry |
/kshana-run(ツールを指し示します) |
N/A(インタラクティブなスカイプロットはブラウザーのビューです。数値は kshana sky が扱います) |
notebooks/geometry.ipynb |
—(Studio のジオメトリビューは 0.36 で別途追加されます) |
| 空のモンテカルロ点群(シード付きの最小二乗誤差、RMS、95 % 包含) | sky --monte-carlo <n> --seed <s> |
geometry::sky_monte_carlo |
sky_monte_carlo |
sky_monte_carlo |
N/A(エージェントが要約すべき大量のサンプルであり、運ぶべきものではありません) | N/A(MCP ツールなし) | N/A(上記のとおり) | N/A | —(上記のとおり) |
スカイラインのプリセットとプロファイル(docs/SKYLINE.md) |
skyline --preset <name>, --presets, --profile <file> |
geometry::skyline_presets, geometry::skyline_profile |
skyline_presets, skyline_profile |
skyline_presets, skyline_profile |
sky_geometry (skyline_preset) |
同じ | N/A(上記のとおり) | N/A | —(上記のとおり) |
| SVG としてのスカイプロット | sky --svg |
geometry::skyplot_svg |
skyplot_svg |
skyplot_svg |
N/A(エージェントは sky_geometry から数値を読み取ります) |
N/A | N/A(上記のとおり) | N/A | —(上記のとおり) |
シナリオ内のスカイラインセクション([skyline]:user_site を伴う orbit と integrity、gnss-sim、jamming、leo-pvt、leo-pass、nmea-scenario) |
シナリオファイル | skyline::SkylineCfg |
run, nmea_training |
run, nmea_training |
run_scenario, generate_training_nmea |
/kshana-run |
Run Kshana Scenario | N/A | — |
大気を通る光学タイミングリンク:サイトごとの可用性、サイトダイバーシティ、改善手法、途絶からホールドオーバーへの連動(シナリオ種別 optical-atmosphere、docs/OPTICAL-ATMOSPHERE.md。MODELLED、ILLUSTRATIVEのサイト、助言のみ) |
kshana scenarios/optical-atmosphere-network.toml, scenarios/optical-atmosphere-techniques.toml |
optical_atmosphere, optical_weather, optical_sitediv, optical_techniques, optical_outage_holdover |
run, run_typed |
run |
run_scenario |
/kshana-run |
Run Kshana Scenario | optical-atmosphere |
保留中:Studio のビューはまだありません。シナリオは Studio のシナリオランナーとツールのコマンドラインカードで実行できます |
運用者が提供する時刻誤差の記録から採点するホールドオーバー試験:ベースライン、運用者による GNSS の切り離し、ホールドオーバー、回復を、ITU-T のマスクに対して測定します(シナリオ種別 holdover-test、docs/TIMING-HIL.md。MODELLED、助言のみ。Kshana は何も送信せず、何も駆動しません) |
kshana scenarios/holdover-test-example.toml, scenarios/holdover-test-ptp4l.toml |
holdover_test, telecom_timing |
run, run_typed |
run(インラインの samples または clock_log.text。ファイルのキーは拒否されます) |
run_scenario(インラインのみ) |
/kshana-run |
Run Kshana Scenario | N/A(0.38 にはノートブックがありません。例のシナリオは、run を通じて任意のノートブックで実行できます) |
保留中:Studio のビューはまだありません。シナリオは Studio のシナリオランナーとツールのコマンドラインカードで実行できます |
打ち上げから大気圏再突入までのミッションフェーズの連鎖の航法・タイミング誤差バジェット:八種類のフェーズ kind、引き継ぎの規則、座標系と時刻系の変換、地上ネットワークのオーバーレイ、明示した要件に対するマージン、そして最も弱い連結(シナリオ kind mission-thread;docs/MISSION-THREAD.md;MODELLED、入力は ILLUSTRATIVE、助言;公開資料のみ、推奨なし) |
kshana scenarios/mission-thread-artemis-class.toml(チェックアウトから:コミット済みの月カーネルの切り出しを読み込みます) |
mission_thread |
run, run_typed |
run(moon_kernel_path はファイルのキーであり、拒否されます。カーネルがない場合、月は解析級数になり、変換の行にもそう記されます) |
run_scenario(インラインのみ。カーネルのキーは拒否されます) |
/kshana-run |
Run Kshana Scenario | N/A(ノートブックはありません。例は、チェックアウトから、任意のノートブックで run を通じて実行できます) |
保留中:Studio のビューはまだありません。シナリオは Studio のシナリオランナーとツールのコマンドラインカードで実行できます |
衛星コンステレーションの先の GNSS:シェル上、または LEO から月遷移軌道までの軌道上にいるユーザーに対する、GPS、GLONASS、Galileo、BDS、QZSS、NavIC の信号の可用性(ブックレット、パラメトリック、または実測の送信パターン、リムレイ媒質、微弱信号受信機の設計)、高軌道・月遷移軌道の機体向けの搭載 GNSS EKF、およびフォーメーションの相対ナビゲーション(シナリオ種別 gnss-ssv、docs/SSV.md。MODELLED、助言のみ。事前登録のもとで ICG SSV ブックレットと比較、xval/gnss-ssv/RESULTS.md) |
kshana scenarios/gnss-ssv-shell.toml, gnss-ssv-heo.toml, gnss-ssv-lunar-weak.toml, gnss-ssv-nav-lunar.toml, gnss-ssv-formation-heo.toml |
ssv |
run, run_typed |
run(インライン。transmit.pattern_text が実測パターンをインラインで持ちます) |
run_scenario(インラインのみ。transmit.pattern_csv は拒否されます) |
/kshana-run |
Run Kshana Scenario | N/A(0.38 にはノートブックがありません。シナリオは run を通じて任意のノートブックで実行できます) |
保留中:Studio のビューはまだありません。シナリオは Studio のシナリオランナーとツールのコマンドラインカードで実行できます |
航法・測地インフラとしての月軌道と月面:軌道決定の整合性、搬送波位相の整数値バイアスの決定(アンビギュイティ解決)、座標系の同時推定、スペースタイ、ラブ数の感度(シナリオ種別 lunar-infrastructure、study = ...、docs/LUNAR-INFRASTRUCTURE.md。MODELLED、ILLUSTRATIVEの入力、助言のみ) |
kshana scenarios/lunar-infrastructure-od-consistency.toml(および兄弟にあたる五つの例) |
lunar_infra |
run, run_typed |
run |
run_scenario |
/kshana-run |
Run Kshana Scenario | N/A(ノートブックはありません。例は run を通じて任意のノートブックで実行できます) |
保留中:Studio のビューはまだありません。シナリオは Studio のシナリオランナーとツールのコマンドラインカードで実行できます |
計測された時計ログを位相系列として読み込み:linuxptp の ptp4l、phc2sys、ts2phc、chrony の tracking と statistics、さらに RINEX 時計、TimeLab、TICC([clock_log] / [series.clock_log]、docs/CLOCK-LOG-FORMATS.md。MODELLED、解析結果を別のリーダーと照合するオラクルはありません) |
[clock_log] を持つシナリオ |
clock_log::read_input |
run |
run(text はインラインのみ。ブラウザーではファイルを読み込めません) |
run_scenario(text はインラインのみ。path は拒否されます) |
/kshana-run |
Run Kshana Scenario | N/A(ノートブックはありません。ログはユーザーが提供するファイルです) | 保留中:Studio のビューはありません。Studio のシナリオランナーはシナリオのテキストを受け付けます |
大気を通る光学タイミングリンク:サイトごとの可用性、サイトダイバーシティ、改善手法、途絶からホールドオーバーへの連動(シナリオ種別 optical-atmosphere、docs/OPTICAL-ATMOSPHERE.md。MODELLED、ILLUSTRATIVEのサイト、助言のみ) |
kshana scenarios/optical-atmosphere-network.toml, scenarios/optical-atmosphere-techniques.toml |
optical_atmosphere, optical_weather, optical_sitediv, optical_techniques, optical_outage_holdover |
run, run_typed |
run |
run_scenario |
/kshana-run |
Run Kshana Scenario | optical-atmosphere |
Studio の Optical PNT ビュー(/studio/optical/、0.38)は、同梱の二つのシナリオの記録済みの結果(シード付きの時系列を含む)を描画します。このシナリオは、Studio のシナリオランナーとツールのコマンドラインカードでも実行できます |
陸地ポリゴンのダウンロード(interference-map fetch-land) |
--allow-network |
CLI のコード | N/A | N/A | N/A | N/A | N/A | N/A | ツール:コマンドラインのカード(--allow-network が必要) |
ベンチマーク(kshana-bench v1:提出物を真値ファイルに対して採点、リーダーボードのページ。docs/BENCH.md、MODELLED、助言のみ) |
bench score, bench leaderboard |
bench::score, bench::site::leaderboard_html, surface::bench_score, surface::bench_leaderboard |
bench_score, bench_leaderboard |
bench_score, bench_leaderboard |
score_benchmark, render_leaderboard |
N/A(二つの MCP ツールが対応します。二つの JSON ファイルに対するスラッシュコマンドでは何も加わりません) | N/A(IDE のアクションではありません) | N/A(教育用ノートブックは別のワークストリームです) | N/A(リーダーボードは静的ページ bench/site/ で、そのままサイトにポートされています。Studio は何も計算しません) |
ベンチマークのデータとホールドアウトのツール(bench truth|cases|baseline|seal|reveal-check|manifest|verify-manifest|validate) |
同じ | bench::tasks, bench::seal |
N/A | N/A | N/A | N/A | N/A | N/A | N/A(CLI はデータセットのディレクトリと時計ファイルを読み込み、seal では秘密のシードファイルも読み込みます。シードがエージェントやページを経由してはなりません) |
オブザーバトリーの日次プロダクトと感度の検討(interference-map daily|sensitivity、docs/observatory/METHOD.md) |
interference-map daily, interference-map sensitivity |
interference_map::observatory |
N/A | N/A | N/A | N/A | N/A | N/A | N/A(コマンドは数十万個のファイルを含むアーカイブのディレクトリを読み込み、PNG を含む四つのファイルを書き出し、公開するマシンの時計に対して 24 時間のリリース遅延を強制します。CSV マップは、上の行のすべての表面にあります) |
Studio#
Kshana Studio は WebAssembly ビルドの上に作られた Web アプリです。そのため、WASM の列にエントリポイントがあるところには Studio のビューがあり、ないところでは、そのセルは コマンドラインのカード(実行するコマンドとその引数)を指し、Studio が計算した結果を指すことはありません。ページ(kshana.dev/studio/、クライアント側):船舶の信頼性(trust/)、訓練デブリーフ(training/)、干渉マップ(interference/)、ジオメトリ(geometry/:エンジンによる代表的なスカイプロット、スカイライン、DOP、誤差楕円、モンテカルロ点群。0.36)、月面ステーション(lunar/:lunar-station-coverage 種別による月面基準局のモデル化したカバレッジ。0.36)、そしてツールページで、その節は OSNMA(#osnma)、エビデンスパック(#evidence)、テスト bench のエクスポート(#bench)、compliance マッピング(#compliance)、コマンドラインのタブ(テレメトリのカード、IQ、船舶向け連携:実行するコマンド)、および AI アシスタントから使う(#ai)です。サブコマンドの表の Studio 列にある — は、Studio が提示する 0.35 の機能に含まれないコマンドです。
N/A のセルが N/A である理由#
Signal K と OpenCPN。これらは、実行中のライブプロセスとその TCP ゲートの利用者であるため、コマンドラインでのデプロイとなります。プラグインは
docs/MARINE-INTEGRATIONS.mdを指す手順コマンドとスキルを持ち、ツールは呼び出しません。実行中のプロセス。
receiver-trust liveはストリームを開いたままにし、ゲートを通したストリームを任意の数の TCP クライアントに提供でき、停止されるまで動き続けます。Python の呼び出し、ブラウザーの呼び出し、MCP のツール呼び出し、IDE のアクションは、いずれも終了すると戻り、他者のためにソケットを開いたままにはしません。Python、WASM、MCP は代わりに範囲を限った形式を提供します。同じエンジンで採点した抜粋を、ライブのスキーマ(JSON 行 1.3:position、advisoryの記述、すべてのエポックに付く衛星geometry、すべての推論に付くclass)で返し、ソケットもゲートもありません(ゲートはライブのストリームで測位解を無効としてマークしますが、これはデータ経路上のプロセスにしかできません)。二つの挙動はプロセスに属し、抜粋ツールにはありません。receiver-trust liveを--replayなしで実時間より速く再生したストリームは、信頼できないと採点されます(その時刻がホストの時計と一致しないため。抜粋はホストの時計なしで読み込まれます)。また、--udp <port>と--listen tcp:<port>は、アドレスが指定されない限りループバックアドレスにバインドします。信頼性テレメトリ。WASM は
trust_telemetry(input, format, host, input_kind, options_json)を提供します:同じエンコーダーで、ストリームまたはバッチ結果に対して、Prometheus のテキスト、CEF または LEEF の syslog 行、あるいは OTLP の JSON ペイロードを返し、時計は使わず(syslog 行は RFC 5424 の nil タイムスタンプを持ちます)、何も送信しません。Python(trust_telemetry)と MCP(trust_telemetry、プラグインコマンド/kshana-trust-telemetryとともに)も提供します。trust-telemetryの残りの部分は、実行中のストリームから Prometheus のメトリクスを提供し、syslog を送信し、OpenTelemetry をエクスポートするため、本質的にプロセスです。手順:ライブのコマンドの出力をそこへパイプするか、結果ファイルを再生します(kshana trust-telemetry --result session.result.json --print-metrics)。TRUST-TELEMETRY.mdを参照してください。エポックごとのスコアが必要なエージェントやノートブックは、代わりにバッチまたは抜粋の関数を呼び出します。ブラウザーでのパックの作成。署名には秘密鍵が必要で、これは Web ページを経由させるべきではありません。ブラウザービルドはパックを検証し(
evidence_verify)、他の表面がパックを作成します。MCP ツールは署名シードを返すことも記録することも決してなく、シードがない場合は使い捨ての鍵で署名します(インテグリティであって、本人性ではありません)。重要な鍵が必要な場合は CLI を使ってください。訓練用 NMEA をアドレスへストリーム配信する場合も同様です:Python、WASM、MCP は生成したテキストを返し、CLI がそれを送信します。スタディスイート。
--study <suite.toml>は、ディスク上の兄弟のシナリオファイルを指定するマニフェストを実行します。インメモリの表面はファイルのフォルダーではなくシナリオのテキストを受け取るため、代わりに各メンバーを個別のシナリオとして実行します(run、run_scenario、run_all)。ブラウザーでの GNSS IQ と、書き換えられる記録。記録は数ギガバイトのサンプルで、ページは保持できず、MCP プロトコルも運んではなりません。そのため WASM には IQ の関数がなく、MCP のツールは一つの作業ディレクトリだけを読み書きします(
KSHANA_MCP_IQ_DIR、呼び出しごとにサンプルの上限あり)。iq extract、convert、decimateはディスク上の記録を書き換えるためのもので、コマンドライン専用のままです。iq labfitとiq conditionsはテキストを扱うため、MCP ではインラインで受け取ります(ファイルを指定するログは拒否されます)。陸地のダウンロード。ネットワーク接続を開く唯一のコマンドで、システムの
curlと明示的な--allow-networkが必要で、固定した SHA-256 を検査します。ブラウザーにはcurlがなく、AI エージェントがユーザーに代わってデータを取得すべきではありません。他の表面は、代わりに陸地ファイルをテキストとして受け取ります(land_geojson)。トレースのアーカイブとディレクトリ。 readsb のトレースディレクトリに対する
interference-map adsbは、ディスクからファイルを読み込み、コマンドライン専用です。インメモリの表面は CSV テキストを受け取ります。
すべてのコマンドラインのサブコマンドと、それを担う表面#
kshana --help のサブコマンドまたはモードごとに一行。yes はエントリポイントを示し、no は理由付きのギャップで、N/A は、上記または最後の列の理由により、その表面では扱えないことを示します。JetBrains のアクションはコマンドラインを実行するため、そこでの N/A は、IDE のアクションが存在しない理由を述べています。
| サブコマンド | Python | WASM | MCP | プラグイン | JetBrains | ノートブック | Studio | 備考 |
|---|---|---|---|---|---|---|---|---|
kshana <scenario.toml>(実行、チャート、表) |
run, run_full, run_typed |
run, chart_svg, summary, table_csv, run_all |
run_scenario, report_scenario, export_table_csv |
/kshana-run |
Run Kshana Scenario | quantum-vs-classical-gdop |
— | |
--validate <scenario.toml> |
validate_toml |
error_kind(無効なシナリオに対して、実行は例外を投げます) |
validate_scenario |
/kshana-run |
Validate Scenario | — | ||
--study <suite.toml> |
N/A | N/A | N/A | N/A | N/A(ディスク上の兄弟ファイルを指定します) | — | スイートはディスク上の兄弟のシナリオファイルを指定します(上の N/A)。各メンバーをシナリオとして実行してください | |
--export-sp3/-omm/-oem |
export_sp3, export_omm, export_oem |
export_sp3, export_omm, export_oem |
export_sp3, export_omm, export_oem |
/kshana-run |
Export Scenario | — | ||
--export <czml,kml,geojson,stk,sigmf> |
export_scenario, export_formats |
export_scenario, export_formats |
export_interop, list_export_formats |
/kshana-run |
Export Scenario | — | ファイルはテキスト(utf-8)または base64(SigMF のサンプル)で返ります |
|
--import-route |
import_route |
import_route |
import_route |
/kshana-import-route |
Import Route | — | ||
--animate <svg,html,frames> |
animate_scenario |
animate_scenario |
animate_scenario |
/kshana-run |
Animate Scenario | — | 一回の呼び出しにつき最大 120 フレーム。それより長いシーケンスは CLI を使います | |
sky <request>(またはフラグ)、--monte-carlo、--svg |
sky_geometry, sky_monte_carlo, skyplot_svg |
sky_geometry, sky_monte_carlo, skyplot_svg |
sky_geometry(モンテカルロなし、SVG なし) |
/kshana-run |
N/A(機能の行を参照) | — | MODELLED のジオメトリ。JSON または SVG を出力 | |
skyline --preset, --presets, --profile |
skyline_presets, skyline_profile |
skyline_presets, skyline_profile |
sky_geometry (skyline_preset) |
/kshana-run |
N/A(機能の行を参照) | — | 出典付きのREPRESENTATIVEなプリセット | |
kinds [--json] |
scenario_kinds, list_kinds |
list_kinds |
list_scenario_kinds |
/kshana-run |
List Scenario Kinds | — | ||
example [<name>] |
list_examples, get_example |
list_examples, get_example |
list_example_scenarios, get_example_scenario |
/kshana-run |
Insert Example Scenario | — | python と wasm の機能は、例のテキストをコンパイルして組み込みます(約 0.7 MB) |
|
receiver-trust <scenario.toml>(バッチ) |
receiver_trust, assess_vessel_log |
receiver_trust, assess_vessel_log |
assess_receiver_log, assess_vessel_log |
/kshana-assess-receiver |
Assess Receiver Trust | vessel-trust-and-training |
船舶の信頼性ページ | |
receiver-trust live |
抜粋:receiver_trust_replay |
抜粋:receiver_trust_replay |
抜粋:assess_vessel_stream |
抜粋 | Assess Receiver Stream(保存済みログ、--file) |
船舶の信頼性ページ(抜粋)。プロセス用にはコマンドラインのカード | 実行中のプロセス。抜粋にはソケットもゲートもありません(上の N/A) | |
trust-telemetry |
trust_telemetry |
trust_telemetry |
trust_telemetry |
/kshana-trust-telemetry |
Render Trust Telemetry(保存済みの結果) | vessel-trust-and-training |
ツール:テレメトリのカード(コマンドラインのタブ。形式のみで、ソケットなし) | すべての表面でテキストのみ、ソケットなし。実行中のエクスポーターはプロセスです(上記参照) |
imu-fit <imu.csv> |
imu_fit |
imu_fit |
fit_imu_log |
/kshana-fit-imu |
N/A | — | テキストを入力し、JSON を出力。MODELLED | |
osnma verify <pages|vectors.csv|stream.ubx> |
osnma_verify |
osnma_verify |
N/A(上記参照) | N/A(上記参照) | N/A(上記参照) | ツール:OSNMA | --json と同じ JSON で、助言は advisory フィールドに入ります。ファイルの読み込みはメモリ上のバイト列になります。認証の状態のみ:航法インテグリティのサービスではなく、スプーフィング対策の性能についての主張もありません |
|
receiver-trust evidence(パックの作成) |
evidence_create |
N/A | create_evidence_pack |
/kshana-evidence-pack |
Create Evidence Pack | vessel-trust-and-training |
ツール:コマンドラインのカード(ページ内に署名鍵なし) | ブラウザーには署名鍵がありません |
jammertest import, jammertest score |
jammertest_import, jammertest_score |
jammertest_import, jammertest_score |
jammertest_import, jammertest_score |
/kshana-jammertest |
N/A(ターミナル。ファイルが必要) | 保留中:ツール:コマンドラインのカード | 計画とカタログはテキストで与えます。署名付きパック(--key)はコマンドライン専用です(署名鍵) |
|
evidence round-trip |
evidence_round_trip |
N/A | create_round_trip_pack |
/kshana-evidence-pack |
N/A(上記のとおり) | ツール:コマンドラインのカード(ページ内に署名鍵なし) | ブラウザーには署名鍵がありません。信号の書き出しも再生もありません | |
evidence verify |
evidence_verify |
evidence_verify |
verify_evidence_pack |
/kshana-evidence-pack |
Verify Evidence Pack(固定した鍵のみ) | vessel-trust-and-training |
ツール:エビデンスパック(検証、タイムスタンプの付加) | |
evidence keygen |
evidence_keygen |
N/A | N/A | N/A | N/A(秘密鍵はプラグインが作成することも読み込むこともありません) | ツール:コマンドラインのカード | Python は警告付きで鍵をメモリ上で返します。秘密鍵は会話やページを経由させるべきではありません | |
evidence attach-timestamp |
evidence_attach_timestamp |
evidence_attach_timestamp |
attach_evidence_timestamp |
/kshana-evidence-pack |
Attach Timestamp | ツール:エビデンスパック(検証、タイムスタンプの付加) | トークンはバイト列または base64 で、更新したパックはメモリ上で返されます。認証局の署名は検査されません(openssl ts -verify) |
|
nmea-scenario <scenario.toml> |
nmea_training |
nmea_training |
generate_training_nmea |
/kshana-training-scenario |
Generate Training NMEA | vessel-trust-and-training |
訓練デブリーフのページ | |
nmea-scenario --tcp/--udp |
N/A | N/A | N/A | N/A | N/A(注を参照) | ツール:コマンドラインのカード | アドレスへ送信(上の N/A) | |
interference-map adsb|ais(CSV) |
interference_map |
interference_map |
build_interference_map |
/kshana-interference-map |
Build Interference Map | interference-map-route-exposure |
干渉マップのページ | |
interference-map adsb(トレースディレクトリ) |
N/A | N/A | N/A | N/A | N/A(注を参照) | ツール:コマンドラインのカード | ディレクトリを読み込み(上の N/A) | |
interference-map locate(CSV) |
interference_emitter_regions |
interference_emitter_regions |
N/A(まだ対応していません) | N/A | N/A | — | 推定した発信源領域、MODELLED。トレースディレクトリと --tdoa はコマンドラインのみ |
|
interference-map fetch-land |
N/A | N/A | N/A | N/A | N/A(注を参照) | ツール:コマンドラインのカード | ネットワークアクセス(上の N/A) | |
interference-map daily, sensitivity |
N/A | N/A | N/A | N/A | N/A(注を参照) | — | アーカイブのディレクトリを読み込み、ファイルを書き出します。リリース遅延は公開するマシンで強制されます(上の N/A) | |
bench score |
bench_score |
bench_score |
score_benchmark |
N/A(MCP ツールが対応します) | N/A | — | テキストを入力し、テキストを出力。読み書きするものはありません | |
bench leaderboard |
bench_leaderboard |
bench_leaderboard |
render_leaderboard |
N/A(MCP ツールが対応します) | N/A | 静的ページ bench/site/ |
HTML テキスト | |
bench truth|cases|baseline|seal|reveal-check|manifest|verify-manifest|validate |
N/A | N/A | N/A | N/A | N/A | — | データセットのファイルと秘密のシード(上の N/A) | |
route-exposure |
route_exposure |
route_exposure |
route_exposure |
/kshana-interference-map |
Route Exposure | interference-map-route-exposure |
干渉マップのページ | |
bench-export |
bench_export |
bench_export |
export_test_bench |
/kshana-bench-export |
Export Test-Bench Files | ツール:テスト bench のエクスポート | テキストを返し、何も書き出しません。信号なし | |
compliance-report |
compliance_report |
compliance_report |
compliance_report |
/kshana-compliance-report |
Build Compliance Report | ツール:compliance マッピング | ||
compliance-report --mapping, --sources |
compliance_mapping |
compliance_mapping |
compliance_mapping |
/kshana-compliance-report |
Show Compliance Mapping | — | ||
iq scene |
iq_scene, iq_scene_broadcast |
N/A | iq_scene |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | サンプルはファイルです。--format sdrx[:ci16_le](または .sdrx で終わる出力パス)は、サンプルの隣に ION GNSS SDR のメタデータを書き出します。CLI と MCP(format: "sdrx")が書き出し、Python はサンプルをメモリ上で返してファイルを書かないため、メタデータには Python の形がありません(N/A) |
|
standards-pack list, run, rows, tests |
standards_pack_list, standards_pack_run |
standards_pack_list, standards_pack_run |
list_standards_packs, run_standards_pack |
/kshana-standards-pack |
N/A(上記のとおり) | ツール:コマンドラインのカード | シナリオは組み込み済みで、ファイルシステムはなく、rows と tests はコミット済みのドキュメントの表を出力するため CLI 専用です |
|
partner check <submission.toml> |
N/A | N/A | N/A | N/A | N/A | — | ディスク上の提出ファイルとそのデータファイルを読み、SHA-256 を検証します。これらのサーフェスにはフォルダーがありません。形式とメタデータのみで、何も採点しません。docs/PARTNER-DATA.md を参照 |
|
lunanet-afs-check spec, symbols, generate |
lunanet_afs_check_spec, lunanet_afs_check_symbols, lunanet_afs_generate |
lunanet_afs_check_spec, lunanet_afs_check_symbols, lunanet_afs_generate |
lunanet_afs_check |
/kshana-lunanet-afs-check |
N/A(上記のとおり) | — | シンボルストリームは 0 と 1 のテキストで、最大 4 MiB(MCP)、または一回の呼び出しにつき 100 フレームを生成します。サブフレーム 2 から 4 の LDPC と CRC-24Q は検証されません。信号は書き出されません | |
iq scene |
iq_scene, iq_scene_broadcast |
N/A | iq_scene |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | サンプルはファイルです | |
iq acquire |
iq_acquire, iq_acq_surface |
N/A | iq_acquire |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | ||
iq track |
iq_track, iq_loop_designs |
N/A | iq_track |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | ||
iq sweep |
iq_sweep |
N/A | iq_sweep |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | ||
iq labfit |
iq_labfit |
N/A | iq_labfit(ログはインラインで、ファイルなし) |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | ||
iq frontend |
iq_frontend |
N/A | iq_frontend |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | ||
iq monitor |
iq_monitor |
N/A | iq_monitor |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | --follow [--idle-timeout <s>] は、まだ書き込み中の SigMF 記録を読み込みます。受信のみです(Rust では iq::io::follow::open_sigmf_follow):Python と MCP では N/A です。ファイルが大きくなるのを待つ呼び出しは、作業が終わっても戻らないためで、receiver-trust live もコマンドライン専用なのと同じ理由です。現在の長さの記録は iq_monitor で処理されます |
|
iq campaign, iq campaign report |
iq_campaign, iq_campaign_report |
N/A | iq_campaign, iq_campaign_status |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | ||
iq conditions |
iq_test_conditions |
N/A | iq_test_conditions(テキスト、インライン) |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | ||
iq inventory, info |
iq_inventory, iq_info |
N/A | iq_info |
/kshana-iq |
N/A(記録は数ギガバイトのファイルです。注を参照) | — | フォルダーの一覧は Python と CLI で行います。MCP サーバーは一つの作業ディレクトリを読み込みます | |
iq extract, convert, decimate |
N/A | N/A | N/A | N/A | N/A(注を参照) | — | ディスク上の記録を書き換えます(上の N/A) | |
信号の一覧(iq --help) |
iq_signals |
N/A | iq_signals |
/kshana-iq |
N/A(一覧。kshana iq --help を実行してください) |
— |
ユーティリティ関数#
機能の行ではない小さなエントリポイントと、それぞれの所在:
| 関数 | 利用形態 | 内容 |
|---|---|---|
version |
Python(kshana.version()、kshana.__version__)、WASM(version)、CLI(--version)、MCP(サーバー情報) |
エンジンのバージョン |
iq_read_epochs |
Python | kshana iq track --epochs が書き出した kshana.track-epoch/1 のバイナリファイルを読み込みます。他では N/A:ディスクからファイルを読み込むためです(WASM にはファイルシステムがなく、MCP は iq_* ツールを通じて一つの作業ディレクトリだけを読み込みます) |
encode_permalink, decode_permalink |
WASM | ブラウザーのプレイグラウンドの ?s= 共有リンクのコーデック(シナリオの TOML を URL セーフなトークンに、またその逆に変換)。他では N/A:Web ページへのリンクは、コマンドライン、Python の呼び出し、エージェントにとって意味がないためです |
表面ごとに異なる制限#
| 利用形態 | 入力の制限 | ファイル |
|---|---|---|
| MCP | テキスト入力一件につき 4 MiB(ストリームの抜粋では 2 MiB と 20,000 エポック)。応答に含まれるのは、NMEA 行が最大 2000 行、非公称のエポック行が 200 行、GeoJSON またはパックのファイルが 4 MiB までです | インラインの内容のみ:ファイルを指定するシナリオのフィールドは拒否されます。iq_* のツールは、オプトインした一つの作業ディレクトリを使い、すべてのパスはその内側に限定されます |
HTTP 経由の MCP(--http、セルフホスト) |
MCP と同じ。既定ではリクエストボディ 5 MiB、リクエストごとに 120 秒、同時に 8 リクエスト | なし:iq_* のファイルツールはオフです。他のすべてのツールはインラインの内容を受け取ります |
| Python、Rust | テキスト入力一件につき 64 MiB | receiver_trust は、プロセスが読み込める path を指定できます |
| WASM | テキスト入力一件につき 64 MiB、ブラウザー自身のメモリ内 | なし:ブラウザーにはファイルシステムがなく、何もアップロードされません |
すべての表面におけるエビデンスのティアと注意事項#
- エビデンスパックは、明示した設定のもとでエンジンがログから計算した内容の技術的な記録で、すべてのハッシュとそれらに対する署名を備えます。法的な見解でも、いかなる事象についての事実認定でも、承認でもありません。検証が合格することは、記録が変更されていないことを示すにすぎません。信頼できる公開鍵がない場合に証明されるのは、パック自身が指定する鍵に対するインテグリティだけです。
- 受信機の信頼性モニターと信頼スコアは MODELLED です。しきい値は明示した入力であり、実際の干渉に対してそれらがどう機能するかを主張するものは何もありません。出力は助言であり、Kshana は型式承認を受けた航法装置(IEC 61108、IEC 61162)ではなく、運用者が引き続き責任を負います。高いスコアは、本物の測位解であることの証明ではありません。
- 干渉マップは MODELLED です(事前登録したしきい値であり、地上の真値の測定に対して独立に確認されたものではありません)。劣化したセルは、干渉が原因であることを特定するものではありません。観測されていないセルは、経路が支障のない状態であることの証拠ではありません。過去の報告を述べるものであり、予報ではありません。集計のみであり、識別子は返されません。
- 訓練用 NMEA はテキストのみです。RF、IQ、波形は合成されず、何も送信されず、船舶の実際の航法システムに使うものでは決してありません。
エビデンスラベルと、ラベルを持たない出力#
実行が書き出すすべての図と表は、そのエビデンスティア(VALIDATED、MODELLED、PARTNER。背後にある台帳の行のうち最も弱いもの)と、それらの行の ID を、シナリオを実行するすべてのサーフェスで持ちます:結果の JSON(evidence キー)、グラフの SVG(メタデータ要素とプロットの下の一行)、CSV の表(# evidence: のコメント行)。同じラベルは、受信機の信頼性の出力(CLI、MCP、Python)、jammertest score --json、iq acquire、iq sweep、iq track --summary、iq monitor --json、干渉マップの経路レポート、そしてすべてのエビデンスパックの config.json の中にもあります(署名付き。kshana evidence verify がそれを報告します)。行の ID は安定しています(VM- と八桁の十六進数。docs/VERIFICATION-MATRIX.md の ID 列)。
次の出力にはラベルがありません。それぞれに理由があります(一覧は tests/evidence_labels_doc_sync.rs の UNLABELLED_WRITERS にあり、ラベルも付かず一覧にも載っていない書き出し処理があると、テストが失敗します):
| 出力 | ラベルを持たない理由 |
|---|---|
| kshana-bench の結果ファイル | ホールドアウトのコミットメントで固定されたスキーマで、それぞれが自分の label(MODELLED または実測)を持ちます |
| 干渉オブザーバトリーの日次プロダクト(GeoJSON、PNG、インシデント JSON) | 公開済みで固定されたスキーマで、手法ノートの注意事項が一緒に付きます |
| IQ キャンペーンのセル、スコアカード、レポートのファイル | ダイジェストで固定されています。それぞれが、言い直す対象のキャンペーンスコアカードを明記します |
| IQ サンプル、SigMF と SDR のメタデータ、シーンの真値、追尾のエポックとイベントのストリーム、ライブセッションのログ | 他のツールが読み込む、形式に縛られたファイルとレコードストリーム |
| SP3、OMM、OEM、CZML、KML、GeoJSON、STK、試験ベンチの運動、NMEA の書き出し;NMEA の学習ストリーム | サードパーティのツールが読み込む、形式に縛られたファイル |
| テレメトリーのワイヤ形式(Prometheus、OTLP、CEF、LEEF) | ワイヤ形式で定義されています |
| 生成された文書(台帳そのもの、コミット済みのスタディとデータの表) | 実行の出力ではありません |