MathLedger — Version v0.2.7
Status: LOCKED(see /versions/ for current status)
Tag: v0.2.7-verifier-parity | Commit: 5d01b4b1446e | Locked: 2026-01-04
Tier A (enforced): 10 Tier B (logged): 1 Tier C (aspirational): 3
What this version cannot enforce:
  • No Lean/Z3 verifier: FV claims always return ABSTAINED
  • Single template partitioner: no multi-model consensus
  • No learning loop: RFL not active
  • MV edge cases: overflow, float precision not fully covered

Evidence Pack ARCHIVE

The evidence pack enables independent replay verification. An auditor can recompute attestation hashes without running the demo.

Verification Tools

Open Auditor Tool 📥 Download Example Packs

The auditor tool verifies evidence packs in-browser (no server). Example packs include PASS and FAIL cases.

Files

What Replay Verification Proves

What Replay Verification Does NOT Prove

Replay Instructions

  1. Download the evidence pack JSON file(s) above
  2. Clone the repo and checkout v0.2.7-verifier-parity
  3. Run replay verification:
    uv run python -c "
    from backend.api.uvil import replay_verify
    import json
    with open('evidence_pack.json') as f:
        pack = json.load(f)
    result = replay_verify(pack)
    print('PASS' if result['verified'] else 'FAIL')
    "
  4. PASS = hashes match; FAIL = tampering detected

See How the Demo Explains Itself for full details.