Repository navigation

Proof §1.2: extract desugar model (dissolve SurfaceSugarKind) - #4694

Merged

briansrls merged 2 commits into

session/merry-bee-671from

session/merry-bee-671-surface-desugar

Jun 12, 2026

Merged

Proof §1.2: extract desugar model (dissolve SurfaceSugarKind)#4694
briansrls merged 2 commits into
session/merry-bee-671from
session/merry-bee-671-surface-desugar

Commits on Jun 12, 2026
- fix(#4694): rebase model extraction onto session/merry-bee-671 @ 21f366f515
  
  Brian Searls
  and
  cursoragent
  committed
  637caac
- fix(sugar): inline edge validation in apply_sugar; drop sugar_edges_ok
  
  Brian Searls
  and
  cursoragent
  committed
  a1a12d4