#02
Three-state semantics
The internal K3 model treats Indeterminate as a primitive. Public outcomes are ALLOW, DENY, and INDETERMINATE.
Decision infrastructure built around a deterministic kernel
Integration boundary
The kernel returns a decision outcome. This dossier makes no claim about downstream workflow behavior.
Verified public scope
Claim source revision: e5256479c823
Evidence boundary
Deployment topology, enforcement modes, and downstream verification are not asserted on this public page.