legend-doctor 0.1.0

package/dist/src/analysis/verdicts/controlled-verdicts.js

@@ -0,0 +1,110 @@
+import { cohesiveControlledLeafOwner, stateReferencesConfinedTo, } from "../controlled-leaf-call-site.js";
+import { controlledLeafProjectionCut, controlledLeafRenderCut, controlledSameCallSiteProjectionCut, } from "../controlled-leaf-cuts.js";
+import { hasOnlyEventCommandReads, stateMayHoldCallable, } from "../../rules/state-proofs/state-proofs.js";
+import { EMPTY_NODES } from "../constants.js";
+import { controlledStateReadsAreEventOnly } from "./transport-verdicts.js";
+import { isCustomHookOwner } from "../ast-helpers.js";
+import { isExactControlledArrayMembershipToggle } from "../membership-toggle.js";
+import ts from "typescript";
+export function controlledLeafVerdict(context) {
+    const { eventTransitionCallbacks, hasCompanionWrites, hasIndependentDirectEventWrite, hasSafeCommands, localComponents, sourceComponents, state, usage, } = context;
+    const controlledLeafCut = !isCustomHookOwner(state.owner) &&
+        !stateMayHoldCallable(state) &&
+        controlledStateReadsAreEventOnly(usage) &&
+        (!usage.setterUsesPreviousValue || isExactControlledArrayMembershipToggle(state, usage)) &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        (!hasCompanionWrites || hasIndependentDirectEventWrite) &&
+        hasSafeCommands &&
+        hasOnlyEventCommandReads(state, EMPTY_NODES, eventTransitionCallbacks) &&
+        controlledLeafRenderCut(state, usage, { localComponents, sourceComponents });
+    if (controlledLeafCut) {
+        const target = [...usage.valueTargets][0] ?? "the controlled child";
+        const controlledSubtree = ts.isJsxOpeningElement(controlledLeafCut.opening)
+            ? controlledLeafCut.opening.parent
+            : controlledLeafCut.opening;
+        if (stateReferencesConfinedTo(state, controlledSubtree)) {
+            return {
+                action: "move-state-down",
+                confidence: "probable",
+                message: `Extract one stable local wrapper around \`${target}\` and move React state \`${state.valueName}\` into it; every value read and command is confined to that controlled leaf.`,
+            };
+        }
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace controlled state \`${state.valueName}\` with an owner-scoped observable and wrap \`${target}\` in a stable leaf subscriber; keep its value callback API unchanged and use non-tracking reads in submit or commit commands, snapshotting once at command entry before deferred work.`,
+        };
+    }
+    return null;
+}
+export function cohesiveControlledLeafVerdict(context) {
+    const { state, usage } = context;
+    const cohesiveControlledLeaf = cohesiveControlledLeafOwner(state, usage);
+    if (cohesiveControlledLeaf) {
+        return {
+            action: "keep-state",
+            confidence: "certain",
+            message: `Keep controlled state \`${state.valueName}\` in React; its value and setter are already confined to the cohesive \`${cohesiveControlledLeaf}\` leaf owner, so another observable subscriber would not narrow rendering.`,
+        };
+    }
+    return null;
+}
+export function controlledCallSiteProjectionVerdict(context) {
+    const { eventTransitionCallbacks, hasCompanionWrites, hasIndependentDirectEventWrite, hasSafeCommands, localComponents, sourceComponents, state, usage, } = context;
+    const controlledCallSiteProjection = !isCustomHookOwner(state.owner) &&
+        !stateMayHoldCallable(state) &&
+        usage.localRenderReads > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads === 0 &&
+        usage.transportedOccurrences > 0 &&
+        !usage.repeatedTransport &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        (!hasCompanionWrites || hasIndependentDirectEventWrite) &&
+        hasSafeCommands &&
+        hasOnlyEventCommandReads(state, new Set(usage.directRenderNodes), eventTransitionCallbacks)
+        ? controlledSameCallSiteProjectionCut(state, usage, { localComponents, sourceComponents })
+        : null;
+    if (controlledCallSiteProjection) {
+        const target = [...usage.valueTargets][0] ?? "the controlled child";
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace controlled state \`${state.valueName}\` with an owner-scoped observable and wrap \`${target}\` in one stable leaf subscriber; derive every state-dependent prop inside that wrapper, keep the callback API unchanged, and preserve the owner's state lifetime.`,
+        };
+    }
+    return null;
+}
+export function controlledProjectionCutVerdict(context) {
+    const { eventTransitionCallbacks, hasCompanionWrites, hasIndependentDirectEventWrite, hasSafeCommands, localComponents, sourceComponents, state, usage, } = context;
+    const controlledProjectionCut = !isCustomHookOwner(state.owner) &&
+        !stateMayHoldCallable(state) &&
+        usage.localRenderReads > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.transportedOccurrences > 0 &&
+        !usage.repeatedTransport &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        (!hasCompanionWrites || hasIndependentDirectEventWrite) &&
+        hasSafeCommands &&
+        hasOnlyEventCommandReads(state, new Set(usage.directRenderNodes), eventTransitionCallbacks)
+        ? controlledLeafProjectionCut(state, usage, { localComponents, sourceComponents })
+        : null;
+    if (controlledProjectionCut) {
+        const target = [...usage.valueTargets][0] ?? "the controlled child";
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace controlled state \`${state.valueName}\` with an owner-scoped observable; wrap \`${target}\` and the sibling ${controlledProjectionCut.consumerLabel} projection at line ${controlledProjectionCut.consumerLine} in stable leaf subscribers, derive validation from the subscribed value, keep the input callback API unchanged, and use non-tracking reads in event commands.`,
+        };
+    }
+    return null;
+}
+//# sourceMappingURL=controlled-verdicts.js.map

