Version v0.2.1 Archive ARCHIVE

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

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.1-cohesion
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.1
Compare generated files to this archive

File checksums are in manifest.json.