legend-doctor 0.1.0

package/dist/src/rules/event-scalar-leaf/event-owned-scalars.js

@@ -0,0 +1,110 @@
+import { isDeclarationName, isNonValueIdentifier, isPureExpression, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { nearestNestedFunction, visit } from "../../core/ast.js";
+import { isHookDependencyReference } from "../state-proofs/callback-sites.js";
+import { jsxElementCount } from "../state-proofs/jsx-subtrees.js";
+import { mutationRegionOnlyCallsStateSetters } from "../effect-drafts/draft-mutations.js";
+import ts from "typescript";
+const MIN_OWNER_ELEMENTS = 12;
+export function isEventOwnedNumericState(state, usage, options) {
+    if (!hasNumericInitializer(state) ||
+        usage.setterCallNodes.length !== 1 ||
+        usage.setterCalls !== 1 ||
+        !isEventOwnedScalarBase(state, usage, options)) {
+        return false;
+    }
+    const setterCall = usage.setterCallNodes[0];
+    const [argument] = setterCall.arguments;
+    const callback = nearestNestedFunction(setterCall, state.owner);
+    const setterName = state.setterName;
+    return (setterCall.arguments.length === 1 &&
+        argument !== undefined &&
+        isPureExpression(argument) &&
+        callback !== null &&
+        options.eventCallbacks.has(callback) &&
+        mutationRegionOnlyCallsStateSetters(callback, new Set([setterName])));
+}
+export function isEventOwnedLiteralBooleanState(state, usage, options) {
+    return (state.call.arguments[0]?.kind === ts.SyntaxKind.FalseKeyword &&
+        usage.setterCallNodes.length > 0 &&
+        usage.setterCalls === usage.setterCallNodes.length &&
+        isEventOwnedScalarBase(state, usage, options) &&
+        usage.setterCallNodes.every((call) => {
+            const [argument] = call.arguments;
+            const callback = nearestNestedFunction(call, state.owner);
+            return (call.arguments.length === 1 &&
+                argument !== undefined &&
+                (argument.kind === ts.SyntaxKind.TrueKeyword ||
+                    argument.kind === ts.SyntaxKind.FalseKeyword) &&
+                callback !== null &&
+                options.eventCallbacks.has(callback) &&
+                mutationRegionOnlyCallsStateSetters(callback, new Set([state.setterName])));
+        }));
+}
+function isEventOwnedScalarBase(state, usage, options) {
+    return (state.setterName !== null &&
+        jsxElementCount(state.owner) >= MIN_OWNER_ELEMENTS &&
+        usage.localRenderReads > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads === 0 &&
+        usage.transportedOccurrences === 0 &&
+        !options.hasCompanionWrites &&
+        !options.hasReactiveMutationPath &&
+        options.hasSafeCommands &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        stateValueReferencesAreRenderOnly(state, usage) &&
+        setterReferencesAreCallsOrCallbackDependencies(state, options.useCallbackNames));
+}
+function hasNumericInitializer(state) {
+    const [initializer] = state.call.arguments;
+    if (!initializer) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(initializer);
+    if (ts.isNumericLiteral(value)) {
+        return true;
+    }
+    return (ts.isPrefixUnaryExpression(value) &&
+        (value.operator === ts.SyntaxKind.PlusToken || value.operator === ts.SyntaxKind.MinusToken) &&
+        ts.isNumericLiteral(unwrapTransparentExpression(value.operand)));
+}
+function stateValueReferencesAreRenderOnly(state, usage) {
+    const renderReads = new Set(usage.directRenderNodes);
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        if (!renderReads.has(node)) {
+            safe = false;
+        }
+    });
+    return safe;
+}
+function setterReferencesAreCallsOrCallbackDependencies(state, useCallbackNames) {
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.setterName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+            return;
+        }
+        if (isHookDependencyReference(node, useCallbackNames)) {
+            return;
+        }
+        safe = false;
+    });
+    return safe;
+}
+//# sourceMappingURL=event-owned-scalars.js.map

