Repository navigation

Grammar sync tokens are an enumeration, not a predicate (unblocks the prepare_grammar memo for every language) - #8465

Merged

briansrls merged 9 commits into

mainfrom

session/deep-moth-771

Aug 19, 2026

Merged

Grammar sync tokens are an enumeration, not a predicate (unblocks the prepare_grammar memo for every language)#8465
briansrls merged 9 commits into
mainfrom
session/deep-moth-771

Commits on Aug 18, 2026
- branch-local probe: partition arrow-lambda witness cost (deleted before merge)
  gunbc-ci-auto-heal
  committed
  8100bb8
- probe v2: parse cost scaling
  gunbc-ci-auto-heal
  committed
  f98dafd
- probe v3: split prepare_grammar from parse
  gunbc-ci-auto-heal
  committed
  80ecc94
- probe v4: fixpoint convergence rounds + prepared-parse scaling
  gunbc-ci-auto-heal
  committed
  586cd8b
- probe v4b: fix imports
  gunbc-ci-auto-heal
  committed
  45b534c
- probe v5: partition prepare_grammar checks
  gunbc-ci-auto-heal
  committed
  da5c44d
- Grammar sync tokens are an enumeration, not a predicate
  gunbc-ci-auto-heal
  committed
  d64ab2a
- Delete the branch-local cost probe (experiment, not a deliverable)
  gunbc-ci-auto-heal
  committed
  d1d48bc
Commits on Aug 19, 2026
- Merge remote-tracking branch 'origin/main' into session/deep-moth-771
  gunbc-ci-auto-heal
  committed
  32eb720