Repository navigation

Admit the G0 service family on exact-word terminals, with the evidence 4b(4) requires - #11955

Merged

briansrls merged 9 commits into

mainfrom

service-family-literal-terminal

Sep 21, 2026

Merged

Admit the G0 service family on exact-word terminals, with the evidence 4b(4) requires#11955
briansrls merged 9 commits into
mainfrom
service-family-literal-terminal

Commits on Sep 19, 2026
- Add LiteralTerminal to std.grammar and key choice dispatch on (class, word).
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1cc101e
- Move annotations to module-item grain; type the empty symbol accumulators.
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  359d182
- Route the literal-terminal claims through grammar_expr_literal_terminal.
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8e2b941
- Make the word-keying pair differ only in its word; assert the overlap residue positively.
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cdc4407
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-42-keyword-literal
  gunbc-ci-auto-heal
  committed
  2e23ec3
Commits on Sep 20, 2026
- PREP (unpushed): G0 service family on literal terminals.
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  283b45f
- Retire the name-usability claim as a climb, with its census.
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  80a560d
Commits on Sep 21, 2026
- Merge remote-tracking branch 'origin/main' into service-family-literal-terminal
  Brian Searls
  committed
  b1cc5e6
- Admit the G0 service family on exact-word terminals, with the evidence 4b(4) requires
  
  Brian Searls
  and
  claude
  committed
  ea9ffd4