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

リプレイミッション T+00:00:00 シナリオ campaign-jam-spoof-holdover-integrity 平常エンジン v0.40.0 · シード20260928実際の実行

v0.40.0オープンソース · AGPL-3.0 · Ashforde® 提供

Kshana · क्षण · 精密な一瞬

GNSS が途絶えるその一分間を、事前に演習する。

Kshana は、PNT（測位・航法・時刻）のレジリエンスのためのオープンソースのシミュレーターです。GNSS（全球測位衛星システム）の信号が失われたときのジャミング、スプーフィング、クロックのホールドオーバーを、ブラウザー上でそのまま動く Rust エンジンで再生し、どの結果が独立した参照と照合して確認されたのかを正確に確認できます。

Kshana Studio を起動

⌘K を押すと、ページ、シナリオ、ドキュメントを検索できます

Kshana Pro同じエンジンを増幅：608件の設計、一つのパレートフロント

イベントログ · campaign-jam-spoof-holdover-integrity実際のイベント

すべてのトレースの出どころ

キャンペーン：エンジン v0.40.0、ビルド 3395218 · campaign-jam-spoof-holdover-integrity.toml · シード20260928Kshana Studio で開くレポート JSON TOML

軌道：エンジン v0.40.0、ビルド 3395218 · constellation-multi-gnss-coverage.toml · 決定論的、シードなしKshana Studio で開くレポート JSON TOML

コンソール、三つのカード、ログは、6フェーズ、18件のメンバー実行からなる一つの連鎖した実行を、その10 s のグリッドで再生します（ミッション時刻 T+01:16:10）。軌道は、コンステレーション実行にある GPS、Galileo、BeiDou、GLONASS の102機の衛星で、それぞれエンジンの地上軌跡から円形の二体軌道として復元しています（最悪の残差は0.0034°）。半径は表示のために圧縮しています。リンクは、コンステレーション実行の10°のマスクを超える衛星（インテグリティ警報フェーズでは25°、キャンペーンの再捕捉マスク）に引かれ、ジャミングで暗くなり、ホールドオーバーでは切断されます。地球：NASA Blue Marble と Black Marble。Kshana Studio は、連鎖した実行をブラウザー上で再生します。各実行は、エンジン自身のレポートとコマンドで再現できます。

92シナリオの種類 181同梱のシナリオファイル 401検証マトリクスにある機能 176/401独立した外部のオラクルと照合して確認 6公開エンジンをもとにした arXiv 上の論文研究を読む WASMWebAssembly としてブラウザー上で動作、インストール不要

v0.40.0 の新機能：ミッションスレッド、すべての図のエビデンスラベル、そして十七の言語

それぞれの内容と、確認したこと · すべてのインストール方法

L バンドコンソール · スペクトラムの種類

ジャマーが帯域を奪う様子を見る。

GNSS の L バンドを一つの PSD（電力スペクトル密度）として表示します。横軸が周波数、縦軸が時間、色は雑音フロアを上回る電力です。信号はそのフロアの下にあるため、光るのはジャマーです。チャープ、CW（連続波）トーン、狭帯域雑音の三つです。ホバー、タップ、または矢印キーで、各帯域の C/N0（搬送波対雑音密度）と J/S（ジャマー対信号比）が分かります。

kshana spectrum · l-band-waterfall-jamming.toml 実際の実行

ウォーターフォールは、記録済みの実行から JavaScript で描画しています。下のエンジンのレポートは、同じ実行を示しています。

l-band-waterfall-jamming.toml の記録済みの実行（シード 7、エンジン v0.40.0）：GNSS バンド5本、ジャマー3台、60 s、トラッキングフロア 25 dB-Hz。ジャマー：1,575.42 MHz のチャープ式プライバシー機器（10 s から 40 s）、L1 の 1,575.42 MHz の CW トーン（30 s から終了まで）、1,227.60 MHz の L2 狭帯域ノイズ（45 s から終了まで）。

GPS L1 C/A は 10 s でロックを失い、そのまま回復せず、最低値は 3.2 dB-Hz。Galileo E1 は 10 s でロックを失い 40 s で回復し、最低値は 4.4 dB-Hz。GPS L2C は全期間でトラッキングを維持し、最低値は 36.9 dB-Hz。GPS L5 は全期間でトラッキングを維持し、最低値は 44.1 dB-Hz。Galileo E5a は全期間でトラッキングを維持し、最低値は 46.7 dB-Hz。

これが駆動するキャンペーン campaign-spectrum-holdover-integrity.toml（シード 20260928）：スペクトラムによる L バンドジャミング、時計のホールドオーバー、Galileo のみへのフォールバック。時計の自走で 600 s のホールドオーバー、最悪の時刻誤差は 50 ns のガードに対して 5.06 ns。その後の Galileo のみへのフォールバックでは、保護レベルは 6.1 から 17.7 m で、50 m のアラートリミットの範囲内です。

