Repository navigation

dag target: tokens are written separated, so emitted text reads back as the tokens emitted - #13113

Merged

gunbai-bot[bot] merged 15 commits into

mainfrom

session/swift-lark-785

Oct 3, 2026

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 target: declare token separation as emit-transform rows; the flat token fold reads them

Brian Searls
and
claude
committed
e237971
Merge remote-tracking branch 'origin/session/eager-crab-610-bind-sep' into session/swift-lark-785
Brian Searls
committed
1653599
dag target text round trip: claims at the token join, kept red, inhabitance on the real route; failure-mode row

Brian Searls
and
claude
committed
97b54da
Merge remote-tracking branch 'origin/main' into session/swift-lark-785
Brian Searls
committed
01f0d8b
target_text_layout: the flat token route applies the target's transform rows (verilog)

Brian Searls
and
claude
committed
b8ace9b
dag_bind_let_block_scoped: nested Binds by composition; parses shared once (warm producer)

gunbc-ci-auto-heal
and
claude
committed
d5996ae
dag_target_text_round_trip: the nested-Bind claim stops at the token join (its parse alone is over the new-witness budget)

Brian Searls
and
claude
committed
d568f11
Merge remote-tracking branch 'origin/session/eager-crab-610-bind-sep' into session/swift-lark-785
Brian Searls
committed
2020b88
Merge remote-tracking branch 'origin/main' into session/swift-lark-785
Brian Searls
committed
5097bbc
Merge remote-tracking branch 'origin/main' into session/swift-lark-785
Brian Searls
committed
2f8ff91
dag_target_text_round_trip: block-scoped Bind at text grain for four bodies and a Bind value; token join then one parse, shared once (warm producer)

Brian Searls
and
claude
committed
d475a8a
Merge origin/main into session/swift-lark-785 (keeps the trt_verdicts warm row)

Brian Searls
and
claude
committed
349984b

Navigation Menu

Repository navigation

dag target: tokens are written separated, so emitted text reads back as the tokens emitted - #13113

dag target: tokens are written separated, so emitted text reads back as the tokens emitted#13113
gunbai-bot[bot] merged 15 commits into
mainfrom
session/swift-lark-785

Commits on Oct 3, 2026

target_model: a Bind's separator is Optional; dag emits a Bind block-scoped, { let k = (v) { b } }

dag_bind_let_block_scoped: one expression parse per claim, no target model per claim

dag_bind_let_block_scoped: parse the emitted tokens; pin the token sequence, not text

dag target: declare token separation as emit-transform rows; the flat token fold reads them

Merge remote-tracking branch 'origin/session/eager-crab-610-bind-sep' into session/swift-lark-785

dag target text round trip: claims at the token join, kept red, inhabitance on the real route; failure-mode row

Merge remote-tracking branch 'origin/main' into session/swift-lark-785

target_text_layout: the flat token route applies the target's transform rows (verilog)

dag_bind_let_block_scoped: nested Binds by composition; parses shared once (warm producer)

dag_target_text_round_trip: the nested-Bind claim stops at the token join (its parse alone is over the new-witness budget)

Merge remote-tracking branch 'origin/session/eager-crab-610-bind-sep' into session/swift-lark-785

Merge remote-tracking branch 'origin/main' into session/swift-lark-785

Merge remote-tracking branch 'origin/main' into session/swift-lark-785

dag_target_text_round_trip: block-scoped Bind at text grain for four bodies and a Bind value; token join then one parse, shared once (warm producer)

Merge origin/main into session/swift-lark-785 (keeps the trt_verdicts warm row)