legend-doctor 0.1.0

package/dist/src/analysis/verdicts/setter-forwarding.js

@@ -0,0 +1,44 @@
+import { isDirectJsxAttributeExpression } from "../../core/analysis-ast.js";
+import { jsxTargetName } from "../ast-helpers.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+/**
+ * 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 function forwardedSetterProp(state, usage, childContracts) {
+    const [target] = [...usage.setterTargets];
+    if (target === undefined ||
+        usage.setterTargets.size !== 1 ||
+        !usage.valueTargets.has(target) ||
+        usage.setterReferences !== usage.setterCalls + 1 ||
+        ![...usage.setterTransportSites].every((site) => usage.valueTransportSites.has(site))) {
+        return null;
+    }
+    const attribute = soleSetterAttribute(state);
+    if (!attribute || jsxTargetName(attribute) !== target) {
+        return null;
+    }
+    const propName = attribute.name.getText();
+    return childContracts.componentCallbackPropIsDeferred(target, propName)
+        ? { propName, target }
+        : null;
+}
+function soleSetterAttribute(state) {
+    const attributes = [];
+    visit(state.owner.body, (node) => {
+        if (ts.isJsxAttribute(node) &&
+            node.initializer &&
+            ts.isJsxExpression(node.initializer) &&
+            node.initializer.expression &&
+            ts.isIdentifier(node.initializer.expression) &&
+            node.initializer.expression.text === state.setterName &&
+            isDirectJsxAttributeExpression(node, node.initializer.expression)) {
+            attributes.push(node);
+        }
+    });
+    const [attribute] = attributes;
+    return attributes.length === 1 && attribute ? attribute : null;
+}
+//# sourceMappingURL=setter-forwarding.js.map

package/dist/src/analysis/verdicts/setter-forwarding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setter-forwarding.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/setter-forwarding.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAO1C;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAqB,EACrB,KAAiB,EACjB,cAAqC;IAErC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IAC1C,IACE,MAAM,KAAK,SAAS;QACpB,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAC9B,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;QAC/B,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW,GAAG,CAAC;QAChD,CAAC,CAAC,GAAG,KAAK,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EACrF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,SAAS,IAAI,aAAa,CAAC,SAAS,CAAC,KAAK,MAAM,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1C,OAAO,cAAc,CAAC,+BAA+B,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrE,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE;QACtB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAqB;IAChD,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;YACpC,IAAI,CAAC,WAAW,CAAC,UAAU;YAC3B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;YAC5C,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU;YACrD,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EACjE,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC;IAC/B,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACjE,CAAC"}

package/dist/src/analysis/verdicts/site-subscription-verdict.d.ts

@@ -0,0 +1,40 @@
+import type { ClassifiedState, StateCandidate, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { HostTagImports } from "../../core/imports.js";
+import type { MaterialityPolicy } from "../constants.js";
+import type { StateClassificationContext } from "./classification-context.js";
+import ts from "typescript";
+type SiteKind = "computed" | "leaf-wrapper" | "reactive-prop";
+interface SubscriptionSite {
+    readonly kind: SiteKind;
+    readonly label: string;
+    readonly node: ts.Node;
+}
+interface SiteScope {
+    readonly allowUnresolvedComponentCallSite?: boolean;
+    readonly childContracts: ChildContractResolver | null;
+    readonly hostTags: HostTagImports;
+    readonly pureProjectionImports: ReadonlySet<string>;
+    readonly state: StateCandidate;
+}
+export interface SubscriptionSites {
+    readonly derivedBindings: readonly string[];
+    readonly sites: readonly SubscriptionSite[];
+}
+/**
+ * A broad owner that reads one state at several independent JSX sites can subscribe at each site
+ * instead of rendering itself: child expressions become `Computed`, host attributes become reactive
+ * props, and transports into proven leaf consumers become leaf wrappers. Every read must sit in such
+ * a position; reads that feed derived values, guards, hook arguments, or callbacks abstain.
+ */
+export declare function siteSubscriptionVerdict(context: StateClassificationContext): ClassifiedState | null;
+interface SiteSubscriptionGates {
+    readonly hasCompanionWrites: boolean;
+    readonly hasDetachedEffectWrites: boolean;
+    readonly materiality: MaterialityPolicy;
+}
+export declare function stateQualifiesForSiteSubscriptions(state: StateCandidate, usage: StateUsage, { hasCompanionWrites, hasDetachedEffectWrites, materiality }: SiteSubscriptionGates): boolean;
+export declare function subscriptionSites(usage: StateUsage, scope: SiteScope): SubscriptionSites | null;
+export declare function subscriptionSitesAreMaterial(sites: readonly SubscriptionSite[], state: StateCandidate): boolean;
+export {};
+//# sourceMappingURL=site-subscription-verdict.d.ts.map

package/dist/src/analysis/verdicts/site-subscription-verdict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"site-subscription-verdict.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/site-subscription-verdict.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAmB/E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAO9E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,KAAK,QAAQ,GAAG,UAAU,GAAG,cAAc,GAAG,eAAe,CAAC;AAK9D,UAAU,gBAAgB;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;CACxB;AAED,UAAU,SAAS;IACjB,QAAQ,CAAC,gCAAgC,CAAC,EAAE,OAAO,CAAC;IACpD,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;CAChC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC7C;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAmBxB;AAqCD,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;CACzC;AAED,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,WAAW,EAAE,EAAE,qBAAqB,GAClF,OAAO,CAeT;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,GAAG,iBAAiB,GAAG,IAAI,CAgB/F;AAyND,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,SAAS,gBAAgB,EAAE,EAClC,KAAK,EAAE,cAAc,GACpB,OAAO,CAGT"}