この実行が駆動するキャンペーン · 各フェーズはジャマーの状態に従う

l-band-waterfall-jamming.toml のエンジン実行Kshana Studio で開くエンジンレポート

シナリオ、結果データ、キャンペーン実行、モデル化している内容

スペクトラムの実行シナリオファイル結果データ

駆動するキャンペーン：campaign-spectrum-holdover-integrity.tomlKshana Studio で開くエンジンレポートシナリオファイル

モデルから計算：熱雑音フロア上の閉形式スペクトルを、帯域ごとにスペクトル分離で採点しています。ジャマーの電力とタイミングはシナリオの入力です。時間軸は現在より前の秒数を数え、シアンの線は再生が再開した位置を示します。Kshana Studio は同じシナリオをブラウザー上で実行してウォーターフォールを再生し、レポートとコマンドで実行を再現できます。

01ミッションタイムライン · スクロールまたはドラッグでスクラブ

1/6平常

すべての衛星を追尾しています。クロックは GNSS 時刻に同期されており、保護レベルは警報限界を大きく下回っています。

T+00:00:00

ミッション時刻

kshana campaign · campaign-jam-spoof-holdover-integrity · シード20260928 実際の実行

フェーズ · メンバー実行

平常T+00:00:00
- clockシード42
- jammingシード1
- integrityシード7
ジャミングT+00:10:00
- clockシード43
- jammingシード1
- integrityシード7
スプーフィングT+00:20:00
- spoof
- spoof-detect
- jammingシード1
ホールドオーバーT+00:26:10
- clockシード44
- gnss-insシード7
- jammingシード1
インテグリティ警報T+00:56:10
- clockシード45
- jammingシード1
- integrityシード7
回復T+01:06:10
- clockシード46
- jammingシード1
- integrityシード7

6フェーズ · 既存の種類のメンバー実行18件

クロックの時刻誤差ns · ガード50

–

C/N0dB-Hz · 下限25

–

PL 対 ALメートル · AL 50

–

平常ジャミングスプーフィングホールドオーバーインテグリティ警報回復

T+00:00:00 → T+01:16:10 ミッション時刻 · 連鎖した一つの実行であり、三つの実行を並べたものではありませんPL = 保護レベル · AL = 警報限界 · INS = 慣性航法システム

エンジン v0.40.0、ビルド 3395218 · campaign-jam-spoof-holdover-integrity.toml · シード20260928Kshana Studio で開くレポート JSON TOML

02機能

障害の連鎖全体を一つのエンジンで。

最初にジャミングを受けた衛星から、クロックのホールドオーバーの最後の一ナノ秒まで：信号、センサー、クロック、軌道、インテグリティを一つのシミュレーターで。以下のすべての図は実際のエンジン実行であり、そのことを明記しています。

干渉

GNSS のジャミングと干渉

マスト上の広帯域ジャマーと、その周囲のグリッド上を動かした受信機：すべてのセルが、エンジンの jamming の種類の独立した実行です。色の濃さは J/S（ジャマー対信号比）の平均で、赤いセルはすべての衛星を失っています。

エンジン v0.40.0 · maritime-strait-jamming.toml · シード1 · セルごとに受信機を移動Kshana Studio で開くすべてのセルは、ミッションで

欺瞞

スプーフィング検出

スプーファーが受信機を捕捉し、一定の速度で時刻をずらしていきます。各クロックのインテグリティモニターには固有の検出限界があります。量子クロックはほぼ即座に偽りを検出しますが、従来型のクロックは、ずれが大きくなってからでなければ検出できません。

エンジン v0.40.0 · spoof-attack.toml · 決定論的、シードなしKshana Studio で開くレポート

クロック

発振器クラスごとのクロックのホールドオーバー

GNSS が失われた時点から：チップスケール原子時計（CSAC）と光格子時計について、200回のモンテカルロ実行の中央値と95パーセンタイル、さらに四つのクラスの一日後の誤差：光マスタークロック、水素メーザー、ルビジウム原子周波数標準（RAFS）、およびその小型版（mini-RAFS）。

エンジン v0.40.0 · clock-ensemble.toml · シード42Kshana Studio で開くレポート

一日の列：エンジン v0.40.0 · lunar-time-budget.toml · 決定論的、シードなしKshana Studio で開くレポート

推測航法

GNSS/INS の惰行

GNSS が途切れると、INS（慣性航法システム）が動作を続け、その誤差の円錐が広がります。二つの慣性計測装置（IMU）、一つのバジェット。

エンジン v0.40.0 · small-uas-jammed-nav.toml · シード 7Kshana Studio で開くレポート

タイミング

スロットタイミング

最後の測位から、クロックがガード区間の内側にとどまる時間：タイムスロット方式のネットワークが気にする問いです。

