Milestones

List view

• Phase 6 — M8 warnings and optimization

  The last two gates. Both need a harness first and neither blocks another phase. Epic #79.

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• Phase 5 — Backend on real programs

  The BE rows are Partial on source coverage, not design. Consumes the output of Phases 2-4. Epic #78.

  No due date

  •1/4 issues closed
  25% complete3 open1 closed

• Phase 4 — L4 and L5 to 100%

  Turn measurable into passing: hole inference, the missing class checks, deriving diagnostics, fundep coverage, and the M3 kind gate. Epic #77.

  No due date

  •0/6 issues closed
  0% complete6 open0 closed

• Phase 3 — Standard library

  230 of 377 unresolved passing files are blocked on nothing but a missing library module. Depends on Phase 2, because the library is a client of the forms Phase 2 lands. Epic #76.

  No due date

  •0/5 issues closed
  0% complete5 open0 closed

• Phase 2 — Frontend surface lowering

  The largest corpus blocker: 134 passing files stop in surface lowering before resolution, kinds or types run. Epic #75.

  No due date

  •8/8 issues closed
  100% complete0 open8 closed

• Phase 1 — Make every suite gate measurable

  Official errorCode mapping, a lenient type-check entry point, L4/L5 scoreboards, the harness module path, and a runtime scoreboard. Until this lands, L4, L5, L6/M7 and M8-W report nothing. Epic #74.

  No due date

  •5/5 issues closed
  100% complete0 open5 closed

• Phase 0 — Lexer and layout agreement

  Close the three remaining L1 files and the two lexer divergences. Self-contained; closes the L0/L1 gate. Epic #80.

  No due date

  •1/1 issues closed
  100% complete0 open1 closed