@memoized-dom/compiler 0.0.4 → 0.0.5

package/dist/jsx/children.d.ts

@@ -7,13 +7,14 @@
  */
 import * as t from '@babel/types';
 import { type JsxChild } from '../components/children';
+import { type MapCallExpression } from '../lists';
 export type JsxNode = t.JSXElement | t.JSXFragment;
 export type DirectChildOperation = {
     type: 'node';
     variable: string;
 } | {
     type: 'list';
-    expression: t.CallExpression;
+    expression: MapCallExpression;
 } | {
     type: 'condition';
     expression: t.ConditionalExpression | t.LogicalExpression;

package/dist/jsx/children.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"children.d.ts","sourceRoot":"","sources":["../../src/jsx/children.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAGlC,OAAO,EAEL,KAAK,QAAQ,EACd,MAAM,wBAAwB,CAAC;AAGhC,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;AAEnD,MAAM,MAAM,oBAAoB,GAC5B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,CAAC,CAAC,cAAc,CAAA;CAAE,GAC9C;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC,iBAAiB,CAAC;CAC3D,GACD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAA;CAAE,CAAC;AAE/C,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IAChC,WAAW,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,GAAG,OAAO,CAAC;IAC/C,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC9B;AAED,wEAAwE;AACxE,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,SAAS,QAAQ,EAAE,EAC7B,QAAQ,EAAE,mBAAmB,GAC5B,oBAAoB,EAAE,CAqDxB"}
+{"version":3,"file":"children.d.ts","sourceRoot":"","sources":["../../src/jsx/children.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAGlC,OAAO,EAEL,KAAK,QAAQ,EACd,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAgB,KAAK,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAEhE,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;AAEnD,MAAM,MAAM,oBAAoB,GAC5B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,iBAAiB,CAAA;CAAE,GAC/C;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC,iBAAiB,CAAC;CAC3D,GACD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAA;CAAE,CAAC;AAE/C,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IAChC,WAAW,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,GAAG,OAAO,CAAC;IAC/C,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC9B;AAED,wEAAwE;AACxE,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,SAAS,QAAQ,EAAE,EAC7B,QAAQ,EAAE,mBAAmB,GAC5B,oBAAoB,EAAE,CAqDxB"}

package/dist/jsx/conditional-directives.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Normalize compiler-owned `if`, `else-if`, and `else` JSX directives.
+ *
+ * Sibling chains become the ordinary JSX-bearing conditional expressions that
+ * the structural-region pipeline already understands. Formatting whitespace
+ * and JSX comments do not interrupt a chain.
+ */
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+/** Lower conditional JSX directives before route and reactivity analysis. */
+export declare function normalizeConditionalJsxDirectives(programPath: NodePath<t.Program>): void;
+//# sourceMappingURL=conditional-directives.d.ts.map

package/dist/jsx/conditional-directives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional-directives.d.ts","sourceRoot":"","sources":["../../src/jsx/conditional-directives.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AA2KlC,6EAA6E;AAC7E,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CA8CN"}

package/dist/jsx/events.d.ts

@@ -1,5 +1,4 @@
 /** Shared host-event shape facts used by analysis, linking, and emission. */
 import * as t from '@babel/types';
 export declare function hostJsxEventNames(body: t.Node): string[];
-export declare function hasHostJsxEvent(body: t.Node): boolean;
 //# sourceMappingURL=events.d.ts.map

package/dist/jsx/events.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/jsx/events.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAE7E,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAGlC,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,MAAM,EAAE,CAiBxD;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,OAAO,CAErD"}
+{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/jsx/events.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAE7E,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAGlC,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,MAAM,EAAE,CAiBxD"}

package/dist/jsx-types.d.ts

@@ -0,0 +1,39 @@
+export {};
+declare global {
+    /**
+     * Register synchronous teardown owned by the current compiled component.
+     * The compiler supplies the component identity in generated output.
+     */
+    function cleanup(disposer: () => void): () => void;
+    /**
+     * Run a compiler-tracked side effect after DOM updates. At component scope,
+     * teardown follows the owner; at module scope the effect is a singleton.
+     */
+    function effect(callback: () => void | (() => void)): void;
+    /** Minimal global JSX declarations for compiler-authored source. */
+    namespace JSX {
+        type RouteValue = `/${string}`;
+        interface RouteToDestination {
+            path: RouteValue;
+            params?: Record<string, string | number | boolean | bigint>;
+            query?: Record<string, string | number | boolean | bigint | null | undefined | readonly (string | number | boolean | bigint | null | undefined)[]>;
+            hash?: string;
+            replace?: boolean;
+        }
+        interface ElementChildrenAttribute {
+            children: unknown;
+        }
+        interface IntrinsicAttributes {
+            key?: unknown;
+            if?: boolean;
+            'else-if'?: boolean;
+            else?: true;
+            route?: RouteValue;
+            'route-to'?: RouteValue | RouteToDestination;
+        }
+        interface IntrinsicElements {
+            [name: string]: any;
+        }
+    }
+}
+//# sourceMappingURL=jsx-types.d.ts.map

package/dist/jsx-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-types.d.ts","sourceRoot":"","sources":["../src/jsx-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC;AAEV,OAAO,CAAC,MAAM,CAAC;IACb;;;OAGG;IACH,SAAS,OAAO,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;IAEnD;;;OAGG;IACH,SAAS,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC;IAE3D,oEAAoE;IACpE,UAAU,GAAG,CAAC;QACZ,KAAK,UAAU,GAAG,IAAI,MAAM,EAAE,CAAC;QAE/B,UAAU,kBAAkB;YAC1B,IAAI,EAAE,UAAU,CAAC;YACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC,CAAC;YAC5D,KAAK,CAAC,EAAE,MAAM,CACZ,MAAM,EACJ,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,SAAS,GACT,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC,EAAE,CACrE,CAAC;YACF,IAAI,CAAC,EAAE,MAAM,CAAC;YACd,OAAO,CAAC,EAAE,OAAO,CAAC;SACnB;QAED,UAAU,wBAAwB;YAChC,QAAQ,EAAE,OAAO,CAAC;SACnB;QAED,UAAU,mBAAmB;YAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;YACd,EAAE,CAAC,EAAE,OAAO,CAAC;YACb,SAAS,CAAC,EAAE,OAAO,CAAC;YACpB,IAAI,CAAC,EAAE,IAAI,CAAC;YACZ,KAAK,CAAC,EAAE,UAAU,CAAC;YACnB,UAAU,CAAC,EAAE,UAAU,GAAG,kBAAkB,CAAC;SAC9C;QAED,UAAU,iBAAiB;YACzB,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC;SACrB;KACF;CACF"}

package/dist/linker.d.ts

@@ -1,4 +1,5 @@
-import { type MemoDomOptions } from './context';
+import { type CompilerSourceMap } from './compile';
+import { type MemoDomOptions, type ParameterWrite, type StateKind } from './context';
 export interface CompileModulesOptions extends Omit<MemoDomOptions, 'moduleId' | 'linkedImports' | 'linkedComponentPaths' | 'linkedComponentRows' | 'linkedComponentPropSources' | 'linkedComponentRenderProps'> {
     /**
      * Bundler-style import aliases. Prefixes match on a segment boundary, so
@@ -10,10 +11,54 @@ export interface CompileModulesOptions extends Omit<MemoDomOptions, 'moduleId' |
      * undefined to continue with aliases and normal relative resolution.
      */
     resolveImport?: (specifier: string, importer: string) => string | undefined;
+    /**
+     * Preserve imported state/component identity but replace imported function
+     * summaries with an unbounded effect. This is an evaluation ablation for
+     * measuring the contribution of cross-module effect-summary propagation.
+     * Defaults to true.
+     */
+    linkFunctionSummaries?: boolean;
+}
+export interface CompiledComponentExport {
+    exported: string;
+    local: string;
+    listLightweight: boolean;
+}
+export interface CompiledStateExport {
+    exported: string;
+    kind: StateKind;
+    key: string;
+}
+export interface CompiledFunctionExport {
+    exported: string;
+    reads: string[];
+    writes: string[];
+    boundedWrites: string[];
+    parameterWrites: ParameterWrite[];
+    unbounded: boolean;
+}
+export interface CompiledModuleMetadata {
+    componentExports: CompiledComponentExport[];
+    /** Canonical state identities exposed for evaluation and tooling. */
+    stateExports: CompiledStateExport[];
+    /** Fixed-point function summaries exposed for evaluation and tooling. */
+    functionExports: CompiledFunctionExport[];
+    /** Canonical read key -> statically selected runtime entity patterns. */
+    readers: Record<string, string[]>;
+}
+export interface CompiledApplicationRoot {
+    key: string;
+    moduleId: string;
+    mountModuleId: string;
+    local: string;
+    rootId: string;
+}
+export interface CompiledModules {
+    output: Record<string, string>;
+    maps: Record<string, CompilerSourceMap>;
+    metadata: Record<string, CompiledModuleMetadata>;
+    applicationRoot?: CompiledApplicationRoot;
 }
-/**
- * Compile a connected set of TS/TSX modules with canonical cross-file state
- * keys. Record keys are source module ids; returned keys are preserved.
- */
+export declare function compileModulesDetailed(modules: Readonly<Record<string, string>>, options?: CompileModulesOptions): CompiledModules;
 export declare function compileModules(modules: Readonly<Record<string, string>>, options?: CompileModulesOptions): Record<string, string>;
 //# sourceMappingURL=linker.d.ts.map

package/dist/linker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"linker.d.ts","sourceRoot":"","sources":["../src/linker.ts"],"names":[],"mappings":"AA+BA,OAAO,EASL,KAAK,cAAc,EAGpB,MAAM,WAAW,CAAC;AAMnB,MAAM,WAAW,qBACf,SAAQ,IAAI,CACV,cAAc,EACZ,UAAU,GACV,eAAe,GACf,sBAAsB,GACtB,qBAAqB,GACrB,4BAA4B,GAC5B,4BAA4B,CAC/B;IACD;;;OAGG;IACH,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;CAC7E;AAwsBD;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACzC,OAAO,GAAE,qBAA0B,GAClC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAwIxB"}
+{"version":3,"file":"linker.d.ts","sourceRoot":"","sources":["../src/linker.ts"],"names":[],"mappings":"AAkBA,OAAO,EAGL,KAAK,iBAAiB,EACvB,MAAM,WAAW,CAAC;AAgBnB,OAAO,EAWL,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,SAAS,EACf,MAAM,WAAW,CAAC;AAUnB,MAAM,WAAW,qBACf,SAAQ,IAAI,CACV,cAAc,EACZ,UAAU,GACV,eAAe,GACf,sBAAsB,GACtB,qBAAqB,GACrB,4BAA4B,GAC5B,4BAA4B,CAC/B;IACD;;;OAGG;IACH,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IAC5E;;;;;OAKG;IACH,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,sBAAsB;IACrC,gBAAgB,EAAE,uBAAuB,EAAE,CAAC;IAC5C,qEAAqE;IACrE,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC,yEAAyE;IACzE,eAAe,EAAE,sBAAsB,EAAE,CAAC;IAC1C,yEAAyE;IACzE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,uBAAuB;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACjD,eAAe,CAAC,EAAE,uBAAuB,CAAC;CAC3C;AAunCD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACzC,OAAO,GAAE,qBAA0B,GAClC,eAAe,CAEjB;AAED,wBAAgB,cAAc,CAC5B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACzC,OAAO,GAAE,qBAA0B,GAClC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAExB"}

package/dist/lists/calculated-sources.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"calculated-sources.d.ts","sourceRoot":"","sources":["../../src/lists/calculated-sources.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AA2CtC;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CA2D7D"}
+{"version":3,"file":"calculated-sources.d.ts","sourceRoot":"","sources":["../../src/lists/calculated-sources.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,GAAG,EAAqB,MAAM,YAAY,CAAC;AA4CzD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAoE7D"}

package/dist/lists/map-site.d.ts

@@ -5,13 +5,15 @@
 import type { NodePath } from '@babel/traverse';
 import * as t from '@babel/types';
 import { type RuntimeBindingPattern } from '../analysis/runtime-pattern';
-import { type Ctx } from '../context';
+import { type Ctx, type MapCallExpression } from '../context';
 type ParentRow = Pick<MapSite, 'itemParam' | 'sourceKey' | 'sourceLocal'>;
 export interface MapSite {
     /** Reactive source key (e.g. 'items' or 'store.todos'). */
     sourceKey: string;
     /** Ordered source expression, cloned into the reconcile calls. */
     sourceExpr: t.Expression;
+    /** Optional-chain maps render no rows while their source is nullish. */
+    optional: boolean;
     /** Instance roots invalidate their owner directly, not an access table. */
     sourceLocal: boolean;
     /** Runtime callback target, including supported destructuring patterns. */
@@ -37,14 +39,14 @@ export interface MapSite {
     /** Unique site key '<owner>/<suffix>'. */
     prefix: string;
 }
-/** Is this expression a `.map(...)` call? */
-export declare function matchMapCall(expr: t.Node): t.CallExpression | null;
+/** Is this expression a `.map(...)` call, including optional chains? */
+export declare function matchMapCall(expr: t.Node): MapCallExpression | null;
 /** Does a subtree contain JSX? */
 export declare function containsJsx(path: NodePath): boolean;
 /**
  * Validate and describe a map site. Analysis and emission walk sites in the
  * same source order so their deterministic suffixes remain identical.
  */
-export declare function analyzeMapSite(ctx: Ctx, call: t.CallExpression, errorAt: Pick<NodePath, 'buildCodeFrameError'>, ownerName: string, usedPrefixes: Map<string, number>, parentRow?: ParentRow): MapSite;
+export declare function analyzeMapSite(ctx: Ctx, call: MapCallExpression, errorAt: Pick<NodePath, 'buildCodeFrameError'>, ownerName: string, usedPrefixes: Map<string, number>, parentRow?: ParentRow): MapSite;
 export {};
 //# sourceMappingURL=map-site.d.ts.map

package/dist/lists/map-site.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"map-site.d.ts","sourceRoot":"","sources":["../../src/lists/map-site.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAIL,KAAK,GAAG,EACT,MAAM,YAAY,CAAC;AAIpB,KAAK,SAAS,GAAG,IAAI,CACnB,OAAO,EACP,WAAW,GAAG,WAAW,GAAG,aAAa,CAC1C,CAAC;AAEF,MAAM,WAAW,OAAO;IACtB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;IACzB,2EAA2E;IAC3E,WAAW,EAAE,OAAO,CAAC;IACrB,2EAA2E;IAC3E,WAAW,EAAE,qBAAqB,CAAC;IACnC,iEAAiE;IACjE,SAAS,EAAE,MAAM,CAAC;IAClB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,wDAAwD;IACxD,OAAO,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IAC7B,+DAA+D;IAC/D,GAAG,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACzB,kEAAkE;IAClE,IAAI,EAAE,WAAW,GAAG,QAAQ,GAAG,UAAU,CAAC;IAC1C,gDAAgD;IAChD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,sDAAsD;IACtD,cAAc,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACpC,6BAA6B;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,MAAM,EAAE,MAAM,CAAC;CAChB;AAuBD,6CAA6C;AAC7C,wBAAgB,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,GAAG,IAAI,CAQlE;AAED,kCAAkC;AAClC,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAWnD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,CAAC,CAAC,cAAc,EACtB,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,EAC9C,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAgCT"}
+{"version":3,"file":"map-site.d.ts","sourceRoot":"","sources":["../../src/lists/map-site.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAIL,KAAK,GAAG,EACR,KAAK,iBAAiB,EACvB,MAAM,YAAY,CAAC;AAOpB,KAAK,SAAS,GAAG,IAAI,CACnB,OAAO,EACP,WAAW,GAAG,WAAW,GAAG,aAAa,CAC1C,CAAC;AAEF,MAAM,WAAW,OAAO;IACtB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;IACzB,wEAAwE;IACxE,QAAQ,EAAE,OAAO,CAAC;IAClB,2EAA2E;IAC3E,WAAW,EAAE,OAAO,CAAC;IACrB,2EAA2E;IAC3E,WAAW,EAAE,qBAAqB,CAAC;IACnC,iEAAiE;IACjE,SAAS,EAAE,MAAM,CAAC;IAClB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,wDAAwD;IACxD,OAAO,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IAC7B,+DAA+D;IAC/D,GAAG,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACzB,kEAAkE;IAClE,IAAI,EAAE,WAAW,GAAG,QAAQ,GAAG,UAAU,CAAC;IAC1C,gDAAgD;IAChD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,sDAAsD;IACtD,cAAc,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACpC,6BAA6B;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,MAAM,EAAE,MAAM,CAAC;CAChB;AAuBD,wEAAwE;AACxE,wBAAgB,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,iBAAiB,GAAG,IAAI,CAUnE;AAED,kCAAkC;AAClC,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAWnD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,EAC9C,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAmCT"}

package/dist/lists/source-shapes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"source-shapes.d.ts","sourceRoot":"","sources":["../../src/lists/source-shapes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,6EAA6E;AAC7E,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,CAAC,CAAC,UAAU,GACvB,CAAC,CAAC,UAAU,CAUd;AAED,gFAAgF;AAChF,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,CAAC,CAAC,UAAU,GACvB,OAAO,CAeT"}
+{"version":3,"file":"source-shapes.d.ts","sourceRoot":"","sources":["../../src/lists/source-shapes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAGlC,6EAA6E;AAC7E,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,CAAC,CAAC,UAAU,GACvB,CAAC,CAAC,UAAU,CAEd;AAED,gFAAgF;AAChF,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,CAAC,CAAC,UAAU,GACvB,OAAO,CAeT"}

package/dist/lists.d.ts

@@ -4,4 +4,5 @@
  */
 export { analyzeMapSite, containsJsx, matchMapCall, } from './lists/map-site';
 export type { MapSite } from './lists/map-site';
+export type { MapCallExpression } from './context';
 //# sourceMappingURL=lists.d.ts.map

package/dist/lists.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lists.d.ts","sourceRoot":"","sources":["../src/lists.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,cAAc,EACd,WAAW,EACX,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"lists.d.ts","sourceRoot":"","sources":["../src/lists.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,cAAc,EACd,WAAW,EACX,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,YAAY,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC"}

package/dist/plugin.d.ts

@@ -9,18 +9,15 @@
  *   emit.ts                 - DOM nodes and structural regions
  *   components/ and jsx/    - prop/slot contracts and authored JSX semantics
  *
- * L1 limitations (clear compile errors by design):
- *   - components must be top-level `function` declarations (no arrows)
- *   - direct JSX returns plus R27 structural tail-return control flow
- *   - spread attributes preserve overrides through general DOM patching
- *   - children slots mount once at a direct host insertion point
- *   - conditional JSX uses anchored R8/R27 regions
- *   - no nested lists or component calls inside inline rows
+ * Source-shape constraints use clear compile errors by design. Top-level
+ * function declarations and synchronous uppercase const function expressions
+ * are components; JSX return control flow, repeated render slots, and nested
+ * row composition are normalized before the core analysis/emission passes.
  */
 import type { Visitor } from '@babel/traverse';
-import { type MemoDomOptions } from './context';
+import { type InternalMemoDomOptions, type MemoDomOptions } from './context';
 export type { MemoDomOptions };
-export default function memoDomPlugin(_api: unknown, opts?: MemoDomOptions): {
+export default function memoDomPlugin(_api: unknown, opts?: InternalMemoDomOptions): {
     name: string;
     visitor: Visitor;
 };

package/dist/plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../src/plugin.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAG/C,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,WAAW,CAAC;AA2JnB,YAAY,EAAE,cAAc,EAAE,CAAC;AAE/B,MAAM,CAAC,OAAO,UAAU,aAAa,CACnC,IAAI,EAAE,OAAO,EACb,IAAI,GAAE,cAAmB,GACxB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAoEpC"}
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../src/plugin.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAG/C,OAAO,EAIL,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACpB,MAAM,WAAW,CAAC;AAgKnB,YAAY,EAAE,cAAc,EAAE,CAAC;AAE/B,MAAM,CAAC,OAAO,UAAU,aAAa,CACnC,IAAI,EAAE,OAAO,EACb,IAAI,GAAE,sBAA2B,GAChC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CA2GpC"}

package/dist/router.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Compiler-owned JSX routing analysis.
+ *
+ * `route` and `route-to` are universal compiler properties. They are removed
+ * before ordinary JSX prop analysis, leaving no DOM attributes or component
+ * props behind.
+ */
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import type { Ctx } from './context';
+export interface CompilerRouteDefinition {
+    readonly id: string;
+    readonly moduleId: string;
+    readonly pattern: string;
+    readonly fullPattern: string;
+    readonly parentId?: string;
+    readonly line?: number;
+    readonly column?: number;
+}
+export interface CompilerRouteElement extends CompilerRouteDefinition {
+}
+export declare function validateCompilerRoutePattern(pattern: string): string;
+export declare function collectCompilerRoutes(file: t.File, moduleId: string): CompilerRouteDefinition[];
+export declare function validateCompilerRouteGraph(definitions: readonly CompilerRouteDefinition[]): void;
+/** Analyze, validate, and erase compiler-owned route properties. */
+export declare function analyzeRouterJsx(ctx: Ctx, programPath: NodePath<t.Program>): void;
+export declare function routeManifestStatements(ctx: Ctx): t.Statement[];
+//# sourceMappingURL=router.d.ts.map

package/dist/router.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"router.d.ts","sourceRoot":"","sources":["../src/router.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAMrC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAqB,SAAQ,uBAAuB;CAAG;AA6CxE,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAmCpE;AAiGD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,CAAC,CAAC,IAAI,EACZ,QAAQ,EAAE,MAAM,GACf,uBAAuB,EAAE,CAE3B;AAqBD,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,SAAS,uBAAuB,EAAE,GAC9C,IAAI,CAsBN;AAsQD,oEAAoE;AACpE,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CA+FN;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,SAAS,EAAE,CAqC/D"}

package/package.json

@@ -1,8 +1,11 @@
 {
   "name": "@memoized-dom/compiler",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "description": "Binding-aware TypeScript and JSX compiler for memoized-dom",
   "type": "module",
+  "engines": {
+    "node": ">=24.11.0"
+  },
   "sideEffects": false,
   "files": [
     "dist"
@@ -12,10 +15,13 @@
       "types": "./dist/index.d.ts",
       "import": "./dist/index.js",
       "default": "./dist/index.js"
+    },
+    "./jsx": {
+      "types": "./dist/jsx-types.d.ts"
     }
   },
   "scripts": {
-    "build": "bun run ./scripts/clean.ts && esbuild ./src/index.ts --bundle --outfile=./dist/index.js --platform=node --format=esm --target=node20 --packages=external --minify && tsc -p tsconfig.build.json"
+    "build": "bun run ./scripts/clean.ts && esbuild ./src/index.ts --bundle --outfile=./dist/index.js --platform=node --format=esm --target=node24 --packages=external --minify && tsc -p tsconfig.build.json"
   },
   "dependencies": {
     "@babel/core": "^8.0.1",