legend-doctor 0.1.0

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

@@ -0,0 +1,47 @@
+import type { CallbackContractSourceResolver, ChildComponentSource } from "./model.js";
+import type { ArrayItemCallbackQuery } from "./array-item-callbacks.js";
+/**
+ * Proves that a child component consumes one prop as a pure render value:
+ * every read lands in JSX output of host elements or in bounded pure
+ * projections of such reads, and no read escapes into hooks, callbacks,
+ * writes, or other calls. A read forwarded to another component, directly or
+ * through a rest spread, counts only when that component is itself a proven
+ * leaf render consumer of the same prop, up to a bounded depth. Only then can
+ * the owner keep the observable and the call site subscribe without changing
+ * behavior.
+ */
+export type LeafRenderResolver = (file: string, name: string) => ChildComponentSource | null;
+export declare const MAX_LEAF_FORWARD_DEPTH = 3;
+export declare function propIsLeafRenderConsumer(source: ChildComponentSource, propName: string, resolver?: LeafRenderResolver | null): boolean;
+/**
+ * Proves that one directly bound child prop has a primitive declared type and
+ * is consumed by the child. Primitive values make a parent-driven render and
+ * a child-owned subscription observably equivalent; object identity and React
+ * wrapper comparators remain outside this contract.
+ */
+export declare function propIsPrimitiveValueConsumer(source: ChildComponentSource, propName: string): boolean;
+export declare function propDefersArrayItemCallback(query: ArrayItemCallbackQuery): boolean;
+/**
+ * Proves that one callback field of an object prop can only execute after
+ * render. The path may cross local/imported component wrappers, JSX spreads,
+ * object destructuring, and source-resolved custom hooks. Every path must end
+ * in a host-style event prop or a callback whose own registration is proven
+ * deferred.
+ */
+export interface ObjectPropCallbackQuery {
+    readonly callbackProperty: string;
+    readonly propName: string;
+    readonly resolver: CallbackContractSourceResolver;
+    readonly source: ChildComponentSource;
+}
+export declare function propObjectCallbackIsDeferred({ callbackProperty, propName, resolver, source, }: ObjectPropCallbackQuery): boolean;
+export declare function propCallbackIsDeferred(source: ChildComponentSource, propName: string, resolver: CallbackContractSourceResolver): boolean;
+/**
+ * Proves that a callback prop is referenced only by a React effect: direct
+ * invocations and presence checks run in the effect body, while other reads
+ * may only preserve the dependency list. This is intentionally narrower than
+ * the general deferred-callback contract because an unknown deferred consumer
+ * could establish its own Legend tracking context.
+ */
+export declare function propCallbackRunsOnlyInReactEffect(source: ChildComponentSource, propName: string): boolean;
+//# sourceMappingURL=child-contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"child-contract.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/child-contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,8BAA8B,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAavF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAMxE;;;;;;;;;GASG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,oBAAoB,GAAG,IAAI,CAAC;AAE7F,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAQxC,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,oBAAoB,EAC5B,QAAQ,EAAE,MAAM,EAChB,QAAQ,GAAE,kBAAkB,GAAG,IAAW,GACzC,OAAO,CAET;AA4HD;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,oBAAoB,EAC5B,QAAQ,EAAE,MAAM,GACf,OAAO,CA4BT;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAElF;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;CACvC;AAED,wBAAgB,4BAA4B,CAAC,EAC3C,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACR,MAAM,GACP,EAAE,uBAAuB,GAAG,OAAO,CAOnC;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,oBAAoB,EAC5B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,8BAA8B,GACvC,OAAO,CAOT;AAED;;;;;;GAMG;AACH,wBAAgB,iCAAiC,CAC/C,MAAM,EAAE,oBAAoB,EAC5B,QAAQ,EAAE,MAAM,GACf,OAAO,CAgCT"}

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

