legend-doctor 0.1.0

package/dist/src/analysis/subtree/closure-confinement.js

@@ -0,0 +1,133 @@
+import { bindingDeclarationCount, isNonValueIdentifier } from "../../core/analysis-ast.js";
+import { isRuntimeFunctionLike, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import ts from "typescript";
+/**
+ * Every reference to the state or its setter either sits inside one of the owner's returned JSX
+ * expressions or inside an owner-level `const` whose own references all sit there, directly or
+ * through further such constants. Those declarations move into the extracted leaf together with the
+ * state, so their JSX use sites stand in for the references they hold. A reference outside both
+ * places, a shadowed name, a declaration nobody reads, or JSX uses split across two returns rejects
+ * the proof; an owner with alternate returns keeps the state's ownership above the extracted leaf.
+ */
+export function closureConfinedReferences(state) {
+    const scope = confinementScope(state);
+    const moved = scope ? movedDeclarationsFor(state, scope) : null;
+    if (!scope || !moved) {
+        return null;
+    }
+    const nodes = [
+        ...stateReferences(state).filter((reference) => returnHolding(reference, scope) !== null),
+        ...moved.uses,
+    ];
+    const returned = soleReturnHolding(nodes, scope);
+    return returned && nodes.every((node) => sitsInDirectRenderPosition(node, returned))
+        ? { movedDeclarations: [...moved.declarations.keys()].toSorted(), nodes, returned }
+        : null;
+}
+function returnHolding(node, { returns }) {
+    return returns.find((returned) => nodeWithin(node, returned)) ?? null;
+}
+function soleReturnHolding(nodes, scope) {
+    const holders = new Set(nodes.map((node) => returnHolding(node, scope)));
+    const [returned] = holders;
+    return holders.size === 1 && returned ? returned : null;
+}
+/**
+ * A reference inside the returned JSX may sit in the render output itself or inside an event handler
+ * attribute; a render callback handed to a child runs on that child's schedule, so its references do
+ * not belong to this owner's render.
+ */
+function sitsInDirectRenderPosition(node, returned) {
+    for (let current = node; current !== returned; current = current.parent) {
+        if (isRuntimeFunctionLike(current) && !isJsxEventHandler(current)) {
+            return false;
+        }
+    }
+    return true;
+}
+function isJsxEventHandler(callback) {
+    const expression = callback.parent;
+    const attribute = expression.parent;
+    return (ts.isJsxExpression(expression) &&
+        ts.isJsxAttribute(attribute) &&
+        /^on[A-Z]/u.test(attribute.name.getText()));
+}
+function movedDeclarationsFor(state, scope) {
+    const collected = {
+        declarations: new Map(),
+        sinks: { pending: outsideStateReferences(state, scope), uses: [] },
+    };
+    while (collected.sinks.pending.length > 0) {
+        if (!moveNextDeclaration(state, scope, collected)) {
+            return null;
+        }
+    }
+    return { declarations: collected.declarations, uses: collected.sinks.uses };
+}
+function moveNextDeclaration(state, scope, { declarations, sinks }) {
+    const declaration = ownerLevelConstDeclaration(sinks.pending.pop(), scope.body);
+    if (!declaration || bindingDeclarationCount(state.owner, declaration.name) !== 1) {
+        return false;
+    }
+    if (declarations.has(declaration.name)) {
+        return true;
+    }
+    declarations.set(declaration.name, declaration);
+    return collectDeclarationUses(declaration, scope, sinks);
+}
+function outsideStateReferences(state, scope) {
+    return stateReferences(state).filter((reference) => returnHolding(reference, scope) === null);
+}
+/** A declaration nobody reads has an unknown purpose, such as a side effect, so it does not move. */
+function collectDeclarationUses({ declaration, name }, scope, { pending, uses }) {
+    const outside = identifierReferences(scope.body, name).filter((use) => !nodeWithin(use, declaration));
+    for (const use of outside) {
+        (returnHolding(use, scope) ? uses : pending).push(use);
+    }
+    return outside.length > 0;
+}
+function confinementScope({ owner, setterName, valueName, }) {
+    const { body } = owner;
+    const uniquelyBound = setterName !== null &&
+        bindingDeclarationCount(owner, valueName) === 1 &&
+        bindingDeclarationCount(owner, setterName) === 1;
+    if (!body || !ts.isBlock(body) || !uniquelyBound) {
+        return null;
+    }
+    const returns = [];
+    visitSkippingNestedRuntimeFunctions(body, (node) => {
+        if (ts.isReturnStatement(node) && node.expression) {
+            returns.push(node.expression);
+        }
+    });
+    return returns.length > 0 ? { body, returns } : null;
+}
+function stateReferences(state) {
+    const { call, owner, setterName, valueName } = state;
+    return identifierReferences(owner.body, valueName, setterName ?? undefined).filter((reference) => !nodeWithin(reference, call.parent));
+}
+function identifierReferences(scope, ...names) {
+    const wanted = new Set(names.filter((name) => name !== undefined));
+    const references = [];
+    visit(scope, (node) => {
+        if (ts.isIdentifier(node) && wanted.has(node.text) && !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return references;
+}
+function ownerLevelConstDeclaration(reference, body) {
+    for (let current = reference; current !== body; current = current.parent) {
+        const parent = current.parent;
+        if (ts.isVariableDeclaration(current) &&
+            ts.isIdentifier(current.name) &&
+            ts.isVariableDeclarationList(parent) &&
+            (parent.flags & ts.NodeFlags.Const) !== 0 &&
+            ts.isVariableStatement(parent.parent) &&
+            parent.parent.parent === body) {
+            return { declaration: current, name: current.name.text };
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=closure-confinement.js.map

package/dist/src/analysis/subtree/closure-confinement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure-confinement.js","sourceRoot":"","sources":["../../../../src/analysis/subtree/closure-confinement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAC3F,OAAO,EACL,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,MAAM,YAAY,CAAC;AAkC5B;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAqB;IAC7D,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAc;QACvB,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;QACzF,GAAG,KAAK,CAAC,IAAI;KACd,CAAC;IACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,0BAA0B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClF,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE;QACnF,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,IAAa,EAAE,EAAE,OAAO,EAAoB;IACjE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAyB,EACzB,KAAuB;IAEvB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC;IAC3B,OAAO,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CAAC,IAAa,EAAE,QAAuB;IACxE,KAAK,IAAI,OAAO,GAAY,IAAI,EAAE,OAAO,KAAK,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACjF,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YAClE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAiB;IAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;IACnC,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC;IACpC,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAC3C,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,KAAuB;IAEvB,MAAM,SAAS,GAA0B;QACvC,YAAY,EAAE,IAAI,GAAG,EAAE;QACvB,KAAK,EAAE,EAAE,OAAO,EAAE,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;KACnE,CAAC;IACF,OAAO,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAqB,EACrB,KAAuB,EACvB,EAAE,YAAY,EAAE,KAAK,EAAyB;IAE9C,MAAM,WAAW,GAAG,0BAA0B,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,CAAC,WAAW,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAChD,OAAO,sBAAsB,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAqB,EAAE,KAAuB;IAC5E,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AAChG,CAAC;AAED,qGAAqG;AACrG,SAAS,sBAAsB,CAC7B,EAAE,WAAW,EAAE,IAAI,EAAmB,EACtC,KAAuB,EACvB,EAAE,OAAO,EAAE,IAAI,EAAY;IAE3B,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,CAC3D,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CACvC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,gBAAgB,CAAC,EACxB,KAAK,EACL,UAAU,EACV,SAAS,GACM;IACf,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,aAAa,GACjB,UAAU,KAAK,IAAI;QACnB,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;QAC/C,uBAAuB,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,mCAAmC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACjD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED,SAAS,eAAe,CAAC,KAAqB;IAC5C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IACrD,OAAO,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,IAAI,SAAS,CAAC,CAAC,MAAM,CAChF,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAA0B,EAC1B,GAAG,KAAsC;IAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;QACpB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClF,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,0BAA0B,CAAC,SAAkB,EAAE,IAAc;IACpE,KAAK,IAAI,OAAO,GAAY,SAAS,EAAE,OAAO,KAAK,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAClF,MAAM,MAAM,GAAY,OAAO,CAAC,MAAM,CAAC;QACvC,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YACzC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC;YACrC,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,EAC7B,CAAC;YACD,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/analysis/subtree/effect-split.d.ts

@@ -0,0 +1,4 @@
+import type { StateCandidate, StateSubtree, StateUsage } from "../model.js";
+import type { EffectSplitProjectionScope } from "./materiality.js";
+export declare function effectSplitProjectionSubtree(state: StateCandidate, usage: StateUsage, { materiality, ownerJsx, pureProjectionImports }: EffectSplitProjectionScope): StateSubtree | null;
+//# sourceMappingURL=effect-split.d.ts.map

package/dist/src/analysis/subtree/effect-split.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-split.d.ts","sourceRoot":"","sources":["../../../../src/analysis/subtree/effect-split.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAkB5E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AA6EnE,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,WAAW,EAAE,QAAQ,EAAE,qBAAqB,EAAE,EAAE,0BAA0B,GAC3E,YAAY,GAAG,IAAI,CAwBrB"}

package/dist/src/analysis/subtree/effect-split.js

@@ -0,0 +1,131 @@
+import { MAX_LEAF_ELEMENTS, MAX_LEAF_SUBTREE_RATIO, MAX_TERMINAL_LEAVES, MIN_TERMINAL_LEAVES, } from "../constants.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { isSafeJsxProjectionReference, jsxElementCountIn, lowestCommonJsxSubtree, nearestRepeatedRenderCall, } from "../../rules/state-proofs/jsx-subtrees.js";
+import { localPureProjectionBindings, nearestJsxElement, terminalRenderProjectionReferences, } from "./projection-hops.js";
+import { repeatedRenderHasStableItemKey } from "../../rules/state-proofs/unique-repeated-selection.js";
+import { stateSubtreeResult } from "./materiality.js";
+import ts from "typescript";
+/**
+ * Keeps an effect-owned numeric source at owner lifetime while proving that
+ * all of its render flow terminates in a small set of stable presentation
+ * leaves. Local helper calls qualify only when their implementation is pure
+ * and closes over inert module constants.
+ */
+function terminalPresentationLeaves(terminals, owner, allowedCalls) {
+    const leaves = [];
+    for (const terminal of terminals) {
+        const leaf = presentationLeafFor(terminal, owner, allowedCalls);
+        if (!leaf) {
+            return null;
+        }
+        leaves.push(leaf);
+    }
+    return leaves;
+}
+function presentationLeafFor(terminal, owner, allowedCalls) {
+    const repeated = nearestRepeatedRenderCall(terminal, owner);
+    const leaf = nearestJsxElement(repeated ?? terminal, owner);
+    if (!repeated) {
+        return isSafeJsxProjectionReference(terminal, owner, allowedCalls) ? leaf : null;
+    }
+    const [callback] = repeated.arguments;
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !repeatedRenderHasStableItemKey(callback) ||
+        !leaf ||
+        jsxElementCountIn(leaf) > MAX_LEAF_ELEMENTS ||
+        !nodeWithin(terminal, leaf)) {
+        return null;
+    }
+    return leaf;
+}
+function boundedUniquePresentationLeaves(leaves, ownerJsx) {
+    const uniqueLeaves = [...new Map(leaves.map((leaf) => [leaf.getStart(), leaf])).values()];
+    if (uniqueLeaves.length < MIN_TERMINAL_LEAVES || uniqueLeaves.length > MAX_TERMINAL_LEAVES) {
+        return null;
+    }
+    const leafElements = uniqueLeaves.reduce((total, leaf) => total + jsxElementCountIn(leaf), 0);
+    return leafElements / ownerJsx > MAX_LEAF_SUBTREE_RATIO ? null : uniqueLeaves;
+}
+function effectSplitTerminals(state, usage, allowedCalls) {
+    const renderRoots = effectSplitRenderRoots(state, usage, allowedCalls);
+    const terminals = renderRoots
+        ? terminalRenderProjectionReferences(state.owner, renderRoots, allowedCalls)
+        : null;
+    return terminals && terminals.length >= MIN_TERMINAL_LEAVES ? terminals : null;
+}
+export function effectSplitProjectionSubtree(state, usage, { materiality, ownerJsx, pureProjectionImports }) {
+    if (ownerJsx < materiality.broadOwnerJsx ||
+        !hasDirectNumericInitializer(state) ||
+        usage.transportedOccurrences !== 0 ||
+        usage.setterUsesPreviousValue) {
+        return null;
+    }
+    const allowedCalls = new Set([
+        ...pureProjectionImports,
+        ...localPureProjectionBindings(state.owner.getSourceFile()),
+    ]);
+    const terminals = effectSplitTerminals(state, usage, allowedCalls);
+    const leaves = terminals
+        ? terminalPresentationLeaves(terminals, state.owner, allowedCalls)
+        : null;
+    const uniqueLeaves = leaves ? boundedUniquePresentationLeaves(leaves, ownerJsx) : null;
+    const common = uniqueLeaves ? lowestCommonJsxSubtree(uniqueLeaves, state.owner) : null;
+    if (!terminals || !uniqueLeaves || !common) {
+        return null;
+    }
+    return splitProjectionResult(common, terminals, { leafCount: uniqueLeaves.length, state });
+}
+function splitProjectionResult(common, terminals, { leafCount, state }) {
+    const result = stateSubtreeResult("effect-split-projection", common, {
+        renderNodes: terminals,
+        state,
+    });
+    result.leafCount = leafCount;
+    return result;
+}
+function effectSplitRenderRoots(state, usage, allowedCalls) {
+    if (!state.owner.body) {
+        return null;
+    }
+    const direct = new Set(usage.directRenderNodes);
+    const roots = [];
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        if (direct.has(node)) {
+            roots.push(node);
+            return;
+        }
+        const call = findAncestorUntil(node, ts.isCallExpression, state.owner);
+        if (call &&
+            ts.isIdentifier(call.expression) &&
+            allowedCalls.has(call.expression.text) &&
+            call.arguments.some((argument) => nodeWithin(node, argument)) &&
+            nearestNestedFunction(node, state.owner) === null) {
+            roots.push(node);
+            return;
+        }
+        safe = false;
+    });
+    return safe && roots.length > 0 ? roots : null;
+}
+function hasDirectNumericInitializer(state) {
+    const [initializer] = state.call.arguments;
+    if (!initializer) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(initializer);
+    return (ts.isNumericLiteral(value) ||
+        (ts.isPrefixUnaryExpression(value) &&
+            (value.operator === ts.SyntaxKind.PlusToken || value.operator === ts.SyntaxKind.MinusToken) &&
+            ts.isNumericLiteral(unwrapTransparentExpression(value.operand))));
+}
+//# sourceMappingURL=effect-split.js.map

package/dist/src/analysis/subtree/effect-split.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-split.js","sourceRoot":"","sources":["../../../../src/analysis/subtree/effect-split.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,4BAA4B,EAC5B,iBAAiB,EACjB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,0CAA0C,CAAC;AAClD,OAAO,EACL,2BAA2B,EAC3B,iBAAiB,EACjB,kCAAkC,GACnC,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAAE,8BAA8B,EAAE,MAAM,uDAAuD,CAAC;AACvG,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;GAKG;AACH,SAAS,0BAA0B,CACjC,SAAmC,EACnC,KAA0B,EAC1B,YAAiC;IAEjC,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAuB,EACvB,KAA0B,EAC1B,YAAiC;IAEjC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,IAAI,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,4BAA4B,CAAC,QAAQ,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;IACtC,IACE,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,8BAA8B,CAAC,QAAQ,CAAC;QACzC,CAAC,IAAI;QACL,iBAAiB,CAAC,IAAI,CAAC,GAAG,iBAAiB;QAC3C,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,EAC3B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,+BAA+B,CACtC,MAAiC,EACjC,QAAgB;IAEhB,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1F,IAAI,YAAY,CAAC,MAAM,GAAG,mBAAmB,IAAI,YAAY,CAAC,MAAM,GAAG,mBAAmB,EAAE,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9F,OAAO,YAAY,GAAG,QAAQ,GAAG,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;AAChF,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,KAAiB,EACjB,YAAiC;IAEjC,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,WAAW;QAC3B,CAAC,CAAC,kCAAkC,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC;IACT,OAAO,SAAS,IAAI,SAAS,CAAC,MAAM,IAAI,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAAqB,EACrB,KAAiB,EACjB,EAAE,WAAW,EAAE,QAAQ,EAAE,qBAAqB,EAA8B;IAE5E,IACE,QAAQ,GAAG,WAAW,CAAC,aAAa;QACpC,CAAC,2BAA2B,CAAC,KAAK,CAAC;QACnC,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,uBAAuB,EAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;QAC3B,GAAG,qBAAqB;QACxB,GAAG,2BAA2B,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;KAC5D,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,SAAS;QACtB,CAAC,CAAC,0BAA0B,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC;QAClE,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,+BAA+B,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,IAAI,CAAC,SAAS,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,qBAAqB,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7F,CAAC;AAOD,SAAS,qBAAqB,CAC5B,MAAsB,EACtB,SAA6B,EAC7B,EAAE,SAAS,EAAE,KAAK,EAAwB;IAE1C,MAAM,MAAM,GAAG,kBAAkB,CAAC,yBAAyB,EAAE,MAAM,EAAE;QACnE,WAAW,EAAE,SAAS;QACtB,KAAK;KACN,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAqB,EACrB,KAAiB,EACjB,YAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAChD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACvE,IACE,IAAI;YACJ,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACtC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7D,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,EACjD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,IAAI,GAAG,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAqB;IACxD,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACvD,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1B,CAAC,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;YAChC,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;YAC3F,EAAE,CAAC,gBAAgB,CAAC,2BAA2B,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CACnE,CAAC;AACJ,CAAC"}

package/dist/src/analysis/subtree/materiality.d.ts

@@ -0,0 +1,34 @@
+import type { StateCandidate, StateSubtree, StateUsage } from "../model.js";
+import type { JsxSubtreeNode } from "../../rules/deferred-reveal/jsx-subtrees.js";
+import type { MaterialityPolicy } from "../constants.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function repeatedSubscriptionSuffix(subtree: StateSubtree): string;
+export interface EffectSplitProjectionScope {
+    readonly materiality: MaterialityPolicy;
+    readonly ownerJsx: number;
+    readonly pureProjectionImports: ReadonlySet<string>;
+}
+interface SubtreeMaterialityEvidence {
+    readonly effectWrittenPresentation: boolean;
+    readonly materiality: MaterialityPolicy;
+    readonly uniqueRepeatedProjection: boolean;
+}
+export declare function isMaterialStateSubtree(subtree: JsxSubtreeNode, ownerJsx: number, { effectWrittenPresentation, materiality, uniqueRepeatedProjection }: SubtreeMaterialityEvidence): boolean;
+export declare function multipleOneHopRenderProjectionReferences(owner: RuntimeFunctionLike, renderNodes: readonly ts.Node[]): readonly ts.Identifier[] | null;
+export declare function isSafeEffectPresentationReference(node: ts.Node, owner: RuntimeFunctionLike): boolean;
+export declare function isKeyedRepeatedProjection(nodes: readonly ts.Node[], owner: RuntimeFunctionLike): boolean;
+interface StateSubtreeResultInputs {
+    readonly movedDeclarations?: readonly string[];
+    readonly renderNodes: readonly ts.Node[];
+    readonly state: StateCandidate;
+    readonly uniqueRepeatedBranch?: boolean;
+}
+export declare function stateSubtreeResult(kind: StateSubtree["kind"], node: JsxSubtreeNode, inputs: StateSubtreeResultInputs): StateSubtree;
+interface MixedProjectionScope {
+    readonly allowNestedSite?: boolean;
+    readonly common: JsxSubtreeNode;
+}
+export declare function isSafeMixedProjectionTransport(state: StateCandidate, usage: StateUsage, scope: MixedProjectionScope): boolean;
+export {};
+//# sourceMappingURL=materiality.d.ts.map

package/dist/src/analysis/subtree/materiality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"materiality.d.ts","sourceRoot":"","sources":["../../../../src/analysis/subtree/materiality.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQ5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAKxE;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACrD;AAED,UAAU,0BAA0B;IAClC,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;CAC5C;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,cAAc,EACvB,QAAQ,EAAE,MAAM,EAChB,EAAE,yBAAyB,EAAE,WAAW,EAAE,wBAAwB,EAAE,EAAE,0BAA0B,GAC/F,OAAO,CAWT;AAED,wBAAgB,wCAAwC,CACtD,KAAK,EAAE,mBAAmB,EAC1B,WAAW,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,GAC9B,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,IAAI,CAYjC;AAED,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAqBT;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EACzB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAkBT;AAaD,UAAU,wBAAwB;IAChC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;CACzC;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,EAC1B,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,wBAAwB,GAC/B,YAAY,CAcd;AAED,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACjC;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,oBAAoB,GAC1B,OAAO,CAuBT"}

package/dist/src/analysis/subtree/materiality.js

@@ -0,0 +1,117 @@
+import { BROAD_OWNER_JSX_ELEMENTS, COMPACT_OWNER_JSX_ELEMENTS, MAX_LEAF_SUBTREE_RATIO, MAX_REPEATED_PROJECTION_RATIO, MIN_OWNER_RENDER_CUT_ELEMENTS, } from "../constants.js";
+import { commonRepeatedRender, jsxSubtreeLabel } from "../ast-helpers.js";
+import { findAncestorUntil, nearestNestedFunction } from "../../core/ast.js";
+import { hasUnstableSubtreeLifetime, jsxElementCountIn, nearestRepeatedRenderCall, } from "../../rules/state-proofs/jsx-subtrees.js";
+import { commonRenderGateSubtree } from "../../rules/deferred-reveal/render-gates.js";
+import { expressionDependsOnBinding } from "../../rules/state-proofs/binding-lookup.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { isJsxNode } from "../../rules/state-proofs/callback-sites.js";
+import { oneHopRenderProjectionReferences } from "../../rules/state-proofs/projection-hops.js";
+import { repeatedRenderHasStableItemKey } from "../../rules/state-proofs/unique-repeated-selection.js";
+import ts from "typescript";
+export function repeatedSubscriptionSuffix(subtree) {
+    if (subtree.uniqueRepeatedBranch) {
+        return " inside its uniquely selected branch";
+    }
+    return subtree.repeated ? " with a per-item selector" : "";
+}
+export function isMaterialStateSubtree(subtree, ownerJsx, { effectWrittenPresentation, materiality, uniqueRepeatedProjection }) {
+    const subtreeJsx = jsxElementCountIn(subtree);
+    return ((ownerJsx >= materiality.broadOwnerJsx && subtreeJsx / ownerJsx <= MAX_LEAF_SUBTREE_RATIO) ||
+        (uniqueRepeatedProjection &&
+            ownerJsx >= COMPACT_OWNER_JSX_ELEMENTS &&
+            subtreeJsx / ownerJsx <= MAX_REPEATED_PROJECTION_RATIO) ||
+        (effectWrittenPresentation &&
+            ownerJsx < BROAD_OWNER_JSX_ELEMENTS &&
+            ownerJsx - subtreeJsx >= MIN_OWNER_RENDER_CUT_ELEMENTS));
+}
+export function multipleOneHopRenderProjectionReferences(owner, renderNodes) {
+    const references = new Set();
+    for (const renderNode of renderNodes) {
+        const projected = oneHopRenderProjectionReferences(owner, [renderNode]);
+        if (!projected) {
+            return null;
+        }
+        for (const reference of projected) {
+            references.add(reference);
+        }
+    }
+    return references.size > 0 ? [...references] : null;
+}
+export function isSafeEffectPresentationReference(node, owner) {
+    if (!findAncestorUntil(node, isJsxNode, owner)) {
+        return false;
+    }
+    if (commonRenderGateSubtree([node], owner)) {
+        return true;
+    }
+    const repeated = nearestRepeatedRenderCall(node, owner);
+    if (!repeated ||
+        !ts.isPropertyAccessExpression(repeated.expression) ||
+        repeated.expression.expression !== node) {
+        return false;
+    }
+    const [callback] = repeated.arguments;
+    return (callback !== undefined &&
+        (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) &&
+        repeatedRenderHasStableItemKey(callback));
+}
+export function isKeyedRepeatedProjection(nodes, owner) {
+    const repeated = commonRepeatedRender(nodes, owner);
+    const callback = repeated?.arguments[0];
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !repeatedRenderHasStableItemKey(callback)) {
+        return false;
+    }
+    const binding = callback.parameters[0]?.name;
+    if (binding === undefined) {
+        return false;
+    }
+    return nodes.every((node) => {
+        const expression = jsxProjectionExpression(node, owner);
+        return expression !== null && expressionDependsOnBinding(expression, binding, callback);
+    });
+}
+function jsxProjectionExpression(node, boundary) {
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, boundary);
+    if (attribute?.initializer && ts.isJsxExpression(attribute.initializer)) {
+        return attribute.initializer.expression ?? null;
+    }
+    return findAncestorUntil(node, ts.isJsxExpression, boundary)?.expression ?? null;
+}
+export function stateSubtreeResult(kind, node, inputs) {
+    const { movedDeclarations = [], renderNodes, state, uniqueRepeatedBranch = false } = inputs;
+    const lineNode = kind === "gate" && nearestNestedFunction(node, state.owner) ? (renderNodes[0] ?? node) : node;
+    return {
+        kind,
+        label: jsxSubtreeLabel(node),
+        line: lineNode.getSourceFile().getLineAndCharacterOfPosition(lineNode.getStart()).line + 1,
+        movedDeclarations,
+        node,
+        repeated: commonRepeatedRender(renderNodes, state.owner) !== null,
+        uniqueRepeatedBranch,
+        unstable: hasUnstableSubtreeLifetime(node, state.owner),
+    };
+}
+export function isSafeMixedProjectionTransport(state, usage, scope) {
+    const { allowNestedSite = false, common } = scope;
+    const [site] = [...usage.valueTransportSites];
+    const [target] = [...usage.valueTargets];
+    if (usage.valueTransportSites.size !== 1 ||
+        usage.setterTransportSites.size > 0 ||
+        usage.valueTargets.size !== 1 ||
+        usage.repeatedTransport ||
+        !hasStateInitializer(state, ts.SyntaxKind.NullKeyword) ||
+        site === undefined ||
+        (site !== common.getStart() &&
+            !(allowNestedSite && common.getStart() <= site && site < common.end)) ||
+        !target) {
+        return false;
+    }
+    const props = usage.valueProps.get(target);
+    return (props !== undefined &&
+        props.size > 0 &&
+        [...props].every((prop) => !/^(?:children|key|ref|render|on[A-Z])/u.test(prop)));
+}
+//# sourceMappingURL=materiality.js.map

package/dist/src/analysis/subtree/materiality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"materiality.js","sourceRoot":"","sources":["../../../../src/analysis/subtree/materiality.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,sBAAsB,EACtB,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,0BAA0B,EAC1B,iBAAiB,EACjB,yBAAyB,GAC1B,MAAM,0CAA0C,CAAC;AAIlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AACtF,OAAO,EAAE,0BAA0B,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,SAAS,EAAE,MAAM,4CAA4C,CAAC;AACvE,OAAO,EAAE,gCAAgC,EAAE,MAAM,6CAA6C,CAAC;AAC/F,OAAO,EAAE,8BAA8B,EAAE,MAAM,uDAAuD,CAAC;AACvG,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,0BAA0B,CAAC,OAAqB;IAC9D,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;QACjC,OAAO,sCAAsC,CAAC;IAChD,CAAC;IACD,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7D,CAAC;AAcD,MAAM,UAAU,sBAAsB,CACpC,OAAuB,EACvB,QAAgB,EAChB,EAAE,yBAAyB,EAAE,WAAW,EAAE,wBAAwB,EAA8B;IAEhG,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,CACL,CAAC,QAAQ,IAAI,WAAW,CAAC,aAAa,IAAI,UAAU,GAAG,QAAQ,IAAI,sBAAsB,CAAC;QAC1F,CAAC,wBAAwB;YACvB,QAAQ,IAAI,0BAA0B;YACtC,UAAU,GAAG,QAAQ,IAAI,6BAA6B,CAAC;QACzD,CAAC,yBAAyB;YACxB,QAAQ,GAAG,wBAAwB;YACnC,QAAQ,GAAG,UAAU,IAAI,6BAA6B,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wCAAwC,CACtD,KAA0B,EAC1B,WAA+B;IAE/B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,gCAAgC,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;YAClC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,IAAa,EACb,KAA0B;IAE1B,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,uBAAuB,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,UAAU,CAAC;QACnD,QAAQ,CAAC,UAAU,CAAC,UAAU,KAAK,IAAI,EACvC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;IACtC,OAAO,CACL,QAAQ,KAAK,SAAS;QACtB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACnE,8BAA8B,CAAC,QAAQ,CAAC,CACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,KAAyB,EACzB,KAA0B;IAE1B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,IACE,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,8BAA8B,CAAC,QAAQ,CAAC,EACzC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC7C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1B,MAAM,UAAU,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,OAAO,UAAU,KAAK,IAAI,IAAI,0BAA0B,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAa,EACb,QAA6B;IAE7B,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IACvE,IAAI,SAAS,EAAE,WAAW,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC,WAAW,CAAC,UAAU,IAAI,IAAI,CAAC;IAClD,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,UAAU,IAAI,IAAI,CAAC;AACnF,CAAC;AASD,MAAM,UAAU,kBAAkB,CAChC,IAA0B,EAC1B,IAAoB,EACpB,MAAgC;IAEhC,MAAM,EAAE,iBAAiB,GAAG,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,oBAAoB,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC;IAC5F,MAAM,QAAQ,GACZ,IAAI,KAAK,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,OAAO;QACL,IAAI;QACJ,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC;QAC5B,IAAI,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC;QAC1F,iBAAiB;QACjB,IAAI;QACJ,QAAQ,EAAE,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;QACjE,oBAAoB;QACpB,QAAQ,EAAE,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;KACxD,CAAC;AACJ,CAAC;AAOD,MAAM,UAAU,8BAA8B,CAC5C,KAAqB,EACrB,KAAiB,EACjB,KAA2B;IAE3B,MAAM,EAAE,eAAe,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC9C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,IACE,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,oBAAoB,CAAC,IAAI,GAAG,CAAC;QACnC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,KAAK,CAAC,iBAAiB;QACvB,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QACtD,IAAI,KAAK,SAAS;QAClB,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ,EAAE;YACzB,CAAC,CAAC,eAAe,IAAI,MAAM,CAAC,QAAQ,EAAE,IAAI,IAAI,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACvE,CAAC,MAAM,EACP,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,IAAI,GAAG,CAAC;QACd,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAChF,CAAC;AACJ,CAAC"}

package/dist/src/analysis/subtree/projection-hops.d.ts

@@ -0,0 +1,7 @@
+import type { JsxSubtreeNode } from "../../rules/deferred-reveal/jsx-subtrees.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function terminalRenderProjectionReferences(owner: RuntimeFunctionLike, roots: readonly ts.Node[], allowedCalls: ReadonlySet<string>): readonly ts.Identifier[] | null;
+export declare function localPureProjectionBindings(sourceFile: ts.SourceFile): ReadonlySet<string>;
+export declare function nearestJsxElement(node: ts.Node, boundary: ts.Node): JsxSubtreeNode | null;
+//# sourceMappingURL=projection-hops.d.ts.map

package/dist/src/analysis/subtree/projection-hops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-hops.d.ts","sourceRoot":"","sources":["../../../../src/analysis/subtree/projection-hops.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI7D,OAAO,EAAE,MAAM,YAAY,CAAC;AA4B5B,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,mBAAmB,EAC1B,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EACzB,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,IAAI,CAQjC;AAqGD,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAuB1F;AA4FD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,GAAG,cAAc,GAAG,IAAI,CASzF"}