parseman 0.45.0 → 0.46.0

package/dist/compiler/build-arity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build-arity.d.ts","sourceRoot":"","sources":["../../src/compiler/build-arity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAG5C;;;;;;;;;;GAUG;AAEH,KAAK,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAElD;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAErD;AAgCD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAgC9D;AAoHD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAErD;AAmCD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAkBhE;AAED,uFAAuF;AACvF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKxD;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKnD;AAED,sFAAsF;AACtF,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKtD;AAED,sFAAsF;AACtF,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKrD"}
+{"version":3,"file":"build-arity.d.ts","sourceRoot":"","sources":["../../src/compiler/build-arity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAG5C;;;;;;;;;;GAUG;AAEH,KAAK,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAElD;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAErD;AAgCD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAgC9D;AAoHD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAErD;AAqCD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAkBhE;AAED,uFAAuF;AACvF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKxD;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKnD;AAED,sFAAsF;AACtF,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKtD;AAED,sFAAsF;AACtF,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKrD"}

package/dist/compiler/linker.d.ts

@@ -1,5 +1,6 @@
 import type { LinkablePieces, HostMode } from './codegen.ts';
 import type { BuildHost, Combinator, CstCollapsePredicate, ParseContext, ParseResult } from '../types.ts';
+import type { ModuleHoist } from './module-hoist.ts';
 export declare function linkable(rulesMap: Record<string, Combinator<unknown>>, ns?: string, trivia?: Combinator<unknown>, hostMode?: HostMode): LinkablePieces;
 export type CstBuildHostOptions = {
     /**
@@ -61,7 +62,7 @@ export declare function pickPieces(pieces: LinkablePieces[], names: string[]): L
  * for any non-inlined callbacks) and the `_env` to bind. In macro mode callbacks
  * are inlined from source, so `_env` is empty and the body is fully static.
  */
-export declare function fusedBody(pieces: LinkablePieces[]): {
+export declare function fusedBody(pieces: LinkablePieces[], hoist?: ModuleHoist): {
     body: string;
     env: Record<string, unknown>;
 };
@@ -81,7 +82,7 @@ export declare function fusedHostElidedOf(registry: object): boolean;
  * Requires every callback to be inlined from source (macro mode); throws if any
  * artifact carries runtime-only callback functions.
  */
-export declare function emitFusedSource(pieces: LinkablePieces[]): string;
+export declare function emitFusedSource(pieces: LinkablePieces[], hoist?: ModuleHoist): string;
 /** The carried pieces a `compose()`/`composeLeaf()` result holds, or `undefined` when
  * the value is not a composed grammar. This is what makes a fused grammar analysable:
  * the pieces are re-lowerable IR even though the fused map itself is only functions. */
@@ -155,9 +156,46 @@ opts?: {
 }): Record<string, FusedRule>;
 /**
  * Compose a terminal grammar. This is for a leaf parser that overlays local
- * semantic reductions on reusable recognition rules. It is macro-only: without
- * macro lowering there is no safe way to keep lexical builders out of carried
- * IR, so it fails rather than falling back to runtime composition.
+ * semantic reductions on reusable recognition rules.
+ *
+ * Under the macro this lowers to STATIC fused source (functions), exactly like
+ * `compose()`. It is still macro-only as a *compiled* artifact: without macro
+ * lowering there is no safe way to keep lexical builders out of carried IR, so it
+ * never falls back to runtime CODEGEN composition.
+ *
+ * Called at runtime (no macro) it returns the INTERPRETED fuse of the same items
+ * — a combinator map, not a map of compiled functions (`fuseInterpreted`). That is
+ * the supported way to run/inspect a leaf grammar without a build step: drive it
+ * with `run()` / `parseDoc()`, which accept either shape. The declared return type
+ * is the MACRO-path type (a leaf grammar is shipped compiled); use
+ * `isInterpretedFuse(map)` when a caller must tell the two apart.
+ */
+export declare function composeLeaf(items: Array<LinkablePieces | Record<string, unknown>>): Record<string, FusedRule>;
+/** Whether `map` is an interpreted fuse (a combinator map) rather than a compiled
+ * `compose()` result (a map of fused functions). */
+export declare function isInterpretedFuse(map: object): boolean;
+/**
+ * Materialize a composition as a RUNNABLE INTERPRETED rule map — the interpreted
+ * counterpart of `compose()`, with identical fuse semantics (later piece wins,
+ * override reroutes the base's own calls, composing trivia governs every rule).
+ * No codegen, no `new Function`, no macro build step: the result is a plain map of
+ * combinators that `run()` / `parseDoc()` accept exactly like a fused map.
+ *
+ * This is what diagnostics and profiling run against — they must stay in
+ * interpreted mode, and before this they could not see a composed grammar at all.
+ *
+ * Items are the SAME items `compose()`/`composeLeaf()` take: `rules()` maps
+ * (the intended input), a prior `fuseInterpreted()` result, or a runtime
+ * `compose()` result (re-lowered from its carried IR — note that carried IR cannot
+ * materialize direct `node()` builders, so prefer the source maps). A precompiled
+ * `linkable()` artifact is rejected: it has no combinator graph.
+ *
+ * MUTATION: binding a cross-piece hole rewrites the shared placeholder object every
+ * call site already holds — that IS how an override reaches a base piece's own
+ * calls. A second, DIFFERENT fusion over the same piece objects therefore throws
+ * rather than silently rewriting the first one's parser.
  */
-export declare function composeLeaf(_items: Array<LinkablePieces | Record<string, unknown>>): Record<string, FusedRule>;
+export declare function fuseInterpreted(items: Array<LinkablePieces | Record<string, unknown>>, opts?: {
+    hostMode?: HostMode;
+}): Record<string, Combinator<unknown>>;
 //# sourceMappingURL=linker.d.ts.map

package/dist/compiler/linker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"linker.d.ts","sourceRoot":"","sources":["../../src/compiler/linker.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,cAAc,EAAkB,QAAQ,EAAE,MAAM,cAAc,CAAA;AAG5E,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,oBAAoB,EAAY,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAcnH,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,EAC7C,EAAE,CAAC,EAAE,MAAM,EACX,MAAM,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,EAK5B,QAAQ,CAAC,EAAE,QAAQ,GAClB,cAAc,CAQhB;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,GAAG,oBAAoB,CAAA;IAC7D;;;OAGG;IACH,IAAI,CAAC,EAAE,OAAO,CAAA;CACf,CAAA;AA4BD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,OAAO,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAA;AACtE,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,EAChC,MAAM,EAAE,OAAO,EACf,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EACpC,WAAW,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,EACpC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,EAC7B,KAAK,CAAC,EAAE,OAAO,EACf,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACnC,OAAO,CAAA;AAoCV;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,CACtB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KACxC,WAAW,CAAC,OAAO,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,CAAA;AAExD;;;;;;;GAOG;AACH,wBAAgB,IAAI,CAClB,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,EAC7D,KAAK,EAAE,MAAM,EAAE,GACd,cAAc,CAyBhB;AAED;;;+EAG+E;AAC/E,wBAAgB,UAAU,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,cAAc,EAAE,CAuBtF;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAuJlG;AAiCD;;+EAE+E;AAC/E,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAI7E;AAED,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAExE,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAG1D;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAE3D;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAMhE;AAqBD;;wFAEwF;AACxF,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,aAAa,CAAC,cAAc,GAAG,OAAO,CAAC,GAAG,SAAS,CAGrD;AAsBD;uEACuE;AACvE,MAAM,MAAM,OAAO,GAAG;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,IAAI,CAAA;CAAE,CAAA;AAQnE;;8CAE8C;AAC9C,wBAAgB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,CAO5C;AAED;;;;;;;iFAOiF;AACjF,wBAAgB,eAAe,CAAC,OAAO,EAAE,aAAa,CAAC,cAAc,GAAG,OAAO,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAE7H;AAED;qFACqF;AACrF,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,aAAa,CAAC,cAAc,GAAG,OAAO,CAAC,GAC/C;IAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;CAAE,CAY3G;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B;IAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;CAAE,GAAG,SAAS,CAa7G;AAmBD;;gFAEgF;AAChF,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAEvH;AAED;qEACqE;AACrE,wBAAgB,gBAAgB,CAC9B,CAAC,EAAE,cAAc,GAAG,OAAO,EAC3B,MAAM,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,EAC5B,gBAAgB,UAAQ,EACxB,QAAQ,CAAC,EAAE,QAAQ,GAClB,cAAc,CAchB;AAoFD,wBAAgB,OAAO,CACrB,KAAK,EAAE,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACtD;;;;;;;GAOG;AACH,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,QAAQ,CAAA;CAAE,GAC7B,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAoB3B;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtD,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAE3B"}
+{"version":3,"file":"linker.d.ts","sourceRoot":"","sources":["../../src/compiler/linker.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,cAAc,EAAkB,QAAQ,EAAE,MAAM,cAAc,CAAA;AAG5E,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,oBAAoB,EAAY,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEnH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAapD,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,EAC7C,EAAE,CAAC,EAAE,MAAM,EACX,MAAM,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,EAK5B,QAAQ,CAAC,EAAE,QAAQ,GAClB,cAAc,CAQhB;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,GAAG,oBAAoB,CAAA;IAC7D;;;OAGG;IACH,IAAI,CAAC,EAAE,OAAO,CAAA;CACf,CAAA;AA4BD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,OAAO,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAA;AACtE,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,EAChC,MAAM,EAAE,OAAO,EACf,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EACpC,WAAW,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,EACpC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,EAC7B,KAAK,CAAC,EAAE,OAAO,EACf,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACnC,OAAO,CAAA;AAoCV;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,CACtB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KACxC,WAAW,CAAC,OAAO,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,CAAA;AAExD;;;;;;;GAOG;AACH,wBAAgB,IAAI,CAClB,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,EAC7D,KAAK,EAAE,MAAM,EAAE,GACd,cAAc,CAyBhB;AAED;;;+EAG+E;AAC/E,wBAAgB,UAAU,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,cAAc,EAAE,CAuBtF;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,KAAK,CAAC,EAAE,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CA8JvH;AAiCD;;+EAE+E;AAC/E,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAI7E;AAED,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAExE,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAG1D;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAE3D;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,KAAK,CAAC,EAAE,WAAW,GAAG,MAAM,CAMrF;AAqBD;;wFAEwF;AACxF,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,aAAa,CAAC,cAAc,GAAG,OAAO,CAAC,GAAG,SAAS,CAGrD;AAsBD;uEACuE;AACvE,MAAM,MAAM,OAAO,GAAG;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,IAAI,CAAA;CAAE,CAAA;AAQnE;;8CAE8C;AAC9C,wBAAgB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,CAO5C;AAED;;;;;;;iFAOiF;AACjF,wBAAgB,eAAe,CAAC,OAAO,EAAE,aAAa,CAAC,cAAc,GAAG,OAAO,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAE7H;AAED;qFACqF;AACrF,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,aAAa,CAAC,cAAc,GAAG,OAAO,CAAC,GAC/C;IAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;CAAE,CAY3G;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B;IAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;CAAE,GAAG,SAAS,CAa7G;AAmBD;;gFAEgF;AAChF,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAEvH;AAED;qEACqE;AACrE,wBAAgB,gBAAgB,CAC9B,CAAC,EAAE,cAAc,GAAG,OAAO,EAC3B,MAAM,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,EAC5B,gBAAgB,UAAQ,EACxB,QAAQ,CAAC,EAAE,QAAQ,GAClB,cAAc,CAchB;AAoFD,wBAAgB,OAAO,CACrB,KAAK,EAAE,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACtD;;;;;;;GAOG;AACH,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,QAAQ,CAAA;CAAE,GAC7B,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAoB3B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACrD,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAyB3B;AAqDD;oDACoD;AACpD,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAEtD;AAgFD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACtD,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,QAAQ,CAAA;CAAE,GAC7B,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAErC"}

package/dist/compiler/module-hoist.d.ts

@@ -0,0 +1,106 @@
+/**
+ * MODULE-LEVEL HOIST OF BYTE-IDENTICAL FUSED DECLARATIONS
+ * ======================================================
+ *
+ * Every `compose()` / `composeLeaf()` in a module lowers to its OWN self-contained
+ * IIFE (`emitFusedSource` → `/* @__PURE__ *​/ (() => { … })()`). A module that
+ * publishes N variants of one grammar — the jess shape: shared recognition pieces
+ * plus N leaves differing only in `hostMode` / `trackLines` — therefore emits the
+ * recognition piece's rule functions N times, under the SAME namespaced names,
+ * in N sibling scopes. The namespace is content-addressed, so those N copies are
+ * byte-identical: `probe/variants-4` emits 5 `_r_` rule functions, four of which
+ * have exactly one distinct body across all four IIFEs.
+ *
+ * Measured on the committed size probe (bench/size/probe.ts), byte-identical
+ * declaration text available for dedup:
+ *
+ *   probe/variants-2   41,446 B generated   9,557 B duplicated (23.1%)
+ *   probe/variants-4   82,058 B generated  29,286 B duplicated (35.7%)
+ *
+ * This module collects the top-level declarations of every fused IIFE in one
+ * module, decides which are safe to emit ONCE at module scope, and rewrites each
+ * IIFE to drop its copy.
+ *
+ * THE CORRECTNESS PROBLEM, AND WHY THE DECISION IS KEYED ON THE NAME
+ * -----------------------------------------------------------------
+ * `_pfFail` is an identity sentinel: a rule function signals failure by returning
+ * it and every caller tests `v === _pfFail`. Each IIFE declares its own
+ * `const _pfFail = {}`, so today the producer and the consumer are always the same
+ * object. A PARTIAL hoist breaks that: if some scopes read the module-level
+ * sentinel while others keep a local one, a rule that FAILED returns object A and
+ * its caller compares against object B — the test is false, and the failure is
+ * read as a SUCCESS carrying the value `{}`. Silent wrong output, the worst class
+ * of bug this compiler can have.
+ *
+ * So the hoist decision is made per DECLARED NAME, not per occurrence:
+ *
+ *   a name is hoistable only if EVERY declaration of that name anywhere in the
+ *   module is byte-identical,
+ *
+ * and when it is, EVERY occurrence is removed and one copy is emitted at module
+ * scope. A mixed state is unrepresentable: there is no code path that removes one
+ * occurrence and keeps another. If two scopes ever disagreed about `_pfFail`'s
+ * text, the name would have two distinct texts, would fail the uniformity test,
+ * and NO scope would hoist it. `test/unit/module-hoist.test.ts` asserts both
+ * directions.
+ *
+ * `_pfEnd` (`let _pfEnd`) is a single-slot out-parameter and is safe to share
+ * unconditionally: the write is the last statement before a rule function returns
+ * (src/compiler/codegen.ts, `pushNamedFnDecl` — `_pfEnd = <end>` immediately
+ * precedes `return <value>`) and the read is the next statement at the call site
+ * (`emitNamedFnCall` — `const _pfe = _pfEnd` immediately follows the sentinel
+ * test). Nothing user-controlled runs between the write and the read, so even a
+ * builder that re-enters another grammar cannot observe a stale slot: the nested
+ * parse completes entirely before the outer write.
+ *
+ * FREE-VARIABLE FIXPOINT
+ * ----------------------
+ * A hoisted declaration must not reference anything that stayed IIFE-local. Every
+ * top-level name of every IIFE is known here (the declarations ARE the input), so
+ * a hoisted text is rejected if it mentions any name that is not itself hoisted,
+ * iterated to a fixpoint. Reference detection is a `\bNAME\b` scan over the
+ * declaration text: that over-approximates (it also matches inside strings and
+ * comments), and over-approximation is the safe direction — it only ever blocks a
+ * hoist, never permits an unsound one.
+ *
+ * This also disposes of the un-namespaced `_wcf<N>` hazard. `withCtx` names its
+ * wrapper `_wcf${namedParsers.size}` with no namespace prefix, so two different
+ * artifacts can both declare `_wcf0` with DIFFERENT bodies. Such a name has two
+ * distinct texts, so it is not hoistable, and by the fixpoint nothing that
+ * references it is hoistable either.
+ *
+ * SCOPE
+ * -----
+ * Hoisting is sound only because every macro replacement is made from the
+ * plugin's top-level `for (const stmt of body)` loop — the call sites are all
+ * module-level statements, so an IIFE's free variables can only resolve to
+ * module-level bindings, which are still in scope at module level. The prelude is
+ * inserted at the START of the earliest top-level statement that carries a
+ * replacement, which is never earlier than the earliest IIFE, so no binding those
+ * declarations already depended on moves out of scope.
+ */
+/** Non-global marker test, for asking whether a generated replacement claimed any
+ *  declarations (a `/g` regex would carry `lastIndex` between calls). */
+export declare const HOIST_MARKER_PROBE: RegExp;
+/** The names a generated top-level declaration binds. */
+export declare function declaredNames(text: string): string[];
+export type HoistResult = {
+    /** Declarations to emit ONCE at module scope, in first-claim order. Empty when
+     *  nothing qualified. Ends with a newline when non-empty. */
+    prelude: string;
+    /** Replace every marker in a generated source string with either nothing (the
+     *  declaration was hoisted) or its original text (it was not). */
+    resolve(src: string): string;
+    /** Diagnostics: bytes removed from the IIFEs, minus the bytes re-emitted once. */
+    savedBytes: number;
+    /** Names emitted at module scope. */
+    hoistedNames: string[];
+};
+export type ModuleHoist = {
+    /** Register one fused IIFE's top-level declarations; returns the marker lines to
+     *  emit in their place. */
+    claim(decls: readonly string[]): string[];
+    finalize(): HoistResult;
+};
+export declare function createModuleHoist(): ModuleHoist;
+//# sourceMappingURL=module-hoist.d.ts.map

package/dist/compiler/module-hoist.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-hoist.d.ts","sourceRoot":"","sources":["../../src/compiler/module-hoist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgFG;AASH;yEACyE;AACzE,eAAO,MAAM,kBAAkB,QAAsB,CAAA;AAWrD,yDAAyD;AACzD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAOpD;AAED,MAAM,MAAM,WAAW,GAAG;IACxB;iEAC6D;IAC7D,OAAO,EAAE,MAAM,CAAA;IACf;sEACkE;IAClE,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;IAC5B,kFAAkF;IAClF,UAAU,EAAE,MAAM,CAAA;IAClB,qCAAqC;IACrC,YAAY,EAAE,MAAM,EAAE,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB;+BAC2B;IAC3B,KAAK,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAAA;IACzC,QAAQ,IAAI,WAAW,CAAA;CACxB,CAAA;AAED,wBAAgB,iBAAiB,IAAI,WAAW,CAkF/C"}