legend-doctor 0.1.0

package/dist/src/analysis/verdicts/small-owner-verdicts.js

@@ -0,0 +1,127 @@
+import { hookReturnMembers, hookStateValueIsOnlyReturned, } from "../../rules/hook-consumer-contract/hook-consumer-contract.js";
+import { isCustomHookOwner, runtimeFunctionName } from "../ast-helpers.js";
+import { SMALL_OWNER_JSX_ELEMENTS } from "../constants.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+import { nearestNestedFunction } from "../../core/ast.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+/**
+ * Effect-written state whose every read renders a component that is already a leaf boundary cannot
+ * save a render by migrating; the effect that writes it stays in React lifecycle either way.
+ */
+export function smallOwnerEffectWrittenVerdict(context) {
+    const { state, usage } = context;
+    if (!isSmallOwnerEffectWrittenState(state, usage)) {
+        return null;
+    }
+    return {
+        action: "keep-state",
+        confidence: "certain",
+        message: `Keep \`${state.valueName}\` as React state; its owner is already a small render boundary, so moving the effect that writes it to an observable cannot remove a render.`,
+    };
+}
+function isSmallOwnerEffectWrittenState(state, usage) {
+    return (usage.effectWrites > 0 &&
+        !usage.escaped &&
+        !usage.shadowed &&
+        usage.localRenderReads > 0 &&
+        usage.transportedOccurrences === 0 &&
+        usage.jsxTargets.size === 0 &&
+        usage.setterTargets.size === 0 &&
+        isSmallComponentOwner(state.owner) &&
+        usage.directRenderNodes.every((node) => isOwnerRenderPosition(node, state)));
+}
+/**
+ * A custom hook's state whose only project consumer is a leaf-sized component that keeps the value
+ * and setter inside its own render cannot save a render by migrating, whatever the hook does with it.
+ */
+export function hookConsumerLeafVerdict(context) {
+    const { childContracts, state, usage } = context;
+    const hookName = runtimeFunctionName(state.owner);
+    if (!childContracts ||
+        hookName === null ||
+        !isCustomHookOwner(state.owner) ||
+        usage.shadowed ||
+        usage.transportedOccurrences > 0 ||
+        usage.jsxTargets.size > 0) {
+        return null;
+    }
+    const members = hookReturnMembers(state);
+    if (!members || !childContracts.hookStateHasSingleLeafConsumer(hookName, members)) {
+        return null;
+    }
+    return {
+        action: "keep-state",
+        confidence: "certain",
+        message: `Keep \`${state.valueName}\` as React state; the only component that consumes \`${hookName}\` is already a small render boundary and keeps the value inside its own render, so observable ownership could not narrow rendering.`,
+    };
+}
+export function hookPresentationConsumerForState({ childContracts, materiality, ownerIsCommitSensitive, state, usage, }) {
+    const hookName = runtimeFunctionName(state.owner);
+    if (!childContracts ||
+        hookName === null ||
+        !isCustomHookOwner(state.owner) ||
+        state.setterName === null ||
+        usage.setterCalls === 0 ||
+        usage.setterReferences !== usage.setterCalls ||
+        usage.setterCallNodes.some((call) => nearestNestedFunction(call, state.owner) === null) ||
+        usage.escaped ||
+        usage.shadowed ||
+        ownerIsCommitSensitive ||
+        stateMayHoldCallable(state) ||
+        !hookStateValueIsOnlyReturned(state)) {
+        return null;
+    }
+    const members = hookReturnMembers(state);
+    return members?.setter === null
+        ? childContracts.hookStatePresentationConsumer(hookName, members, materiality.broadOwnerJsx)
+        : null;
+}
+/**
+ * A hook may retain mutation and lifecycle ownership while publishing an observable handle. The
+ * component consumers then subscribe only at their proven presentation sites.
+ */
+export function hookPresentationConsumerVerdict(context) {
+    if (context.hasCompanionWrites) {
+        return null;
+    }
+    const consumer = hookPresentationConsumerForState(context);
+    if (!consumer) {
+        return null;
+    }
+    const hookName = runtimeFunctionName(context.state.owner);
+    const derived = consumer.derivedBindings.length > 0
+        ? ` Recompute ${consumer.derivedBindings.map((name) => `\`${name}\``).join(", ")} inside the subscribing site.`
+        : "";
+    const consumerNames = consumer.consumerNames.map((name) => `\`${name}\``).join(", ");
+    return {
+        action: "use-observable",
+        confidence: "probable",
+        message: `Replace \`${context.state.valueName}\` with a hook-lifetime observable and publish the observable from \`${hookName}\` instead of its plain snapshot. Keep every write at the same hook position, then subscribe at the ${consumer.renderSites} stable render ${consumer.renderSites === 1 ? "site" : "sites"} ${consumer.consumerNames.length === 1 ? `inside ${consumerNames}` : `across ${consumerNames}`}; pass the same plain values into existing children.${derived} ${consumer.consumerNames.length === 1 ? `${consumerNames} no longer renders` : "Those consumers no longer render"} when \`${context.state.valueName}\` changes.`,
+    };
+}
+function isSmallComponentOwner(owner) {
+    const elements = jsxElementCount(owner);
+    if (elements >= SMALL_OWNER_JSX_ELEMENTS || isCustomHookOwner(owner)) {
+        return false;
+    }
+    return runtimeFunctionName(owner) !== null || elements > 0;
+}
+function isOwnerRenderPosition(node, state) {
+    if (nearestNestedFunction(node, state.owner) !== null) {
+        return false;
+    }
+    for (let current = node.parent; current && current !== state.owner; current = current.parent) {
+        if (ts.isReturnStatement(current) ||
+            ts.isIfStatement(current) ||
+            ts.isJsxAttribute(current) ||
+            ts.isJsxExpression(current)) {
+            return true;
+        }
+        if (ts.isVariableDeclaration(current)) {
+            return false;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=small-owner-verdicts.js.map

package/dist/src/analysis/verdicts/small-owner-verdicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"small-owner-verdicts.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/small-owner-verdicts.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,iBAAiB,EACjB,4BAA4B,GAC7B,MAAM,8DAA8D,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;GAGG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAAmC;IAEnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACjC,IAAI,CAAC,8BAA8B,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,UAAU,KAAK,CAAC,SAAS,+IAA+I;KAClL,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAqB,EAAE,KAAiB;IAC9E,OAAO,CACL,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,QAAQ;QACf,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QAC3B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAC9B,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC;QAClC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAmC;IAEnC,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACjD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IACE,CAAC,cAAc;QACf,QAAQ,KAAK,IAAI;QACjB,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,QAAQ;QACd,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,KAAK,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,IAAI,CAAC,cAAc,CAAC,8BAA8B,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,UAAU,KAAK,CAAC,SAAS,yDAAyD,QAAQ,sIAAsI;KAC1O,CAAC;AACJ,CAAC;AAUD,MAAM,UAAU,gCAAgC,CAAC,EAC/C,cAAc,EACd,WAAW,EACX,sBAAsB,EACtB,KAAK,EACL,KAAK,GACsB;IAC3B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IACE,CAAC,cAAc;QACf,QAAQ,KAAK,IAAI;QACjB,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QACvF,KAAK,CAAC,OAAO;QACb,KAAK,CAAC,QAAQ;QACd,sBAAsB;QACtB,oBAAoB,CAAC,KAAK,CAAC;QAC3B,CAAC,4BAA4B,CAAC,KAAK,CAAC,EACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,OAAO,EAAE,MAAM,KAAK,IAAI;QAC7B,CAAC,CAAC,cAAc,CAAC,6BAA6B,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,aAAa,CAAC;QAC5F,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,+BAA+B,CAC7C,OAAmC;IAEnC,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC;IAC3D,MAAM,OAAO,GACX,QAAQ,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QACjC,CAAC,CAAC,cAAc,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B;QAC/G,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,aAAa,OAAO,CAAC,KAAK,CAAC,SAAS,wEAAwE,QAAQ,uGAAuG,QAAQ,CAAC,WAAW,kBAAkB,QAAQ,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,aAAa,EAAE,CAAC,CAAC,CAAC,UAAU,aAAa,EAAE,uDAAuD,OAAO,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,oBAAoB,CAAC,CAAC,CAAC,kCAAkC,WAAW,OAAO,CAAC,KAAK,CAAC,SAAS,aAAa;KACvnB,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA0B;IACvD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,QAAQ,IAAI,wBAAwB,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,mBAAmB,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,QAAQ,GAAG,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAa,EAAE,KAAqB;IACjE,IAAI,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,OAAO,KAAK,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7F,IACE,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;YAC1B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAC3B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,14 @@
+import type { ClassifiedState } from "../model.js";
+import type { StateClassificationContext } from "./classification-context.js";
+export declare function refCommandSnapshotVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function functionalSnapshotVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function effectProjectionSubtreeVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function splitEffectProjectionVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function effectProjectionVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function booleanConsumerVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function unsafeOwnershipVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function confinedSubtreeVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function gatedSubtreeVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function multiSurfaceVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function wideOwnerTransportVerdict(context: StateClassificationContext): ClassifiedState | null;
+//# sourceMappingURL=subtree-verdicts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"subtree-verdicts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/subtree-verdicts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAA8B,MAAM,aAAa,CAAC;AAI/E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAS9E,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAuBxB;AAED,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAsCxB;AAED,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAYxB;AAED,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAWxB;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAYxB;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CA6BxB;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAkCxB;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CA0BxB;AAgBD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAuB/F;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAiB/F;AAED,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAoCxB"}

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

@@ -0,0 +1,259 @@
+import { DEFAULT_PRESENTATION_LEAF_COUNT, WIDE_OWNER_LINE_SPAN } from "../constants.js";
+import { isCustomHookOwner, ownerLineSpan } from "../ast-helpers.js";
+import { isStructuralLegendCandidate, legendCandidateMessage } from "../finding-format.js";
+import { hasNoEffectReads } from "../state-usage.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+import { repeatedSubscriptionSuffix } from "../subtree/materiality.js";
+import { stateFeedsReturnedSwitchCommand } from "../../rules/command-only-state/returned-switch-command.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+import { statePublishesReadOnlyGetter } from "../../rules/command-only-state/published-getter.js";
+import { stateReadCallbackEscapesThroughUnknownHook } from "../../rules/command-only-state/unknown-hook-escape.js";
+export function refCommandSnapshotVerdict(context) {
+    const { state, usage } = context;
+    if (isCustomHookOwner(state.owner) &&
+        usage.localRenderReads === 0 &&
+        hasNoEffectReads(usage) &&
+        usage.deferredReads === 1 &&
+        usage.transportedOccurrences === 0 &&
+        usage.jsxTargets.size === 0 &&
+        usage.effectWrites > 0 &&
+        usage.setterCalls === usage.effectWrites &&
+        usage.setterReferences === usage.effectWrites &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        stateFeedsReturnedSwitchCommand(state)) {
+        return {
+            action: "use-ref",
+            confidence: "probable",
+            message: `Replace effect-written command cursor \`${state.valueName}\` with a ref; preserve the effect and update its current value at the same statement positions, then read it only as the returned navigation switch discriminant.`,
+        };
+    }
+    return null;
+}
+export function functionalSnapshotVerdict(context) {
+    const { childContracts, deferredCallbackHooks, state, usage } = context;
+    const { hasCommandSnapshotHazard, hasEventCommandReadProof, hasFunctionalSnapshotHazard, preservesFunctionalSnapshot, } = context.commandSnapshot;
+    if (usage.localRenderReads === 0 &&
+        hasNoEffectReads(usage) &&
+        usage.deferredReads > 0 &&
+        usage.transportedOccurrences === 0 &&
+        usage.jsxTargets.size === 0 &&
+        (!hasFunctionalSnapshotHazard || preservesFunctionalSnapshot) &&
+        (!hasCommandSnapshotHazard || preservesFunctionalSnapshot) &&
+        !stateReadCallbackEscapesThroughUnknownHook(state, deferredCallbackHooks, childContracts
+            ? (hookName, argumentIndex, property) => childContracts.callbackPropertyIsDeferred(hookName, argumentIndex, property)
+            : undefined) &&
+        !statePublishesReadOnlyGetter(state) &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        ((usage.eventReads === 0 && usage.effectWrites === 0) || hasEventCommandReadProof)) {
+        return {
+            action: "use-ref",
+            confidence: "probable",
+            message: preservesFunctionalSnapshot
+                ? `Replace \`${state.valueName}\` with a ref; inside the source-proven deferred callback, capture the ref's pre-update snapshot, evaluate the counter updater from that snapshot, and keep every later read on the captured value so the command preserves React's current ordering without rerendering.`
+                : `Replace \`${state.valueName}\` with a ref; preserve any existing React lifecycle hook timing and statement order, write \`.current\` at the same setter positions${usage.setterUsesPreviousValue ? ", evaluate functional updaters against the current handle value" : ""}, read \`.current\` inside deferred commands, and remove only this value from their dependency arrays.`,
+        };
+    }
+    return null;
+}
+export function effectProjectionSubtreeVerdict(context) {
+    const { hasCompanionWrites, state, subtree } = context;
+    const effectCommandProjectionSubtree = subtree?.kind === "effect-command-projection" ? subtree : null;
+    if (effectCommandProjectionSubtree && !hasCompanionWrites) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace presentation state \`${state.valueName}\` with an owner-scoped observable, preserve the memoized command, React effect and cleanup, dependencies, and statement order, and wrap the full ${effectCommandProjectionSubtree.label} render boundary at line ${effectCommandProjectionSubtree.line} in an always-mounted leaf subscriber.`,
+        };
+    }
+    return null;
+}
+export function splitEffectProjectionVerdict(context) {
+    const { hasCompanionWrites, state, subtree } = context;
+    const splitEffectProjectionSubtree = subtree?.kind === "effect-split-projection" ? subtree : null;
+    if (splitEffectProjectionSubtree && !hasCompanionWrites) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace effect-written scalar \`${state.valueName}\` with an owner-scoped observable; preserve the React effect, cleanup, dependencies, calculations, and write order, then subscribe only in its ${splitEffectProjectionSubtree.leafCount ?? DEFAULT_PRESENTATION_LEAF_COUNT} bounded presentation leaves. Keep keyed repeated rows keyed and calculate each existing projection once inside its containing subscriber.`,
+        };
+    }
+    return null;
+}
+export function effectProjectionVerdict(context) {
+    const { hasCompanionWrites, state, subtree } = context;
+    const effectProjectionSubtree = subtree?.kind === "effect-projection" ? subtree : null;
+    if (effectProjectionSubtree && !hasCompanionWrites) {
+        const selector = repeatedSubscriptionSuffix(effectProjectionSubtree);
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace effect-written presentation state \`${state.valueName}\` with an owner-scoped observable, preserve the React effect, cleanup, dependencies, and statement order, and wrap the full ${effectProjectionSubtree.label} render boundary at line ${effectProjectionSubtree.line} in an always-mounted leaf subscriber${selector}; evaluate the existing projection or gate inside that subscriber.`,
+        };
+    }
+    return null;
+}
+export function booleanConsumerVerdict(context) {
+    const { hasAdjacentEffectBooleanConsumers, hasReactiveHostPropScalarConsumer, hasSourceEventScalarConsumers, state, } = context;
+    if (hasAdjacentEffectBooleanConsumers) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace effect-written boolean \`${state.valueName}\` with one component-lifetime observable and extract its adjacent conditional presentation surfaces into one stable leaf subscriber; keep the React effect, dependencies, cleanup, boolean calculation, write position, and each existing conditional mount unchanged.`,
+        };
+    }
+    if (hasSourceEventScalarConsumers) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace event-owned numeric state \`${state.valueName}\` with one component-lifetime observable; keep the source-proven event callback and write position unchanged, and subscribe separately in each bounded projection leaf inside the existing render branch so the broad owner and its branch condition do not subscribe.`,
+        };
+    }
+    if (hasReactiveHostPropScalarConsumer) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace event-owned scalar state \`${state.valueName}\` with one component-lifetime observable and make its single host prop reactive; preserve the source-proven event callback, calculation, write position, host children, and mount identity so the host prop updates without rerendering the broad owner.`,
+        };
+    }
+    return null;
+}
+export function unsafeOwnershipVerdict(context) {
+    const { belongsToObservableSelection, hasDetachedEffectWrites, state, usage } = context;
+    if (usage.shadowed || usage.escaped || (usage.effectWrites > 0 && !hasDetachedEffectWrites)) {
+        return {
+            action: "review-state",
+            abstentionReason: usage.effectWrites > 0 ? "effect-write-ownership-unresolved" : "ownership-flow-unresolved",
+            confidence: "probable",
+            message: !usage.shadowed && isStructuralLegendCandidate(state, usage, context)
+                ? legendCandidateMessage(state, usage)
+                : `Review React state \`${state.valueName}\`; its value or setter crosses a boundary this local analysis cannot prove safe.`,
+        };
+    }
+    if (usage.setterCalls > 0 &&
+        usage.setterReferences === usage.legendReactionWrites &&
+        usage.setterCalls === usage.legendReactionWrites &&
+        usage.localRenderReads > 0) {
+        return {
+            action: "use-value",
+            confidence: "probable",
+            message: `Delete the React mirror \`${state.valueName}\` and derive it with \`useValue\` from the observable read in its Legend reaction.`,
+        };
+    }
+    if (belongsToObservableSelection && !usage.shadowed) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace the selection hook's React state cluster with one observable model; expose observable fields and subscribe per row or control with \`useValue\`.`,
+        };
+    }
+    return null;
+}
+export function confinedSubtreeVerdict(context) {
+    const { hasCompanionWrites, state, subtree, usage } = context;
+    const directSubtree = subtree?.kind === "direct" ? subtree : null;
+    if (directSubtree && !hasCompanionWrites) {
+        if (directSubtree.repeated) {
+            return {
+                action: "use-observable",
+                confidence: "probable",
+                message: `Replace \`${state.valueName}\` with a component-lifetime observable and subscribe with a per-item \`useValue\` selector inside the repeated row under the ${directSubtree.label} subtree at line ${directSubtree.line}; do not subscribe the list owner.`,
+            };
+        }
+        const moved = movedDeclarationsNote(directSubtree.movedDeclarations);
+        if (directSubtree.unstable) {
+            return {
+                action: "use-observable",
+                confidence: "probable",
+                message: `Replace \`${state.valueName}\` with a component-lifetime observable, extract the ${directSubtree.label} subtree at line ${directSubtree.line} into a leaf wrapper, and subscribe there with \`useValue\`; keeping ownership here preserves conditional mount lifetime.${moved}${forwardedSetterNote(state, usage)}`,
+            };
+        }
+        return {
+            action: "move-state-down",
+            confidence: "probable",
+            message: `Extract the ${directSubtree.label} subtree at line ${directSubtree.line} into a leaf component and move \`${state.valueName}\` into it; every read and command is confined to that stable subtree.${moved}`,
+        };
+    }
+    return null;
+}
+function forwardedSetterNote(state, usage) {
+    return usage.setterTransportSites.size > 0
+        ? ` Where the subtree passes \`${state.setterName}\` to a child, forward \`(next) => ${state.valueName}$.set(next)\` instead.`
+        : "";
+}
+function movedDeclarationsNote(movedDeclarations) {
+    if (movedDeclarations.length === 0) {
+        return "";
+    }
+    const names = movedDeclarations.map((name) => `\`${name}\``).join(", ");
+    return ` Move ${names} into that leaf as well; every use sits inside the subtree, so pass the owner values they still read as props.`;
+}
+export function gatedSubtreeVerdict(context) {
+    const { hasCompanionWrites, state, subtree, usage } = context;
+    const projectionSubtree = subtree?.kind === "projection" ? subtree : null;
+    const gateSubtree = subtree?.kind === "gate" ? subtree : null;
+    if (gateSubtree && !hasCompanionWrites) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace \`${state.valueName}\` with a component-lifetime observable and replace the full state-controlled render expression at the ${gateSubtree.label} boundary on line ${gateSubtree.line} with one always-mounted leaf subscriber; evaluate the complete gate and its selected content inside that wrapper so an initially hidden child can still open.`,
+        };
+    }
+    if (projectionSubtree && !hasCompanionWrites) {
+        const selector = repeatedSubscriptionSuffix(projectionSubtree);
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: usage.transportedOccurrences > 0
+                ? `Replace \`${state.valueName}\` with a component-lifetime observable and wrap the ${projectionSubtree.label} call site at line ${projectionSubtree.line} in a leaf subscriber${selector}; subscribe to the raw value once, pass that snapshot unchanged, derive every existing projection from the same snapshot, and leave the child API unchanged.`
+                : `Replace \`${state.valueName}\` with a component-lifetime observable and wrap the ${projectionSubtree.label} call site at line ${projectionSubtree.line} in a leaf subscriber${selector}; evaluate its existing pure projections inside that wrapper and leave the child API unchanged.`,
+        };
+    }
+    return null;
+}
+export function multiSurfaceVerdict(context) {
+    const { hasAdjacentEventBooleanConsumers, hasMultiSurfaceBooleanConsumers, state } = context;
+    if (hasAdjacentEventBooleanConsumers) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace event-computed boolean \`${state.valueName}\` with one component-lifetime observable and extract its adjacent conditional presentation surfaces into one stable leaf subscriber; keep the event callback, boolean calculation, write position, and each existing conditional mount unchanged, while passing state-independent inputs as ordinary props.`,
+        };
+    }
+    if (hasMultiSurfaceBooleanConsumers) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace event-owned boolean \`${state.valueName}\` with one component-lifetime observable; keep the existing event callbacks and write positions, use reactive props for the proven class/style projections, use \`Show\` only at the bounded conditional presentation leaves, and do not subscribe the large owner.`,
+        };
+    }
+    return null;
+}
+export function wideOwnerTransportVerdict(context) {
+    const { hasCompanionWrites, hasReactiveMutationPath, hasSafeCommands, localComponents, materiality, sourceFile, state, usage, } = context;
+    if (ownerLineSpan(state.owner, sourceFile) >= WIDE_OWNER_LINE_SPAN &&
+        jsxElementCount(state.owner) >= materiality.broadOwnerJsx &&
+        !stateMayHoldCallable(state) &&
+        usage.localRenderReads === 0 &&
+        usage.effectReads === 0 &&
+        usage.deferredReads === 0 &&
+        usage.transportedOccurrences > 0 &&
+        usage.valueTargets.size === 1 &&
+        localComponents.has([...usage.valueTargets][0] ?? "") &&
+        usage.setterReferences > 0 &&
+        hasSafeCommands &&
+        !hasCompanionWrites &&
+        !hasReactiveMutationPath &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped) {
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace \`${state.valueName}\` with \`useObservable\` at this owner and subscribe with \`useValue\` only in the transported leaf consumers.`,
+        };
+    }
+    return null;
+}
+//# sourceMappingURL=subtree-verdicts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"subtree-verdicts.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/subtree-verdicts.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,+BAA+B,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,MAAM,2DAA2D,CAAC;AAC5G,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,4BAA4B,EAAE,MAAM,oDAAoD,CAAC;AAClG,OAAO,EAAE,0CAA0C,EAAE,MAAM,uDAAuD,CAAC;AAEnH,MAAM,UAAU,yBAAyB,CACvC,OAAmC;IAEnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACjC,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,gBAAgB,CAAC,KAAK,CAAC;QACvB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QAC3B,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,YAAY;QACxC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,YAAY;QAC7C,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,+BAA+B,CAAC,KAAK,CAAC,EACtC,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,2CAA2C,KAAK,CAAC,SAAS,oKAAoK;SACxO,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAmC;IAEnC,MAAM,EAAE,cAAc,EAAE,qBAAqB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACxE,MAAM,EACJ,wBAAwB,EACxB,wBAAwB,EACxB,2BAA2B,EAC3B,2BAA2B,GAC5B,GAAG,OAAO,CAAC,eAAe,CAAC;IAC5B,IACE,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,gBAAgB,CAAC,KAAK,CAAC;QACvB,KAAK,CAAC,aAAa,GAAG,CAAC;QACvB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QAC3B,CAAC,CAAC,2BAA2B,IAAI,2BAA2B,CAAC;QAC7D,CAAC,CAAC,wBAAwB,IAAI,2BAA2B,CAAC;QAC1D,CAAC,0CAA0C,CACzC,KAAK,EACL,qBAAqB,EACrB,cAAc;YACZ,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,EAAE,CACpC,cAAc,CAAC,0BAA0B,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,CAAC;YAChF,CAAC,CAAC,SAAS,CACd;QACD,CAAC,4BAA4B,CAAC,KAAK,CAAC;QACpC,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,IAAI,wBAAwB,CAAC,EAClF,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,2BAA2B;gBAClC,CAAC,CAAC,aAAa,KAAK,CAAC,SAAS,2QAA2Q;gBACzS,CAAC,CAAC,aAAa,KAAK,CAAC,SAAS,wIAAwI,KAAK,CAAC,uBAAuB,CAAC,CAAC,CAAC,iEAAiE,CAAC,CAAC,CAAC,EAAE,wGAAwG;SACvX,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAAmC;IAEnC,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IACvD,MAAM,8BAA8B,GAClC,OAAO,EAAE,IAAI,KAAK,2BAA2B,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,IAAI,8BAA8B,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC1D,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,gCAAgC,KAAK,CAAC,SAAS,qJAAqJ,8BAA8B,CAAC,KAAK,4BAA4B,8BAA8B,CAAC,IAAI,wCAAwC;SACzV,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,OAAmC;IAEnC,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IACvD,MAAM,4BAA4B,GAAG,OAAO,EAAE,IAAI,KAAK,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,IAAI,4BAA4B,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxD,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,mCAAmC,KAAK,CAAC,SAAS,mJAAmJ,4BAA4B,CAAC,SAAS,IAAI,+BAA+B,4IAA4I;SACpa,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAmC;IAEnC,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IACvD,MAAM,uBAAuB,GAAG,OAAO,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,IAAI,uBAAuB,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,0BAA0B,CAAC,uBAAuB,CAAC,CAAC;QACrE,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,+CAA+C,KAAK,CAAC,SAAS,gIAAgI,uBAAuB,CAAC,KAAK,4BAA4B,uBAAuB,CAAC,IAAI,wCAAwC,QAAQ,oEAAoE;SACjZ,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAmC;IAEnC,MAAM,EACJ,iCAAiC,EACjC,iCAAiC,EACjC,6BAA6B,EAC7B,KAAK,GACN,GAAG,OAAO,CAAC;IACZ,IAAI,iCAAiC,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,oCAAoC,KAAK,CAAC,SAAS,yQAAyQ;SACtU,CAAC;IACJ,CAAC;IACD,IAAI,6BAA6B,EAAE,CAAC;QAClC,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,uCAAuC,KAAK,CAAC,SAAS,yQAAyQ;SACzU,CAAC;IACJ,CAAC;IACD,IAAI,iCAAiC,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,sCAAsC,KAAK,CAAC,SAAS,2PAA2P;SAC1T,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAmC;IAEnC,MAAM,EAAE,4BAA4B,EAAE,uBAAuB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACxF,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,IAAI,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAC5F,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,gBAAgB,EACd,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,2BAA2B;YAC5F,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,CAAC,KAAK,CAAC,QAAQ,IAAI,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;gBACnE,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC;gBACtC,CAAC,CAAC,wBAAwB,KAAK,CAAC,SAAS,mFAAmF;SACjI,CAAC;IACJ,CAAC;IACD,IACE,KAAK,CAAC,WAAW,GAAG,CAAC;QACrB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,oBAAoB;QACrD,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,oBAAoB;QAChD,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAC1B,CAAC;QACD,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,6BAA6B,KAAK,CAAC,SAAS,qFAAqF;SAC3I,CAAC;IACJ,CAAC;IACD,IAAI,4BAA4B,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpD,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,0JAA0J;SACpK,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAmC;IAEnC,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC9D,MAAM,aAAa,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,aAAa,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACzC,IAAI,aAAa,CAAC,QAAQ,EAAE,CAAC;YAC3B,OAAO;gBACL,MAAM,EAAE,gBAAgB;gBACxB,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE,aAAa,KAAK,CAAC,SAAS,iIAAiI,aAAa,CAAC,KAAK,oBAAoB,aAAa,CAAC,IAAI,oCAAoC;aACpQ,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,qBAAqB,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC;QACrE,IAAI,aAAa,CAAC,QAAQ,EAAE,CAAC;YAC3B,OAAO;gBACL,MAAM,EAAE,gBAAgB;gBACxB,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE,aAAa,KAAK,CAAC,SAAS,wDAAwD,aAAa,CAAC,KAAK,oBAAoB,aAAa,CAAC,IAAI,4HAA4H,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE;aAC9T,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,eAAe,aAAa,CAAC,KAAK,oBAAoB,aAAa,CAAC,IAAI,qCAAqC,KAAK,CAAC,SAAS,yEAAyE,KAAK,EAAE;SACtN,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAqB,EAAE,KAAiB;IACnE,OAAO,KAAK,CAAC,oBAAoB,CAAC,IAAI,GAAG,CAAC;QACxC,CAAC,CAAC,+BAA+B,KAAK,CAAC,UAAU,sCAAsC,KAAK,CAAC,SAAS,wBAAwB;QAC9H,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,SAAS,qBAAqB,CAAC,iBAAoC;IACjE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,OAAO,SAAS,KAAK,gHAAgH,CAAC;AACxI,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAmC;IACrE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC9D,MAAM,iBAAiB,GAAG,OAAO,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,MAAM,WAAW,GAAG,OAAO,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9D,IAAI,WAAW,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACvC,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,aAAa,KAAK,CAAC,SAAS,0GAA0G,WAAW,CAAC,KAAK,qBAAqB,WAAW,CAAC,IAAI,gKAAgK;SACtW,CAAC;IACJ,CAAC;IACD,IAAI,iBAAiB,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,0BAA0B,CAAC,iBAAiB,CAAC,CAAC;QAC/D,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,KAAK,CAAC,sBAAsB,GAAG,CAAC;gBAC9B,CAAC,CAAC,aAAa,KAAK,CAAC,SAAS,wDAAwD,iBAAiB,CAAC,KAAK,sBAAsB,iBAAiB,CAAC,IAAI,wBAAwB,QAAQ,8JAA8J;gBACvV,CAAC,CAAC,aAAa,KAAK,CAAC,SAAS,wDAAwD,iBAAiB,CAAC,KAAK,sBAAsB,iBAAiB,CAAC,IAAI,wBAAwB,QAAQ,iGAAiG;SAC/R,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAmC;IACrE,MAAM,EAAE,gCAAgC,EAAE,+BAA+B,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC7F,IAAI,gCAAgC,EAAE,CAAC;QACrC,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,oCAAoC,KAAK,CAAC,SAAS,8SAA8S;SAC3W,CAAC;IACJ,CAAC;IACD,IAAI,+BAA+B,EAAE,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,iCAAiC,KAAK,CAAC,SAAS,sQAAsQ;SAChU,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAmC;IAEnC,MAAM,EACJ,kBAAkB,EAClB,uBAAuB,EACvB,eAAe,EACf,eAAe,EACf,WAAW,EACX,UAAU,EACV,KAAK,EACL,KAAK,GACN,GAAG,OAAO,CAAC;IACZ,IACE,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,oBAAoB;QAC9D,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa;QACzD,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrD,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,eAAe;QACf,CAAC,kBAAkB;QACnB,CAAC,uBAAuB;QACxB,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,aAAa,KAAK,CAAC,SAAS,iHAAiH;SACvJ,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -0,0 +1,10 @@
+import type { ClassifiedState, StateUsage } from "../model.js";
+import type { StateClassificationContext } from "./classification-context.js";
+export declare function stateWritesAreUntracked(usage: StateUsage): boolean;
+export declare function stateHasNoEffectOrDeferredUse(usage: StateUsage, allowDetachedEffectWrites?: boolean): boolean;
+export declare function controlledStateReadsAreEventOnly(usage: StateUsage): boolean;
+export declare function setterCallsAssignBooleanLiterals(usage: StateUsage): boolean;
+export declare function compactTransportCutVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function descendantControlledCutVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function visibilityTransportVerdict(context: StateClassificationContext): ClassifiedState | null;
+//# sourceMappingURL=transport-verdicts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transport-verdicts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/transport-verdicts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAkB,UAAU,EAAE,MAAM,aAAa,CAAC;AAe/E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAsB9E,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAElE;AAED,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,UAAU,EACjB,yBAAyB,UAAQ,GAChC,OAAO,CAMT;AAUD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAS3E;AAED,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAS3E;AAgCD,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CA6BxB;AAED,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAmCxB;AAED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAgCxB"}

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

