@memoized-dom/compiler 0.0.4 → 0.0.6

package/dist/jsx/attributes.d.ts

@@ -5,7 +5,7 @@
  * overrides. This module converts attributes into one object expression while
  * delegating explicit event instrumentation to the owning emitter.
  */
-import * as t from '@babel/types';
+import type * as t from '../ast/compiler-types';
 export interface OrderedAttributes {
     expression: t.ObjectExpression;
     sources: t.Expression[];

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

@@ -1 +1 @@
-{"version":3,"file":"attributes.d.ts","sourceRoot":"","sources":["../../src/jsx/attributes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,CAAC,CAAC,gBAAgB,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;IACxB,8EAA8E;IAC9E,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAAC;IACjE,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAAC;IACrE,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC9B;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,EAC9D,OAAO,EAAE,uBAAuB,GAC/B,iBAAiB,CA8CnB;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,iBAAiB,GAC1C,MAAM,CAIR"}
+{"version":3,"file":"attributes.d.ts","sourceRoot":"","sources":["../../src/jsx/attributes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAOhD,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,CAAC,CAAC,gBAAgB,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;IACxB,8EAA8E;IAC9E,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAAC;IACjE,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAAC;IACrE,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC9B;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,EAC9D,OAAO,EAAE,uBAAuB,GAC/B,iBAAiB,CA8CnB;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,iBAAiB,GAC1C,MAAM,CAIR"}

package/dist/jsx/children.d.ts

@@ -5,15 +5,16 @@
  * classifies text, nodes, lists, conditional regions, and forwarded slots
  * without deciding when the eventual parent node is created.
  */
-import * as t from '@babel/types';
+import type * as t from '../ast/compiler-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,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAKhD,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;AA2BD,wEAAwE;AACxE,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,SAAS,QAAQ,EAAE,EAC7B,QAAQ,EAAE,mBAAmB,GAC5B,oBAAoB,EAAE,CAkExB"}

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

@@ -0,0 +1,21 @@
+/**
+ * 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 * as t from '../ast/compiler-types';
+interface ErrorPath {
+    buildCodeFrameError(message: string): Error;
+}
+interface ProgramContainer extends ErrorPath {
+    node: t.Program;
+    scope?: {
+        crawl(): void;
+    };
+}
+/** Lower conditional JSX directives before route and reactivity analysis. */
+export declare function normalizeConditionalJsxDirectives(programPath: ProgramContainer): void;
+export {};
+//# 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,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAShD,UAAU,SAAS;IACjB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC7C;AAED,UAAU,gBAAiB,SAAQ,SAAS;IAC1C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE;QAAE,KAAK,IAAI,IAAI,CAAA;KAAE,CAAC;CAC3B;AAoLD,6EAA6E;AAC7E,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,gBAAgB,GAC5B,IAAI,CA0CN"}

package/dist/jsx/dom-attributes.d.ts

@@ -5,7 +5,7 @@
  * dynamic. Explicit HTML properties and mapped attributes can instead become
  * direct DOM operations, avoiding unrelated runtime style/SVG machinery.
  */
-import * as t from '@babel/types';
+import type * as t from '../ast/compiler-types';
 export declare function domPropertyName(name: string, elementIsSvg: boolean): string | null;
 export declare function isMappedDomAttribute(name: string, elementIsSvg: boolean): boolean;
 export declare function domPropertyWrite(varName: string, name: string, value: t.Expression): t.Statement;

package/dist/jsx/dom-attributes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dom-attributes.d.ts","sourceRoot":"","sources":["../../src/jsx/dom-attributes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AA0BlC,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,OAAO,GACpB,MAAM,GAAG,IAAI,CAEf;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,OAAO,GACpB,OAAO,CAET;AAED,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,CAAC,CAAC,UAAU,GAClB,CAAC,CAAC,SAAS,CAiDb;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,CAAC,CAAC,UAAU,GAClB,CAAC,CAAC,SAAS,CA2Cb"}
+{"version":3,"file":"dom-attributes.d.ts","sourceRoot":"","sources":["../../src/jsx/dom-attributes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,KAAK,CAAC,MAAM,uBAAuB,CAAC;AA4BhD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,OAAO,GACpB,MAAM,GAAG,IAAI,CAEf;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,OAAO,GACpB,OAAO,CAET;AAED,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,CAAC,CAAC,UAAU,GAClB,CAAC,CAAC,SAAS,CAiDb;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,CAAC,CAAC,UAAU,GAClB,CAAC,CAAC,SAAS,CA2Cb"}

package/dist/jsx/dynamic-tags.d.ts

@@ -1,20 +1,14 @@
-/**
- * Finite dynamic JSX tag lowering.
- *
- * Known string/component candidates become ordinary JSX branches selected by
- * the authored binding value. Existing conditional regions then own identity,
- * updates, and teardown without a runtime virtual-node representation.
- */
-import type { NodePath } from '@babel/traverse';
-import * as t from '@babel/types';
+/** Finite dynamic JSX tag lowering over parser-neutral AST metadata. */
+import type * as t from '../ast/compiler-types';
 import { type Ctx } from '../context';
-/**
- * Install finite linked component candidates before ordinary import
- * validation and generated-identifier allocation.
- */
-export declare function installLinkedDynamicComponentImports(ctx: Ctx, programPath: NodePath<t.Program>): void;
+interface ProgramContainer {
+    node: t.Program;
+}
+/** Install finite linked component candidates before ordinary import analysis. */
+export declare function installLinkedDynamicComponentImports(ctx: Ctx, programPath: ProgramContainer): void;
 /** Discover local component registries/helper returns before tag lowering. */
-export declare function scanLocalDynamicComponentCandidates(ctx: Ctx, programPath: NodePath<t.Program>): void;
+export declare function scanLocalDynamicComponentCandidates(ctx: Ctx, programPath: ProgramContainer): void;
 /** Lower dynamic identifier/member JSX names before component validation. */
 export declare function normalizeDynamicTags(ctx: Ctx): void;
+export {};
 //# sourceMappingURL=dynamic-tags.d.ts.map

package/dist/jsx/dynamic-tags.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dynamic-tags.d.ts","sourceRoot":"","sources":["../../src/jsx/dynamic-tags.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAKL,KAAK,GAAG,EACT,MAAM,YAAY,CAAC;AA0BpB;;;GAGG;AACH,wBAAgB,oCAAoC,CAClD,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CAyEN;AA2LD,8EAA8E;AAC9E,wBAAgB,mCAAmC,CACjD,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CA2CN;AAmND,6EAA6E;AAC7E,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAkHnD"}
+{"version":3,"file":"dynamic-tags.d.ts","sourceRoot":"","sources":["../../src/jsx/dynamic-tags.ts"],"names":[],"mappings":"AAAA,wEAAwE;AAExE,OAAO,KAAK,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAahD,OAAO,EAOL,KAAK,GAAG,EACT,MAAM,YAAY,CAAC;AAQpB,UAAU,gBAAgB;IACxB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;CACjB;AAmED,kFAAkF;AAClF,wBAAgB,oCAAoC,CAClD,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,gBAAgB,GAC5B,IAAI,CAkEN;AAuMD,8EAA8E;AAC9E,wBAAgB,mCAAmC,CACjD,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,gBAAgB,GAC5B,IAAI,CAkCN;AA2ND,6EAA6E;AAC7E,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAkHnD"}

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;
+import { type BaseNode } from '../ast';
+export declare function hostJsxEventNames(body: BaseNode): string[];
 //# 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,EAAW,KAAK,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAwBhD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,CAoB1D"}

package/dist/jsx/refs.d.ts

@@ -4,12 +4,13 @@
  * Assignable source expressions are sinks, not reads. They become ordinary
  * callback adapters so forwarding needs no public ref wrapper or special key.
  */
-import type { NodePath } from '@babel/traverse';
-import * as t from '@babel/types';
-import type { Ctx } from '../context';
+import type * as t from '../ast/compiler-types';
+import { type Ctx } from '../context';
 import type { EmitScope } from '../emission/scope';
+type ComponentPath = Ctx['compPaths'] extends Map<string, infer TPath> ? TPath : never;
 /** Compile one source ref into callback/array values understood by mountRef. */
-export declare function compileRefValue(ctx: Ctx, componentPath: NodePath<t.FunctionDeclaration>, componentName: string, expression: t.Expression): t.Expression;
+export declare function compileRefValue(ctx: Ctx, componentPath: ComponentPath, componentName: string, expression: t.Expression): t.Expression;
 /** Emit one mount operation and attach its disposer to this scope's policy. */
 export declare function emitRefMount(ctx: Ctx, scope: EmitScope, node: t.Expression, ownerId: t.Expression, value: t.Expression): void;
+export {};
 //# sourceMappingURL=refs.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../../src/jsx/refs.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAGtC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,gFAAgF;AAChF,wBAAgB,eAAe,CAC7B,GAAG,EAAE,GAAG,EACR,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAC9C,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,CAAC,CAAC,UAAU,GACvB,CAAC,CAAC,UAAU,CA8Bd;AAED,+EAA+E;AAC/E,wBAAgB,YAAY,CAC1B,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,CAAC,CAAC,UAAU,EAClB,OAAO,EAAE,CAAC,CAAC,UAAU,EACrB,KAAK,EAAE,CAAC,CAAC,UAAU,GAClB,IAAI,CAyBN"}
+{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../../src/jsx/refs.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAIhD,OAAO,EAAgB,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAGpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,KAAK,aAAa,GAAG,GAAG,CAAC,WAAW,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,GAClE,KAAK,GACL,KAAK,CAAC;AAEV,gFAAgF;AAChF,wBAAgB,eAAe,CAC7B,GAAG,EAAE,GAAG,EACR,aAAa,EAAE,aAAa,EAC5B,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,CAAC,CAAC,UAAU,GACvB,CAAC,CAAC,UAAU,CA8Bd;AAED,+EAA+E;AAC/E,wBAAgB,YAAY,CAC1B,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,CAAC,CAAC,UAAU,EAClB,OAAO,EAAE,CAAC,CAAC,UAAU,EACrB,KAAK,EAAE,CAAC,CAAC,UAAU,GAClB,IAAI,CAyBN"}

package/dist/jsx/svg.d.ts

@@ -5,7 +5,7 @@
  * imported icon component can return `<path>` without receiving a runtime
  * namespace argument through the component ABI.
  */
-import * as t from '@babel/types';
+import type * as t from '../ast/compiler-types';
 export declare function isSvgElement(tag: string, parentIsSvg: boolean): boolean;
-export declare function createElementExpression(tag: string, svg: boolean): t.CallExpression;
+export declare function createElementExpression(document: t.Expression, tag: string, svg: boolean): t.CallExpression;
 //# sourceMappingURL=svg.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"svg.d.ts","sourceRoot":"","sources":["../../src/jsx/svg.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAgElC,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,OAAO,CAEvE;AAED,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,OAAO,GACX,CAAC,CAAC,cAAc,CAgBlB"}
+{"version":3,"file":"svg.d.ts","sourceRoot":"","sources":["../../src/jsx/svg.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAkEhD,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,OAAO,CAEvE;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,CAAC,CAAC,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,OAAO,GACX,CAAC,CAAC,cAAc,CAgBlB"}

package/dist/jsx-types.d.ts

@@ -0,0 +1,42 @@
+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;
+            suspend?: true;
+            route?: RouteValue;
+            'route-to'?: RouteValue | RouteToDestination;
+        }
+        interface IntrinsicElements {
+            [name: string]: {
+                [attribute: string]: unknown;
+            };
+        }
+    }
+}
+//# 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,OAAO,CAAC,EAAE,IAAI,CAAC;YACf,KAAK,CAAC,EAAE,UAAU,CAAC;YACnB,UAAU,CAAC,EAAE,UAAU,GAAG,kBAAkB,CAAC;SAC9C;QAED,UAAU,iBAAiB;YACzB,CAAC,IAAI,EAAE,MAAM,GAAG;gBACd,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;aAC9B,CAAC;SACH;KACF;CACF"}

package/dist/lifecycle.d.ts

@@ -6,19 +6,23 @@
  * deliberately API-agnostic: any function passed from factory setup receives
  * its own normal-exit invalidation when it writes reactive state.
  */
-import type { NodePath } from '@babel/traverse';
-import * as t from '@babel/types';
+import type * as t from './ast/compiler-types';
 import { type Ctx, type RowCtx } from './context';
+type ComponentPath = Ctx['compPaths'] extends Map<string, infer TPath> ? TPath : never;
+interface ProgramContainer {
+    node: t.Program;
+    buildCodeFrameError(message: string): Error;
+}
 /**
  * Lower direct cleanup registrations and instrument callbacks retained by
  * setup calls. Callback liveness is automatic; cancellation remains explicit.
  */
-export declare function transformComponentLifecycle(ctx: Ctx, compPath: NodePath<t.FunctionDeclaration>, compName: string, factoryId: string, rowCtx?: RowCtx): void;
+export declare function transformComponentLifecycle(ctx: Ctx, compPath: ComponentPath, compName: string, factoryId: string, rowCtx?: RowCtx): void;
 /**
  * Instrument callbacks retained by module initialization. They have no
  * component owner, so writes route through canonical access-table keys.
  */
-export declare function transformProgramCallbacks(ctx: Ctx, programPath: NodePath<t.Program>): void;
+export declare function transformProgramCallbacks(ctx: Ctx, programPath: ProgramContainer): void;
 /**
  * Async module helpers own their normal-completion commit because callers
  * cannot represent writes that occur after the returned promise suspends.
@@ -27,5 +31,6 @@ export declare function transformProgramCallbacks(ctx: Ctx, programPath: NodePat
  */
 export declare function transformSharedAsyncHelpers(ctx: Ctx): void;
 /** Reject cleanup syntax outside a component instead of leaving a runtime trap. */
-export declare function rejectUnownedCleanup(programPath: NodePath<t.Program>): void;
+export declare function rejectUnownedCleanup(ctx: Ctx, programPath: ProgramContainer): void;
+export {};
 //# sourceMappingURL=lifecycle.d.ts.map

package/dist/lifecycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../src/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAc,KAAK,GAAG,EAAE,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AA0H9D;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EACzC,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,MAAM,CAAC,EAAE,MAAM,GACd,IAAI,CA4DN;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CA8BN;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAI1D;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAa3E"}
+{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../src/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,KAAK,CAAC,MAAM,sBAAsB,CAAC;AAG/C,OAAO,EAGL,KAAK,GAAG,EACR,KAAK,MAAM,EACZ,MAAM,WAAW,CAAC;AASnB,KAAK,aAAa,GAAG,GAAG,CAAC,WAAW,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,GAClE,KAAK,GACL,KAAK,CAAC;AAEV,UAAU,gBAAgB;IACxB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;IAChB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC7C;AAoID;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,MAAM,CAAC,EAAE,MAAM,GACd,IAAI,CA8FN;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,gBAAgB,GAC5B,IAAI,CAyCN;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAI1D;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,gBAAgB,GAC5B,IAAI,CAeN"}

package/dist/linker.d.ts

@@ -1,4 +1,6 @@
-import { type MemoDomOptions } from './context';
+import { type EstreeFrontend } from './ast';
+import { type CompilerSourceMap } from './compile';
+import { type MemoDomOptions, type ParameterWrite, type StateKind, type TransparentSourceMethod } 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 +12,59 @@ 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;
+    /** Parser router used for every module; the default selects by extension. */
+    frontend?: EstreeFrontend;
+}
+export interface CompiledComponentExport {
+    exported: string;
+    local: string;
+    listLightweight: boolean;
+}
+export interface CompiledStateExport {
+    exported: string;
+    kind: StateKind;
+    key: string;
+}
+export interface CompiledFunctionExport {
+    exported: string;
+    transparentSourceFactory?: boolean;
+    transparentSourceMethod?: TransparentSourceMethod;
+    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>;
+    css?: Record<string, string>;
+    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":"AAWA,OAAO,EAML,KAAK,cAAc,EAEpB,MAAM,OAAO,CAAC;AAEf,OAAO,EAGL,KAAK,iBAAiB,EACvB,MAAM,WAAW,CAAC;AAiBnB,OAAO,EAWL,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,uBAAuB,EAC7B,MAAM,WAAW,CAAC;AAqBnB,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;IAChC,6EAA6E;IAC7E,QAAQ,CAAC,EAAE,cAAc,CAAC;CAC3B;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,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;IAClD,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,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7B,eAAe,CAAC,EAAE,uBAAuB,CAAC;CAC3C;AA+1CD,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

@@ -1,4 +1,4 @@
-import type { Ctx } from '../context';
+import { type Ctx } from '../context';
 /**
  * Hoist calculated roots of structural `.map()` calls into generated const
  * derivations consumed by the existing R14/R7 pipeline. Method behavior and

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":"AAaA,OAAO,EAEL,KAAK,GAAG,EAET,MAAM,YAAY,CAAC;AAiCpB;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAuF7D"}

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

@@ -2,16 +2,24 @@
  * R7 list-site analysis. Emission remains separate from this source-shape
  * validation and deterministic identity planning.
  */
-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 * as t from '../ast/compiler-types';
+import { type BaseNode } from '../ast';
+import { type Ctx, type MapCallExpression } from '../context';
+interface ErrorPath {
+    buildCodeFrameError(message: string): Error;
+}
+interface NodeHolder {
+    node: BaseNode;
+}
+type RuntimeBindingPattern = t.Identifier | t.ObjectPattern | t.ArrayPattern;
 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 +45,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;
+export declare function containsJsx(input: BaseNode | NodeHolder): 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: ErrorPath, 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,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAGhD,OAAO,EAIL,KAAK,QAAQ,EACd,MAAM,QAAQ,CAAC;AAGhB,OAAO,EAIL,KAAK,GAAG,EACR,KAAK,iBAAiB,EACvB,MAAM,YAAY,CAAC;AASpB,UAAU,SAAS;IACjB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC7C;AACD,UAAU,UAAU;IAClB,IAAI,EAAE,QAAQ,CAAC;CAChB;AACD,KAAK,qBAAqB,GACtB,CAAC,CAAC,UAAU,GACZ,CAAC,CAAC,aAAa,GACf,CAAC,CAAC,YAAY,CAAC;AACnB,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;AAoED,wEAAwE;AACxE,wBAAgB,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,iBAAiB,GAAG,IAAI,CAiBnE;AAED,kCAAkC;AAClC,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,CAajE;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,SAAS,EAClB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAsCT"}

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

@@ -1,6 +1,15 @@
-import * as t from '@babel/types';
+import type { BaseNode } from '../ast';
 /** Remove transparent TypeScript wrappers around a collection expression. */
-export declare function transparentListExpression(expression: t.Expression): t.Expression;
+export declare function transparentListExpression<TExpression extends BaseNode>(expression: TExpression): TExpression;
 /** A literal primitive list has stable value identity and no mutable source. */
-export declare function isStaticPrimitiveList(expression: t.Expression): boolean;
+export declare function isStaticPrimitiveList(expression: BaseNode): boolean;
+/**
+ * A structural method chain rooted at a primitive array literal. The chain
+ * shape is recognized structurally: any method name is accepted, because
+ * the value is fixed at creation regardless of how it was computed. Every
+ * argument must be self-contained (inline functions or literals): a
+ * reference to an outside binding would make the chain's result depend on
+ * mutable state, which requires the reactive derivation path instead.
+ */
+export declare function isStaticListExpression(expression: BaseNode, seen?: Set<BaseNode>): boolean;
 //# sourceMappingURL=source-shapes.d.ts.map

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,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAGvC,6EAA6E;AAC7E,wBAAgB,yBAAyB,CAAC,WAAW,SAAS,QAAQ,EACpE,UAAU,EAAE,WAAW,GACtB,WAAW,CAEb;AA+CD,gFAAgF;AAChF,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,QAAQ,GAAG,OAAO,CAanE;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,QAAQ,EACpB,IAAI,GAAE,GAAG,CAAC,QAAQ,CAAa,GAC9B,OAAO,CAyBT"}

package/dist/lists/static-derived.d.ts

@@ -0,0 +1,37 @@
+/**
+ * static-derived.ts - frozen derived values over static list literals.
+ *
+ * A `const` whose initializer is a static list expression (rooted at a
+ * primitive array literal through self-contained transforms) is a FROZEN
+ * derived value: it can never change, so any later mutation attempt is a
+ * compile error - mutating it could never be observed by reactivity.
+ *
+ * Because the value never changes, the rule applies at module scope as well
+ * as component scope.
+ */
+import type { BaseNode } from '../ast';
+import type { Ctx } from '../context';
+/**
+ * Find the initializer of a binding declared at module scope or in the
+ * component body.
+ */
+export declare function findConstInitializer(ctx: Ctx, name: string, compName?: string | null): BaseNode | null;
+/**
+ * True when the initializer is a DERIVED chain: at least one method transform
+ * applied to a primitive array literal root (`[...].filter(fn)`). A plain
+ * array literal (`[...]`) is NOT derived - it is ordinary reactive state.
+ */
+export declare function isStaticDerivedChain(expression: BaseNode): boolean;
+/**
+ * True when `name` is bound to a static-derived value: a method chain rooted
+ * at a primitive array literal. The DECLARATION KEYWORD is irrelevant -
+ * `let arr = [...].filter(fn)` is exactly as frozen as the const form,
+ * because the initializer derives from a static source that can never
+ * change. Mutation attempts on such bindings are compile errors.
+ *
+ * Reactive machinery keeps priority for everything else: plain array
+ * literals remain reactive state, and state-derived/prop/opaque bindings
+ * follow their own rules.
+ */
+export declare function isStaticDerivedListConst(ctx: Ctx, name: string, compName?: string | null): boolean;
+//# sourceMappingURL=static-derived.d.ts.map

package/dist/lists/static-derived.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-derived.d.ts","sourceRoot":"","sources":["../../src/lists/static-derived.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACvC,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AA4BtC;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,GACvB,QAAQ,GAAG,IAAI,CA4BjB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,QAAQ,GAAG,OAAO,CAOlE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,GACvB,OAAO,CAIT"}

package/dist/lists/targeted-refresh.d.ts

@@ -1,8 +1,15 @@
-import type { MapSite } from './map-site';
+import { type BaseNode } from '../ast';
+interface TargetedListSite {
+    jsx: BaseNode | null;
+    keyExpr: BaseNode | null;
+    sourceLocal: boolean;
+    sourceExpr: BaseNode;
+}
 /**
  * Finds instance-state values that affect exactly the row keyed by that value.
  * Every visual reference must be an equality comparison with the authored key;
  * mixed/general uses are rejected and retain full-list reconciliation.
  */
-export declare function findTargetedListDependencies(site: MapSite, instanceState: ReadonlySet<string>): string[];
+export declare function findTargetedListDependencies(site: TargetedListSite, instanceState: ReadonlySet<string>): string[];
+export {};
 //# sourceMappingURL=targeted-refresh.d.ts.map

package/dist/lists/targeted-refresh.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"targeted-refresh.d.ts","sourceRoot":"","sources":["../../src/lists/targeted-refresh.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAoC1C;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,OAAO,EACb,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,GACjC,MAAM,EAAE,CAqCV"}
+{"version":3,"file":"targeted-refresh.d.ts","sourceRoot":"","sources":["../../src/lists/targeted-refresh.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,QAAQ,EAEd,MAAM,QAAQ,CAAC;AAsBhB,UAAU,gBAAgB;IACxB,GAAG,EAAE,QAAQ,GAAG,IAAI,CAAC;IACrB,OAAO,EAAE,QAAQ,GAAG,IAAI,CAAC;IACzB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,QAAQ,CAAC;CACtB;AAoHD;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,gBAAgB,EACtB,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,GACjC,MAAM,EAAE,CAqCV"}

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/module-control-flow.d.ts

@@ -1,8 +1,9 @@
-/**
- * Pure exhaustive module-level if/switch derivations.
- */
-import type { NodePath } from '@babel/traverse';
-import * as t from '@babel/types';
+import type { BaseNode } from './ast';
 import { type ComputedAnalysis, type Ctx } from './context';
-export declare function scanModuleControlFlow(ctx: Ctx, programPath: NodePath<t.Program>, analyze: (ctx: Ctx, expression: t.Node) => ComputedAnalysis): void;
+interface ProgramContainer {
+    node: BaseNode;
+    buildCodeFrameError(message: string): Error;
+}
+export declare function scanModuleControlFlow(ctx: Ctx, programPath: ProgramContainer, analyze: (ctx: Ctx, expression: BaseNode) => ComputedAnalysis): void;
+export {};
 //# sourceMappingURL=module-control-flow.d.ts.map

package/dist/module-control-flow.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"module-control-flow.d.ts","sourceRoot":"","sources":["../src/module-control-flow.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,GAAG,EACT,MAAM,WAAW,CAAC;AA6GnB,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAChC,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,KAAK,gBAAgB,GAC1D,IAAI,CA6FN"}
+{"version":3,"file":"module-control-flow.d.ts","sourceRoot":"","sources":["../src/module-control-flow.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AACtC,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,GAAG,EACT,MAAM,WAAW,CAAC;AAEnB,UAAU,gBAAgB;IACxB,IAAI,EAAE,QAAQ,CAAC;IACf,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CAC7C;AAmHD,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,gBAAgB,EAC7B,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,KAAK,gBAAgB,GAC5D,IAAI,CAyFN"}