Repository navigation

Resolve #4549 dirty merge: merge main into safe-bulk branch, reverify v4 0-diag + suite-delta=0 - #4572

Merged

briansrls merged 12 commits into

mainfrom

session/lively-ram-331

Jun 9, 2026

Merged

Resolve #4549 dirty merge: merge main into safe-bulk branch, reverify v4 0-diag + suite-delta=0#4572
briansrls merged 12 commits into
mainfrom
session/lively-ram-331

Commits on Jun 8, 2026
- migrate(v4): E2 safe-bulk symbol-tag sweep — data X: Symbol = X → ^X
  
  Brian Searls
  and
  cursoragent
  committed
  0dd93e4
- WIP: E2 standalone symbol-tag bulk (~3502 tags, ex-compiler): data X: Symbol
  Brian Searls
  committed
  f817808
- WIP: E2 standalone symbol-tag bulk (~3502 tags, ex-compiler): data X: Symbol
  Brian Searls
  committed
  e205d03
- fix(v4): repair dangling symbol-tag refs after safe-bulk ^ migration
  
  Brian Searls
  and
  cursoragent
  committed
  fc649c5
- chore(ci): retrigger checks after concurrent run cancellation on ready-flip
  
  Brian Searls
  and
  cursoragent
  committed
  0c6dbbd
- merge main into session/zesty-newt-784 (resolve #4549 dirty merge)
  
  Brian Searls
  and
  cursoragent
  committed
  134c2a8
- WIP: Resolve #4549 dirty merge: merge main into safe-bulk branch, reverify v4
  Brian Searls
  committed
  d22e046
- WIP: Resolve #4549 dirty merge: merge main into safe-bulk branch, reverify v4
  Brian Searls
  committed
  7ea5200
- merge main into session/lively-ram-331 (resolve #4572 merge conflict)
  
  Brian Searls
  and
  cursoragent
  committed
  b7f25ea
Commits on Jun 9, 2026
- merge main into session/lively-ram-331 (resolve #4572 merge conflict)
  
  Brian Searls
  and
  cursoragent
  committed
  f837599
- fix: fail closed on invalid or empty symbol-tag corpus root
  
  Brian Searls
  and
  cursoragent
  committed
  88d7bc8
- Merge remote-tracking branch 'origin/main' into session/lively-ram-331
  Brian Searls
  committed
  bb5ba55

Commits

Commits on Jun 8, 2026

Commits on Jun 9, 2026