STOP
Insufficient, expired, prohibited, or unapproved authority halts before execution.
Proof Lab
Trace safe data from intent through identity, authority, policy, decision, evidence, verification, and replay.
Safe local data only. Web Crypto SHA-256 is used. No signature, trusted timestamp, external attestation, or production execution is claimed.
Interpretation
Adverse cases show where the governed path terminates.
Insufficient, expired, prohibited, or unapproved authority halts before execution.
Changed evidence produces a different digest and never shows as verified.
The decision path is reconstructed without a real side effect.