legend-doctor 0.1.0

package/dist/src/project/analyze-path/child-contracts.js

@@ -0,0 +1,248 @@
+import { findComponentDeclaration, findHookDeclaration } from "./source-declarations.js";
+import { findHookPresentationConsumer, hasSingleLeafConsumer } from "./hook-consumers.js";
+import { propCallbackIsDeferred, propCallbackRunsOnlyInReactEffect, propDefersArrayItemCallback, propIsLeafRenderConsumer, propObjectCallbackIsDeferred, } from "../../rules/child-contract/child-contract.js";
+import { importedHookConsumers } from "./hook-consumer-index.js";
+import { keyedCursorConsumerResult } from "../../rules/hook-keyed-cursor-contract/hook-keyed-cursor-contract.js";
+import { sourceHookDefersCallback } from "../../rules/source-callback-contract/source-callback-contract.js";
+function cached(cache, key, compute) {
+    const hit = cache.get(key);
+    if (hit !== undefined) {
+        return hit;
+    }
+    const value = compute();
+    cache.set(key, value);
+    return value;
+}
+const PLATFORM_VARIANTS = ["", ".native", ".ios", ".android", ".web"];
+class ChildContracts {
+    arrayItemCallbackContracts = new Map();
+    callbackContracts = new Map();
+    componentCallbackContracts = new Map();
+    componentEffectCallbackContracts = new Map();
+    componentInvocationCallbackContracts = new Map();
+    componentSources = new Map();
+    hookDeclarations = new Map();
+    keyedCursorContracts = new Map();
+    leafConsumerContracts = new Map();
+    presentationConsumerContracts = new Map();
+    leafRenderContracts = new Map();
+    context;
+    importerFile;
+    deferredRegistrations = null;
+    hookResolver = {
+        resolveHook: (file, name) => this.resolveHookDeclaration(file, name),
+    };
+    callbackSources = {
+        contextReaderHooks: (file, contextName) => this.context.sourceIndex.contextReaderHooksFor(file, contextName),
+        deferredCallbackHooks: (file) => this.context.sourceIndex.deferredCallbackHooksFor(file),
+        frameworkEventComponent: (file, name) => this.context.sourceIndex.frameworkEventComponentFor(file, name),
+        hookCallbackIsDeferred: (file, name, argumentIndex) => this.hookDefersCallback(file, name, argumentIndex),
+        resolveComponent: (file, name) => this.resolveComponentSource(file, name),
+        resolveHook: (file, name) => this.hookComponentSource(file, name),
+        sourceFile: (file) => this.context.project.getFile(file)?.sourceFile ?? null,
+    };
+    constructor(context, importerFile) {
+        this.context = context;
+        this.importerFile = importerFile;
+    }
+    callbackPropertyIsDeferred(hookName, argumentIndex, property) {
+        return cached(this.callbackContracts, `${hookName}\0${argumentIndex}\0${property}`, () => {
+            const source = this.resolveHookDeclaration(this.importerFile, hookName);
+            return (source !== null &&
+                sourceHookDefersCallback({ source, argumentIndex, property, resolver: this.hookResolver }));
+        });
+    }
+    callbackRegistrationIsDeferred(ownerBinding, method, argumentIndex) {
+        this.deferredRegistrations ??= this.context.sourceIndex.deferredCallbackRegistrationsFor(this.importerFile);
+        return this.deferredRegistrations.get(ownerBinding)?.get(method)?.has(argumentIndex) ?? false;
+    }
+    componentArrayItemCallbackIsDeferred(componentName, propName, callbackProperty) {
+        return cached(this.arrayItemCallbackContracts, `${componentName}\0${propName}\0${callbackProperty}`, () => {
+            const source = this.resolveComponentSource(this.importerFile, componentName);
+            return (source !== null &&
+                propDefersArrayItemCallback({
+                    source,
+                    propName,
+                    callbackProp: callbackProperty,
+                    resolver: this.callbackSources,
+                }));
+        });
+    }
+    componentCallbackPropIsDeferred(componentName, propName) {
+        return cached(this.componentCallbackContracts, `${componentName}\0${propName}\0`, () => {
+            const source = this.resolveComponentSource(this.importerFile, componentName);
+            return source !== null && propCallbackIsDeferred(source, propName, this.callbackSources);
+        });
+    }
+    componentCallbackPropIsDeferredAtInvocation(componentName, propName, invocation) {
+        return cached(this.componentInvocationCallbackContracts, `${componentName}\0${propName}\0${invocation.pos}`, () => {
+            const source = this.resolveComponentSource(this.importerFile, componentName);
+            return (source !== null &&
+                propCallbackIsDeferred({ ...source, invocation }, propName, this.callbackSources));
+        });
+    }
+    componentCallbackPropRunsOnlyInReactEffect(componentName, propName) {
+        return cached(this.componentEffectCallbackContracts, `${componentName}\0${propName}`, () => {
+            const source = this.resolveComponentSource(this.importerFile, componentName);
+            return source !== null && propCallbackRunsOnlyInReactEffect(source, propName);
+        });
+    }
+    componentPropCallbackIsDeferred(componentName, propName, callbackProperty) {
+        return cached(this.componentCallbackContracts, `${componentName}\0${propName}\0${callbackProperty}`, () => {
+            const source = this.resolveComponentSource(this.importerFile, componentName);
+            return (source !== null &&
+                propObjectCallbackIsDeferred({
+                    source,
+                    propName,
+                    callbackProperty,
+                    resolver: this.callbackSources,
+                }));
+        });
+    }
+    componentPropIsLeafRenderConsumer(componentName, propName) {
+        return cached(this.leafRenderContracts, `${componentName}\0${propName}`, () => {
+            const source = this.resolveComponentSource(this.importerFile, componentName);
+            return (source !== null &&
+                propIsLeafRenderConsumer(source, propName, (file, name) => this.resolveComponentSource(file, name)));
+        });
+    }
+    contextConsumers(contextName) {
+        const consumers = [];
+        for (const [file, hookNames] of this.context.sourceIndex.contextReaderHooksFor(this.importerFile, contextName)) {
+            const sourceFile = this.context.project.getFile(file)?.sourceFile;
+            if (sourceFile) {
+                consumers.push({ file, hookNames, sourceFile });
+            }
+        }
+        return consumers;
+    }
+    contextProviderSites(contextName) {
+        return this.context.sourceIndex.contextProviderSitesFor(this.importerFile, contextName);
+    }
+    hasPlatformVariant() {
+        const match = /^(?<base>.*?)(?:\.(?:native|ios|android|web))?\.(?<extension>[cm]?[jt]sx?)$/u.exec(this.importerFile);
+        if (!match?.groups) {
+            return false;
+        }
+        const { base, extension } = match.groups;
+        return PLATFORM_VARIANTS.some((variant) => {
+            const candidate = `${base}${variant}.${extension}`;
+            return (candidate !== this.importerFile && this.context.project.getFile(candidate) !== undefined);
+        });
+    }
+    frameworkEventComponent(componentName) {
+        return this.context.sourceIndex.frameworkEventComponentFor(this.importerFile, componentName);
+    }
+    hookStateHasKeyedRowConsumer(hookName, stateProperty, setterProperty) {
+        return cached(this.keyedCursorContracts, `${hookName}\0${stateProperty}\0${setterProperty}`, () => this.hasSingleKeyedRowConsumer(hookName, stateProperty, setterProperty));
+    }
+    hookStateHasSingleLeafConsumer(hookName, members) {
+        return cached(this.leafConsumerContracts, `${hookName}\0${JSON.stringify(members)}`, () => hasSingleLeafConsumer({
+            context: this.context,
+            hookName,
+            importerFile: this.importerFile,
+            members,
+        }));
+    }
+    hookStatePresentationConsumer(hookName, members, broadOwnerJsx) {
+        const key = `${hookName}\0${JSON.stringify(members)}\0${broadOwnerJsx}`;
+        if (this.presentationConsumerContracts.has(key)) {
+            return this.presentationConsumerContracts.get(key) ?? null;
+        }
+        const consumer = findHookPresentationConsumer({
+            broadOwnerJsx,
+            context: this.context,
+            hookName,
+            importerFile: this.importerFile,
+            members,
+        });
+        this.presentationConsumerContracts.set(key, consumer);
+        return consumer;
+    }
+    pureProjectionBindings() {
+        return this.context.sourceIndex.pureProjectionsFor(this.importerFile);
+    }
+    resolveComponent(name) {
+        return this.resolveComponentSource(this.importerFile, name);
+    }
+    hookDefersCallback(file, name, argumentIndex) {
+        const source = this.resolveHookDeclaration(file, name);
+        return (source !== null &&
+            sourceHookDefersCallback({
+                source,
+                argumentIndex,
+                property: null,
+                resolver: this.hookResolver,
+            }));
+    }
+    hookComponentSource(file, name) {
+        const source = this.resolveHookDeclaration(file, name);
+        if (!source?.owner.body) {
+            return null;
+        }
+        return {
+            ...source,
+            body: source.owner.body,
+            deferredCallbackHooks: this.context.sourceIndex.deferredCallbackHooksFor(source.file),
+        };
+    }
+    resolveHookDeclaration(file, name) {
+        const key = `${file}\0${name}`;
+        const hit = this.hookDeclarations.get(key);
+        if (hit !== undefined) {
+            return hit;
+        }
+        const declaration = this.readHookDeclaration(file, name);
+        this.hookDeclarations.set(key, declaration);
+        return declaration;
+    }
+    readHookDeclaration(file, name) {
+        const resolved = this.context.sourceIndex.hookDeclarationFor(file, name);
+        const analysisFile = resolved ? this.context.project.getFile(resolved.file) : null;
+        if (!resolved || !analysisFile) {
+            return null;
+        }
+        const owner = findHookDeclaration(analysisFile.sourceFile, resolved.localName);
+        return owner ? { file: resolved.file, owner, sourceFile: analysisFile.sourceFile } : null;
+    }
+    resolveComponentSource(file, name) {
+        const key = `${file}\0${name}`;
+        const hit = this.componentSources.get(key);
+        if (hit !== undefined) {
+            return hit;
+        }
+        const source = this.readComponentSource(file, name);
+        this.componentSources.set(key, source);
+        return source;
+    }
+    readComponentSource(file, name) {
+        const resolved = this.context.sourceIndex.componentDeclarationFor(file, name);
+        const analysisFile = resolved ? this.context.project.getFile(resolved.file) : null;
+        if (!resolved || !analysisFile) {
+            return null;
+        }
+        return findComponentDeclaration({
+            deferredCallbackHooks: this.context.sourceIndex.deferredCallbackHooksFor(resolved.file),
+            file: resolved.file,
+            localName: resolved.localName,
+            sourceFile: analysisFile.sourceFile,
+        });
+    }
+    hasSingleKeyedRowConsumer(hookName, stateProperty, setterProperty) {
+        const declaration = this.context.sourceIndex.hookDeclarationFor(this.importerFile, hookName);
+        if (!declaration) {
+            return false;
+        }
+        const results = importedHookConsumers(this.context, declaration).map(({ file, hookBinding }) => keyedCursorConsumerResult({
+            sourceFile: file.sourceFile,
+            hookBinding,
+            cursorProperty: stateProperty,
+            setterProperty,
+        }));
+        return (!results.includes("unsafe") && results.filter((result) => result === "safe").length === 1);
+    }
+}
+export function createChildContractResolver(context, importerFile) {
+    return new ChildContracts(context, importerFile);
+}
+//# sourceMappingURL=child-contracts.js.map

