legend-doctor 0.1.0

package/dist/src/analysis/proofs/leaf-consumer-proofs.js

@@ -0,0 +1,109 @@
+import { isAdjacentEffectBooleanLeafState, isAdjacentEventBooleanLeafState, isMultiSurfaceLiteralBooleanState, } from "../../rules/literal-boolean-leaf/literal-boolean-leaf.js";
+import { findAsyncLeafStatuses } from "../../rules/async-leaf-status/async-leaf-status.js";
+import { findBranchUnmountMoves } from "../branch-unmount.js";
+import { findIndependentStateWrites } from "../independent-writes.js";
+import { isCustomHookOwner } from "../ast-helpers.js";
+import { isReactiveHostPropScalarState } from "../../rules/event-scalar-leaf/reactive-host-prop.js";
+import { isSourceEventScalarLeafState } from "../../rules/event-scalar-leaf/event-scalar-leaf.js";
+import { nearestNestedFunction } from "../../core/ast.js";
+import { sourceProvenDirectEventCallbacks } from "../callbacks/deferred-events.js";
+export function collectLeafConsumerProofs(analysis, callbacks, proofs) {
+    const { childContracts, localComponents, sourceComponents, stateFlow, states, usageByState } = analysis;
+    const { eventCallbacksByOwner } = callbacks;
+    const { reactiveMutationAffectedStates, safeCommandStates } = proofs;
+    return {
+        ...booleanLeafConsumerProofs(analysis, proofs),
+        ...scalarLeafConsumerProofs(analysis, callbacks, proofs),
+        asyncLeafStatuses: findAsyncLeafStatuses({
+            states,
+            usageByState,
+            safeCommandStates,
+            reactiveMutationAffectedStates,
+            localComponents,
+            sourceComponents,
+            childContracts,
+            eventCallbacksByOwner,
+        }),
+        branchUnmountMoves: findBranchUnmountMoves(states, {
+            safeCommandStates,
+            stateFlow,
+            usageByState,
+        }),
+        independentStateWrites: findIndependentStateWrites(states),
+    };
+}
+function booleanLeafConsumerProofs(analysis, proofs) {
+    const { directEffectCallbacks, materiality, pureProjectionImports, states, usageByState } = analysis;
+    const { reactiveMutationAffectedStates, safeCommandStates, statesWithCompanionWrites } = proofs;
+    const evidenceFor = (state) => ({
+        hasCompanionWrites: statesWithCompanionWrites.has(state),
+        hasReactiveMutationPath: reactiveMutationAffectedStates.has(state),
+        hasSafeCommands: safeCommandStates.has(state),
+        isCustomHookOwner: isCustomHookOwner(state.owner),
+        materiality,
+        pureProjectionImports,
+    });
+    return {
+        adjacentEffectBooleanStates: new Set(states.filter((state) => {
+            const usage = usageByState.get(state);
+            return (usage !== undefined &&
+                isAdjacentEffectBooleanLeafState(state, usage, {
+                    ...evidenceFor(state),
+                    effectWritesAreDirect: usage.setterCallNodes.every((call) => {
+                        const callback = nearestNestedFunction(call, state.owner);
+                        return callback !== null && directEffectCallbacks.has(callback);
+                    }),
+                }));
+        })),
+        adjacentEventBooleanStates: new Set(states.filter((state) => {
+            const usage = usageByState.get(state);
+            return (usage !== undefined && isAdjacentEventBooleanLeafState(state, usage, evidenceFor(state)));
+        })),
+        multiSurfaceBooleanStates: new Set(states.filter((state) => {
+            const usage = usageByState.get(state);
+            return (usage !== undefined && isMultiSurfaceLiteralBooleanState(state, usage, evidenceFor(state)));
+        })),
+    };
+}
+function ownerSourceEventCallbacks(owner, imports, { childContracts, sourceEventCallbacksByOwner }) {
+    const cached = sourceEventCallbacksByOwner.get(owner);
+    if (cached) {
+        return cached;
+    }
+    const resolved = sourceProvenDirectEventCallbacks(owner, imports, childContracts);
+    sourceEventCallbacksByOwner.set(owner, resolved);
+    return resolved;
+}
+function scalarLeafConsumerProofs(analysis, callbacks, proofs) {
+    const { childContracts, imports, localComponents, pureProjectionImports, sourceComponents } = analysis;
+    const { states, usageByState } = analysis;
+    const { reactiveMutationAffectedStates, safeCommandStates, statesWithCompanionWrites } = proofs;
+    if (!childContracts) {
+        return { reactiveHostPropScalarStates: new Set(), sourceEventScalarStates: new Set() };
+    }
+    const cache = {
+        childContracts,
+        sourceEventCallbacksByOwner: callbacks.sourceEventCallbacksByOwner,
+    };
+    const scalarStates = states.filter((state) => usageByState.get(state) !== undefined && !isCustomHookOwner(state.owner));
+    const evidenceFor = (state) => ({
+        eventCallbacks: ownerSourceEventCallbacks(state.owner, imports, cache),
+        hasCompanionWrites: statesWithCompanionWrites.has(state),
+        hasReactiveMutationPath: reactiveMutationAffectedStates.has(state),
+        hasSafeCommands: safeCommandStates.has(state),
+        pureProjectionImports,
+        useCallbackNames: imports.useCallback,
+    });
+    return {
+        reactiveHostPropScalarStates: new Set(scalarStates.filter((state) => isReactiveHostPropScalarState(state, usageByState.get(state), {
+            ...evidenceFor(state),
+            hostTags: imports,
+        }))),
+        sourceEventScalarStates: new Set(scalarStates.filter((state) => isSourceEventScalarLeafState(state, usageByState.get(state), {
+            ...evidenceFor(state),
+            localComponents,
+            sourceComponents,
+        }))),
+    };
+}
+//# sourceMappingURL=leaf-consumer-proofs.js.map

