Compliance-kartläggning

Köpare och mottagartillverkare svarar inför offentliga ramverk för resiliens. Den här mappen kartlägger vad Kshana beräknar och registrerar mot dessa ramverk, rad för rad, och kshana compliance-report fyller i kartläggningen utifrån de körningar du faktiskt har.

Ordval. Kshanas utdata ger belägg för ett krav. De är inte ett betyg på eller ett godkännande av någon produkt, och ingen av dessa filer är ett uttalande från ett bedömningsorgan; Kshana är inget sådant. Kravtexten är omskriven, aldrig återgiven.

Standardpaket (0,38) omvandlar ett ramverk till poängsatta scenarier: varje paket har scenarier, trösklar som fastställts före körningen och rader det ger belägg för. kshana standards-pack list visar dem.

Varje fil listar sina källdokument med version, URL, datum för läsning och vad som kontrollerades och inte kontrollerades. Källorna lästes den 2026-10-09 (NIST-profilen den 2026-10-18; EASA-bulletinen och katalogsidorna för EN 16803 kontrollerades på nytt den 2026-10-10). Där en källa bara kunde läsas via en spegel eller en katalogsida anges det i filen.

Rapporten#

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

skriver compliance-report.compliance.md och compliance-report.compliance.json (--out <base> ändrar namnet). Indata är resultatfiler från tidigare körningar: en scenariokörning skriver <name>.result.json bredvid <name>.toml, och kshana receiver-trust skriver sin egen. Varje körnings sort läses från scenariofilen bredvid resultatet, från innehållet i ett receiver-trust-resultat eller från ett kind på toppnivå, och måste vara en sort som motorn känner till. Ett resultat listas som oanvänt, med skälet, och räknas inte alls när dess sort inte kan hittas, inte är en känd sort, eller när den intilliggande scenariofilen och resultatets eget kind inte stämmer överens. (Resultatets scenario_hash och ett hashvärde av scenariofilen jämförs inte: motorn beräknar det förra över sitt tolkade scenario och ett filhashvärde avser texten, så de är olika storheter.)

Enbart en sortsetikett är inget belägg. En körning räknas för en förmåga först när dess resultat också innehåller de fält som sorten skriver (till exempel behöver ett jamming-resultat sina kvalitetsmått och rader per epok; ett integrity-resultat behöver sina provantal). Fälten listas i src/compliance/mapping.rs (KIND_FIELDS) och ett resultat som saknar ett räknas inte. Ett hashvärde som inte är hexadecimalt rapporteras inte som ett hashvärde. Ett receiver-trust-resultat vars antal inte är heltal, eller vars antal detekterade eller överensstämmande överstiger antalet utvärderingsbara, utesluts och listas som oanvänt.

För varje rad anger rapporten ett av följande:

Kolumnen för luckor skrivs ut för varje rad, även de med belägg: en körning som ger belägg för en förmåga lämnar ändå större delen av ett krav åt annat belägg. Rapporten upprepar ordvalsregeln i sin början. --mapping skriver ut de statiska tabellerna och --sources källistan.

Receiver-trust-körningar bidrar också med de antal de anger (detekterade händelser av de utvärderingsbara, överensstämmande förutsägelser av de utvärderingsbara). Dessa beskriver den loggen, poängsatt mot händelser och toleranser som angavs före körningen, och rapporteras så som körningen anger dem.

Förmågor#