compliance のマッピング

購入者と受信機メーカーは、公開されているレジリエンスフレームワークに対して説明責任を負います。このフォルダーは、Kshana が計算し記録するものをそれらのフレームワークに行ごとに対応付けており、kshana compliance-report が、お手元の実際の実行から対応表を埋めます。

文言について。Kshana の出力は、要件の証拠を裏付ける（supports evidence for）ものです。いかなる製品の格付けや承認でもなく、これらのファイルはどれも評価機関の見解ではありません。Kshana は評価機関ではありません。要件の文章は言い換えており、転載はしていません。

標準パック（0.38）は、フレームワークを採点対象のシナリオに変換します。各パックには、シナリオ、実行前に定めた合格基準、そして証拠を裏付ける行があります。kshana standards-pack list でそれらを表示できます。

各ファイルには、出典文書のバージョン、URL、閲覧日、確認したことと確認していないことが記載されています。出典は 2026-10-09 に読みました（NIST のプロファイルは 2026-10-18、EASA のブレティンと EN 16803 のカタログページは 2026-10-10 に再確認しています）。出典をミラーやカタログページ経由でしか読めなかった場合は、そのファイルに明記しています。

レポート#

kshana compliance-report spoof-detect.result.json integrity-raim.result.json session.result.json

compliance-report.compliance.md と compliance-report.compliance.json を書き出します（--out <base> で名前を変更できます）。入力は以前の実行による結果ファイルです。シナリオの実行は <name>.toml の隣に <name>.result.json を書き出し、kshana receiver-trust は独自の結果を書き出します。各実行の種別は、結果の隣にあるシナリオファイル、receiver-trust 結果の内容、またはトップレベルの kind から読み取られ、エンジンが知っている種別でなければなりません。種別が見つからない場合、既知の種別でない場合、または隣のシナリオと結果自身の kind が一致しない場合、その結果は理由とともに「未使用」として一覧され、何の足しにもなりません。（結果の scenario_hash とシナリオファイルのハッシュは比較しません。前者はエンジンが解析したシナリオに対して計算し、ファイルのハッシュはテキストに対するものなので、両者は別の量だからです。）

種別ラベルだけでは証拠になりません。実行がある機能にカウントされるのは、その結果が、その種別の書き出すフィールドも備えている場合に限られます（たとえば jamming の結果には性能指標とエポックごとの行が、integrity の結果にはサンプル数が必要です）。フィールドは src/compliance/mapping.rs（KIND_FIELDS）に一覧されており、一つでも欠けている結果はカウントされません。十六進数でないハッシュは、ハッシュとして報告されません。カウントが整数でない receiver-trust 結果、または検出数や一致数が評価可能数を超えている結果は除外され、未使用として一覧されます。

各行について、レポートは次のいずれかを示します。

ギャップの列は、証拠のある行も含め、すべての行に出力されます。ある機能の証拠を裏付ける実行があっても、要件の大部分は他の証拠に委ねられたままだからです。レポートは冒頭で文言の規則を繰り返します。--mapping は静的な表を、--sources は出典の一覧を出力します。

receiver-trust の実行は、その実行が示すカウント（評価可能なもののうち検出されたイベント、評価可能なもののうち一致した予測）も提供します。これらはそのログを、実行前に定めたイベントと許容差に照らして採点したものを表し、実行が示したとおりに報告されます。

機能#