package/dist/src/analysis/proofs/leaf-consumer-proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaf-consumer-proofs.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/leaf-consumer-proofs.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,gCAAgC,EAChC,+BAA+B,EAC/B,iCAAiC,GAClC,MAAM,0DAA0D,CAAC;AAMlE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oDAAoD,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,6BAA6B,EAAE,MAAM,qDAAqD,CAAC;AACpG,OAAO,EAAE,4BAA4B,EAAE,MAAM,oDAAoD,CAAC;AAClG,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,gCAAgC,EAAE,MAAM,iCAAiC,CAAC;AAEnF,MAAM,UAAU,yBAAyB,CACvC,QAAwB,EACxB,SAA8B,EAC9B,MAAuC;IAEvC,MAAM,EAAE,cAAc,EAAE,eAAe,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,GAC1F,QAAQ,CAAC;IACX,MAAM,EAAE,qBAAqB,EAAE,GAAG,SAAS,CAAC;IAC5C,MAAM,EAAE,8BAA8B,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAAC;IACrE,OAAO;QACL,GAAG,yBAAyB,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC9C,GAAG,wBAAwB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;QACxD,iBAAiB,EAAE,qBAAqB,CAAC;YACvC,MAAM;YACN,YAAY;YACZ,iBAAiB;YACjB,8BAA8B;YAC9B,eAAe;YACf,gBAAgB;YAChB,cAAc;YACd,qBAAqB;SACtB,CAAC;QACF,kBAAkB,EAAE,sBAAsB,CAAC,MAAM,EAAE;YACjD,iBAAiB;YACjB,SAAS;YACT,YAAY;SACb,CAAC;QACF,sBAAsB,EAAE,0BAA0B,CAAC,MAAM,CAAC;KAC3D,CAAC;AACJ,CAAC;AA0BD,SAAS,yBAAyB,CAChC,QAAwB,EACxB,MAAuC;IAEvC,MAAM,EAAE,qBAAqB,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,EAAE,YAAY,EAAE,GACvF,QAAQ,CAAC;IACX,MAAM,EAAE,8BAA8B,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,GAAG,MAAM,CAAC;IAChG,MAAM,WAAW,GAAG,CAAC,KAAqB,EAA8B,EAAE,CAAC,CAAC;QAC1E,kBAAkB,EAAE,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QACxD,uBAAuB,EAAE,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC;QAClE,eAAe,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7C,iBAAiB,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QACjD,WAAW;QACX,qBAAqB;KACtB,CAAC,CAAC;IACH,OAAO;QACL,2BAA2B,EAAE,IAAI,GAAG,CAClC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YACtB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,CACL,KAAK,KAAK,SAAS;gBACnB,gCAAgC,CAAC,KAAK,EAAE,KAAK,EAAE;oBAC7C,GAAG,WAAW,CAAC,KAAK,CAAC;oBACrB,qBAAqB,EAAE,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC1D,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;wBAC1D,OAAO,QAAQ,KAAK,IAAI,IAAI,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAClE,CAAC,CAAC;iBACH,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CACH;QACD,0BAA0B,EAAE,IAAI,GAAG,CACjC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YACtB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,CACL,KAAK,KAAK,SAAS,IAAI,+BAA+B,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CACzF,CAAC;QACJ,CAAC,CAAC,CACH;QACD,yBAAyB,EAAE,IAAI,GAAG,CAChC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YACtB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,CACL,KAAK,KAAK,SAAS,IAAI,iCAAiC,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAC3F,CAAC;QACJ,CAAC,CAAC,CACH;KACF,CAAC;AACJ,CAAC;AAOD,SAAS,yBAAyB,CAChC,KAA0B,EAC1B,OAAoB,EACpB,EAAE,cAAc,EAAE,2BAA2B,EAA4B;IAEzE,MAAM,MAAM,GAAG,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,gCAAgC,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAClF,2BAA2B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAOD,SAAS,wBAAwB,CAC/B,QAAwB,EACxB,SAA8B,EAC9B,MAAuC;IAEvC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,GACzF,QAAQ,CAAC;IACX,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC1C,MAAM,EAAE,8BAA8B,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,GAAG,MAAM,CAAC;IAChG,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,EAAE,4BAA4B,EAAE,IAAI,GAAG,EAAE,EAAE,uBAAuB,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACzF,CAAC;IACD,MAAM,KAAK,GAA6B;QACtC,cAAc;QACd,2BAA2B,EAAE,SAAS,CAAC,2BAA2B;KACnE,CAAC;IACF,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CACpF,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,KAAqB,EAAsB,EAAE,CAAC,CAAC;QAClE,cAAc,EAAE,yBAAyB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC;QACtE,kBAAkB,EAAE,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QACxD,uBAAuB,EAAE,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC;QAClE,eAAe,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7C,qBAAqB;QACrB,gBAAgB,EAAE,OAAO,CAAC,WAAW;KACtC,CAAC,CAAC;IACH,OAAO;QACL,4BAA4B,EAAE,IAAI,GAAG,CACnC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,6BAA6B,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE;YAC7D,GAAG,WAAW,CAAC,KAAK,CAAC;YACrB,QAAQ,EAAE,OAAO;SAClB,CAAC,CACH,CACF;QACD,uBAAuB,EAAE,IAAI,GAAG,CAC9B,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,4BAA4B,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE;YAC5D,GAAG,WAAW,CAAC,KAAK,CAAC;YACrB,eAAe;YACf,gBAAgB;SACjB,CAAC,CACH,CACF;KACF,CAAC;AACJ,CAAC"}

