Issues

• A constraint whose variable appears inside a record type takes the record as its argument

  area:frontend
  biuld/purescript-rs#137 · Filter by author biuld opened on Oct 4, 2026

• Land the Data library modules that no Phase 3 issue owns

  area:stdlibenhancementgate:L6/M7
  biuld/purescript-rs#124 · Filter by author biuld opened on Oct 3, 2026 · Phase 3 — Standard library

• Model forall binder visibility so inference carries purs's TypeVarVisibility

  area:frontendenhancementgate:L3gate:L4
  biuld/purescript-rs#123 · Filter by author biuld opened on Oct 3, 2026 · Phase 4 — L4 and L5 to 100%

• The L1 parse oracle cannot see a parse error behind a missing library module

  area:harnessenhancementgate:L0/L1
  biuld/purescript-rs#118 · Filter by author biuld opened on Oct 2, 2026

• Backend coverage: extend CC/MIR and representation rows to the full source surface

  area:backendenhancementgate:L2gate:L5gate:L6/M7gate:M8
  biuld/purescript-rs#101 · Filter by author biuld opened on Oct 1, 2026 · Phase 5 — Backend on real programs

• M3 kind gate: expression-level kinds, polykind instantiation, row-function kinds

  area:frontendenhancementgate:L3
  biuld/purescript-rs#100 · Filter by author biuld opened on Oct 1, 2026 · Phase 4 — L4 and L5 to 100%

• M4 type-checking rules: hole inference and the missing diagnostics

  area:frontendenhancementgate:L4gate:L5
  biuld/purescript-rs#99 · Filter by author biuld opened on Oct 1, 2026 · Phase 4 — L4 and L5 to 100%

• Complete deriving diagnostics and fundep suite coverage

  area:frontendenhancementgate:L2gate:L5gate:L6/M7gate:M8
  biuld/purescript-rs#98 · Filter by author biuld opened on Oct 1, 2026 · Phase 4 — L4 and L5 to 100%

• Add the missing class and instance checks (M5 codes without a checker kind)

  area:frontendenhancementgate:L4gate:L5
  biuld/purescript-rs#97 · Filter by author biuld opened on Oct 1, 2026 · Phase 4 — L4 and L5 to 100%

• Library modules with frontend weight: tuples, Proxy, Partial.Unsafe, Prim

  area:stdlibenhancementgate:L6/M7
  biuld/purescript-rs#96 · Filter by author biuld opened on Oct 1, 2026 · Phase 3 — Standard library

• Effect, Effect.Console and Test.Assert surfaces over the WASI library

  area:stdlibenhancementgate:L6/M7
  biuld/purescript-rs#95 · Filter by author biuld opened on Oct 1, 2026 · Phase 3 — Standard library
  2

• Prelude surface: classes, instances, and the value functions

  area:stdlibenhancementgate:L6/M7
  biuld/purescript-rs#94 · Filter by author biuld opened on Oct 1, 2026 · Phase 3 — Standard library
  3

• Define and vendor the M8-O optimize comparison

  area:harnessenhancementgate:L2gate:L5gate:L6/M7gate:M8
  biuld/purescript-rs#92 · Filter by author biuld opened on Oct 1, 2026 · Phase 6 — M8 warnings and optimization

• Add a warning-code scoreboard for the M8-W gate

  enhancementgate:M8
  biuld/purescript-rs#91 · Filter by author biuld opened on Oct 1, 2026 · Phase 6 — M8 warnings and optimization

• Phase 6: close the M8 warning and optimization gates

  enhancementgate:M8
  biuld/purescript-rs#79 · Filter by author biuld opened on Oct 1, 2026 · Phase 6 — M8 warnings and optimization

• Phase 5: prove the backend on real corpus programs

  enhancementgate:L6/M7 area:backend
  biuld/purescript-rs#78 · Filter by author biuld opened on Oct 1, 2026 · Phase 5 — Backend on real programs

• Phase 4: reach 100% on the L4 type and L5 class gates

  enhancementgate:L4 gate:L5 gate:L3 area:frontend
  biuld/purescript-rs#77 · Filter by author biuld opened on Oct 1, 2026 · Phase 4 — L4 and L5 to 100%

• Phase 3: grow the PureScript standard library

  enhancementgate:L6/M7 area:stdlib
  biuld/purescript-rs#76 · Filter by author biuld opened on Oct 1, 2026 · Phase 3 — Standard library

• Backend: Wasmtime execution harness for synthesized WIT ABI fixtures

  area:backendgate:L6/M7
  biuld/purescript-rs#73 · Filter by author biuld opened on Sep 27, 2026 · Phase 5 — Backend on real programs