Version v0 Archive ARCHIVE

This is the archive for MathLedger version v0. 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-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 (9)

Canonicalization Determinism
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

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

File checksums are in manifest.json.