Repository navigation

Shared-index memo: audit the 49 callers, refuse a second pool at the build site (retire the #12821 rung drop) - #12868

Closed

gunbai-bot[bot] wants to merge 13 commits into

mainfrom

session/cool-owl-291

Closed

Shared-index memo: audit the 49 callers, refuse a second pool at the build site (retire the #12821 rung drop)#12868
gunbai-bot[bot] wants to merge 13 commits into
mainfrom
session/cool-owl-291

Commits on Sep 30, 2026
- Shared index: one per roots key within a slot, so distinct pools on one thread never evict (fixes regen-round panic from #12765)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ff25cc8
- Regen's emitted-tree package read owns its index (released with the read), so the round keeps one pool in the shared memo
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4370109
- Assert the shared-memo residency bound (one pool per slot) on the floor and at the end of the regen round
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aade561
- Declare the rung drop: shared-memo residency asserted after the run, not refused at build (review 73367)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  933f0be
- Refuse a second resident pool per slot at the shared-index build site
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bf392ce
- Merge remote-tracking branch 'origin/main' into bold-carp-423/shared-index-per-roots
  gunbc-ci-auto-heal
  committed
  a7bca4d
- Give the three fixture-pool readers their own index; retire shared_index_residency_asserted_after_the_run
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  abb0642
- Regenerate docs/design-rung-drops.md for shared_index_residency_asserted_after_the_run
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  03fe10b
- PROCESS_RESOLVE_INDEX doc: one resident pool per slot, refused at build (stale since #12821; review 73419 on #12821)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  02565ac
- Merge origin/main: #12822's floor_index_controls helper carries the residency control; docs projection = main's + this PR's row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e3097ab
- Merge bold-carp-423/shared-index-per-roots: keep #12822's floor_index_controls test beside the build-site refusal test
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0ea56d0
- docs/design-rung-drops.md: project the retired standing (design_ledgers rung_drop_standing_suffix/blocks applied to the row's trigger_fired)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9de0f75
Commits on Oct 1, 2026
- Merge origin/main (#12821 landed): re-apply this PR's diff over main's versions of the four conflicted files
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f95c76b

Commits

Commits on Sep 30, 2026

Commits on Oct 1, 2026