Emitted parser to 0.84x tsc, span-only CST, FN=0 vs tsc's parse surface, generated per-arm destructurers (#35)

Author: johnsoncodehk

.gitattributes

@@ -0,0 +1,10 @@
+# Generated artifacts (npm run gen) — committed for consumers, CI-gated for
+# staleness, collapsed in GitHub diffs. The grammar sources (*.ts at the repo
+# root) are the hand-written truth; everything below is derived from them.
+# (*.cst-types.ts / *.cst-match.ts are generated too but NOT committed — see
+# .gitignore; they regenerate locally and in CI before typecheck/gates.)
+*.tmLanguage.json linguist-generated=true
+*.language-configuration.json linguist-generated=true
+*.monarch.json linguist-generated=true
+*.contributes.json linguist-generated=true
+tree-sitter/** linguist-generated=true

.github/workflows/ci.yml

@@ -23,16 +23,19 @@ jobs:
 
       - run: npm ci
 
-      - name: Typecheck
-        run: npx tsc --noEmit
-
-      # Regenerate every grammar's artifacts and fail if any drifts from the committed
-      # files (someone edited a grammar but forgot to regenerate). Covers all four
-      # grammars (sources at the repo root) + the tree-sitter packages.
-      - name: Generate editor artifacts (must be in sync)
+      # Regenerate every grammar's artifacts FIRST: the uncommitted ones
+      # (*.cst-types.ts / *.cst-match.ts, gitignored) must exist before Typecheck
+      # and the gates, which import them. Then fail if any COMMITTED artifact
+      # drifts from the regenerated output (someone edited a grammar but forgot
+      # to regenerate). Covers all grammars (sources at the repo root) + the
+      # tree-sitter packages.
+      - name: Generate editor artifacts (committed ones must be in sync)
         run: |
           npm run gen
-          git diff --exit-code -- '*.tmLanguage.json' '*.language-configuration.json' '*.monarch.json' '*.cst-types.ts' '*.contributes.json' tree-sitter
+          git diff --exit-code -- '*.tmLanguage.json' '*.language-configuration.json' '*.monarch.json' '*.contributes.json' tree-sitter
+
+      - name: Typecheck
+        run: npx tsc --noEmit
 
       # Every correctness GATE through ONE runner — sanity / agnostic / conformance /
       # highlighter / vue / yaml / the generative scope≡role check / the gap-ledger selftest

.gitignore

@@ -17,3 +17,8 @@ tree-sitter/*/src/grammar.json
 tree-sitter/*/src/node-types.json
 tree-sitter/*/src/tree_sitter/
 tree-sitter/*/*.wasm
+
+# Generated CST consumer artifacts (npm run gen) — derived from the grammar, not
+# committed: generate locally / in CI before typecheck and gates.
+*.cst-types.ts
+*.cst-match.ts