Repository navigation

The floor's non-verdict population: sized, given a next-rung trigger, and confined at identity grain - #9095

Merged

briansrls merged 22 commits into

mainfrom

session/crisp-boar-716

Aug 25, 2026

Merged

The floor's non-verdict population: sized, given a next-rung trigger, and confined at identity grain#9095
briansrls merged 22 commits into
mainfrom
session/crisp-boar-716

Commits on Aug 24, 2026
- The floor's non-verdict expected-red population, sized and given a next-rung trigger
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  085abe7
- The carrier's declaration RHS lives on the declaration's own line
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ab33898
- The 99 came from a fix-carrying baseline, not from the #8959 reclassification
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1239cac
- Freeze the non-verdict population's growth at identity grain: the composition was below floor
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  89c18e7
- The admission is one pure function of two identity sets, with its red on the seed path
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5b4d520
- Repayment and roster deletion are one act; and the hand-Rust growth gets its receipt
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ce46b79
- The roster needs a reachability edge, and the note that should have prevented this did not
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b1a774b
- Name the axis the wall does not confine: the roster itself is not compared against the base
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  329b601
- Merge remote-tracking branch 'origin/main' into session/crisp-boar-716
  gunbc-ci-auto-heal
  committed
  b919887
- The growth trigger names the target-base tip, not the merge base
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4524b18
- Merge remote-tracking branch 'origin/main' into session/crisp-boar-716
  gunbc-ci-auto-heal
  committed
  a575d1d
- The no-import story does not cover the whole bucket: six of the eight are inside it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e6737e4
- Merge remote-tracking branch 'origin/main' into session/crisp-boar-716
  gunbc-ci-auto-heal
  committed
  6b26430
- The modeled authority still said repaid never gates: one rule, two answers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  39cee08
- Drop the "65 distinct signatures" figure: it counted names, not causes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ab5ca19
- Merge remote-tracking branch 'origin/main' into session/crisp-boar-716
  gunbc-ci-auto-heal
  committed
  f46caba
- Delete the probe board, keep the finding on the carrier: the measurement corpus was bankrupted under this PR
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f5192da
- Merge remote-tracking branch 'origin/main' into session/crisp-boar-716
  gunbc-ci-auto-heal
  committed
  83379a8
- Make the modeled admission say what its consumer does, and re-measure the hand-Rust receipt (review 55577)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  07bb330
- Merge remote-tracking branch 'origin/main' into session/crisp-boar-716
  gunbc-ci-auto-heal
  committed
  3cf9db4
- Retire the prose that still states the rule the reversal replaced, and the citation naming a test that no longer exists (review 55591)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0df9099
Commits on Aug 25, 2026
- Merge remote-tracking branch 'origin/main' into session/crisp-boar-716
  gunbc-ci-auto-heal
  committed
  b6da67d

Commits

Commits on Aug 24, 2026

Commits on Aug 25, 2026