arkgate 4.8.23 → 4.8.25

package/bin/lib/ark-run-facts.mjs

@@ -8,12 +8,40 @@
  * Pure CLI helper (bin/lib/ark-run-facts.mjs). Zero Node I/O.
  */
 
+import { DEFAULT_INTENT_PREFIXES, effectiveIntentPrefixes, looksLikeArkIntent } from './source-policy.mjs';
+/** Closed factory names from ADR 0022 `arkrun-missing-root`. */
 export const ARKRUN_KERNEL_FACTORY_CALLEES = [
     'createArkKernel',
     'createStrictArkKernel',
+    'createLenientArkKernel',
     'createArkKernelFromConfig',
     'createStrictArkKernelFromConfig',
+    'createLenientArkKernelFromConfig',
 ];
+/**
+ * NestJS adapter factory sites: `ArkModule.forRoot()` / `ArkModule.forRootAsync()`
+ * count as a kernel factory only when `ArkModule` is imported from a kernel module
+ * (`arkgate/nestjs`). A bare `.forRoot(` on any other receiver never counts.
+ */
+const ARKRUN_NEST_KERNEL_MODULE = 'ArkModule';
+const ARKRUN_NEST_FACTORY_METHODS = ['forRoot', 'forRootAsync'];
+/**
+ * Kernel types whose annotated bindings (`ark: ArkKernel`, constructor-injected
+ * `private readonly ark: ArkKernel`) are traced as kernel receivers when the type
+ * is imported from a kernel module.
+ */
+const ARKRUN_KERNEL_RECEIVER_TYPES = [
+    'ArkKernel',
+    'EventBus',
+    'EventPublisher',
+    'ArkRunPublisher',
+];
+/** Kernel members that still reach the kernel's interaction API (`ark.eventBus.publish`). */
+const KERNEL_TRANSIT_MEMBERS = new Set(['eventBus']);
+/** Members whose value is a kernel-bound interaction object (`const pub = ark.publisher(..)`). */
+const KERNEL_DERIVED_MEMBERS = new Set(['publisher', 'eventBus']);
+const NEST_FACTORY_METHODS = new Set(ARKRUN_NEST_FACTORY_METHODS);
+const RECEIVER_TYPES = new Set(ARKRUN_KERNEL_RECEIVER_TYPES);
 /** Closed interaction callees from ADR 0022 undeclared-emit/handle/depend. */
 export const ARKRUN_KERNEL_INTERACTION_CALLEES = [
     'publisher',
@@ -91,7 +119,48 @@ export function isArkRunKernelModuleSpecifier(specifier) {
     return (specifier === '@arkgate/runtime' ||
         specifier.startsWith('@arkgate/runtime/') ||
         specifier === 'arkgate/runtime' ||
-        specifier.startsWith('arkgate/runtime/'));
+        specifier.startsWith('arkgate/runtime/') ||
+        // NestJS adapter re-exports the kernel (ArkModule, InjectArk, ArkKernel).
+        specifier === 'arkgate/nestjs' ||
+        specifier.startsWith('arkgate/nestjs/'));
+}
+function stripScriptExtension(path) {
+    return path.replace(/\.(?:[cm]?[jt]sx?)$/i, '');
+}
+function joinRelative(fromFile, specifier) {
+    const parts = fromFile.replace(/\\/g, '/').split('/');
+    parts.pop();
+    for (const piece of specifier.split('/')) {
+        if (piece === '' || piece === '.')
+            continue;
+        if (piece === '..')
+            parts.pop();
+        else
+            parts.push(piece);
+    }
+    return parts.join('/');
+}
+/**
+ * Pure predicate: does a relative `specifier` imported from `fromFile` point at
+ * one of the ArkRun kernel/composition roots? Identifiers imported from such a
+ * module are traced as kernel receivers (an `ark` binding imported from a relative `../main`).
+ */
+export function createArkRunKernelRootSpecifierMatcher(fromFile, roots) {
+    return (specifier) => {
+        if (!specifier.startsWith('.'))
+            return false;
+        const target = stripScriptExtension(joinRelative(fromFile, specifier));
+        return roots.some((root) => {
+            const pattern = root.replace(/\\/g, '/');
+            const star = pattern.indexOf('*');
+            if (star >= 0) {
+                const prefix = pattern.slice(0, star).replace(/\/$/, '');
+                return prefix.length > 0 && (target === prefix || target.startsWith(`${prefix}/`));
+            }
+            const exact = stripScriptExtension(pattern);
+            return exact === target || exact === `${target}/index`;
+        });
+    };
 }
 /**
  * Closed broker / queue / emitter specifiers for `arkrun-transport-bypass`
@@ -241,21 +310,33 @@ export function extractArkRunValueImportDependenciesFromSource(file, content) {
     }
     return out;
 }
+/**
+ * Value bindings of a braced import list (`{ A, B as C }`): local name plus the
+ * imported (original) name. Inline `type` specifiers are skipped.
+ */
+function bracedValueImportBindings(clause) {
+    const braced = /\{([^}]*)\}/.exec(clause);
+    if (!braced?.[1])
+        return [];
+    const out = [];
+    for (const part of braced[1].split(',')) {
+        const piece = part.trim();
+        if (!piece || piece.startsWith('type '))
+            continue;
+        const alias = /^([A-Za-z_][A-Za-z0-9_]*)\s+as\s+([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece);
+        const local = alias?.[2] ?? /^([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece)?.[1];
+        const original = alias?.[1] ?? local;
+        if (local && original)
+            out.push({ local, original });
+    }
+    return out;
+}
 /** PascalCase named bindings from value import clauses (snippet admitted constructors). */
 export function extractArkRunImportedConstructorNamesFromSource(content) {
     const names = [];
     forEachArkRunValueImportClause(content, (clause) => {
-        const braced = /\{([^}]*)\}/.exec(clause);
-        if (!braced?.[1])
-            return;
-        for (const part of braced[1].split(',')) {
-            const piece = part.trim();
-            if (!piece || piece.startsWith('type '))
-                continue;
-            const alias = /^([A-Za-z_][A-Za-z0-9_]*)\s+as\s+([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece);
-            const local = alias?.[2] ?? /^([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece)?.[1];
-            const original = alias?.[1] ?? local;
-            if (local && original && /^[A-Z]/.test(original))
+        for (const { local, original } of bracedValueImportBindings(clause)) {
+            if (/^[A-Z]/.test(original))
                 names.push(local, original);
         }
     });
@@ -273,21 +354,8 @@ function collectKernelImportBindings(content) {
         const defaultIdent = /^([A-Za-z_][A-Za-z0-9_]*)\s*(?:,|$)/.exec(clause.trim());
         if (defaultIdent?.[1])
             named.set(defaultIdent[1], defaultIdent[1]);
-        const braced = /\{([^}]*)\}/.exec(clause);
-        if (!braced?.[1])
-            return;
-        for (const part of braced[1].split(',')) {
-            const piece = part.trim();
-            if (!piece || piece.startsWith('type '))
-                continue;
-            const alias = /^([A-Za-z_][A-Za-z0-9_]*)\s+as\s+([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece);
-            if (alias) {
-                named.set(alias[2], alias[1]);
-                continue;
-            }
-            const ident = /^([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece);
-            if (ident?.[1])
-                named.set(ident[1], ident[1]);
+        for (const { local, original } of bracedValueImportBindings(clause)) {
+            named.set(local, original);
         }
     });
     return { named, namespaces };
@@ -295,17 +363,8 @@ function collectKernelImportBindings(content) {
 function collectImportedConstructors(content, admitted) {
     const out = new Set(admitted);
     parseValueImportClause(content, (clause, specifier) => {
-        const braced = /\{([^}]*)\}/.exec(clause);
-        if (!braced?.[1])
-            return;
-        for (const part of braced[1].split(',')) {
-            const piece = part.trim();
-            if (!piece || piece.startsWith('type '))
-                continue;
-            const alias = /^([A-Za-z_][A-Za-z0-9_]*)\s+as\s+([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece);
-            const local = alias?.[2] ?? /^([A-Za-z_][A-Za-z0-9_]*)$/.exec(piece)?.[1];
-            const original = alias?.[1] ?? local;
-            if (!local || !original || !/^[A-Z]/.test(original))
+        for (const { local, original } of bracedValueImportBindings(clause)) {
+            if (!/^[A-Z]/.test(original))
                 continue;
             if (isArkRunKernelModuleSpecifier(specifier) || admitted.has(original) || admitted.has(local)) {
                 out.add(local);
@@ -323,9 +382,347 @@ function importedFromForName(content, localName) {
     });
     return found;
 }
-export function extractArkRunKernelCallsFromSource(file, content) {
+/** Locals of kernel receiver types imported (value or type-only) from a kernel module. */
+function collectKernelTypeNames(source) {
+    const out = new Set();
+    const importRe = /\bimport\s+(?:type\s+)?([\s\S]*?)\s+from\s*['"]([^'"]+)['"]/g;
+    let match;
+    while ((match = importRe.exec(source)) !== null) {
+        if (!isArkRunKernelModuleSpecifier(match[2] ?? ''))
+            continue;
+        const braced = /\{([^}]*)\}/.exec(match[1] ?? '');
+        if (!braced?.[1])
+            continue;
+        for (const part of braced[1].split(',')) {
+            const piece = part.trim().replace(/^type\s+/, '');
+            const alias = /^([A-Za-z_$][\w$]*)\s+as\s+([A-Za-z_$][\w$]*)$/.exec(piece);
+            const original = alias?.[1] ?? piece;
+            const local = alias?.[2] ?? piece;
+            if (RECEIVER_TYPES.has(original))
+                out.add(local);
+        }
+    }
+    return out;
+}
+function isFactoryCalleeExpression(expression, bindings) {
+    const parts = expression.split('.');
+    if (parts.length === 2) {
+        return bindings.namespaces.has(parts[0]) && FACTORY_CALLEES.has(parts[1]);
+    }
+    if (parts.length !== 1)
+        return false;
+    const original = bindings.named.get(parts[0]);
+    return original !== undefined && FACTORY_CALLEES.has(original);
+}
+function addRootModuleImports(source, isKernelRootSpecifier, receivers, rootNamespaces) {
+    parseValueImportClause(source, (clause, specifier) => {
+        if (!isKernelRootSpecifier(specifier))
+            return;
+        const namespace = /\*\s+as\s+([A-Za-z_$][\w$]*)/.exec(clause);
+        if (namespace?.[1]) {
+            receivers.add(namespace[1]);
+            rootNamespaces?.add(namespace[1]);
+        }
+        const defaultIdent = /^([A-Za-z_$][\w$]*)\s*(?:,|$)/.exec(clause.trim());
+        if (defaultIdent?.[1])
+            receivers.add(defaultIdent[1]);
+        const braced = /\{([^}]*)\}/.exec(clause);
+        for (const part of braced?.[1]?.split(',') ?? []) {
+            const piece = part.trim();
+            if (!piece || piece.startsWith('type '))
+                continue;
+            const local = /([A-Za-z_$][\w$]*)$/.exec(piece)?.[1];
+            if (local)
+                receivers.add(local);
+        }
+    });
+}
+/** Derived bindings to a fixpoint: `const pub = ark.publisher(..)`, `{ eventBus, send } = ark`. */
+function addDerivedReceivers(source, trace) {
+    const { receivers, calleeBindings } = trace;
+    const derived = /\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*(?::[^=;]+)?=\s*(?:await\s+)?(?:this\s*\.\s*)?([A-Za-z_$][\w$]*)\s*\.\s*([A-Za-z_$][\w$]*)\b/g;
+    const destructured = /\b(?:const|let|var)\s*\{([^}]*)\}\s*=\s*(?:this\s*\.\s*)?([A-Za-z_$][\w$]*)\s*[;\n)]/g;
+    // Plain aliasing: `const kernel = ark;`, `this.kernel = ark;`, `kernel = this.ark;`.
+    const aliased = /(?:\b(?:const|let|var)\s+|\bthis\s*\.\s*|(?:^|[;{}\n])\s*)([A-Za-z_$][\w$]*)\s*(?::[^=;]+)?(?<![=!<>])=(?![=>])\s*(?:this\s*\.\s*)?([A-Za-z_$][\w$]*)\s*(?:as\s+[A-Za-z_$][\w$.<>]*\s*)?(?=[;\n,)])/g;
+    // `kernel: typeof ark` (parameters, fields) — the binding has the kernel's type.
+    const typeofBound = /([A-Za-z_$][\w$]*)\s*\??\s*:\s*typeof\s+([A-Za-z_$][\w$]*)\b/g;
+    let match;
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const re of [aliased, typeofBound]) {
+            re.lastIndex = 0;
+            while ((match = re.exec(source)) !== null) {
+                if (!receivers.has(match[2]) || receivers.has(match[1]))
+                    continue;
+                receivers.add(match[1]);
+                changed = true;
+            }
+        }
+        derived.lastIndex = 0;
+        while ((match = derived.exec(source)) !== null) {
+            if (!receivers.has(match[2]))
+                continue;
+            // `const k = main.ark` on a root namespace is a named-import equivalent.
+            if (!KERNEL_DERIVED_MEMBERS.has(match[3]) && !trace.rootNamespaces.has(match[2])) {
+                continue;
+            }
+            if (receivers.has(match[1]))
+                continue;
+            receivers.add(match[1]);
+            changed = true;
+        }
+        destructured.lastIndex = 0;
+        while ((match = destructured.exec(source)) !== null) {
+            if (!receivers.has(match[2]))
+                continue;
+            for (const part of match[1].split(',')) {
+                const pair = /^\s*([A-Za-z_$][\w$]*)\s*(?::\s*([A-Za-z_$][\w$]*))?\s*$/.exec(part);
+                if (!pair)
+                    continue;
+                const member = pair[1];
+                const local = pair[2] ?? member;
+                if (KERNEL_TRANSIT_MEMBERS.has(member)) {
+                    if (receivers.has(local))
+                        continue;
+                    receivers.add(local);
+                    changed = true;
+                }
+                else if (arkRunKernelCallKind(member) && !FACTORY_CALLEES.has(member)) {
+                    calleeBindings.add(local);
+                }
+            }
+        }
+    }
+}
+/**
+ * Deterministic kernel-receiver trace (ADR 0022 D1): a non-factory interaction is
+ * a kernel call only when its receiver provably reaches the kernel. Matching on a
+ * method name alone (`res.send`, `require.resolve`, `subject.subscribe`) is not
+ * evidence.
+ */
+function traceKernelReceivers(source, bindings, isKernelRootSpecifier) {
+    const trace = {
+        receivers: new Set(),
+        calleeBindings: new Set(),
+        rootNamespaces: new Set(),
+    };
+    if (isKernelRootSpecifier) {
+        addRootModuleImports(source, isKernelRootSpecifier, trace.receivers, trace.rootNamespaces);
+    }
+    const factoryBound = /\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*(?::[^=;]+)?=\s*(?:await\s+)?((?:[A-Za-z_$][\w$]*\s*\.\s*)?[A-Za-z_$][\w$]*)\s*(?:<[^>]*>)?\s*\(/g;
+    let match;
+    while ((match = factoryBound.exec(source)) !== null) {
+        if (isFactoryCalleeExpression(match[2].replace(/\s+/g, ''), bindings)) {
+            trace.receivers.add(match[1]);
+        }
+    }
+    const typeNames = collectKernelTypeNames(source);
+    if (typeNames.size > 0) {
+        const annotated = /([A-Za-z_$][\w$]*)\s*\??\s*:\s*(?:Readonly\s*<\s*)?([A-Za-z_$][\w$]*)\b/g;
+        while ((match = annotated.exec(source)) !== null) {
+            if (typeNames.has(match[2]))
+                trace.receivers.add(match[1]);
+        }
+    }
+    addDerivedReceivers(source, trace);
+    return trace;
+}
+/** Index of the `(` matching the `)` at `closeIndex`, or -1. */
+function matchingOpenParen(source, closeIndex) {
+    let depth = 0;
+    for (let i = closeIndex; i >= 0; i -= 1) {
+        const ch = source[i];
+        if (ch === ')')
+            depth += 1;
+        else if (ch === '(') {
+            depth -= 1;
+            if (depth === 0)
+                return i;
+        }
+    }
+    return -1;
+}
+function chainParts(text) {
+    const parts = text
+        .split('.')
+        .map((part) => part.trim())
+        .filter((part) => part.length > 0);
+    return parts[0] === 'this' ? parts.slice(1) : parts;
+}
+/**
+ * Member chain before a call (`this.ark.eventBus.publish(` → [ark, eventBus]).
+ * A chained `ark.publisher('S').send(..)` yields the `publisher` call's chain.
+ */
+function receiverChainBefore(source, index) {
+    const head = source.slice(Math.max(0, index - 400), index);
+    const dotted = /((?:[A-Za-z_$][\w$]*\s*\??\.\s*)+)$/.exec(head);
+    if (dotted?.[1]) {
+        const before = head.slice(0, head.length - dotted[1].length);
+        // `a[0].send(` / `fn().send(`: the chain root is not a plain identifier.
+        if (/[)\]]\s*$/.test(before) || /\.\s*$/.test(before)) {
+            return { parts: ['<expr>'], viaPublisherCall: false };
+        }
+        return { parts: chainParts(dotted[1].replace(/\?/g, '')), viaPublisherCall: false };
+    }
+    const chained = /\)\s*\??\.\s*$/.exec(head);
+    if (!chained)
+        return undefined;
+    const closeIndex = index - head.length + chained.index;
+    const openIndex = matchingOpenParen(source, closeIndex);
+    if (openIndex < 0)
+        return { parts: ['<expr>'], viaPublisherCall: false };
+    const calleeHead = source.slice(Math.max(0, openIndex - 400), openIndex);
+    const callee = /((?:[A-Za-z_$][\w$]*\s*\??\.\s*)+)publisher\s*(?:<[^>]*>)?\s*$/.exec(calleeHead);
+    if (!callee?.[1])
+        return { parts: ['<expr>'], viaPublisherCall: false };
+    return { parts: chainParts(callee[1].replace(/\?/g, '')), viaPublisherCall: true };
+}
+function chainReachesKernel(chain, bindings, trace) {
+    const [root, ...rest] = chain.parts;
+    if (!root)
+        return false;
+    if (rest.length === 0 && bindings.namespaces.has(root))
+        return true;
+    // Backstop: ambient receivers are never the kernel, even if shadowed by a trace.
+    if (SKIP_INTERACTION_RECEIVERS.has(root) || !trace.receivers.has(root))
+        return false;
+    // `main.ark.publisher(..)`: the first hop off a root namespace is an exported
+    // binding of the composition root — the same receiver `import { ark }` traces.
+    const transit = trace.rootNamespaces.has(root) ? rest.slice(1) : rest;
+    return transit.every((member) => KERNEL_TRANSIT_MEMBERS.has(member));
+}
+/**
+ * Same-file intent names: `const X = ark.registry.define('N')` / `defineIntent('N')`,
+ * `define(N_CONST)`, and `const N = 'Name'` constants (ADR 0023 D2: define names
+ * count as call-site names). Imported creators stay unresolved (honest partial).
+ */
+function collectDefinedIntentNames(source) {
+    // Not scope-aware: an identifier bound to two different names anywhere in the
+    // file is ambiguous (a function-local shadow could differ), so it resolves to
+    // nothing and the call stays an honest partial instead of a false green.
+    const ambiguous = new Set();
+    const bind = (map, id, name) => {
+        const prior = map.get(id);
+        if (prior !== undefined && prior !== name)
+            ambiguous.add(id);
+        else
+            map.set(id, name);
+    };
+    const constants = new Map();
+    const constRe = /\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*(?::[^=;]+)?=\s*(['"])((?:\\.|[^\\])*?)\2\s*(?:as\s+const\s*)?[;\n,)]/g;
+    let match;
+    while ((match = constRe.exec(source)) !== null) {
+        if (match[3])
+            bind(constants, match[1], match[3]);
+    }
+    for (const id of ambiguous)
+        constants.delete(id);
+    const defined = new Map(constants);
+    const defineRe = /\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*(?::[^=;]+)?=\s*(?:[A-Za-z_$][\w$]*\s*\.\s*)*(?:define|defineIntent)\s*(?:<[^>]*>)?\s*\(\s*(?:(['"])((?:\\.|[^\\])*?)\2|([A-Za-z_$][\w$]*)\s*[,)])/g;
+    while ((match = defineRe.exec(source)) !== null) {
+        const name = match[3] ?? (match[4] ? constants.get(match[4]) : undefined);
+        if (name)
+            bind(defined, match[1], name);
+        else if (ambiguous.has(match[4] ?? '') || defined.has(match[1]))
+            ambiguous.add(match[1]);
+    }
+    for (const id of ambiguous)
+        defined.delete(id);
+    return defined;
+}
+function firstIdentifierArg(content, openParenEnd) {
+    return /^\s*([A-Za-z_$][\w$]*)\s*[,)]/.exec(content.slice(openParenEnd))?.[1];
+}
+/**
+ * Effective intent prefixes of a config: each layer's declared `intentPrefixes`
+ * (or its canonical defaults) plus every canonical prefix. The kernel maps intents
+ * by these, so a name carrying one is kernel-valid evidence.
+ */
+export function arkRunEffectiveIntentPrefixes(config) {
+    const prefixes = new Set();
+    for (const entry of DEFAULT_INTENT_PREFIXES) {
+        for (const prefix of entry.prefixes)
+            prefixes.add(prefix);
+    }
+    for (const layer of config.layers) {
+        for (const prefix of effectiveIntentPrefixes(layer))
+            prefixes.add(prefix);
+    }
+    return [...prefixes].sort();
+}
+function carriesIntentPrefix(value, prefixes) {
+    if (looksLikeArkIntent(value))
+        return true;
+    return (prefixes ?? []).some((raw) => {
+        const prefix = raw.trim();
+        if (!prefix)
+            return false;
+        const normalized = prefix.endsWith('.') ? prefix : `${prefix}.`;
+        return value.startsWith(normalized) && /^[A-Za-z0-9_.]+$/.test(value.slice(normalized.length));
+    });
+}
+function receiverName(chain) {
+    if (!chain)
+        return undefined;
+    if (chain.viaPublisherCall)
+        return 'publisher';
+    const last = chain.parts[chain.parts.length - 1];
+    return last === '<expr>' ? undefined : last;
+}
+/**
+ * A receiver the trace cannot follow (untyped parameter, cross-file hop the
+ * resolver did not see) still counts when the call names a kernel-valid intent
+ * (`Domain.…`, or a configured `intentPrefixes` prefix such as `Billing.…` — the only
+ * names a kernel maps). `res.send('ok')`
+ * or `require.resolve('pkg')` never carry such a name; ambient receivers never count.
+ */
+function untracedKernelNameEvidence(chain, stringArg, intentPrefixes) {
+    if (!chain || stringArg === undefined || !carriesIntentPrefix(stringArg, intentPrefixes)) {
+        return false;
+    }
+    const root = chain.parts[0];
+    return root !== undefined && root !== '<expr>' && !SKIP_INTERACTION_RECEIVERS.has(root);
+}
+/**
+ * Does this module re-export a kernel root (a named or star re-export of a relative
+ * `main` module, or an `ark` binding imported from it and re-exported /
+ * `export const kernel = ark` / `export default ark`)? The resolver uses it to
+ * treat barrels as kernel roots, to a fixpoint.
+ */
+export function reexportsArkRunKernelRoot(content, isKernelRootSpecifier) {
+    const source = stripCommentsPreservingLines(content);
+    const reexport = /\bexport\s+(?!type\b)(?:\*|\{[^}]*\}|\*\s+as\s+[A-Za-z_$][\w$]*)\s*from\s*['"]([^'"]+)['"]/g;
+    let found;
+    while ((found = reexport.exec(source)) !== null) {
+        if (isKernelRootSpecifier(found[1] ?? ''))
+            return true;
+    }
+    const imported = new Set();
+    addRootModuleImports(source, isKernelRootSpecifier, imported);
+    if (imported.size === 0)
+        return false;
+    const exportedLocal = [
+        /\bexport\s*\{([^}]*)\}\s*(?!\s*from)/g,
+        /\bexport\s+default\s+([A-Za-z_$][\w$]*)\s*[;\n]/g,
+        /\bexport\s+(?:const|let|var)\s+[A-Za-z_$][\w$]*\s*(?::[^=;]+)?=\s*([A-Za-z_$][\w$]*)\s*[;\n]/g,
+    ];
+    for (const re of exportedLocal) {
+        let match;
+        while ((match = re.exec(source)) !== null) {
+            const names = (match[1] ?? '')
+                .split(',')
+                .map((part) => part.trim().split(/\s+as\s+/)[0]?.trim() ?? '');
+            if (names.some((name) => imported.has(name)))
+                return true;
+        }
+    }
+    return false;
+}
+export function extractArkRunKernelCallsFromSource(file, content, options = {}) {
     const source = stripCommentsPreservingLines(content);
     const bindings = collectKernelImportBindings(source);
+    const trace = traceKernelReceivers(source, bindings, options.isKernelRootSpecifier);
+    const definedNames = collectDefinedIntentNames(source);
     const facts = [];
     const callRe = /\b([A-Za-z_][A-Za-z0-9_]*)\s*(?:<[^>]*>)?\s*\(/g;
     let match;
@@ -334,20 +731,36 @@ export function extractArkRunKernelCallsFromSource(file, content) {
         const index = match.index;
         if (keywordBefore(source, index, 'function') || keywordBefore(source, index, 'class'))
             continue;
-        const dotted = source.slice(0, index).match(/([A-Za-z_][A-Za-z0-9_]*)\s*\.\s*$/);
-        const receiver = dotted?.[1];
+        const chain = receiverChainBefore(source, index);
+        const receiver = receiverName(chain);
         const original = bindings.named.get(callee) ?? callee;
-        const kind = arkRunKernelCallKind(original) ?? arkRunKernelCallKind(callee);
+        let kind = arkRunKernelCallKind(original) ?? arkRunKernelCallKind(callee);
+        let viaImport = bindings.named.has(callee) ||
+            trace.calleeBindings.has(callee) ||
+            (chain?.parts.length === 1 && bindings.namespaces.has(chain.parts[0]));
+        if (!kind &&
+            NEST_FACTORY_METHODS.has(callee) &&
+            chain?.parts.length === 1 &&
+            bindings.named.get(chain.parts[0]) === ARKRUN_NEST_KERNEL_MODULE) {
+            kind = 'factory';
+            viaImport = true;
+        }
         if (!kind)
             continue;
-        const viaImport = bindings.named.has(callee) || (receiver !== undefined && bindings.namespaces.has(receiver));
-        if (kind !== 'factory') {
-            if (!viaImport && receiver === undefined)
-                continue;
-            if (receiver && SKIP_INTERACTION_RECEIVERS.has(receiver) && !viaImport)
+        if (kind === 'factory') {
+            // `obj.createArkKernel()` on an arbitrary receiver is not the kernel factory.
+            if (chain !== undefined && !viaImport)
                 continue;
         }
-        const nameLiteral = firstStringLiteralArg(source, index + match[0].length);
+        const argStart = index + match[0].length;
+        const stringArg = firstStringLiteralArg(source, argStart);
+        if (kind !== 'factory' &&
+            (chain === undefined ? !viaImport : !chainReachesKernel(chain, bindings, trace)) &&
+            !untracedKernelNameEvidence(chain, stringArg, options.intentPrefixes)) {
+            continue;
+        }
+        const identifierArg = firstIdentifierArg(source, argStart);
+        const nameLiteral = stringArg ?? (identifierArg ? definedNames.get(identifierArg) : undefined);
         facts.push({
             file,
             line: lineAt(content, index),

package/bin/lib/ark-run-sensors.mjs

@@ -30,7 +30,7 @@ export const ARKRUN_EDITOR_SENSOR_IDS = [
     'arkrun-transport-bypass',
 ];
 const EDITOR_SENSOR_SET = new Set(ARKRUN_EDITOR_SENSOR_IDS);
-export function isArkRunEditorSensor(sensor) {
+function isArkRunEditorSensor(sensor) {
     return EDITOR_SENSOR_SET.has(sensor);
 }
 export const ARKRUN_RULE_IDS = {
@@ -132,7 +132,7 @@ function evaluateMissingRoot(extra, hits, teethAllowed) {
         if (matched.some((hit) => hit.hasKernelFactory))
             continue;
         const first = matched[0];
-        out.push(finding(extra, 'arkrun-missing-root', first.file, 1, `ArkRun kernel root ${JSON.stringify(pattern)} has no createArkKernel / createStrictArkKernel factory.`, { target: pattern }, teethAllowed));
+        out.push(finding(extra, 'arkrun-missing-root', first.file, 1, `ArkRun kernel root ${JSON.stringify(pattern)} has no kernel factory (createArkKernel / createStrictArkKernel / createLenientArkKernel / *FromConfig, or ArkModule.forRoot / forRootAsync from arkgate/nestjs).`, { target: pattern }, teethAllowed));
     }
     return out;
 }
@@ -194,11 +194,13 @@ function evaluateUndeclared(extra, kernelCalls, declarations, layerForFile, teet
         if (!fromLayer || !managed.has(fromLayer))
             continue;
         if (!call.nameLiteral) {
-            if (extra.mode === 'enforced') {
+            // `publisher(creator)` binds a source; the emitted name is proven at the
+            // chained `.publish` / `.send`, so an unresolved source is not a gap.
+            if (extra.mode === 'enforced' && call.kind !== 'publisher') {
                 completenessReasons.push({
                     code: ARKRUN_INTERACTION_NAME_INCOMPLETE,
                     file: call.file,
-                    message: `ArkRun ${call.kind} call in ${call.file} has no string-literal name; enforced extra cannot prove the declaration.`,
+                    message: `ArkRun ${call.kind} call in ${call.file} has no string-literal name or same-file define/defineIntent binding; enforced extra cannot prove the declaration.`,
                 });
             }
             continue;