legend-doctor 0.1.0

package/dist/src/rules/child-contract/invocation-boolean-props.js

@@ -0,0 +1,155 @@
+import { bindingDeclarationCount, isAssignmentOperator, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { bindingElementPropertyName, isBindingName } from "./prop-bindings.js";
+import { isRuntimeFunctionLike, nodeWithin, visit } from "../../core/ast.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import ts from "typescript";
+function bindingIsWritten(source, binding, declared) {
+    let written = false;
+    visit(source.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === binding.text &&
+            node !== declared &&
+            !isNonValueIdentifier(node) &&
+            referenceIsWithinWriteTarget(node, source.owner)) {
+            written = true;
+        }
+    });
+    return written;
+}
+function boundBooleanProp(source, element, propName) {
+    const value = booleanPropValueAtInvocation(source, propName);
+    if (value !== "absent") {
+        return value;
+    }
+    return element.initializer
+        ? booleanLiteral(unwrapTransparentExpression(element.initializer))
+        : null;
+}
+export function booleanPropAtInvocation(source, binding) {
+    const [parameter] = source.owner.parameters;
+    if (!parameter || !ts.isObjectBindingPattern(parameter.name)) {
+        return null;
+    }
+    const matches = parameter.name.elements.filter((element) => !element.dotDotDotToken &&
+        ts.isIdentifier(element.name) &&
+        element.name.text === binding.text);
+    const element = matches.length === 1 ? matches[0] : null;
+    const propName = element ? bindingElementPropertyName(element) : null;
+    if (!element ||
+        !propName ||
+        bindingDeclarationCount(source.owner, binding.text) !== 1 ||
+        bindingIsWritten(source, binding, element.name)) {
+        return null;
+    }
+    return boundBooleanProp(source, element, propName);
+}
+function jsxBooleanAttributeValue(attribute, propName) {
+    if (attribute.name.getText() !== propName) {
+        return "absent";
+    }
+    if (!attribute.initializer) {
+        return true;
+    }
+    if (!ts.isJsxExpression(attribute.initializer) || !attribute.initializer.expression) {
+        return null;
+    }
+    return booleanLiteral(unwrapTransparentExpression(attribute.initializer.expression));
+}
+function booleanPropValueAtInvocation(source, propName) {
+    if (!source.invocation) {
+        return null;
+    }
+    let value = "absent";
+    for (const attribute of source.invocation.attributes.properties) {
+        const contributed = ts.isJsxAttribute(attribute)
+            ? jsxBooleanAttributeValue(attribute, propName)
+            : booleanPropFromSpread(source.invocationOwner, attribute.expression, propName);
+        if (contributed === null) {
+            return null;
+        }
+        if (contributed !== "absent") {
+            value = contributed;
+        }
+    }
+    return value;
+}
+function spreadRestBinding(owner, name) {
+    const [parameter] = owner.owner.parameters;
+    if (!parameter || !ts.isObjectBindingPattern(parameter.name)) {
+        return null;
+    }
+    const rest = parameter.name.elements.filter((element) => element.dotDotDotToken && ts.isIdentifier(element.name) && element.name.text === name);
+    if (rest.length !== 1 || bindingDeclarationCount(owner.owner, name) !== 1) {
+        return null;
+    }
+    return parameter.name;
+}
+function spreadRestOnlyForwards(owner, name) {
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            isBindingName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const carried = climbTransparentExpression(node);
+        if (!ts.isJsxSpreadAttribute(carried.parent) || carried.parent.expression !== carried) {
+            safe = false;
+        }
+    });
+    return safe;
+}
+function booleanPropFromSpread(owner, expression, propName) {
+    const value = unwrapTransparentExpression(expression);
+    if (!owner || !ts.isIdentifier(value)) {
+        return null;
+    }
+    const pattern = spreadRestBinding(owner, value.text);
+    if (!pattern || !spreadRestOnlyForwards(owner, value.text)) {
+        return null;
+    }
+    const excluded = pattern.elements.some((element) => !element.dotDotDotToken && bindingElementPropertyName(element) === propName);
+    return excluded ? "absent" : booleanPropValueAtInvocation(owner, propName);
+}
+function booleanLiteral(expression) {
+    if (expression.kind === ts.SyntaxKind.TrueKeyword) {
+        return true;
+    }
+    if (expression.kind === ts.SyntaxKind.FalseKeyword) {
+        return false;
+    }
+    return null;
+}
+function writeTargetVerdict(reference, current, parent) {
+    if (ts.isBinaryExpression(parent) && isAssignmentOperator(parent.operatorToken.kind)) {
+        return nodeWithin(reference, parent.left) ? "yes" : "no";
+    }
+    if ((ts.isPostfixUnaryExpression(parent) && parent.operand === current) ||
+        (ts.isPrefixUnaryExpression(parent) &&
+            parent.operand === current &&
+            (parent.operator === ts.SyntaxKind.PlusPlusToken ||
+                parent.operator === ts.SyntaxKind.MinusMinusToken))) {
+        return "yes";
+    }
+    if ((ts.isDeleteExpression(parent) && parent.expression === current) ||
+        ((ts.isForInStatement(parent) || ts.isForOfStatement(parent)) &&
+            nodeWithin(reference, parent.initializer))) {
+        return "yes";
+    }
+    if (ts.isStatement(parent) || ts.isCallExpression(parent) || isRuntimeFunctionLike(parent)) {
+        return "no";
+    }
+    return "continue";
+}
+function referenceIsWithinWriteTarget(reference, owner) {
+    for (let current = reference; current.parent && current.parent !== owner; current = current.parent) {
+        const verdict = writeTargetVerdict(reference, current, current.parent);
+        if (verdict !== "continue") {
+            return verdict === "yes";
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=invocation-boolean-props.js.map

package/dist/src/rules/child-contract/invocation-boolean-props.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invocation-boolean-props.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/invocation-boolean-props.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,0BAA0B,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,gBAAgB,CACvB,MAA4B,EAC5B,OAAsB,EACtB,QAAwB;IAExB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;YAC1B,IAAI,KAAK,QAAQ;YACjB,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC3B,4BAA4B,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAChD,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,MAA4B,EAC5B,OAA0B,EAC1B,QAAgB;IAEhB,MAAM,KAAK,GAAG,4BAA4B,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,WAAW;QACxB,CAAC,CAAC,cAAc,CAAC,2BAA2B,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAClE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAA4B,EAC5B,OAAsB;IAEtB,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;IAC5C,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAC5C,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,OAAO,CAAC,cAAc;QACvB,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CACrC,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,IACE,CAAC,OAAO;QACR,CAAC,QAAQ;QACT,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QACzD,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,EAC/C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA0B,EAC1B,QAAgB;IAEhB,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,cAAc,CAAC,2BAA2B,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,4BAA4B,CACnC,MAA4B,EAC5B,QAAgB;IAEhB,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,GAAuB,QAAQ,CAAC;IACzC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAChE,MAAM,WAAW,GAAG,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;YAC9C,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,QAAQ,CAAC;YAC/C,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,eAAe,EAAE,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAClF,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC7B,KAAK,GAAG,WAAW,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,KAA2B,EAC3B,IAAY;IAEZ,MAAM,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC;IAC3C,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CACxF,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC;AACxB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA2B,EAAE,IAAY;IACvE,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,aAAa,CAAC,IAAI,CAAC;YACnB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;YACtF,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAuC,EACvC,UAAyB,EACzB,QAAgB;IAEhB,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CACpC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,IAAI,0BAA0B,CAAC,OAAO,CAAC,KAAK,QAAQ,CACzF,CAAC;IACF,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,cAAc,CAAC,UAAyB;IAC/C,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAID,SAAS,kBAAkB,CACzB,SAAwB,EACxB,OAAgB,EAChB,MAAe;IAEf,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,oBAAoB,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACrF,OAAO,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,CAAC;IACD,IACE,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,CAAC;QACnE,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;YACjC,MAAM,CAAC,OAAO,KAAK,OAAO;YAC1B,CAAC,MAAM,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBAC9C,MAAM,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC;QAChE,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC3D,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,EAC5C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,4BAA4B,CACnC,SAAwB,EACxB,KAAoC;IAEpC,KACE,IAAI,OAAO,GAAY,SAAS,EAChC,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAC1C,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACvE,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,OAAO,KAAK,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/child-contract/invocation-trace.d.ts

@@ -0,0 +1,17 @@
+import type { CallbackContractSourceResolver, CallbackDeferral, CallbackTrace, ChildComponentSource } from "./model.js";
+import ts from "typescript";
+interface CallbackInvocationProbe {
+    readonly callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+    readonly deferral: CallbackDeferral;
+    readonly deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>;
+    readonly depth: number;
+    readonly owner: ChildComponentSource["owner"];
+    readonly resolver: CallbackContractSourceResolver | undefined;
+    readonly seenCallbacks: ReadonlySet<number>;
+    readonly source: ChildComponentSource | undefined;
+    readonly visited: ReadonlySet<string>;
+}
+export declare function callbackInvocationIsDeferred(probe: CallbackInvocationProbe): boolean;
+export declare function callbackIsDeferredByJsx(callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression, source: ChildComponentSource, trace: CallbackTrace): boolean;
+export {};
+//# sourceMappingURL=invocation-trace.d.ts.map

package/dist/src/rules/child-contract/invocation-trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invocation-trace.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/invocation-trace.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,8BAA8B,EAC9B,gBAAgB,EAChB,aAAa,EACb,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAwBpB,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,UAAU,uBAAuB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAAC;IACrF,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,GAAG,SAAS,CAAC;IAC9D,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,oBAAoB,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAyID,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,uBAAuB,GAAG,OAAO,CAiBpF;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,EAC3E,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,aAAa,GACnB,OAAO,CAcT"}

package/dist/src/rules/child-contract/invocation-trace.js

@@ -0,0 +1,139 @@
+import { CALLBACK_IDENTITY_HOOKS, reactNamespacesFor } from "./callback-identity-hooks.js";
+import { atJsxInvocation, jsxOwnerIsDeferredEventTarget, jsxOwnerTarget } from "./jsx-owner.js";
+import { callbackBindingName, callbackIsStoredInProperty, callbackRunsInImmediateReactHook, callbackRunsInProvenDeferredHook, identifierRunsInProvenDeferredHook, } from "./callback-hosting.js";
+import { findAncestorUntil, identifiersNamed, nearestNestedFunction } from "../../core/ast.js";
+import { isHookDependencyReference, isSynchronousRenderCallback, } from "../state-proofs/callback-sites.js";
+import { jsxAttributeCarriesCallbackIdentity, jsxEventAttributeIsDeferred, } from "./jsx-event-attributes.js";
+import { MAX_CALLBACK_PATH_DEPTH } from "./model.js";
+import { callbackReferenceIsObservationOnly } from "./observation-only-reads.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import { higherOrderCallDefersCallback } from "./higher-order-factories.js";
+import { isBindingName } from "./prop-bindings.js";
+import { isNonValueIdentifier } from "../../core/analysis-ast.js";
+import ts from "typescript";
+function jsxReferenceIsDeferred(node, probe) {
+    const { deferral, depth, owner, resolver, source, visited } = probe;
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+    if (!attribute ||
+        !/^on[A-Z]/u.test(attribute.name.getText()) ||
+        !jsxAttributeCarriesCallbackIdentity(attribute, node)) {
+        return false;
+    }
+    const target = jsxOwnerTarget(attribute);
+    if (jsxOwnerIsDeferredEventTarget(attribute, source) ||
+        (source !== undefined &&
+            resolver !== undefined &&
+            target !== null &&
+            resolver.frameworkEventComponent(source.file, target))) {
+        return true;
+    }
+    const child = source && resolver && target ? resolver.resolveComponent(source.file, target) : null;
+    return (child !== null &&
+        resolver !== undefined &&
+        deferral.sourceInput({
+            argumentIndex: 0,
+            path: [attribute.name.getText()],
+            source: atJsxInvocation(child, attribute, source),
+            trace: { deferral, depth: depth + 1, resolver, returnTarget: null, visited },
+        }));
+}
+function higherOrderReferenceIsDeferred(node, probe) {
+    const { deferral, depth, resolver, source, visited } = probe;
+    return (source !== undefined &&
+        resolver !== undefined &&
+        higherOrderCallDefersCallback(node, source, {
+            deferral,
+            depth: depth + 1,
+            resolver,
+            returnTarget: null,
+            visited,
+        }));
+}
+function invokingCallerIsDeferred(node, nextCallbacks, probe) {
+    const { deferral, deferredCallbackHooks, depth, owner, resolver, source, visited } = probe;
+    if (!ts.isCallExpression(node.parent) || node.parent.expression !== node) {
+        return false;
+    }
+    const caller = nearestNestedFunction(node, owner);
+    if (!caller ||
+        (!ts.isArrowFunction(caller) &&
+            !ts.isFunctionDeclaration(caller) &&
+            !ts.isFunctionExpression(caller)) ||
+        caller === owner) {
+        return false;
+    }
+    return (callbackRunsInProvenDeferredHook(caller, deferredCallbackHooks) ||
+        callbackInvocationIsDeferred({
+            callback: caller,
+            deferral,
+            deferredCallbackHooks,
+            depth: depth + 1,
+            owner,
+            resolver,
+            seenCallbacks: nextCallbacks,
+            source,
+            visited,
+        }));
+}
+function callbackReferenceIsDeferred(node, nextCallbacks, probe) {
+    const { deferredCallbackHooks, owner } = probe;
+    if (isHookDependencyReference(node, CALLBACK_IDENTITY_HOOKS, reactNamespacesFor(owner.getSourceFile())) ||
+        callbackReferenceIsObservationOnly(node)) {
+        return true;
+    }
+    if (jsxReferenceIsDeferred(node, probe)) {
+        return true;
+    }
+    if (identifierRunsInProvenDeferredHook(node, deferredCallbackHooks)) {
+        return true;
+    }
+    if (higherOrderReferenceIsDeferred(node, probe)) {
+        return true;
+    }
+    return invokingCallerIsDeferred(node, nextCallbacks, probe);
+}
+function callbackReferencesAreDeferred(name, nextCallbacks, probe) {
+    let referenced = false;
+    let safe = true;
+    for (const node of identifiersNamed(probe.owner.body, name)) {
+        if (!safe) {
+            break;
+        }
+        if (isBindingName(node) || isNonValueIdentifier(node)) {
+            continue;
+        }
+        referenced = true;
+        safe = callbackReferenceIsDeferred(node, nextCallbacks, probe);
+    }
+    return referenced && safe;
+}
+export function callbackInvocationIsDeferred(probe) {
+    const { callback, deferredCallbackHooks, depth, owner, seenCallbacks } = probe;
+    if (depth > MAX_CALLBACK_PATH_DEPTH || seenCallbacks.has(callback.pos)) {
+        return false;
+    }
+    if (isSynchronousRenderCallback(callback) || callbackRunsInImmediateReactHook(callback)) {
+        return false;
+    }
+    const name = callbackBindingName(callback, owner);
+    if (!name) {
+        return (!ts.isFunctionDeclaration(callback) &&
+            (callbackIsStoredInProperty(callback) ||
+                callbackRunsInProvenDeferredHook(callback, deferredCallbackHooks)));
+    }
+    return callbackReferencesAreDeferred(name, new Set(seenCallbacks).add(callback.pos), probe);
+}
+export function callbackIsDeferredByJsx(callback, source, trace) {
+    if (ts.isFunctionDeclaration(callback) || trace.depth > MAX_CALLBACK_PATH_DEPTH) {
+        return false;
+    }
+    const expression = climbTransparentExpression(callback);
+    const attribute = findAncestorUntil(expression, ts.isJsxAttribute, source.owner);
+    if (!attribute ||
+        !/^on[A-Z]/u.test(attribute.name.getText()) ||
+        !jsxAttributeCarriesCallbackIdentity(attribute, expression)) {
+        return false;
+    }
+    return jsxEventAttributeIsDeferred(attribute, source, trace);
+}
+//# sourceMappingURL=invocation-trace.js.map

package/dist/src/rules/child-contract/invocation-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invocation-trace.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/invocation-trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAO3F,OAAO,EAAE,eAAe,EAAE,6BAA6B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,EACL,mBAAmB,EACnB,0BAA0B,EAC1B,gCAAgC,EAChC,gCAAgC,EAChC,kCAAkC,GACnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/F,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,mCAAmC,EACnC,2BAA2B,GAC5B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,MAAM,YAAY,CAAC;AAc5B,SAAS,sBAAsB,CAAC,IAAmB,EAAE,KAA8B;IACjF,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACpE,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACpE,IACE,CAAC,SAAS;QACV,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3C,CAAC,mCAAmC,CAAC,SAAS,EAAE,IAAI,CAAC,EACrD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IACzC,IACE,6BAA6B,CAAC,SAAS,EAAE,MAAM,CAAC;QAChD,CAAC,MAAM,KAAK,SAAS;YACnB,QAAQ,KAAK,SAAS;YACtB,MAAM,KAAK,IAAI;YACf,QAAQ,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GACT,MAAM,IAAI,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,OAAO,CACL,KAAK,KAAK,IAAI;QACd,QAAQ,KAAK,SAAS;QACtB,QAAQ,CAAC,WAAW,CAAC;YACnB,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC;YACjD,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;SAC7E,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAmB,EACnB,KAA8B;IAE9B,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC7D,OAAO,CACL,MAAM,KAAK,SAAS;QACpB,QAAQ,KAAK,SAAS;QACtB,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE;YAC1C,QAAQ;YACR,KAAK,EAAE,KAAK,GAAG,CAAC;YAChB,QAAQ;YACR,YAAY,EAAE,IAAI;YAClB,OAAO;SACR,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAmB,EACnB,aAAkC,EAClC,KAA8B;IAE9B,MAAM,EAAE,QAAQ,EAAE,qBAAqB,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC3F,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClD,IACE,CAAC,MAAM;QACP,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAC1B,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YACjC,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,KAAK,KAAK,EAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,gCAAgC,CAAC,MAAM,EAAE,qBAAqB,CAAC;QAC/D,4BAA4B,CAAC;YAC3B,QAAQ,EAAE,MAAM;YAChB,QAAQ;YACR,qBAAqB;YACrB,KAAK,EAAE,KAAK,GAAG,CAAC;YAChB,KAAK;YACL,QAAQ;YACR,aAAa,EAAE,aAAa;YAC5B,MAAM;YACN,OAAO;SACR,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAmB,EACnB,aAAkC,EAClC,KAA8B;IAE9B,MAAM,EAAE,qBAAqB,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/C,IACE,yBAAyB,CACvB,IAAI,EACJ,uBAAuB,EACvB,kBAAkB,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAC1C;QACD,kCAAkC,CAAC,IAAI,CAAC,EACxC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,kCAAkC,CAAC,IAAI,EAAE,qBAAqB,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,wBAAwB,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAY,EACZ,aAAkC,EAClC,KAA8B;IAE9B,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,UAAU,GAAG,IAAI,CAAC;QAClB,IAAI,GAAG,2BAA2B,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,UAAU,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAA8B;IACzE,MAAM,EAAE,QAAQ,EAAE,qBAAqB,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAC/E,IAAI,KAAK,GAAG,uBAAuB,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,2BAA2B,CAAC,QAAQ,CAAC,IAAI,gCAAgC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,CACL,CAAC,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;YACnC,CAAC,0BAA0B,CAAC,QAAQ,CAAC;gBACnC,gCAAgC,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,CACrE,CAAC;IACJ,CAAC;IACD,OAAO,6BAA6B,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAA2E,EAC3E,MAA4B,EAC5B,KAAoB;IAEpB,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,uBAAuB,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACjF,IACE,CAAC,SAAS;QACV,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3C,CAAC,mCAAmC,CAAC,SAAS,EAAE,UAAU,CAAC,EAC3D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC"}

package/dist/src/rules/child-contract/jsx-event-attributes.d.ts

@@ -0,0 +1,5 @@
+import type { CallbackTrace, ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function jsxAttributeCarriesCallbackIdentity(attribute: ts.JsxAttribute, callback: ts.Expression): boolean;
+export declare function jsxEventAttributeIsDeferred(attribute: ts.JsxAttribute, source: ChildComponentSource, trace: CallbackTrace): boolean;
+//# sourceMappingURL=jsx-event-attributes.d.ts.map

package/dist/src/rules/child-contract/jsx-event-attributes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-event-attributes.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/jsx-event-attributes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAStE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,mCAAmC,CACjD,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,QAAQ,EAAE,EAAE,CAAC,UAAU,GACtB,OAAO,CAST;AAED,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,aAAa,GACnB,OAAO,CAmBT"}

package/dist/src/rules/child-contract/jsx-event-attributes.js

@@ -0,0 +1,31 @@
+import { atJsxInvocation, jsxAttributeDirectlyCarries, jsxOwnerIsDeferredEventTarget, jsxOwnerTarget, } from "./jsx-owner.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import { deeperTrace } from "./model.js";
+import ts from "typescript";
+export function jsxAttributeCarriesCallbackIdentity(attribute, callback) {
+    let value = climbTransparentExpression(callback);
+    if (ts.isConditionalExpression(value.parent) &&
+        (value.parent.whenTrue === value || value.parent.whenFalse === value)) {
+        value = value.parent;
+    }
+    return jsxAttributeDirectlyCarries(attribute, value);
+}
+export function jsxEventAttributeIsDeferred(attribute, source, trace) {
+    const { resolver } = trace;
+    if (jsxOwnerIsDeferredEventTarget(attribute, source)) {
+        return true;
+    }
+    const target = jsxOwnerTarget(attribute);
+    if (target && resolver.frameworkEventComponent(source.file, target)) {
+        return true;
+    }
+    const child = target ? resolver.resolveComponent(source.file, target) : null;
+    return (child !== null &&
+        trace.deferral.sourceInput({
+            argumentIndex: 0,
+            path: [attribute.name.getText()],
+            source: atJsxInvocation(child, attribute, source),
+            trace: deeperTrace(trace, null),
+        }));
+}
+//# sourceMappingURL=jsx-event-attributes.js.map

package/dist/src/rules/child-contract/jsx-event-attributes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-event-attributes.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/jsx-event-attributes.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EACf,2BAA2B,EAC3B,6BAA6B,EAC7B,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,mCAAmC,CACjD,SAA0B,EAC1B,QAAuB;IAEvB,IAAI,KAAK,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACjD,IACE,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC;QACxC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,EACrE,CAAC;QACD,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,CAAC;IACD,OAAO,2BAA2B,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,SAA0B,EAC1B,MAA4B,EAC5B,KAAoB;IAEpB,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,6BAA6B,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IACzC,IAAI,MAAM,IAAI,QAAQ,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,OAAO,CACL,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YACzB,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC;YACjD,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC;SAChC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/jsx-owner.d.ts

@@ -0,0 +1,7 @@
+import type { ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function jsxAttributeDirectlyCarries(attribute: ts.JsxAttribute, expression: ts.Expression): boolean;
+export declare function jsxOwnerTarget(attribute: ts.JsxAttribute | ts.JsxSpreadAttribute): string | null;
+export declare function atJsxInvocation(source: ChildComponentSource, attribute: ts.JsxAttribute | ts.JsxSpreadAttribute, invocationOwner: ChildComponentSource | undefined): ChildComponentSource;
+export declare function jsxOwnerIsDeferredEventTarget(attribute: ts.JsxAttribute | ts.JsxSpreadAttribute, source: ChildComponentSource | undefined): boolean;
+//# sourceMappingURL=jsx-owner.d.ts.map

package/dist/src/rules/child-contract/jsx-owner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-owner.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/jsx-owner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,OAAO,CAQT;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,EAAE,CAAC,kBAAkB,GAAG,MAAM,GAAG,IAAI,CAGhG;AAmBD,wBAAgB,eAAe,CAC7B,MAAM,EAAE,oBAAoB,EAC5B,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,EAAE,CAAC,kBAAkB,EAClD,eAAe,EAAE,oBAAoB,GAAG,SAAS,GAChD,oBAAoB,CAStB;AA0CD,wBAAgB,6BAA6B,CAC3C,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,EAAE,CAAC,kBAAkB,EAClD,MAAM,EAAE,oBAAoB,GAAG,SAAS,GACvC,OAAO,CAST"}

package/dist/src/rules/child-contract/jsx-owner.js

@@ -0,0 +1,86 @@
+import { bindingDeclarationCount, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import { booleanPropAtInvocation } from "./invocation-boolean-props.js";
+import ts from "typescript";
+import { uniqueVariableDeclaration } from "../state-proofs/binding-lookup.js";
+export function jsxAttributeDirectlyCarries(attribute, expression) {
+    const { initializer } = attribute;
+    return (initializer !== undefined &&
+        ts.isJsxExpression(initializer) &&
+        initializer.expression !== undefined &&
+        unwrapTransparentExpression(initializer.expression) === unwrapTransparentExpression(expression));
+}
+export function jsxOwnerTarget(attribute) {
+    const opening = jsxOwnerOpening(attribute);
+    return opening ? jsxTagName(opening.tagName) : null;
+}
+function jsxOwnerOpening(attribute) {
+    const attributes = attribute.parent;
+    const opening = ts.isJsxAttributes(attributes) ? attributes.parent : null;
+    return opening && (ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening))
+        ? opening
+        : null;
+}
+function jsxOwnerIsIntrinsic(attribute) {
+    const opening = jsxOwnerOpening(attribute);
+    return (opening !== null && ts.isIdentifier(opening.tagName) && /^[a-z]/u.test(opening.tagName.text));
+}
+export function atJsxInvocation(source, attribute, invocationOwner) {
+    const invocation = jsxOwnerOpening(attribute);
+    if (!invocation) {
+        return source;
+    }
+    if (!invocationOwner) {
+        return { ...source, invocation };
+    }
+    return { ...source, invocation, invocationOwner };
+}
+function conditionalTagDeclaration(source, tagName) {
+    const declaration = uniqueVariableDeclaration(source.body, tagName);
+    if (!declaration?.initializer ||
+        !ts.isIdentifier(declaration.name) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(source.owner, declaration.name.text) !== 1) {
+        return null;
+    }
+    const initializer = unwrapTransparentExpression(declaration.initializer);
+    return ts.isConditionalExpression(initializer) ? initializer : null;
+}
+function selectedTagIsIntrinsic(selected) {
+    if (!selected) {
+        return false;
+    }
+    const target = unwrapTransparentExpression(selected);
+    return ts.isStringLiteralLike(target) && /^[a-z]/u.test(target.text);
+}
+function conditionalTagResolvesToIntrinsic(source, tagName) {
+    const initializer = conditionalTagDeclaration(source, tagName);
+    if (!initializer) {
+        return false;
+    }
+    const condition = unwrapTransparentExpression(initializer.condition);
+    if (!ts.isIdentifier(condition)) {
+        return false;
+    }
+    return selectedTagIsIntrinsic(selectedConditionalBranch(initializer, booleanPropAtInvocation(source, condition)));
+}
+export function jsxOwnerIsDeferredEventTarget(attribute, source) {
+    if (jsxOwnerIsIntrinsic(attribute)) {
+        return true;
+    }
+    const opening = jsxOwnerOpening(attribute);
+    if (!source?.invocation || !opening || !ts.isIdentifier(opening.tagName)) {
+        return false;
+    }
+    return conditionalTagResolvesToIntrinsic(source, opening.tagName.text);
+}
+function selectedConditionalBranch(initializer, conditionValue) {
+    if (conditionValue === true) {
+        return initializer.whenTrue;
+    }
+    return conditionValue === false ? initializer.whenFalse : null;
+}
+function jsxTagName(name) {
+    return ts.isIdentifier(name) || ts.isPropertyAccessExpression(name) ? name.getText() : null;
+}
+//# sourceMappingURL=jsx-owner.js.map

package/dist/src/rules/child-contract/jsx-owner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-owner.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/jsx-owner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAElG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAE9E,MAAM,UAAU,2BAA2B,CACzC,SAA0B,EAC1B,UAAyB;IAEzB,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;IAClC,OAAO,CACL,WAAW,KAAK,SAAS;QACzB,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAC/B,WAAW,CAAC,UAAU,KAAK,SAAS;QACpC,2BAA2B,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,2BAA2B,CAAC,UAAU,CAAC,CAChG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,SAAkD;IAC/E,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CACtB,SAAkD;IAElD,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC;IACpC,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,OAAO,OAAO,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACxF,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAkD;IAC7E,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC3C,OAAO,CACL,OAAO,KAAK,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAC7F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,MAA4B,EAC5B,SAAkD,EAClD,eAAiD;IAEjD,MAAM,UAAU,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,yBAAyB,CAChC,MAA4B,EAC5B,OAAe;IAEf,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IACE,CAAC,WAAW,EAAE,WAAW;QACzB,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACzE,OAAO,EAAE,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA8B;IAC5D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACrD,OAAO,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,iCAAiC,CAAC,MAA4B,EAAE,OAAe;IACtF,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,2BAA2B,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACrE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,sBAAsB,CAC3B,yBAAyB,CAAC,WAAW,EAAE,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CACnF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,SAAkD,EAClD,MAAwC;IAExC,IAAI,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iCAAiC,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,yBAAyB,CAChC,WAAqC,EACrC,cAA8B;IAE9B,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,WAAW,CAAC,QAAQ,CAAC;IAC9B,CAAC;IACD,OAAO,cAAc,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACjE,CAAC;AAED,SAAS,UAAU,CAAC,IAA6B;IAC/C,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9F,CAAC"}

package/dist/src/rules/child-contract/leaf-render.d.ts

@@ -0,0 +1,28 @@
+import type { ChildComponentSource } from "./model.js";
+import type { HostTagImports } from "../../core/imports.js";
+import ts from "typescript";
+type LeafRenderVerdict = "ignored" | "render-read" | "unsafe";
+/**
+ * Decides whether a prop handed to a custom component in the child's JSX still ends in host output:
+ * the receiving component must itself be a proven leaf render consumer of that attribute.
+ */
+export type ForwardedPropProof = (opening: ts.JsxOpeningElement | ts.JsxSelfClosingElement, propName: string) => boolean;
+/**
+ * Tags the child's own module imports from the host-component package (React Native primitives such
+ * as `View` and `Text`) render host output even though they are capitalized.
+ */
+export interface LeafRenderProof {
+    readonly forwarded: ForwardedPropProof | null;
+    readonly hostTags: HostTagImports;
+}
+export interface LeafRenderScope extends LeafRenderProof {
+    readonly tracked: Set<string>;
+}
+export declare function leafRenderVerdict(node: ts.Identifier, source: ChildComponentSource, scope: LeafRenderScope): LeafRenderVerdict;
+/**
+ * Classifies one JSX spread of the child's rest props: a host element receives the prop as an
+ * attribute, and a custom component receives it only when that component leaf-renders the same prop.
+ */
+export declare function spreadVerdict(spread: ts.JsxSpreadAttribute, propName: string, { forwarded, hostTags }: LeafRenderProof): LeafRenderVerdict;
+export {};
+//# sourceMappingURL=leaf-render.d.ts.map

package/dist/src/rules/child-contract/leaf-render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaf-render.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/leaf-render.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,KAAK,iBAAiB,GAAG,SAAS,GAAG,aAAa,GAAG,QAAQ,CAAC;AAE9D;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAC/B,OAAO,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,EACxD,QAAQ,EAAE,MAAM,KACb,OAAO,CAAC;AAEb;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC;AAED,MAAM,WAAW,eAAgB,SAAQ,eAAe;IACtD,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC/B;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,eAAe,GACrB,iBAAiB,CAenB;AAqBD;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,EAAE,CAAC,kBAAkB,EAC7B,QAAQ,EAAE,MAAM,EAChB,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,eAAe,GACvC,iBAAiB,CASnB"}

package/dist/src/rules/child-contract/leaf-render.js

@@ -0,0 +1,107 @@
+import { bindingDeclarationCount, isAssignmentOperator, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { findAncestor, findAncestorUntil, isRuntimeFunctionLike, nodeWithin, visit, } from "../../core/ast.js";
+import { isBindingName, referenceIsWritten } from "./prop-bindings.js";
+import { MAX_TRACKED_NAMES } from "./model.js";
+import { isHostTag } from "../../core/imports.js";
+import ts from "typescript";
+export function leafRenderVerdict(node, source, scope) {
+    if (isNonValueIdentifier(node) || isBindingName(node)) {
+        return "ignored";
+    }
+    if (findAncestor(node, isRuntimeFunctionLike) !== source.owner || referenceIsWritten(node)) {
+        return "unsafe";
+    }
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, source.owner);
+    if (attribute) {
+        return attributeVerdict(node, attribute, scope);
+    }
+    if (findAncestorUntil(node, isJsxNode, source.owner)) {
+        return "render-read";
+    }
+    return tracksPureProjection(node, source.owner, scope.tracked) ? "ignored" : "unsafe";
+}
+function attributeVerdict(node, attribute, { forwarded, hostTags }) {
+    const opening = jsxOpeningOf(attribute);
+    if (!opening) {
+        return "unsafe";
+    }
+    if (!isCustomJsxTag(opening, hostTags)) {
+        return "render-read";
+    }
+    const direct = attribute.initializer !== undefined &&
+        ts.isJsxExpression(attribute.initializer) &&
+        attribute.initializer.expression === node;
+    return direct && forwarded?.(opening, attribute.name.getText()) ? "render-read" : "unsafe";
+}
+/**
+ * Classifies one JSX spread of the child's rest props: a host element receives the prop as an
+ * attribute, and a custom component receives it only when that component leaf-renders the same prop.
+ */
+export function spreadVerdict(spread, propName, { forwarded, hostTags }) {
+    const opening = jsxOpeningOf(spread);
+    if (!opening) {
+        return "unsafe";
+    }
+    if (!isCustomJsxTag(opening, hostTags)) {
+        return "render-read";
+    }
+    return forwarded?.(opening, propName) ? "render-read" : "unsafe";
+}
+function jsxOpeningOf(attribute) {
+    const container = attribute.parent;
+    const element = ts.isJsxAttributes(container) ? container.parent : container;
+    return ts.isJsxOpeningElement(element) || ts.isJsxSelfClosingElement(element) ? element : null;
+}
+function isCustomJsxTag(element, hostTags) {
+    return !isHostTag(element.tagName.getText(), hostTags);
+}
+function isJsxNode(node) {
+    return (ts.isJsxElement(node) ||
+        ts.isJsxSelfClosingElement(node) ||
+        ts.isJsxFragment(node) ||
+        ts.isJsxExpression(node));
+}
+/**
+ * Accepts one bounded chain of immutable pure projections
+ * (`const label = open ? "Close" : "Open"`) whose expression contains no
+ * calls, awaits, assignments, or spreads, and tracks the projected name so
+ * its own later reads participate in the same proof.
+ */
+function tracksPureProjection(node, owner, tracked) {
+    const declaration = findAncestorUntil(node, ts.isVariableDeclaration, owner);
+    if (!declaration ||
+        !declaration.initializer ||
+        !nodeWithin(node, declaration.initializer) ||
+        !ts.isIdentifier(declaration.name) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(owner, declaration.name.text) !== 1 ||
+        tracked.size >= MAX_TRACKED_NAMES) {
+        return false;
+    }
+    let depth = 0;
+    let pure = true;
+    visit(declaration.initializer, (current) => {
+        if (!pure) {
+            return;
+        }
+        if (ts.isCallExpression(current) ||
+            ts.isNewExpression(current) ||
+            ts.isAwaitExpression(current) ||
+            ts.isYieldExpression(current) ||
+            ts.isSpreadElement(current) ||
+            (ts.isBinaryExpression(current) && isAssignmentOperator(current.operatorToken.kind))) {
+            pure = false;
+            return;
+        }
+        if (ts.isIdentifier(current) && tracked.has(current.text)) {
+            depth += 1;
+        }
+    });
+    if (!pure || depth === 0) {
+        return false;
+    }
+    tracked.add(declaration.name.text);
+    return true;
+}
+//# sourceMappingURL=leaf-render.js.map