feat(semantics): bind three bounded producer forms and share the blocker taxonomy - #4664

Closed

songoow wants to merge 8 commits into

loopx-project:mainfrom

songoow:codex/b2-bind-producer-call-results

Commits on Sep 17, 2026

feat(semantics): bind three bounded producer forms and share the blocker taxonomy

songoow
and
claude
committed
a022005

Commits on Sep 18, 2026

fix(semantics): keep a local unknown when a back edge can carry a later write

songoow
and
claude
committed
bf7a7cc
Merge remote-tracking branch 'origin/main' into HEAD
songoow
committed
c73aaed
Merge origin/main into codex/b2-bind-producer-call-results

songoow
and
claude
committed
5efc5d4
refactor(semantics): keep the producer blocker taxonomy, drop the local interpreter

songoow
and
claude
committed
3e1be97
Merge codex/b2-bind-producer-call-results (back-edge patch) into the reduction

songoow
and
claude
committed
65a87e6
Merge origin/main into codex/b2-bind-producer-call-results

songoow
and
claude
committed
1be865d
Merge origin/main into HEAD

songoow
and
claude
committed
43b6f6a