Beslutningsinfrastruktur bygget omkring en deterministisk kerne

Integrationsgrænse

Kernen leverer et beslutningsudfald. Denne dokumentation fremsætter ingen påstand om efterfølgende arbejdsgange.

KontaktLæs det verificerede omfang

Verificeret offentligt omfang

#02

Semantik med tre værdier

Den interne K3-model behandler Indeterminate som et primitivt element. De offentlige udfald er ALLOW, DENY og INDETERMINATE.

Revision af udsagnskilden: e5256479c823

Dokumentationsgrænse

Denne offentlige side fremsætter ingen udsagn om implementeringstopologi, håndhævelsestilstande eller efterfølgende verifikation.