Repository navigation

Restore the operator's 500ms per-claim ceiling; freeze the over-cost population as a monotone debt contract - #9517

Merged

briansrls merged 34 commits into

mainfrom

session/witty-wren-148

Aug 28, 2026

Merged

Restore the operator's 500ms per-claim ceiling; freeze the over-cost population as a monotone debt contract#9517
briansrls merged 34 commits into
mainfrom
session/witty-wren-148

Commits on Aug 27, 2026
- Restore the operator's 500ms per-claim ceiling; freeze the population that accumulated under the 10x drift
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f9bbad0
- Withhold at claim-build as a fourth decline, not as a skip inside the fold
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c9827dd
- Merge main into the ceiling restoration
  gunbc-ci-auto-heal
  committed
  32b00c7
- Restore the 100ms warning tier beside the 500ms hard error, ranked and bounded
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d2dc806
- Fix the collapsed whitespace in the stale-cost-debt diagnostic
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e3ca102
- Merge main into the ceiling restoration
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5a54987
Commits on Aug 28, 2026
- Merge main into the ceiling restoration
  gunbc-ci-auto-heal
  committed
  85625ca
- Import floor_cost_debt into required_floor so the roster is in the frame the host evaluates it in
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6529145
- Rebuild the roster on MARGINAL cost: 119 of the 320 were never expensive
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cd6b8aa
- Declare the bounded impurity the marginal basis does not fix, with its retry list
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  835ebf4
- both_closure_edge_index is settled and is not a defect: correct the over-cautious caveat
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7618135
- The wall clock condemned the rows the CPU clock exonerated: re-derive it, and complete the census
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2ec1890
- Merge remote-tracking branch 'origin/main' into session/witty-wren-148
  gunbc-ci-auto-heal
  committed
  48c5510
- The wall figure is a declared interim, not a derived ceiling — a derivation filtered by the quantity it derives cannot see its own worst case
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b49baef
- Wall stays raw: netting fill out of the safety deadline would delete the only detector over the region it is blind in
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9493f85
- Merge main: DeclinedLiveTree deleted upstream, cost-debt decline rebased onto DeclinedFixtureMember
  gunbc-ci-auto-heal
  committed
  cfa8bf4
- The roster is empty and keyed on marginal: withholding a charged-basis row moves its fill to the next claim instead of removing it
  gunbc-ci-auto-heal
  committed
  facd4fa
- Delete the duplicated required_floor import line in the census witness carrier (review 57129)
  gunbc-ci-auto-heal
  committed
  974b0f7
- The trailing rung-drop note named no subject: fold it above a declaration (DESIGN 4c)
  gunbc-ci-auto-heal
  committed
  cbfe343
- The preemption fixture's wall input equalled the live wall limit: decouple it so the CPU arm is provably the sole cause (review 57138)
  gunbc-ci-auto-heal
  committed
  a9b3438
- The fixture-home disposition witness matched three arms of a four-arm coproduct
  gunbc-ci-auto-heal
  committed
  8dfec64
- Enroll the 266 over-budget identities, measured on main where the ceiling cannot mask them
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  97eea6b
- Record the observed fill relocation, the two fill formats, and the three-way split
  gunbc-ci-auto-heal
  committed
  50dee1c
- Merge remote-tracking branch 'origin/main' into session/witty-wren-148
  gunbc-ci-auto-heal
  committed
  408eb49
- Close the model/host disposition divergence review 57235 found: the cost decline is an identity fact, not a module fact
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0dacb67
- Hoist the fixture annotation to module-item grain (DESIGN 4c)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e4fe7e8
- Close the reference_edges relocation at its consuming module: 268 rows, and the non-termination argument was false
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2ce9751
- Restate the interrupt-point receipt without quoting the string gunbc#9599 deletes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0c5115e
- Stop transcribing the roster size: one stale count found, five more behind it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  93de4dc
- Nullary variants take bare patterns: True {} never matched, and 11 witnesses died on it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  873a618
- Branch the native Bool with if: the True/False arms never matched, proven by a discriminating control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2673760
- Close rest_path_reaches_no_cli at 12/12 from source membership, not from a log
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e6f39f8
- Enrol four verified cost rows; record that the ceiling lands inside a dense band
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e962bd9
- Merge remote-tracking branch 'origin/main' into session/witty-wren-148
  gunbc-ci-auto-heal
  committed
  99b616e

Commits

Commits on Aug 27, 2026

Commits on Aug 28, 2026