package/dist/src/rules/event-scalar-leaf/event-owned-scalars.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-owned-scalars.js","sourceRoot":"","sources":["../../../../src/rules/event-scalar-leaf/event-owned-scalars.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,mCAAmC,EAAE,MAAM,qCAAqC,CAAC;AAC1F,OAAO,EAAE,MAAM,YAAY,CAAC;AAU5B,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B,MAAM,UAAU,wBAAwB,CACtC,KAAqB,EACrB,KAAiB,EACjB,OAAgC;IAEhC,IACE,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAClC,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAC9C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC;IAC7C,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;IACxC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAW,CAAC;IACrC,OAAO,CACL,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QACjC,QAAQ,KAAK,SAAS;QACtB,gBAAgB,CAAC,QAAQ,CAAC;QAC1B,QAAQ,KAAK,IAAI;QACjB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QACpC,mCAAmC,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CACrE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,KAAqB,EACrB,KAAiB,EACjB,OAAgC;IAEhC,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC5D,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,eAAe,CAAC,MAAM;QAClD,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;QAC7C,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;YACnC,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAClC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;gBAC3B,QAAQ,KAAK,SAAS;gBACtB,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBAC1C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;gBAC/C,QAAQ,KAAK,IAAI;gBACjB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACpC,mCAAmC,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,UAAW,CAAC,CAAC,CAAC,CAC5E,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAqB,EACrB,KAAiB,EACjB,OAAgC;IAEhC,OAAO,CACL,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,kBAAkB;QAClD,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,CAAC,OAAO,CAAC,kBAAkB;QAC3B,CAAC,OAAO,CAAC,uBAAuB;QAChC,OAAO,CAAC,eAAe;QACvB,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC;QAC/C,8CAA8C,CAAC,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAChF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAqB;IAClD,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACvD,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;QACjC,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAC3F,EAAE,CAAC,gBAAgB,CAAC,2BAA2B,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CAAC,KAAqB,EAAE,KAAiB;IACjF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACrD,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,8CAA8C,CACrD,KAAqB,EACrB,gBAAqC;IAErC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU;YAC9B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACxE,OAAO;QACT,CAAC;QACD,IAAI,yBAAyB,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACtD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/rules/event-scalar-leaf/event-scalar-leaf.d.ts

@@ -0,0 +1,16 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { EventOwnedScalarOptions } from "./event-owned-scalars.js";
+interface EventScalarLeafOptions extends EventOwnedScalarOptions {
+    localComponents: ReadonlySet<string>;
+    pureProjectionImports: ReadonlySet<string>;
+    sourceComponents: ReadonlySet<string>;
+}
+export declare const RESERVED_ATTRIBUTE: RegExp;
+/**
+ * Proves that one event-owned numeric measurement can bypass a broad owner
+ * and publish only to a small set of independent render leaves. Callback
+ * timing is supplied by the cross-file child contract resolver.
+ */
+export declare function isSourceEventScalarLeafState(state: StateCandidate, usage: StateUsage, options: EventScalarLeafOptions): boolean;
+export {};
+//# sourceMappingURL=event-scalar-leaf.d.ts.map

package/dist/src/rules/event-scalar-leaf/event-scalar-leaf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-scalar-leaf.d.ts","sourceRoot":"","sources":["../../../../src/rules/event-scalar-leaf/event-scalar-leaf.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAa1E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AASxE,UAAU,sBAAuB,SAAQ,uBAAuB;IAC9D,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAOD,eAAO,MAAM,kBAAkB,QAA0C,CAAC;AAU1E;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,sBAAsB,GAC9B,OAAO,CA2BT"}

package/dist/src/rules/event-scalar-leaf/event-scalar-leaf.js

