Version v0.2.3 Archive ARCHIVE

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

Release Delta: v0.2.3

Changed:

FOR_AUDITORS.md uses template variables ({{CURRENT_VERSION}}, {{CURRENT_TAG}})
examples.json pack_version updated to v0.2.3
Verifier page has prominent 'Run self-test vectors' button with table output
/versions/ page has status ambiguity note about pre-v0.2.2 archives
Build assertions for examples.json staleness and self-test presence

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
Hash contract (hashes computed identically)

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.3-audit-path-freshness
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 674bcd16104f37961fe1ce9e200a5b95a9c85bb3
Run uv run python scripts/build_static_site.py --version v0.2.3
Compare generated files to this archive

File checksums are in manifest.json.