Ledger-Kernel 1.0.0 — Execution Checklist

Generated from GitHub Issues on 2025-10-29 17:26 UTC.

Phase Order (Hard Dependencies)

• M0 → M1 → M2 → M3 → M4 → M5 → M6 → v1.0.0

M0 Repo Hygiene

Next

• [ ] Rename NOTICE.m → NOTICE.md (#13)
• [ ] Fix README tables and stray hyphens (#14)
• [ ] Fix typo: tests/fixtures/miniaml_repo → minimal_repo (#15)
• [ ] Align test filenames or COMPLIANCE to naming (#16)
• [ ] Logo asset path: add image or remove from README (#17)

M1 Norms

Next

• [ ] Spec: Proofs storage modes + defaults + paths (#18)
• [ ] Spec: Attestation storage modes + resolver (#19)
• [ ] Config: _meta/config.json keys for modes (#20)
• [ ] Spec: Hash IDs/digests (BLAKE3 + SHA256 mirror) (#21)
• [ ] Spec: Policy determinism profile (hostless WASM) (#22)
• [ ] Spec: Timestamp rules (ISO-8601 UTC; monotonic) (#23)
• [ ] Spec: Canonical JSON (sorted keys; no floats) (#24)
• [ ] Spec: Proofs compaction + snapshot manifest (#25)
• [ ] Docs: Update ref layout diagrams (modes + compaction) (#26)

M2 Spec Freeze RC

Next

• [ ] SPEC.md normative pass (MUST/SHOULD/MAY) & remove markers (#27) ⛓ blocked (10)
• [ ] MODEL.md formulas + plain-text fallbacks (#28) ⛓ blocked (10)
• [ ] REFERENCE.md align IDs/digests + config keys + errors (#29) ⛓ blocked (10)
• [ ] ARCHITECTURE.md sync with modes + compaction (#30) ⛓ blocked (10)
• [ ] COMPLIANCE.md: mode selection + quorum (Core vs Extended) (#31) ⛓ blocked (10)

M3 Schemas+Examples

Next

• [ ] Schema: schemas/entry.json (canonical fields; no floats) (#32)
• [ ] Schema: schemas/attest.json (mode-agnostic) (#33)
• [ ] Schema: schemas/proof.json (append/attest/policy/replay + snapshot) (#34)
• [ ] Schema: schemas/policy.json (metadata + ABI) (#35)
• [ ] Script: scripts/validate_schemas.sh (ajv/spectral) (#36)
• [ ] REFERENCE.md: schema usage + canonicalization notes (#37)
• [ ] Examples: proofs branch mode (end-to-end) (#38)
• [ ] Examples: proofs notes mode (#39)
• [ ] Examples: proofs private mode (#40)
• [ ] Examples: attestation via commit signature (#41)
• [ ] Examples: attestation via notes and via attestation branch (#42)
• [ ] Walkthrough: examples/replay_invariants.md (#43)

M4 Compliance MVP

Next

• [ ] Harness: tests/harness/run_tests.sh (mode-aware) (#44) ⛓ blocked (7)
• [ ] Verifier: tests/harness/verify_proofs.py (mode-aware) (#45) ⛓ blocked (7)
• [ ] Compliance: Fixture 01 — Append-Only: attempt modify/delete → reject (#46) ⛓ blocked (7)
• [ ] Compliance: Fixture 02 — Fast-Forward: non-ancestor commit → reject (#47) ⛓ blocked (7)
• [ ] Compliance: Fixture 03 — Deterministic Replay: two runs → identical state_b3 (#48) ⛓ blocked (7)
• [ ] Compliance: Fixture 04 — Attestation Verification: tamper → invalid (#49) ⛓ blocked (7)
• [ ] Compliance: Fixture 05 — Policy Enforcement: WASM policy false → reject (#50) ⛓ blocked (7)
• [ ] Compliance: Fixture 06 — Temporal Monotonicity: back-dated → reject (#51) ⛓ blocked (7)
• [ ] Compliance: Fixture 07 — Namespace Isolation: cross-ref pollution prevented (#52) ⛓ blocked (7)
• [ ] Compliance: Fixture 08 — Equivalence: identical sequences → equal states (#53) ⛓ blocked (7)
• [ ] Extended: Quorum policy 2-of-3 + fixtures (#54) ⛓ blocked (7)
• [ ] Extended: Verifier checks quorum result in proofs (#55) ⛓ blocked (7)

M5 Docs+CI

Next

• [ ] VitePress: scaffold site (config + index + nav) (#56)
• [ ] VitePress: convert admonitions + mermaid strategy (#57)
• [ ] VitePress: Modes & Decisions pages (#58)
• [ ] VitePress: GH Pages workflow (#59)
• [ ] README cleanup and site link (#60)
• [ ] CI: markdown lint + spell check (#61)
• [ ] CI: link checker (#62)
• [ ] CI: schema validation job (#63)
• [ ] CI: VitePress build check (#64)
• [ ] CI: Mermaid render or fallback images (#65)

M6 Governance+Security

Next

• [ ] CHANGELOG.md (0.1.0→1.0.0) (#66)
• [ ] Version negotiation + _meta/version guidance (#67)
• [ ] Release process doc (tagging, signing, publish) (#68)
• [ ] Spec freeze process (exclusive window) (#69)
• [ ] SECURITY.md (contact, timelines) (#70)
• [ ] Threat model doc (#71)
• [ ] Key guidance (Ed25519, rotation, trust roots, quorum) (#72)
• [ ] CONTRIBUTING.md (#73)
• [ ] CODE_OF_CONDUCT.md (#74)
• [ ] Issue templates (Bug, Spec Change, Docs, Compliance) (#75)
• [ ] PR template (schema validates, links checked, decisions referenced) (#76)
• [ ] Labels guide (Labels.md) (#77)