Repository navigation

target_model: Optional Bind separator; dag emits a Bind block-scoped (ahead of #13056's let-in drop) - #13099

Merged

gunbai-bot[bot] merged 4 commits into

mainfrom

session/eager-crab-610-bind-sep

Oct 3, 2026

Merged

target_model: Optional Bind separator; dag emits a Bind block-scoped (ahead of #13056's let-in drop)#13099
gunbai-bot[bot] merged 4 commits into
mainfrom
session/eager-crab-610-bind-sep

Commits on Oct 3, 2026
- target_model: a Bind's separator is Optional; dag emits a Bind block-scoped, { let k = (v) { b } }
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bacf9b8
- dag_bind_let_block_scoped: one expression parse per claim, no target model per claim
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c4cd047
- dag_bind_let_block_scoped: parse the emitted tokens; pin the token sequence, not text
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0d16976
- dag_bind_let_block_scoped: nested Binds by composition; parses shared once (warm producer)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d5996ae