Frame 09 · Adversarial verification laboratory
Attack the Timeline
A healthy synthetic world is running. Change its history, break its order, or lie about its ancestry. The verifier computes every boundary, quarantines rejected bytes, and keeps the last trusted world on screen.
offline
Panel 01 · Observe
What you are looking at
This is the last verified projection and its healthy frame chain. Rejected candidates never repaint this world.
Initializing…
head pending
Trusted chain
Healthy frames
Every hand-off names the exact predecessor.
Panel 02 · Attack
Do this
Run the control, choose one attack, or launch Attack All. Each mutation is computed against the current healthy chain, and its expected boundary is named before launch.
Panel 03 · Detect
Watch for
Watch the exact verification layer change state. Green means measured and valid, red means measured and rejected, and gray is unmeasured—never a pass.
| Layer | Current signal | What is computed |
|---|
Panel 04 · Preserve
What this demonstrates
Accepted and rejected attempts share one audit trail: hostile bytes are quarantined while the last verified projection remains visible and unchanged.
Rejected input
Byte quarantine
The candidate is retained for inspection; it is never projected.
Executable claims
Assertions
Every layer must be measured green in the control and observed red under a challenge. Unmeasured is explicitly incomplete.
Scope
A proof of rejection boundaries, not a production trust system.
- This page uses canonical JSON and the browser’s real Web Crypto SHA-256. It does not use substitute hashes.
- Signatures, identities, distributed transport, persistence, consensus, and key custody are intentionally modeled—not claimed.
- The synthetic high-water mark represents trusted durable state. A production system must protect that anchor independently.
- Structural validity is not semantic truth. That is why semantics, causality, concurrency, and provenance are separate detectors.
- A rejection preserves the last verified projection and retains the submitted bytes for audit. Nothing here silently “repairs” hostile input.