MathLedger — Version v0.2.12
Status: LOCKED(see /versions/ for current status)
Tag: v0.2.12-versioning-doctrine | Commit: 15cc70f60732 | Locked: 2026-01-05
Tier A (enforced): 11 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

Version Number Doctrine ARCHIVE

Version Number Doctrine

This document establishes the versioning scheme used in MathLedger.

Version Format

MathLedger uses semantic-like versioning: v{major}.{minor}.{patch}

Version Lifecycle

Each version passes through these states:

  1. current: The active, recommended version
  2. superseded-by-vX.Y.Z: Replaced by a newer version
  3. deprecated (future): Scheduled for removal

What Triggers a New Version

Change TypeVersion BumpExample
New capabilityMinorv0.2 → v0.3
Bug fixPatchv0.2.10 → v0.2.11
Documentation onlyPatchv0.2.11 → v0.2.12
Infrastructure fixPatchv0.2.9 → v0.2.10
Security fixPatch (minimum)v0.2.x → v0.2.y

Version Immutability

Once a version is released and tagged:

  1. No changes to that version's artifacts - The site directory is frozen
  2. Manifest files are immutable - sha256 checksums seal the version
  3. Status may change - A version can become superseded, but its content doesn't change

Historical Artifacts

Superseded versions remain fully navigable at their original URLs:

Tag Naming Convention

Tags follow the pattern: v{version}-{description}

Examples:

The description briefly indicates the primary change in that version.

releases.json Authority

The file releases/releases.json is the single source of truth for:

The build script reads ONLY this file to generate the site.

Why v0.x.y (Not v1.0)?

MathLedger is in pilot phase. The v0 prefix signals:

Version 1.0 will indicate production readiness.


Document created: v0.2.12 | Last updated: 2026-01-05