Repository navigation

Post-#6210: whole-floor import_closure semantic oracle (live == legacy BFS) - #6231

Merged

briansrls merged 5 commits into

mainfrom

session/bright-seal-361

Jul 4, 2026

Merged

Post-#6210: whole-floor import_closure semantic oracle (live == legacy BFS)#6231
briansrls merged 5 commits into
mainfrom
session/bright-seal-361

Commits on Jul 3, 2026
- WIP: Post-#6210 semantic oracle: verify import_closure_live == old BFS on cur
  Brian Searls
  committed
  bab94f8
Commits on Jul 4, 2026
- WIP: Post-#6210 semantic oracle: verify import_closure_live == old BFS on cur
  Brian Searls
  committed
  de387fb
- WIP: Post-#6210 semantic oracle: verify import_closure_live == old BFS on cur
  Brian Searls
  committed
  76368a8
- Merge origin/main into session/bright-seal-361
  Brian Searls
  committed
  79c072a
- fix(ci): merge main and rustfmt cli_run after import-closure oracle
  
  Brian Searls
  and
  cursoragent
  committed
  266f757