package/dist/src/analysis/verdicts/controlled-verdicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controlled-verdicts.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/controlled-verdicts.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,2BAA2B,EAC3B,uBAAuB,EACvB,mCAAmC,GACpC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,0CAA0C,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,EAAE,gCAAgC,EAAE,MAAM,yBAAyB,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,qBAAqB,CAAC,OAAmC;IACvE,MAAM,EACJ,wBAAwB,EACxB,kBAAkB,EAClB,8BAA8B,EAC9B,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,KAAK,EACL,KAAK,GACN,GAAG,OAAO,CAAC;IACZ,MAAM,iBAAiB,GACrB,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,gCAAgC,CAAC,KAAK,CAAC;QACvC,CAAC,CAAC,KAAK,CAAC,uBAAuB,IAAI,sCAAsC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACxF,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,CAAC,kBAAkB,IAAI,8BAA8B,CAAC;QACvD,eAAe;QACf,wBAAwB,CAAC,KAAK,EAAE,WAAW,EAAE,wBAAwB,CAAC;QACtE,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,eAAe,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC/E,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,sBAAsB,CAAC;QACpE,MAAM,iBAAiB,GAAY,EAAE,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAClF,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,MAAM;YAClC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC9B,IAAI,yBAAyB,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE,CAAC;YACxD,OAAO;gBACL,MAAM,EAAE,iBAAiB;gBACzB,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE,6CAA6C,MAAM,6BAA6B,KAAK,CAAC,SAAS,+EAA+E;aACxL,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,8BAA8B,KAAK,CAAC,SAAS,iDAAiD,MAAM,yLAAyL;SACvS,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,OAAmC;IAEnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACjC,MAAM,sBAAsB,GAAG,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,sBAAsB,EAAE,CAAC;QAC3B,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,SAAS;YACrB,OAAO,EAAE,2BAA2B,KAAK,CAAC,SAAS,4EAA4E,sBAAsB,6EAA6E;SACnO,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,OAAmC;IAEnC,MAAM,EACJ,wBAAwB,EACxB,kBAAkB,EAClB,8BAA8B,EAC9B,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,KAAK,EACL,KAAK,GACN,GAAG,OAAO,CAAC;IACZ,MAAM,4BAA4B,GAChC,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,CAAC,KAAK,CAAC,iBAAiB;QACxB,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,CAAC,kBAAkB,IAAI,8BAA8B,CAAC;QACvD,eAAe;QACf,wBAAwB,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,wBAAwB,CAAC;QACzF,CAAC,CAAC,mCAAmC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,eAAe,EAAE,gBAAgB,EAAE,CAAC;QAC1F,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,4BAA4B,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,sBAAsB,CAAC;QACpE,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,8BAA8B,KAAK,CAAC,SAAS,iDAAiD,MAAM,oKAAoK;SAClR,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAAmC;IAEnC,MAAM,EACJ,wBAAwB,EACxB,kBAAkB,EAClB,8BAA8B,EAC9B,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,KAAK,EACL,KAAK,GACN,GAAG,OAAO,CAAC;IACZ,MAAM,uBAAuB,GAC3B,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,CAAC,KAAK,CAAC,iBAAiB;QACxB,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,CAAC,kBAAkB,IAAI,8BAA8B,CAAC;QACvD,eAAe;QACf,wBAAwB,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,wBAAwB,CAAC;QACzF,CAAC,CAAC,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,eAAe,EAAE,gBAAgB,EAAE,CAAC;QAClF,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,uBAAuB,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,sBAAsB,CAAC;QACpE,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,8BAA8B,KAAK,CAAC,SAAS,8CAA8C,MAAM,sBAAsB,uBAAuB,CAAC,aAAa,uBAAuB,uBAAuB,CAAC,YAAY,gKAAgK;SACjY,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/analysis/verdicts/intrinsic-verdicts.d.ts

@@ -0,0 +1,13 @@
+import type { ClassifiedState } from "../model.js";
+import type { StateClassificationContext } from "./classification-context.js";
+export declare function intrinsicStateVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function controlledCutVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function commandLifecycleVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function keyedSelectionVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function keyedCursorVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function boundaryMoveVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function unusedStateVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function lazyCallbackLeafVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function asyncStatusVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function pairedAsyncStatusVerdict(context: StateClassificationContext): ClassifiedState | null;
+//# sourceMappingURL=intrinsic-verdicts.d.ts.map

package/dist/src/analysis/verdicts/intrinsic-verdicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsic-verdicts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/intrinsic-verdicts.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAS9E,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAyBjG;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAuBhG;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAiBxB;AAED,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAwBjG;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAkB9F;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAsB/F;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CA6B9F;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CA8BxB;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAa9F;AAED,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAkBxB"}

package/dist/src/analysis/verdicts/intrinsic-verdicts.js

