Repository navigation

§2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/Loop eval witness coverage - #4741

Closed

briansrls wants to merge 61 commits into

mainfrom

session/valiant-swift-466

Closed

§2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/Loop eval witness coverage#4741
briansrls wants to merge 61 commits into
mainfrom
session/valiant-swift-466

Commits on Jun 13, 2026
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  184bd0d
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  154c6ec
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  47feaeb
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  533bcfa
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  0969902
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  8ef4cb6
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  9cceb75
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  6370c6c
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  059bbad
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  cd4794a
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  53cb35e
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  93037cb
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  733884e
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  c273e1d
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  56d7884
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  2d0a7cf
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  b9f1ba4
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  bbe12eb
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  aeb89e0
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  35396fc
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  92a7fd8
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  3793465
- ci: retrigger after fold-import fix and loop witness cleanup
  
  Brian Searls
  and
  cursoragent
  committed
  03bc2c7
- fix: document branch infer witness compile fix (fold import removed)
  
  Brian Searls
  and
  cursoragent
  committed
  b2c4987
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  daf92cf
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  822774d
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  33405dc
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  764c81b
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  b0f5462
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  087bef3
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  3ed2b0e
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  7f6ccea
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  ac09f94
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  58a0413
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  5e42c44
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  fae4585
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  e9ed84e
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  803b2e3
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  a2d295a
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  f314f77
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  0bdb2b9
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  a1cd314
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  6275fbc
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  e575e9e
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  dea3b7f
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  d8fea02
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  dc9b0da
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  1f271c1
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  9494139
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  33970c6
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  6fbe5e3
- ci: harden sccache retry for EAGAIN under concurrent jobs
  
  Brian Searls
  and
  cursoragent
  committed
  117815b
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  e48229a
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  206fd3a
- fix(eval): replace invalid let-binding in eval_fold_child_edge_step
  
  Brian Searls
  and
  cursoragent
  committed
  f57f6ef
- chore: drop scope-creep from #4741 emit delta (CI retry tweak + rebase helper)
  
  Brian Searls
  and
  claude
  committed
  de90c00
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  8acddd0
- fix(target_model): remove duplicate effect_apply wire-schema guard
  
  Brian Searls
  and
  cursoragent
  committed
  1af199e
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  95ebca4
- WIP: §2 control-flow bodies: Branch EMIT row (ii) + round-trip (iii) + Bind/L
  Brian Searls
  committed
  fdebaaf
- chore(claim-witness): update shard-a completeness comment to 24 rows
  
  Brian Searls
  and
  cursoragent
  committed
  09cf32a

Commits

Commits on Jun 13, 2026