Evidence ceiling E3Proof boundary
POLICY/1 v0.2 · PROOF-CARRYING POLICY
A policy decision should carry the constitution and compilation path that produced it.
Site 71 binds the exact constitution, normative closure, target mapping and decision into a portable receipt. Unmapped rules fail compilation, and observed enforcement can be checked for DENY/HOLD bypass.
Reference compilation
MAPPED
The target is an abstract Cedar mapping. This is deliberately not represented as a proof of semantic equivalence with a deployed Cedar engine.
- CONSTITUTION
- sha256:fb4434c12cc27bf7824923355657c320a6c16f3b3d36596f0959a1cb1672d87c
- COMPILATION
- sha256:aede5e8f9234610051c679228256954ab480ab109afd4d2bf46da82eedda42c4
- RECEIPT
- sha256:402dcd999a2d76545e5d5c900a164664405ad26e55caa27887725466d46d79da
- DECISION
- ALLOW
- DRIFT
- NONE
- MODEL CASES
- 64