@@ -0,0 +1,90 @@
+import { findAncestor, findAncestorUntil, isRuntimeFunctionLike, nearestNestedFunction, } from "../../core/ast.js";
+import { isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { hasIndependentRenderCutWitness } from "../state-proofs/render-cut-witness.js";
+import { isEventOwnedNumericState } from "./event-owned-scalars.js";
+import { isSafeProjectionExpression } from "../deferred-reveal/safe-projections.js";
+import { oneHopRenderProjectionReferences } from "../state-proofs/projection-hops.js";
+import { sourceHasRuntimeBinding } from "../state-proofs/binding-lookup.js";
+import ts from "typescript";
+export const RESERVED_ATTRIBUTE = /^(?:children|key|ref|render|on[A-Z])/u;
+const MIN_LEAF_SURFACES = 2;
+const MAX_LEAF_SURFACES = 6;
+const MAX_LEAF_ELEMENTS = 6;
+const MAX_LEAF_ELEMENT_SHARE = 0.4;
+/**
+ * Proves that one event-owned numeric measurement can bypass a broad owner
+ * and publish only to a small set of independent render leaves. Callback
+ * timing is supplied by the cross-file child contract resolver.
+ */
+export function isSourceEventScalarLeafState(state, usage, options) {
+    if (!isEventOwnedNumericState(state, usage, options)) {
+        return false;
+    }
+    const mathCalls = sourceHasRuntimeBinding(state.owner.getSourceFile(), "Math")
+        ? new Set()
+        : new Set(["Math.max", "Math.min"]);
+    const projections = oneHopRenderProjectionReferences(state.owner, usage.directRenderNodes, (query) => isSafeProjectionExpression({
+        ...query,
+        allowedIdentifierCalls: options.pureProjectionImports,
+        allowedPropertyCalls: mathCalls,
+    }));
+    if (!projections || projections.length < MIN_LEAF_SURFACES) {
+        return false;
+    }
+    const collected = collectLeafSurfaces(projections, state, options);
+    if (!collected) {
+        return false;
+    }
+    return isIndependentLeafCut(collected, state, options);
+}
+function collectLeafSurfaces(projections, state, options) {
+    const surfaces = new Map();
+    let returned = null;
+    for (const projection of projections) {
+        const surface = leafSurface(projection, state, options);
+        const returnExpression = surface && directOwnerReturnExpression(projection, state.owner);
+        if (!surface || !returnExpression || (returned !== null && returned !== returnExpression)) {
+            return null;
+        }
+        surfaces.set(surface.getStart(), surface);
+        returned = returnExpression;
+    }
+    return returned === null ? null : { returned, surfaces };
+}
+function leafSurface(projection, state, options) {
+    if (nearestNestedFunction(projection, state.owner) ||
+        nearestRepeatedRenderCall(projection, state.owner) ||
+        !isSafeJsxProjectionReference(projection, state.owner, options.pureProjectionImports)) {
+        return null;
+    }
+    const attribute = findAncestorUntil(projection, ts.isJsxAttribute, state.owner);
+    const opening = attribute?.parent.parent;
+    if (!attribute ||
+        !opening ||
+        (!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening)) ||
+        RESERVED_ATTRIBUTE.test(attribute.name.getText())) {
+        return null;
+    }
+    const surface = ts.isJsxOpeningElement(opening) ? opening.parent : opening;
+    return jsxElementCountIn(surface) > MAX_LEAF_ELEMENTS ? null : surface;
+}
+function isIndependentLeafCut(collected, state, options) {
+    const leaves = [...collected.surfaces.values()];
+    const leafElements = leaves.reduce((sum, surface) => sum + jsxElementCountIn(surface), 0);
+    return (leaves.length >= MIN_LEAF_SURFACES &&
+        leaves.length <= MAX_LEAF_SURFACES &&
+        leafElements / jsxElementCount(state.owner) <= MAX_LEAF_ELEMENT_SHARE &&
+        hasIndependentRenderCutWitness({
+            returned: collected.returned,
+            excluded: leaves,
+            localComponents: options.localComponents,
+            sourceComponents: options.sourceComponents,
+        }));
+}
+function directOwnerReturnExpression(node, owner) {
+    const statement = findAncestorUntil(node, ts.isReturnStatement, owner);
+    return statement?.expression && findAncestor(statement, isRuntimeFunctionLike) === owner
+        ? statement.expression
+        : null;
+}
+//# sourceMappingURL=event-scalar-leaf.js.map

