@memoized-dom/compiler 0.0.1

package/dist/components/ref-props.d.ts

@@ -0,0 +1,11 @@
+/**
+ * components/ref-props.ts - discover ref adapters crossing component APIs.
+ *
+ * A prop becomes a ref prop only when the receiving component authors it in
+ * `ref={...}`. Callers can then turn assignable JSX sinks into callbacks
+ * before the ordinary props ABI reads their values.
+ */
+import type { Ctx } from '../context';
+/** Mark every declared prop that a component forwards into a JSX ref slot. */
+export declare function scanRefProps(ctx: Ctx): void;
+//# sourceMappingURL=ref-props.d.ts.map

package/dist/components/ref-props.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref-props.d.ts","sourceRoot":"","sources":["../../src/components/ref-props.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAItC,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAmB3C"}

package/dist/components/render-callbacks.d.ts

@@ -0,0 +1,19 @@
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import type { Ctx } from '../context';
+export interface RenderCallbackInvocation {
+    propName: string;
+    target: t.Expression;
+    arguments: t.Expression[];
+}
+/** Is this JSX element the returned root of a declared callback prop value? */
+export declare function isRenderCallbackJsxRoot(ctx: Ctx, element: NodePath<t.JSXElement>): boolean;
+/** Match `items.map((item, index) => renderItem(item, index))`. */
+export declare function matchRenderCallbackMap(ctx: Ctx, componentName: string, call: t.CallExpression): RenderCallbackInvocation | null;
+/**
+ * Discover structural callback props before map-site analysis. No callback
+ * method names or runtime JSX values are involved: the callee declares the
+ * contract by directly returning a prop invocation from a structural map.
+ */
+export declare function scanRenderCallbacks(ctx: Ctx): void;
+//# sourceMappingURL=render-callbacks.d.ts.map

package/dist/components/render-callbacks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-callbacks.d.ts","sourceRoot":"","sources":["../../src/components/render-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAOtC,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;CAC3B;AAED,+EAA+E;AAC/E,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,GAC9B,OAAO,CA2CT;AAoDD,mEAAmE;AACnE,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,GAAG,EACR,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,CAAC,CAAC,cAAc,GACrB,wBAAwB,GAAG,IAAI,CA4BjC;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAmBlD"}

package/dist/components/render-functions.d.ts

@@ -0,0 +1,4 @@
+import { type Ctx } from '../context';
+/** Expand every locally resolvable JSX-returning call inside components. */
+export declare function normalizeRenderFunctions(ctx: Ctx): void;
+//# sourceMappingURL=render-functions.d.ts.map

package/dist/components/render-functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-functions.d.ts","sourceRoot":"","sources":["../../src/components/render-functions.ts"],"names":[],"mappings":"AASA,OAAO,EAAc,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAgclD,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAgEvD"}

package/dist/components/render-prelude.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Ordered replay for pure component-body calculations.
+ *
+ * Const derivations and pure if/switch assignments share one source order.
+ * Partial controls restore their initializer-backed fallbacks before replay.
+ * Dirty reasons guard adjacent calculations with equal dependencies; a
+ * reason-less update conservatively runs every calculation.
+ */
+import * as t from '@babel/types';
+import type { Ctx } from '../context';
+import { type ControlFlowDerivation, type LocalDerivation } from './props';
+export declare function buildRenderPreludeReplay(ctx: Ctx, component: string, reasonVar: string | null, body: t.Statement[], locals: LocalDerivation[], controls: ControlFlowDerivation[]): t.BlockStatement;
+//# sourceMappingURL=render-prelude.d.ts.map

package/dist/components/render-prelude.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-prelude.d.ts","sourceRoot":"","sources":["../../src/components/render-prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACrB,MAAM,SAAS,CAAC;AAejB,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,GAAG,EACR,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,EACnB,MAAM,EAAE,eAAe,EAAE,EACzB,QAAQ,EAAE,qBAAqB,EAAE,GAChC,CAAC,CAAC,cAAc,CAqElB"}

package/dist/components/return-plan.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Normalize supported JSX return control flow into one stable branch picker.
+ */
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import type { JsxNode } from '../jsx/children';
+export interface ComponentReturnPlan {
+    /** Branch picker passed directly to createCondRegion(). */
+    pick: t.ArrowFunctionExpression;
+    branches: JsxNode[];
+    /** Top-level source statements replaced by the structural region. */
+    statements: Set<t.Statement>;
+}
+export interface DirectComponentReturn {
+    jsx: JsxNode;
+    statement: t.ReturnStatement;
+}
+export type ComponentReturns = DirectComponentReturn | ComponentReturnPlan;
+/**
+ * Supported structural forms:
+ * - one direct JSX return
+ * - a contiguous tail chain of `if (test) return <JSX>` plus final return
+ * - a terminal if/else whose two arms return JSX
+ * - a terminal exhaustive switch whose cases return JSX
+ */
+export declare function analyzeComponentReturns(path: NodePath<t.FunctionDeclaration>, name: string): ComponentReturns;
+//# sourceMappingURL=return-plan.d.ts.map

