Version v0.2.12 Archive ARCHIVE

This Site Provides Two Artifacts

📁 Archive (this page)

Immutable evidence and documentation. Static, versioned, cryptographically checksummed.

⚡ Demo (hosted at /demo/)

Interactive execution of the same version. Produces evidence packs verifiable against this archive.

This archive is immutable. The hosted demo at /demo/ runs the latest demo-capability version. Documentation versions may advance independently to close claim sets, doctrine, and audit semantics. (See: Version Number Doctrine)

Field Manual (fm.tex/pdf): obligation ledger used to drive version promotions.

Open Hosted Demo Open Auditor Tool

For Auditors: 3-Step Verification

Run the boundary demo — Open demo, click "Run Boundary Demo", observe VERIFIED/REFUTED/ABSTAINED outcomes
Download evidence pack — Click "Download Evidence Pack" after demo completes
Verify in auditor tool — Open verifier, upload pack, confirm PASS (or tamper and observe FAIL)

Full checklist: 5-minute auditor verification

Ready-to-Verify: Example Evidence Packs (no demo required)

Download pre-built examples to test the auditor tool without running the demo:

📥 Download Examples (PASS + FAIL) Open Auditor Tool

The examples.json file contains both valid (PASS) and tampered (FAIL) packs for testing.

This is the archive for MathLedger version v0.2.12. All artifacts below are static, verifiable, and immutable.

Release Delta: v0.2.12

Did not change:

Tier A/B/C invariant counts (11/1/3)
All cryptographic enforcement
Demo code and behavior
Verifier implementation

Still not enforced:

FV Mechanical Verification (no Lean/Z3)
Multi-Model Consensus (single partitioner)
RFL Integration (no learning loop)

Archive Contents

Artifact	Description
For Auditors	5-minute verification checklist
Scope Lock	What this version does and does not demonstrate
Explanation	How the demo explains its own behavior
Invariants	Tier A/B/C enforcement status
Hostile Rehearsal	Answers to skeptical questions
Fixtures	Regression test cases with golden outputs
Evidence Pack	Replay verification artifacts
Manifest	Version metadata + file checksums

Local Execution

Local Execution

Run locally instead of using hosted demo

git clone https://github.com/helpfuldolphin/mathledger
git checkout v0.2.12-versioning-doctrine
uv run python demo/app.py
Open http://localhost:8000

Invariant Details

Tier A: Cryptographically/Structurally Enforced (11)

Canonicalization Determinism (RFC 8785-style)
H_t = SHA256(R_t || U_t)
ADV Excluded from R_t
Content-Derived IDs
Replay Uses Same Code Paths
Double-Commit Returns 409
No Silent Authority
Trust-Class Monotonicity
Abstention Preservation
Audit Surface Version Field
Abstention Terminality

Tier B: Logged, Not Hard-Gated (1)

MV Validator Correctness (edge cases)

Tier C: Documented, Not Enforced (3)

FV Mechanical Verification
Multi-Model Consensus
RFL Integration

Verification

To verify this archive matches the source:

Clone the repository
Checkout commit 15cc70f607321a8187febe798466a5cfdc5fd20f
Run uv run python scripts/build_static_site.py --version v0.2.12
Compare generated files to this archive

File checksums are in manifest.json.