Repository navigation

Split the checkpoint row's two spelling roles: what a reference renders and what a declaration grounds in - #8788

Merged

briansrls merged 8 commits into

mainfrom

session/sharp-carp-197-checkpoint-split

Aug 21, 2026

Merged

Split the checkpoint row's two spelling roles: what a reference renders and what a declaration grounds in#8788
briansrls merged 8 commits into
mainfrom
session/sharp-carp-197-checkpoint-split

Commits on Aug 21, 2026
- Split the checkpoint row's arity: a reference spelling and a grounding spelling are two facts
  
  Brian Searls
  and
  claude
  committed
  307ebb6
- Merge remote-tracking branch 'origin/main' into session/sharp-carp-197-checkpoint-split
  Brian Searls
  committed
  383421e
- Narrow the construction claim to the rung the code holds: the shared body is reachable
  
  Brian Searls
  and
  claude
  committed
  d39ed5d
- Adopt the regenerated mirrors: the emitter's own bytes, not my hand-written approximation
  
  Brian Searls
  and
  claude
  committed
  af48f32
- Say "two spelling roles", not "arity": that word already means parameter count here
  
  Brian Searls
  and
  claude
  committed
  ad5855a
- Absorb main: merge two prose findings about String rather than picking a side
  
  Brian Searls
  and
  claude
  committed
  486478b
- Declare that the split's witness rows are executed but NOT enrolled
  
  Brian Searls
  and
  claude
  committed
  c35c144
- Point the trigger at containment binding, not an envelope widening that was refused
  
  Brian Searls
  and
  claude
  committed
  6e8276e