package/dist/components/return-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"return-plan.d.ts","sourceRoot":"","sources":["../../src/components/return-plan.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,WAAW,mBAAmB;IAClC,2DAA2D;IAC3D,IAAI,EAAE,CAAC,CAAC,uBAAuB,CAAC;IAChC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,qEAAqE;IACrE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,GAAG,EAAE,OAAO,CAAC;IACb,SAAS,EAAE,CAAC,CAAC,eAAe,CAAC;CAC9B;AAED,MAAM,MAAM,gBAAgB,GAAG,qBAAqB,GAAG,mBAAmB,CAAC;AAqH3E;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EACrC,IAAI,EAAE,MAAM,GACX,gBAAgB,CA2FlB"}

package/dist/conds.d.ts

@@ -0,0 +1,21 @@
+/**
+ * conds.ts - conditional-site analysis.
+ *
+ * Direct JSX-child ternaries and logical conditions become anchored regions.
+ * Right-associated ternary chains flatten into one multi-branch region.
+ */
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import type { JsxNode } from './jsx/children';
+export interface CondSite {
+    /** Expression selecting an index in branches. */
+    pickExpr: t.Expression;
+    branches: (JsxNode | null)[];
+    /** `when0`, `when1`, ... per owner, source order. */
+    suffix: string;
+}
+export declare function matchCond(expr: t.Node): t.ConditionalExpression | t.LogicalExpression | null;
+export declare function analyzeCondSite(expr: t.ConditionalExpression | t.LogicalExpression, errorAt: Pick<NodePath, 'buildCodeFrameError'>, usedConds: {
+    count: number;
+}): CondSite;
+//# sourceMappingURL=conds.d.ts.map

package/dist/conds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conds.d.ts","sourceRoot":"","sources":["../src/conds.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAGlC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE9C,MAAM,WAAW,QAAQ;IACvB,iDAAiD;IACjD,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC;IACvB,QAAQ,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;IAC7B,qDAAqD;IACrD,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,SAAS,CACvB,IAAI,EAAE,CAAC,CAAC,IAAI,GACX,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC,iBAAiB,GAAG,IAAI,CAStD;AAsCD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC,iBAAiB,EACnD,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,EAC9C,SAAS,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3B,QAAQ,CAiEV"}

package/dist/context/ast.d.ts

@@ -0,0 +1,51 @@
+import * as t from '@babel/types';
+import type { Ctx, StateKind } from './model';
+/** Register a state binding while preserving a linker-provided import entry. */
+export declare function registerState(ctx: Ctx, name: string, kind: StateKind): void;
+/** Convert a binding-relative analysis key to its defining module identity. */
+export declare function canonicalStateKey(ctx: Ctx, key: string): string;
+/** Hoist and dedupe a canonical write-set constant. */
+export declare function freshWriteConst(ctx: Ctx, writes: readonly string[]): t.Identifier;
+/** Hoist and dedupe a sorted array used to batch local dirty reasons. */
+export declare function freshReasonConst(ctx: Ctx, reasons: readonly number[]): t.Identifier;
+/** Static property-path key for `a.b.c`, or null for a dynamic path. */
+export declare function memberKey(node: t.MemberExpression): string | null;
+/** Reactive list-row context used during event-handler analysis. */
+export interface RowCtx {
+    itemParam: string;
+    itemPath: string[];
+    rowIdVar: string;
+    refreshVar?: string;
+    keyPath: string[] | null;
+    sourceKey: string;
+    sourceLocal?: boolean;
+    ownerIdVar?: string;
+}
+/** Extract a row key path relative to its item parameter. */
+export declare function keyPathOf(keyExpr: t.Expression | null, itemParam: string): string[] | null;
+/** Whether an item-relative write can alter the authored row key. */
+export declare function writeTouchesKey(writtenSegments: string[], keyPath: string[] | null): boolean;
+export interface ComputedAnalysis {
+    reads: Set<string>;
+    impure: boolean;
+    reason?: string;
+}
+/** Root identifier of a member chain, including dynamic member segments. */
+export declare function memberRootName(node: t.MemberExpression): string | null;
+/** Whether an initializer is a statically-shaped plain object store. */
+export declare function isStoreObject(init: t.Expression | null | undefined): boolean;
+/** Whether a const initializer creates a mutable object root. */
+export declare function isConstObjectState(init: t.Expression | null | undefined): boolean;
+/** Unwrap a string or expression-container JSX attribute value. */
+export declare function attrExpr(value: t.JSXAttribute['value']): t.Expression | null;
+/** Whether an expression references any reactive binding in its scope model. */
+export declare function exprReadsState(ctx: Ctx, expression: t.Node, componentName?: string): boolean;
+/** Whether an expression references state owned by one component instance. */
+export declare function exprReadsInstanceState(ctx: Ctx, expression: t.Node, componentName: string): boolean;
+/** Walk raw AST nodes; returning false skips a node's children. */
+export declare function walkNodes(root: t.Node, visit: (node: t.Node, parent: t.Node | null) => void | boolean): void;
+/** Whether a raw AST subtree contains JSX. */
+export declare function nodeHasJsx(root: t.Node): boolean;
+/** Root state identifiers referenced by a raw AST subtree. */
+export declare function collectStateIds(ctx: Ctx, root: t.Node): Set<string>;
+//# sourceMappingURL=ast.d.ts.map