@@ -0,0 +1,224 @@
+import { setterCallsDiscardConfidence, stateOnlyReceivesItsInitialPrimitive, stateReadsOnlyCalculateOwnSetter, } from "../discard-confidence.js";
+import { asyncStatusBoundaryLabel } from "../ast-helpers.js";
+import { controlledFilterLeafCut } from "../filter/filter-leaf-cut.js";
+import { hasNoEffectReads } from "../state-usage.js";
+import { isEvaluationInert } from "../../core/analysis-ast.js";
+import { mutationRegionOnlyCallsStateSetters } from "../../rules/effect-drafts/draft-mutations.js";
+import { nearestMutationFunction } from "../mutations.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+export function intrinsicStateVerdict(context) {
+    const { isPropertyLocalObjectDraft, state, usage } = context;
+    if (state.setterName === null) {
+        return {
+            action: "keep-state",
+            confidence: "certain",
+            message: `Keep \`${state.valueName}\` as React state; it owns a stable component-lifetime value and has no setter.`,
+        };
+    }
+    if (stateOnlyReceivesItsInitialPrimitive(state, usage)) {
+        return {
+            action: "review-state",
+            abstentionReason: "no-proven-optimization",
+            confidence: "certain",
+            message: `Review \`${state.valueName}\` as dead-code cleanup only; every proven write repeats its primitive initializer, so React already bails out and no render or lifecycle improvement is established.`,
+        };
+    }
+    if (isPropertyLocalObjectDraft) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace object draft \`${state.valueName}\` with one owner-scoped observable; clone its initial object once, write each controlled property directly, subscribe at each existing property leaf and pure aggregate leaf, and clone one non-tracking whole-draft snapshot at the start of submit or commit commands.`,
+        };
+    }
+    return null;
+}
+export function controlledCutVerdict(context) {
+    const { childContracts, dialogPayloadCut, state, usage } = context;
+    const filteredControlCut = controlledFilterLeafCut(state, usage, {
+        childContracts,
+        materiality: context.materiality,
+    });
+    if (filteredControlCut) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace filtered control state \`${state.valueName}\` with an owner-scoped observable and extract the \`${filteredControlCut.producer}\` render slot at line ${filteredControlCut.line} into one stable subscriber; move the exact filter and its repeated producer into that subscriber, pass their inputs as plain snapshots, preserve existing keys and conditional mounts, and keep the source-resolved \`${filteredControlCut.target}\` callback API unchanged.`,
+        };
+    }
+    if (dialogPayloadCut) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: dialogPayloadCut.conditional
+                ? `Replace nullable dialog payload \`${state.valueName}\` with a component-lifetime observable and replace the complete conditional ${dialogPayloadCut.consumerLabel} slot at line ${dialogPayloadCut.consumerLine} with one always-mounted stable leaf subscriber; evaluate the existing payload gate and call-free child projections there, use non-tracking snapshots in event commands, and preserve callbacks, write positions, and the dialog's conditional mount identity.`
+                : `Replace nullable dialog payload \`${state.valueName}\` with a component-lifetime observable and wrap the complete always-mounted ${dialogPayloadCut.consumerLabel} call site at line ${dialogPayloadCut.consumerLine} in one stable leaf subscriber; subscribe there with \`useValue\`, use non-tracking snapshots in event commands, and preserve the existing open expression, callbacks, write positions, and mount identity.`,
+        };
+    }
+    return null;
+}
+export function commandLifecycleVerdict(context) {
+    const { isDeferredReveal, isSelfRefreshingCommand, state } = context;
+    if (isSelfRefreshingCommand) {
+        return {
+            action: "use-ref",
+            confidence: "probable",
+            message: `Replace self-refreshing command snapshot \`${state.valueName}\` with a ref; keep the memoized command, effects, listener registration and cleanup in place, compare and assign through \`.current\` at the same statement positions, and remove only this snapshot from the command dependency list.`,
+        };
+    }
+    if (isDeferredReveal) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace the one-shot reveal flag \`${state.valueName}\` with a component-lifetime observable and subscribe only in its gated leaf; keep the existing deferred scheduler and exact cleanup, changing only the scheduled write to \`.set(true)\`.`,
+        };
+    }
+    return null;
+}
+export function keyedSelectionVerdict(context) {
+    const { isKeyedLeafCollection, isKeyedLeafRecord, isKeyedLeafScalar, state } = context;
+    if (isKeyedLeafCollection) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace keyed collection state \`${state.valueName}\` with a component-lifetime observable collection; extract the repeated row and subscribe there with an equivalent per-row \`useValue\` membership selector, preserve any proven filter inside the row and aggregate leaves, and read commands without subscribing.`,
+        };
+    }
+    if (isKeyedLeafRecord) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace keyed record state \`${state.valueName}\` with a component-lifetime observable record; extract the stable-keyed row, subscribe there to only its dynamic entry with \`useValue(${state.valueName}$[rowKey])\`, and preserve every optimistic and rollback command position while replacing exact clone writes with child \`.set(...)\` and \`.delete()\` operations.`,
+        };
+    }
+    if (isKeyedLeafScalar) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace scalar row-selection state \`${state.valueName}\` with a component-lifetime observable; extract a stable-keyed row component and subscribe with a per-item \`useValue(() => ${state.valueName}$.get() === rowDiscriminator)\` selector, while event commands read or update the cursor without subscribing.`,
+        };
+    }
+    return null;
+}
+export function keyedCursorVerdict(context) {
+    const { hasCompanionWrites, hasReturnedKeyedCursorConsumer, isKeyedScalarWithSecondary, state } = context;
+    if (isKeyedScalarWithSecondary) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace keyed selection state \`${state.valueName}\` with a component-lifetime observable; keep repeated row events command-only, subscribe per row where equality is rendered, move selected-item or non-null projections into one footer or detail leaf, and snapshot event commands without subscribing.`,
+        };
+    }
+    if (hasReturnedKeyedCursorConsumer && !hasCompanionWrites) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace effect-owned custom-hook cursor \`${state.valueName}\` with a component-lifetime observable; keep every effect and cleanup, use non-tracking reads in registered commands, remove cursor-only dependencies and the list \`extraData\` broadcast, and subscribe with an equality selector only in the stable-keyed row.`,
+        };
+    }
+    return null;
+}
+export function boundaryMoveVerdict(context) {
+    const { branchUnmountMove, localComponents, siblingRenderCut, sourceComponents, state, usage } = context;
+    if (siblingRenderCut && usage.effectWrites === 0) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace \`${state.valueName}\` with a component-lifetime observable; keep the producer sibling command-only and subscribe only in the sibling ${siblingRenderCut.consumerLabel} boundary at line ${siblingRenderCut.consumerLine}, passing state-independent projection inputs as ordinary snapshots.`,
+        };
+    }
+    if (branchUnmountMove &&
+        (localComponents.has(branchUnmountMove.target) ||
+            sourceComponents.has(branchUnmountMove.target))) {
+        return {
+            action: "move-state-down",
+            confidence: "probable",
+            message: `Move React state \`${state.valueName}\` into \`${branchUnmountMove.target}\`; every read and interactive write belongs to that branch, and the owner resets it only when that branch unmounts.`,
+        };
+    }
+    return null;
+}
+export function unusedStateVerdict(context) {
+    const { state, usage } = context;
+    const unusedStateDeletionConfidence = setterCallsDiscardConfidence(usage.setterCallNodes);
+    const onlyCalculatesOwnSetter = stateReadsOnlyCalculateOwnSetter(state, usage);
+    if (usage.setterCalls > 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.setterUsesPreviousValue &&
+        !usage.escaped &&
+        !usage.shadowed &&
+        !stateMayHoldCallable(state) &&
+        state.call.arguments.length <= 1 &&
+        (state.call.arguments[0] === undefined || isEvaluationInert(state.call.arguments[0])) &&
+        usage.localRenderReads === 0 &&
+        hasNoEffectReads(usage) &&
+        (usage.deferredReads === 0 || onlyCalculatesOwnSetter) &&
+        usage.transportedOccurrences === 0 &&
+        (unusedStateDeletionConfidence !== null || onlyCalculatesOwnSetter)) {
+        return {
+            action: "delete-unused-state",
+            confidence: unusedStateDeletionConfidence ?? "certain",
+            message: unusedStateDeletionConfidence === "probable"
+                ? `Delete React state \`${state.valueName}\`; replace each setter call with a \`void\` expression that evaluates the same argument at the same position, because the assigned value is never consumed but property evaluation must be preserved.`
+                : `Delete React state \`${state.valueName}\` and its setter calls; assigned values are never consumed.`,
+        };
+    }
+    return null;
+}
+export function lazyCallbackLeafVerdict(context) {
+    const { hasCompanionWrites, hasReactiveMutationPath, hasSafeCommands, state, usage } = context;
+    const { callbackLeaf } = context.renderCut;
+    if (callbackLeaf &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads === 0 &&
+        !hasCompanionWrites &&
+        !hasReactiveMutationPath &&
+        hasSafeCommands &&
+        state.setterName !== null &&
+        usage.setterCallNodes.some((call) => mutationRegionOnlyCallsStateSetters(nearestMutationFunction(call, state.owner), new Set([state.setterName]))) &&
+        usage.setterReferences > 0 &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace lazy-initialized state \`${state.valueName}\` with one owner-lifetime observable created exactly once from the existing initializer (do not turn the initializer into a computed); keep the current render-callback placement and setter timing, and subscribe only in the nested \`${callbackLeaf.target}\` leaf at line ${callbackLeaf.line}.`,
+        };
+    }
+    return null;
+}
+export function asyncStatusVerdict(context) {
+    const { isAsyncLeafStatus, state, usage } = context;
+    if (isAsyncLeafStatus) {
+        const [target] = [...usage.valueTargets];
+        const callSiteCount = usage.valueTransportSites.size;
+        const boundary = asyncStatusBoundaryLabel(callSiteCount, target);
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace async pending flag \`${state.valueName}\` with a component-lifetime observable and wrap ${boundary} in ${callSiteCount > 1 ? "separate leaf subscribers" : "a leaf subscriber"}; preserve the event command's async completion boundary exactly, changing only the true/false writes so pending transitions do not invalidate independent owner content.`,
+        };
+    }
+    return null;
+}
+export function pairedAsyncStatusVerdict(context) {
+    const { isCohesiveAsyncStatus, isUnprovenAsyncStatus, state } = context;
+    if (isCohesiveAsyncStatus) {
+        return {
+            action: "keep-state",
+            confidence: "certain",
+            message: `Keep async pending flag \`${state.valueName}\` as React state; its exact status consumer is already the cohesive owner boundary, so an observable cannot narrow rendering.`,
+        };
+    }
+    if (isUnprovenAsyncStatus) {
+        return {
+            action: "review-state",
+            abstentionReason: "callback-timing-unresolved",
+            confidence: "probable",
+            message: `Review \`${state.valueName}\`; its async pending interval and leaf boundary are proven, but source does not prove that every command runs from a deferred event. Do not publish these writes through an observable until the callback contract resolves.`,
+        };
+    }
+    return null;
+}
+//# sourceMappingURL=intrinsic-verdicts.js.map

