Challenge Mode

Attack the control path before capital depends on it.

Select a known failure and run the deterministic evaluation. GuardState shows exactly what evidence failed, which reason code applied, what decision followed, and which state resulted.

Scan your operating stack View the Proof Path

Challenge input

Expired Permit

SAMPLE INPUT

Inputexpired-permitAction class ORDER_CREATE · paper demonstration

Evidencedemo:ebef7e7a:expired-permit:evidenceImmutable deterministic fixture

Reason codePERMIT_EXPIREDNo free-form authorization

DecisionDENYAuthority effect: RESTRICT ONLY

Resulting stateREVOKEDDigest demo:561e7f7f:expired-permit