package/dist/src/analysis/verdicts/site-subscription-verdict.js

@@ -0,0 +1,282 @@
+import { bindingDeclarationCount, isAssignmentOperator, isDirectJsxAttributeExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { hasHiddenCompanionWrites, writesAreEventRooted } from "./site-write-roots.js";
+import { hasOnlyEventCommandReads, stateMayHoldCallable, } from "../../rules/state-proofs/state-proofs.js";
+import { jsxElementCount, jsxElementCountIn } from "../../rules/state-proofs/jsx-subtrees.js";
+import { MAX_LEAF_SUBTREE_RATIO } from "../constants.js";
+import { isCustomHookOwner } from "../ast-helpers.js";
+import { isHostTag } from "../../core/imports.js";
+import { isImportedTranslationCall } from "../../rules/effects/command-support-calls.js";
+import { isSafeProjectionExpression } from "../../rules/deferred-reveal/safe-projections.js";
+import { oneHopRenderProjectionReferences } from "../../rules/state-proofs/projection-hops.js";
+import { stateWritesAreUntracked } from "./transport-verdicts.js";
+import ts from "typescript";
+/** How many pure `const` projections a read may pass through before it must reach a JSX site. */
+const MAX_PROJECTION_HOPS = 3;
+/**
+ * A broad owner that reads one state at several independent JSX sites can subscribe at each site
+ * instead of rendering itself: child expressions become `Computed`, host attributes become reactive
+ * props, and transports into proven leaf consumers become leaf wrappers. Every read must sit in such
+ * a position; reads that feed derived values, guards, hook arguments, or callbacks abstain.
+ */
+export function siteSubscriptionVerdict(context) {
+    const { childContracts, state, usage } = context;
+    if (!siteSubscriptionPreconditionsHold(context)) {
+        return null;
+    }
+    const resolved = subscriptionSites(usage, {
+        childContracts,
+        hostTags: context.hostTags,
+        pureProjectionImports: context.pureProjectionImports,
+        state,
+    });
+    if (!resolved || !subscriptionSitesAreMaterial(resolved.sites, state)) {
+        return null;
+    }
+    return {
+        action: "use-observable",
+        confidence: "probable",
+        message: siteSubscriptionMessage(state, resolved, usage),
+    };
+}
+function writesOutsideEffects(usage, effectRegions) {
+    return usage.setterCallNodes.filter((call) => ![...effectRegions].some((region) => nodeWithin(call, region)));
+}
+function siteSubscriptionPreconditionsHold(context) {
+    const { childContracts, eventTransitionCallbacks, hasDetachedEffectWrites, state, usage } = context;
+    const eventWrites = hasDetachedEffectWrites
+        ? { ...usage, setterCallNodes: writesOutsideEffects(usage, context.effectRegions) }
+        : usage;
+    return (context.hasSafeCommands &&
+        !context.hasReactiveMutationPath &&
+        stateQualifiesForSiteSubscriptions(state, usage, context) &&
+        (usage.deferredReads === 0 ||
+            hasOnlyEventCommandReads(state, new Set(usage.directRenderNodes), eventTransitionCallbacks)) &&
+        writesAreEventRooted(eventWrites, {
+            childContracts,
+            eventTransitionCallbacks,
+            hostTags: context.hostTags,
+            state,
+        }) &&
+        !hasHiddenCompanionWrites(state, usage));
+}
+export function stateQualifiesForSiteSubscriptions(state, usage, { hasCompanionWrites, hasDetachedEffectWrites, materiality }) {
+    return (!isCustomHookOwner(state.owner) &&
+        jsxElementCount(state.owner) >= materiality.broadOwnerJsx &&
+        usage.localRenderReads > 0 &&
+        usage.effectReads === 0 &&
+        (usage.effectWrites === 0 || hasDetachedEffectWrites) &&
+        usage.setterCalls >= 1 &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.repeatedTransport &&
+        !usage.unstableTransport &&
+        !hasCompanionWrites &&
+        stateWritesAreUntracked(usage) &&
+        !stateMayHoldCallable(state));
+}
+export function subscriptionSites(usage, scope) {
+    const derivedBindings = new Set();
+    const trail = { derivedBindings, scope };
+    const reads = usage.directRenderNodes.flatMap((read) => ts.isIdentifier(read) ? projectedReads(read, trail, MAX_PROJECTION_HOPS) : [null]);
+    if (reads.some((read) => read === null)) {
+        return null;
+    }
+    const sites = [
+        ...reads.map((read) => (read ? renderReadSite(read, scope) : null)),
+        ...transportAttributes(scope.state).map((attribute) => transportSite(attribute, scope)),
+    ];
+    return sites.some((site) => site === null)
+        ? null
+        : { derivedBindings: [...derivedBindings].toSorted(), sites: uniqueSites(sites) };
+}
+/**
+ * A read inside a uniquely bound pure `const` initializer stands for every render reference of
+ * that binding: the binding can be recomputed inside the subscribing sites. Impure initializers,
+ * unused bindings, and trails longer than the hop budget abstain.
+ */
+function projectedReads(read, trail, hops) {
+    const { owner } = trail.scope.state;
+    const declaration = findAncestorUntil(read, ts.isVariableDeclaration, owner);
+    if (!declaration) {
+        return [read];
+    }
+    const references = hops > 0 ? projectionHop(read, declaration, trail) : null;
+    return references
+        ? references.flatMap((reference) => projectedReads(reference, trail, hops - 1))
+        : [null];
+}
+function projectionHop(read, declaration, trail) {
+    if (!declaration.initializer || !ts.isIdentifier(declaration.name)) {
+        return null;
+    }
+    const pureCalls = pureCalleesIn(declaration.initializer, trail.scope);
+    const references = oneHopRenderProjectionReferences(trail.scope.state.owner, [read], (query) => isSafeProjectionExpression({ ...query, allowedIdentifierCalls: pureCalls }));
+    if (references) {
+        trail.derivedBindings.add(declaration.name.text);
+    }
+    return references;
+}
+function pureCalleesIn(expression, scope) {
+    const callees = new Set();
+    visit(expression, (node) => {
+        if (ts.isCallExpression(node) &&
+            ts.isIdentifier(node.expression) &&
+            isPureSiteCall(node, scope)) {
+            callees.add(node.expression.text);
+        }
+    });
+    return callees;
+}
+function uniqueSites(sites) {
+    const unique = new Map();
+    for (const site of sites) {
+        if (site) {
+            unique.set(site.node, site);
+        }
+    }
+    return [...unique.values()].toSorted((left, right) => left.node.getStart() - right.node.getStart());
+}
+function renderReadSite(read, scope) {
+    const { state } = scope;
+    if (nearestNestedFunction(read, state.owner) !== null) {
+        return null;
+    }
+    const attribute = findAncestorUntil(read, ts.isJsxAttribute, state.owner);
+    if (attribute) {
+        return attributeSite(attribute, scope);
+    }
+    const expression = childExpressionContaining(read, state.owner);
+    return expression && rendersWithoutSideEffects(expression, scope)
+        ? { kind: "computed", label: "child expression", node: expression }
+        : null;
+}
+function attributeSite(attribute, scope) {
+    const tag = attributeTagName(attribute);
+    if (tag === null || !rendersWithoutSideEffects(attribute, scope)) {
+        return null;
+    }
+    const propName = attribute.name.getText();
+    if (isHostTag(tag, scope.hostTags)) {
+        return { kind: "reactive-prop", label: `${propName} on <${tag}>`, node: attribute };
+    }
+    return scope.allowUnresolvedComponentCallSite ||
+        scope.childContracts?.componentPropIsLeafRenderConsumer(tag, propName) === true
+        ? {
+            kind: "leaf-wrapper",
+            label: `<${tag}> call site, computing ${propName}`,
+            node: attribute.parent.parent,
+        }
+        : null;
+}
+/**
+ * A wrapped site re-evaluates from the observable instead of the owner render, so it may not run
+ * calls, constructors, awaits, or writes of its own. Imported pure projections and the translation
+ * function of an imported `useTranslation()` are reads, not effects. Handlers nested inside rendered
+ * JSX are skipped: they run on events, not during evaluation.
+ */
+function rendersWithoutSideEffects(site, scope) {
+    let pure = true;
+    visitSkippingNestedRuntimeFunctions(site, (node) => {
+        if (ts.isCallExpression(node)) {
+            pure &&= isPureSiteCall(node, scope);
+            return;
+        }
+        if (ts.isNewExpression(node) ||
+            ts.isAwaitExpression(node) ||
+            ts.isYieldExpression(node) ||
+            ts.isTaggedTemplateExpression(node) ||
+            ts.isDeleteExpression(node) ||
+            ts.isPostfixUnaryExpression(node) ||
+            (ts.isPrefixUnaryExpression(node) &&
+                (node.operator === ts.SyntaxKind.PlusPlusToken ||
+                    node.operator === ts.SyntaxKind.MinusMinusToken)) ||
+            (ts.isBinaryExpression(node) && isAssignmentOperator(node.operatorToken.kind))) {
+            pure = false;
+        }
+    });
+    return pure;
+}
+function isPureSiteCall(call, scope) {
+    const { owner } = scope.state;
+    if (isImportedTranslationCall(call, owner)) {
+        return true;
+    }
+    const callee = call.expression;
+    return (ts.isIdentifier(callee) &&
+        scope.pureProjectionImports.has(callee.text) &&
+        bindingDeclarationCount(owner, callee.text) === 0);
+}
+function childExpressionContaining(read, owner) {
+    let candidate = null;
+    for (let current = read; current !== owner && current.parent; current = current.parent) {
+        if (ts.isJsxExpression(current) &&
+            (ts.isJsxElement(current.parent) || ts.isJsxFragment(current.parent))) {
+            candidate = current;
+        }
+        if (ts.isJsxAttribute(current) ||
+            ts.isReturnStatement(current) ||
+            ts.isVariableDeclaration(current)) {
+            break;
+        }
+    }
+    return candidate;
+}
+function transportAttributes(state) {
+    const attributes = [];
+    visit(state.owner.body, (node) => {
+        if (ts.isJsxAttribute(node) &&
+            node.initializer &&
+            ts.isJsxExpression(node.initializer) &&
+            node.initializer.expression &&
+            ts.isIdentifier(node.initializer.expression) &&
+            node.initializer.expression.text === state.valueName &&
+            isDirectJsxAttributeExpression(node, node.initializer.expression)) {
+            const tag = attributeTagName(node);
+            if (tag !== null && !/^[a-z]/u.test(tag)) {
+                attributes.push(node);
+            }
+        }
+    });
+    return attributes;
+}
+function transportSite(attribute, scope) {
+    const tag = attributeTagName(attribute);
+    if (tag === null ||
+        nearestNestedFunction(attribute, scope.state.owner) !== null ||
+        isHostTag(tag, scope.hostTags)) {
+        return null;
+    }
+    const propName = attribute.name.getText();
+    return scope.allowUnresolvedComponentCallSite ||
+        scope.childContracts?.componentPropIsLeafRenderConsumer(tag, propName) === true
+        ? { kind: "leaf-wrapper", label: `<${tag}> call site`, node: attribute.parent.parent }
+        : null;
+}
+function attributeTagName(attribute) {
+    const opening = attribute.parent.parent;
+    return ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening)
+        ? opening.tagName.getText()
+        : null;
+}
+export function subscriptionSitesAreMaterial(sites, state) {
+    const wrapped = sites.reduce((total, site) => total + jsxElementCountIn(site.node), 0);
+    return wrapped / jsxElementCount(state.owner) <= MAX_LEAF_SUBTREE_RATIO;
+}
+const SITE_INSTRUCTIONS = {
+    computed: "wrap the child expression in `Computed`",
+    "leaf-wrapper": "wrap the call site in a stable leaf subscriber that passes the same plain value",
+    "reactive-prop": "make the attribute a reactive prop",
+};
+function siteSubscriptionMessage(state, { derivedBindings, sites }, usage) {
+    const sourceFile = state.owner.getSourceFile();
+    const steps = sites.map((site) => {
+        const line = sourceFile.getLineAndCharacterOfPosition(site.node.getStart(sourceFile)).line + 1;
+        return `${SITE_INSTRUCTIONS[site.kind]} (${site.label}, line ${line})`;
+    });
+    const derived = derivedBindings.length > 0
+        ? ` Recompute ${derivedBindings.map((name) => `\`${name}\``).join(", ")} inside the subscribing sites instead of the owner render.`
+        : "";
+    const commands = usage.deferredReads > 0 ? " Snapshot command reads with `.peek()` at command entry." : "";
+    return `Replace \`${state.valueName}\` with a component-lifetime observable and subscribe at its ${sites.length} render ${sites.length === 1 ? "site" : "sites"} instead of this owner: ${steps.join("; ")}.${derived} Keep the setter calls in place as observable writes.${commands} The owner no longer renders when \`${state.valueName}\` changes.`;
+}
+//# sourceMappingURL=site-subscription-verdict.js.map