エンジン v0.40.0 · slot-timing-ocxo-leo.toml · 決定論的、シードなしKshana Studio で開くレポート

インテグリティ

RAIM と ARAIM

受信機自律完全性監視（RAIM）とその高度版（ARAIM）による保護レベル（PL）を、警報限界に照らして確認します。ここでは、連鎖したミッションのインテグリティ警報フェーズです。斜線のバーは、保護レベルを形成できなかったエポックです。

エンジン v0.40.0、ビルド 3395218 · campaign-jam-spoof-holdover-integrity.toml · シード20260928Kshana Studio で開くレポート JSON TOML

通信

タイミングマスク

24時間のホールドオーバーの MTIE（最大時間間隔誤差）と TDEV（時間偏差）を、ITU-T（国際電気通信連合電気通信標準化部門）の限界、ここでは PRTC-A（一次基準時刻クロック、クラス A）の限界と比較します。

エンジン v0.40.0 · telecom-prtc-holdover-24h.toml · シード 20260925Kshana Studio で開くレポート

宇宙力学

軌道：SGP4 と数値計算

実際の二行軌道要素セットの SGP4（Simplified General Perturbations 4）による伝播を、実際の画像上に描画します。CCSDS OEM と SP3 のエフェメリス（軌道暦）を入出力できます。

エンジン v0.40.0 · ephemeris.toml · 決定論的、シードなしKshana Studio で開くレポート

地球・月間空間（シスルナー）

月の PNT

月周辺の測位・航法・時刻：月航法サービスにおける ARAIM による、水平・垂直の保護レベル（HPL、VPL）。

エンジン v0.40.0 · lunanet-araim.toml · 決定論的、シードなしKshana Studio で開くレポート

新興センサー

量子センサーのトレードスタディ

ハードウェアを購入する前に、量子クロックと従来型クロックを比較します：従来型クロックの雑音を掃引したときのホールドオーバー。

エンジン v0.40.0 · sweep-clock-stability.toml · シード42Kshana Studio で開くレポート

あらゆる場所で動作

ブラウザー、ターミナル、ノートブック、IDE、アシスタント

同じ Rust エンジンが、Kshana Studio 向けの WebAssembly、CLI（コマンドラインインターフェース）、Python と JavaScript のパッケージ、IDE（統合開発環境）向けの JetBrains Marketplace プラグイン、そして MCP（Model Context Protocol）サーバーとして提供されます。

WebAssemblycargo install kshanapip install kshananpm install kshanaJetBrains Marketplacecargo install kshana-mcpghcr.io イメージCCSDS OEMSP3

CCSDS OEM：Consultative Committee for Space Data Systems Orbit Ephemeris Message。SP3：Standard Product 3 軌道フォーマット。

適用範囲を率直に

Kshana が該当しないもの

機能と同じくらい、限界を知ることが重要です。

RF 信号発生器のハードウェアではありません無線機器を駆動せず、何も送信しません。信号レベルの出力は、ソフトウェア受信機向けのベースバンド IQ サンプルファイルです。

ハードウェアの GNSS 受信機でも、認証を受けた GNSS 受信機でもありませんソフトウェア受信機（記録または生成した IQ に対する捕捉と追尾）は解析用ツールであり、航法製品ではありません。

飛行用の製品ではありません調査とトレードオフのための道具であり、すべての回答に、独立した参照と照合して確認したものか、モデルから計算したものかを示すラベルが付いています。

03AI アシスタント · kshana-mcp

AI アシスタントに尋ねます。答えるのはエンジンです。

AI（人工知能）アシスタントは、kshana-mcp を通じて MCP（Model Context Protocol）経由でエンジンを実行し、JSON（JavaScript Object Notation）で結果を読み取ります。

インストールリポジトリから生成

どなたでも、インストール不要。

Kshana Studio を起動

エンジンは WebAssembly としてローカルで動作し、何もアップロードされません。

Kshana Studio を開く Studio ガイド

kshana コマンドを使いたいエンジニア向け。

次に確認するkshana --version

crates.io：kshana コマンドラインの使い方

アナリストとノートブック向け。

次に確認するpython -c "import kshana; print(kshana.version())"

PyPI：kshana Python API ガイド

Web と Node.js の開発者向け。

次に確認するnpm ls kshana

npm：kshana npm と WebAssembly のガイド

MCP 対応のアシスタントを使う方向け。

次に確認するcargo install --list | grep kshana-mcp

crates.io：kshana-mcp MCP サーバーガイド

次に、アシスタントの MCP クライアント設定に登録します。開発者ページの完全な設定

AI アシスタント + kshana-mcp 記録されたセッション

アシスタントが kshana-mcp とやり取りするメッセージを、サーバーから取得したものです。