package/dist/src/analysis/proofs/ownership-proofs.d.ts

@@ -0,0 +1,3 @@
+import type { CommandProofs, OwnerEventCallbacks, OwnershipProofs, SourceAnalysis } from "./contracts.js";
+export declare function collectOwnershipProofs(analysis: SourceAnalysis, callbacks: OwnerEventCallbacks, commands: CommandProofs): OwnershipProofs;
+//# sourceMappingURL=ownership-proofs.d.ts.map

package/dist/src/analysis/proofs/ownership-proofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership-proofs.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/ownership-proofs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,mBAAmB,EACnB,eAAe,EACf,cAAc,EACf,MAAM,gBAAgB,CAAC;AAwFxB,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,cAAc,EACxB,SAAS,EAAE,mBAAmB,EAC9B,QAAQ,EAAE,aAAa,GACtB,eAAe,CAyBjB"}

package/dist/src/analysis/proofs/ownership-proofs.js

@@ -0,0 +1,85 @@
+import { EMPTY_RUNTIME_FUNCTIONS } from "../constants.js";
+import { collectEffectStateScopes } from "../owner-bindings.js";
+import { findDeferredRevealStates } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { findStateCompanionWrites } from "../companion-writes.js";
+import { isCustomHookOwner } from "../ast-helpers.js";
+import { isPropertyLocalObjectDraftState } from "../../rules/object-draft/object-draft.js";
+import { isSelectionStateName } from "../../rules/keyed-selection/keyed-selection.js";
+import { isSetOrMapState } from "../../rules/keyed-selection/state-value-shapes.js";
+import { nullableDialogPayloadCut } from "../dialog/nullable-payload-cut.js";
+function selectionStateOwners(states, usageByState) {
+    return new Set(states
+        .filter((state) => {
+        const usage = usageByState.get(state);
+        return (isSetOrMapState(state.call) &&
+            isCustomHookOwner(state.owner) &&
+            isSelectionStateName(state.valueName) &&
+            usage !== undefined &&
+            usage.effectWrites === 0);
+    })
+        .map((state) => state.owner));
+}
+function collectDialogPayloadCuts(analysis, { safeCommandStates, statesWithCompanionWrites }) {
+    const { childContracts, imports, knownComponents, materiality, states, usageByState } = analysis;
+    const dialogPayloadCuts = new Map();
+    for (const state of states) {
+        const usage = usageByState.get(state);
+        if (!usage || statesWithCompanionWrites.has(state) || !safeCommandStates.has(state)) {
+            continue;
+        }
+        const cut = nullableDialogPayloadCut(state, usage, {
+            childContracts,
+            imports,
+            knownComponents,
+            materiality,
+        });
+        if (cut) {
+            dialogPayloadCuts.set(state, cut);
+        }
+    }
+    return dialogPayloadCuts;
+}
+function objectDraftStates(analysis, { eventCallbacksByOwner }, proofs) {
+    const { childContracts, localComponents, sourceComponents, states, usageByState } = analysis;
+    const { reactiveMutationAffectedStates, safeCommandStates, statesWithCompanionWrites } = proofs;
+    return new Set(states.filter((state) => {
+        const usage = usageByState.get(state);
+        return (usage !== undefined &&
+            isPropertyLocalObjectDraftState(state, usage, {
+                childContracts,
+                eventCallbacks: eventCallbacksByOwner.get(state.owner) ?? EMPTY_RUNTIME_FUNCTIONS,
+                hasCompanionWrites: statesWithCompanionWrites.has(state),
+                hasReactiveMutationPath: reactiveMutationAffectedStates.has(state),
+                hasSafeCommands: safeCommandStates.has(state),
+                localComponents,
+                sourceComponents,
+            }));
+    }));
+}
+export function collectOwnershipProofs(analysis, callbacks, commands) {
+    const { effects, stateFlow, states, usageByState } = analysis;
+    const { safeCommandStates } = commands;
+    const companionWrites = findStateCompanionWrites(states, stateFlow);
+    const statesWithCompanionWrites = companionWrites.all;
+    const propertyLocalObjectDrafts = objectDraftStates(analysis, callbacks, {
+        ...commands,
+        statesWithCompanionWrites,
+    });
+    const effectStateScopes = collectEffectStateScopes(states, usageByState);
+    const observableSelectionOwners = selectionStateOwners(states, usageByState);
+    const deferredRevealStates = findDeferredRevealStates(effects, states, usageByState);
+    const dialogPayloadCuts = collectDialogPayloadCuts(analysis, {
+        safeCommandStates,
+        statesWithCompanionWrites,
+    });
+    return {
+        companionWrites,
+        deferredRevealStates,
+        dialogPayloadCuts,
+        effectStateScopes,
+        observableSelectionOwners,
+        propertyLocalObjectDrafts,
+        statesWithCompanionWrites,
+    };
+}
+//# sourceMappingURL=ownership-proofs.js.map