package/dist/src/analysis/verdicts/site-subscription-verdict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"site-subscription-verdict.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/site-subscription-verdict.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAG9F,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAGzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8CAA8C,CAAC;AACzF,OAAO,EAAE,0BAA0B,EAAE,MAAM,iDAAiD,CAAC;AAC7F,OAAO,EAAE,gCAAgC,EAAE,MAAM,6CAA6C,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,iGAAiG;AACjG,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAqB9B;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAmC;IAEnC,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACjD,IAAI,CAAC,iCAAiC,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE;QACxC,cAAc;QACd,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;QACpD,KAAK;KACN,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,IAAI,CAAC,4BAA4B,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,uBAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAiB,EACjB,aAA0D;IAE1D,OAAO,KAAK,CAAC,eAAe,CAAC,MAAM,CACjC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CAAC,OAAmC;IAC5E,MAAM,EAAE,cAAc,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,KAAK,EAAE,KAAK,EAAE,GACvF,OAAO,CAAC;IACV,MAAM,WAAW,GAAG,uBAAuB;QACzC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,eAAe,EAAE,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,EAAE;QACnF,CAAC,CAAC,KAAK,CAAC;IACV,OAAO,CACL,OAAO,CAAC,eAAe;QACvB,CAAC,OAAO,CAAC,uBAAuB;QAChC,kCAAkC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;QACzD,CAAC,KAAK,CAAC,aAAa,KAAK,CAAC;YACxB,wBAAwB,CACtB,KAAK,EACL,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAChC,wBAAwB,CACzB,CAAC;QACJ,oBAAoB,CAAC,WAAW,EAAE;YAChC,cAAc;YACd,wBAAwB;YACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,KAAK;SACN,CAAC;QACF,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CACxC,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,kCAAkC,CAChD,KAAqB,EACrB,KAAiB,EACjB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,WAAW,EAAyB;IAEnF,OAAO,CACL,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa;QACzD,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,IAAI,uBAAuB,CAAC;QACrD,KAAK,CAAC,WAAW,IAAI,CAAC;QACtB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,iBAAiB;QACxB,CAAC,KAAK,CAAC,iBAAiB;QACxB,CAAC,kBAAkB;QACnB,uBAAuB,CAAC,KAAK,CAAC;QAC9B,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAiB,EAAE,KAAgB;IACnE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,KAAK,GAAoB,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACrD,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAClF,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnE,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;KACxF,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;QACxC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;AACtF,CAAC;AAOD;;;;GAIG;AACH,SAAS,cAAc,CACrB,IAAmB,EACnB,KAAsB,EACtB,IAAY;IAEZ,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IACpC,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,OAAO,UAAU;QACf,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CACpB,IAAmB,EACnB,WAAmC,EACnC,KAAsB;IAEtB,IAAI,CAAC,WAAW,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,gCAAgC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAC7F,0BAA0B,CAAC,EAAE,GAAG,KAAK,EAAE,sBAAsB,EAAE,SAAS,EAAE,CAAC,CAC5E,CAAC;IACF,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,aAAa,CAAC,UAAyB,EAAE,KAAgB;IAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,EAC3B,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,KAA2C;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAClC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB,EAAE,KAAgB;IAC3D,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,OAAO,UAAU,IAAI,yBAAyB,CAAC,UAAU,EAAE,KAAK,CAAC;QAC/D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE;QACnE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,SAA0B,EAAE,KAAgB;IACjE,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1C,IAAI,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,QAAQ,QAAQ,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACtF,CAAC;IACD,OAAO,KAAK,CAAC,gCAAgC;QAC3C,KAAK,CAAC,cAAc,EAAE,iCAAiC,CAAC,GAAG,EAAE,QAAQ,CAAC,KAAK,IAAI;QAC/E,CAAC,CAAC;YACE,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,IAAI,GAAG,0BAA0B,QAAQ,EAAE;YAClD,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM;SAC9B;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,SAAS,yBAAyB,CAAC,IAAa,EAAE,KAAgB;IAChE,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,mCAAmC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACjD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,IAAI,KAAK,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrC,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;YACnC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gBAC/B,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAC5C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;YACrD,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAuB,EAAE,KAAgB;IAC/D,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;IAC9B,IAAI,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QACvB,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5C,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAClD,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAmB,EACnB,KAA8B;IAE9B,IAAI,SAAS,GAA4B,IAAI,CAAC;IAC9C,KAAK,IAAI,OAAO,GAAY,IAAI,EAAE,OAAO,KAAK,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAChG,IACE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACrE,CAAC;YACD,SAAS,GAAG,OAAO,CAAC;QACtB,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;YAC1B,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EACjC,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAqB;IAChD,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;YACpC,IAAI,CAAC,WAAW,CAAC,UAAU;YAC3B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;YAC5C,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YACpD,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EACjE,CAAC;YACD,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,aAAa,CAAC,SAA0B,EAAE,KAAgB;IACjE,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IACxC,IACE,GAAG,KAAK,IAAI;QACZ,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;QAC5D,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1C,OAAO,KAAK,CAAC,gCAAgC;QAC3C,KAAK,CAAC,cAAc,EAAE,iCAAiC,CAAC,GAAG,EAAE,QAAQ,CAAC,KAAK,IAAI;QAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,GAAG,aAAa,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE;QACtF,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,gBAAgB,CAAC,SAA0B;IAClD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;QAC3E,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE;QAC3B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAAkC,EAClC,KAAqB;IAErB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,OAAO,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC;AAC1E,CAAC;AAED,MAAM,iBAAiB,GAAG;IACxB,QAAQ,EAAE,yCAAyC;IACnD,cAAc,EAAE,iFAAiF;IACjG,eAAe,EAAE,oCAAoC;CACV,CAAC;AAE9C,SAAS,uBAAuB,CAC9B,KAAqB,EACrB,EAAE,eAAe,EAAE,KAAK,EAAqB,EAC7C,KAAiB;IAEjB,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC/F,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,UAAU,IAAI,GAAG,CAAC;IACzE,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GACX,eAAe,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,cAAc,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4DAA4D;QACnI,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,QAAQ,GACZ,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5F,OAAO,aAAa,KAAK,CAAC,SAAS,gEAAgE,KAAK,CAAC,MAAM,WAAW,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,2BAA2B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,wDAAwD,QAAQ,uCAAuC,KAAK,CAAC,SAAS,aAAa,CAAC;AAC3V,CAAC"}