kshana-mcp サーバー（Model Context Protocol、エンジン v0.40.0）との記録されたセッションです。アシスタントが 49 個のツールを一覧し、clock-holdover.toml を検証して（valid: detected scenario kind `clock`）実行します。scenario 5ba83a232b94 | quantum holdover 6600s p95 1.20e-4ns integrity 1.000 security n/a (no attack) | classical holdover 2610s p95 19.7ns integrity 1.000 security n/a (no attack)。

animate_scenario：Kshana シナリオを実行し、その時系列をアニメーションとして返します。
assess_receiver_log：実際の GNSS 受信機ログの信頼性を評価します。u-blox UBX、RINEX 3（放送航法を併用すると、エンジン自身の測位解、RAIM、時計支援モニターが加わります）、Android GnssLogger、NMEA のいずれかのログを読み込み、信頼性モニター（搬送波電力対雑音密度の低下、AGC、ジャミング指標、ロック喪失、位置ジャンプ、RAIM、時計）を校正ベースラインに対して実行し、受信機がいつ、なぜ信頼できなくなったかを返します。
assess_vessel_log：船舶の NMEA 0183 ログをバッチ実行として評価します（`kshana receiver-trust` と `[platform] kind = "vessel"`）。スコアモデル、実行されたモニター、エポックごとの 0-100 のスコアとその減点、衛星の幾何（good、degraded、unknown）と各エポックの `label`（good、fair、poor）を返します。幾何が減点するのは poor のときだけで、各減点には区分（geometry、environment、inconsistency）が付きます。あわせて `geometry_model`（しきい値、適用中の上限と下限、来歴）と `geometry_summary` を返します。
assess_vessel_stream：船舶の NMEA 0183 ストリームの限定された抜粋を、`kshana receiver-trust live` と同じ方法でスコア化し、エポックごとの信頼状態（calibrating、nominal、degraded、untrusted）と、減点したモニターを伴う 0-100 のスコアを返します（ライブの JSON-lines スキーマ 1.3：各エポックは `position`、出力が助言であることを示す `advisory` の記述、衛星の `geometry`（good、few-satellites や high-pdop などの理由を伴う degraded、または抜粋に GSV も GSA もない場合の unknown）と `label`（good、fair、poor。幾何が減点するのは poor のときだけ）を持ち、すべての減点には `class` が付きます。geometry（天空の状態であり、攻撃がなかったという判断ではありません）、environment、または inconsistency（攻撃に似た挙動））。あわせて、要約（状態、幾何、区分ごとの件数、最低スコアと最終スコア、最初の untrusted エポックが現れた時点）と、最後の `$PKSHT` センテンスを返します。
attach_evidence_timestamp：RFC 3161 タイムスタンプトークンを、メモリ上でエビデンスパックに紐づけます（`kshana evidence attach-timestamp`）。`files` は `create_evidence_pack` が返すパック、`token_base64` はタイムスタンプ局の `.tsr` ファイルのバイト列です。
build_interference_map：オープンライセンスの航空機（ADS-B NIC/NACp）または船舶（AIS）の位置報告を CSV テキストで与えて、GNSS の干渉マップを作成します（`kshana interference-map adsb|ais`）。
compliance_mapping：静的な公開フレームワークの対応づけ（`kshana compliance-report --mapping` / `--sources`）を Markdown で返します。フレームワークごとに一つの表で、各行の言い換えた要求、その行の証拠を裏付ける（supports evidence for）Kshana の出力、出力では埋まらないギャップを示します。`sources` を true にすると、表が引用する出典文書をバージョンと URL とともに返します。
compliance_report：公開フレームワークの対応づけを Kshana の結果ドキュメントから埋めます（`kshana compliance-report`）。六つのレジリエンスのフレームワークと規格（米国 DHS レジリエント PNT フレームワーク v2.0、船舶向けの IMO ガイダンス、航空向けの EASA ガイダンス、NIS2 第 21 条、EN 16803、NIST IR 8323r1）のうち、与えられた実行がどの行の証拠を裏付ける（supports evidence for）か、どの行は裏付けないか、そして各行に残るギャップを示します。
create_evidence_pack：船舶の NMEA 0183 ログのあるウィンドウについて、署名付きエビデンスパックを作成します（`kshana receiver-trust evidence`）。含まれるのは、そのウィンドウの生のログのバイト列、すべてのしきい値を含む設定、エポックごとの結果と理由、自己完結した要約ページ、そして各ファイルの SHA-256、完全なログのハッシュ、ハッシュ連鎖を列挙し、Ed25519 で署名したマニフェストです。
create_round_trip_pack：署名付きの実験室ラウンドトリップパックを作成します（`kshana evidence round-trip`、docs/spec/TEST-CONDITIONS.md）。動きを生成したシナリオ、実験室の `kshana.test-conditions/1` ドキュメント、受信機ログと、明示されたイベントに対するそのスコアを、ハッシュで紐づけた署名付きエビデンスパックにまとめます。そのパックの `config.json` には `round_trip` ブロックが入ります。
export_interop：Kshana シナリオを、一つの相互運用フォーマットでエクスポートします。`czml`（Cesium Language、CesiumJS 向け）、`kml`（Keyhole Markup Language、Google Earth と地理情報システムのツール向け）、`geojson`（RFC 7946）、`stk`（Systems Tool Kit のエフェメリス `.e`、衛星ごとに一ファイル）、または `sigmf`（`spectrum` シナリオの合成サンプルを Signal Metadata Format で記録したもの）です。
export_oem：`orbit` シナリオで伝播させたコンステレーションを、CCSDS OEM 2.0 エフェメリステキストとしてエクスポートします。位置と速度の両方を持つ慣性系（TEME）の状態時系列で、飛行力学ツール（GMAT / Orekit / STK）が読み込みます。
export_omm：`orbit` シナリオの平均要素を、CCSDS 502.0-B-2 OMM（Orbit Mean-Elements Message）カタログとしてエクスポートします。衛星ごとに一つの OMM です。
export_sp3：`orbit` シナリオで伝播させたコンステレーションを、SP3-c 精密エフェメリステキスト（標準的な GNSS 後処理フォーマット）としてエクスポートします。
export_table_csv：Kshana シナリオを実行し、その再現性テーブルを CSV テキストで返します。CLI が `<scenario>.table.csv` として書き出し、論文が引用する、バイト単位で安定したテーブルです。
export_test_bench：シナリオの機体の運動とイベントを、実験室の GNSS シミュレーター向けにエクスポートします（`kshana bench-export`、docs/TEST-BENCH.md）。運動の CSV とその JSON 記述（地球固定と測地の位置、速度、姿勢、UTC）、NMEA 0183 の GGA/RMC センテンス、サンプルグリッドがミリ秒単位で規則的な場合のウェイポイントテキスト、そしてシナリオのイベントを CSV と、`receiver-trust` シナリオ用の `[[events]]` TOML で出力します。
fit_imu_log：静止状態の IMU ログから、`hybrid` および `fusion` シナリオのセンサーパラメーターをフィットします（`kshana imu-fit`、docs/MACHINE-INPUTS.md）。
generate_training_nmea：`nmea-scenario` TOML から、乗組員訓練用の合成ブリッジ NMEA 0183 を生成します（`kshana nmea-scenario`）。船舶の航跡と、台本どおりのイベント（ジャミング、位置のドラッグオフ、時刻スプーフィング、リプレイ遅延、回復を伴う）のタイムラインです。
get_example_scenario：同梱された参照シナリオ一つの TOML テキストを返します。リポジトリが `scenarios/` の下で出荷しているファイルとバイト単位で同一です。
import_route：GeoJSON の経路を、ウェイポイント航跡を飛行する Kshana シナリオに書き込み、新しいシナリオの TOML を返します（run_scenario で実行します）。
iq_acquire：作業ディレクトリ内の IQ 記録に対して、一つ以上の PRN の FFT 捕捉を行います（`kshana iq acquire`）。
iq_campaign：作業ディレクトリにあるラボリプレイのキャンペーンを実行します（`kshana iq campaign`）。記録（それぞれ、ラボが把握している真値を示す `kshana.test-conditions/1` ファイルで記述）、フロントエンドのチェーン、ループ設計の組み合わせを対象とし、各セルを追尾して、明示された条件に対してスコア化します（ロック喪失までの時間、再捕捉時間、明示された J/S に対する C/N0 の劣化と、MODELLED と表記した解析的な参照との並置、偽ロック率、PLL/DLL ジッター、可用性）。
iq_campaign_status：作業ディレクトリの出力フォルダーから、ラボリプレイのキャンペーンの進捗を、ファイルの読み取りのみで報告します。完了したセルと保留中のセル、計画に含まれる記録、フロントエンド、設計、そしてすべてのセルが完了した時点での `digest` です。
iq_frontend：作業ディレクトリ内の IQ 記録に、受信機のフロントエンドと干渉軽減の DSP を適用し、結果を `<out>.json` サイドカー付きの新しい生の記録として書き出します（`kshana iq frontend`）。
iq_info：作業ディレクトリ内の IQ 記録を、処理せずに記述します。種別（サイドカー付きの生データ、SigMF、SigMF コレクション）、サンプル形式、サンプルレート、中心周波数、総サンプル数、継続時間、データファイルとそのサイズ、キャプチャ境界と注釈の数を JSON で返します（`kshana iq info` が出力するものと同じ行）。
iq_labfit：追尾ループのロック喪失モデルを、ラボでの実行にフィットします（`kshana iq labfit`）。`iq-labfit` シナリオの TOML が一つ以上の実行を指定し、各実行は受信機ログと、その明示された試験条件からなります。エンジンは各ログを読み込み、ループモデルと経験モデルをフィットし、不確かさをブートストラップし、ホールドアウト誤差を計算します。
iq_monitor：作業ディレクトリ内の IQ 記録に対して、干渉とスプーフィングの検出モニターを実行します（`kshana iq monitor`）。広帯域の `power` と `spectral` のモニターを備え、`signal` + `prns` を与えると、衛星ごとの C/N0 と信号品質のモニターも実行します。いずれも、最初の `baseline_s` 秒（または設定ファイル）から学習したベースラインに対して実行します。
iq_scene：複数衛星の GNSS IQ シーンを、作業ディレクトリ内のファイルに生成します（`kshana iq scene`）。
iq_signals：GNSS IQ 層のセットアップを JSON で返します。`signals`（iq_scene、iq_acquire、iq_track が受け付ける信号名）、`enabled`（IQ ファイルツールが有効かどうか）、`work_dir`（ツールが読み書きする唯一のフォルダー。すべてのパス引数はこれに対する相対パス）、`max_samples`（一回の呼び出しで生成または処理できる複素サンプルの最大数）、そして無効の場合は `reason` です。
iq_sweep：作業ディレクトリ内の一つの IQ 記録を、複数の追尾ループ設計にわたってリプレイし、各設計の定常状態の結果を報告します（`kshana iq sweep`）。設計は、`kshana.loop-design/1` ファイルのすべての設計（`design`）か、組み込み設計に対する `pll_bws_hz`、`dll_bws_hz`、`spacings_chips`、`coherents` の各リストの積です。
iq_test_conditions：ラボの試験条件ファイルを検証します（`kshana iq conditions`）。`kshana.test-conditions/1` ファイル（TOML または JSON テキスト）で、記録に対するラボが把握している真値（想定される衛星、整定時間、明示されたジャミングや干渉のスケジュール）を記述したものです。
iq_track：作業ディレクトリ内の IQ 記録に対して、一つ以上の PRN を捕捉してから追尾します（`kshana iq track`）。捕捉が各チャネルを初期化し、その後 DLL/PLL（任意で FLL 支援）のループバンクが記録を一度リプレイします。
jammertest_import：公開されている Jammertest の試験カタログと送信計画（NPRA/jammertest-plan、MIT）を、スケジュールされた真値として読み込みます（`kshana jammertest import`）。一つの試験エリアのスロットは、各ラベルにカタログ ID と年を含む receiver-trust イベントになります。
jammertest_score：受信機ログを Jammertest のスケジュールに対してスコア化します（`kshana jammertest score`）。スケジュールされた試験ごとに、検出遅延（最初のアラームから計画された開始を引いたもの）、許容差内で検出されたか、遅れたか、見逃されたか、回復までの時間（`recover_hold_s` のあいだアラームが出なかった区間）を示し、さらにすべてのスロットとそのガード区間の外側での誤警報も示します。
list_example_scenarios：同梱の参照シナリオを JSON で一覧します。`count` と、`name`、`kind`、`about`（ファイル自身のヘッダーコメントの最初の文）の配列である `scenarios` です。
list_export_formats：Kshana シナリオに、どの相互運用エクスポートフォーマットが適用できるかを、実行せずに報告します。フォーマット（`czml`、`kml`、`geojson`、`stk`、`sigmf`）ごとに一つの項目を持つ JSON 配列で、`applies`、適用できない場合の `reason`、そしてライターが従う公開仕様である `spec_url` を示します。
list_scenario_kinds：組み込みのすべての Kshana シナリオの種類を、その説明と必須・任意の TOML フィールドとともに、JSON 配列として一覧します。
list_standards_packs：標準パックを一覧します（`kshana standards-pack list`）。DHS レジリエント PNT フレームワークの試験プロファイル、IMO MSC.1/Circ.1575、ICAO Doc 9849 付録 F に対する、採点されるシナリオのセットです。それぞれに、実行前に明示した合格基準と、証拠を裏付ける（supports evidence for）compliance の行が付いています。
lunanet_afs_check：LunaNet Augmented Forward Signal（AFS）を、公開仕様に対して確認します。LNIS Version 5 Applicable Document 1 Volume A（LSIS-AFS V1.0、2025 年1月 29 日）に固定しています（`kshana lunanet-afs-check`、docs/LUNANET-AFS.md）。
render_leaderboard：kshana-bench の結果ファイルを、静的なリーダーボードページとして、返信内の HTML テキストでレンダリングします（`kshana bench leaderboard`）。`results` は `kshana-bench-result/1` の JSON テキストのリスト（最大 256 個、各 4 MiB）で、それぞれ最初に検証されます。別のメジャー仕様バージョンで採点されたファイルは、メジャーバージョンの異なる結果を一つの表に載せることは決してないため、拒否されます。
report_scenario：Kshana シナリオを実行し、そのレポートを返します。エグゼクティブサマリー、入力、単位と VALIDATED または MODELLED のラベルを付けたすべての結果の値、イベント、その実行が使った機能の行、そして再現性の記録（エンジンのバージョン、シナリオと結果の SHA-256 ダイジェスト、シード、それを再現するコマンド）です。
route_exposure：経路のうち、一つ以上の干渉マップの劣化したセルを通る割合を要約します（`kshana route-exposure`）。各マップ（出典ごと、UTC の日ごとに一つで、`build_interference_map` が返す GeoJSON）について、経路の長さと、その長さのうち、劣化したセル、劣化していないセル、評価するには標本が少なすぎるセル、観測されていないセルにある割合を示します。
run_scenario：TOML 定義から Kshana の PNT レジリエンスのシナリオを実行し、その性能指標を返します。
run_standards_pack：一つの標準パックを実行します（`kshana standards-pack run <id>`）。パック内のすべてのシナリオを、実行前に明示した合格基準に対して採点します。
score_benchmark：kshana-bench の提出物を採点します（`kshana bench score`、bench/SPEC.md、docs/BENCH.md）。予測ファイル（`kshana-bench-predictions/1`）を真値ファイル（`kshana-bench-truth/1`）に対して評価します。どちらも JSON テキストで、最大 4 MiB です。返すのは結果ファイル（`kshana-bench-result/1`）で、仕様バージョン、タスク（a は受信機ログでの検出、b は IQ での検出、c はタイミングのホールドオーバー予測、d は分布外の楽観ギャップ）、分割、両方の入力の SHA-256、そしてタスクの指標（AUC、誤警報の上限での検出確率、予測期間ごとの RMSE、または楽観ギャップ）を含みます。
sky_geometry：方位角に依存するスカイライン（街路の谷間、港、フィヨルド、コンテナターミナル）の下での天空の幾何です。地点、時刻、コンステレーションのプリセット、二行軌道要素（`tle`、UTC の `epoch` 付き）、または方位角・仰角や ECEF で与えた衛星から、どの衛星が見え、どの衛星がスカイラインに隠れるか、gnss_lib_py で照合済みの DOP カーネルによる GDOP/PDOP/HDOP/VDOP/TDOP、システムごとに一つの受信機クロック（または共通の一つ）での東・北・上のコファクターと共分散、そして指定した UERE に対する、一シグマと指定した信頼度での水平誤差楕円を返します。
trust_telemetry：GNSS の信頼ストリームまたは `receiver-trust` の結果を、セキュリティテレメトリのテキストとしてレンダリングします（`kshana trust-telemetry`、docs/TRUST-TELEMETRY.md）。コマンドラインと同じエンコーダーを使い、`prometheus`（最終状態のエクスポジション）、`cef` または `leef`（区分の変化ごと、または `syslog_all` ではエポックごとに RFC 5424 の syslog 行を一行。クロックを読まないためタイムスタンプなし）、`otlp`（OTLP/HTTP の JSON メトリクスのペイロード）を選べます。
validate_scenario：Kshana シナリオの TOML の事前チェックです。TOML として解析できることを確認してシナリオの種類を検出し、実行はしません。
verify_evidence_pack：署名付きエビデンスパックを検証します（`kshana evidence verify`）。各ファイルの SHA-256 をマニフェストに対して、ハッシュ連鎖、Ed25519 署名を確認します。`public_key`（署名者の鍵で、署名者から別の経路で入手したもの）を渡すと、署名者が想定どおりの者であることも確認します。`full_log` を渡すと、手元のログがパックの記録したものであり、スライスがそこから切り出されたことも確認します。