@@ -0,0 +1,201 @@
+import { PATH_DEFERRAL, rootTrace, sourceInputCallbackIsDeferred } from "./path-trace.js";
+import { bindingDeclarationCount, isNonValueIdentifier } from "../../core/analysis-ast.js";
+import { bindingElementPropertyName, boundPropIdentifier, isBindingName, propsParameter, } from "./prop-bindings.js";
+import { declaredPropType, primitiveValueType } from "./declared-prop-types.js";
+import { findAncestor, isRuntimeFunctionLike, visit } from "../../core/ast.js";
+import { leafRenderVerdict, spreadVerdict } from "./leaf-render.js";
+import { arrayItemCallbackIsDeferred } from "./array-item-callbacks.js";
+import { collectHookImports } from "../../core/imports.js";
+import { reactEffectCallbackUsage } from "./react-effect-usage.js";
+import ts from "typescript";
+export const MAX_LEAF_FORWARD_DEPTH = 3;
+export function propIsLeafRenderConsumer(source, propName, resolver = null) {
+    return propIsLeafRenderConsumerAt(source, propName, { depth: 0, resolver, visited: new Set() });
+}
+function propIsLeafRenderConsumerAt(source, propName, query) {
+    if (!source.owner.body) {
+        return false;
+    }
+    const proof = {
+        forwarded: forwardedPropProof(source, query),
+        hostTags: collectHookImports(source.owner.getSourceFile()),
+    };
+    const bound = boundPropIdentifier(source.owner, propName, source.reactWrapped === true);
+    if (bound) {
+        return (bindingDeclarationCount(source.owner, bound.text) === 1 &&
+            boundPropRendersAsLeaf(source, bound, proof));
+    }
+    return restPropRendersAsLeaf(source, propName, proof);
+}
+function forwardedPropProof(source, { depth, resolver, visited }) {
+    if (!resolver || depth >= MAX_LEAF_FORWARD_DEPTH) {
+        return null;
+    }
+    return (opening, forwardedProp) => {
+        if (!ts.isIdentifier(opening.tagName)) {
+            return false;
+        }
+        const child = resolver(source.file, opening.tagName.text);
+        const key = `${child?.file ?? ""}\0${opening.tagName.text}\0${forwardedProp}`;
+        if (!child || visited.has(key)) {
+            return false;
+        }
+        return propIsLeafRenderConsumerAt(child, forwardedProp, {
+            depth: depth + 1,
+            resolver,
+            visited: new Set([...visited, key]),
+        });
+    };
+}
+function boundPropRendersAsLeaf(source, bound, proof) {
+    let renderReads = 0;
+    let safe = true;
+    const scope = { ...proof, tracked: new Set([bound.text]) };
+    visit(source.owner.body, (node) => {
+        if (!safe || !ts.isIdentifier(node) || !scope.tracked.has(node.text)) {
+            return;
+        }
+        const verdict = leafRenderVerdict(node, source, scope);
+        if (verdict === "render-read") {
+            renderReads += 1;
+        }
+        else if (verdict === "unsafe") {
+            safe = false;
+        }
+    });
+    return safe && renderReads > 0;
+}
+/**
+ * When the prop is not destructured it travels inside the rest binding (or the whole props
+ * parameter). Every reference to that binding must then be a JSX spread whose receiver renders the
+ * prop, so the prop still ends in host output.
+ */
+function restPropRendersAsLeaf(source, propName, proof) {
+    const rest = restPropsBinding(source, propName);
+    if (!rest || bindingDeclarationCount(source.owner, rest.text) !== 1) {
+        return false;
+    }
+    let renderReads = 0;
+    let safe = true;
+    visit(source.owner.body, (node) => {
+        if (!safe || !ts.isIdentifier(node) || node.text !== rest.text || isNonValueIdentifier(node)) {
+            return;
+        }
+        if (findAncestor(node, isRuntimeFunctionLike) !== source.owner) {
+            safe = false;
+            return;
+        }
+        const verdict = ts.isJsxSpreadAttribute(node.parent)
+            ? spreadVerdict(node.parent, propName, proof)
+            : "unsafe";
+        if (verdict === "render-read") {
+            renderReads += 1;
+        }
+        else if (verdict === "unsafe") {
+            safe = false;
+        }
+    });
+    return safe && renderReads > 0;
+}
+function restPropsBinding(source, propName) {
+    const parameter = propsParameter(source.owner, source.reactWrapped === true);
+    if (!parameter) {
+        return null;
+    }
+    if (ts.isIdentifier(parameter.name)) {
+        return parameter.name;
+    }
+    if (!ts.isObjectBindingPattern(parameter.name)) {
+        return null;
+    }
+    const explicit = parameter.name.elements.some((element) => !element.dotDotDotToken && bindingElementPropertyName(element) === propName);
+    const rest = parameter.name.elements.find((element) => element.dotDotDotToken);
+    return !explicit && rest && ts.isIdentifier(rest.name) ? rest.name : null;
+}
+/**
+ * Proves that one directly bound child prop has a primitive declared type and
+ * is consumed by the child. Primitive values make a parent-driven render and
+ * a child-owned subscription observably equivalent; object identity and React
+ * wrapper comparators remain outside this contract.
+ */
+export function propIsPrimitiveValueConsumer(source, propName) {
+    if (source.reactWrapped) {
+        return false;
+    }
+    const bound = boundPropIdentifier(source.owner, propName);
+    const type = declaredPropType(source, propName);
+    if (!bound ||
+        !type ||
+        !primitiveValueType(type) ||
+        bindingDeclarationCount(source.owner, bound.text) !== 1) {
+        return false;
+    }
+    let reads = 0;
+    visit(source.owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node !== bound &&
+            node.text === bound.text &&
+            !isNonValueIdentifier(node) &&
+            !isBindingName(node)) {
+            reads += 1;
+        }
+    });
+    return reads > 0;
+}
+export function propDefersArrayItemCallback(query) {
+    return arrayItemCallbackIsDeferred(query, PATH_DEFERRAL);
+}
+export function propObjectCallbackIsDeferred({ callbackProperty, propName, resolver, source, }) {
+    return sourceInputCallbackIsDeferred({
+        argumentIndex: 0,
+        path: [propName, callbackProperty],
+        source,
+        trace: rootTrace(resolver),
+    });
+}
+export function propCallbackIsDeferred(source, propName, resolver) {
+    return sourceInputCallbackIsDeferred({
+        argumentIndex: 0,
+        path: [propName],
+        source,
+        trace: rootTrace(resolver),
+    });
+}
+/**
+ * Proves that a callback prop is referenced only by a React effect: direct
+ * invocations and presence checks run in the effect body, while other reads
+ * may only preserve the dependency list. This is intentionally narrower than
+ * the general deferred-callback contract because an unknown deferred consumer
+ * could establish its own Legend tracking context.
+ */
+export function propCallbackRunsOnlyInReactEffect(source, propName) {
+    const bound = boundPropIdentifier(source.owner, propName);
+    if (!bound || !source.owner.body) {
+        return false;
+    }
+    if (bindingDeclarationCount(source.owner, bound.text) !== 1) {
+        return false;
+    }
+    const imports = collectHookImports(source.owner.getSourceFile());
+    let invocations = 0;
+    let safe = true;
+    visit(source.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== bound.text ||
+            node === bound ||
+            isNonValueIdentifier(node) ||
+            isBindingName(node)) {
+            return;
+        }
+        const usage = reactEffectCallbackUsage(node, source.owner, imports);
+        if (usage === "invoke") {
+            invocations += 1;
+        }
+        if (usage === null) {
+            safe = false;
+        }
+    });
+    return safe && invocations > 0;
+}
+//# sourceMappingURL=child-contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"child-contract.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/child-contract.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,6BAA6B,EAAE,MAAM,iBAAiB,CAAC;AAC1F,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAC3F,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,EACnB,aAAa,EACb,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,MAAM,YAAY,CAAC;AAc5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAQxC,MAAM,UAAU,wBAAwB,CACtC,MAA4B,EAC5B,QAAgB,EAChB,WAAsC,IAAI;IAE1C,OAAO,0BAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,0BAA0B,CACjC,MAA4B,EAC5B,QAAgB,EAChB,KAAsB;IAEtB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAoB;QAC7B,SAAS,EAAE,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC;QAC5C,QAAQ,EAAE,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;KAC3D,CAAC;IACF,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC;IACxF,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CACL,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;YACvD,sBAAsB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAC7C,CAAC;IACJ,CAAC;IACD,OAAO,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,kBAAkB,CACzB,MAA4B,EAC5B,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAmB;IAE7C,IAAI,CAAC,QAAQ,IAAI,KAAK,IAAI,sBAAsB,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE;QAChC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,GAAG,KAAK,EAAE,IAAI,IAAI,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC9E,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,0BAA0B,CAAC,KAAK,EAAE,aAAa,EAAE;YACtD,KAAK,EAAE,KAAK,GAAG,CAAC;YAChB,QAAQ;YACR,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,CAAC;SACpC,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAA4B,EAC5B,KAAoB,EACpB,KAAsB;IAEtB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,KAAK,GAAG,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAC3D,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YAC9B,WAAW,IAAI,CAAC,CAAC;QACnB,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,WAAW,GAAG,CAAC,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC5B,MAA4B,EAC5B,QAAgB,EAChB,KAAsB;IAEtB,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,IAAI,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7F,OAAO;QACT,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;YAC/D,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC;YAClD,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC;YAC7C,CAAC,CAAC,QAAQ,CAAC;QACb,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YAC9B,WAAW,IAAI,CAAC,CAAC;QACnB,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,WAAW,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA4B,EAAE,QAAgB;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC;IAC7E,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAC3C,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,IAAI,0BAA0B,CAAC,OAAO,CAAC,KAAK,QAAQ,CACzF,CAAC;IACF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC/E,OAAO,CAAC,QAAQ,IAAI,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAA4B,EAC5B,QAAgB;IAEhB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChD,IACE,CAAC,KAAK;QACN,CAAC,IAAI;QACL,CAAC,kBAAkB,CAAC,IAAI,CAAC;QACzB,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,KAAK,KAAK;YACd,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC3B,CAAC,aAAa,CAAC,IAAI,CAAC,EACpB,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAA6B;IACvE,OAAO,2BAA2B,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AAC3D,CAAC;AAgBD,MAAM,UAAU,4BAA4B,CAAC,EAC3C,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACR,MAAM,GACkB;IACxB,OAAO,6BAA6B,CAAC;QACnC,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QAClC,MAAM;QACN,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAA4B,EAC5B,QAAgB,EAChB,QAAwC;IAExC,OAAO,6BAA6B,CAAC;QACnC,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,CAAC,QAAQ,CAAC;QAChB,MAAM;QACN,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iCAAiC,CAC/C,MAA4B,EAC5B,QAAgB;IAEhB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;IACjE,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YACxB,IAAI,KAAK,KAAK;YACd,oBAAoB,CAAC,IAAI,CAAC;YAC1B,aAAa,CAAC,IAAI,CAAC,EACnB,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpE,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvB,WAAW,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,WAAW,GAAG,CAAC,CAAC;AACjC,CAAC"}

