Repository navigation

A training run's identity must move when its seed does: resolve the manifest, derive the contract, and let derive_work_key stay the only authority - #9574

Merged

briansrls merged 12 commits into

mainfrom

session/zesty-crane-477

Aug 28, 2026

Merged

A training run's identity must move when its seed does: resolve the manifest, derive the contract, and let derive_work_key stay the only authority#9574
briansrls merged 12 commits into
mainfrom
session/zesty-crane-477

Commits on Aug 28, 2026
- A training run's identity must move when its seed does: resolve the manifest, derive the contract, and let derive_work_key stay the only authority
  
  Brian Searls
  and
  claude
  committed
  f0cdae1
- The policy prose was program data: move the dispatch-exclusion rule into a source annotation
  
  Brian Searls
  and
  claude
  committed
  b0a4b89
- The completeness claim was wider than its evidence: one control per coordinate, a bounded dropout, and a method sum that stopped carrying dead parameters
  
  Brian Searls
  and
  claude
  committed
  a8a4253
- Every readback axis is a population, and a singular field had already picked the winner
  
  Brian Searls
  and
  claude
  committed
  c4ac0d5
- A coordinate that reaches the work key must be comparable: one axis-keyed projection instead of two folds of the same manifest
  
  Brian Searls
  and
  claude
  committed
  bf3af12
- The axis wrapper's subject does not vouch for the members inside it: an admitted attempt graph, and rootedness as a bounded fixpoint
  
  Brian Searls
  and
  claude
  committed
  550a065
- Nine green witnesses and six approvals over a first-wins binder: one control per axis cannot see two foreign axes at once
  
  Brian Searls
  and
  claude
  committed
  2afd783
- Five independent reads are not a snapshot: an observation cut, and the stage ladder that is not yet the wall it looks like
  
  Brian Searls
  and
  claude
  committed
  bcf1787
- A resume is an authorization and an observation is not one: checkpoint admission, and the Attempt inert row its own dissolution condition retires
  
  Brian Searls
  and
  claude
  committed
  d7da141
- The carrier landed without executing evidence: six checkpoint-admission witnesses, and the one a torn publication would pass
  
  Brian Searls
  and
  claude
  committed
  e11fd0d
- Three receipts naming one attempt can be collectively about nothing: evidence composition, and reconciliation at per-attempt grain
  
  Brian Searls
  and
  claude
  committed
  c1db6c9
- Two passes picking different attempt identities claim one transition: the execution claim commits before the trainer starts
  
  Brian Searls
  and
  claude
  committed
  a1a95e5

Commits

Commits on Aug 28, 2026