RASTA IMPERIUM

Adversarial verification

Challenge Lab

Safe, deterministic challenge fixtures. Select a challenge and inspect input, expected behaviour, result, invariant, and reason. No endpoint here can modify production state.

CHAL-ILLEGAL-TRANSITION-001

Illegal lifecycle transition

REJECTED_AS_DESIGNEDHISTORICAL

Attempt VERIFIED → INGESTED (not in allowed matrix).

Input
STATE_TRANSITION { from: VERIFIED, to: INGESTED }
Expected
Reject; emit audit failure; no state mutation
Result
REJECTED_AS_DESIGNED — sealed by ART-L7-REJECT-001
Invariant
Transition legality (INV-002 family)
Reason
Only explicit legal edges are accepted; reverse jump is forbidden
Receipt
4e208e48227cb5387b8d745f2cb5e35db3ec80c2f1844ce4b3b185c0c6a21f5a
Hash
4e208e48227cb5387b8d745f2cb5e35db3ec80c2f1844ce4b3b185c0c6a21f5a
  • deterministic
  • non-destructive
  • isolated from production
Related proof PROOF-ILLEGAL-001

Institutional path after challenge review

Institutional pilots →