legend-doctor 0.1.0

package/dist/src/analysis/state-usage.js

@@ -0,0 +1,286 @@
+import { findAncestorUntil, identifiersNamed, nearestNestedFunction } from "../core/ast.js";
+import { hasAncestorInSet, hasUnstableJsxLifetime, isCustomJsxTarget, isDirectArgumentToUnknownCall, isInsideImportedCallback, isInsideJsxCallback, isOriginalStateBinding, jsxTargetName, jsxTransportSite, } from "./ast-helpers.js";
+import { isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, } from "../core/analysis-ast.js";
+import { isHookDependencyReference, isJsxNode, isSynchronousRenderCallback, } from "../rules/state-proofs/callback-sites.js";
+import { CALLBACK_HOOK_NAMES } from "./constants.js";
+import { collectCommandOnlyCallableReads } from "../rules/command-only-state/local-callable-reads.js";
+import { isHostTag } from "../core/imports.js";
+import { isInsideJsxEventCallback } from "../rules/state-proofs/event-roots.js";
+import { nearestRepeatedRenderCall } from "../rules/state-proofs/jsx-subtrees.js";
+import { setterCallUsesPreviousValue } from "../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+export function collectStateUsage(state, { effectNodes, imports, persistenceSinks }) {
+    const usage = emptyStateUsage();
+    for (const node of stateBindingIdentifiers(state)) {
+        recordStateBindingReference(node, state, { effectNodes, imports, persistenceSinks, usage });
+    }
+    mergeCommandOnlyCallableReads(usage, state, effectNodes);
+    return usage;
+}
+/**
+ * No effect reads the state, persistence sinks included. Render-cut proofs read `effectReads`
+ * alone because Legend persistence replaces a sink; deleting or ref-replacing the state would not.
+ */
+export function hasNoEffectReads(usage) {
+    return usage.effectReads === 0 && usage.persistenceReads === 0;
+}
+function recordStateBindingReference(node, state, context) {
+    if (isNonValueIdentifier(node)) {
+        return;
+    }
+    if (isDeclarationName(node)) {
+        context.usage.shadowed ||= shadowsStateBinding(node, state);
+        return;
+    }
+    if (state.setterName !== null && node.text === state.setterName) {
+        classifySetterReference(node, state, context);
+        return;
+    }
+    if (node.text === state.valueName) {
+        classifyValueReference(node, state, context);
+    }
+}
+function shadowsStateBinding(node, state) {
+    return ((node.text === state.valueName ||
+        (state.setterName !== null && node.text === state.setterName)) &&
+        !isOriginalStateBinding(node, state.call));
+}
+function emptyStateUsage() {
+    return {
+        deferredReadNodes: [],
+        deferredReads: 0,
+        directRenderNodes: [],
+        effectReadNodes: [],
+        effectReads: 0,
+        effectWriteNodes: [],
+        effectWrites: 0,
+        escapeNodes: [],
+        escaped: false,
+        eventReads: 0,
+        jsxTargets: new Set(),
+        legendReactionWrites: 0,
+        localRenderReads: 0,
+        persistenceReads: 0,
+        repeatedTransport: false,
+        repeatedValueTransport: false,
+        setterCallNodes: [],
+        setterCalls: 0,
+        setterReferences: 0,
+        setterTargets: new Set(),
+        setterTransportSites: new Set(),
+        setterUsesPreviousValue: false,
+        shadowed: false,
+        transportNodes: new Map(),
+        transportedOccurrences: 0,
+        unstableTransport: false,
+        valueProps: new Map(),
+        valueTargets: new Set(),
+        valueTransportSites: new Set(),
+    };
+}
+function mergeCommandOnlyCallableReads(usage, state, effectNodes) {
+    const callableReads = collectCommandOnlyCallableReads(state, effectNodes);
+    usage.localRenderReads += callableReads.renderSites.length;
+    usage.directRenderNodes.push(...callableReads.renderSites);
+    if (usage.effectReads === 0) {
+        usage.effectReads += callableReads.effectSites.length;
+    }
+}
+function stateBindingIdentifiers(state) {
+    const values = identifiersNamed(state.owner.body, state.valueName);
+    if (!state.setterName || state.setterName === state.valueName) {
+        return values;
+    }
+    const setters = identifiersNamed(state.owner.body, state.setterName);
+    if (values.length === 0) {
+        return setters;
+    }
+    if (setters.length === 0) {
+        return values;
+    }
+    return mergeByPosition(values, setters);
+}
+function mergeByPosition(left, right) {
+    const ordered = [];
+    let leftIndex = 0;
+    let rightIndex = 0;
+    while (leftIndex < left.length && rightIndex < right.length) {
+        const takeLeft = left[leftIndex].pos < right[rightIndex].pos;
+        ordered.push(takeLeft ? left[leftIndex] : right[rightIndex]);
+        leftIndex += takeLeft ? 1 : 0;
+        rightIndex += takeLeft ? 0 : 1;
+    }
+    ordered.push(...left.slice(leftIndex), ...right.slice(rightIndex));
+    return ordered;
+}
+function addMapSet(map, key, value) {
+    const values = map.get(key) ?? new Set();
+    values.add(value);
+    map.set(key, values);
+}
+function classifySetterReference(node, state, context) {
+    if (node.parent === state.call.parent) {
+        return;
+    }
+    context.usage.setterReferences += 1;
+    if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+        recordSetterCall(node.parent, node, context);
+        return;
+    }
+    recordSetterTransportOrEscape(node, state, context);
+}
+function recordSetterTransportOrEscape(node, state, context) {
+    const jsxAttribute = findAncestorUntil(node, ts.isJsxAttribute, state.owner);
+    if (!jsxAttribute) {
+        recordEscape(node, context.usage);
+        return;
+    }
+    recordSetterJsxReference({ jsxAttribute, node }, state, context);
+}
+function recordSetterCall(call, node, { effectNodes, imports, usage }) {
+    usage.setterCalls += 1;
+    usage.setterCallNodes.push(call);
+    usage.setterUsesPreviousValue ||= setterCallUsesPreviousValue(call);
+    if (hasAncestorInSet(node, effectNodes)) {
+        usage.effectWrites += 1;
+        usage.effectWriteNodes.push(call);
+    }
+    if (isInsideImportedCallback(node, imports.useObserveEffect)) {
+        usage.legendReactionWrites += 1;
+    }
+}
+function jsxTransportRole({ jsxAttribute, node }, target, imports) {
+    if (!target || !isCustomJsxTarget(target) || isHostTag(target, imports)) {
+        return "local-render";
+    }
+    if (target.endsWith(".Provider")) {
+        return "escaped";
+    }
+    return isDirectJsxAttributeExpression(jsxAttribute, node) ? "transport" : "local-render";
+}
+function transportTargetOrRecordFallback(record, { imports, usage }, onLocalRender) {
+    const target = jsxTargetName(record.jsxAttribute);
+    const role = jsxTransportRole(record, target, imports);
+    if (role === "escaped") {
+        recordEscape(record.node, usage);
+        return null;
+    }
+    if (role === "local-render" || !target) {
+        onLocalRender();
+        return null;
+    }
+    return target;
+}
+function recordSetterJsxReference(record, state, context) {
+    const { usage } = context;
+    const { jsxAttribute } = record;
+    const target = transportTargetOrRecordFallback(record, context, () => {
+        usage.localRenderReads += 1;
+    });
+    if (!target) {
+        return;
+    }
+    usage.setterTargets.add(target);
+    usage.setterTransportSites.add(jsxTransportSite(jsxAttribute));
+    recordJsxTransportSite(jsxAttribute, target, { owner: state.owner, usage });
+}
+function recordJsxTransportSite(jsxAttribute, target, { owner, usage }) {
+    usage.jsxTargets.add(target);
+    usage.transportedOccurrences += 1;
+    usage.transportNodes.set(target, [...(usage.transportNodes.get(target) ?? []), jsxAttribute]);
+    const repeatedRender = nearestRepeatedRenderCall(jsxAttribute, owner) !== null;
+    usage.repeatedTransport ||= repeatedRender;
+    usage.unstableTransport ||= hasUnstableJsxLifetime(jsxAttribute, owner);
+    return repeatedRender;
+}
+function recordLifecycleValueRead(node, state, { effectNodes, persistenceSinks, usage }) {
+    if (isHookDependencyReference(node, CALLBACK_HOOK_NAMES)) {
+        recordDeferredRead(node, usage);
+        return true;
+    }
+    if (hasAncestorInSet(node, persistenceSinks)) {
+        usage.persistenceReads += 1;
+        return true;
+    }
+    if (hasAncestorInSet(node, effectNodes)) {
+        recordEffectRead(node, usage);
+        return true;
+    }
+    return recordEventCallbackRead(node, state, usage);
+}
+function recordEventCallbackRead(node, state, usage) {
+    if (!isInsideJsxEventCallback(node, state.owner)) {
+        return false;
+    }
+    recordDeferredRead(node, usage);
+    usage.eventReads += 1;
+    return true;
+}
+function classifyValueReference(node, state, context) {
+    if (node.parent === state.call.parent) {
+        return;
+    }
+    if (recordLifecycleValueRead(node, state, context)) {
+        return;
+    }
+    const jsxAttribute = findAncestorUntil(node, ts.isJsxAttribute, state.owner);
+    if (jsxAttribute) {
+        recordValueJsxReference({ jsxAttribute, node }, state, context);
+        return;
+    }
+    recordNonAttributeValueRead(node, state, context.usage);
+}
+function recordNonAttributeValueRead(node, state, usage) {
+    if (findAncestorUntil(node, isJsxNode, state.owner)) {
+        recordDirectRenderRead(node, usage);
+        return;
+    }
+    recordOutsideRenderValueRead(node, state, usage);
+}
+function recordOutsideRenderValueRead(node, state, usage) {
+    const nestedFunction = nearestNestedFunction(node, state.owner);
+    if (nestedFunction && !isSynchronousRenderCallback(nestedFunction)) {
+        recordDeferredRead(node, usage);
+        return;
+    }
+    if (isDirectArgumentToUnknownCall(node)) {
+        recordEscape(node, usage);
+        return;
+    }
+    recordDirectRenderRead(node, usage);
+}
+function recordEffectRead(node, usage) {
+    usage.effectReads += 1;
+    usage.effectReadNodes.push(node);
+}
+function recordDeferredRead(node, usage) {
+    usage.deferredReads += 1;
+    usage.deferredReadNodes.push(node);
+}
+function recordEscape(node, usage) {
+    usage.escaped = true;
+    usage.escapeNodes.push(node);
+}
+function recordDirectRenderRead(node, usage) {
+    usage.localRenderReads += 1;
+    usage.directRenderNodes.push(node);
+}
+function recordValueJsxReference(record, state, context) {
+    const { usage } = context;
+    const { jsxAttribute, node } = record;
+    const target = transportTargetOrRecordFallback(record, context, () => {
+        recordDirectRenderRead(node, usage);
+    });
+    if (!target) {
+        return;
+    }
+    usage.valueTargets.add(target);
+    addMapSet(usage.valueProps, target, jsxAttribute.name.getText());
+    usage.valueTransportSites.add(jsxTransportSite(jsxAttribute));
+    const repeatedRender = recordJsxTransportSite(jsxAttribute, target, {
+        owner: state.owner,
+        usage,
+    });
+    usage.repeatedValueTransport ||= repeatedRender || isInsideJsxCallback(jsxAttribute, state.owner);
+}
+//# sourceMappingURL=state-usage.js.map