package/dist/src/analysis/proofs/ownership-proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership-proofs.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/ownership-proofs.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gDAAgD,CAAC;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,mDAAmD,CAAC;AACpF,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAE7E,SAAS,oBAAoB,CAC3B,MAAiC,EACjC,YAAqD;IAErD,OAAO,IAAI,GAAG,CACZ,MAAM;SACH,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,CACL,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;YAC3B,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,oBAAoB,CAAC,KAAK,CAAC,SAAS,CAAC;YACrC,KAAK,KAAK,SAAS;YACnB,KAAK,CAAC,YAAY,KAAK,CAAC,CACzB,CAAC;IACJ,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAOD,SAAS,wBAAwB,CAC/B,QAAwB,EACxB,EAAE,iBAAiB,EAAE,yBAAyB,EAAsB;IAEpE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IACjG,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAoC,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,IAAI,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE;YACjD,cAAc;YACd,OAAO;YACP,eAAe;YACf,WAAW;SACZ,CAAC,CAAC;QACH,IAAI,GAAG,EAAE,CAAC;YACR,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAwB,EACxB,EAAE,qBAAqB,EAAuB,EAC9C,MAA2F;IAE3F,MAAM,EAAE,cAAc,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC7F,MAAM,EAAE,8BAA8B,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,GAAG,MAAM,CAAC;IAChG,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,CACL,KAAK,KAAK,SAAS;YACnB,+BAA+B,CAAC,KAAK,EAAE,KAAK,EAAE;gBAC5C,cAAc;gBACd,cAAc,EAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,uBAAuB;gBACjF,kBAAkB,EAAE,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;gBACxD,uBAAuB,EAAE,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC;gBAClE,eAAe,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;gBAC7C,eAAe;gBACf,gBAAgB;aACjB,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,QAAwB,EACxB,SAA8B,EAC9B,QAAuB;IAEvB,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC9D,MAAM,EAAE,iBAAiB,EAAE,GAAG,QAAQ,CAAC;IACvC,MAAM,eAAe,GAAG,wBAAwB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,yBAAyB,GAAG,eAAe,CAAC,GAAG,CAAC;IACtD,MAAM,yBAAyB,GAAG,iBAAiB,CAAC,QAAQ,EAAE,SAAS,EAAE;QACvE,GAAG,QAAQ;QACX,yBAAyB;KAC1B,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACzE,MAAM,yBAAyB,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7E,MAAM,oBAAoB,GAAG,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IACrF,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,QAAQ,EAAE;QAC3D,iBAAiB;QACjB,yBAAyB;KAC1B,CAAC,CAAC;IACH,OAAO;QACL,eAAe;QACf,oBAAoB;QACpB,iBAAiB;QACjB,iBAAiB;QACjB,yBAAyB;QACzB,yBAAyB;QACzB,yBAAyB;KAC1B,CAAC;AACJ,CAAC"}

package/dist/src/analysis/proofs/rule-proofs.d.ts

@@ -0,0 +1,6 @@
+import type { EffectDraftProofs } from "../../rules/effect-drafts/model.js";
+import type { LazyCallbackLeafProofs } from "../../rules/lazy-callback-leaf.js";
+import type { StateFlowIndex } from "../../project/state-flow/state-flow.js";
+export declare const LAZY_CALLBACK_LEAF_PROOFS: LazyCallbackLeafProofs;
+export declare function effectDraftProofs(stateFlow: StateFlowIndex): EffectDraftProofs;
+//# sourceMappingURL=rule-proofs.d.ts.map

package/dist/src/analysis/proofs/rule-proofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-proofs.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/rule-proofs.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAK7E,eAAO,MAAM,yBAAyB,EAAE,sBAGvC,CAAC;AAEF,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,cAAc,GAAG,iBAAiB,CAU9E"}

package/dist/src/analysis/proofs/rule-proofs.js

@@ -0,0 +1,20 @@
+import { directUniqueReturnCallSite, uniqueReturnedExpression } from "../return-call-sites.js";
+import { mutationsAreProvenCoexecuting, nearestMutationFunction } from "../mutations.js";
+import { hasIndependentRenderCutWitness } from "../../rules/state-proofs/render-cut-witness.js";
+import { hasUnstableSubtreeLifetime } from "../../rules/state-proofs/jsx-subtrees.js";
+import { isCustomHookOwner } from "../ast-helpers.js";
+export const LAZY_CALLBACK_LEAF_PROOFS = {
+    hasUnstableSubtreeLifetime,
+    uniqueReturnedExpression,
+};
+export function effectDraftProofs(stateFlow) {
+    return {
+        directUniqueReturnCallSite,
+        hasIndependentRenderCutWitness,
+        isCustomHookOwner,
+        nearestMutationFunction,
+        setterMutationsCanCooccur: (left, right, region) => mutationsAreProvenCoexecuting(left, right, { region, stateFlow }),
+        uniqueReturnedExpression,
+    };
+}
+//# sourceMappingURL=rule-proofs.js.map

