List view

• Future

  Work deferred beyond the V0 public deliverable: CEM planner proof (P3/V2), pixel encoder proof (P4/V3), recursive/aggregated verification, and an audited zero-knowledge mode. Tracked but out of v1.0 scope.

  No due date

  •10/10 issues closed
  100% complete0 open10 closed

• v1.0 — Fixed-Candidate Planning Proof

  MSE cost, argmin with deterministic tie-break, batched rollouts, the headline P2 fixed-candidate planning statement end-to-end, full negative-test suite, documentation build, release automation. This is the V0 public deliverable.

  No due date

  •22/22 issues closed
  100% complete0 open22 closed

• v0.2 — Predictor & Rollout

  Proof-native nonlinear primitives, predictor block, ARPredictor, pred_proj, P0 (one predictor step) proof, P1 (rollout) proof, prover/verifier CLI and proof artifact bundle.

  No due date

  •36/37 issues closed
  97% complete1 open36 closed

• v0.1 — Foundations

  Design freeze, third-party vendoring, fixed-point arithmetic over M31, range/lookup infrastructure, tensor memory, linear/matmul/requantization components, model manifest + export pipeline, canonical serialization + Fiat-Shamir transcript, CI and repository scaffolding, testing harness skeleton.

  No due date

  •67/67 issues closed
  100% complete0 open67 closed