package/dist/src/analysis/state-usage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-usage.js","sourceRoot":"","sources":["../../../src/analysis/state-usage.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,6BAA6B,EAC7B,wBAAwB,EACxB,mBAAmB,EACnB,sBAAsB,EACtB,aAAa,EACb,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,yBAAyB,EACzB,SAAS,EACT,2BAA2B,GAC5B,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAGrD,OAAO,EAAE,+BAA+B,EAAE,MAAM,qDAAqD,CAAC;AACtG,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,wBAAwB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,MAAM,YAAY,CAAC;AAU5B,MAAM,UAAU,iBAAiB,CAC/B,KAAqB,EACrB,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAmB;IAE3D,MAAM,KAAK,GAAG,eAAe,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,2BAA2B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,6BAA6B,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACzD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAiB;IAChD,OAAO,KAAK,CAAC,WAAW,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAmB,EACnB,KAAqB,EACrB,OAA8B;IAE9B,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;IACT,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CAAC,QAAQ,KAAK,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QAChE,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9C,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,KAAqB;IACrE,OAAO,CACL,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;QAC5B,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC;QAChE,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED,SAAS,eAAe;IACtB,OAAO;QACL,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,CAAC;QAChB,iBAAiB,EAAE,EAAE;QACrB,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,CAAC;QACd,gBAAgB,EAAE,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,EAAE;QACf,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,IAAI,GAAG,EAAU;QAC7B,oBAAoB,EAAE,CAAC;QACvB,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,KAAK;QACxB,sBAAsB,EAAE,KAAK;QAC7B,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,CAAC;QACd,gBAAgB,EAAE,CAAC;QACnB,aAAa,EAAE,IAAI,GAAG,EAAU;QAChC,oBAAoB,EAAE,IAAI,GAAG,EAAU;QACvC,uBAAuB,EAAE,KAAK;QAC9B,QAAQ,EAAE,KAAK;QACf,cAAc,EAAE,IAAI,GAAG,EAAqB;QAC5C,sBAAsB,EAAE,CAAC;QACzB,iBAAiB,EAAE,KAAK;QACxB,UAAU,EAAE,IAAI,GAAG,EAAuB;QAC1C,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,mBAAmB,EAAE,IAAI,GAAG,EAAU;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,KAAiB,EACjB,KAAqB,EACrB,WAAiC;IAEjC,MAAM,aAAa,GAAG,+BAA+B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC1E,KAAK,CAAC,gBAAgB,IAAI,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC;IAC3D,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,WAAW,IAAI,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC;IACxD,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAqB;IACpD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnE,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,eAAe,CACtB,IAA8B,EAC9B,KAA+B;IAE/B,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,OAAO,SAAS,GAAG,IAAI,CAAC,MAAM,IAAI,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAE,CAAC,GAAG,GAAG,KAAK,CAAC,UAAU,CAAE,CAAC,GAAG,CAAC;QAC/D,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAE,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAE,CAAC,CAAC;QAC/D,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,UAAU,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,SAAS,CAAa,GAAyB,EAAE,GAAQ,EAAE,KAAY;IAC9E,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAS,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AACvB,CAAC;AAMD,SAAS,uBAAuB,CAC9B,IAAmB,EACnB,KAAqB,EACrB,OAA8B;IAE9B,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,OAAO;IACT,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC;IACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACxE,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,OAAO;IACT,CAAC;IACD,6BAA6B,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAmB,EACnB,KAAqB,EACrB,OAA8B;IAE9B,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,wBAAwB,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAuB,EACvB,IAAmB,EACnB,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAyB;IAEtD,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;IACvB,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,KAAK,CAAC,uBAAuB,KAAK,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,gBAAgB,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC;QACxB,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC7D,KAAK,CAAC,oBAAoB,IAAI,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AASD,SAAS,gBAAgB,CACvB,EAAE,YAAY,EAAE,IAAI,EAAsB,EAC1C,MAAqB,EACrB,OAAoB;IAEpB,IAAI,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,8BAA8B,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC;AAC3F,CAAC;AAED,SAAS,+BAA+B,CACtC,MAA0B,EAC1B,EAAE,OAAO,EAAE,KAAK,EAAyB,EACzC,aAAyB;IAEzB,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACvD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,aAAa,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAA0B,EAC1B,KAAqB,EACrB,OAA8B;IAE9B,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1B,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IAChC,MAAM,MAAM,GAAG,+BAA+B,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE;QACnE,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;IACT,CAAC;IACD,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC;IAC/D,sBAAsB,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9E,CAAC;AAOD,SAAS,sBAAsB,CAC7B,YAA6B,EAC7B,MAAc,EACd,EAAE,KAAK,EAAE,KAAK,EAAwB;IAEtC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,KAAK,CAAC,sBAAsB,IAAI,CAAC,CAAC;IAClC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;IAC9F,MAAM,cAAc,GAAG,yBAAyB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;IAC/E,KAAK,CAAC,iBAAiB,KAAK,cAAc,CAAC;IAC3C,KAAK,CAAC,iBAAiB,KAAK,sBAAsB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IACxE,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAmB,EACnB,KAAqB,EACrB,EAAE,WAAW,EAAE,gBAAgB,EAAE,KAAK,EAAyB;IAE/D,IAAI,yBAAyB,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,CAAC;QACzD,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,gBAAgB,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;QACxC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAmB,EACnB,KAAqB,EACrB,KAAiB;IAEjB,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAmB,EACnB,KAAqB,EACrB,OAA8B;IAE9B,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,OAAO;IACT,CAAC;IACD,IAAI,wBAAwB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO;IACT,CAAC;IACD,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,YAAY,EAAE,CAAC;QACjB,uBAAuB,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,2BAA2B,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAmB,EACnB,KAAqB,EACrB,KAAiB;IAEjB,IAAI,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpC,OAAO;IACT,CAAC;IACD,4BAA4B,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAmB,EACnB,KAAqB,EACrB,KAAiB;IAEjB,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,cAAc,IAAI,CAAC,2BAA2B,CAAC,cAAc,CAAC,EAAE,CAAC;QACnE,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,OAAO;IACT,CAAC;IACD,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1B,OAAO;IACT,CAAC;IACD,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa,EAAE,KAAiB;IACxD,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;IACvB,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa,EAAE,KAAiB;IAC1D,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC;IACzB,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,IAAa,EAAE,KAAiB;IACpD,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;IACrB,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAmB,EAAE,KAAiB;IACpE,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC;IAC5B,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAA0B,EAC1B,KAAqB,EACrB,OAA8B;IAE9B,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1B,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACtC,MAAM,MAAM,GAAG,+BAA+B,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE;QACnE,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;IACT,CAAC;IACD,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/B,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACjE,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9D,MAAM,cAAc,GAAG,sBAAsB,CAAC,YAAY,EAAE,MAAM,EAAE;QAClE,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK;KACN,CAAC,CAAC;IACH,KAAK,CAAC,sBAAsB,KAAK,cAAc,IAAI,mBAAmB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;AACpG,CAAC"}

