Repository navigation

[codex] Add L4 add-then-branch emit/eval receipt - #2585

Merged

briansrls merged 3 commits into

mainfrom

session/sharp-crane-849

May 10, 2026

Merged

[codex] Add L4 add-then-branch emit/eval receipt#2585
briansrls merged 3 commits into
mainfrom
session/sharp-crane-849

Commits on May 10, 2026
- Add L4 add-then-branch emit/eval receipt
  briansrls
  committed
  db67e66
- Merge remote-tracking branch 'origin/main' into session/sharp-crane-849
  briansrls
  committed
  d36847e
- WIP: R3 gate #9: l4 emit eval match
  briansrls
  committed
  e22b26c