package/dist/src/analysis/verdicts/intrinsic-verdicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsic-verdicts.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/intrinsic-verdicts.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,EAC5B,oCAAoC,EACpC,gCAAgC,GACjC,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,mCAAmC,EAAE,MAAM,8CAA8C,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAEhF,MAAM,UAAU,qBAAqB,CAAC,OAAmC;IACvE,MAAM,EAAE,0BAA0B,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC7D,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,SAAS;YACrB,OAAO,EAAE,UAAU,KAAK,CAAC,SAAS,iFAAiF;SACpH,CAAC;IACJ,CAAC;IACD,IAAI,oCAAoC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,gBAAgB,EAAE,wBAAwB;YAC1C,UAAU,EAAE,SAAS;YACrB,OAAO,EAAE,YAAY,KAAK,CAAC,SAAS,uKAAuK;SAC5M,CAAC;IACJ,CAAC;IACD,IAAI,0BAA0B,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,0BAA0B,KAAK,CAAC,SAAS,2QAA2Q;SAC9T,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAmC;IACtE,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACnE,MAAM,kBAAkB,GAAG,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE;QAC/D,cAAc;QACd,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC,CAAC;IACH,IAAI,kBAAkB,EAAE,CAAC;QACvB,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,oCAAoC,KAAK,CAAC,SAAS,wDAAwD,kBAAkB,CAAC,QAAQ,0BAA0B,kBAAkB,CAAC,IAAI,0NAA0N,kBAAkB,CAAC,MAAM,4BAA4B;SAChd,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,gBAAgB,CAAC,WAAW;gBACnC,CAAC,CAAC,qCAAqC,KAAK,CAAC,SAAS,gFAAgF,gBAAgB,CAAC,aAAa,iBAAiB,gBAAgB,CAAC,YAAY,gQAAgQ;gBACld,CAAC,CAAC,qCAAqC,KAAK,CAAC,SAAS,gFAAgF,gBAAgB,CAAC,aAAa,sBAAsB,gBAAgB,CAAC,YAAY,6MAA6M;SACva,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAmC;IAEnC,MAAM,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACrE,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,8CAA8C,KAAK,CAAC,SAAS,yOAAyO;SAChT,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,sCAAsC,KAAK,CAAC,SAAS,4LAA4L;SAC3P,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAmC;IACvE,MAAM,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACvF,IAAI,qBAAqB,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,oCAAoC,KAAK,CAAC,SAAS,sQAAsQ;SACnU,CAAC;IACJ,CAAC;IACD,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,gCAAgC,KAAK,CAAC,SAAS,2IAA2I,KAAK,CAAC,SAAS,qKAAqK;SACxX,CAAC;IACJ,CAAC;IACD,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,wCAAwC,KAAK,CAAC,SAAS,gIAAgI,KAAK,CAAC,SAAS,+GAA+G;SAC/T,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAmC;IACpE,MAAM,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,0BAA0B,EAAE,KAAK,EAAE,GAC7F,OAAO,CAAC;IACV,IAAI,0BAA0B,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,mCAAmC,KAAK,CAAC,SAAS,2PAA2P;SACvT,CAAC;IACJ,CAAC;IACD,IAAI,8BAA8B,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC1D,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,6CAA6C,KAAK,CAAC,SAAS,oQAAoQ;SAC1U,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAmC;IACrE,MAAM,EAAE,iBAAiB,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,GAC5F,OAAO,CAAC;IACV,IAAI,gBAAgB,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,aAAa,KAAK,CAAC,SAAS,qHAAqH,gBAAgB,CAAC,aAAa,qBAAqB,gBAAgB,CAAC,YAAY,sEAAsE;SACjT,CAAC;IACJ,CAAC;IACD,IACE,iBAAiB;QACjB,CAAC,eAAe,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAC5C,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EACjD,CAAC;QACD,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,sBAAsB,KAAK,CAAC,SAAS,aAAa,iBAAiB,CAAC,MAAM,sHAAsH;SAC1M,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAmC;IACpE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACjC,MAAM,6BAA6B,GAAG,4BAA4B,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC1F,MAAM,uBAAuB,GAAG,gCAAgC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/E,IACE,KAAK,CAAC,WAAW,GAAG,CAAC;QACrB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC;QAChC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,gBAAgB,CAAC,KAAK,CAAC;QACvB,CAAC,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,uBAAuB,CAAC;QACtD,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,CAAC,6BAA6B,KAAK,IAAI,IAAI,uBAAuB,CAAC,EACnE,CAAC;QACD,OAAO;YACL,MAAM,EAAE,qBAAqB;YAC7B,UAAU,EAAE,6BAA6B,IAAI,SAAS;YACtD,OAAO,EACL,6BAA6B,KAAK,UAAU;gBAC1C,CAAC,CAAC,wBAAwB,KAAK,CAAC,SAAS,wMAAwM;gBACjP,CAAC,CAAC,wBAAwB,KAAK,CAAC,SAAS,8DAA8D;SAC5G,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAmC;IAEnC,MAAM,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC/F,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IAC3C,IACE,YAAY;QACZ,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,CAAC,kBAAkB;QACnB,CAAC,uBAAuB;QACxB,eAAe;QACf,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,mCAAmC,CACjC,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAC1C,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,UAAW,CAAC,CAAC,CAC7B,CACF;QACD,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO,EACd,CAAC;QACD,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,oCAAoC,KAAK,CAAC,SAAS,4OAA4O,YAAY,CAAC,MAAM,mBAAmB,YAAY,CAAC,IAAI,GAAG;SACnW,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAmC;IACpE,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACpD,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,aAAa,GAAG,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC;QACrD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACjE,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,gCAAgC,KAAK,CAAC,SAAS,oDAAoD,QAAQ,OAAO,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,mBAAmB,2KAA2K;SAC5W,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAAmC;IAEnC,MAAM,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACxE,IAAI,qBAAqB,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,SAAS;YACrB,OAAO,EAAE,6BAA6B,KAAK,CAAC,SAAS,gIAAgI;SACtL,CAAC;IACJ,CAAC;IACD,IAAI,qBAAqB,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,gBAAgB,EAAE,4BAA4B;YAC9C,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,YAAY,KAAK,CAAC,SAAS,+NAA+N;SACpQ,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/analysis/verdicts/residual-verdicts.d.ts