package/dist/src/project/analyze-path/child-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"child-contracts.js","sourceRoot":"","sources":["../../../../src/project/analyze-path/child-contracts.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EACL,sBAAsB,EACtB,iCAAiC,EACjC,2BAA2B,EAC3B,wBAAwB,EACxB,4BAA4B,GAC7B,MAAM,8CAA8C,CAAC;AAGtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,sEAAsE,CAAC;AACjH,OAAO,EAAE,wBAAwB,EAAE,MAAM,kEAAkE,CAAC;AAG5G,SAAS,MAAM,CAAC,KAA2B,EAAE,GAAW,EAAE,OAAsB;IAC9E,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;IACxB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,iBAAiB,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAU,CAAC;AAE/E,MAAM,cAAc;IACD,0BAA0B,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxD,iBAAiB,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC/C,0BAA0B,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxD,gCAAgC,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9D,oCAAoC,GAAG,IAAI,GAAG,EAAmB,CAAC;IAClE,gBAAgB,GAAG,IAAI,GAAG,EAAuC,CAAC;IAClE,gBAAgB,GAAG,IAAI,GAAG,EAAwC,CAAC;IACnE,oBAAoB,GAAG,IAAI,GAAG,EAAmB,CAAC;IAClD,qBAAqB,GAAG,IAAI,GAAG,EAAmB,CAAC;IACnD,6BAA6B,GAAG,IAAI,GAAG,EAGrD,CAAC;IACa,mBAAmB,GAAG,IAAI,GAAG,EAAmB,CAAC;IACjD,OAAO,CAAkB;IACzB,YAAY,CAAS;IAC9B,qBAAqB,GAElB,IAAI,CAAC;IAEC,YAAY,GAAuB;QAClD,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC;KACrE,CAAC;IAEe,eAAe,GAAmC;QACjE,kBAAkB,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,CACxC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC;QACnE,qBAAqB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACxF,uBAAuB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CACtC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,0BAA0B,CAAC,IAAI,EAAE,IAAI,CAAC;QACjE,sBAAsB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,CACpD,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC;QACpD,gBAAgB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC;QACzE,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC;QACjE,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,IAAI,IAAI;KAC7E,CAAC;IAEF,YAAmB,OAAwB,EAAE,YAAoB;QAC/D,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;IAEM,0BAA0B,CAC/B,QAAgB,EAChB,aAAqB,EACrB,QAAgB;QAEhB,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,QAAQ,KAAK,aAAa,KAAK,QAAQ,EAAE,EAAE,GAAG,EAAE;YACvF,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YACxE,OAAO,CACL,MAAM,KAAK,IAAI;gBACf,wBAAwB,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAC3F,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,8BAA8B,CACnC,YAAoB,EACpB,MAAc,EACd,aAAqB;QAErB,IAAI,CAAC,qBAAqB,KAAK,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,gCAAgC,CACtF,IAAI,CAAC,YAAY,CAClB,CAAC;QACF,OAAO,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;IAChG,CAAC;IAEM,oCAAoC,CACzC,aAAqB,EACrB,QAAgB,EAChB,gBAAwB;QAExB,OAAO,MAAM,CACX,IAAI,CAAC,0BAA0B,EAC/B,GAAG,aAAa,KAAK,QAAQ,KAAK,gBAAgB,EAAE,EACpD,GAAG,EAAE;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;YAC7E,OAAO,CACL,MAAM,KAAK,IAAI;gBACf,2BAA2B,CAAC;oBAC1B,MAAM;oBACN,QAAQ;oBACR,YAAY,EAAE,gBAAgB;oBAC9B,QAAQ,EAAE,IAAI,CAAC,eAAe;iBAC/B,CAAC,CACH,CAAC;QACJ,CAAC,CACF,CAAC;IACJ,CAAC;IAEM,+BAA+B,CAAC,aAAqB,EAAE,QAAgB;QAC5E,OAAO,MAAM,CAAC,IAAI,CAAC,0BAA0B,EAAE,GAAG,aAAa,KAAK,QAAQ,IAAI,EAAE,GAAG,EAAE;YACrF,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;YAC7E,OAAO,MAAM,KAAK,IAAI,IAAI,sBAAsB,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,2CAA2C,CAChD,aAAqB,EACrB,QAAgB,EAChB,UAA2D;QAE3D,OAAO,MAAM,CACX,IAAI,CAAC,oCAAoC,EACzC,GAAG,aAAa,KAAK,QAAQ,KAAK,UAAU,CAAC,GAAG,EAAE,EAClD,GAAG,EAAE;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;YAC7E,OAAO,CACL,MAAM,KAAK,IAAI;gBACf,sBAAsB,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,CAClF,CAAC;QACJ,CAAC,CACF,CAAC;IACJ,CAAC;IAEM,0CAA0C,CAC/C,aAAqB,EACrB,QAAgB;QAEhB,OAAO,MAAM,CAAC,IAAI,CAAC,gCAAgC,EAAE,GAAG,aAAa,KAAK,QAAQ,EAAE,EAAE,GAAG,EAAE;YACzF,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;YAC7E,OAAO,MAAM,KAAK,IAAI,IAAI,iCAAiC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,+BAA+B,CACpC,aAAqB,EACrB,QAAgB,EAChB,gBAAwB;QAExB,OAAO,MAAM,CACX,IAAI,CAAC,0BAA0B,EAC/B,GAAG,aAAa,KAAK,QAAQ,KAAK,gBAAgB,EAAE,EACpD,GAAG,EAAE;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;YAC7E,OAAO,CACL,MAAM,KAAK,IAAI;gBACf,4BAA4B,CAAC;oBAC3B,MAAM;oBACN,QAAQ;oBACR,gBAAgB;oBAChB,QAAQ,EAAE,IAAI,CAAC,eAAe;iBAC/B,CAAC,CACH,CAAC;QACJ,CAAC,CACF,CAAC;IACJ,CAAC;IAEM,iCAAiC,CAAC,aAAqB,EAAE,QAAgB;QAC9E,OAAO,MAAM,CAAC,IAAI,CAAC,mBAAmB,EAAE,GAAG,aAAa,KAAK,QAAQ,EAAE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;YAC7E,OAAO,CACL,MAAM,KAAK,IAAI;gBACf,wBAAwB,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CACxD,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,CACxC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,gBAAgB,CAAC,WAAmB;QACzC,MAAM,SAAS,GAA4B,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAC5E,IAAI,CAAC,YAAY,EACjB,WAAW,CACZ,EAAE,CAAC;YACF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;YAClE,IAAI,UAAU,EAAE,CAAC;gBACf,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAEM,oBAAoB,CAAC,WAAmB;QAC7C,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,uBAAuB,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAC1F,CAAC;IAEM,kBAAkB;QACvB,MAAM,KAAK,GACT,8EAA8E,CAAC,IAAI,CACjF,IAAI,CAAC,YAAY,CAClB,CAAC;QACJ,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;YACnB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;QACzC,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,GAAG,IAAI,GAAG,OAAO,IAAI,SAAS,EAAE,CAAC;YACnD,OAAO,CACL,SAAS,KAAK,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,SAAS,CACzF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,uBAAuB,CAAC,aAAqB;QAClD,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,0BAA0B,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;IAC/F,CAAC;IAEM,4BAA4B,CACjC,QAAgB,EAChB,aAAqB,EACrB,cAAsB;QAEtB,OAAO,MAAM,CACX,IAAI,CAAC,oBAAoB,EACzB,GAAG,QAAQ,KAAK,aAAa,KAAK,cAAc,EAAE,EAClD,GAAG,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,QAAQ,EAAE,aAAa,EAAE,cAAc,CAAC,CAC9E,CAAC;IACJ,CAAC;IAEM,8BAA8B,CAAC,QAAgB,EAAE,OAA0B;QAChF,OAAO,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,GAAG,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CACxF,qBAAqB,CAAC;YACpB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ;YACR,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,OAAO;SACR,CAAC,CACH,CAAC;IACJ,CAAC;IAEM,6BAA6B,CAClC,QAAgB,EAChB,OAA0B,EAC1B,aAAqB;QAErB,MAAM,GAAG,GAAG,GAAG,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,aAAa,EAAE,CAAC;QACxE,IAAI,IAAI,CAAC,6BAA6B,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC,6BAA6B,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QAC7D,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC;YAC5C,aAAa;YACb,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ;YACR,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,OAAO;SACR,CAAC,CAAC;QACH,IAAI,CAAC,6BAA6B,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACtD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEM,sBAAsB;QAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACxE,CAAC;IAEM,gBAAgB,CAAC,IAAY;QAClC,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IAEO,kBAAkB,CAAC,IAAY,EAAE,IAAY,EAAE,aAAqB;QAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,OAAO,CACL,MAAM,KAAK,IAAI;YACf,wBAAwB,CAAC;gBACvB,MAAM;gBACN,aAAa;gBACb,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,IAAI,CAAC,YAAY;aAC5B,CAAC,CACH,CAAC;IACJ,CAAC;IAEO,mBAAmB,CAAC,IAAY,EAAE,IAAY;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI;YACvB,qBAAqB,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC;SACtF,CAAC;IACJ,CAAC;IAEO,sBAAsB,CAAC,IAAY,EAAE,IAAY;QACvD,MAAM,GAAG,GAAG,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAC5C,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,mBAAmB,CAAC,IAAY,EAAE,IAAY;QACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,IAAI,CAAC,QAAQ,IAAI,CAAC,YAAY,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC/E,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5F,CAAC;IAEO,sBAAsB,CAAC,IAAY,EAAE,IAAY;QACvD,MAAM,GAAG,GAAG,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,mBAAmB,CAAC,IAAY,EAAE,IAAY;QACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9E,MAAM,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,IAAI,CAAC,QAAQ,IAAI,CAAC,YAAY,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,wBAAwB,CAAC;YAC9B,qBAAqB,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,wBAAwB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACvF,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,UAAU,EAAE,YAAY,CAAC,UAAU;SACpC,CAAC,CAAC;IACL,CAAC;IAEO,yBAAyB,CAC/B,QAAgB,EAChB,aAAqB,EACrB,cAAsB;QAEtB,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC7F,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CAC7F,yBAAyB,CAAC;YACxB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,WAAW;YACX,cAAc,EAAE,aAAa;YAC7B,cAAc;SACf,CAAC,CACH,CAAC;QACF,OAAO,CACL,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAC1F,CAAC;IACJ,CAAC;CACF;AAED,MAAM,UAAU,2BAA2B,CACzC,OAAwB,EACxB,YAAoB;IAEpB,OAAO,IAAI,cAAc,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AACnD,CAAC"}

