MathLedger — Version v0
Status: LOCKED(see /versions/ for current status)
Tag: v0-demo-lock | Commit: ab8f51ab389a | Locked: 2026-01-02
Tier A (enforced): 9 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 in v0
  • MV edge cases: overflow, float precision not fully covered

Fixture: mv_arithmetic_verified ARCHIVE

← Back to Fixtures

Fixture: mv_arithmetic_verified

This fixture contains the following files:

FileSHA256 (truncated)
input.json4af1aa1854b8930b...
output.json4e4bb56c4c24b78e...

Download

Verify

To verify these files locally:

git checkout v0-demo-lock
cat fixtures/mv_arithmetic_verified/input.json | sha256sum