Repository navigation

Floor cutover: .dag module-grain query replaces NodeFrontierSeeds - #6301

Merged

briansrls merged 5 commits into

mainfrom

session/vivid-wolf-322

Jul 6, 2026

Merged

Floor cutover: .dag module-grain query replaces NodeFrontierSeeds#6301
briansrls merged 5 commits into
mainfrom
session/vivid-wolf-322

Commits on Jul 6, 2026
- WIP: Floor cutover: .dag module-grain query replaces NodeFrontierSeeds
  briansrls
  committed
  6d63be1
- Floor cutover: migrate witness tests off NodeFrontierSeeds to FloorDiffEdits
  
  briansrls
  and
  cursoragent
  committed
  5e3cf60
- Fix module-grain equivalence comment after floor cutover
  
  briansrls
  and
  cursoragent
  committed
  98d5f50
- WIP: Floor cutover: .dag module-grain query replaces NodeFrontierSeeds
  briansrls
  committed
  875e08e
- fix: drop dead visible_str_bindings in build_type_env after cache fix
  
  briansrls
  and
  cursoragent
  committed
  57e6933