Repository navigation

The recompute ledger is scoped below the recurrence it must find: a cross-claim demand census for the required floor - #10053

Merged

gunbai-bot[bot] merged 11 commits into

mainfrom

session/nimble-lynx-128

Sep 2, 2026

Commits on Sep 2, 2026
- The recompute ledger is scoped below the recurrence it must find: give the floor a cross-claim demand census
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4aa8b41
- Name the census's precondition: a caller sharing one context across claims would double-fold
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ed8bb1c
- The census's docstring inverted its own retention rule (review 58659)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6ff99e9
- Two false-data defects in the census, and four rulings applied
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2ecefe8
- The cost column is inclusive of callees, so it must not be summed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  87f700b
- Name self-time as the trigger, and say the displaced-cost sentence is underivable rather than unstated
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4eca7a4
- Withdraw the cross-run near-disjointness citation; the sound evidence is single-run
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d962aaf
- Restore the bucket migration with an attempt-pinned citation, verified independently
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fb501a8
- An interrupted row has no cost: attempt 1 is UNMEASURED, not 502ms
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  eebba44
- Merge origin/main into session/nimble-lynx-128
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fff2612
- Record the 30% claim-CPU swing in the tree, not only in the PR
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5d719b1

Navigation Menu

Repository navigation

The recompute ledger is scoped below the recurrence it must find: a cross-claim demand census for the required floor - #10053

The recompute ledger is scoped below the recurrence it must find: a cross-claim demand census for the required floor#10053
gunbai-bot[bot] merged 11 commits into
mainfrom
session/nimble-lynx-128

Commits on Sep 2, 2026

The recompute ledger is scoped below the recurrence it must find: give the floor a cross-claim demand census

Name the census's precondition: a caller sharing one context across claims would double-fold

The census's docstring inverted its own retention rule (review 58659)

Two false-data defects in the census, and four rulings applied

The cost column is inclusive of callees, so it must not be summed

Name self-time as the trigger, and say the displaced-cost sentence is underivable rather than unstated

Withdraw the cross-run near-disjointness citation; the sound evidence is single-run

Restore the bucket migration with an attempt-pinned citation, verified independently

An interrupted row has no cost: attempt 1 is UNMEASURED, not 502ms

Merge origin/main into session/nimble-lynx-128

Record the 30% claim-CPU swing in the tree, not only in the PR