package/dist/src/rules/event-scalar-leaf/event-scalar-leaf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-scalar-leaf.js","sourceRoot":"","sources":["../../../../src/rules/event-scalar-leaf/event-scalar-leaf.ts"],"names":[],"mappings":"AACA,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,8BAA8B,EAAE,MAAM,uCAAuC,CAAC;AACvF,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,gCAAgC,EAAE,MAAM,oCAAoC,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,MAAM,YAAY,CAAC;AAa5B,MAAM,CAAC,MAAM,kBAAkB,GAAG,uCAAuC,CAAC;AAE1E,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAEnC;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAqB,EACrB,KAAiB,EACjB,OAA+B;IAE/B,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC;QAC5E,CAAC,CAAC,IAAI,GAAG,EAAU;QACnB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,gCAAgC,CAClD,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,iBAAiB,EACvB,CAAC,KAAK,EAAE,EAAE,CACR,0BAA0B,CAAC;QACzB,GAAG,KAAK;QACR,sBAAsB,EAAE,OAAO,CAAC,qBAAqB;QACrD,oBAAoB,EAAE,SAAS;KAChC,CAAC,CACL,CAAC;IACF,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,oBAAoB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAqC,EACrC,KAAqB,EACrB,OAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoD,CAAC;IAC7E,IAAI,QAAQ,GAAyB,IAAI,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,gBAAgB,GAAG,OAAO,IAAI,2BAA2B,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACzF,IAAI,CAAC,OAAO,IAAI,CAAC,gBAAgB,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,gBAAgB,CAAC,EAAE,CAAC;YAC1F,OAAO,IAAI,CAAC;QACd,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;QAC1C,QAAQ,GAAG,gBAAgB,CAAC;IAC9B,CAAC;IACD,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,WAAW,CAClB,UAAyB,EACzB,KAAqB,EACrB,OAA+B;IAE/B,IACE,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC;QAC9C,yBAAyB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC;QAClD,CAAC,4BAA4B,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,qBAAqB,CAAC,EACrF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;IACzC,IACE,CAAC,SAAS;QACV,CAAC,OAAO;QACR,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1E,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC3E,OAAO,iBAAiB,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AACzE,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAuB,EACvB,KAAqB,EACrB,OAA+B;IAE/B,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,OAAO,CACL,MAAM,CAAC,MAAM,IAAI,iBAAiB;QAClC,MAAM,CAAC,MAAM,IAAI,iBAAiB;QAClC,YAAY,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,sBAAsB;QACrE,8BAA8B,CAAC;YAC7B,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,QAAQ,EAAE,MAAM;YAChB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAa,EACb,KAA0B;IAE1B,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IACvE,OAAO,SAAS,EAAE,UAAU,IAAI,YAAY,CAAC,SAAS,EAAE,qBAAqB,CAAC,KAAK,KAAK;QACtF,CAAC,CAAC,SAAS,CAAC,UAAU;QACtB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/event-scalar-leaf/reactive-host-prop.d.ts