package/dist/src/rules/child-contract/context-consumers.d.ts

@@ -0,0 +1,10 @@
+import type { CallbackTrace } from "./model.js";
+interface ContextConsumerProbe {
+    readonly contextName: string;
+    readonly property: string;
+    readonly providerFile: string;
+    readonly trace: CallbackTrace;
+}
+export declare function contextPropertyConsumersAreDeferred(probe: ContextConsumerProbe): boolean;
+export {};
+//# sourceMappingURL=context-consumers.d.ts.map

package/dist/src/rules/child-contract/context-consumers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-consumers.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/context-consumers.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAKhD,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAgID,wBAAgB,mCAAmC,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAWxF"}

package/dist/src/rules/child-contract/context-consumers.js

@@ -0,0 +1,99 @@
+import { bindCallbackPath, isModuleBindingReference, objectBindingOmitsProperty, } from "./prop-bindings.js";
+import { findAncestor, identifiersNamed, isRuntimeFunctionLike } from "../../core/ast.js";
+import { isDeclarationName, isNonValueIdentifier } from "../../core/analysis-ast.js";
+import { MAX_CALLBACK_PATH_DEPTH } from "./model.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import ts from "typescript";
+function contextReaderOwner(call) {
+    const owner = findAncestor(call, isRuntimeFunctionLike);
+    if (!owner ||
+        (!ts.isArrowFunction(owner) &&
+            !ts.isFunctionDeclaration(owner) &&
+            !ts.isFunctionExpression(owner)) ||
+        !owner.body) {
+        return null;
+    }
+    return { body: owner.body, owner };
+}
+function contextReaderConsumer(node) {
+    const call = node.parent;
+    if (!ts.isCallExpression(call) || call.expression !== node) {
+        return null;
+    }
+    const resolved = contextReaderOwner(call);
+    const carriedCall = climbTransparentExpression(call);
+    const declaration = carriedCall.parent;
+    if (!resolved ||
+        !ts.isVariableDeclaration(declaration) ||
+        declaration.initializer !== carriedCall) {
+        return null;
+    }
+    return { body: resolved.body, declaration, owner: resolved.owner };
+}
+function contextReaderVerdict(node, file, probe) {
+    const { property, trace } = probe;
+    if (isDeclarationName(node) || isNonValueIdentifier(node) || isModuleBindingReference(node)) {
+        return "ignored";
+    }
+    const consumer = contextReaderConsumer(node);
+    if (!consumer) {
+        return "unsafe";
+    }
+    const tracked = bindCallbackPath(consumer.declaration.name, [property]);
+    if (!tracked) {
+        return objectBindingOmitsProperty(consumer.declaration.name, property) ? "ignored" : "unsafe";
+    }
+    return trace.deferral.trackedPath({
+        body: consumer.body,
+        deferredCallbackHooks: trace.resolver.deferredCallbackHooks(file),
+        file,
+        owner: consumer.owner,
+    }, tracked, trace)
+        ? "consumed-deferred"
+        : "consumed-undeferred";
+}
+function contextReaderIdentifiers(sourceFile, hookNames) {
+    return [...hookNames].flatMap((hookName) => [...identifiersNamed(sourceFile, hookName)]);
+}
+function contextFileConsumersAreDeferred(nodes, file, probe) {
+    let consumed = false;
+    let safe = true;
+    for (const node of nodes) {
+        if (!safe) {
+            break;
+        }
+        const verdict = contextReaderVerdict(node, file, probe);
+        if (verdict === "consumed-deferred" || verdict === "consumed-undeferred") {
+            consumed = true;
+        }
+        safe = verdict !== "unsafe" && verdict !== "consumed-undeferred";
+    }
+    return { consumed, safe };
+}
+function contextReadersOutcome(readers, probe) {
+    let consumed = false;
+    let safe = true;
+    for (const [file, hookNames] of readers) {
+        const sourceFile = probe.trace.resolver.sourceFile(file);
+        if (!sourceFile) {
+            return null;
+        }
+        const outcome = contextFileConsumersAreDeferred(contextReaderIdentifiers(sourceFile, hookNames), file, probe);
+        consumed ||= outcome.consumed;
+        safe &&= outcome.safe;
+    }
+    return { consumed, safe };
+}
+export function contextPropertyConsumersAreDeferred(probe) {
+    const { contextName, providerFile, trace } = probe;
+    if (trace.depth > MAX_CALLBACK_PATH_DEPTH) {
+        return false;
+    }
+    const readers = trace.resolver.contextReaderHooks(providerFile, contextName);
+    if (readers.size === 0) {
+        return false;
+    }
+    const outcome = contextReadersOutcome(readers, probe);
+    return outcome !== null && outcome.safe && outcome.consumed;
+}
+//# sourceMappingURL=context-consumers.js.map