記録されたセッションが、ここでステップごとに再生されます。

Studio での同じ実行：エンジン v0.40.0 · clock-holdover.toml · シード 42Kshana Studio で開くレポート

04スクロールストーリー · 連鎖した一つの実行

澄んだ空から、自走するクロックまで。

受信機一台、ミッション時刻 T+01:16:10：澄んだ空、ジャマー、答えを妨げずに動かしてしまうスプーファー、そして単独に取り残されたクロック。102機の衛星は、コンステレーション実行の四つのシステムで、実際の地球上にあります。スクロールしてください。

01 · 平常

すべてのリンクを把握。

衛星8機を、平均 C/N0（搬送波対雑音密度）43.0 dB-Hz で追尾しています。垂直保護レベルは9.1から21.6 mの間にとどまり、警報限界の50 mを下回っています。

02 · ジャミング

雑音が空を飲み込む。

1.0 km 先の広帯域ジャマーが -30 dBW で作動します。C/N0 は 30.6 dB-Hz に低下し、追尾下限の25 dB-Hz をわずかに上回ります。騒がしいので、受信機は気づきます。

03 · スプーフィング

測位解に見える嘘。

スプーファーがクロックを 0.1 ns/s で押し動かします。RF（無線周波数）検出器は T+00:20:00 に警報を出します。クロック支援モニターは 370 s を要し、その時点ですでに36.0 ns が引き込まれています。