@@ -0,0 +1,15 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { EventOwnedScalarOptions } from "./event-owned-scalars.js";
+import type { HostTagImports } from "../../core/imports.js";
+interface ReactiveHostPropScalarOptions extends EventOwnedScalarOptions {
+    hostTags: HostTagImports;
+    pureProjectionImports: ReadonlySet<string>;
+}
+/**
+ * Proves that an event-owned scalar changes one prop on one host surface.
+ * A reactive DOM or native component can update that prop without rerendering
+ * the component that owns the measurement.
+ */
+export declare function isReactiveHostPropScalarState(state: StateCandidate, usage: StateUsage, options: ReactiveHostPropScalarOptions): boolean;
+export {};
+//# sourceMappingURL=reactive-host-prop.d.ts.map

package/dist/src/rules/event-scalar-leaf/reactive-host-prop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive-host-prop.d.ts","sourceRoot":"","sources":["../../../../src/rules/event-scalar-leaf/reactive-host-prop.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAU1E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAO5D,UAAU,6BAA8B,SAAQ,uBAAuB;IACrE,QAAQ,EAAE,cAAc,CAAC;IACzB,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5C;AAOD;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,6BAA6B,GACrC,OAAO,CAqBT"}

package/dist/src/rules/event-scalar-leaf/reactive-host-prop.js

@@ -0,0 +1,61 @@
+import { findAncestorUntil, nearestNestedFunction } from "../../core/ast.js";
+import { isEventOwnedLiteralBooleanState, isEventOwnedNumericState, } from "./event-owned-scalars.js";
+import { isSafeJsxProjectionReference, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { RESERVED_ATTRIBUTE } from "./event-scalar-leaf.js";
+import { isHostTag } from "../../core/imports.js";
+import { isSafeProjectionExpression } from "../deferred-reveal/safe-projections.js";
+import { oneHopRenderProjectionReferences } from "../state-proofs/projection-hops.js";
+import ts from "typescript";
+/**
+ * Proves that an event-owned scalar changes one prop on one host surface.
+ * A reactive DOM or native component can update that prop without rerendering
+ * the component that owns the measurement.
+ */
+export function isReactiveHostPropScalarState(state, usage, options) {
+    if (!isEventOwnedNumericState(state, usage, options) &&
+        !isEventOwnedLiteralBooleanState(state, usage, options)) {
+        return false;
+    }
+    const projections = oneHopRenderProjectionReferences(state.owner, usage.directRenderNodes, (query) => isSafeProjectionExpression({
+        ...query,
+        allowedIdentifierCalls: options.pureProjectionImports,
+    }));
+    if (!projections || projections.length === 0) {
+        return false;
+    }
+    return sharesOneHostPropAnchor(projections, state, options);
+}
+function sharesOneHostPropAnchor(projections, state, options) {
+    let shared = null;
+    for (const projection of projections) {
+        const anchor = hostPropAnchor(projection, state, options);
+        if (!anchor) {
+            return false;
+        }
+        shared ??= anchor;
+        if (shared.surfaceStart !== anchor.surfaceStart ||
+            shared.attributeStart !== anchor.attributeStart) {
+            return false;
+        }
+    }
+    return shared !== null;
+}
+function hostPropAnchor(projection, state, options) {
+    if (nearestNestedFunction(projection, state.owner) ||
+        nearestRepeatedRenderCall(projection, state.owner) ||
+        !isSafeJsxProjectionReference(projection, state.owner, options.pureProjectionImports)) {
+        return null;
+    }
+    const attribute = findAncestorUntil(projection, ts.isJsxAttribute, state.owner);
+    const opening = attribute?.parent.parent;
+    if (!attribute ||
+        !opening ||
+        (!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening)) ||
+        RESERVED_ATTRIBUTE.test(attribute.name.getText()) ||
+        !isHostTag(opening.tagName.getText(), options.hostTags)) {
+        return null;
+    }
+    const surface = ts.isJsxOpeningElement(opening) ? opening.parent : opening;
+    return { attributeStart: attribute.getStart(), surfaceStart: surface.getStart() };
+}
+//# sourceMappingURL=reactive-host-prop.js.map

