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

Field Manual ARCHIVE

Field Manual

Status: Working constraint artifact (not marketing documentation)

The Field Manual (fm.tex/fm.pdf) is an internal document that tracks obligations, gaps, and the reasoning behind version promotions. It is published here for transparency, not as polished documentation.

Why It Exists

The Field Manual serves as an obligation ledger:

  1. Surfaces gaps — Documents what the system cannot yet do
  2. Drives promotions — Version upgrades require addressing FM obligations
  3. Prevents drift — Written commitments constrain future behavior
  4. Auditor artifact — External reviewers can verify claims against FM entries

What It Is NOT

Downloads

How Auditors Should Use This

  1. Cross-reference claims — If a feature is claimed, check FM for caveats
  2. Look for "TODO" and "OBLIGATION" — These are explicit acknowledgments of gaps
  3. Compare versions — FM changes between versions show what was addressed
  4. Trust gaps over features — The gaps we document are more honest than features we claim

Relationship to Other Docs

DocumentPurpose
Scope LockWhat this version does/doesn't demonstrate
InvariantsTier A/B/C enforcement status
Field ManualObligation ledger driving version promotions
Hostile RehearsalPrepared answers to skeptical questions
The Field Manual is the "why we promoted" document; other docs are "what we claim now."