package/dist/src/project/analyze-path/coverage-stages.d.ts

@@ -0,0 +1,32 @@
+import type { AnalysisCoverageStages, AnalysisCoverageTarget } from "../analysis-coverage.js";
+import type { AnalysisFile } from "../analysis-project.js";
+import type { AnalysisContext } from "./analysis-context.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateFlowIndex } from "../state-flow/state-flow.js";
+export interface FunctionCoverageEntry {
+    node: RuntimeFunctionLike;
+    target: Extract<AnalysisCoverageTarget, {
+        kind: "function";
+    }>;
+}
+export declare function functionCoverageEntries(file: AnalysisFile, reportFileName: string): FunctionCoverageEntry[];
+interface FileCoverageInputs {
+    context: AnalysisContext;
+    file: AnalysisFile;
+    functionEntries: readonly FunctionCoverageEntry[];
+    stateFlow: StateFlowIndex;
+}
+interface FunctionCoverageInputs {
+    context: AnalysisContext;
+    file: AnalysisFile;
+    node: RuntimeFunctionLike;
+    stateFlow: StateFlowIndex;
+    target: Extract<AnalysisCoverageTarget, {
+        kind: "function";
+    }>;
+}
+export declare function analyzedFileCoverage(inputs: FileCoverageInputs): AnalysisCoverageStages;
+export declare function analyzedFunctionCoverage(inputs: FunctionCoverageInputs): AnalysisCoverageStages;
+export declare function unsupportedFileCoverage(): AnalysisCoverageStages;
+export {};
+//# sourceMappingURL=coverage-stages.d.ts.map

