Сопоставление compliance

Покупатели и производители приёмников отвечают перед общедоступными каркасами устойчивости. В этой папке то, что Kshana вычисляет и записывает, сопоставлено с этими каркасами строка за строкой, а kshana compliance-report заполняет сопоставление по тем прогонам, которые у вас действительно есть.

Формулировки. Выходные данные Kshana подкрепляют доказательствами требование. Это не оценка и не одобрение какого-либо изделия, и ни один из этих файлов не является заявлением органа оценки; 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>.result.json рядом с <name>.toml, а kshana receiver-trust записывает собственный. Вид каждого прогона читается из файла сценария рядом с результатом, из содержимого результата receiver-trust или из поля kind верхнего уровня и должен быть видом, известным движку. Результат указывается как неиспользованный, с причиной, и ничего не засчитывает, если его вид не удаётся найти, он не является известным видом или соседний сценарий и собственное поле kind результата расходятся. (scenario_hash результата и хеш файла сценария не сравниваются: первый движок вычисляет по разобранному сценарию, а хеш файла берётся по тексту, так что это разные величины.)

Одна лишь метка вида не является доказательством. Прогон засчитывается для возможности, только если его результат содержит и поля, которые записывает этот вид (например, результату jamming нужны его показатели качества и строки по эпохам; результату integrity нужны числа отсчётов). Поля перечислены в src/compliance/mapping.rs (KIND_FIELDS), и результат, в котором одного из них нет, не засчитывается. Хеш, не являющийся шестнадцатеричным, не сообщается как хеш. Результат receiver-trust, счётчики которого не являются целыми числами или у которого число обнаруженных или согласующихся превышает число поддающихся оценке, исключается и указывается как неиспользованный.

Для каждой строки отчёт выдаёт одно из:

Столбец пробелов печатается для каждой строки, включая подкреплённые доказательствами: прогон, подкрепляющий доказательствами возможность, всё равно оставляет большую часть требования другим доказательствам. Отчёт повторяет правило формулировок в начале. --mapping печатает статические таблицы, а --sources — список источников.

Прогоны receiver-trust также вносят указанные ими числа (обнаруженные события из поддающихся оценке, согласующиеся предсказания из поддающихся оценке). Они описывают этот журнал, оценённый по событиям и допускам, заданным до прогона, и сообщаются так, как их указывает прогон.

Возможности#