package/dist/src/rules/child-contract/context-consumers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-consumers.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/context-consumers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAErF,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAgB5B,SAAS,kBAAkB,CAAC,IAAuB;IAIjD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACxD,IACE,CAAC,KAAK;QACN,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;YACzB,CAAC,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;YAChC,CAAC,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC,KAAK,CAAC,IAAI,EACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAmB;IAKhD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC;IACvC,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACtC,WAAW,CAAC,WAAW,KAAK,WAAW,EACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAmB,EACnB,IAAY,EACZ,KAA2B;IAE3B,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAClC,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5F,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,0BAA0B,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChG,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,CAAC,WAAW,CAC/B;QACE,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,qBAAqB,EAAE,KAAK,CAAC,QAAQ,CAAC,qBAAqB,CAAC,IAAI,CAAC;QACjE,IAAI;QACJ,KAAK,EAAE,QAAQ,CAAC,KAAK;KACtB,EACD,OAAO,EACP,KAAK,CACN;QACC,CAAC,CAAC,mBAAmB;QACrB,CAAC,CAAC,qBAAqB,CAAC;AAC5B,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAAyB,EACzB,SAA8B;IAE9B,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,+BAA+B,CACtC,KAA+B,EAC/B,IAAY,EACZ,KAA2B;IAE3B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,IAAI,OAAO,KAAK,mBAAmB,IAAI,OAAO,KAAK,qBAAqB,EAAE,CAAC;YACzE,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QACD,IAAI,GAAG,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,qBAAqB,CAAC;IACnE,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAiD,EACjD,KAA2B;IAE3B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,+BAA+B,CAC7C,wBAAwB,CAAC,UAAU,EAAE,SAAS,CAAC,EAC/C,IAAI,EACJ,KAAK,CACN,CAAC;QACF,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;QAC9B,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,KAA2B;IAC7E,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACnD,IAAI,KAAK,CAAC,KAAK,GAAG,uBAAuB,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAC7E,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtD,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC;AAC9D,CAAC"}

