Compliance-kortlægning

Købere og modtagerproducenter skal stå til regnskab over for offentlige rammer for robusthed. Denne mappe knytter række for række det, Kshana beregner og registrerer, til disse rammer, og kshana compliance-report udfylder koblingen ud fra de kørsler, du faktisk har.

Formulering. Output fra Kshana leverer belæg for et krav. De er ikke en bedømmelse eller godkendelse af noget produkt, og ingen af disse filer er en udtalelse fra et vurderingsorgan; det er Kshana ikke. Kravtekst er omskrevet, aldrig gengivet ordret.

Standardpakker (0,38) gør en ramme om til scorede scenarier: hver pakke har scenarier, tærskler fastsat før kørslen og rækker, den leverer belæg for. kshana standards-pack list viser dem.

Hver fil oplister sine kildedokumenter med version, URL, læsedato og hvad der blev og ikke blev kontrolleret. Kilderne blev læst den 2026-10-09 (NIST-profilen den 2026-10-18; EASA-bulletinen og katalogsiderne for EN 16803 blev kontrolleret igen den 2026-10-10). Hvor en kilde kun kunne læses via et spejl eller en katalogside, siger filen det.

Rapporten#

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

skriver compliance-report.compliance.md og compliance-report.compliance.json (--out <base> ændrer navnet). Inputtet er resultatfiler fra tidligere kørsler: en scenariekørsel skriver <name>.result.json ved siden af <name>.toml, og kshana receiver-trust skriver sin egen. Typen af hver kørsel læses fra scenariefilen ved siden af resultatet, fra indholdet af et receiver-trust-resultat eller fra en kind på øverste niveau, og skal være en type, motoren kender. Et resultat opføres som ikke brugt, med begrundelsen, og tæller for intet, når dets type ikke kan findes, ikke er en kendt type, eller når den tilhørende scenariefil og resultatets egen kind er uenige. (Resultatets scenario_hash og en hash af scenariefilen sammenlignes ikke: motoren beregner den første over sit fortolkede scenarie, og en filhash er over teksten, så de er forskellige størrelser.)

En typebetegnelse alene er ikke evidens. En kørsel tæller for en funktion kun, når dens resultat også indeholder de felter, den type skriver (for eksempel kræver et jamming-resultat sine kvalitetsmål og rækker pr. epoke; et integrity-resultat kræver sine stikprøveantal). Felterne er opført i src/compliance/mapping.rs (KIND_FIELDS), og et resultat, hvor et af dem mangler, tælles ikke med. En hash, der ikke er hexadecimal, rapporteres ikke som en hash. Et receiver-trust-resultat, hvis antal ikke er hele tal, eller hvor antallet af detekterede eller enige overstiger antallet af evaluerbare, udelukkes og opføres som ikke brugt.

For hver række angiver rapporten en af:

Kolonnen med mangler udskrives for hver række, også de dokumenterede: en kørsel, der leverer belæg for en funktion, lader stadig det meste af et krav høre under anden evidens. Rapporten gentager formuleringsreglen i toppen. --mapping udskriver de statiske tabeller og --sources kildelisten.

Receiver-trust-kørsler bidrager også med de antal, de angiver (detekterede hændelser ud af de evaluerbare, enige forudsigelser ud af de evaluerbare). De beskriver den pågældende log, scoret mod hændelser og tolerancer fastsat før kørslen, og rapporteres, som kørslen angiver dem.

Funktioner#