@@ -0,0 +1,8 @@
+import type { ClassifiedState } from "../model.js";
+import type { StateClassificationContext } from "./classification-context.js";
+export declare function delayedPendingVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function renderReadVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function singleTargetTransportVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function broadTransportVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function residualStateVerdict(context: StateClassificationContext): ClassifiedState;
+//# sourceMappingURL=residual-verdicts.d.ts.map

package/dist/src/analysis/verdicts/residual-verdicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"residual-verdicts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/residual-verdicts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAA8B,MAAM,aAAa,CAAC;AAgB/E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AA2D9E,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAgCjG;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAyB7F;AAED,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CA4BxB;AA0BD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAiCjG;AAaD,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,CAYzF"}

package/dist/src/analysis/verdicts/residual-verdicts.js

@@ -0,0 +1,200 @@
+import { callSiteIsKeyed, directUniqueReturnCallSite, stableOwnerLevelCallSite, } from "../return-call-sites.js";
+import { competingSubscriptionsNote, isCustomHookOwner } from "../ast-helpers.js";
+import { isStructuralLegendCandidate, legendCandidateMessage } from "../finding-format.js";
+import { setterCallsAssignBooleanLiterals, stateHasNoEffectOrDeferredUse, stateWritesAreUntracked, } from "./transport-verdicts.js";
+import { SMALL_OWNER_JSX_ELEMENTS } from "../constants.js";
+import { forwardedSetterProp } from "./setter-forwarding.js";
+import { isCohesiveDelayedPendingState } from "../delayed-pending.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+import { setterOwnedByValueTransitionCallSite } from "../controlled-leaf-cuts.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+function mutationAbstentionReason(context) {
+    const { hasCompanionWrites, hasDetachedEffectWrites, hasReactiveMutationPath, usage } = context;
+    if (hasCompanionWrites) {
+        return "atomic-transition-unproven";
+    }
+    if (hasReactiveMutationPath) {
+        return "ownership-flow-unresolved";
+    }
+    if (usage.effectWrites > 0 && !hasDetachedEffectWrites) {
+        return "effect-write-ownership-unresolved";
+    }
+    return null;
+}
+function flowAbstentionReason(context) {
+    const { hasSafeCommands, usage } = context;
+    if (usage.shadowed || usage.escaped) {
+        return "ownership-flow-unresolved";
+    }
+    if (usage.deferredReads > 0 && !hasSafeCommands) {
+        return "callback-timing-unresolved";
+    }
+    return null;
+}
+function ownershipAbstentionReason(context) {
+    return mutationAbstentionReason(context) ?? flowAbstentionReason(context);
+}
+function renderAbstentionReason(context) {
+    const { state, subtree, usage } = context;
+    if (stateMayHoldCallable(state)) {
+        return "state-type-unresolved";
+    }
+    if (usage.unstableTransport || subtree?.unstable) {
+        return "mount-identity-unproven";
+    }
+    if (usage.transportedOccurrences > 0 || usage.jsxTargets.size > 0) {
+        return "child-contract-unresolved";
+    }
+    if (usage.localRenderReads > 0) {
+        return "render-cut-unproven";
+    }
+    return "no-proven-optimization";
+}
+function residualAbstentionReason(context) {
+    return ownershipAbstentionReason(context) ?? renderAbstentionReason(context);
+}
+export function delayedPendingVerdict(context) {
+    const { ownerObservableSubscriptions, state, usage } = context;
+    if (isCohesiveDelayedPendingState(state, usage)) {
+        return {
+            action: "keep-state",
+            confidence: "certain",
+            message: `Keep \`${state.valueName}\` as React state; its cohesive button owner intentionally delays the pending transition and clears that timer before the final reset.`,
+        };
+    }
+    if (usage.localRenderReads > 0) {
+        if (isCustomHookOwner(state.owner) ||
+            jsxElementCount(state.owner) >= SMALL_OWNER_JSX_ELEMENTS) {
+            const boundary = isCustomHookOwner(state.owner)
+                ? "its unknown hook consumers"
+                : `this owner with ${jsxElementCount(state.owner)} JSX elements`;
+            const competing = competingSubscriptionsNote(ownerObservableSubscriptions);
+            return {
+                action: "review-state",
+                abstentionReason: residualAbstentionReason(context),
+                confidence: "probable",
+                message: `Legend-first restructuring candidate: replace \`${state.valueName}\` with observable ownership and move its subscription into the smallest rendered subtree; updates currently invalidate ${boundary}.${competing}`,
+            };
+        }
+        return {
+            action: "keep-state",
+            confidence: "certain",
+            message: `Keep \`${state.valueName}\` as React state for now; its owner is already a small render boundary.`,
+        };
+    }
+    return null;
+}
+export function renderReadVerdict(context) {
+    const { sourceComponents, state, usage } = context;
+    if (usage.repeatedTransport &&
+        usage.deferredReads === 0 &&
+        usage.setterCalls === 0 &&
+        !stateMayHoldCallable(state)) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace \`${state.valueName}\` with \`useObservable\` and subscribe in the transported leaves so updates do not invalidate this owner.`,
+        };
+    }
+    if (usage.jsxTargets.size > 1) {
+        return {
+            action: "review-state",
+            abstentionReason: residualAbstentionReason(context),
+            confidence: "probable",
+            message: isStructuralLegendCandidate(state, usage, context)
+                ? legendCandidateMessage(state, usage, sourceComponents)
+                : `Review React state \`${state.valueName}\`; it fans out to multiple leaves, but local evidence does not prove that observable transport beats a smaller React boundary.`,
+        };
+    }
+    return null;
+}
+export function singleTargetTransportVerdict(context) {
+    const { hasCompanionWrites, materiality, state, usage } = context;
+    if (!isCustomHookOwner(state.owner) &&
+        jsxElementCount(state.owner) >= materiality.broadOwnerJsx &&
+        !stateMayHoldCallable(state) &&
+        usage.transportedOccurrences > 0 &&
+        usage.jsxTargets.size === 1 &&
+        usage.effectReads === 0 &&
+        usage.deferredReads === 0 &&
+        usage.valueTargets.size === 1 &&
+        usage.valueTransportSites.size === 1 &&
+        setterOwnedByValueTransitionCallSite(state, usage) &&
+        directUniqueReturnCallSite(usage, state.owner) !== null &&
+        !hasCompanionWrites &&
+        usage.effectWrites === 0 &&
+        !usage.unstableTransport &&
+        !usage.shadowed &&
+        !usage.escaped) {
+        const [target] = usage.jsxTargets;
+        return {
+            action: "move-state-down",
+            confidence: "probable",
+            message: `Extract one stable local wrapper around \`${target ?? "the receiving child"}\` and move \`${state.valueName}\` into it; this broad owner only transports the value and setter to that leaf.`,
+        };
+    }
+    return null;
+}
+function verifiedLeafRenderProp(usage, childContracts) {
+    const [target] = [...usage.jsxTargets];
+    if (target === undefined) {
+        return null;
+    }
+    const propNames = usage.valueProps.get(target);
+    const [propName] = propNames?.size === 1 ? [...propNames] : [];
+    if (propName === undefined ||
+        !childContracts.componentPropIsLeafRenderConsumer(target, propName)) {
+        return null;
+    }
+    return { propName, target };
+}
+export function broadTransportVerdict(context) {
+    const { childContracts, hasReactiveMutationPath, hasSafeCommands, state, usage } = context;
+    const ownerCallSite = stableOwnerLevelCallSite(usage, state.owner);
+    if (!childContracts || usage.jsxTargets.size !== 1 || ownerCallSite === null) {
+        return null;
+    }
+    const forwardedSetter = usage.setterReferences === usage.setterCalls
+        ? null
+        : forwardedSetterProp(state, usage, childContracts);
+    if (usage.localRenderReads === 0 &&
+        hasSafeCommands &&
+        !hasReactiveMutationPath &&
+        stateHasNoEffectOrDeferredUse(usage, context.hasDetachedEffectWrites) &&
+        (usage.setterCalls >= 1 || forwardedSetter !== null) &&
+        (usage.setterReferences === usage.setterCalls || forwardedSetter !== null) &&
+        !usage.repeatedTransport &&
+        stateWritesAreUntracked(usage) &&
+        !stateMayHoldCallable(state) &&
+        !callSiteIsKeyed(ownerCallSite) &&
+        setterCallsAssignBooleanLiterals(usage)) {
+        const leafProp = verifiedLeafRenderProp(usage, childContracts);
+        if (leafProp) {
+            return {
+                action: "use-observable",
+                confidence: "probable",
+                message: leafTransportMessage(state, leafProp, forwardedSetter),
+            };
+        }
+    }
+    return null;
+}
+function leafTransportMessage(state, leafProp, forwardedSetter) {
+    const forwarding = forwardedSetter
+        ? ` Forward the setter through the wrapper as \`${forwardedSetter.propName}={(next) => ${state.valueName}$.set(next)}\`; the child only calls it after render.`
+        : "";
+    return `Replace \`${state.valueName}\` with a component-lifetime observable and wrap the stable \`${leafProp.target}\` call site in a leaf subscriber; subscribe once with \`useValue\`, pass the same plain value, and leave the child API unchanged.${forwarding} The child contract is verified: \`${leafProp.target}\` renders the \`${leafProp.propName}\` value directly and owns none of its lifecycle.`;
+}
+export function residualStateVerdict(context) {
+    const { sourceComponents, state, usage } = context;
+    return {
+        action: "review-state",
+        abstentionReason: residualAbstentionReason(context),
+        confidence: "probable",
+        message: isStructuralLegendCandidate(state, usage, context) ||
+            [...usage.jsxTargets].some((target) => sourceComponents.has(target))
+            ? legendCandidateMessage(state, usage, sourceComponents)
+            : `Review React state \`${state.valueName}\`; local evidence does not prove a render-boundary improvement.`,
+    };
+}
+//# sourceMappingURL=residual-verdicts.js.map

