legend-doctor 0.1.0

package/dist/src/rules/react-commit-sensitivity/ref-identity.js

@@ -0,0 +1,47 @@
+import { localFunctionBinding, uniqueVariableDeclaration } from "../state-proofs/binding-lookup.js";
+import { isImportedReactCall } from "./binding-resolution.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+function conditionalRefIdentityMayChange(value, owner, imports) {
+    return (refIdentityMayChange(value.whenTrue, owner, imports) ||
+        refIdentityMayChange(value.whenFalse, owner, imports));
+}
+export function refIdentityMayChange(expression, owner, imports) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isArrowFunction(value) || ts.isFunctionExpression(value) || ts.isCallExpression(value)) {
+        return !ts.isCallExpression(value) || !isStableReactRefFactory(value, imports);
+    }
+    if (ts.isConditionalExpression(value)) {
+        return conditionalRefIdentityMayChange(value, owner, imports);
+    }
+    return ts.isIdentifier(value) && aliasedRefIdentityMayChange(value, owner, imports);
+}
+function aliasedRefIdentityMayChange(value, owner, imports) {
+    if (localFunctionBinding(owner, value.text)) {
+        return true;
+    }
+    const declaration = uniqueVariableDeclaration(owner, value.text);
+    if (!declaration?.initializer) {
+        return false;
+    }
+    const initializer = unwrapTransparentExpression(declaration.initializer);
+    if (ts.isConditionalExpression(initializer)) {
+        return conditionalRefIdentityMayChange(initializer, owner, imports);
+    }
+    return ts.isCallExpression(initializer) && !isStableReactRefFactory(initializer, imports);
+}
+function isStableReactRefFactory(call, imports) {
+    if (isImportedReactCall(call, imports, "useRef")) {
+        return true;
+    }
+    if (!isImportedReactCall(call, imports, "useCallback")) {
+        return false;
+    }
+    const [, dependencies] = call.arguments;
+    if (!dependencies) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(dependencies);
+    return ts.isArrayLiteralExpression(value) && value.elements.length === 0;
+}
+//# sourceMappingURL=ref-identity.js.map

package/dist/src/rules/react-commit-sensitivity/ref-identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref-identity.js","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/ref-identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAGpG,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,SAAS,+BAA+B,CACtC,KAA+B,EAC/B,KAA0B,EAC1B,OAAoB;IAEpB,OAAO,CACL,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC;QACpD,oBAAoB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAyB,EACzB,KAA0B,EAC1B,OAAoB;IAEpB,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9F,OAAO,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,+BAA+B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAoB,EACpB,KAA0B,EAC1B,OAAoB;IAEpB,IAAI,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,uBAAuB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5C,OAAO,+BAA+B,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAuB,EAAE,OAAoB;IAC5E,IAAI,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACxC,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,YAAY,CAAC,CAAC;IACxD,OAAO,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;AAC3E,CAAC"}

package/dist/src/rules/source-callback-contract/latest-callback-ref.d.ts

@@ -0,0 +1,8 @@
+import type { HookBody, StoredCallbackRef } from "./model.js";
+import ts from "typescript";
+export declare function storedCallbackRef(callback: ts.Identifier, body: HookBody): StoredCallbackRef | null;
+export declare function callbackReferenceIsRefStorage(reference: ts.Identifier, storedRef: StoredCallbackRef, body: HookBody): boolean;
+export declare function refRefreshesCallback(callback: ts.Identifier, storedRef: StoredCallbackRef, body: HookBody): boolean;
+export declare function refCurrentAssignment(reference: ts.Identifier, refName: string): boolean;
+export declare function refObjectPropertyAccess(reference: ts.Identifier): ts.PropertyAccessExpression | null;
+//# sourceMappingURL=latest-callback-ref.d.ts.map

