Зіставлення 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 також додають кількості, які самі зазначають (виявлені події з оцінюваних, узгоджені прогнози з оцінюваних). Вони описують цей журнал, оцінений за подіями та допусками, визначеними до прогону, і подаються так, як їх зазначає прогін.

Можливості#