Challenge Studio
Interactive Sequencer.
Assemble up to 32 bounded challenge event sequences against Chapter 1 invariants. Propose attack sequences, inspect live JSON schema validation, and dispatch to the deterministic verification kernel.
Event Sequence Builder
Targeting: ECDSA-P256 → ML-DSA-44 (NIST FIPS 204)
Presets:
[TARGET INVARIANT] Clock Advance Across Handoff Boundary: Delivers a prepare payload, advances logical clock by 10 ticks, and tests whether confirmation succeeds.
3 / 32 steps
Contributor Identity
Initializing...
Schema (challenge.v1)
{}
Valid challenge.v1 structure