package/dist/src/rules/source-callback-contract/latest-callback-ref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"latest-callback-ref.d.ts","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/latest-callback-ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAoB,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAYhF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,EAAE,CAAC,UAAU,EACvB,IAAI,EAAE,QAAQ,GACb,iBAAiB,GAAG,IAAI,CAS1B;AAoDD,wBAAgB,6BAA6B,CAC3C,SAAS,EAAE,EAAE,CAAC,UAAU,EACxB,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,QAAQ,GACb,OAAO,CAST;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,EAAE,CAAC,UAAU,EACvB,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,QAAQ,GACb,OAAO,CAqBT;AAmDD,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAWvF;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,EAAE,CAAC,UAAU,GACvB,EAAE,CAAC,wBAAwB,GAAG,IAAI,CAapC"}

package/dist/src/rules/source-callback-contract/latest-callback-ref.js

@@ -0,0 +1,144 @@
+import { callbackIsReactEffectArgument, isImportedReactRef, isTracedFunction, } from "./react-effects.js";
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import ts from "typescript";
+export function storedCallbackRef(callback, body) {
+    const matches = [];
+    visit(body.source.owner.body, (node) => {
+        const stored = refStoringCallback(node, callback.text, body.hooks);
+        if (stored) {
+            matches.push(stored);
+        }
+    });
+    return matches.length === 1 ? matches[0] : null;
+}
+/** A `useRef({ ... })` declaration whose literal captures the given binding under one property. */
+function refStoringCallback(node, binding, hooks) {
+    if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name) || !node.initializer) {
+        return null;
+    }
+    const initializer = unwrapTransparentExpression(node.initializer);
+    if (!ts.isCallExpression(initializer) ||
+        !isImportedReactRef(initializer, hooks) ||
+        !initializer.arguments[0]) {
+        return null;
+    }
+    const object = unwrapTransparentExpression(initializer.arguments[0]);
+    if (!ts.isObjectLiteralExpression(object)) {
+        return null;
+    }
+    const property = objectPropertyForBinding(object, binding);
+    return property ? { declaration: node, name: node.name.text, property } : null;
+}
+function objectPropertyForBinding(object, binding) {
+    const matches = object.properties.flatMap((property) => {
+        if (ts.isShorthandPropertyAssignment(property) && property.name.text === binding) {
+            return [property.name.text];
+        }
+        const value = ts.isPropertyAssignment(property)
+            ? unwrapTransparentExpression(property.initializer)
+            : null;
+        if (ts.isPropertyAssignment(property) &&
+            value &&
+            ts.isIdentifier(value) &&
+            value.text === binding) {
+            const name = staticPropertyName(property.name);
+            return name ? [name] : [];
+        }
+        return [];
+    });
+    return matches.length === 1 ? matches[0] : null;
+}
+export function callbackReferenceIsRefStorage(reference, storedRef, body) {
+    const member = objectLiteralMemberFor(reference);
+    if (!member || objectPropertyName(member.property) !== storedRef.property) {
+        return false;
+    }
+    if (nodeWithin(member.object, storedRef.declaration.initializer)) {
+        return true;
+    }
+    return refObjectIsAssignedInEffect(member.object, storedRef, body);
+}
+export function refRefreshesCallback(callback, storedRef, body) {
+    let refreshes = 0;
+    visit(body.source.owner.body, (node) => {
+        if (!ts.isIdentifier(node) ||
+            node.text !== callback.text ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const member = objectLiteralMemberFor(node);
+        if (member &&
+            objectPropertyName(member.property) === storedRef.property &&
+            refObjectIsAssignedInEffect(member.object, storedRef, body)) {
+            refreshes += 1;
+        }
+    });
+    return refreshes === 1;
+}
+/** The object literal member that carries this reference, either shorthand or as the value. */
+function objectLiteralMemberFor(reference) {
+    const property = reference.parent;
+    if (ts.isShorthandPropertyAssignment(property) && property.name === reference) {
+        return ts.isObjectLiteralExpression(property.parent)
+            ? { object: property.parent, property }
+            : null;
+    }
+    if (ts.isPropertyAssignment(property) && nodeWithin(reference, property.initializer)) {
+        return ts.isObjectLiteralExpression(property.parent)
+            ? { object: property.parent, property }
+            : null;
+    }
+    return null;
+}
+/** The literal is the right side of a `ref.current = { ... }` written inside a React effect. */
+function refObjectIsAssignedInEffect(object, storedRef, body) {
+    const assignment = object.parent;
+    if (!ts.isBinaryExpression(assignment) ||
+        assignment.operatorToken.kind !== ts.SyntaxKind.EqualsToken ||
+        assignment.right !== object ||
+        !isRefCurrent(assignment.left, storedRef.name)) {
+        return false;
+    }
+    const effect = nearestNestedFunction(assignment, body.source.owner);
+    return (effect !== null && isTracedFunction(effect) && callbackIsReactEffectArgument(effect, body.hooks));
+}
+function objectPropertyName(property) {
+    if (ts.isShorthandPropertyAssignment(property)) {
+        return property.name.text;
+    }
+    return ts.isPropertyAssignment(property) ? staticPropertyName(property.name) : null;
+}
+export function refCurrentAssignment(reference, refName) {
+    const current = reference.parent;
+    return (ts.isPropertyAccessExpression(current) &&
+        current.expression === reference &&
+        current.name.text === "current" &&
+        ts.isBinaryExpression(current.parent) &&
+        current.parent.left === current &&
+        current.parent.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+        isRefCurrent(current, refName));
+}
+export function refObjectPropertyAccess(reference) {
+    const current = reference.parent;
+    if (!ts.isPropertyAccessExpression(current) ||
+        current.expression !== reference ||
+        current.name.text !== "current") {
+        return null;
+    }
+    const callback = current.parent;
+    return ts.isPropertyAccessExpression(callback) && callback.expression === current
+        ? callback
+        : null;
+}
+function isRefCurrent(expression, refName) {
+    return (ts.isPropertyAccessExpression(expression) &&
+        ts.isIdentifier(expression.expression) &&
+        expression.expression.text === refName &&
+        expression.name.text === "current");
+}
+function staticPropertyName(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteralLike(name) ? name.text : null;
+}
+//# sourceMappingURL=latest-callback-ref.js.map

package/dist/src/rules/source-callback-contract/latest-callback-ref.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"latest-callback-ref.js","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/latest-callback-ref.ts"],"names":[],"mappings":"AACA,OAAO,EACL,6BAA6B,EAC7B,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,iBAAiB,CAC/B,QAAuB,EACvB,IAAc;IAEd,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACrC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,mGAAmG;AACnG,SAAS,kBAAkB,CACzB,IAAa,EACb,OAAe,EACf,KAAuB;IAEvB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClE,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QACjC,CAAC,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC;QACvC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACtE,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3D,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAkC,EAClC,OAAe;IAEf,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QACrD,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACjF,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAC7C,CAAC,CAAC,2BAA2B,CAAC,QAAQ,CAAC,WAAW,CAAC;YACnD,CAAC,CAAC,IAAI,CAAC;QACT,IACE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YACjC,KAAK;YACL,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;YACtB,KAAK,CAAC,IAAI,KAAK,OAAO,EACtB,CAAC;YACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,SAAwB,EACxB,SAA4B,EAC5B,IAAc;IAEd,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,WAAW,CAAC,WAAY,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAAuB,EACvB,SAA4B,EAC5B,IAAc;IAEd,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACrC,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;YAC3B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC5C,IACE,MAAM;YACN,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,QAAQ;YAC1D,2BAA2B,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAC3D,CAAC;YACD,SAAS,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,KAAK,CAAC,CAAC;AACzB,CAAC;AAOD,+FAA+F;AAC/F,SAAS,sBAAsB,CAAC,SAAkB;IAChD,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9E,OAAO,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,CAAC;YAClD,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE;YACvC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACrF,OAAO,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,CAAC;YAClD,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE;YACvC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gGAAgG;AAChG,SAAS,2BAA2B,CAClC,MAAkC,EAClC,SAA4B,EAC5B,IAAc;IAEd,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QAClC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC3D,UAAU,CAAC,KAAK,KAAK,MAAM;QAC3B,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAC9C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,OAAO,CACL,MAAM,KAAK,IAAI,IAAI,gBAAgB,CAAC,MAAM,CAAC,IAAI,6BAA6B,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAqC;IAC/D,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,SAAwB,EAAE,OAAe;IAC5E,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC;IACjC,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC;QACtC,OAAO,CAAC,UAAU,KAAK,SAAS;QAChC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAC/B,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC;QACrC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QAC/B,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC/D,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAAwB;IAExB,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC;IACjC,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC;QACvC,OAAO,CAAC,UAAU,KAAK,SAAS;QAChC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAC/B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,UAAU,KAAK,OAAO;QAC/E,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,UAAyB,EAAE,OAAe;IAC9D,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QACtC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;QACtC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAqB;IAC/C,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC"}