package/dist/context/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/context/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,OAAO,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAE9C,gFAAgF;AAChF,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,GAAG,IAAI,CAK3E;AAED,+EAA+E;AAC/E,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAM/D;AAED,uDAAuD;AACvD,wBAAgB,eAAe,CAC7B,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,CAAC,CAAC,UAAU,CAoBd;AAED,yEAAyE;AACzE,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,CAAC,CAAC,UAAU,CAqBd;AAED,wEAAwE;AACxE,wBAAgB,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,gBAAgB,GAAG,MAAM,GAAG,IAAI,CAuBjE;AAED,oEAAoE;AACpE,MAAM,WAAW,MAAM;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,6DAA6D;AAC7D,wBAAgB,SAAS,CACvB,OAAO,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,EAC5B,SAAS,EAAE,MAAM,GAChB,MAAM,EAAE,GAAG,IAAI,CAiBjB;AAED,qEAAqE;AACrE,wBAAgB,eAAe,CAC7B,eAAe,EAAE,MAAM,EAAE,EACzB,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,GACvB,OAAO,CAOT;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,gBAAgB,GAAG,MAAM,GAAG,IAAI,CAkBtE;AAED,wEAAwE;AACxE,wBAAgB,aAAa,CAC3B,IAAI,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,GAAG,SAAS,GACpC,OAAO,CAQT;AAED,iEAAiE;AACjE,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,GAAG,SAAS,GACpC,OAAO,CAGT;AAED,mEAAmE;AACnE,wBAAgB,QAAQ,CACtB,KAAK,EAAE,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,GAC7B,CAAC,CAAC,UAAU,GAAG,IAAI,CASrB;AAED,gFAAgF;AAChF,wBAAgB,cAAc,CAC5B,GAAG,EAAE,GAAG,EACR,UAAU,EAAE,CAAC,CAAC,IAAI,EAClB,aAAa,CAAC,EAAE,MAAM,GACrB,OAAO,CAyCT;AAED,8EAA8E;AAC9E,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,GAAG,EACR,UAAU,EAAE,CAAC,CAAC,IAAI,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAiBT;AAED,mEAAmE;AACnE,wBAAgB,SAAS,CACvB,IAAI,EAAE,CAAC,CAAC,IAAI,EACZ,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,OAAO,GAC7D,IAAI,CAiBN;AAED,8CAA8C;AAC9C,wBAAgB,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,OAAO,CAMhD;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAcnE"}

package/dist/context/model.d.ts