package/dist/src/analysis/proofs/rule-proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-proofs.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/rule-proofs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,OAAO,EAAE,6BAA6B,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAIzF,OAAO,EAAE,8BAA8B,EAAE,MAAM,gDAAgD,CAAC;AAChG,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD,MAAM,CAAC,MAAM,yBAAyB,GAA2B;IAC/D,0BAA0B;IAC1B,wBAAwB;CACzB,CAAC;AAEF,MAAM,UAAU,iBAAiB,CAAC,SAAyB;IACzD,OAAO;QACL,0BAA0B;QAC1B,8BAA8B;QAC9B,iBAAiB;QACjB,uBAAuB;QACvB,yBAAyB,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CACjD,6BAA6B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACnE,wBAAwB;KACzB,CAAC;AACJ,CAAC"}

package/dist/src/analysis/return-call-sites.d.ts

@@ -0,0 +1,11 @@
+import type { DirectReturnCallSite, StateUsage } from "./model.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import ts from "typescript";
+export declare function directUniqueReturnCallSite(usage: StateUsage, owner: RuntimeFunctionLike): DirectReturnCallSite | null;
+export declare function setterCallEndsCommand(call: ts.CallExpression, owner: RuntimeFunctionLike): boolean;
+export declare function uniqueReturnedExpression(owner: RuntimeFunctionLike): ts.Expression | null;
+export declare function directBranchReturnCallSite(usage: StateUsage, owner: RuntimeFunctionLike): DirectReturnCallSite | null;
+export declare function firstDirectJsxOpeningAt(body: ts.Node, position: number): ts.JsxOpeningElement | ts.JsxSelfClosingElement | null;
+export declare function stableOwnerLevelCallSite(usage: StateUsage, owner: RuntimeFunctionLike): ts.JsxOpeningElement | ts.JsxSelfClosingElement | null;
+export declare function callSiteIsKeyed(opening: ts.JsxOpeningElement | ts.JsxSelfClosingElement | null): boolean;
+//# sourceMappingURL=return-call-sites.d.ts.map

package/dist/src/analysis/return-call-sites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"return-call-sites.d.ts","sourceRoot":"","sources":["../../../src/analysis/return-call-sites.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAOnE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,GAAG,IAAI,CAG7B;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAeT;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,mBAAmB,GAAG,EAAE,CAAC,UAAU,GAAG,IAAI,CAWzF;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,GAAG,IAAI,CAO7B;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,QAAQ,EAAE,MAAM,GACf,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,GAAG,IAAI,CAYxD;AAqDD,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,mBAAmB,GACzB,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,GAAG,IAAI,CAOxD;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,GAAG,IAAI,GAC9D,OAAO,CAOT"}

package/dist/src/analysis/return-call-sites.js

@@ -0,0 +1,100 @@
+import { isRuntimeFunctionLike, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../core/ast.js";
+import { nearestMutationFunction } from "./mutations.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../core/analysis-ast.js";
+export function directUniqueReturnCallSite(usage, owner) {
+    const callSite = directBranchReturnCallSite(usage, owner);
+    return callSite && uniqueReturnedExpression(owner) ? callSite : null;
+}
+export function setterCallEndsCommand(call, owner) {
+    const command = nearestMutationFunction(call, owner);
+    if (!command.body) {
+        return false;
+    }
+    if (!ts.isBlock(command.body)) {
+        return unwrapTransparentExpression(command.body) === call;
+    }
+    const statement = call.parent;
+    return (ts.isExpressionStatement(statement) &&
+        statement.expression === call &&
+        statement.parent === command.body &&
+        command.body.statements.at(-1) === statement);
+}
+export function uniqueReturnedExpression(owner) {
+    if (!owner.body) {
+        return null;
+    }
+    const expressions = [];
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (ts.isReturnStatement(node) && node.expression) {
+            expressions.push(node.expression);
+        }
+    });
+    return expressions.length === 1 ? expressions[0] : null;
+}
+export function directBranchReturnCallSite(usage, owner) {
+    const [valueSite] = [...usage.valueTransportSites];
+    if (!owner.body || valueSite === undefined || usage.repeatedValueTransport) {
+        return null;
+    }
+    const opening = firstDirectJsxOpeningAt(owner.body, valueSite);
+    return opening ? directlyReturnedCallSite(opening, owner) : null;
+}
+export function firstDirectJsxOpeningAt(body, position) {
+    const openings = [];
+    visitSkippingNestedRuntimeFunctions(body, (node) => {
+        if (openings.length === 0 &&
+            (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) &&
+            node.getStart() === position) {
+            openings.push(node);
+        }
+    });
+    return openings[0] ?? null;
+}
+function directlyReturnedCallSite(opening, owner) {
+    for (let current = opening.parent; current && current !== owner; current = current.parent) {
+        if (ts.isVariableDeclaration(current) || isRuntimeFunctionLike(current)) {
+            return null;
+        }
+        if (ts.isReturnStatement(current)) {
+            return current.expression && nodeWithin(opening, current.expression)
+                ? { opening, returned: current.expression }
+                : null;
+        }
+    }
+    return null;
+}
+function firstJsxOpeningAt(body, position) {
+    const openings = [];
+    visit(body, (node) => {
+        if (openings.length === 0 &&
+            (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) &&
+            node.getStart() === position) {
+            openings.push(node);
+        }
+    });
+    return openings[0] ?? null;
+}
+function isOwnerLevelNode(node, owner) {
+    for (let current = node.parent; current && current !== owner; current = current.parent) {
+        if (isRuntimeFunctionLike(current)) {
+            return false;
+        }
+    }
+    return true;
+}
+export function stableOwnerLevelCallSite(usage, owner) {
+    const [valueSite] = [...usage.valueTransportSites];
+    if (valueSite === undefined || !owner.body) {
+        return null;
+    }
+    const opening = firstJsxOpeningAt(owner.body, valueSite);
+    return opening && isOwnerLevelNode(opening, owner) ? opening : null;
+}
+export function callSiteIsKeyed(opening) {
+    if (!opening) {
+        return true;
+    }
+    return opening.attributes.properties.some((property) => ts.isJsxAttribute(property) && property.name.getText() === "key");
+}
+//# sourceMappingURL=return-call-sites.js.map

