Milestones

List view

• Wave 4 — Cross-domain theorem production

  Linear algebra + finite counterexample reifier bridges, tactics applying soundness, kernel replay Certification Records (ME-RV-040..043).

  No due date

  •0/4 issues closed
  0% complete4 open0 closed

• Wave 8 — Foundry, federation, and governance

  ME-RV-080..087 Foundry Q2, federation peers, teams, adoption, promotion records

  No due date

  •0/8 issues closed
  0% complete8 open0 closed

• Wave 7 — Reproducibility and release

  ME-RV-070..074 CI, frozen deps, env audits, signed experimental release

  No due date

  •0/5 issues closed
  0% complete5 open0 closed

• Wave 5 — Analytic calculus

  ME-RV-050..054: AnalyticExpr interpretation, DerivProof certificates, HasDerivAt soundness, ODE candidates, reifier/adapters.

  No due date

  •0/5 issues closed
  0% complete5 open0 closed

• Wave 6 — Product epistemology

  ME-RV-060..062 Hypothesis/Conjecture/Trace-to-Plan epistemic states

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• Wave 1 — Artifact identity

  Candidate Bundle v0.3, content-addressed store, Certification Record, evidence migration (ME-RV-010..013)

  No due date

  •0/4 issues closed
  0% complete4 open0 closed

• Wave 0 — Stop overclaiming

  ME-RV-001/002/003: downgrade replay assurance, remove placeholders, CI truth + stable freeze. Normative: docs/audits/2026-07-26-real-vision/

  Overdue by 16 day(s)

  •

  Due by August 14, 2026

  •0/3 issues closed
  0% complete3 open0 closed