package/dist/src/project/analyze-path/coverage-stages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-stages.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/coverage-stages.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,sBAAsB,EACtB,sBAAsB,EACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAsB,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAIlE,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,OAAO,CAAC,sBAAsB,EAAE;QAAE,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC,CAAC;CAC/D;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,YAAY,EAClB,cAAc,EAAE,MAAM,GACrB,qBAAqB,EAAE,CAoBzB;AAqBD,UAAU,kBAAkB;IAC1B,OAAO,EAAE,eAAe,CAAC;IACzB,IAAI,EAAE,YAAY,CAAC;IACnB,eAAe,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAClD,SAAS,EAAE,cAAc,CAAC;CAC3B;AAED,UAAU,sBAAsB;IAC9B,OAAO,EAAE,eAAe,CAAC;IACzB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,mBAAmB,CAAC;IAC1B,SAAS,EAAE,cAAc,CAAC;IAC1B,MAAM,EAAE,OAAO,CAAC,sBAAsB,EAAE;QAAE,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC,CAAC;CAC/D;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,kBAAkB,GAAG,sBAAsB,CAwBvF;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,CAgC/F;AA4ED,wBAAgB,uBAAuB,IAAI,sBAAsB,CAuBhE"}

package/dist/src/project/analyze-path/coverage-stages.js