package/dist/src/analysis/return-call-sites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"return-call-sites.js","sourceRoot":"","sources":["../../../src/analysis/return-call-sites.ts"],"names":[],"mappings":"AACA,OAAO,EACL,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAEtE,MAAM,UAAU,0BAA0B,CACxC,KAAiB,EACjB,KAA0B;IAE1B,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1D,OAAO,QAAQ,IAAI,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAuB,EACvB,KAA0B;IAE1B,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,2BAA2B,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IAC5D,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9B,OAAO,CACL,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACnC,SAAS,CAAC,UAAU,KAAK,IAAI;QAC7B,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI;QACjC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA0B;IACjE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAiB,EACjB,KAA0B;IAE1B,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC/D,OAAO,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAa,EACb,QAAgB;IAEhB,MAAM,QAAQ,GAAwD,EAAE,CAAC;IACzE,mCAAmC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACjD,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,QAAQ,EAC5B,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC7B,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAwD,EACxD,KAA0B;IAE1B,KACE,IAAI,OAAO,GAAwB,OAAO,CAAC,MAAM,EACjD,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC,UAAU,IAAI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC;gBAClE,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE;gBAC3C,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAa,EACb,QAAgB;IAEhB,MAAM,QAAQ,GAAwD,EAAE,CAAC;IACzE,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,QAAQ,EAC5B,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC7B,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa,EAAE,KAA0B;IACjE,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAiB,EACjB,KAA0B;IAE1B,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACnD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzD,OAAO,OAAO,IAAI,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,OAA+D;IAE/D,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACvC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAC/E,CAAC;AACJ,CAAC"}

package/dist/src/analysis/sibling-render-cut.d.ts

@@ -0,0 +1,4 @@
+import type { SiblingRenderCut, StateCandidate, StateUsage } from "./model.js";
+import ts from "typescript";
+export declare function siblingProducerConsumerCut(state: StateCandidate, usage: StateUsage, effectNodes: ReadonlySet<ts.Node>): SiblingRenderCut | null;
+//# sourceMappingURL=sibling-render-cut.d.ts.map

package/dist/src/analysis/sibling-render-cut.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sibling-render-cut.d.ts","sourceRoot":"","sources":["../../../src/analysis/sibling-render-cut.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAgC/E,OAAO,EAAE,MAAM,YAAY,CAAC;AAmF5B,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,GAChC,gBAAgB,GAAG,IAAI,CAoBzB"}

package/dist/src/analysis/sibling-render-cut.js

