Repository navigation

PR-close delivery check — advisory only (declaration grain unavailable for most modifications; CONFIDENCE support) - #8064

Closed

briansrls wants to merge 27 commits into

mainfrom

session/warm-crane-642-c3

Closed

PR-close delivery check — advisory only (declaration grain unavailable for most modifications; CONFIDENCE support)#8064
briansrls wants to merge 27 commits into
mainfrom
session/warm-crane-642-c3

Commits on Aug 8, 2026
- CONFIDENCE-0 capsule 2 — applied change-impact consumer over a real changed surface
  
  Brian Searls
  and
  claude
  committed
  2966bf6
- Peel before the SCC partition — the applied consumer OOM'd on an ordinary diff
  
  Brian Searls
  and
  claude
  committed
  b73e877
- Correct the peel's complexity claim — it is not O(V+E)
  
  Brian Searls
  and
  claude
  committed
  7588d4c
- Rework capsule 2 under the operator ruling — seven items
  
  Brian Searls
  and
  claude
  committed
  0809880
- Fix the compile-clean red, and a deletion bug the real-diff receipt found
  
  Brian Searls
  and
  claude
  committed
  74af9c3
- Merge main into capsule-2 branch: pick up the trim-in-scope fix
  Brian Searls
  committed
  209dff5
- PR-close delivery check — 'someone actually uses it', built on the reverse query
  
  Brian Searls
  and
  claude
  committed
  3c7aed5
- Two defects the dogfood run found in the check itself
  
  Brian Searls
  and
  claude
  committed
  49992d9
Commits on Aug 9, 2026
- Two review findings, both real, plus a name that promised the wrong thing
  
  Brian Searls
  and
  claude
  committed
  35af178
- Delete ConsumerPending: an arm nothing could construct
  
  Brian Searls
  and
  claude
  committed
  7c5432a
- Wire the delivery check as observe-and-report: a step summary, gating nothing
  
  Brian Searls
  and
  claude
  committed
  a9c32f8
- The skip observed the wrong population, and the fix is a split fold not a trade
  
  Brian Searls
  and
  claude
  committed
  3324159
- Regenerate ci.yml for the widened skip
  
  Brian Searls
  and
  claude
  committed
  5fe545b
- Remove seed-Rust instrumentation that landed in this PR by mistake
  
  Brian Searls
  and
  claude
  committed
  3cb8524
- Import pr_delivery_subjects_for_added_paths explicitly, and record what the RED actually showed
  
  Brian Searls
  and
  claude
  committed
  d1c8359
- Emit the dissolve-on marker onto the delivery-step carrier itself
  
  Brian Searls
  and
  claude
  committed
  4cc298d
- File the third payment of the cold whole-pool index on the note that counts the payers
  
  Brian Searls
  and
  claude
  committed
  fb7cc8c
- Align the skip criterion in the emitted policy note with the shell that implements it
  
  Brian Searls
  and
  claude
  committed
  870ff35
- Clear Class B rows 1-2: import the three real symbols, count the one accidental-coverage specimen
  
  Brian Searls
  and
  claude
  committed
  e46f656
- Fold in what actually reaches the Class B population: selection, not only stripping
  
  Brian Searls
  and
  claude
  committed
  326350a
- Declare the three seed declarations the exception roster added
  
  Brian Searls
  and
  claude
  committed
  13461ad
- Put the front-door disclosure on the carrier, not only in messages
  
  Brian Searls
  and
  claude
  committed
  7675899
- Enrol the accidental-coverage roster's discriminating controls
  
  Brian Searls
  and
  claude
  committed
  5b473a1
- Merge remote-tracking branch 'origin/main' into session/warm-crane-642-c2
  Brian Searls
  committed
  50f9e24
- Merge remote-tracking branch 'origin/main' into session/warm-crane-642-c3
  Brian Searls
  committed
  1d709ee
- Merge branch 'session/warm-crane-642-c2' into session/warm-crane-642-c3
  Brian Searls
  committed
  795d1fc
- Extend the backstop identity to the step this PR adds
  
  Brian Searls
  and
  claude
  committed
  afc52ff

Commits

Commits on Aug 8, 2026

Commits on Aug 9, 2026