Version v0.2.2 Archive ARCHIVE

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

Release Delta: v0.2.2

Changed:

All archive table links now version-pinned (absolute paths)
Evidence pack page links to verifier and examples
For-auditors checklist has clickable verifier URLs
Version pages show LOCKED status (not CURRENT/SUPERSEDED)
/versions/ is now sole authority on current/superseded status

Did not change:

Tier A/B/C invariant counts (10/1/3)
Cryptographic enforcement (H_t, R_t, U_t)
Demo functionality and verification flow

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

Interactive Demo LOCAL ONLY
This archived version's demo requires local Python execution.

To run locally:
git clone https://github.com/helpfuldolphin/mathledger
git checkout v0.2.2-link-integrity
uv run python demo/app.py
Open http://localhost:8000

Note: The hosted demo at /demo/ runs the CURRENT version (see /versions/ for status). This archived version is not available as a hosted demo.

Invariant Details

Tier A: Cryptographically/Structurally Enforced (10)

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

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 27a94c8a58139cb10349f6418336c618f528cbab
Run uv run python scripts/build_static_site.py --version v0.2.2
Compare generated files to this archive

File checksums are in manifest.json.