@@ -0,0 +1,156 @@
+import { MAX_LEAF_SUBTREE_RATIO, PAIRED_TRANSPORT_OCCURRENCES, SAFE_PROJECTION_CALLS, SMALL_OWNER_JSX_ELEMENTS, } from "./constants.js";
+import { findAncestorUntil, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../core/ast.js";
+import { hasAncestorInSet, isCustomHookOwner, jsxSubtreeForOpening, jsxSubtreeLabel, } from "./ast-helpers.js";
+import { hasUnstableSubtreeLifetime, isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, lowestCommonJsxSubtree, nearestRepeatedRenderCall, } from "../rules/state-proofs/jsx-subtrees.js";
+import { jsxProducerForSetterCall, shareUniqueOwnerReturn } from "./callbacks/local-callbacks.js";
+import { directUniqueReturnCallSite } from "./return-call-sites.js";
+import { isJsxNode } from "../rules/state-proofs/callback-sites.js";
+import { isRenderGateReference } from "../rules/deferred-reveal/render-gates.js";
+import { jsxSubtreeAncestors } from "../rules/deferred-reveal/jsx-subtrees.js";
+import { mutationRegionOnlyCallsStateSetters } from "../rules/effect-drafts/draft-mutations.js";
+import { nearestMutationFunction } from "./mutations.js";
+import { oneHopRenderProjectionReferences } from "../rules/state-proofs/projection-hops.js";
+import { stateMayHoldCallable } from "../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../core/analysis-ast.js";
+function hasLocalRenderConsumer(usage) {
+    return (usage.transportedOccurrences === 0 &&
+        usage.localRenderReads > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length);
+}
+function hasPairedTransportConsumer(usage) {
+    return (usage.localRenderReads === 0 &&
+        usage.valueTransportSites.size === 1 &&
+        usage.valueTargets.size === 1 &&
+        usage.setterTransportSites.size === 1 &&
+        usage.setterTargets.size === 1 &&
+        usage.setterCalls === 0 &&
+        usage.setterReferences === 1 &&
+        usage.transportedOccurrences === PAIRED_TRANSPORT_OCCURRENCES &&
+        !usage.repeatedTransport &&
+        !usage.unstableTransport);
+}
+function uniqueSetterProducer(state, usage, effectNodes) {
+    const setterNames = new Set(state.setterName === null ? [] : [state.setterName]);
+    const commandCalls = usage.setterCallNodes.filter((call) => !hasAncestorInSet(call, effectNodes));
+    const commandProducers = commandCalls.map((call) => jsxProducerForSetterCall(call, state.owner));
+    const producer = commandCalls.length > 0 ? commandProducers[0] : directTransportProducer(usage, state.owner);
+    if (!producer ||
+        commandProducers.some((candidate) => candidate !== producer) ||
+        commandCalls.some((call) => !mutationRegionOnlyCallsStateSetters(nearestMutationFunction(call, state.owner), setterNames))) {
+        return null;
+    }
+    return producer;
+}
+function subtreesAreStableSiblings(producerSubtree, consumer, owner) {
+    return (producerSubtree !== consumer &&
+        !nodeWithin(producerSubtree, consumer) &&
+        !nodeWithin(consumer, producerSubtree) &&
+        !nearestRepeatedRenderCall(producerSubtree, owner) &&
+        !hasUnstableSubtreeLifetime(producerSubtree, owner) &&
+        !hasUnstableSubtreeLifetime(consumer, owner) &&
+        shareUniqueOwnerReturn(producerSubtree, consumer, owner));
+}
+function stateAllowsSiblingRenderCut(state, usage) {
+    return (state.setterName !== null &&
+        !isCustomHookOwner(state.owner) &&
+        jsxElementCount(state.owner) >= SMALL_OWNER_JSX_ELEMENTS &&
+        (hasLocalRenderConsumer(usage) || hasPairedTransportConsumer(usage)) &&
+        usage.effectReads === 0 &&
+        usage.deferredReads === 0 &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        !stateMayHoldCallable(state));
+}
+export function siblingProducerConsumerCut(state, usage, effectNodes) {
+    if (!stateAllowsSiblingRenderCut(state, usage)) {
+        return null;
+    }
+    const consumer = siblingProjectionConsumer(state, usage);
+    if (!consumer) {
+        return null;
+    }
+    const producer = uniqueSetterProducer(state, usage, effectNodes);
+    if (!producer ||
+        !subtreesAreStableSiblings(jsxSubtreeForOpening(producer), consumer, state.owner)) {
+        return null;
+    }
+    return {
+        consumerLabel: jsxSubtreeLabel(consumer),
+        consumerLine: consumer.getSourceFile().getLineAndCharacterOfPosition(consumer.getStart()).line + 1,
+    };
+}
+function siblingProjectionConsumer(state, usage) {
+    if (usage.localRenderReads === 0) {
+        const opening = directUniqueReturnCallSite(usage, state.owner)?.opening;
+        return opening ? jsxSubtreeForOpening(opening) : null;
+    }
+    const references = oneHopRenderProjectionReferences(state.owner, usage.directRenderNodes);
+    if (!references ||
+        references.some((reference) => !isSafeSiblingProjectionReference(reference, state.owner))) {
+        return null;
+    }
+    const consumer = sharedProjectionSubtree(references, state.owner);
+    return consumer &&
+        jsxElementCountIn(consumer) / jsxElementCount(state.owner) <= MAX_LEAF_SUBTREE_RATIO
+        ? consumer
+        : null;
+}
+function sharedProjectionSubtree(references, owner) {
+    const repeated = references.map((reference) => nearestRepeatedRenderCall(reference, owner));
+    const [repeatedCall] = repeated;
+    if (repeated.some((call) => call !== repeatedCall)) {
+        return null;
+    }
+    return repeatedCall
+        ? (jsxSubtreeAncestors(repeatedCall, owner)[0] ?? null)
+        : lowestCommonJsxSubtree(references, owner);
+}
+function isSafeSiblingProjectionReference(reference, owner) {
+    if (isRenderGateReference(reference, owner) &&
+        !findAncestorUntil(reference, ts.isJsxAttribute, owner)) {
+        return false;
+    }
+    if (!findAncestorUntil(reference, isJsxNode, owner)) {
+        return false;
+    }
+    return (isSafeJsxProjectionReference(reference, owner, SAFE_PROJECTION_CALLS) ||
+        isSnapshotFallbackReference(reference, owner));
+}
+function isSnapshotFallbackReference(reference, boundary) {
+    const attribute = findAncestorUntil(reference, ts.isJsxAttribute, boundary);
+    const initializer = attribute?.initializer;
+    if (!initializer || !ts.isJsxExpression(initializer) || !initializer.expression) {
+        return false;
+    }
+    const expression = unwrapTransparentExpression(initializer.expression);
+    if (!ts.isBinaryExpression(expression) ||
+        expression.operatorToken.kind !== ts.SyntaxKind.QuestionQuestionToken ||
+        unwrapTransparentExpression(expression.left) !== reference) {
+        return false;
+    }
+    let readsStateAgain = false;
+    visit(expression.right, (node) => {
+        if (ts.isIdentifier(node) && node.text === reference.text) {
+            readsStateAgain = true;
+        }
+    });
+    return !readsStateAgain;
+}
+function directTransportProducer(usage, owner) {
+    const [site] = [...usage.setterTransportSites];
+    const valueCallSite = directUniqueReturnCallSite(usage, owner);
+    if (site === undefined || !valueCallSite) {
+        return null;
+    }
+    const openings = [];
+    visitSkippingNestedRuntimeFunctions(valueCallSite.returned, (node) => {
+        if ((ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) &&
+            node.getStart() === site) {
+            openings.push(node);
+        }
+    });
+    return openings.length === 1 ? openings[0] : null;
+}
+//# sourceMappingURL=sibling-render-cut.js.map

package/dist/src/analysis/sibling-render-cut.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sibling-render-cut.js","sourceRoot":"","sources":["../../../src/analysis/sibling-render-cut.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,4BAA4B,EAC5B,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,oBAAoB,EACpB,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGlG,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,mCAAmC,EAAE,MAAM,2CAA2C,CAAC;AAChG,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,gCAAgC,EAAE,MAAM,0CAA0C,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAC7E,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAEtE,SAAS,sBAAsB,CAAC,KAAiB;IAC/C,OAAO,CACL,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAC1D,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAiB;IACnD,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,KAAK,CAAC,oBAAoB,CAAC,IAAI,KAAK,CAAC;QACrC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAC9B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,sBAAsB,KAAK,4BAA4B;QAC7D,CAAC,KAAK,CAAC,iBAAiB;QACxB,CAAC,KAAK,CAAC,iBAAiB,CACzB,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,KAAiB,EACjB,WAAiC;IAEjC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,MAAM,YAAY,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAClG,MAAM,gBAAgB,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjG,MAAM,QAAQ,GACZ,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9F,IACE,CAAC,QAAQ;QACT,gBAAgB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC;QAC5D,YAAY,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,mCAAmC,CAClC,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAC1C,WAAW,CACZ,CACJ,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,yBAAyB,CAChC,eAA+B,EAC/B,QAAwB,EACxB,KAA0B;IAE1B,OAAO,CACL,eAAe,KAAK,QAAQ;QAC5B,CAAC,UAAU,CAAC,eAAe,EAAE,QAAQ,CAAC;QACtC,CAAC,UAAU,CAAC,QAAQ,EAAE,eAAe,CAAC;QACtC,CAAC,yBAAyB,CAAC,eAAe,EAAE,KAAK,CAAC;QAClD,CAAC,0BAA0B,CAAC,eAAe,EAAE,KAAK,CAAC;QACnD,CAAC,0BAA0B,CAAC,QAAQ,EAAE,KAAK,CAAC;QAC5C,sBAAsB,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAqB,EAAE,KAAiB;IAC3E,OAAO,CACL,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,wBAAwB;QACxD,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,0BAA0B,CAAC,KAAK,CAAC,CAAC;QACpE,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAqB,EACrB,KAAiB,EACjB,WAAiC;IAEjC,IAAI,CAAC,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACjE,IACE,CAAC,QAAQ;QACT,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,EACjF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC;QACxC,YAAY,EACV,QAAQ,CAAC,aAAa,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAqB,EACrB,KAAiB;IAEjB,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;QACxE,OAAO,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IACD,MAAM,UAAU,GAAG,gCAAgC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC1F,IACE,CAAC,UAAU;QACX,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,gCAAgC,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EACzF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAClE,OAAO,QAAQ;QACb,iBAAiB,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,sBAAsB;QACpF,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAAoC,EACpC,KAA0B;IAE1B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5F,MAAM,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,YAAY;QACjB,CAAC,CAAC,CAAC,mBAAmB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACvD,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,gCAAgC,CACvC,SAAwB,EACxB,KAA0B;IAE1B,IACE,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC;QACvC,CAAC,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,4BAA4B,CAAC,SAAS,EAAE,KAAK,EAAE,qBAAqB,CAAC;QACrE,2BAA2B,CAAC,SAAS,EAAE,KAAK,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAwB,EAAE,QAAiB;IAC9E,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,SAAS,EAAE,WAAW,CAAC;IAC3C,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IACvE,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QAClC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;QACrE,2BAA2B,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,SAAS,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;YAC1D,eAAe,GAAG,IAAI,CAAC;QACzB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAiB,EACjB,KAA0B;IAE1B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC/C,MAAM,aAAa,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/D,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,aAAa,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAwD,EAAE,CAAC;IACzE,mCAAmC,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACnE,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,EACxB,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC"}

package/dist/src/analysis/state-usage.d.ts

@@ -0,0 +1,17 @@
+import type { StateCandidate, StateUsage } from "./model.js";
+import type { HookImports } from "../core/imports.js";
+import ts from "typescript";
+export interface StateUsageScope {
+    /** Every lifecycle callback whose reads run after commit. */
+    readonly effectNodes: ReadonlySet<ts.Node>;
+    readonly imports: HookImports;
+    /** Persistence effects whose reads a Legend persist plugin would replace. */
+    readonly persistenceSinks: ReadonlySet<ts.Node>;
+}
+export declare function collectStateUsage(state: StateCandidate, { effectNodes, imports, persistenceSinks }: StateUsageScope): StateUsage;
+/**
+ * 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 declare function hasNoEffectReads(usage: StateUsage): boolean;
+//# sourceMappingURL=state-usage.d.ts.map

package/dist/src/analysis/state-usage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-usage.d.ts","sourceRoot":"","sources":["../../../src/analysis/state-usage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAwB7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAOtD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,eAAe;IAC9B,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;CACjD;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,cAAc,EACrB,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,eAAe,GAC1D,UAAU,CAOZ;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAE3D"}