Compliance-kartlegging

Kjøpere og mottakerprodusenter svarer for offentlige rammeverk for robusthet. Denne mappen knytter det Kshana beregner og registrerer til disse rammeverkene, rad for rad, og kshana compliance-report fyller ut koblingen fra kjøringene du faktisk har.

Ordlyd. Utdata fra Kshana gir belegg for et krav. De er ikke en vurdering eller godkjenning av noe produkt, og ingen av disse filene er en uttalelse fra et vurderingsorgan; Kshana er ikke et slikt organ. Kravteksten er parafrasert, aldri gjengitt.

Standardpakker (0,38) gjør et rammeverk om til scenarioer med poengsum: hver pakke har scenarioer, terskler fastsatt før kjøringen og rader den gir belegg for. kshana standards-pack list viser dem.

Hver fil lister kildedokumentene sine med versjon, URL, lesedato og hva som ble og ikke ble kontrollert. Kildene ble lest 2026-10-09 (NIST-profilen 2026-10-18; EASA-bulletinen og katalogsidene for EN 16803 ble kontrollert på nytt 2026-10-10). Der en kilde bare kunne leses via et speil eller en katalogside, sier 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> endrer navnet). Inndataene er resultatfiler fra tidligere kjøringer: en scenariokjøring skriver <name>.result.json ved siden av <name>.toml, og kshana receiver-trust skriver sin egen. Typen til hver kjøring leses fra scenariofilen ved siden av resultatet, fra innholdet i et receiver-trust-resultat, eller fra et kind på øverste nivå, og må være en type motoren kjenner. Et resultat listes som ikke brukt, med begrunnelse, og teller ikke med når typen ikke kan finnes, ikke er en kjent type, eller når søskenscenarioet og resultatets egen kind er uenige. (Resultatets scenario_hash og en hash av scenariofilen sammenlignes ikke: motoren beregner den første over det tolkede scenarioet, mens en filhash er over teksten, så de er ulike størrelser.)

En typeetikett alene er ikke evidens. En kjøring teller for en funksjon bare når resultatet også har feltene den typen skriver (for eksempel trenger et jamming-resultat kvalitetsmålene og radene per epoke; et integrity-resultat trenger antall sampler). Feltene er listet i src/compliance/mapping.rs (KIND_FIELDS), og et resultat som mangler ett, telles ikke. En hash som ikke er heksadesimal, rapporteres ikke som en hash. Et receiver-trust-resultat der antallene ikke er hele tall, eller der antallet oppdagede eller som stemmer overens overstiger antallet som kan evalueres, utelukkes og listes som ikke brukt.

For hver rad gir rapporten ett av følgende:

Gap-kolonnen skrives ut for hver rad, også de med evidens: en kjøring som gir belegg for en funksjon, overlater fortsatt mesteparten av et krav til annen evidens. Rapporten gjentar ordlydsregelen øverst. --mapping skriver ut de statiske tabellene og --sources kildelisten.

Receiver-trust-kjøringer bidrar også med antallene de oppgir (hendelser oppdaget av de som kan evalueres, prediksjoner som stemmer av de som kan evalueres). De beskriver den loggen, målt mot hendelser og toleranser fastsatt før kjøringen, og rapporteres slik kjøringen oppgir dem.

Funksjoner#