04 · ホールドオーバー

そして時刻がずれ始める。

ジャマーが10 dBW になり、すべての衛星が失われます。クロックは、スプーファーが残した37.0 ns から自走を始め、T+00:35:40 に50 ns のガードを越えます。慣性誤差は24.3 kmに達します。

キャンペーン：エンジン v0.40.0、ビルド 3395218 · campaign-jam-spoof-holdover-integrity.toml · シード20260928Kshana Studio で開くレポート JSON TOML

軌道：エンジン v0.40.0、ビルド 3395218 · constellation-multi-gnss-coverage.toml · 決定論的、シードなしKshana Studio で開くレポート JSON TOML

オープンコア、Kshana Pro、カスタム調査

誰でも無償。回答がレビューに耐える必要があるときは Pro。

Kshana Pro は、オープンコアに依存し、それをフォークしない独自のオーバーレイで、契約に基づいて提供されます。ウェブページには価格を掲載していません。有償のあらゆる方法は、contact@ashforde.org へのメッセージから始まります。

オープンコア · 無償 · AGPL-3.0

誰にとっても必要な理由

GNSS から位置や時刻を得る人は誰でも、ジャミング、スプーフィング、信号喪失の影響を受けます。これらは、車両、ネットワーク、電力網、宇宙機のすべてに及びます。
401 件の機能のうち 176 件が独立した外部のオラクルと一致しています。残りはモデル計算とラベル付けされ、その旨を明示しています。
92 種類すべてのシナリオ kind を、機能ゲートなしで無償提供します。シナリオ、シード、エンジンのバージョンから決定論的です。
同じコアを、クローズドな統合向けに商用ライセンスで提供します。

