Evidence ceiling E3Proof boundary
REALITY VM
Make effect policy portable and deterministic.
The reference VM has a deliberately small opcode set and no ambient network, filesystem, model or clock access. All facts needed for the decision are explicit inputs.
Reference program
ALLOW_EFFECT
A single failed binding halts before ALLOW.
- POLICY
- sha256:630c84335dfc97964f4bd8351ab9fe5d3097179e4e490eb3900c37057dc69724
- PROGRAM
- sha256:685423c16cbdc9c3f9f6ea5d3a06891bae8279edbaceead7989606e67a69f9c1
- RESULT
- sha256:ad3577b98ef970bdfce47111f0fe285524e62d796ff1bb284fb2212613ea3176
- DECISION
- ALLOW_EFFECT