Mapování compliance

Kupující a výrobci přijímačů odpovídají veřejným rámcům odolnosti. Tato složka mapuje, co Kshana počítá a zaznamenává, na tyto rámce, řádek po řádku, a kshana compliance-report naplňuje mapování z běhů, které skutečně máte.

Formulace. Výstupy Kshana podporují důkazy pro (support evidence for) požadavek. Nejsou hodnocením ani schválením žádného produktu a žádný z těchto souborů není prohlášením posuzovacího orgánu; Kshana takovým orgánem není. Text požadavků je parafrázován, nikdy reprodukován.

Balíčky norem (0,38) mění rámec na hodnocené scénáře: každý balíček má scénáře, prahy stanovené před během a řádky, pro něž podporuje důkazy. kshana standards-pack list je zobrazí.

Každý soubor uvádí své zdrojové dokumenty s verzí, URL, datem přečtení a tím, co bylo a nebylo zkontrolováno. Zdroje byly přečteny 2026-10-09 (profil NIST 2026-10-18; bulletin EASA a katalogové stránky EN 16803 byly znovu zkontrolovány 2026-10-10). Kde se zdroj dal přečíst jen přes zrcadlo nebo katalogovou stránku, soubor to uvádí.

Zpráva#

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

zapisuje compliance-report.compliance.md a compliance-report.compliance.json (--out <base> mění název). Vstupem jsou soubory výsledků z dřívějších běhů: běh scénáře zapíše <name>.result.json vedle <name>.toml a kshana receiver-trust zapisuje vlastní. Druh každého běhu se čte ze souboru scénáře vedle výsledku, z obsahu výsledku receiver-trust nebo z kind nejvyšší úrovně a musí to být druh, který engine zná. Výsledek se uvede jako nepoužitý, s důvodem, a nepočítá se pro nic, když se jeho druh nedá zjistit, není známým druhem nebo když se sousední scénář a vlastní kind výsledku neshodují. (scenario_hash výsledku a hash souboru scénáře se neporovnávají: engine první počítá z jeho zpracovaného scénáře a hash souboru je z textu, takže jde o různé veličiny.)

Samotný štítek druhu není důkaz. Běh se počítá pro schopnost jen tehdy, když jeho výsledek nese také pole, která tento druh zapisuje (například výsledek jamming potřebuje své ukazatele kvality a řádky po epochách; výsledek integrity potřebuje své počty vzorků). Pole jsou uvedena v src/compliance/mapping.rs (KIND_FIELDS) a výsledek, kterému jedno chybí, se nepočítá. Hash, který není hexadecimální, se nehlásí jako hash. Výsledek receiver-trust, jehož počty nejsou celá čísla nebo jehož počet detekovaných či shodných převyšuje počet vyhodnotitelných, se vyloučí a uvede jako nepoužitý.

U každého řádku uvádí zpráva jednu z těchto možností:

Sloupec mezery se vypisuje u každého řádku, včetně řádků s doloženými důkazy: běh, který podporuje důkazy pro určitou schopnost (supports evidence for), přesto většinu požadavku ponechává dalším důkazům. Zpráva na svém začátku opakuje pravidlo o formulacích. --mapping vypíše statické tabulky a --sources seznam zdrojů.

Běhy důvěry v přijímač přispívají také počty, které samy uvádějí (zjištěné události z těch, které bylo možné vyhodnotit, a shodné předpovědi z těch, které bylo možné vyhodnotit). Ty popisují daný záznam, vyhodnocený proti událostem a tolerancím stanoveným před během, a uvádějí se tak, jak je běh uvádí.

Schopnosti#