Repository navigation

Collapse whole-corpus reflection to one computation per floor run, and return the 10 off-floor claims - #10167

Closed

briansrls wants to merge 4 commits into

mainfrom

session/stern-lark-508

Closed

Collapse whole-corpus reflection to one computation per floor run, and return the 10 off-floor claims#10167
briansrls wants to merge 4 commits into
mainfrom
session/stern-lark-508

Commits on Sep 2, 2026
- deduplicate_identities is a copied accumulator in a quadratic fold over the corpus census
  
  Brian Searls
  and
  claude
  committed
  e106f5f
- Pin first-occurrence order with the mutant that discriminates it
  
  Brian Searls
  and
  claude
  committed
  f3839b2
- Merge main (52aac48b, #10017) — the required-build regen drift and the two compiler_tests failures on this PR's run are main's, inherited through a merge ref pinned at 06:47Z against bb96afa61b
  
  Brian Searls
  and
  claude
  committed
  76fd88e
- Merge main: take its deduplicate_identities, drop mine, and keep the control it is missing
  
  Brian Searls
  and
  claude
  committed
  48bf811