Version v0.2.0 Archive ARCHIVE

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

Archive Contents

Artifact	Description
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.0-demo-lock
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.0
Compare generated files to this archive

File checksums are in manifest.json.