@@ -0,0 +1,309 @@
+/**
+ * context.ts — shared compiler state and pure AST helpers.
+ *
+ * Every module (analysis / handlers / lists / emit) takes the same Ctx, so
+ * the plugin shell in plugin.ts stays a thin visitor wiring layer. One Ctx
+ * is created per compiled module.
+ */
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import type { ComponentPropsPlan, ControlFlowDerivation, LocalDerivation } from '../components/props';
+import type { GeneratedIdentifiers } from '../identifiers';
+export interface MemoDomOptions {
+    /** Module specifier compiled output imports the runtime from. */
+    runtimePath?: string;
+    /** Entity id of the root component. */
+    rootId?: string;
+    /**
+     * Stable identity for this source module. Defaults to `./component.tsx`.
+     * Module-state keys are always `<moduleId>#<binding>[.<path>]`.
+     */
+    moduleId?: string;
+    /**
+     * Resolved import metadata supplied by compileModules(). This is public for
+     * bundler integrations that perform their own graph/link pass.
+     */
+    linkedImports?: Record<string, LinkedImport>;
+    /** Caller-derived runtime placements for components declared in this file. */
+    linkedComponentPaths?: Record<string, string[]>;
+    /** Cross-file keyed-row uses for components declared in this file. */
+    linkedComponentRows?: Record<string, LinkedComponentRowUse[]>;
+    /** Caller-resolved state boundaries for each declaration's named props. */
+    linkedComponentPropSources?: Record<string, Record<string, LinkedComponentPropSource>>;
+    /** Linker-resolved render-slot props for declarations in this module. */
+    linkedComponentRenderProps?: Record<string, string[]>;
+}
+export interface LinkedStateImport {
+    type: 'state';
+    kind: StateKind;
+    /** Canonical root key of the defining export (`./state.ts#store`). */
+    key: string;
+    /** Finite intrinsic-tag identities declared by a string-literal union. */
+    tagCandidates?: string[];
+    /** Finite component identities reachable through this state/registry. */
+    componentCandidates?: LinkedDynamicComponentCandidate[];
+}
+export interface LinkedFunctionImport {
+    type: 'function';
+    /** Finite intrinsic-tag identities declared by the helper return type. */
+    tagCandidates?: string[];
+    /** Finite component identities declared by helper returns. */
+    componentCandidates?: LinkedDynamicComponentCandidate[];
+    reads: string[];
+    /** Directly proven state writes. */
+    writes: string[];
+    /** Conservative effects bounded to serialized state roots. */
+    boundedWrites: string[];
+    /** Effects on arguments, expressed as paths relative to each argument. */
+    parameterWrites: ParameterWrite[];
+    /** Effects may extend beyond every known root and argument. */
+    unbounded: boolean;
+}
+export interface LinkedComponentImport {
+    type: 'component';
+    /** Canonical declaration identity (`./Row.tsx#Row`). */
+    key: string;
+    /** Declared positional names or closed object-pattern property names. */
+    props: string[];
+    objectProps: boolean;
+    /** Generic object bindings and object rest accept additional properties. */
+    acceptsUnknownProps: boolean;
+    hasWholeDefault: boolean;
+    /** Whether keyed-row compilation can use the allocation-free row ABI. */
+    listLightweight: boolean;
+    /** Host event attributes can use a caller-owned delegated list root. */
+    delegatedEvents?: boolean;
+    /** Props consumed as compiler-owned mount slots. */
+    renderProps?: string[];
+    /** Props consumed as caller-owned structural row factories. */
+    renderCallbacks?: string[];
+    /** Props consumed as DOM ref adapters. */
+    refProps?: string[];
+    /** Canonical module dependencies read by this component and descendants. */
+    subtreeReads?: string[];
+}
+export interface LinkedDynamicComponentCandidate extends Omit<LinkedComponentImport, 'type'> {
+    /** Module specifier synthesized into the consuming module. */
+    source: string;
+    /** Named export imported from `source`. */
+    imported: string;
+}
+export interface LinkedComponentRowUse {
+    /** Key path relative to the row callback parameter, or null. */
+    keyPath: string[] | null;
+    /** Canonical module key or binding-relative instance key of the source. */
+    sourceKey: string;
+    /** The reactive collection source belongs to one caller component instance. */
+    sourceLocal: boolean;
+}
+export interface LinkedComponentPropSource {
+    /** Canonical state boundaries that may supply this prop. */
+    keys: string[];
+    /** At least one call site cannot be bounded to canonical module state. */
+    rootFallback: boolean;
+}
+export type LinkedImport = LinkedStateImport | LinkedFunctionImport | LinkedComponentImport;
+export interface ParameterWrite {
+    index: number;
+    path: string[];
+}
+/**
+ * Reactive-state classification (the two — three — legal ways JS state changes):
+ *   'let'   — rebindable binding; writes are assignments/updates/mutations
+ *   'store' — const plain-object literal; writes are property mutations (path-keyed)
+ *   'const' - constructor-created object or array; mutations are allowed,
+ *             rebinding is a compile error (JS would TypeError at runtime)
+ */
+export type StateKind = 'let' | 'store' | 'const' | 'computed';
+export interface CompInfo {
+    /**
+     * Names of ALL parent components (a shared child has several). Empty for
+     * the root. M5.3: was a single `parent` — multi-parent components misrouted.
+     */
+    parents: Set<string>;
+    /** Number of host JSX elements (diagnostic / future suffix paths). */
+    jsxCount: number;
+}
+/** A list site owned by a component: region id-prefix is '<path(owner)>/<suffix>'. */
+export interface SiteRef {
+    owner: string;
+    suffix: string;
+    /** R11: row-analysis data for item-write routing in listed components. */
+    itemParam?: string;
+    keyExpr?: t.Expression | null;
+    sourceKey?: string;
+    /** Instance sources invalidate their owner directly, never through a table. */
+    sourceLocal?: boolean;
+}
+/** Module-level helper function summary (M5.3 interprocedural analysis). */
+export interface FnSummary {
+    reads: Set<string>;
+    /** Directly proven state writes. */
+    writes: Set<string>;
+    /** Conservative effects bounded to module-state roots. */
+    boundedWrites: Set<string>;
+    /** Effects on arguments, expressed as paths relative to each argument. */
+    parameterWrites: ParameterWrite[];
+    /** True when effects cannot be bounded to known roots or arguments. */
+    unbounded: boolean;
+}
+/** One compiler-owned reactive side effect declared in a component body. */
+export interface EffectSite {
+    /** Stable source-order suffix within the owning component. */
+    index: number;
+    /** Source statement removed from ordinary factory initialization. */
+    statement: t.Statement;
+    /** Callback registered with the runtime after DOM creation. */
+    callback: t.Expression;
+    /** Canonical or binding-relative module state read by the callback. */
+    moduleReads: Set<string>;
+    /** Instance state/prop roots that can change callback observations. */
+    localReads: Set<string>;
+    /** Instance local derivations read by the callback. */
+    localDerivationReads: Set<string>;
+    /** Reactive activation gate for a conditional effect. */
+    condition: t.Expression | null;
+    conditionModuleReads: Set<string>;
+    conditionLocalReads: Set<string>;
+    conditionLocalDerivationReads: Set<string>;
+}
+/** One singleton reactive effect declared directly at module scope. */
+export interface ModuleEffectSite {
+    index: number;
+    statement: t.Statement;
+    callback: t.Expression;
+    moduleReads: Set<string>;
+    condition: t.Expression | null;
+    conditionModuleReads: Set<string>;
+    entityId: string;
+}
+export interface ModuleControlFlowDerivation {
+    statement: t.IfStatement | t.SwitchStatement;
+    bindings: string[];
+    sources: string[];
+    entityId: string;
+}
+export type HelperPath = NodePath<t.FunctionDeclaration | t.ArrowFunctionExpression | t.FunctionExpression>;
+export interface Ctx {
+    runtimePath: string;
+    rootId: string;
+    moduleId: string;
+    state: Map<string, StateKind>;
+    /** Local binding name -> canonical state root. */
+    stateKeys: Map<string, string>;
+    /** Finite intrinsic-tag identities proven by state type annotations. */
+    stateTagCandidates: Map<string, string[]>;
+    functionTagCandidates: Map<string, string[]>;
+    stateComponentCandidates: Map<string, string[]>;
+    functionComponentCandidates: Map<string, string[]>;
+    linkedDynamicComponentCandidates: Map<string, LinkedDynamicComponentCandidate[]>;
+    /** Imported ES bindings cannot be rebound, even when their export is a `let`. */
+    importedState: Set<string>;
+    /** Linked summaries for imported functions and conservative external calls. */
+    importedFunctions: Map<string, FnSummary>;
+    importedComponents: Map<string, LinkedComponentImport>;
+    /** Graph-linked placements for declarations in this module. */
+    linkedComponentPaths: Map<string, string[]>;
+    /** Graph-linked keyed-row modes for declarations in this module. */
+    linkedComponentRows: Map<string, LinkedComponentRowUse[]>;
+    linkedComponentPropSources: Map<string, Map<string, LinkedComponentPropSource>>;
+    linkedComponentRenderProps: Map<string, string[]>;
+    comps: Map<string, CompInfo>;
+    compPaths: Map<string, NodePath<t.FunctionDeclaration>>;
+    /** Top-level functions WITHOUT JSX — helpers, summarized for interprocedural effects. */
+    helpers: Map<string, HelperPath>;
+    /** JSX-returning functions expanded at local render call sites. */
+    jsxHelpers: Map<string, HelperPath>;
+    helperSummaries: Map<string, FnSummary>;
+    compReads: Map<string, Set<string>>;
+    /** parent comp → child comp → number of static JSX references. */
+    childRefCounts: Map<string, Map<string, number>>;
+    /**
+     * Lexical component owners that author one or more deferred render slots.
+     * Runtime mounts after the first receive a `$slot[n]` identity segment;
+     * access-table paths expand only for these owners.
+     */
+    renderSlotOwners: Set<string>;
+    /**
+     * Components used as list rows: child comp name → the sites ('<path(owner)>/<suffix>')
+     * at whose 'Row[k]' its instances live. A listed component is multi-instance:
+     * never locality-eligible.
+     */
+    listedSites: Map<string, SiteRef[]>;
+    /** Local declarations containing one or more host JSX event attributes. */
+    componentsWithHostEvents: Set<string>;
+    /** Components mounted lexically inside conditional branch factories. */
+    conditionalComponentSites: Map<string, SiteRef[]>;
+    /** Components mounted beneath keyed inline host-row factories. */
+    rowComponentSites: Map<string, SiteRef[]>;
+    /** Local and imported JSX call contracts, captured before params are rewritten. */
+    componentProps: Map<string, ComponentPropsPlan>;
+    /** Memoized isLightweightListedComponent results (the eligibility check traverses the AST). */
+    lightweightCache: Map<string, boolean>;
+    /** Inline-row reads: '<owner>/<suffix>' → site + state vars read in the row JSX. */
+    rowReads: Map<string, {
+        owner: string;
+        suffix: string;
+        vars: Set<string>;
+    }>;
+    /** Conditional-region reads (R8): '<owner>/when<n>' → site + vars read in condition+branches. */
+    condReads: Map<string, {
+        owner: string;
+        suffix: string;
+        vars: Set<string>;
+    }>;
+    /**
+     * R12: instance state — component name → top-level let/var names of its
+     * body. Instance state lives in the factory closure of ONE instance: it
+     * is readable only by that instance (it reaches children exclusively via
+     * props, which R10 re-pushes on every parent render; nested rows are
+     * resynced by the M5.5 reconcile machinery). Writes therefore need NO
+     * access-table routing — they are unconditionally `markDirty(id)`.
+     * Instance names SHADOW same-named module state inside their component.
+     */
+    instanceState: Map<string, Set<string>>;
+    /** Ordered local binding/pattern derivations replayed in the owner update. */
+    instanceDerivations: Map<string, LocalDerivation[]>;
+    /** Pure top-level if/switch calculations replayed in source order. */
+    instanceControlFlow: Map<string, ControlFlowDerivation[]>;
+    /** All bindings introduced by local derivations, for locality and writes. */
+    instanceDerivedBindings: Map<string, Set<string>>;
+    /** Numeric dirty reasons for exact local write roots. */
+    instanceReasonIds: Map<string, Map<string, number>>;
+    /** Components whose local dependency graph has skippable work. */
+    selectiveDerivationComponents: Set<string>;
+    /** Compiler-owned reactive effects, in source order per component. */
+    effects: Map<string, EffectSite[]>;
+    /** Module-owned singleton effects, in source order. */
+    moduleEffects: ModuleEffectSite[];
+    /**
+     * R13: auto-detected computeds — module-level `const x = <state
+     * derivation>` (detection by REFERENCE: any expression mentioning state).
+     * reads = the source state keys the derivation reads
+     * (root names for lets/computeds, dotted keys for stores). The compiler
+     * rewrites the declaration to a let + registers a depth-(-1) entity whose
+     * render recomputes and commits 'x' downstream ONLY when the value
+     * actually changed (computedChanged).
+     */
+    computeds: Map<string, {
+        reads: Set<string>;
+    }>;
+    /** Pure exhaustive module-level if/switch calculations. */
+    moduleControlFlow: ModuleControlFlowDerivation[];
+    header: t.Statement[];
+    readers: Map<string, Set<string>>;
+    writeConstCounter: number;
+    /** Dedupe table for hoisted write-set consts: joined writes → const name. */
+    writeConsts: Map<string, string>;
+    reasonConstCounter: number;
+    /** Dedupe table for hoisted multi-reason arrays. */
+    reasonConsts: Map<string, string>;
+    /** Function nodes whose handler analysis already ran (shared declarations). */
+    analyzedFunctions: WeakSet<t.Node>;
+    /** Whether a shared handler already emits a commit in its event scope. */
+    handlerHasRootCommit: WeakMap<t.Node, boolean>;
+    /** Compiler-wide allocator initialized from the original Program scope. */
+    identifiers: GeneratedIdentifiers | null;
+}
+export declare function createCtx(opts?: MemoDomOptions): Ctx;
+//# sourceMappingURL=model.d.ts.map

