Repository navigation

Regen round cost: claim_executor --regen-round-cost prices one convergence round on two clocks through gunbc.regen_round_cost, and the affected-set disposition - #9735

Merged

gunbai-bot[bot] merged 9 commits into

mainfrom

session/smart-boar-394

Aug 30, 2026

Merged

Regen round cost: claim_executor --regen-round-cost prices one convergence round on two clocks through gunbc.regen_round_cost, and the affected-set disposition#9735
gunbai-bot[bot] merged 9 commits into
mainfrom
session/smart-boar-394

Commits on Aug 30, 2026
- Regen round cost instrument: trace_mark gains a process-tree CPU clock and an armed ledger, the regen host stamps its phases, and claim_executor --regen-round-cost prices one convergence round thro…
  
  Brian Searls
  and
  claude
  committed
  6aa823d
- Regen round cost: seed-to-model lockstep unit tests for the receipt renderer and the process-tree clock
  
  Brian Searls
  and
  claude
  committed
  79aff19
- regen-round-cost: digest the seed binary at its on-disk path so a replaced executable reaches the typed refusal
  
  Brian Searls
  and
  claude
  committed
  0fe2c51
- regen-round-cost: a failed rebuild-from-installed is a round failure carried on the receipt, not a refusal of the measurement; regen the runtime template mirror (v1_compiler_runtime_rust.rs) from r…
  
  Brian Searls
  and
  claude
  committed
  75bc500
- resolve cache keys the RUNNING compiler image via /proc/self/exe, not the start path a rebuild may have re-linked
  
  Brian Searls
  and
  claude
  committed
  2d8c82d
- PLANTED (to be reverted): single-module edit in std.content_hash for the affected-set measurement
  
  Brian Searls
  and
  claude
  committed
  677988a
- Revert "PLANTED (to be reverted): single-module edit in std.content_hash for the affected-set measurement"
  Brian Searls
  committed
  a389429
- gunbc.regen_round_cost: the affected-set disposition (DerivableNow, with its residual) and the measured cost shape, from the two planted-edit rounds
  
  Brian Searls
  and
  claude
  committed
  777f12c
- gunbc.regen_round_cost: durations are std.observation TimedMeasurement rows over std.measure Nanosecond on a named clock, never a bare Int with the unit in the field name (review 57566)
  
  Brian Searls
  and
  claude
  committed
  fce29f5

Commits

Commits on Aug 30, 2026