package/dist/src/rules/event-scalar-leaf/reactive-host-prop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive-host-prop.js","sourceRoot":"","sources":["../../../../src/rules/event-scalar-leaf/reactive-host-prop.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,+BAA+B,EAC/B,wBAAwB,GACzB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,4BAA4B,EAC5B,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,gCAAgC,EAAE,MAAM,oCAAoC,CAAC;AACtF,OAAO,EAAE,MAAM,YAAY,CAAC;AAY5B;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,KAAqB,EACrB,KAAiB,EACjB,OAAsC;IAEtC,IACE,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;QAChD,CAAC,+BAA+B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,WAAW,GAAG,gCAAgC,CAClD,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,iBAAiB,EACvB,CAAC,KAAK,EAAE,EAAE,CACR,0BAA0B,CAAC;QACzB,GAAG,KAAK;QACR,sBAAsB,EAAE,OAAO,CAAC,qBAAqB;KACtD,CAAC,CACL,CAAC;IACF,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,uBAAuB,CAC9B,WAAqC,EACrC,KAAqB,EACrB,OAAsC;IAEtC,IAAI,MAAM,GAA0B,IAAI,CAAC;IACzC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,MAAM,CAAC;QAClB,IACE,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY;YAC3C,MAAM,CAAC,cAAc,KAAK,MAAM,CAAC,cAAc,EAC/C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,MAAM,KAAK,IAAI,CAAC;AACzB,CAAC;AAED,SAAS,cAAc,CACrB,UAAyB,EACzB,KAAqB,EACrB,OAAsC;IAEtC,IACE,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC;QAC9C,yBAAyB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC;QAClD,CAAC,4BAA4B,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,qBAAqB,CAAC,EACrF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;IACzC,IACE,CAAC,SAAS;QACV,CAAC,OAAO;QACR,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1E,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjD,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,EACvD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC3E,OAAO,EAAE,cAAc,EAAE,SAAS,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;AACpF,CAAC"}

package/dist/src/rules/hook-consumer-contract/consumer-binding.d.ts

@@ -0,0 +1,4 @@
+import type { HookReturnMember } from "../child-contract/model.js";
+import ts from "typescript";
+export declare function consumerBindingName(pattern: ts.BindingName, member: HookReturnMember): string | "unsupported" | null;
+//# sourceMappingURL=consumer-binding.d.ts.map

package/dist/src/rules/hook-consumer-contract/consumer-binding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"consumer-binding.d.ts","sourceRoot":"","sources":["../../../../src/rules/hook-consumer-contract/consumer-binding.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,MAAM,EAAE,gBAAgB,GACvB,MAAM,GAAG,aAAa,GAAG,IAAI,CAmB/B"}

package/dist/src/rules/hook-consumer-contract/consumer-binding.js

@@ -0,0 +1,32 @@
+import ts from "typescript";
+export function consumerBindingName(pattern, member) {
+    if (member.kind === "self") {
+        return ts.isIdentifier(pattern) ? pattern.text : "unsupported";
+    }
+    if (member.kind === "index") {
+        return ts.isArrayBindingPattern(pattern)
+            ? elementBindingName(pattern.elements[member.index])
+            : "unsupported";
+    }
+    if (!ts.isObjectBindingPattern(pattern)) {
+        return "unsupported";
+    }
+    if (pattern.elements.some((element) => element.dotDotDotToken)) {
+        return "unsupported";
+    }
+    const element = pattern.elements.find((candidate) => bindingSourceName(candidate) === member.name);
+    return element ? elementBindingName(element) : null;
+}
+function elementBindingName(element) {
+    if (!element || ts.isOmittedExpression(element)) {
+        return null;
+    }
+    return !element.dotDotDotToken && !element.initializer && ts.isIdentifier(element.name)
+        ? element.name.text
+        : "unsupported";
+}
+function bindingSourceName(element) {
+    const source = element.propertyName ?? element.name;
+    return ts.isIdentifier(source) ? source.text : null;
+}
+//# sourceMappingURL=consumer-binding.js.map

