Repository navigation

Exclusive cost partition + selected-set closure overlap (Lane B slice 1, measurement only) - #7483

Merged

briansrls merged 20 commits into

mainfrom

session/smart-moth-595

Jul 31, 2026

Merged

Exclusive cost partition + selected-set closure overlap (Lane B slice 1, measurement only)#7483
briansrls merged 20 commits into
mainfrom
session/smart-moth-595

Commits on Jul 30, 2026
- WIP: Lane B
  gunbc-ci-auto-heal
  committed
  61febea
- Exclusive cost partition + selected-set closure overlap (measurement only)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  90f1388
- Discriminating controls for the accounting law and the overlap arithmetic
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f335068
Commits on Jul 31, 2026
- WIP: Lane B
  gunbc-ci-auto-heal
  committed
  8b42b61
- Give both probes a §7 HAND-RUST scaffold receipt (codex review 45272)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  07a6ebd
- Measure over the floor's corpus, not the probe's narrower one
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  40922c8
- Receipt: exclusive attribution + selected-entry overlap, and the verdict
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5557a67
- WIP: Lane B
  gunbc-ci-auto-heal
  committed
  f36eca9
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  9d63c73
- Cite the receipt from the DESIGN authority, not the projection
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2c2c9af
- Merge remote-tracking branch 'origin/main' into session/smart-moth-595
  gunbc-ci-auto-heal
  committed
  1e57f3b
- WIP: Lane B
  gunbc-ci-auto-heal
  committed
  fae06f4
- RETRACT three claims this PR asserted; measure what load actually is
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  67adab3
- Fix three positional citations, one of which pointed at nothing
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  41b72a6
- Register measure_selected_closure_overlap in the explicit bin roster
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  66572a4
- The A.7 table quoted an unretained run; the committed fourth receipt refutes it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1e1f313
- State B's weighting, and redo it byte-weighted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3e9b748
- WIP: Lane B
  gunbc-ci-auto-heal
  committed
  da8ecb1
- Measure the amortization: load is per-index, so the union program loses its target
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e9ca388
- Fix a control this PR broke, and make it assert the invariant instead of a count
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7bb83fb

Commits

Commits on Jul 30, 2026

Commits on Jul 31, 2026