package/dist/context/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/context/model.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,EACV,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE3D,MAAM,WAAW,cAAc;IAC7B,iEAAiE;IACjE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uCAAuC;IACvC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7C,8EAA8E;IAC9E,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAChD,sEAAsE;IACtE,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC9D,2EAA2E;IAC3E,0BAA0B,CAAC,EAAE,MAAM,CACjC,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAC1C,CAAC;IACF,yEAAyE;IACzE,0BAA0B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,SAAS,CAAC;IAChB,sEAAsE;IACtE,GAAG,EAAE,MAAM,CAAC;IACZ,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,yEAAyE;IACzE,mBAAmB,CAAC,EAAE,+BAA+B,EAAE,CAAC;CACzD;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,UAAU,CAAC;IACjB,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,8DAA8D;IAC9D,mBAAmB,CAAC,EAAE,+BAA+B,EAAE,CAAC;IACxD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oCAAoC;IACpC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,0EAA0E;IAC1E,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,+DAA+D;IAC/D,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,WAAW,CAAC;IAClB,wDAAwD;IACxD,GAAG,EAAE,MAAM,CAAC;IACZ,yEAAyE;IACzE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,WAAW,EAAE,OAAO,CAAC;IACrB,4EAA4E;IAC5E,mBAAmB,EAAE,OAAO,CAAC;IAC7B,eAAe,EAAE,OAAO,CAAC;IACzB,yEAAyE;IACzE,eAAe,EAAE,OAAO,CAAC;IACzB,wEAAwE;IACxE,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,oDAAoD;IACpD,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,+DAA+D;IAC/D,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,4EAA4E;IAC5E,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,+BACf,SAAQ,IAAI,CAAC,qBAAqB,EAAE,MAAM,CAAC;IAC3C,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,qBAAqB;IACpC,gEAAgE;IAChE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACzB,2EAA2E;IAC3E,SAAS,EAAE,MAAM,CAAC;IAClB,+EAA+E;IAC/E,WAAW,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,WAAW,yBAAyB;IACxC,4DAA4D;IAC5D,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0EAA0E;IAC1E,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,MAAM,YAAY,GACpB,iBAAiB,GACjB,oBAAoB,GACpB,qBAAqB,CAAC;AAE1B,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,CAAC;AAE/D,MAAM,WAAW,QAAQ;IACvB;;;OAGG;IACH,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrB,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,sFAAsF;AACtF,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,+EAA+E;IAC/E,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,4EAA4E;AAC5E,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,oCAAoC;IACpC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACpB,0DAA0D;IAC1D,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,0EAA0E;IAC1E,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,uEAAuE;IACvE,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,4EAA4E;AAC5E,MAAM,WAAW,UAAU;IACzB,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,qEAAqE;IACrE,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;IACvB,+DAA+D;IAC/D,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC;IACvB,uEAAuE;IACvE,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,uEAAuE;IACvE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,uDAAuD;IACvD,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,yDAAyD;IACzD,SAAS,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IAC/B,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,6BAA6B,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC5C;AAED,uEAAuE;AACvE,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;IACvB,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC;IACvB,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,SAAS,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IAC/B,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,2BAA2B;IAC1C,SAAS,EAAE,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,eAAe,CAAC;IAC7C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,UAAU,GAAG,QAAQ,CAC/B,CAAC,CAAC,mBAAmB,GAAG,CAAC,CAAC,uBAAuB,GAAG,CAAC,CAAC,kBAAkB,CACzE,CAAC;AAEF,MAAM,WAAW,GAAG;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IAGjB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC9B,kDAAkD;IAClD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,wEAAwE;IACxE,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1C,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7C,wBAAwB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAChD,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACnD,gCAAgC,EAAE,GAAG,CACnC,MAAM,EACN,+BAA+B,EAAE,CAClC,CAAC;IACF,iFAAiF;IACjF,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,+EAA+E;IAC/E,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1C,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IACvD,+DAA+D;IAC/D,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC5C,oEAAoE;IACpE,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC1D,0BAA0B,EAAE,GAAG,CAC7B,MAAM,EACN,GAAG,CAAC,MAAM,EAAE,yBAAyB,CAAC,CACvC,CAAC;IACF,0BAA0B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAClD,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7B,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACxD,yFAAyF;IACzF,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACjC,mEAAmE;IACnE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACpC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACxC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACpC,kEAAkE;IAClE,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACjD;;;;OAIG;IACH,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B;;;;OAIG;IACH,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACpC,2EAA2E;IAC3E,wBAAwB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,wEAAwE;IACxE,yBAAyB,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAClD,kEAAkE;IAClE,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1C,mFAAmF;IACnF,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAChD,+FAA+F;IAC/F,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,oFAAoF;IACpF,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC,CAAC;IAC5E,iGAAiG;IACjG,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC,CAAC;IAC7E;;;;;;;;OAQG;IACH,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,8EAA8E;IAC9E,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;IACpD,sEAAsE;IACtE,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC1D,6EAA6E;IAC7E,uBAAuB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAClD,yDAAyD;IACzD,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,kEAAkE;IAClE,6BAA6B,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,sEAAsE;IACtE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IACnC,uDAAuD;IACvD,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC;;;;;;;;OAQG;IACH,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC,CAAC;IAC/C,2DAA2D;IAC3D,iBAAiB,EAAE,2BAA2B,EAAE,CAAC;IAGjD,MAAM,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;IACtB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,6EAA6E;IAC7E,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,oDAAoD;IACpD,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,+EAA+E;IAC/E,iBAAiB,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnC,0EAA0E;IAC1E,oBAAoB,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,2EAA2E;IAC3E,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAAC;CAC1C;AAED,wBAAgB,SAAS,CAAC,IAAI,GAAE,cAAmB,GAAG,GAAG,CA8JxD"}

