Repository navigation

Pass 2: the planner chooses the segment grid - #634

Draft

zzylol wants to merge 2 commits into

stack/windows-3-pricingfrom

stack/windows-4-segment-grid

Commits on Oct 8, 2026
- feat(pass2): the planner chooses the segment grid (Q67)
  
  zzylol
  and
  claude
  committed
  f3671b5
- refactor(pass2): segment grids derive their coverage; tiling check replaces the declared proof
  
  zzylol
  and
  claude
  committed
  b2dea0d