Roadmap

Near-term work is about making the repository easier to run, audit, and review. The goal is not bigger claims; it is clearer evidence.

Make Checks Green

Fix current pytest failures.
Bring coverage back to the configured gate or revise scope explicitly.
Reduce ruff and mypy noise in small, reviewable batches.

Improve Reproducibility

Publish sample ledgers generated from documented commands.
Record commit SHA and dependency context in result summaries.
Keep browser demos visibly separate from engine runs.

Tighten Engine Docs

Document input ranges and failure modes for each engine.
Keep score derivations aligned with code.
Add examples that show both successful and inconclusive runs.

Formal Boundary

Maintain the root Lean package for bounded certificates.
Keep toolchains pinned before publishing formal artifacts.
Reject accepted proof artifacts that contain `sorry`.