Repository navigation

S0 edge: Loop admits one ^loop_domain_edge; every loop-edge consumer reads it through one role (MQ-5 prerequisite) - #12548

Merged

gunbai-bot[bot] merged 6 commits into

mainfrom

session/deep-raven-602-s0

Sep 29, 2026

Merged

S0 edge: Loop admits one ^loop_domain_edge; every loop-edge consumer reads it through one role (MQ-5 prerequisite)#12548
gunbai-bot[bot] merged 6 commits into
mainfrom
session/deep-raven-602-s0

Commits on Sep 28, 2026
- S0 edge: Loop admits one ^loop_domain_edge; every loop-edge consumer reads it through one role
  
  Brian Searls
  and
  claude
  committed
  1a46781
- Drop loop_domain_value_target: no consumer in this change (its first reader lands with S3)
  
  Brian Searls
  and
  claude
  committed
  ece7777
- Merge remote-tracking branch 'origin/main' into session/deep-raven-602-s0
  Brian Searls
  committed
  32f7dba
- Loop edge roles are matched by their consumers; drop the Bool projections over LoopEdgeRole
  
  Brian Searls
  and
  claude
  committed
  169641e
- Cost pricing per edge is one coproduct (cost_edge_role); the unary target gate reads Loop edges by role
  
  Brian Searls
  and
  claude
  committed
  1b0bcc8
- Regenerate plan projection from heal candidate (run 36475316524; blob 244d98ff; heal-publish queue stalled)
  
  Brian Searls
  and
  claude
  committed
  b09bbd3