package/dist/src/rules/hook-consumer-contract/consumer-binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consumer-binding.js","sourceRoot":"","sources":["../../../../src/rules/hook-consumer-contract/consumer-binding.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,mBAAmB,CACjC,OAAuB,EACvB,MAAwB;IAExB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;IACjE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,OAAO,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,aAAa,CAAC;IACpB,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QAC/D,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CACnC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,IAAI,CAC5D,CAAC;IACF,OAAO,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA2C;IAE3C,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;QACrF,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;QACnB,CAAC,CAAC,aAAa,CAAC;AACpB,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA0B;IACnD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC;IACpD,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC"}

package/dist/src/rules/hook-consumer-contract/hook-consumer-contract.d.ts

@@ -0,0 +1,34 @@
+import type { HookPresentationConsumer, HookReturnMembers } from "../child-contract/model.js";
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export type HookConsumerResult = "leaf" | "none" | "unsafe";
+export type HookPresentationConsumerResult = HookPresentationConsumer | "none" | "unsafe";
+/**
+ * Resolves how a custom hook returns one of its states: as a named property of one returned object
+ * literal, as an element of one returned array literal, or as the whole return value. Hooks with
+ * several return statements or other return shapes abstain.
+ */
+export declare function hookReturnMembers(state: StateCandidate): HookReturnMembers | null;
+/** A published state value must occur exactly once outside its declaration: in the hook return. */
+export declare function hookStateValueIsOnlyReturned(state: StateCandidate): boolean;
+export interface HookConsumerQuery {
+    readonly hookBinding: string;
+    readonly members: HookReturnMembers;
+    readonly sourceFile: ts.SourceFile;
+}
+export interface HookPresentationConsumerQuery extends HookConsumerQuery {
+    readonly broadOwnerJsx: number;
+    readonly pureProjectionImports: ReadonlySet<string>;
+}
+/**
+ * Classifies every use of one hook binding in a file. "leaf" means the binding is called exactly
+ * once, from a small named component that keeps the returned state and setter inside its own render.
+ */
+export declare function hookConsumerResult({ hookBinding, members, sourceFile, }: HookConsumerQuery): HookConsumerResult;
+/**
+ * Resolves one hook call whose returned value is used only by stable render sites in one broad,
+ * commit-insensitive component. The component may pass a plain snapshot through a stable child
+ * call site because the recommended wrapper owns the observable subscription above that child.
+ */
+export declare function hookPresentationConsumerResult({ broadOwnerJsx, hookBinding, members, pureProjectionImports, sourceFile, }: HookPresentationConsumerQuery): HookPresentationConsumerResult;
+//# sourceMappingURL=hook-consumer-contract.d.ts.map

package/dist/src/rules/hook-consumer-contract/hook-consumer-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-consumer-contract.d.ts","sourceRoot":"","sources":["../../../../src/rules/hook-consumer-contract/hook-consumer-contract.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,wBAAwB,EAExB,iBAAiB,EAClB,MAAM,4BAA4B,CAAC;AAkBpC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAS9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;AAC5D,MAAM,MAAM,8BAA8B,GAAG,wBAAwB,GAAG,MAAM,GAAG,QAAQ,CAAC;AAE1F;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,iBAAiB,GAAG,IAAI,CAWjF;AAED,mGAAmG;AACnG,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAU3E;AAiED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,MAAM,WAAW,6BAA8B,SAAQ,iBAAiB;IACtE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACrD;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,EACjC,WAAW,EACX,OAAO,EACP,UAAU,GACX,EAAE,iBAAiB,GAAG,kBAAkB,CAYxC;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,EAC7C,aAAa,EACb,WAAW,EACX,OAAO,EACP,qBAAqB,EACrB,UAAU,GACX,EAAE,6BAA6B,GAAG,8BAA8B,CAiBhE"}