package/dist/src/analysis/verdicts/site-write-roots.d.ts

@@ -0,0 +1,23 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { HostTagImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+export interface WriteRootScope {
+    readonly childContracts: ChildContractResolver | null;
+    readonly eventTransitionCallbacks: ReadonlySet<RuntimeFunctionLike>;
+    readonly hostTags: HostTagImports;
+    readonly state: StateCandidate;
+}
+/**
+ * Every write must run from a proven event root: a handler on a host element, a handler passed to a
+ * component whose contract proves the callback runs only after render, or a callback the owner
+ * analysis already proved deferred. Writes at render level or through callbacks of unknown timing
+ * could fire while a wrapped site is evaluating.
+ */
+export declare function writesAreEventRooted(usage: StateUsage, scope: WriteRootScope): boolean;
+/**
+ * A setter that runs beside another `useState` setter in the same command belongs to an atomic
+ * transition, even when that companion drops its value binding and never becomes a state candidate.
+ */
+export declare function hasHiddenCompanionWrites(state: StateCandidate, usage: StateUsage): boolean;
+//# sourceMappingURL=site-write-roots.d.ts.map

package/dist/src/analysis/verdicts/site-write-roots.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"site-write-roots.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/site-write-roots.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAc9D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAK7D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACpE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;CAChC;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAKtF;AAqFD;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAgB1F"}