package/dist/context.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Stable facade for shared compiler context types and AST utilities.
+ *
+ * Keeping this module preserves existing imports while implementation details
+ * are grouped under context/.
+ */
+export * from './context/model';
+export * from './context/ast';
+//# sourceMappingURL=context.d.ts.map

package/dist/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC"}

package/dist/effects.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Compiler intrinsic `effect(() => ...)`.
+ *
+ * Effects are component-owned, statically subscribed callbacks. Their runtime
+ * entities execute only after render entities have drained, and own the latest
+ * teardown returned by the callback.
+ */
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import { type Ctx, type EffectSite } from './context';
+import type { EmitScope } from './emission/scope';
+/**
+ * Discover and validate direct component-body effect statements.
+ */
+export declare function scanEffects(ctx: Ctx, programPath: NodePath<t.Program>): void;
+/**
+ * Dirty local/prop-dependent effect entities after the owner's DOM update.
+ */
+export declare function buildLocalEffectInvalidations(ctx: Ctx, component: string, factoryId: string, reasonVar: string | null, sites: EffectSite[], scope?: EmitScope): t.Statement;
+/** Runtime registrations emitted after the owner's DOM creation statements. */
+export declare function buildEffectRegistrations(ctx: Ctx, factoryId: string, sites: EffectSite[]): t.Statement[];
+/** Lower direct module effects to stable singleton registrations. */
+export declare function rewriteModuleEffects(ctx: Ctx, programPath: NodePath<t.Program>): void;
+/** Reject effect syntax that was not consumed by component emission. */
+export declare function rejectUnownedEffects(programPath: NodePath<t.Program>): void;
+//# sourceMappingURL=effects.d.ts.map