@@ -0,0 +1,111 @@
+import { isRuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export function functionCoverageEntries(file, reportFileName) {
+    const entries = [];
+    const { sourceFile } = file;
+    const visit = (node) => {
+        if (isRuntimeFunctionLike(node) && node.body) {
+            entries.push({
+                node,
+                target: {
+                    end: node.end,
+                    file: reportFileName,
+                    kind: "function",
+                    name: runtimeFunctionName(node),
+                    start: node.getStart(sourceFile),
+                },
+            });
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return entries;
+}
+function runtimeFunctionName(node) {
+    if (ts.isConstructorDeclaration(node)) {
+        return "constructor";
+    }
+    if (node.name) {
+        return node.name.getText(node.getSourceFile());
+    }
+    const { parent } = node;
+    return ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name) ? parent.name.text : null;
+}
+function outcome(status, code, message) {
+    return { reason: { code, message }, status };
+}
+export function analyzedFileCoverage(inputs) {
+    const { context, file, functionEntries, stateFlow } = inputs;
+    const recovered = file.parserDiagnostics.length > 0;
+    return {
+        detector: recovered
+            ? outcome("unknown", "detector-recovery-uncertain", "Detectors ran, but results in recovered source regions are not trusted as complete.")
+            : outcome("analyzed", "detectors-complete", "All current source detectors ran on the cached AST."),
+        lowering: boundedFlowCoverage(recovered ? "unknown" : aggregateStateFlowCoverage(functionEntries, stateFlow), "file"),
+        parser: recovered
+            ? outcome("analyzed", "parser-recovered", "The parser recovered with reported diagnostics.")
+            : outcome("analyzed", "parser-complete", "The source parsed without recovery diagnostics."),
+        semantic: semanticCoverage(file, context),
+    };
+}
+export function analyzedFunctionCoverage(inputs) {
+    const { context, file, node, stateFlow, target } = inputs;
+    const recovered = file.parserDiagnostics.some((diagnostic) => diagnosticAffectsTarget(diagnostic, target));
+    const fileRecovered = file.parserDiagnostics.length > 0;
+    return {
+        detector: fileRecovered
+            ? outcome("unknown", "detector-recovery-uncertain", "Detectors ran, but file-wide facts from recovered source make function results uncertain.")
+            : outcome("analyzed", "detectors-complete", "All current source detectors ran on this cached function AST."),
+        lowering: boundedFlowCoverage(recovered ? "unknown" : stateFlow.coverageFor(node), "function"),
+        parser: recovered
+            ? outcome("analyzed", "parser-recovered-in-function", "The parser recovered within this function range.")
+            : outcome("analyzed", "parser-complete", "No parser recovery diagnostic overlaps this function."),
+        semantic: semanticCoverage(file, context),
+    };
+}
+function aggregateStateFlowCoverage(entries, stateFlow) {
+    const outcomes = new Set(entries.map((entry) => stateFlow.coverageFor(entry.node)));
+    if (outcomes.has("unknown")) {
+        return "unknown";
+    }
+    return outcomes.has("complete") ? "complete" : "not-requested";
+}
+function boundedFlowCoverage(coverage, scope) {
+    if (coverage === "complete") {
+        return outcome("analyzed", "bounded-flow-complete", `Every requested bounded state-flow proof in this ${scope} completed.`);
+    }
+    if (coverage === "unknown") {
+        return outcome("unknown", "bounded-flow-uncertain", `At least one bounded state-flow proof in this ${scope} encountered unsupported or recovered control flow.`);
+    }
+    return outcome("skipped", "bounded-flow-not-requested", `No detector requested a bounded state-flow proof in this ${scope}.`);
+}
+function diagnosticAffectsTarget(diagnostic, target) {
+    if (diagnostic.start === null || diagnostic.length === null) {
+        return true;
+    }
+    if (diagnostic.length === 0) {
+        return diagnostic.start >= target.start && diagnostic.start <= target.end;
+    }
+    const end = diagnostic.start + diagnostic.length;
+    return diagnostic.start < target.end && end > target.start;
+}
+function semanticCoverage(file, context) {
+    if (context.semanticContext?.getSourceFile(file)) {
+        return outcome("analyzed", "semantic-complete", "Semantic facts are available from the selected tsconfig shard.");
+    }
+    if (context.semanticContext) {
+        return outcome("unknown", "semantic-file-not-owned", "The selected semantic shard does not own this file.");
+    }
+    return context.semanticDiagnostics.length > 0
+        ? outcome("unknown", "semantic-unavailable", "The requested semantic context could not be created.")
+        : outcome("skipped", "semantic-not-requested", "Semantic project analysis was not requested.");
+}
+export function unsupportedFileCoverage() {
+    return {
+        detector: outcome("unsupported", "unsupported-extension", "This file extension is not supported."),
+        lowering: outcome("unsupported", "unsupported-extension", "This file extension is not supported."),
+        parser: outcome("unsupported", "unsupported-extension", "This file extension is not supported."),
+        semantic: outcome("unsupported", "unsupported-extension", "This file extension is not supported."),
+    };
+}
+//# sourceMappingURL=coverage-stages.js.map

package/dist/src/project/analyze-path/coverage-stages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-stages.js","sourceRoot":"","sources":["../../../../src/project/analyze-path/coverage-stages.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,MAAM,UAAU,uBAAuB,CACrC,IAAkB,EAClB,cAAsB;IAEtB,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI;gBACJ,MAAM,EAAE;oBACN,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,mBAAmB,CAAC,IAAI,CAAC;oBAC/B,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;iBACjC;aACF,CAAC,CAAC;QACL,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAyB;IACpD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACpG,CAAC;AAED,SAAS,OAAO,CACd,MAAyC,EACzC,IAAY,EACZ,OAAe;IAEf,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC;AAC/C,CAAC;AAiBD,MAAM,UAAU,oBAAoB,CAAC,MAA0B;IAC7D,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;IACpD,OAAO;QACL,QAAQ,EAAE,SAAS;YACjB,CAAC,CAAC,OAAO,CACL,SAAS,EACT,6BAA6B,EAC7B,qFAAqF,CACtF;YACH,CAAC,CAAC,OAAO,CACL,UAAU,EACV,oBAAoB,EACpB,qDAAqD,CACtD;QACL,QAAQ,EAAE,mBAAmB,CAC3B,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,CAAC,eAAe,EAAE,SAAS,CAAC,EAC9E,MAAM,CACP;QACD,MAAM,EAAE,SAAS;YACf,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,kBAAkB,EAAE,iDAAiD,CAAC;YAC5F,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,iBAAiB,EAAE,iDAAiD,CAAC;QAC7F,QAAQ,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAA8B;IACrE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAC3D,uBAAuB,CAAC,UAAU,EAAE,MAAM,CAAC,CAC5C,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;IACxD,OAAO;QACL,QAAQ,EAAE,aAAa;YACrB,CAAC,CAAC,OAAO,CACL,SAAS,EACT,6BAA6B,EAC7B,2FAA2F,CAC5F;YACH,CAAC,CAAC,OAAO,CACL,UAAU,EACV,oBAAoB,EACpB,+DAA+D,CAChE;QACL,QAAQ,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;QAC9F,MAAM,EAAE,SAAS;YACf,CAAC,CAAC,OAAO,CACL,UAAU,EACV,8BAA8B,EAC9B,kDAAkD,CACnD;YACH,CAAC,CAAC,OAAO,CACL,UAAU,EACV,iBAAiB,EACjB,uDAAuD,CACxD;QACL,QAAQ,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAyC,EACzC,SAAyB;IAEzB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC;AACjE,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAA2B,EAC3B,KAA0B;IAE1B,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;QAC5B,OAAO,OAAO,CACZ,UAAU,EACV,uBAAuB,EACvB,oDAAoD,KAAK,aAAa,CACvE,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,OAAO,CACZ,SAAS,EACT,wBAAwB,EACxB,iDAAiD,KAAK,qDAAqD,CAC5G,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CACZ,SAAS,EACT,4BAA4B,EAC5B,4DAA4D,KAAK,GAAG,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAA8B,EAC9B,MAA6D;IAE7D,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC;IAC5E,CAAC;IACD,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC;IACjD,OAAO,UAAU,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC;AAC7D,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB,EAAE,OAAwB;IACpE,IAAI,OAAO,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,OAAO,OAAO,CACZ,UAAU,EACV,mBAAmB,EACnB,gEAAgE,CACjE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC5B,OAAO,OAAO,CACZ,SAAS,EACT,yBAAyB,EACzB,qDAAqD,CACtD,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QAC3C,CAAC,CAAC,OAAO,CACL,SAAS,EACT,sBAAsB,EACtB,sDAAsD,CACvD;QACH,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,wBAAwB,EAAE,8CAA8C,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,QAAQ,EAAE,OAAO,CACf,aAAa,EACb,uBAAuB,EACvB,uCAAuC,CACxC;QACD,QAAQ,EAAE,OAAO,CACf,aAAa,EACb,uBAAuB,EACvB,uCAAuC,CACxC;QACD,MAAM,EAAE,OAAO,CACb,aAAa,EACb,uBAAuB,EACvB,uCAAuC,CACxC;QACD,QAAQ,EAAE,OAAO,CACf,aAAa,EACb,uBAAuB,EACvB,uCAAuC,CACxC;KACF,CAAC;AACJ,CAAC"}

package/dist/src/project/analyze-path/hook-consumer-index.d.ts

@@ -0,0 +1,11 @@
+import type { AnalysisContext } from "./analysis-context.js";
+import type { AnalysisFile } from "../analysis-project.js";
+import type { ResolvedSymbol } from "../source-components/model.js";
+interface HookConsumerBinding {
+    readonly file: AnalysisFile;
+    readonly hookBinding: string;
+}
+export declare function importedHookConsumers(context: AnalysisContext, declaration: ResolvedSymbol): readonly HookConsumerBinding[];
+export declare function hookConsumers(context: AnalysisContext, declaration: ResolvedSymbol): readonly HookConsumerBinding[];
+export {};
+//# sourceMappingURL=hook-consumer-index.d.ts.map

package/dist/src/project/analyze-path/hook-consumer-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-consumer-index.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/hook-consumer-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAKpE,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAQD,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,cAAc,GAC1B,SAAS,mBAAmB,EAAE,CAOhC;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,cAAc,GAC1B,SAAS,mBAAmB,EAAE,CAchC"}

package/dist/src/project/analyze-path/hook-consumer-index.js

@@ -0,0 +1,53 @@
+import { importedHookBindings } from "./source-declarations.js";
+import { isNonProductionHarness } from "../../core/ast.js";
+import { pathIdentityKey } from "../../core/path-identity.js";
+// Context identity owns the snapshot: a new scan never reuses old files or resolutions.
+const consumersByContext = new WeakMap();
+export function importedHookConsumers(context, declaration) {
+    let index = consumersByContext.get(context);
+    if (!index) {
+        index = buildHookConsumerIndex(context);
+        consumersByContext.set(context, index);
+    }
+    return index.get(symbolKey(declaration)) ?? [];
+}
+export function hookConsumers(context, declaration) {
+    const imported = importedHookConsumers(context, declaration);
+    const file = context.project.getFile(declaration.file);
+    if (!file || isNonProductionHarness(file.originalPath)) {
+        return imported;
+    }
+    // Preserve project-file order, with local reads after imports from the same file.
+    const nextFile = imported.findIndex((consumer) => consumer.file.identityPath > file.identityPath);
+    const consumers = [...imported];
+    consumers.splice(nextFile === -1 ? consumers.length : nextFile, 0, {
+        file,
+        hookBinding: declaration.localName,
+    });
+    return consumers;
+}
+function buildHookConsumerIndex(context) {
+    const index = new Map();
+    for (const file of context.project.files) {
+        if (isNonProductionHarness(file.originalPath)) {
+            continue;
+        }
+        for (const hookBinding of importedHookBindings(file.sourceFile)) {
+            indexConsumer(context, index, { file, hookBinding });
+        }
+    }
+    return index;
+}
+function indexConsumer(context, index, consumer) {
+    const declaration = context.sourceIndex.hookDeclarationFor(consumer.file.identityPath, consumer.hookBinding);
+    if (declaration) {
+        const key = symbolKey(declaration);
+        const consumers = index.get(key) ?? [];
+        consumers.push(consumer);
+        index.set(key, consumers);
+    }
+}
+function symbolKey(declaration) {
+    return `${pathIdentityKey(declaration.file)}\0${declaration.localName}`;
+}
+//# sourceMappingURL=hook-consumer-index.js.map

package/dist/src/project/analyze-path/hook-consumer-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-consumer-index.js","sourceRoot":"","sources":["../../../../src/project/analyze-path/hook-consumer-index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAO9D,wFAAwF;AACxF,MAAM,kBAAkB,GAAG,IAAI,OAAO,EAGnC,CAAC;AAEJ,MAAM,UAAU,qBAAqB,CACnC,OAAwB,EACxB,WAA2B;IAE3B,IAAI,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QACxC,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAwB,EACxB,WAA2B;IAE3B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,IAAI,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QACvD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,kFAAkF;IAClF,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IAClG,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;IAChC,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE;QACjE,IAAI;QACJ,WAAW,EAAE,WAAW,CAAC,SAAS;KACnC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAwB;IAExB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACzC,IAAI,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAChE,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,OAAwB,EACxB,KAAyC,EACzC,QAA6B;IAE7B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,kBAAkB,CACxD,QAAQ,CAAC,IAAI,CAAC,YAAY,EAC1B,QAAQ,CAAC,WAAW,CACrB,CAAC;IACF,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACvC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,WAA2B;IAC5C,OAAO,GAAG,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,SAAS,EAAE,CAAC;AAC1E,CAAC"}

package/dist/src/project/analyze-path/hook-consumers.d.ts

@@ -0,0 +1,15 @@
+import type { HookPresentationConsumer, HookReturnMembers } from "../../rules/child-contract/model.js";
+import type { AnalysisContext } from "./analysis-context.js";
+interface HookConsumerQuery {
+    readonly context: AnalysisContext;
+    readonly hookName: string;
+    readonly importerFile: string;
+    readonly members: HookReturnMembers;
+}
+interface PresentationConsumerQuery extends HookConsumerQuery {
+    readonly broadOwnerJsx: number;
+}
+export declare function hasSingleLeafConsumer(query: HookConsumerQuery): boolean;
+export declare function findHookPresentationConsumer(query: PresentationConsumerQuery): HookPresentationConsumer | null;
+export {};
+//# sourceMappingURL=hook-consumers.d.ts.map

package/dist/src/project/analyze-path/hook-consumers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-consumers.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/hook-consumers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,wBAAwB,EACxB,iBAAiB,EAClB,MAAM,qCAAqC,CAAC;AAK7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAG7D,UAAU,iBAAiB;IACzB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED,UAAU,yBAA0B,SAAQ,iBAAiB;IAC3D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAYvE;AAED,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,yBAAyB,GAC/B,wBAAwB,GAAG,IAAI,CAgCjC"}

package/dist/src/project/analyze-path/hook-consumers.js

@@ -0,0 +1,42 @@
+import { hookConsumerResult, hookPresentationConsumerResult, } from "../../rules/hook-consumer-contract/hook-consumer-contract.js";
+import { hookConsumers } from "./hook-consumer-index.js";
+export function hasSingleLeafConsumer(query) {
+    const declaration = query.context.sourceIndex.hookDeclarationFor(query.importerFile, query.hookName);
+    if (!declaration) {
+        return false;
+    }
+    const results = hookConsumers(query.context, declaration).map(({ file, hookBinding }) => hookConsumerResult({ hookBinding, members: query.members, sourceFile: file.sourceFile }));
+    return !results.includes("unsafe") && results.filter((result) => result === "leaf").length === 1;
+}
+export function findHookPresentationConsumer(query) {
+    const declaration = query.context.sourceIndex.hookDeclarationFor(query.importerFile, query.hookName);
+    if (!declaration) {
+        return null;
+    }
+    const results = hookConsumers(query.context, declaration).map(({ file, hookBinding }) => hookPresentationConsumerResult({
+        broadOwnerJsx: query.broadOwnerJsx,
+        hookBinding,
+        members: query.members,
+        pureProjectionImports: query.context.sourceIndex.pureProjectionsFor(file.identityPath),
+        sourceFile: file.sourceFile,
+    }));
+    if (results.includes("unsafe")) {
+        return null;
+    }
+    const consumers = results.filter((result) => isPresentationConsumer(result));
+    return consumers.length === 0
+        ? null
+        : {
+            consumerNames: [
+                ...new Set(consumers.flatMap((consumer) => consumer.consumerNames)),
+            ].toSorted(),
+            derivedBindings: [
+                ...new Set(consumers.flatMap((consumer) => consumer.derivedBindings)),
+            ].toSorted(),
+            renderSites: consumers.reduce((total, consumer) => total + consumer.renderSites, 0),
+        };
+}
+function isPresentationConsumer(result) {
+    return result !== "unsafe" && result !== "none";
+}
+//# sourceMappingURL=hook-consumers.js.map

package/dist/src/project/analyze-path/hook-consumers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-consumers.js","sourceRoot":"","sources":["../../../../src/project/analyze-path/hook-consumers.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,kBAAkB,EAClB,8BAA8B,GAC/B,MAAM,8DAA8D,CAAC;AAEtE,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAazD,MAAM,UAAU,qBAAqB,CAAC,KAAwB;IAC5D,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAC9D,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,QAAQ,CACf,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CACtF,kBAAkB,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CACzF,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAAgC;IAEhC,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAC9D,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,QAAQ,CACf,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CACtF,8BAA8B,CAAC;QAC7B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,WAAW;QACX,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,qBAAqB,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC;QACtF,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC,CACH,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7E,OAAO,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,aAAa,EAAE;gBACb,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;aACpE,CAAC,QAAQ,EAAE;YACZ,eAAe,EAAE;gBACf,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;aACtE,CAAC,QAAQ,EAAE;YACZ,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;SACpF,CAAC;AACR,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAyD;IAEzD,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM,CAAC;AAClD,CAAC"}

package/dist/src/project/analyze-path/source-declarations.d.ts

@@ -0,0 +1,14 @@
+import type { ChildComponentSource } from "../../rules/child-contract/model.js";
+import type { SourceHookDeclaration } from "../../rules/source-callback-contract/model.js";
+import ts from "typescript";
+interface ComponentDeclarationQuery {
+    deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>;
+    file: string;
+    localName: string;
+    sourceFile: ts.SourceFile;
+}
+export declare function importedHookBindings(sourceFile: ts.SourceFile): readonly string[];
+export declare function findHookDeclaration(sourceFile: ts.SourceFile, localName: string): SourceHookDeclaration["owner"] | null;
+export declare function findComponentDeclaration(query: ComponentDeclarationQuery): ChildComponentSource | null;
+export {};
+//# sourceMappingURL=source-declarations.d.ts.map

package/dist/src/project/analyze-path/source-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-declarations.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/source-declarations.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAEhF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+CAA+C,CAAC;AAC3F,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,UAAU,yBAAyB;IACjC,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CAC3B;AAED,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,MAAM,EAAE,CAEjF;AAqBD,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,MAAM,GAChB,qBAAqB,CAAC,OAAO,CAAC,GAAG,IAAI,CAQvC;AAsCD,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,yBAAyB,GAC/B,oBAAoB,GAAG,IAAI,CAS7B"}