Repository navigation

Three scan-producer defects that #11564 merged without - #11656

Merged

briansrls merged 12 commits into

mainfrom

fix/scan-producer-digest-and-outcome

Sep 20, 2026

Merged

Three scan-producer defects that #11564 merged without#11656
briansrls merged 12 commits into
mainfrom
fix/scan-producer-digest-and-outcome

Commits on Sep 18, 2026
- A digest that hashed the wrong thing, and a product no caller could take
  
  Brian Searls
  and
  claude
  committed
  985ad10
- Delete the accessor nothing called
  
  Brian Searls
  and
  claude
  committed
  956eccd
Commits on Sep 19, 2026
- Merge remote-tracking branch 'origin/main' into fix/scan-producer-digest-and-outcome
  Brian Searls
  committed
  579e52a
- Bind the population to its walk instead of colocating it
  
  Brian Searls
  and
  claude
  committed
  bf3d2ec
- Two names for one fact, cited as coverage for a repair they never reached
  
  Brian Searls
  and
  claude
  committed
  b9c7b13
- Drop the import whose last use this PR removed
  
  Brian Searls
  and
  claude
  committed
  4918b03
- The import I added for a type this module never names
  
  Brian Searls
  and
  claude
  committed
  66f97ff
- The seal was discarded here too -- a sealed record, not a sealed coproduct
  
  Brian Searls
  and
  claude
  committed
  338e012
- Name the rostered class instead of restating it
  
  Brian Searls
  and
  claude
  committed
  626b440
- A page size divided by before it was admitted
  
  Brian Searls
  and
  claude
  committed
  eb3b74a
- The annotation named the wrong type as the wall
  
  Brian Searls
  and
  claude
  committed
  261189e
- The third unused import in a PR that already fixed two
  
  Brian Searls
  and
  claude
  committed
  8465533