package/dist/effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAIL,KAAK,GAAG,EACR,KAAK,UAAU,EAEhB,MAAM,WAAW,CAAC;AAInB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AA6flD;;GAEG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CAuFN;AAoDD;;GAEG;AACH,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,GAAG,EACR,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,KAAK,EAAE,UAAU,EAAE,EACnB,KAAK,CAAC,EAAE,SAAS,GAChB,CAAC,CAAC,SAAS,CAkGb;AAED,+EAA+E;AAC/E,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,GAAG,EACR,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,UAAU,EAAE,GAClB,CAAC,CAAC,SAAS,EAAE,CA0Bf;AASD,qEAAqE;AACrE,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CA+DN;AAED,wEAAwE;AACxE,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAC/B,IAAI,CAUN"}

package/dist/emission/component.d.ts

@@ -0,0 +1,12 @@
+/**
+ * emission/component.ts - component source functions to runtime factories.
+ *
+ * This emitter owns the component factory ABI, prop and local-derivation
+ * replay order, lifecycle registration, and listed-row identity. DOM and
+ * structural-region creation remain in emit.ts.
+ */
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import { type Ctx } from '../context';
+export declare function transformComponent(ctx: Ctx, path: NodePath<t.FunctionDeclaration>, name: string): void;
+//# sourceMappingURL=component.d.ts.map

package/dist/emission/component.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"component.d.ts","sourceRoot":"","sources":["../../src/emission/component.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,OAAO,EAEL,KAAK,GAAG,EAET,MAAM,YAAY,CAAC;AAgCpB,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EACrC,IAAI,EAAE,MAAM,GACX,IAAI,CA2RN"}

package/dist/emission/conditional-region.d.ts