package/dist/src/analysis/verdicts/site-write-roots.js

@@ -0,0 +1,126 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, identifiersNamed, nearestNestedFunction, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { CALLBACK_HOOK_NAMES } from "../constants.js";
+import { isHookDependencyReference } from "../../rules/state-proofs/callback-sites.js";
+import { isHostTag } from "../../core/imports.js";
+import ts from "typescript";
+/**
+ * Every write must run from a proven event root: a handler on a host element, a handler passed to a
+ * component whose contract proves the callback runs only after render, or a callback the owner
+ * analysis already proved deferred. Writes at render level or through callbacks of unknown timing
+ * could fire while a wrapped site is evaluating.
+ */
+export function writesAreEventRooted(usage, scope) {
+    return usage.setterCallNodes.every((call) => {
+        const callback = nearestNestedFunction(call, scope.state.owner);
+        return callback !== null && callbackIsHostEventRooted(callback, scope, new Set());
+    });
+}
+function callbackIsHostEventRooted(callback, scope, seen) {
+    if (scope.eventTransitionCallbacks.has(callback)) {
+        return true;
+    }
+    const attribute = findAncestorUntil(callback, ts.isJsxAttribute, scope.state.owner);
+    if (attribute) {
+        return isProvenEventAttribute(attribute, scope);
+    }
+    const name = callbackBindingName(callback);
+    return name !== null && !seen.has(name) && namedCallbackIsEventRooted(name, scope, seen);
+}
+function namedCallbackIsEventRooted(name, scope, seen) {
+    const { owner } = scope.state;
+    if (bindingDeclarationCount(owner, name) !== 1) {
+        return false;
+    }
+    const references = identifiersNamed(owner.body, name).filter((reference) => !isDeclarationName(reference) && !isNonValueIdentifier(reference));
+    const nextSeen = new Set([...seen, name]);
+    return (references.length > 0 &&
+        references.every((reference) => referenceIsEventRooted(reference, scope, nextSeen)));
+}
+function referenceIsEventRooted(reference, scope, seen) {
+    if (isHookDependencyReference(reference, CALLBACK_HOOK_NAMES)) {
+        return true;
+    }
+    const attribute = findAncestorUntil(reference, ts.isJsxAttribute, scope.state.owner);
+    if (attribute) {
+        return isProvenEventAttribute(attribute, scope);
+    }
+    const enclosing = nearestNestedFunction(reference, scope.state.owner);
+    return enclosing !== null && callbackIsHostEventRooted(enclosing, scope, seen);
+}
+/**
+ * Host `on*` attributes are events. For a custom component the resolved contract decides; when the
+ * component cannot be resolved, the `on*` naming convention applies, as in the other event proofs.
+ */
+function isProvenEventAttribute(attribute, scope) {
+    const tag = attributeTagName(attribute);
+    if (tag === null) {
+        return false;
+    }
+    const propName = attribute.name.getText();
+    const isEventName = /^on[A-Z]/u.test(propName);
+    if (isHostTag(tag, scope.hostTags) || !scope.childContracts) {
+        return isEventName;
+    }
+    return scope.childContracts.resolveComponent(tag)
+        ? scope.childContracts.componentCallbackPropIsDeferred(tag, propName)
+        : isEventName;
+}
+function callbackBindingName(callback) {
+    if (ts.isFunctionDeclaration(callback) && callback.name) {
+        return callback.name.text;
+    }
+    let current = callback;
+    while (ts.isCallExpression(current.parent) || ts.isParenthesizedExpression(current.parent)) {
+        current = current.parent;
+    }
+    return ts.isVariableDeclaration(current.parent) && ts.isIdentifier(current.parent.name)
+        ? current.parent.name.text
+        : null;
+}
+/**
+ * A setter that runs beside another `useState` setter in the same command belongs to an atomic
+ * transition, even when that companion drops its value binding and never becomes a state candidate.
+ */
+export function hasHiddenCompanionWrites(state, usage) {
+    const otherSetters = ownerSetterNames(state);
+    return usage.setterCallNodes.some((call) => {
+        const region = nearestNestedFunction(call, state.owner) ?? state.owner;
+        let companion = false;
+        visitSkippingNestedRuntimeFunctions(region.body ?? region, (node) => {
+            if (ts.isCallExpression(node) &&
+                ts.isIdentifier(node.expression) &&
+                otherSetters.has(node.expression.text)) {
+                companion = true;
+            }
+        });
+        return companion;
+    });
+}
+function ownerSetterNames(state) {
+    const names = new Set();
+    visit(state.owner.body, (node) => {
+        if (!ts.isVariableDeclaration(node) ||
+            !ts.isArrayBindingPattern(node.name) ||
+            !node.initializer ||
+            !ts.isCallExpression(node.initializer) ||
+            !node.initializer.expression.getText().endsWith("useState")) {
+            return;
+        }
+        const [, setter] = node.name.elements;
+        if (setter &&
+            !ts.isOmittedExpression(setter) &&
+            ts.isIdentifier(setter.name) &&
+            setter.name.text !== state.setterName) {
+            names.add(setter.name.text);
+        }
+    });
+    return names;
+}
+function attributeTagName(attribute) {
+    const opening = attribute.parent.parent;
+    return ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening)
+        ? opening.tagName.getText()
+        : null;
+}
+//# sourceMappingURL=site-write-roots.js.map

