Compliance-koppeling

Kopers en ontvangerfabrikanten verantwoorden zich tegenover openbare veerkrachtkaders. Deze map koppelt wat Kshana berekent en vastlegt rij voor rij aan die kaders, en kshana compliance-report vult de koppeling in vanuit de runs die u daadwerkelijk hebt.

Formulering. De uitvoer van Kshana levert bewijs voor een eis. Het is geen beoordeling of goedkeuring van enig product, en geen van deze bestanden is een verklaring van een beoordelende instantie; Kshana is dat ook niet. De tekst van eisen is geparafraseerd en nooit letterlijk overgenomen.

Standaardpakketten (0,38) maken van een kader scenario's met een score: elk pakket heeft scenario's, drempels die vóór de run zijn vastgelegd en rijen waarvoor het bewijs levert. kshana standards-pack list toont ze.

Elk bestand somt zijn brondocumenten op met versie, URL, leesdatum en wat wel en niet is gecontroleerd. De bronnen zijn gelezen op 2026-10-09 (het NIST-profiel op 2026-10-18; het EASA-bulletin en de cataloguspagina's van EN 16803 zijn opnieuw gecontroleerd op 2026-10-10). Waar een bron alleen via een mirror of een cataloguspagina kon worden gelezen, staat dat in het bestand.

Het rapport#

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

schrijft compliance-report.compliance.md en compliance-report.compliance.json (--out <base> wijzigt de naam). De invoer bestaat uit resultaatbestanden van eerdere runs: een scenariorun schrijft <name>.result.json naast <name>.toml, en kshana receiver-trust schrijft een eigen resultaat. De soort van elke run wordt gelezen uit het scenariobestand naast het resultaat, uit de inhoud van een receiver-trust-resultaat of uit een kind op het hoogste niveau, en moet een soort zijn die de engine kent. Een resultaat wordt vermeld als niet gebruikt, met de reden, en telt nergens voor mee wanneer de soort niet te vinden is, geen bekende soort is, of het bijbehorende scenario en de eigen kind van het resultaat niet overeenstemmen. (De scenario_hash van het resultaat en een hash van het scenariobestand worden niet vergeleken: de engine berekent de eerste over zijn geparseerde scenario en een bestandshash is over de tekst, dus het zijn verschillende grootheden.)

Een soortlabel alleen is geen bewijs. Een run telt pas mee voor een mogelijkheid wanneer het resultaat ook de velden bevat die die soort schrijft (een jamming-resultaat heeft bijvoorbeeld zijn kwaliteitsmaten en rijen per epoch nodig; een integrity-resultaat heeft zijn aantallen samples nodig). De velden staan in src/compliance/mapping.rs (KIND_FIELDS) en een resultaat waarin er een ontbreekt, telt niet mee. Een hash die niet hexadecimaal is, wordt niet als hash gemeld. Een receiver-trust-resultaat waarvan de aantallen geen gehele getallen zijn, of waarvan het aantal gedetecteerde of overeenstemmende gevallen het aantal beoordeelbare overschrijdt, wordt uitgesloten en als niet gebruikt vermeld.

Voor elke rij geeft het rapport een van de volgende:

De kolom met de leemte wordt voor elke rij afgedrukt, ook voor rijen met bewijs: een run die bewijs levert voor een mogelijkheid laat het grootste deel van een eis nog aan ander bewijs over. Het rapport herhaalt de formuleringsregel aan het begin. --mapping drukt de statische tabellen af en --sources de bronnenlijst.

Receiver-trust-runs leveren ook de aantallen die ze vermelden (gedetecteerde gebeurtenissen van de beoordeelbare, overeenstemmende voorspellingen van de beoordeelbare). Die beschrijven die log, beoordeeld aan de hand van gebeurtenissen en toleranties die vóór de run zijn vastgelegd, en worden gemeld zoals de run ze vermeldt.

Mogelijkheden#