Verify console · offline pure verifiers
Verify
Download sealed public capsules and run pure offline verifiers. The website UI is not the authority — recomputed hashes and exit codes are.
Outcome legend
Verification result states
States below are presentation of pure-verifier outcomes. They are not browser-run results and do not change the Living Evidence Manifest.
- VERIFIED
Hash agreement (exit 0)
Independent pure verifier recomputed values match the sealed targets in the capsule.
- UNAVAILABLE
Mismatch (non-zero exit)
Declared sealed hashes do not match recomputed digests, or required fields fail checks.
- DEMONSTRATION
Spec / fixture drift
Artifact shape or expected fields do not match the verifier’s declared contract for that capsule.
- DEMONSTRATION
Malformed input
JSON cannot be parsed or required structure is absent. Distinct from a cryptographic mismatch.
- DEMONSTRATION
Indeterminate
Available information is insufficient for a definitive pure-verifier result (rare for frozen public capsules).
Public VERIFIED capsules
Declared · inspected · recomputed
Each card is a presentation entry for a sealed public capsule. Authority remains the artifact bytes and pure-verifier exit codes — not this page.
ART-L3-DECISION-001
- Claim
- Capsule-scoped deterministic operational transition decision (INV-L3-001): ALLOW/DENY under frozen policySnapshot reproduces the sealed digest via independent pure verifiers.
- Verification
- Node and Python pure verifiers evaluate fixed cases against the sealed policy snapshot; digests must match expectedDigest.
- Command
$ node verify-art-l3-decision-001.mjs ./ART-L3-DECISION-001.json # or: python3 verify_art_l3_decision_001.py ./ART-L3-DECISION-001.json # RESULT: exit 0 only if decisions and sealed digest match
- Limitation
- VERIFIED — capsule-scoped only. Does not establish production enforcement, full EVO-V runtime verification, or LIVE monitoring. productionAuthority remains NOT ESTABLISHED (false).
ART-L7-REPLAY-001
- Claim
- Valid-path deterministic replay (INV-001): sealed state, ledger head, and receipt hashes agree under pure replay.
- Verification
- Node pure verifier recomputes replay · state · ledger · receipt · double-run parity against sealed targets.
- Command
$ node verify-art-l7-replay-001.mjs ./ART-L7-REPLAY-001.json # RESULT: exit 0 only if sealed hashes match
- Limitation
- Does not prove production deployment health, LIVE telemetry, or full EVO-V kernel parity.
ART-L7-REJECT-001
- Claim
- Illegal lifecycle transition is rejected under pure semantics with sealed receipt of the rejection path.
- Verification
- Node pure verifier expects ILLEGAL_TRANSITION, state_mutated false, and sealed rejection receipt hashes.
- Command
$ node verify-art-l7-reject-001.mjs ./ART-L7-REJECT-001.json # RESULT: exit 0 only if rejection path matches sealed targets
- Limitation
- Capsule-scoped rejection proof only. Not a general security certification.
ART-L7-PARITY-001
- Claim
- Cross-implementation parity: independent Node and Python pure verifiers agree on sealed digests.
- Verification
- Parity gate runs both pure verifiers and requires exact hash agreement on the sealed capsule.
- Command
$ node parity-art-l7.mjs --artifact ./ART-L7-PARITY-001.json # RESULT: exit 0 only if Node and Python agree
- Limitation
- Parity among pure verifiers for this capsule — not full-kernel parity or production runtime agreement.
Reproduce offline
Independent verification. Do not trust the website UI.
01
Obtain capsule
Download the sealed ART-L7 JSON artifact (or clone the repository).
02
Run verifier
Node.js or Python pure verifier. No network required. No mutation of the artifact.
03
Compare deterministic result
Exit code 0 and exact hash match against sealed expected values.
Boundary
What this console is not
- · Not a production runtime health dashboard
- · Not LIVE telemetry of EVO-V fleets
- · Not a substitute for offline pure-verifier reproduction
- · Not certification or court-ready assurance language