Repository navigation

Complete #9106's enrolment on the verdict axis: 47 in, 1 out, and the cost axis declared rather than absorbed - #9591

Merged

briansrls merged 5 commits into

mainfrom

session/warm-tern-34

Aug 28, 2026

Merged

Complete #9106's enrolment on the verdict axis: 47 in, 1 out, and the cost axis declared rather than absorbed#9591
briansrls merged 5 commits into
mainfrom
session/warm-tern-34

Commits on Aug 28, 2026
- Complete #9106's enrolment on the verdict axis: 47 in, 1 out, and the cost axis declared rather than absorbed
  
  Brian Searls
  and
  claude
  committed
  874b866
- Verify the empty-roster claim on witty-wren-148's branch rather than relaying it
  
  Brian Searls
  and
  claude
  committed
  c204e1d
- Correct a cross-branch claim that went false within the hour, and un-number the chunk
  
  Brian Searls
  and
  claude
  committed
  8d04ec8
- Drop an overclaim, and name the three groups the roster's bare identity strings cannot distinguish
  
  Brian Searls
  and
  claude
  committed
  a474f45
- The run adjudicated the prediction: 47 becomes 44, and the count was wrong by one in an instructive way
  
  Brian Searls
  and
  claude
  committed
  09e084a