Repository navigation

XL-2 PR2b: string templates — disjoint lexer, one ^dag_string_template node, concat-chain lowering - #13430

Closed

gunbai-bot[bot] wants to merge 25 commits into

mainfrom

session/sleek-stag-53

Closed

XL-2 PR2b: string templates — disjoint lexer, one ^dag_string_template node, concat-chain lowering#13430
gunbai-bot[bot] wants to merge 25 commits into
mainfrom
session/sleek-stag-53

Commits on Oct 5, 2026
- WIP: dag lexer string template head/middle/tail tokens and hole/brace modes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  efbc100
- WIP: template parse parts, reader, emit arm; temporary tplscan census driver
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5ff11bd
- WIP: template lowering to concat chain, claims, RFM climb; census driver
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bb454f9
- WIP: restore literal lex rule; census compares against main's whole src/v2
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  374e758
- WIP: locate each template concat at its appended part; red control asserts the hole's byte range
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9610377
- WIP: control: adjacent holes split by - or / are two holes (v1 fusion not reproduced)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b7ea2c1
- WIP: census split per side
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  774589c
- WIP: census chunks; baseline uses main's dag and src/v2
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  976cafc
- Merge main into session/sleek-stag-53
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  be453d4
- string_template test: import node_atom_identity_optional from its home, v2.std.grammar
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cd0ad5e
- WIP: route debug driver
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  90d42cd
- Template concat nodes are pending lowering members caused by the part they append (no duplicated minted occurrence); red control follows the projected cause to the hole
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  16194ca
- string_template: drop the over-budget grammar-ambiguity claim (the roster delta is measured by the census; gunbc#13126 holds the zero-count floor claim)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  004b456
- Template claims per the witness rule: supplied shell for reader and lowering; ONE real-path claim (lexer->parse->normalize->infer) is the located Int-hole red control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  16cda2b
- WIP: census rerun for the 7 occurrence-duplication files
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  516b16d
- string_template test: type the part-kind list through a declared return
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cfa0284
- Real-path template claim reads the span index assembly already records (assemble_program_from_ingest_located): no second parse
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  22c5dd6
Commits on Oct 8, 2026
- PR2b review fixes: template read raw at normalize (holes survive), refuse unreadable part sequences, emit keeps head/middle adjacent to the hole, generated concat bound to the roster row's declarin…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5df0237
- string_template_hole_type: survival claim reads the resolved tree's root
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7bf7dfb
- Merge main into PR2b (claim_executor --write-checker-inputs for the seed job)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8ca2b43
- Generated concat binds the roster row by its declaration name; follow std.optional re-home
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  43b17e9
Commits on Oct 9, 2026
- Emit: middle/tail template tokens attach to the hole expression; drop the extra-assembly unbound-hole claim (one real-path claim)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c4fd8fb
- WIP: XL-2 step 3: PR2b string templates (lexer + production + lowering)
  gunbc-ci-auto-heal
  committed
  4230793
- Integrate main
  gunbc-ci-auto-heal
  committed
  9b16b28
- Remove tplscan census driver scratch (review 78344); stays in history
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  27e3b18

Commits

Commits on Oct 5, 2026

Commits on Oct 8, 2026

Commits on Oct 9, 2026