@@ -0,0 +1,137 @@
+import { hasDirectPrimitiveInitializer, stateMayHoldCallable, } from "../../rules/state-proofs/state-proofs.js";
+import { isCustomHookOwner, renderCutSuffix } from "../ast-helpers.js";
+import { jsxElementCount, nearestRepeatedRenderCall, } from "../../rules/state-proofs/jsx-subtrees.js";
+import { setterOwnedByValueCallSite, setterOwnedByValueTransitionCallSite, } from "../controlled-leaf-cuts.js";
+import { BROAD_OWNER_JSX_ELEMENTS } from "../constants.js";
+import { isLiteralBooleanLeafState } from "../../rules/literal-boolean-leaf/literal-boolean-leaf.js";
+import ts from "typescript";
+function stateIsTransportOnly(usage) {
+    return (usage.localRenderReads === 0 &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads === 0 &&
+        usage.transportedOccurrences > 0);
+}
+function stateHasSingleTransportTarget(usage) {
+    return (usage.valueTransportSites.size === 1 &&
+        usage.valueTargets.size === 1 &&
+        !usage.repeatedValueTransport);
+}
+export function stateWritesAreUntracked(usage) {
+    return !usage.setterUsesPreviousValue && !usage.shadowed && !usage.escaped;
+}
+export function stateHasNoEffectOrDeferredUse(usage, allowDetachedEffectWrites = false) {
+    return (usage.effectReads === 0 &&
+        (usage.effectWrites === 0 || allowDetachedEffectWrites) &&
+        usage.deferredReads === 0);
+}
+function transportTargetIsKnownComponent(usage, { localComponents, sourceComponents }) {
+    const [target] = [...usage.valueTargets];
+    return target !== undefined && (localComponents.has(target) || sourceComponents.has(target));
+}
+export function controlledStateReadsAreEventOnly(usage) {
+    return (usage.localRenderReads === 0 &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads > 0 &&
+        usage.transportedOccurrences > 0 &&
+        !usage.repeatedTransport);
+}
+export function setterCallsAssignBooleanLiterals(usage) {
+    return usage.setterCallNodes.every((call) => {
+        const [argument] = call.arguments;
+        return (call.arguments.length === 1 &&
+            argument !== undefined &&
+            (argument.kind === ts.SyntaxKind.TrueKeyword || argument.kind === ts.SyntaxKind.FalseKeyword));
+    });
+}
+function ownerRenderCutIsMaterial(context) {
+    const { materiality, state, usage } = context;
+    const { hasCompactBooleanTransportCut, hasRepeatedOwnerRenderCut } = context.renderCut;
+    return (jsxElementCount(state.owner) >= materiality.broadOwnerJsx ||
+        hasCompactBooleanTransportCut ||
+        (hasRepeatedOwnerRenderCut &&
+            !usage.repeatedTransport &&
+            usage.setterCallNodes.every((call) => nearestRepeatedRenderCall(call, state.owner) === null)));
+}
+function companionWritesAllowTransportCut(context) {
+    const { hasCompanionWrites, hasIndependentDirectEventWrite, hasIndependentVisibilitySetterTransport, hasNonClosingCompanionWrites, hasReactiveMutationPath, } = context;
+    const { hasVisibilityValueTransport } = context.renderCut;
+    const independentWrite = hasIndependentDirectEventWrite || hasIndependentVisibilitySetterTransport;
+    return ((!hasCompanionWrites ||
+        (hasVisibilityValueTransport && !hasNonClosingCompanionWrites && independentWrite)) &&
+        (!hasReactiveMutationPath || independentWrite));
+}
+export function compactTransportCutVerdict(context) {
+    const { hasSafeCommands, state, usage } = context;
+    const { branchCallSite, hasCompactBooleanTransportCut, hasRepeatedOwnerRenderCut } = context.renderCut;
+    if (!isCustomHookOwner(state.owner) &&
+        ownerRenderCutIsMaterial(context) &&
+        stateIsTransportOnly(usage) &&
+        stateHasSingleTransportTarget(usage) &&
+        branchCallSite !== null &&
+        companionWritesAllowTransportCut(context) &&
+        hasSafeCommands &&
+        hasDirectPrimitiveInitializer(state) &&
+        !stateMayHoldCallable(state) &&
+        !setterOwnedByValueCallSite(usage, state.owner) &&
+        usage.setterReferences > 0 &&
+        stateWritesAreUntracked(usage)) {
+        const target = [...usage.valueTargets][0] ?? "the receiving child";
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace \`${state.valueName}\` with a component-lifetime observable and extract one stable call-site leaf wrapper around \`${target}\` (never define it inline); subscribe there, pass the same prop snapshot, and adapt every command-only setter call or prop to mutate without subscribing.${renderCutSuffix(jsxElementCount(state.owner) < BROAD_OWNER_JSX_ELEMENTS && hasCompactBooleanTransportCut, jsxElementCount(state.owner) < BROAD_OWNER_JSX_ELEMENTS && hasRepeatedOwnerRenderCut)}`,
+        };
+    }
+    return null;
+}
+export function descendantControlledCutVerdict(context) {
+    const { hasCompanionWrites, hasSafeCommands, localComponents, materiality, sourceComponents, state, usage, } = context;
+    const { branchCallSite, descendantControlledCut, directCallSite } = context.renderCut;
+    if (!isCustomHookOwner(state.owner) &&
+        jsxElementCount(state.owner) >= materiality.broadOwnerJsx &&
+        stateIsTransportOnly(usage) &&
+        stateHasSingleTransportTarget(usage) &&
+        (descendantControlledCut ||
+            transportTargetIsKnownComponent(usage, { localComponents, sourceComponents })) &&
+        branchCallSite !== null &&
+        (directCallSite === null || usage.unstableTransport) &&
+        !hasCompanionWrites &&
+        hasSafeCommands &&
+        hasDirectPrimitiveInitializer(state) &&
+        !stateMayHoldCallable(state) &&
+        (descendantControlledCut || setterOwnedByValueTransitionCallSite(state, usage)) &&
+        stateWritesAreUntracked(usage)) {
+        const target = [...usage.valueTargets][0] ?? "the receiving child";
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace call-site-owned state \`${state.valueName}\` with a component-lifetime observable and wrap the branch-local \`${target}\` call site in a leaf subscriber; keep ownership at this owner so alternate returns and conditional mounts preserve the existing state lifetime.`,
+        };
+    }
+    return null;
+}
+export function visibilityTransportVerdict(context) {
+    const { hasCompanionWrites, hasMemoizedOptionCommand, hasReactiveMutationPath, localComponents, materiality, sourceComponents, state, usage, } = context;
+    const { branchCallSite } = context.renderCut;
+    if (isLiteralBooleanLeafState(state, usage, {
+        branchCallSiteExists: branchCallSite !== null,
+        hasCompanionWrites,
+        hasMemoizedOptionCommand,
+        hasReactiveMutationPath,
+        isCustomHookOwner: isCustomHookOwner(state.owner),
+        localComponents,
+        materiality,
+        sourceComponents,
+    })) {
+        const target = [...usage.valueTargets][0] ?? "the receiving child";
+        return {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace boolean leaf state \`${state.valueName}\` with a component-lifetime observable and wrap the stable \`${target}\` call site in a leaf subscriber; preserve owner lifetime and change only the literal setter commands so external callbacks no longer invalidate the broad owner.`,
+        };
+    }
+    return null;
+}
+//# sourceMappingURL=transport-verdicts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transport-verdicts.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/transport-verdicts.ts"],"names":[],"mappings":"AACA,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,EACL,eAAe,EACf,yBAAyB,GAC1B,MAAM,0CAA0C,CAAC;AAClD,OAAO,EACL,0BAA0B,EAC1B,oCAAoC,GACrC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,0DAA0D,CAAC;AACrG,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,sBAAsB,GAAG,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAiB;IACtD,OAAO,CACL,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,CAAC,KAAK,CAAC,sBAAsB,CAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAiB;IACvD,OAAO,CAAC,KAAK,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,KAAiB,EACjB,yBAAyB,GAAG,KAAK;IAEjC,OAAO,CACL,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,IAAI,yBAAyB,CAAC;QACvD,KAAK,CAAC,aAAa,KAAK,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,KAAiB,EACjB,EAAE,eAAe,EAAE,gBAAgB,EAAkB;IAErD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAiB;IAChE,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,GAAG,CAAC;QACvB,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,CAAC,KAAK,CAAC,iBAAiB,CACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAiB;IAChE,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1C,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QAClC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,QAAQ,KAAK,SAAS;YACtB,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAC9F,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAmC;IACnE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC9C,MAAM,EAAE,6BAA6B,EAAE,yBAAyB,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IACvF,OAAO,CACL,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa;QACzD,6BAA6B;QAC7B,CAAC,yBAAyB;YACxB,CAAC,KAAK,CAAC,iBAAiB;YACxB,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAChG,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CAAC,OAAmC;IAC3E,MAAM,EACJ,kBAAkB,EAClB,8BAA8B,EAC9B,uCAAuC,EACvC,4BAA4B,EAC5B,uBAAuB,GACxB,GAAG,OAAO,CAAC;IACZ,MAAM,EAAE,2BAA2B,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IAC1D,MAAM,gBAAgB,GACpB,8BAA8B,IAAI,uCAAuC,CAAC;IAC5E,OAAO,CACL,CAAC,CAAC,kBAAkB;QAClB,CAAC,2BAA2B,IAAI,CAAC,4BAA4B,IAAI,gBAAgB,CAAC,CAAC;QACrF,CAAC,CAAC,uBAAuB,IAAI,gBAAgB,CAAC,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAAmC;IAEnC,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAClD,MAAM,EAAE,cAAc,EAAE,6BAA6B,EAAE,yBAAyB,EAAE,GAChF,OAAO,CAAC,SAAS,CAAC;IACpB,IACE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,wBAAwB,CAAC,OAAO,CAAC;QACjC,oBAAoB,CAAC,KAAK,CAAC;QAC3B,6BAA6B,CAAC,KAAK,CAAC;QACpC,cAAc,KAAK,IAAI;QACvB,gCAAgC,CAAC,OAAO,CAAC;QACzC,eAAe;QACf,6BAA6B,CAAC,KAAK,CAAC;QACpC,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,CAAC,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC/C,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,uBAAuB,CAAC,KAAK,CAAC,EAC9B,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,qBAAqB,CAAC;QACnE,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,aAAa,KAAK,CAAC,SAAS,kGAAkG,MAAM,6JAA6J,eAAe,CACvT,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,wBAAwB,IAAI,6BAA6B,EACxF,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,wBAAwB,IAAI,yBAAyB,CACrF,EAAE;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAAmC;IAEnC,MAAM,EACJ,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,KAAK,EACL,KAAK,GACN,GAAG,OAAO,CAAC;IACZ,MAAM,EAAE,cAAc,EAAE,uBAAuB,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IACtF,IACE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa;QACzD,oBAAoB,CAAC,KAAK,CAAC;QAC3B,6BAA6B,CAAC,KAAK,CAAC;QACpC,CAAC,uBAAuB;YACtB,+BAA+B,CAAC,KAAK,EAAE,EAAE,eAAe,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAChF,cAAc,KAAK,IAAI;QACvB,CAAC,cAAc,KAAK,IAAI,IAAI,KAAK,CAAC,iBAAiB,CAAC;QACpD,CAAC,kBAAkB;QACnB,eAAe;QACf,6BAA6B,CAAC,KAAK,CAAC;QACpC,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,CAAC,uBAAuB,IAAI,oCAAoC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/E,uBAAuB,CAAC,KAAK,CAAC,EAC9B,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,qBAAqB,CAAC;QACnE,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,mCAAmC,KAAK,CAAC,SAAS,uEAAuE,MAAM,mJAAmJ;SAC5R,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAAmC;IAEnC,MAAM,EACJ,kBAAkB,EAClB,wBAAwB,EACxB,uBAAuB,EACvB,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,KAAK,EACL,KAAK,GACN,GAAG,OAAO,CAAC;IACZ,MAAM,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IAC7C,IACE,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE;QACtC,oBAAoB,EAAE,cAAc,KAAK,IAAI;QAC7C,kBAAkB;QAClB,wBAAwB;QACxB,uBAAuB;QACvB,iBAAiB,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QACjD,eAAe;QACf,WAAW;QACX,gBAAgB;KACjB,CAAC,EACF,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,qBAAqB,CAAC;QACnE,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,gCAAgC,KAAK,CAAC,SAAS,iEAAiE,MAAM,oKAAoK;SACpS,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/cli/analyzer-identity.d.ts

@@ -0,0 +1,6 @@
+export interface AnalyzerIdentity {
+    readonly build: string;
+    readonly version: string;
+}
+export declare function analyzerIdentity(): Promise<AnalyzerIdentity>;
+//# sourceMappingURL=analyzer-identity.d.ts.map

package/dist/src/cli/analyzer-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyzer-identity.d.ts","sourceRoot":"","sources":["../../../src/cli/analyzer-identity.ts"],"names":[],"mappings":"AAMA,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAID,wBAAsB,gBAAgB,IAAI,OAAO,CAAC,gBAAgB,CAAC,CAGlE"}