package/dist/src/rules/child-contract/context-publication.d.ts

@@ -0,0 +1,9 @@
+import type { ChildComponentSource } from "./model.js";
+import ts from "typescript";
+interface ContextPublication {
+    contextName: string;
+    property: string;
+}
+export declare function memoizedContextPublication(expression: ts.Expression, owner: ChildComponentSource["owner"]): ContextPublication | null;
+export {};
+//# sourceMappingURL=context-publication.d.ts.map

package/dist/src/rules/child-contract/context-publication.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-publication.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/context-publication.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAIvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,UAAU,kBAAkB;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAiFD,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC,kBAAkB,GAAG,IAAI,CAO3B"}

package/dist/src/rules/child-contract/context-publication.js

@@ -0,0 +1,88 @@
+import { bindingDeclarationCount, hookCallName, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nodeWithin, visit } from "../../core/ast.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import { jsxAttributeDirectlyCarries } from "./jsx-owner.js";
+import { propertyName } from "./prop-bindings.js";
+import ts from "typescript";
+function memoizedResultBinding(object, owner) {
+    const call = findAncestorUntil(object, ts.isCallExpression, owner);
+    if (!call ||
+        hookCallName(call) !== "useMemo" ||
+        bindingDeclarationCount(owner, "useMemo") !== 0 ||
+        !call.arguments[0] ||
+        !nodeWithin(object, call.arguments[0])) {
+        return null;
+    }
+    const carriedCall = climbTransparentExpression(call);
+    const declaration = carriedCall.parent;
+    if (!ts.isVariableDeclaration(declaration) ||
+        declaration.initializer !== carriedCall ||
+        !ts.isIdentifier(declaration.name) ||
+        bindingDeclarationCount(owner, declaration.name.text) !== 1) {
+        return null;
+    }
+    return declaration.name.text;
+}
+function memoizedObjectProperty(expression, owner) {
+    const member = expression.parent;
+    if (!ts.isShorthandPropertyAssignment(member) &&
+        !(ts.isPropertyAssignment(member) &&
+            unwrapTransparentExpression(member.initializer) === expression)) {
+        return null;
+    }
+    const name = propertyName(member.name);
+    const object = member.parent;
+    if (!name || !ts.isObjectLiteralExpression(object)) {
+        return null;
+    }
+    const bindingName = memoizedResultBinding(object, owner);
+    return bindingName ? { bindingName, name } : null;
+}
+function providedContextName(bindingName, owner) {
+    let contextName = null;
+    let references = 0;
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== bindingName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        references += 1;
+        const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+        const provider = attribute && jsxContextProvider(attribute, node);
+        if (!provider || (contextName !== null && contextName !== provider)) {
+            safe = false;
+            return;
+        }
+        contextName = provider;
+    });
+    return safe && references > 0 ? contextName : null;
+}
+export function memoizedContextPublication(expression, owner) {
+    const published = memoizedObjectProperty(expression, owner);
+    if (!published) {
+        return null;
+    }
+    const contextName = providedContextName(published.bindingName, owner);
+    return contextName ? { contextName, property: published.name } : null;
+}
+function jsxContextProvider(attribute, expression) {
+    if (attribute.name.getText() !== "value" || !jsxAttributeDirectlyCarries(attribute, expression)) {
+        return null;
+    }
+    const attributes = attribute.parent;
+    const opening = ts.isJsxAttributes(attributes) ? attributes.parent : null;
+    const tag = opening && (ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening))
+        ? opening.tagName
+        : null;
+    return tag &&
+        ts.isPropertyAccessExpression(tag) &&
+        ts.isIdentifier(tag.expression) &&
+        tag.name.text === "Provider"
+        ? tag.expression.text
+        : null;
+}
+//# sourceMappingURL=context-publication.js.map

