SnapOS-conformant ist kein Stil. Es ist ein versionierter Audit-Output-Vertrag.
Die Conformance Suite definiert das minimale öffentliche Interface für Outputs, die SnapOS-compatible oder SnapOS-conformant genannt werden wollen. Sie legt die private Audit Engine nicht offen.
Ein SnapOS-conformant Audit ist ein Output, der versioniertes Schema, Mindest-Witnesses, erlaubte Ergebnislabels, Counter-Hypothesis, Reopen-Trigger und Reliance Statement erfüllt. SnapOS-Kompatibilität ist eine Output-Eigenschaft, keine Selbstaussage.
Begriffliche Nutzung
Nutzt SnapOS-Begriffe, Failure Modes oder öffentliche Frames. Kein Conformance-Claim ohne Schema und Witnesses.
Schema-mappbarer Output
Trennt Claim, Evidenz, Annahme, Entscheidung und Regime; weist mindestens die Kern-Witnesses aus.
Versionierter Output-Vertrag
Erfüllt Schema, Witness Set, Ergebnislabels, Counter-Hypothesis, Reopen Trigger und Reliance Statement.
Zukünftiger Registry-Status
Zertifizierung erfordert später Qualifikation, Registry, QA und Attestation. Sie kann nicht selbst erklärt werden.
Was veröffentlicht werden darf
Outputpflichten
Audit ID, Version, Audit Object, Object Boundary, Decision Object, Claims, Evidence Sources, Assumptions, Regime, Context, Authority, Temporal Validity, Transfer Claim, Finding, Limitations, Reopen Trigger und Reliance Statement.
Mindest-Witnesses
Source, Object, Evidence, Decision, Authority, Temporal, Transfer und Reviewer Witness. Nicht anwendbare Witnesses müssen begründet werden.
Erlaubte Ergebnislabels
SUPPORTED, SUPPORTED WITH CONDITIONS, UNSUPPORTED TRANSFER, REVIEW REQUIRED, DO NOT RELY, OUT OF SCOPE, INSUFFICIENT EVIDENCE und NON-CONFORMANT OUTPUT.
Conformance Gates
C1–C10 prüfen Objektisolation, Claim/Evidence-Separation, Annahmen, Regime, Authority, Zeit, Transfer, Falsifikation, Reopen Trigger und Reliance.
Was nicht offengelegt wird
Die Conformance Suite veröffentlicht keine internen Operatorsequenzen, kein Scoring, keine Gewichtungen, keine vollständige Failure Library, keine Benchmark-Bewertungslogik, keine Promptketten, keine Triggerketten, keine private Orchestrierung und keine internen R&D-Heuristiken.
Publish the grammar. Standardize the interface. Certify the execution. Protect the compiler.