Kshana Studio を起動エンジンをインストール

Kshana Pro · 契約に基づく

Pro でさらに強力に

設計空間のパレートフロント。フロント上のすべての設計は、無償のエンジンが再実行できるシナリオとして提供されます。
数千回の実行にわたる不確かさと感度。
検証マトリクスと PDF（Portable Document Format）ファイルを含む、一つのコマンドで作れるミッションドシエ。
監査グレードで再現可能なエビデンスパック、お使いの機器の公開されたアラン分散のバジェットに較正したクロックのデジタルツイン、性能指標で順位付けしたアーキテクチャのトレードスタディ、モデルベースシステムズエンジニアリング（MBSE）とプログラム向けのツール。

Pro の評価を依頼する Pro に含まれるもの

カスタム調査 · 代行

カスタム調査：道具ではなく、答えを

お客様のシステムを対象とした、モデルから計算する PNT レジリエンス調査（たとえば楽観ギャップの監査）。認証ではありません。
お客様のハードウェアに較正したセンサーとレジリエンスのモデル。
適切なクリアランスと NDA（秘密保持契約）のもとでの、輸出管理の対象となる作業。
統合、トレーニング、コンサルティング。

調査を依頼する理由と対象者

同じエンジンを増幅：Kshana Pro の実際の出力