package/dist/src/rules/child-contract/context-publication.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-publication.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/context-publication.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAEzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,SAAS,qBAAqB,CAC5B,MAAkC,EAClC,KAAoC;IAEpC,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IACnE,IACE,CAAC,IAAI;QACL,YAAY,CAAC,IAAI,CAAC,KAAK,SAAS;QAChC,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;QAC/C,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAClB,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACtC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC;IACvC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACtC,WAAW,CAAC,WAAW,KAAK,WAAW;QACvC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;AAC/B,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAyB,EACzB,KAAoC;IAEpC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,IACE,CAAC,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC;QACzC,CAAC,CACC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;YAC/B,2BAA2B,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,UAAU,CAC/D,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzD,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACpD,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAmB,EACnB,KAAoC;IAEpC,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,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,WAAW;YACzB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,SAAS,IAAI,kBAAkB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ,IAAI,CAAC,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,QAAQ,CAAC,EAAE,CAAC;YACpE,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,WAAW,GAAG,QAAQ,CAAC;IACzB,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAyB,EACzB,KAAoC;IAEpC,MAAM,SAAS,GAAG,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACtE,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED,SAAS,kBAAkB,CAAC,SAA0B,EAAE,UAAyB;IAC/E,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,OAAO,IAAI,CAAC,2BAA2B,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC;IACD,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,MAAM,GAAG,GACP,OAAO,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACjF,CAAC,CAAC,OAAO,CAAC,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,GAAG;QACR,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC;QAClC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAC5B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI;QACrB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/child-contract/declared-prop-types.d.ts