package/dist/src/analysis/verdicts/residual-verdicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"residual-verdicts.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/residual-verdicts.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EACf,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC3F,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,oCAAoC,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAIhF,SAAS,wBAAwB,CAAC,OAAmC;IACnE,MAAM,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAChG,IAAI,kBAAkB,EAAE,CAAC;QACvB,OAAO,4BAA4B,CAAC;IACtC,CAAC;IACD,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,2BAA2B,CAAC;IACrC,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC;QACvD,OAAO,mCAAmC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAmC;IAC/D,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC3C,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC;IACrC,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAChD,OAAO,4BAA4B,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,yBAAyB,CAAC,OAAmC;IACpE,OAAO,wBAAwB,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAmC;IACjE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1C,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC;QACjD,OAAO,yBAAyB,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,CAAC,sBAAsB,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,2BAA2B,CAAC;IACrC,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,wBAAwB,CAAC;AAClC,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAmC;IACnE,OAAO,yBAAyB,CAAC,OAAO,CAAC,IAAI,sBAAsB,CAAC,OAAO,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAmC;IACvE,MAAM,EAAE,4BAA4B,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC/D,IAAI,6BAA6B,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,SAAS;YACrB,OAAO,EAAE,UAAU,KAAK,CAAC,SAAS,wIAAwI;SAC3K,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC;QAC/B,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,wBAAwB,EACxD,CAAC;YACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;gBAC7C,CAAC,CAAC,4BAA4B;gBAC9B,CAAC,CAAC,mBAAmB,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC;YACnE,MAAM,SAAS,GAAG,0BAA0B,CAAC,4BAA4B,CAAC,CAAC;YAC3E,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,gBAAgB,EAAE,wBAAwB,CAAC,OAAO,CAAC;gBACnD,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE,mDAAmD,KAAK,CAAC,SAAS,2HAA2H,QAAQ,IAAI,SAAS,EAAE;aAC9N,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,SAAS;YACrB,OAAO,EAAE,UAAU,KAAK,CAAC,SAAS,0EAA0E;SAC7G,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAmC;IACnE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACnD,IACE,KAAK,CAAC,iBAAiB;QACvB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAC5B,CAAC;QACD,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,aAAa,KAAK,CAAC,SAAS,4GAA4G;SAClJ,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,gBAAgB,EAAE,wBAAwB,CAAC,OAAO,CAAC;YACnD,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;gBACzD,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC;gBACxD,CAAC,CAAC,wBAAwB,KAAK,CAAC,SAAS,iIAAiI;SAC7K,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,OAAmC;IAEnC,MAAM,EAAE,kBAAkB,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAClE,IACE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa;QACzD,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QAC3B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,oCAAoC,CAAC,KAAK,EAAE,KAAK,CAAC;QAClD,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;QACvD,CAAC,kBAAkB;QACnB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,CAAC,KAAK,CAAC,iBAAiB;QACxB,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO,EACd,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;QAClC,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,6CAA6C,MAAM,IAAI,qBAAqB,iBAAiB,KAAK,CAAC,SAAS,iFAAiF;SACvM,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAOD,SAAS,sBAAsB,CAC7B,KAAiB,EACjB,cAAqC;IAErC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,CAAC,QAAQ,CAAC,GAAG,SAAS,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,IACE,QAAQ,KAAK,SAAS;QACtB,CAAC,cAAc,CAAC,iCAAiC,CAAC,MAAM,EAAE,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAmC;IACvE,MAAM,EAAE,cAAc,EAAE,uBAAuB,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC3F,MAAM,aAAa,GAAG,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,cAAc,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,eAAe,GACnB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC1C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IACxD,IACE,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,eAAe;QACf,CAAC,uBAAuB;QACxB,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,uBAAuB,CAAC;QACrE,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,IAAI,eAAe,KAAK,IAAI,CAAC;QACpD,CAAC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW,IAAI,eAAe,KAAK,IAAI,CAAC;QAC1E,CAAC,KAAK,CAAC,iBAAiB;QACxB,uBAAuB,CAAC,KAAK,CAAC;QAC9B,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,CAAC,eAAe,CAAC,aAAa,CAAC;QAC/B,gCAAgC,CAAC,KAAK,CAAC,EACvC,CAAC;QACD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC/D,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO;gBACL,MAAM,EAAE,gBAAgB;gBACxB,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,eAAe,CAAC;aAChE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,QAAgC,EAChC,eAA2C;IAE3C,MAAM,UAAU,GAAG,eAAe;QAChC,CAAC,CAAC,gDAAgD,eAAe,CAAC,QAAQ,eAAe,KAAK,CAAC,SAAS,uDAAuD;QAC/J,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,aAAa,KAAK,CAAC,SAAS,iEAAiE,QAAQ,CAAC,MAAM,qIAAqI,UAAU,sCAAsC,QAAQ,CAAC,MAAM,oBAAoB,QAAQ,CAAC,QAAQ,mDAAmD,CAAC;AAClZ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAmC;IACtE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,gBAAgB,EAAE,wBAAwB,CAAC,OAAO,CAAC;QACnD,UAAU,EAAE,UAAU;QACtB,OAAO,EACL,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;YAClD,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClE,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC;YACxD,CAAC,CAAC,wBAAwB,KAAK,CAAC,SAAS,kEAAkE;KAChH,CAAC;AACJ,CAAC"}

package/dist/src/analysis/verdicts/setter-forwarding.d.ts

@@ -0,0 +1,13 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+export interface ForwardedSetterProp {
+    readonly propName: string;
+    readonly target: string;
+}
+/**
+ * Resolves the one callback prop through which the owner hands its setter to the same child that
+ * receives the value. The child must call that prop only after render, so a leaf wrapper can forward
+ * `next => value$.set(next)` without changing when the write happens.
+ */
+export declare function forwardedSetterProp(state: StateCandidate, usage: StateUsage, childContracts: ChildContractResolver): ForwardedSetterProp | null;
+//# sourceMappingURL=setter-forwarding.d.ts.map

package/dist/src/analysis/verdicts/setter-forwarding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setter-forwarding.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/setter-forwarding.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAMjF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,cAAc,EAAE,qBAAqB,GACpC,mBAAmB,GAAG,IAAI,CAmB5B"}