Repository navigation

store: held-session op + O(1) named hold-slot reads - #13569

Closed

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

mainfrom

session/bright-dove-288

Closed

store: held-session op + O(1) named hold-slot reads#13569
gunbai-bot[bot] wants to merge 29 commits into
mainfrom
session/bright-dove-288

Commits on Oct 8, 2026
- Add a sealed held-session store op and named k=2 hold-slot reads.
  
  Brian Searls
  and
  cursoragent
  committed
  6b4ce85
- Measure hold-slot advance from after open, not from zero.
  
  Brian Searls
  and
  cursoragent
  committed
  0af5c2e
- Read hold-slot head from one root listing, like the other wet controls.
  
  Brian Searls
  and
  cursoragent
  committed
  b55f08d
- Enroll the held-session wet claim as a DirWithTemplate hermetic gap.
  
  Brian Searls
  and
  cursoragent
  committed
  bfbcfe3
- Delete the listing-based windowed hold observe/release this PR replaced.
  
  Brian Searls
  and
  cursoragent
  committed
  f209e9f
- Bound windowed slot observation so a successor-present retry cannot run forever.
  
  Brian Searls
  and
  cursoragent
  committed
  94f20a7
- Stop windowed reclaim at the first failed generation so it cannot punch a hole.
  
  Brian Searls
  and
  cursoragent
  committed
  32a76a0
- Add the leaked-hold inhabitance control for partial window reclaim.
  
  Brian Searls
  and
  cursoragent
  committed
  6a4621c
- Name the reclaim stop as the hole-freedom for named hold verify.
  
  Brian Searls
  and
  cursoragent
  committed
  28c4fc8
- Walk windowed reclaim over one sorted eligible list.
  
  Brian Searls
  and
  cursoragent
  committed
  054db53
- Assert leaked-hold refusal is named-window Unsettled, not occupancy-first.
  
  Brian Searls
  and
  cursoragent
  committed
  6b39172
- Delete lookup/commit aliases on the typecheck store session.
  
  Brian Searls
  and
  cursoragent
  committed
  d901050
- Call gen-1500 a termination regression, not the hang's red.
  
  Brian Searls
  and
  cursoragent
  committed
  2ecde15
- Derive the window Unsettled attempt count from the fold roster.
  
  Brian Searls
  and
  cursoragent
  committed
  a7900ee
- Classify window exhaustion as BoundExceeded and named G+1 as head-moved.
  
  Brian Searls
  and
  cursoragent
  committed
  1d8f95b
- Keep named-head-moved off BoundExceeded and delete the unused CAS observe.
  
  Brian Searls
  and
  cursoragent
  committed
  b99601f
- Give named-head-moved its own release and recovery refusals.
  
  Brian Searls
  and
  cursoragent
  committed
  662ca06
- Make named-window verify realization-private and drop it from hold observation.
  
  Brian Searls
  and
  cursoragent
  committed
  f96456d
- Delete the typecheck_module_store_session forwarding alias.
  
  Brian Searls
  and
  cursoragent
  committed
  b5fa4c5
- Drop CasReclaimProgress.stopped; the failed list already stops the walk.
  
  Brian Searls
  and
  cursoragent
  committed
  0325b48
- Keep named-window head-moved off the generic hold protocol.
  
  Brian Searls
  and
  cursoragent
  committed
  caae496
- Render BoundExceeded as a unit-neutral observation budget.
  
  Brian Searls
  and
  cursoragent
  committed
  e14bd75
- Match leaked-hold red to NamedWindowHeadMoved.
  
  Brian Searls
  and
  cursoragent
  committed
  014baad
- Drop the ioctl leaked-hold reclaim claim from the floor.
  
  Brian Searls
  and
  cursoragent
  committed
  42d93b7
- Declare the ioctl leaked-hold claim as DirWithTemplate debt.
  
  Brian Searls
  and
  cursoragent
  committed
  3b015d6
- Keep the ioctl debt annotation at module-item grain.
  
  Brian Searls
  and
  cursoragent
  committed
  af71b94
- Decline the ioctl leaked-hold claim as DeclinedNoCiWetLane.
  
  Brian Searls
  and
  cursoragent
  committed
  d0f99d9
- Close floor_route_gap chunk_09 after the dropped Cons identity.
  
  Brian Searls
  and
  cursoragent
  committed
  b272d5e
- Attach the BoundExceeded field comment to CasUnreadableSlot.
  
  Brian Searls
  and
  cursoragent
  committed
  121565a

Commits

Commits on Oct 8, 2026