package/dist/src/analysis/verdicts/site-write-roots.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"site-write-roots.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/site-write-roots.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAItD,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAS5B;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAiB,EAAE,KAAqB;IAC3E,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChE,OAAO,QAAQ,KAAK,IAAI,IAAI,yBAAyB,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAChC,QAA6B,EAC7B,KAAqB,EACrB,IAAyB;IAEzB,IAAI,KAAK,CAAC,wBAAwB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpF,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,sBAAsB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC3C,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAY,EACZ,KAAqB,EACrB,IAAyB;IAEzB,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;IAC9B,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,CAC1D,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,CACjF,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1C,OAAO,CACL,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAwB,EACxB,KAAqB,EACrB,IAAyB;IAEzB,IAAI,yBAAyB,CAAC,SAAS,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrF,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,sBAAsB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACtE,OAAO,SAAS,KAAK,IAAI,IAAI,yBAAyB,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACjF,CAAC;AAED;;;GAGG;AACH,SAAS,sBAAsB,CAAC,SAA0B,EAAE,KAAqB;IAC/E,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5D,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,KAAK,CAAC,cAAc,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAC/C,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,+BAA+B,CAAC,GAAG,EAAE,QAAQ,CAAC;QACrE,CAAC,CAAC,WAAW,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CAAC,QAA6B;IACxD,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,CAAC;IACD,IAAI,OAAO,GAAY,QAAQ,CAAC;IAChC,OAAO,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3F,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QACrF,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QAC1B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAqB,EAAE,KAAiB;IAC/E,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzC,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;QACvE,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,mCAAmC,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YAClE,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EACtC,CAAC;gBACD,SAAS,GAAG,IAAI,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAqB;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;YACpC,CAAC,IAAI,CAAC,WAAW;YACjB,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;YACtC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAC3D,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QACtC,IACE,MAAM;YACN,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC/B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EACrC,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,SAA0B;IAClD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;QAC3E,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE;QAC3B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/analysis/verdicts/small-owner-verdicts.d.ts