Pro に含まれるもの

設計オプティマイザー

15未解決項目

12件の要件を実際の実行に照らして確認、21ページの PDF（Portable Document Format）

タイミングが破綻する場所を、破綻する前に見つける。

Kshana Studio を起動

GNSS が途絶えるその一分間を、事前に演習する。

v0.40.0 の新機能：ミッションスレッド、すべての図のエビデンスラベル、そして十七の言語

ジャマーが帯域を奪う様子を見る。

1/6平常

フェーズ · メンバー実行

障害の連鎖全体を一つのエンジンで。

GNSS のジャミングと干渉

スプーフィング検出

発振器クラスごとのクロックのホールドオーバー

GNSS/INS の惰行

スロットタイミング

RAIM と ARAIM

タイミングマスク

軌道：SGP4 と数値計算

月の PNT

量子センサーのトレードスタディ

ブラウザー、ターミナル、ノートブック、IDE、アシスタント

Kshana が該当しないもの

AI アシスタントに尋ねます。答えるのはエンジンです。

澄んだ空から、自走するクロックまで。

すべてのリンクを把握。

雑音が空を飲み込む。

測位解に見える嘘。

そして時刻がずれ始める。

誰でも無償。回答がレビューに耐える必要があるときは Pro。

誰にとっても必要な理由

Pro でさらに強力に

カスタム調査：道具ではなく、答えを

同じエンジンを増幅：Kshana Pro の実際の出力

どの設計を飛ばすべきか。

結果はどれだけ確かで、何がそれを左右するのか。

ミッションは要求を満たしているか、そしてそれを引き渡せるか。

タイミングが破綻する場所を、破綻する前に見つける。