package/dist/src/analysis/subtree/analyze-subtree.d.ts

@@ -0,0 +1,15 @@
+import type { StateCandidate, StateSubtree, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { MaterialityPolicy } from "../constants.js";
+import type ts from "typescript";
+interface StateSubtreeOptions {
+    readonly childContracts: ChildContractResolver | null;
+    readonly directEffectCalls: ReadonlySet<ts.CallExpression>;
+    readonly effectOwnedMemoizedCommand: boolean;
+    readonly materiality: MaterialityPolicy;
+    readonly projectionAllowed: boolean;
+    readonly pureProjectionImports: ReadonlySet<string>;
+}
+export declare function analyzeStateSubtree(state: StateCandidate, usage: StateUsage, options: StateSubtreeOptions): StateSubtree | null;
+export {};
+//# sourceMappingURL=analyze-subtree.d.ts.map

package/dist/src/analysis/subtree/analyze-subtree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-subtree.d.ts","sourceRoot":"","sources":["../../../../src/analysis/subtree/analyze-subtree.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA4B5E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAQzD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;IAC3D,QAAQ,CAAC,0BAA0B,EAAE,OAAO,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACrD;AA4DD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,mBAAmB,GAC3B,YAAY,GAAG,IAAI,CAqBrB"}

package/dist/src/analysis/subtree/analyze-subtree.js

@@ -0,0 +1,178 @@
+import { COMPACT_OWNER_JSX_ELEMENTS, EMPTY_BINDINGS, MAX_LEAF_SUBTREE_RATIO, MIN_LEAF_SUBTREE_ELEMENTS, } from "../constants.js";
+import { boundedRenderProjectionReferences, oneHopRenderProjectionReferences, } from "../../rules/state-proofs/projection-hops.js";
+import { hasOnlyEventCommandReads, stateMayHoldCallable, } from "../../rules/state-proofs/state-proofs.js";
+import { isKeyedRepeatedProjection, isMaterialStateSubtree, isSafeEffectPresentationReference, isSafeMixedProjectionTransport, multipleOneHopRenderProjectionReferences, stateSubtreeResult, } from "./materiality.js";
+import { isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, lowestCommonJsxSubtree, } from "../../rules/state-proofs/jsx-subtrees.js";
+import { projectionSubtreeKind, projectionWritesAreDeferred, sharesJsxChildRenderCallback, } from "./projection-writes.js";
+import { closureConfinedReferences } from "./closure-confinement.js";
+import { commonRenderGateSubtree } from "../../rules/deferred-reveal/render-gates.js";
+import { effectSplitProjectionSubtree } from "./effect-split.js";
+import { hasAncestorInSet } from "../ast-helpers.js";
+import { isUniquelySelectedRepeatedProjection } from "../../rules/state-proofs/unique-repeated-selection.js";
+import { nearestNestedFunction } from "../../core/ast.js";
+import { ownerDeclaresBinding } from "../owner-scan.js";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+function isEffectWrittenPresentation(usage, directEffectCalls) {
+    return (usage.effectWrites > 0 &&
+        usage.effectWrites === usage.setterCalls &&
+        usage.setterReferences === usage.setterCalls &&
+        usage.setterCallNodes.every((call) => hasAncestorInSet(call, directEffectCalls)) &&
+        usage.deferredReads === 0 &&
+        !usage.setterUsesPreviousValue);
+}
+function stateRendersFromBoundedSubtree(state, usage, { effectWrittenPresentation, ownerJsx, splitEffectProjection }) {
+    return ((ownerJsx >= COMPACT_OWNER_JSX_ELEMENTS || effectWrittenPresentation) &&
+        !stateMayHoldCallable(state) &&
+        usage.directRenderNodes.length > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.setterCallNodes.length > 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        usage.effectReads === 0 &&
+        (usage.effectWrites === 0 || effectWrittenPresentation) &&
+        (usage.deferredReads === 0 || hasOnlyEventCommandReads(state)) &&
+        !usage.shadowed &&
+        (!usage.escaped || splitEffectProjection !== null));
+}
+function renderProjectionNodes(state, usage, effectWrittenPresentation) {
+    if (effectWrittenPresentation) {
+        return (multipleOneHopRenderProjectionReferences(state.owner, usage.directRenderNodes) ??
+            usage.directRenderNodes);
+    }
+    return (boundedRenderProjectionReferences(state.owner, usage.directRenderNodes) ??
+        oneHopRenderProjectionReferences(state.owner, usage.directRenderNodes) ??
+        usage.directRenderNodes);
+}
+export function analyzeStateSubtree(state, usage, options) {
+    const { directEffectCalls, materiality, pureProjectionImports } = options;
+    const ownerJsx = jsxElementCount(state.owner);
+    const effectWrittenPresentation = isEffectWrittenPresentation(usage, directEffectCalls);
+    const splitEffectProjection = effectWrittenPresentation
+        ? effectSplitProjectionSubtree(state, usage, { materiality, ownerJsx, pureProjectionImports })
+        : null;
+    if (!stateRendersFromBoundedSubtree(state, usage, {
+        effectWrittenPresentation,
+        ownerJsx,
+        splitEffectProjection,
+    })) {
+        return closureConfinedSubtree(state, usage, options);
+    }
+    return (splitEffectProjection ??
+        renderSubtreeFor(state, usage, { ...options, effectWrittenPresentation, ownerJsx }) ??
+        closureConfinedSubtree(state, usage, options));
+}
+function renderSubtreeFor(state, usage, scope) {
+    const { effectWrittenPresentation, projectionAllowed } = scope;
+    const projectionNodes = renderProjectionNodes(state, usage, effectWrittenPresentation);
+    const renderReadsInNestedCallbacks = projectionNodes.some((node) => nearestNestedFunction(node, state.owner) !== null);
+    const allowsDirectSubtree = !effectWrittenPresentation &&
+        usage.transportedOccurrences === 0 &&
+        projectionAllowed &&
+        !renderReadsInNestedCallbacks;
+    return ((allowsDirectSubtree ? directRenderSubtree(state, usage, scope) : null) ??
+        projectionSubtreeFor(state, usage, {
+            ...scope,
+            allowedProjectionCalls: projectionCallAllowlist(state, scope, effectWrittenPresentation),
+            projectionNodes,
+            renderReadsInNestedCallbacks,
+            uniqueRepeatedProjection: isUniquelySelectedRepeatedProjection(projectionNodes, state.owner),
+        }));
+}
+function projectionCallAllowlist(state, { pureProjectionImports }, effectWrittenPresentation) {
+    if (!effectWrittenPresentation) {
+        return EMPTY_BINDINGS;
+    }
+    return new Set([...pureProjectionImports].filter((name) => !ownerDeclaresBinding(state.owner, name)));
+}
+function directRenderSubtree(state, usage, { materiality, ownerJsx }) {
+    return boundedDirectSubtree(state, [...usage.directRenderNodes, ...usage.setterCallNodes], {
+        materiality,
+        movedDeclarations: [],
+        ownerJsx,
+    });
+}
+/**
+ * A state whose render proof fails only because its reads and writes sit inside owner-level
+ * handlers or derived constants still moves down when every such declaration is used only inside
+ * one bounded subtree: the declarations move with the state, so the owner never renders for it.
+ */
+function closureConfinedSubtree(state, usage, { materiality, projectionAllowed }) {
+    if (!projectionAllowed ||
+        stateMayHoldCallable(state) ||
+        usage.effectReads > 0 ||
+        usage.effectWrites > 0 ||
+        usage.setterReferences === 0 ||
+        usage.setterUsesPreviousValue) {
+        return null;
+    }
+    const confined = closureConfinedReferences(state);
+    if (!confined || confined.movedDeclarations.length === 0) {
+        return null;
+    }
+    const subtree = boundedDirectSubtree(state, confined.nodes, {
+        materiality,
+        movedDeclarations: confined.movedDeclarations,
+        ownerJsx: jsxElementCount(state.owner),
+    });
+    return subtree && !subtree.repeated && !subtreeIsReturnRoot(subtree, confined.returned)
+        ? subtree
+        : null;
+}
+/** Extracting the whole returned tree leaves nothing above the cut, so it proves no render saving. */
+function subtreeIsReturnRoot(subtree, returned) {
+    return unwrapTransparentExpression(returned) === subtree.node;
+}
+function boundedDirectSubtree(state, nodes, { materiality, movedDeclarations, ownerJsx }) {
+    const direct = lowestCommonJsxSubtree(nodes, state.owner);
+    if (!direct) {
+        return null;
+    }
+    const subtreeJsx = jsxElementCountIn(direct);
+    if (ownerJsx < materiality.broadOwnerJsx ||
+        subtreeJsx < MIN_LEAF_SUBTREE_ELEMENTS ||
+        subtreeJsx / ownerJsx > MAX_LEAF_SUBTREE_RATIO) {
+        return null;
+    }
+    return stateSubtreeResult("direct", direct, { movedDeclarations, renderNodes: nodes, state });
+}
+function isSafeJsxChildProjection(state, usage, { childContracts, directEffectCalls, projectionNodes }) {
+    return (sharesJsxChildRenderCallback(projectionNodes, state.owner) &&
+        projectionWritesAreDeferred(usage, state.owner, { childContracts, directEffectCalls }));
+}
+function projectionSubtreeFor(state, usage, scope) {
+    const { effectOwnedMemoizedCommand, effectWrittenPresentation, ownerJsx, projectionAllowed, projectionNodes, renderReadsInNestedCallbacks, uniqueRepeatedProjection, } = scope;
+    const gateProjection = renderReadsInNestedCallbacks
+        ? null
+        : commonRenderGateSubtree(projectionNodes, state.owner);
+    if (!projectionAllowed || !projectionAcceptsNodes(state, usage, { ...scope, gateProjection })) {
+        return null;
+    }
+    const projection = gateProjection ?? lowestCommonJsxSubtree(projectionNodes, state.owner);
+    if (!projection ||
+        !isMaterialStateSubtree(projection, ownerJsx, {
+            effectWrittenPresentation,
+            materiality: scope.materiality,
+            uniqueRepeatedProjection,
+        }) ||
+        (usage.transportedOccurrences > 0 &&
+            !isSafeMixedProjectionTransport(state, usage, {
+                allowNestedSite: effectWrittenPresentation,
+                common: projection,
+            }))) {
+        return null;
+    }
+    return stateSubtreeResult(projectionSubtreeKind(effectOwnedMemoizedCommand, effectWrittenPresentation, Boolean(gateProjection)), projection, { renderNodes: projectionNodes, state, uniqueRepeatedBranch: uniqueRepeatedProjection });
+}
+function projectionAcceptsNodes(state, usage, scope) {
+    const { gateProjection } = scope;
+    const { allowedProjectionCalls, effectWrittenPresentation, projectionNodes, renderReadsInNestedCallbacks, uniqueRepeatedProjection, } = scope;
+    const safeProjectionReferences = projectionNodes.every((node) => isSafeJsxProjectionReference(node, state.owner, allowedProjectionCalls) ||
+        (effectWrittenPresentation && isSafeEffectPresentationReference(node, state.owner)));
+    if (!safeProjectionReferences && !gateProjection) {
+        return false;
+    }
+    return (!renderReadsInNestedCallbacks ||
+        isKeyedRepeatedProjection(projectionNodes, state.owner) ||
+        uniqueRepeatedProjection ||
+        isSafeJsxChildProjection(state, usage, scope));
+}
+//# sourceMappingURL=analyze-subtree.js.map

package/dist/src/analysis/subtree/analyze-subtree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-subtree.js","sourceRoot":"","sources":["../../../../src/analysis/subtree/analyze-subtree.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAC1B,cAAc,EACd,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,iCAAiC,EACjC,gCAAgC,GACjC,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,iCAAiC,EACjC,8BAA8B,EAC9B,wCAAwC,EACxC,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,oCAAoC,EAAE,MAAM,uDAAuD,CAAC;AAC7G,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAWzE,SAAS,2BAA2B,CAClC,KAAiB,EACjB,iBAAiD;IAEjD,OAAO,CACL,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,WAAW;QACxC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAChF,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,CAAC,KAAK,CAAC,uBAAuB,CAC/B,CAAC;AACJ,CAAC;AAQD,SAAS,8BAA8B,CACrC,KAAqB,EACrB,KAAiB,EACjB,EAAE,yBAAyB,EAAE,QAAQ,EAAE,qBAAqB,EAAsB;IAElF,OAAO,CACL,CAAC,QAAQ,IAAI,0BAA0B,IAAI,yBAAyB,CAAC;QACrE,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,IAAI,yBAAyB,CAAC;QACvD,CAAC,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAC9D,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,qBAAqB,KAAK,IAAI,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAqB,EACrB,KAAiB,EACjB,yBAAkC;IAElC,IAAI,yBAAyB,EAAE,CAAC;QAC9B,OAAO,CACL,wCAAwC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC;YAC9E,KAAK,CAAC,iBAAiB,CACxB,CAAC;IACJ,CAAC;IACD,OAAO,CACL,iCAAiC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC;QACvE,gCAAgC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC;QACtE,KAAK,CAAC,iBAAiB,CACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,KAAqB,EACrB,KAAiB,EACjB,OAA4B;IAE5B,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,qBAAqB,EAAE,GAAG,OAAO,CAAC;IAC1E,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,yBAAyB,GAAG,2BAA2B,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACxF,MAAM,qBAAqB,GAAG,yBAAyB;QACrD,CAAC,CAAC,4BAA4B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,qBAAqB,EAAE,CAAC;QAC9F,CAAC,CAAC,IAAI,CAAC;IACT,IACE,CAAC,8BAA8B,CAAC,KAAK,EAAE,KAAK,EAAE;QAC5C,yBAAyB;QACzB,QAAQ;QACR,qBAAqB;KACtB,CAAC,EACF,CAAC;QACD,OAAO,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,CACL,qBAAqB;QACrB,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,CAAC;QACnF,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAC9C,CAAC;AACJ,CAAC;AAOD,SAAS,gBAAgB,CACvB,KAAqB,EACrB,KAAiB,EACjB,KAAyB;IAEzB,MAAM,EAAE,yBAAyB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAC/D,MAAM,eAAe,GAAG,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,yBAAyB,CAAC,CAAC;IACvF,MAAM,4BAA4B,GAAG,eAAe,CAAC,IAAI,CACvD,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAC5D,CAAC;IACF,MAAM,mBAAmB,GACvB,CAAC,yBAAyB;QAC1B,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,iBAAiB;QACjB,CAAC,4BAA4B,CAAC;IAChC,OAAO,CACL,CAAC,mBAAmB,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE;YACjC,GAAG,KAAK;YACR,sBAAsB,EAAE,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,yBAAyB,CAAC;YACxF,eAAe;YACf,4BAA4B;YAC5B,wBAAwB,EAAE,oCAAoC,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC;SAC7F,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAqB,EACrB,EAAE,qBAAqB,EAAuB,EAC9C,yBAAkC;IAElC,IAAI,CAAC,yBAAyB,EAAE,CAAC;QAC/B,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,GAAG,CACZ,CAAC,GAAG,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CACtF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAqB,EACrB,KAAiB,EACjB,EAAE,WAAW,EAAE,QAAQ,EAAsB;IAE7C,OAAO,oBAAoB,CAAC,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,KAAK,CAAC,eAAe,CAAC,EAAE;QACzF,WAAW;QACX,iBAAiB,EAAE,EAAE;QACrB,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAC7B,KAAqB,EACrB,KAAiB,EACjB,EAAE,WAAW,EAAE,iBAAiB,EAAuB;IAEvD,IACE,CAAC,iBAAiB;QAClB,oBAAoB,CAAC,KAAK,CAAC;QAC3B,KAAK,CAAC,WAAW,GAAG,CAAC;QACrB,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,uBAAuB,EAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE;QAC1D,WAAW;QACX,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;QAC7C,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;KACvC,CAAC,CAAC;IACH,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;QACrF,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,sGAAsG;AACtG,SAAS,mBAAmB,CAAC,OAAqB,EAAE,QAAuB;IACzE,OAAO,2BAA2B,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;AAChE,CAAC;AAQD,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,KAAyB,EACzB,EAAE,WAAW,EAAE,iBAAiB,EAAE,QAAQ,EAAsB;IAEhE,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,IACE,QAAQ,GAAG,WAAW,CAAC,aAAa;QACpC,UAAU,GAAG,yBAAyB;QACtC,UAAU,GAAG,QAAQ,GAAG,sBAAsB,EAC9C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,iBAAiB,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAChG,CAAC;AAWD,SAAS,wBAAwB,CAC/B,KAAqB,EACrB,KAAiB,EACjB,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,EAA0B;IAE9E,OAAO,CACL,4BAA4B,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1D,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,iBAAiB,EAAE,CAAC,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,KAAiB,EACjB,KAA6B;IAE7B,MAAM,EACJ,0BAA0B,EAC1B,yBAAyB,EACzB,QAAQ,EACR,iBAAiB,EACjB,eAAe,EACf,4BAA4B,EAC5B,wBAAwB,GACzB,GAAG,KAAK,CAAC;IACV,MAAM,cAAc,GAAG,4BAA4B;QACjD,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,uBAAuB,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,iBAAiB,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,IAAI,sBAAsB,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1F,IACE,CAAC,UAAU;QACX,CAAC,sBAAsB,CAAC,UAAU,EAAE,QAAQ,EAAE;YAC5C,yBAAyB;YACzB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,wBAAwB;SACzB,CAAC;QACF,CAAC,KAAK,CAAC,sBAAsB,GAAG,CAAC;YAC/B,CAAC,8BAA8B,CAAC,KAAK,EAAE,KAAK,EAAE;gBAC5C,eAAe,EAAE,yBAAyB;gBAC1C,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC,EACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CACvB,qBAAqB,CACnB,0BAA0B,EAC1B,yBAAyB,EACzB,OAAO,CAAC,cAAc,CAAC,CACxB,EACD,UAAU,EACV,EAAE,WAAW,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,CACxF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAqB,EACrB,KAAiB,EACjB,KAAkF;IAElF,MAAM,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;IACjC,MAAM,EACJ,sBAAsB,EACtB,yBAAyB,EACzB,eAAe,EACf,4BAA4B,EAC5B,wBAAwB,GACzB,GAAG,KAAK,CAAC;IACV,MAAM,wBAAwB,GAAG,eAAe,CAAC,KAAK,CACpD,CAAC,IAAI,EAAE,EAAE,CACP,4BAA4B,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,sBAAsB,CAAC;QACvE,CAAC,yBAAyB,IAAI,iCAAiC,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CACtF,CAAC;IACF,IAAI,CAAC,wBAAwB,IAAI,CAAC,cAAc,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,CAAC,4BAA4B;QAC7B,yBAAyB,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC;QACvD,wBAAwB;QACxB,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAC9C,CAAC;AACJ,CAAC"}

package/dist/src/analysis/subtree/closure-confinement.d.ts

@@ -0,0 +1,18 @@
+import type { StateCandidate } from "../model.js";
+import ts from "typescript";
+export interface ClosureConfinedReferences {
+    readonly movedDeclarations: readonly string[];
+    readonly nodes: readonly ts.Node[];
+    /** The one owner return whose JSX holds every confined reference. */
+    readonly returned: ts.Expression;
+}
+/**
+ * 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 declare function closureConfinedReferences(state: StateCandidate): ClosureConfinedReferences | null;
+//# sourceMappingURL=closure-confinement.d.ts.map

package/dist/src/analysis/subtree/closure-confinement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure-confinement.d.ts","sourceRoot":"","sources":["../../../../src/analysis/subtree/closure-confinement.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC;IACnC,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;CAClC;AA2BD;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,cAAc,GAAG,yBAAyB,GAAG,IAAI,CAcjG"}