Verification

Run the proof

Do not ask this page whether the capsule passed. Download the artifact, run a pure verifier, and compare hashes.

ART-L7-REPLAY-001

Valid-path deterministic replay (INV-001).

$ node verify-art-l7-replay-001.mjs ./ART-L7-REPLAY-001.json
# Artifact replay · state · ledger · receipt · double-run parity
# RESULT: exit 0 only if sealed hashes match

Download capsule Detailed guide →PROOF-REPLAY-001 →

ART-L7-REJECT-001

Illegal lifecycle rejection (pure semantics — not production ledger recording).

$ node verify-art-l7-reject-001.mjs ./ART-L7-REJECT-001.json
# Expect ILLEGAL_TRANSITION · state_mutated false · sealed receipt

Download capsule

Three implementations

Node · Python · Go — exact hash agreement recorded in ART-L7-PARITY-002.

Full auditor handoff →

Limitations: what we have not proven