@@ -0,0 +1,5 @@
+import type { ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function declaredPropType(source: ChildComponentSource, propName: string): ts.TypeNode | null;
+export declare function primitiveValueType(type: ts.TypeNode): boolean;
+//# sourceMappingURL=declared-prop-types.d.ts.map

package/dist/src/rules/child-contract/declared-prop-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-prop-types.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/declared-prop-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAiD5B,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,oBAAoB,EAC5B,QAAQ,EAAE,MAAM,GACf,EAAE,CAAC,QAAQ,GAAG,IAAI,CAgBpB;AASD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,GAAG,OAAO,CAuB7D"}

package/dist/src/rules/child-contract/declared-prop-types.js

@@ -0,0 +1,73 @@
+import ts from "typescript";
+function unwrapParenthesizedType(type) {
+    let current = type;
+    while (ts.isParenthesizedTypeNode(current)) {
+        current = current.type;
+    }
+    return current;
+}
+function soleTypeDeclaration(source, typeName) {
+    const declarations = source.owner
+        .getSourceFile()
+        .statements.filter((statement) => (ts.isInterfaceDeclaration(statement) || ts.isTypeAliasDeclaration(statement)) &&
+        statement.name.text === typeName);
+    const [declaration] = declarations;
+    return declarations.length === 1 && declaration ? declaration : null;
+}
+function declaredTypeMembers(declaration) {
+    if (ts.isInterfaceDeclaration(declaration)) {
+        return declaration.heritageClauses?.length ? null : declaration.members;
+    }
+    const alias = unwrapParenthesizedType(declaration.type);
+    return ts.isTypeLiteralNode(alias) ? alias.members : null;
+}
+function propsTypeMembers(source, propsType) {
+    if (ts.isTypeLiteralNode(propsType)) {
+        return propsType.members;
+    }
+    if (!ts.isTypeReferenceNode(propsType) || !ts.isIdentifier(propsType.typeName)) {
+        return null;
+    }
+    const declaration = soleTypeDeclaration(source, propsType.typeName.text);
+    return declaration === null ? null : declaredTypeMembers(declaration);
+}
+export function declaredPropType(source, propName) {
+    const [parameter] = source.owner.parameters;
+    if (!parameter?.type || source.owner.parameters.length !== 1) {
+        return null;
+    }
+    const members = propsTypeMembers(source, unwrapParenthesizedType(parameter.type));
+    if (!members) {
+        return null;
+    }
+    const properties = members.filter((member) => ts.isPropertySignature(member) && staticPropertyName(member.name) === propName);
+    const [property] = properties;
+    return properties.length === 1 && property ? (property.type ?? null) : null;
+}
+function staticPropertyName(name) {
+    if (ts.isIdentifier(name) || ts.isStringLiteral(name) || ts.isNumericLiteral(name)) {
+        return name.text;
+    }
+    return null;
+}
+export function primitiveValueType(type) {
+    if (ts.isParenthesizedTypeNode(type)) {
+        return primitiveValueType(type.type);
+    }
+    if (ts.isUnionTypeNode(type)) {
+        return type.types.length > 0 && type.types.every(primitiveValueType);
+    }
+    if (ts.isLiteralTypeNode(type)) {
+        return (ts.isStringLiteral(type.literal) ||
+            ts.isNumericLiteral(type.literal) ||
+            type.literal.kind === ts.SyntaxKind.TrueKeyword ||
+            type.literal.kind === ts.SyntaxKind.FalseKeyword ||
+            type.literal.kind === ts.SyntaxKind.NullKeyword);
+    }
+    return (type.kind === ts.SyntaxKind.BooleanKeyword ||
+        type.kind === ts.SyntaxKind.StringKeyword ||
+        type.kind === ts.SyntaxKind.NumberKeyword ||
+        type.kind === ts.SyntaxKind.BigIntKeyword ||
+        type.kind === ts.SyntaxKind.UndefinedKeyword);
+}
+//# sourceMappingURL=declared-prop-types.js.map

package/dist/src/rules/child-contract/declared-prop-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-prop-types.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/declared-prop-types.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,uBAAuB,CAAC,IAAiB;IAChD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAA4B,EAC5B,QAAgB;IAEhB,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK;SAC9B,aAAa,EAAE;SACf,UAAU,CAAC,MAAM,CAChB,CAAC,SAAS,EAAkE,EAAE,CAC5E,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAC9E,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACnC,CAAC;IACJ,MAAM,CAAC,WAAW,CAAC,GAAG,YAAY,CAAC;IACnC,OAAO,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAA8D;IAE9D,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,GAAG,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,gBAAgB,CACvB,MAA4B,EAC5B,SAAsB;IAEtB,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAA4B,EAC5B,QAAgB;IAEhB,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,EAAE,uBAAuB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAAkC,EAAE,CACzC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,QAAQ,CACjF,CAAC;IACF,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC;IAC9B,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAqB;IAC/C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAiB;IAClD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC;YACjC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC/C,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAChD,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAChD,CAAC;IACJ,CAAC;IACD,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;QAC1C,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC7C,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/expression-stages.d.ts

@@ -0,0 +1,3 @@
+import type { CallbackExpressionProbe } from "./model.js";
+export declare function callbackPathExpressionIsDeferred(probe: CallbackExpressionProbe): boolean;
+//# sourceMappingURL=expression-stages.d.ts.map

package/dist/src/rules/child-contract/expression-stages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-stages.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/expression-stages.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,uBAAuB,EAIxB,MAAM,YAAY,CAAC;AAkQpB,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,uBAAuB,GAAG,OAAO,CAcxF"}