@@ -0,0 +1,13 @@
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import { type Ctx } from '../context';
+import type { JsxNode } from '../jsx/children';
+import { type EmitScope } from './scope';
+import type { NodeEmitter } from './node-emitter';
+/** Emit an anchored conditional region owned by a component or row. */
+export declare function emitConditionalRegion(ctx: Ctx, scope: EmitScope, expression: t.ConditionalExpression | t.LogicalExpression, parentElementVariable: string, componentName: string, componentPath: NodePath<t.FunctionDeclaration>, emitNode: NodeEmitter, inSvg?: boolean, ownerId?: t.Expression, forwardFromOwner?: boolean): void;
+/** Build a non-entity branch factory with isolated slots and cleanup. */
+export declare function buildConditionalBranchCreate(ctx: Ctx, jsx: JsxNode, componentName: string, componentPath: NodePath<t.FunctionDeclaration>, regionId: t.Expression, emitNode: NodeEmitter, inSvg?: boolean, ownerId?: t.Expression, allowConditions?: boolean, usedConditions?: {
+    count: number;
+}): t.ArrowFunctionExpression;
+//# sourceMappingURL=conditional-region.d.ts.map

package/dist/emission/conditional-region.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional-region.d.ts","sourceRoot":"","sources":["../../src/emission/conditional-region.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAEL,KAAK,GAAG,EACT,MAAM,YAAY,CAAC;AAGpB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAKL,KAAK,SAAS,EACf,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAElD,uEAAuE;AACvE,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC,iBAAiB,EACzD,qBAAqB,EAAE,MAAM,EAC7B,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAC9C,QAAQ,EAAE,WAAW,EACrB,KAAK,UAAQ,EACb,OAAO,GAAE,CAAC,CAAC,UAA4C,EACvD,gBAAgB,UAAQ,GACvB,IAAI,CA+EN;AAED,yEAAyE;AACzE,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,GAAG,EACR,GAAG,EAAE,OAAO,EACZ,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAC9C,QAAQ,EAAE,CAAC,CAAC,UAAU,EACtB,QAAQ,EAAE,WAAW,EACrB,KAAK,UAAQ,EACb,OAAO,GAAE,CAAC,CAAC,UAAqB,EAChC,eAAe,UAAQ,EACvB,cAAc,CAAC,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,GACjC,CAAC,CAAC,uBAAuB,CAwF3B"}

package/dist/emission/dom-template.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Lazy static DOM templates for allocation-free listed components.
+ *
+ * Listed rows are mounted many times. Their static host structure is built
+ * once, retained as a detached pristine node, and deep-cloned per row. Dynamic
+ * setters and event/ref/lifecycle work remain in the row factory.
+ */
+import type { Ctx } from '../context';
+import type { EmitScope } from './scope';
+export declare function applyRepeatedDomTemplate(ctx: Ctx, scope: EmitScope, rootVar: string): boolean;
+//# sourceMappingURL=dom-template.d.ts.map

package/dist/emission/dom-template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dom-template.d.ts","sourceRoot":"","sources":["../../src/emission/dom-template.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEtC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAkBzC,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,MAAM,GACd,OAAO,CA2GT"}

package/dist/emission/list-region.d.ts

@@ -0,0 +1,10 @@
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import { type Ctx, type RowCtx } from '../context';
+import { type JsxChild } from '../components/children';
+import { type EmitScope } from './scope';
+import type { NodeEmitter } from './node-emitter';
+export type AuthoredChildrenSlotBuilder = (ctx: Ctx, ownerScope: EmitScope, children: readonly JsxChild[], componentName: string, componentPath: NodePath<t.FunctionDeclaration>, nestedIn: 'row' | 'cond' | null, rowContext: RowCtx | undefined, eventOriginId: t.Expression | undefined, inSvg: boolean, ownerId: t.Expression) => t.Identifier;
+/** Emit a keyed list region and its row factory. */
+export declare function emitListRegion(ctx: Ctx, scope: EmitScope, call: t.CallExpression, parentElementVariable: string, componentName: string, componentPath: NodePath<t.FunctionDeclaration>, emitNode: NodeEmitter, buildAuthoredChildrenSlot: AuthoredChildrenSlotBuilder, inSvg?: boolean, ownerId?: t.Expression, parentRow?: RowCtx): void;
+//# sourceMappingURL=list-region.d.ts.map

package/dist/emission/list-region.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-region.d.ts","sourceRoot":"","sources":["../../src/emission/list-region.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAIL,KAAK,GAAG,EACR,KAAK,MAAM,EACZ,MAAM,YAAY,CAAC;AAQpB,OAAO,EAGL,KAAK,QAAQ,EACd,MAAM,wBAAwB,CAAC;AAahC,OAAO,EAKL,KAAK,SAAS,EACf,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAKlD,MAAM,MAAM,2BAA2B,GAAG,CACxC,GAAG,EAAE,GAAG,EACR,UAAU,EAAE,SAAS,EACrB,QAAQ,EAAE,SAAS,QAAQ,EAAE,EAC7B,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAC9C,QAAQ,EAAE,KAAK,GAAG,MAAM,GAAG,IAAI,EAC/B,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,aAAa,EAAE,CAAC,CAAC,UAAU,GAAG,SAAS,EACvC,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,CAAC,CAAC,UAAU,KAClB,CAAC,CAAC,UAAU,CAAC;AAElB,oDAAoD;AACpD,wBAAgB,cAAc,CAC5B,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,CAAC,CAAC,cAAc,EACtB,qBAAqB,EAAE,MAAM,EAC7B,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAC9C,QAAQ,EAAE,WAAW,EACrB,yBAAyB,EAAE,2BAA2B,EACtD,KAAK,UAAQ,EACb,OAAO,GAAE,CAAC,CAAC,UAA4C,EACvD,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAiHN"}