Repository navigation

Evaluator steps as a deterministic per-claim work measure: the one column in the floor's cost receipt that is not a clock - #10030

Merged

briansrls merged 11 commits into

mainfrom

session/gentle-wolf-793

Sep 2, 2026

Merged

Evaluator steps as a deterministic per-claim work measure: the one column in the floor's cost receipt that is not a clock#10030
briansrls merged 11 commits into
mainfrom
session/gentle-wolf-793

Commits on Sep 2, 2026
- Evaluator steps as a deterministic per-claim work measure: the one column in the floor's cost receipt that is not a clock
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  08f569b
- Merge origin/main into session/gentle-wolf-793
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  745edf5
- Regenerate docs/design-ledgers.md from the merged authorities
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  880f11f
- Give eval_steps its own seed disposition: the clock note's trigger did not cover it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  66e202a
- Merge origin/main: integrate #10038's cost-shape repairs in the self_host_compile_phase fold
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  303deae
- Merge origin/main at e49ad238af9 and regenerate docs/design-ledgers.md
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ab5bc1a
- Merge origin/main at 533264517ca and regenerate docs/design-ledgers.md
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  017483e
- Merge origin/main at 928dd0238b3 and regenerate docs/design-ledgers.md
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a3a5726
- Rename the row cause-neutrally and correct three defects in its authority text
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2517c87
- Sweep the renamed row's citations that landed on main after the rename, and merge main's receipt into it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ba24917
- Merge origin/main: referential closure is not preserved under merge
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  59c3004

Commits

Commits on Sep 2, 2026