機械翻訳であり、ネイティブスピーカーによる確認は行われていません。英語版が基準です。

API とインテグレーションGitHub で編集ソース:docs/SURFACES.md

各機能に到達できる場所

どの機能も、意味のある表面で利用できます。ある表面が機能を担えない場合、そのセルには 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) ワイヤ形式で定義されています
生成された文書(台帳そのもの、コミット済みのスタディとデータの表) 実行の出力ではありません