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

Fixture: underdetermined_navier_stokes ARCHIVE

← Back to Fixtures

Fixture: underdetermined_navier_stokes

This fixture contains the following files:

FileSHA256 (truncated)
input.jsonddd8c3c8c27af087...
output.json630c28100c81b5a1...

Download

Verify

To verify these files locally:

git checkout v0.2.7-verifier-parity
cat fixtures/underdetermined_navier_stokes/input.json | sha256sum