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

Test Fixtures ARCHIVE

These are the regression test fixtures for version v0.2.7. Each fixture contains input and expected output JSON files.

FixtureFiles
adv_only2 files
mixed_mv_adv2 files
mv_arithmetic_refuted2 files
mv_arithmetic_verified2 files
mv_only2 files
pa_only2 files
same_claim_as_adv2 files
same_claim_as_pa2 files
underdetermined_navier_stokes2 files

Checksum Verification

Download index.json for SHA256 checksums of all files.

Usage

# Run regression harness locally
git checkout v0.2.7-verifier-parity
uv run python tools/run_demo_cases.py