package/dist/src/rules/source-callback-contract/model.d.ts

@@ -0,0 +1,48 @@
+import type ts from "typescript";
+export interface SourceHookDeclaration {
+    readonly file: string;
+    readonly owner: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+    readonly sourceFile: ts.SourceFile;
+}
+export interface SourceHookResolver {
+    resolveHook: (importerFile: string, name: string) => SourceHookDeclaration | null;
+}
+export interface CallbackBinding {
+    readonly name: ts.Identifier;
+}
+export interface StoredCallbackRef {
+    readonly declaration: ts.VariableDeclaration;
+    readonly name: string;
+    readonly property: string;
+}
+/** The callback input of one resolved hook, identified the way a caller passes it in. */
+export interface DeferredCallbackQuery {
+    readonly argumentIndex: number;
+    readonly property: string | null;
+    readonly source: SourceHookDeclaration;
+}
+/** How far the trace has recursed, which hook inputs it already entered, and how to resolve more. */
+export interface ResolverTrace {
+    readonly depth: number;
+    readonly resolver: SourceHookResolver;
+    readonly visited: ReadonlySet<string>;
+}
+/** The hook body being walked, together with the React imports of its source file. */
+export interface HookBody {
+    readonly hooks: ReactHookImports;
+    readonly source: SourceHookDeclaration;
+}
+/** Everything one deferral step needs: the hook body plus the trace state carried into it. */
+export interface CallbackTrace {
+    readonly depth: number;
+    readonly hooks: ReactHookImports;
+    readonly resolver: SourceHookResolver;
+    readonly source: SourceHookDeclaration;
+    readonly visited: ReadonlySet<string>;
+}
+export interface ReactHookImports {
+    readonly effectNames: ReadonlySet<string>;
+    readonly namespaces: ReadonlySet<string>;
+    readonly refNames: ReadonlySet<string>;
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/src/rules/source-callback-contract/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAAC;IAClF,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,MAAM,WAAW,kBAAkB;IACjC,WAAW,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,qBAAqB,GAAG,IAAI,CAAC;CACnF;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,yFAAyF;AACzF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC;AAED,qGAAqG;AACrG,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,sFAAsF;AACtF,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC;AAED,8FAA8F;AAC9F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC"}

package/dist/src/rules/source-callback-contract/model.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=model.js.map

package/dist/src/rules/source-callback-contract/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/model.ts"],"names":[],"mappings":""}

package/dist/src/rules/source-callback-contract/react-effects.d.ts

@@ -0,0 +1,9 @@
+import type { ReactHookImports, SourceHookDeclaration } from "./model.js";
+import ts from "typescript";
+export declare function isTracedFunction(node: ts.Node): node is ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+export declare function callbackIsWithinReactEffect(callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression, owner: SourceHookDeclaration["owner"], hooks: ReactHookImports): boolean;
+export declare function callbackIsReactEffectArgument(callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression, hooks: ReactHookImports): boolean;
+export declare function reactHookImports(sourceFile: ts.SourceFile): ReactHookImports;
+export declare function isImportedReactEffect(call: ts.CallExpression, imports: ReactHookImports): boolean;
+export declare function isImportedReactRef(call: ts.CallExpression, imports: ReactHookImports): boolean;
+//# sourceMappingURL=react-effects.d.ts.map

package/dist/src/rules/source-callback-contract/react-effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-effects.d.ts","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/react-effects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAC1E,OAAO,EAAE,MAAM,YAAY,CAAC;AAM5B,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,IAAI,IAAI,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAI3E;AAED,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,EAC3E,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC,EACrC,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAWT;AAED,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,EAC3E,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAOT;AAQD,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,gBAAgB,CAQ5E;AAsDD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAUjG;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAU9F"}

package/dist/src/rules/source-callback-contract/react-effects.js

@@ -0,0 +1,92 @@
+import ts from "typescript";
+const REACT_EFFECT_HOOKS = new Set(["useEffect", "useInsertionEffect", "useLayoutEffect"]);
+const reactHookImportsCache = new WeakMap();
+export function isTracedFunction(node) {
+    return (ts.isArrowFunction(node) || ts.isFunctionDeclaration(node) || ts.isFunctionExpression(node));
+}
+export function callbackIsWithinReactEffect(callback, owner, hooks) {
+    for (let current = callback; current && current !== owner; current = current.parent) {
+        if (isTracedFunction(current) && callbackIsReactEffectArgument(current, hooks)) {
+            return true;
+        }
+    }
+    return false;
+}
+export function callbackIsReactEffectArgument(callback, hooks) {
+    if (ts.isFunctionDeclaration(callback) || !ts.isCallExpression(callback.parent)) {
+        return false;
+    }
+    return (callback.parent.arguments.includes(callback) && isImportedReactEffect(callback.parent, hooks));
+}
+export function reactHookImports(sourceFile) {
+    const cached = reactHookImportsCache.get(sourceFile);
+    if (cached) {
+        return cached;
+    }
+    const imports = collectReactHookImports(sourceFile);
+    reactHookImportsCache.set(sourceFile, imports);
+    return imports;
+}
+function collectReactHookImports(sourceFile) {
+    const collected = {
+        effectNames: new Set(),
+        namespaces: new Set(),
+        refNames: new Set(),
+    };
+    for (const statement of sourceFile.statements) {
+        if (isReactImportDeclaration(statement)) {
+            addReactImportBindings(statement.importClause, collected);
+        }
+    }
+    return collected;
+}
+function isReactImportDeclaration(statement) {
+    return (ts.isImportDeclaration(statement) &&
+        ts.isStringLiteral(statement.moduleSpecifier) &&
+        statement.moduleSpecifier.text === "react");
+}
+function addReactImportBindings(clause, into) {
+    if (clause?.name) {
+        into.namespaces.add(clause.name.text);
+    }
+    const bindings = clause?.namedBindings;
+    if (!bindings) {
+        return;
+    }
+    if (ts.isNamespaceImport(bindings)) {
+        into.namespaces.add(bindings.name.text);
+    }
+    else if (ts.isNamedImports(bindings)) {
+        addNamedReactHookImports(bindings, into);
+    }
+}
+function addNamedReactHookImports(bindings, into) {
+    for (const element of bindings.elements) {
+        const imported = element.propertyName?.text ?? element.name.text;
+        if (REACT_EFFECT_HOOKS.has(imported)) {
+            into.effectNames.add(element.name.text);
+        }
+        if (imported === "useRef") {
+            into.refNames.add(element.name.text);
+        }
+    }
+}
+export function isImportedReactEffect(call, imports) {
+    if (ts.isIdentifier(call.expression)) {
+        return imports.effectNames.has(call.expression.text);
+    }
+    return (ts.isPropertyAccessExpression(call.expression) &&
+        ts.isIdentifier(call.expression.expression) &&
+        imports.namespaces.has(call.expression.expression.text) &&
+        REACT_EFFECT_HOOKS.has(call.expression.name.text));
+}
+export function isImportedReactRef(call, imports) {
+    if (ts.isIdentifier(call.expression)) {
+        return imports.refNames.has(call.expression.text);
+    }
+    return (ts.isPropertyAccessExpression(call.expression) &&
+        ts.isIdentifier(call.expression.expression) &&
+        imports.namespaces.has(call.expression.expression.text) &&
+        call.expression.name.text === "useRef");
+}
+//# sourceMappingURL=react-effects.js.map

package/dist/src/rules/source-callback-contract/react-effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-effects.js","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/react-effects.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,oBAAoB,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAE3F,MAAM,qBAAqB,GAAG,IAAI,OAAO,EAAmC,CAAC;AAE7E,MAAM,UAAU,gBAAgB,CAC9B,IAAa;IAEb,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,QAA2E,EAC3E,KAAqC,EACrC,KAAuB;IAEvB,KACE,IAAI,OAAO,GAAwB,QAAQ,EAC3C,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,gBAAgB,CAAC,OAAO,CAAC,IAAI,6BAA6B,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,QAA2E,EAC3E,KAAuB;IAEvB,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAC9F,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,gBAAgB,CAAC,UAAyB;IACxD,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACpD,qBAAqB,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,uBAAuB,CAAC,UAAyB;IACxD,MAAM,SAAS,GAAG;QAChB,WAAW,EAAE,IAAI,GAAG,EAAU;QAC9B,UAAU,EAAE,IAAI,GAAG,EAAU;QAC7B,QAAQ,EAAE,IAAI,GAAG,EAAU;KAC5B,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;YACxC,sBAAsB,CAAC,SAAS,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAuB;IACvD,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACjC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;QAC7C,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,OAAO,CAC3C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAmC,EACnC,IAA6B;IAE7B,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,EAAE,aAAa,CAAC;IACvC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,wBAAwB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAyB,EAAE,IAA6B;IACxF,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QACjE,IAAI,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAuB,EAAE,OAAyB;IACtF,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9C,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC3C,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QACvD,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAClD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAuB,EAAE,OAAyB;IACnF,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9C,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC3C,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACvC,CAAC;AACJ,CAAC"}

package/dist/src/rules/source-callback-contract/source-callback-contract.d.ts

@@ -0,0 +1,15 @@
+import type { SourceHookDeclaration, SourceHookResolver } from "./model.js";
+/**
+ * Proves that one callback input to a resolved project hook cannot execute
+ * during render. The trace may cross other resolved hooks and one exact
+ * latest-callback ref, but every terminal invocation must remain under a
+ * React effect. Unknown calls, stale ref storage, aliases, and escapes fail.
+ */
+export interface SourceHookCallbackQuery {
+    readonly argumentIndex: number;
+    readonly property: string | null;
+    readonly resolver: SourceHookResolver;
+    readonly source: SourceHookDeclaration;
+}
+export declare function sourceHookDefersCallback({ argumentIndex, property, resolver, source, }: SourceHookCallbackQuery): boolean;
+//# sourceMappingURL=source-callback-contract.d.ts.map

package/dist/src/rules/source-callback-contract/source-callback-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-callback-contract.d.ts","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/source-callback-contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAKV,qBAAqB,EACrB,kBAAkB,EAEnB,MAAM,YAAY,CAAC;AAyBpB;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC;AAED,wBAAgB,wBAAwB,CAAC,EACvC,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,MAAM,GACP,EAAE,uBAAuB,GAAG,OAAO,CAKnC"}