Public proof library

Proof Registry

Structured proof records. Filter by type, status, invariant, and implementation. No fabricated production hashes — unavailable evidence is labelled as such.

TRUST STATUS

VERIFICATION SURFACE OPERATIONAL

HISTORICALTrust Console

SearchProof typeStatusInvariant containsImplementation contains

4 of 4 proofs

PROOF-REPLAY-001
Deterministic replay parity — ART-L7-REPLAY-001
VERIFIEDHISTORICALdeterministic_replay
INV-001 verified for sealed public capsule ART-L7-REPLAY-001.
Invariant
INV-001
Verification method
node non-kernel/frontend/scripts/verify-art-l7-replay-001.mjs
Source
/evidence/artifacts/ART-L7-REPLAY-001.json
Replay available
yes
Expected
Matching state_hash, receipt_hash, ledger_head_hash
Observed
Independent Node + Python EXIT 0
Hash
3f1705c85e156b965908f9b604c432461ff105333f27481df800b3b37940dc9f
Artifact
ART-L7-REPLAY-001
FROZEN. Capsule-scoped VERIFIED only.
Related claim CLAIM-REPLAY-001 Challenge related invariants →
PROOF-CHAIN-001
Append-only chain integrity (specification)
DEMONSTRATIONDEMONSTRATIONchain_integrity
Hash-linked append-only ledger invariant as documented.
Invariant
Append-only ledger
Verification method
Code and invariant inspection
Source
evo-v/ledger/append_only_log.py
Replay available
no
Expected
No update/delete of authoritative history
Observed
Enforced in ledger design documentation and module structure
Related claim CLAIM-LEDGER-001 Challenge related invariants →
PROOF-ILLEGAL-001
Illegal lifecycle transition rejection — ART-L7-REJECT-001
VERIFIEDHISTORICALillegal_transition_rejection
INV-002 family: VERIFIED→INGESTED is rejected; state_mutated=false; sealed rejection receipt independently reproduced.
Invariant
Transition legality
Verification method
node non-kernel/frontend/scripts/verify-art-l7-reject-001.mjs
Source
/evidence/artifacts/ART-L7-REJECT-001.json
Replay available
yes
Expected
ILLEGAL_TRANSITION; sealed hashes match; no state mutation
Observed
Independent Node + Python EXIT 0
Hash
4e208e48227cb5387b8d745f2cb5e35db3ec80c2f1844ce4b3b185c0c6a21f5a
Artifact
ART-L7-REJECT-001
FROZEN. Adversarial complement to PROOF-REPLAY-001.
Related claim CLAIM-LIFECYCLE-001 Challenge related invariants →
PROOF-PARITY-001
Cross-implementation parity — ART-L7-PARITY-001
VERIFIEDHISTORICALcross_implementation_parity
Node.js and Python3 pure verifiers independently pass frozen ART-L7-REPLAY-001 and ART-L7-REJECT-001 with exact hash agreement.
Invariant
INV-001 + INV-002 family (capsule scope)
Verification method
node non-kernel/frontend/scripts/parity-art-l7.mjs
Source
/evidence/artifacts/ART-L7-PARITY-001.json
Replay available
yes
Expected
Both implementations pass; computed hashes identical across runtimes
Observed
parity-art-l7 gate EXIT 0; sealed ART-L7-PARITY-001
Artifact
ART-L7-PARITY-001
FROZEN. Scope: public pure capsule verifiers only — not full EVO-V kernel parity, not LIVE production.
Challenge related invariants →

Proof Registry

Deterministic replay parity — ART-L7-REPLAY-001

Append-only chain integrity (specification)

Illegal lifecycle transition rejection — ART-L7-REJECT-001

Cross-implementation parity — ART-L7-PARITY-001