@@ -0,0 +1,29 @@
+import type { ChildContractResolver, HookPresentationConsumer } from "../../rules/child-contract/model.js";
+import type { ClassifiedState, StateCandidate, StateUsage } from "../model.js";
+import type { MaterialityPolicy } from "../constants.js";
+import type { StateClassificationContext } from "./classification-context.js";
+/**
+ * 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 declare function smallOwnerEffectWrittenVerdict(context: StateClassificationContext): ClassifiedState | null;
+/**
+ * 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 declare function hookConsumerLeafVerdict(context: StateClassificationContext): ClassifiedState | null;
+interface HookPresentationStateScope {
+    readonly childContracts: ChildContractResolver | null;
+    readonly materiality: MaterialityPolicy;
+    readonly ownerIsCommitSensitive: boolean;
+    readonly state: StateCandidate;
+    readonly usage: StateUsage;
+}
+export declare function hookPresentationConsumerForState({ childContracts, materiality, ownerIsCommitSensitive, state, usage, }: HookPresentationStateScope): HookPresentationConsumer | 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 declare function hookPresentationConsumerVerdict(context: StateClassificationContext): ClassifiedState | null;
+export {};
+//# sourceMappingURL=small-owner-verdicts.d.ts.map

package/dist/src/analysis/verdicts/small-owner-verdicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"small-owner-verdicts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/small-owner-verdicts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,wBAAwB,EACzB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAM/E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAGzD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAM9E;;;GAGG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAUxB;AAgBD;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAsBxB;AAED,UAAU,0BAA0B;IAClC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B;AAED,wBAAgB,gCAAgC,CAAC,EAC/C,cAAc,EACd,WAAW,EACX,sBAAsB,EACtB,KAAK,EACL,KAAK,GACN,EAAE,0BAA0B,GAAG,wBAAwB,GAAG,IAAI,CAsB9D;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAmBxB"}