Mapowanie compliance

Nabywcy i producenci odbiorników odpowiadają przed publicznymi ramami odporności. Ten folder wiersz po wierszu odwzorowuje to, co Kshana oblicza i rejestruje, na te ramy, a kshana compliance-report wypełnia odwzorowanie na podstawie przebiegów, którymi faktycznie dysponujesz.

Sformułowania. Wyniki Kshana dostarczają dowodów na spełnienie wymagania. Nie są oceną ani zatwierdzeniem żadnego produktu, a żaden z tych plików nie jest oświadczeniem organu oceniającego; Kshana takim organem nie jest. Treść wymagań jest sparafrazowana, nigdy nie jest powielana.

Pakiety norm (0,38) zamieniają ramy w scenariusze z oceną: każdy pakiet ma scenariusze, progi ustalone przed przebiegiem i wiersze, dla których dostarcza dowodów. kshana standards-pack list je pokazuje.

Każdy plik wymienia swoje dokumenty źródłowe z wersją, adresem URL, datą odczytu oraz informacją, co sprawdzono, a czego nie. Źródła odczytano 2026-10-09 (profil NIST 2026-10-18; biuletyn EASA i strony katalogowe EN 16803 sprawdzono ponownie 2026-10-10). Gdy źródło dało się odczytać tylko przez lustro lub stronę katalogową, plik to zaznacza.

Raport#

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

zapisuje compliance-report.compliance.md i compliance-report.compliance.json (--out <base> zmienia nazwę). Danymi wejściowymi są pliki wyników z wcześniejszych przebiegów: przebieg scenariusza zapisuje <name>.result.json obok <name>.toml, a kshana receiver-trust zapisuje własny. Rodzaj każdego przebiegu odczytuje się z pliku scenariusza leżącego obok wyniku, z treści wyniku receiver-trust albo z pola kind na najwyższym poziomie, i musi to być rodzaj znany silnikowi. Wynik jest wymieniany jako nieużyty, wraz z powodem, i nie liczy się do niczego, gdy nie da się znaleźć jego rodzaju, nie jest to znany rodzaj albo sąsiedni scenariusz i własne pole kind wyniku się nie zgadzają. (scenario_hash wyniku i skrót pliku scenariusza nie są porównywane: silnik oblicza pierwszy z przetworzonego scenariusza, a skrót pliku dotyczy tekstu, więc to różne wielkości.)

Sama etykieta rodzaju nie jest dowodem. Przebieg liczy się dla danej możliwości tylko wtedy, gdy jego wynik zawiera także pola zapisywane przez ten rodzaj (na przykład wynik jamming wymaga wskaźników jakości i wierszy dla poszczególnych epok; wynik integrity wymaga liczebności próbek). Pola wymieniono w src/compliance/mapping.rs (KIND_FIELDS), a wynik, w którym brakuje któregoś z nich, nie jest liczony. Skrót, który nie jest szesnastkowy, nie jest zgłaszany jako skrót. Wynik receiver-trust, którego liczebności nie są liczbami całkowitymi albo w którym liczba wykryć lub zgodnych przekracza liczbę możliwych do oceny, jest wyłączany i wymieniany jako nieużyty.

Dla każdego wiersza raport podaje jedną z wartości:

Kolumna luki jest drukowana dla każdego wiersza, także dla tych z dowodami: przebieg, który dostarcza dowodów na jakąś możliwość, nadal pozostawia większość wymagania innym dowodom. Raport powtarza na początku regułę sformułowań. --mapping drukuje tabele statyczne, a --sources listę źródeł.

Przebiegi receiver-trust wnoszą także liczebności, które podają (zdarzenia wykryte spośród możliwych do oceny, predykcje zgodne spośród możliwych do oceny). Opisują one dany dziennik, oceniony względem zdarzeń i tolerancji ustalonych przed przebiegiem, i są podawane tak, jak podaje je przebieg.

Możliwości#