code-auditor-mcp 4.1.0 → 5.0.1

package/dist/phase/fileSymbols.js

@@ -0,0 +1,302 @@
+/**
+ * Spec 68 §3.2 — the `file-symbols` producer's extraction.
+ *
+ * This is where the SOLID analyzer's per-file AST walking *used* to happen. It
+ * folds `adapter.extractFunctions` / `extractClasses` / `extractInterfaces`
+ * into a serializable `FileSymbols` per symbol, pre-computing every metric a
+ * symbol-level rule needs (complexity, concern groups, line/param counts, the
+ * open-closed `instanceof` targets, the LSP `throws` signal). The tree dies
+ * with the file; `analyze` sees only these plain-data records.
+ *
+ * This is a temporary re-homing of the SOLID analyzer's private helpers
+ * (`BUILTIN_TYPES`, `findNodeByLocation`, `methodThrows`, …). They live in
+ * `UniversalSOLIDAnalyzer.ts` today and are deleted with that analyzer in §15;
+ * importing them across the phase boundary would couple the new pipeline to a
+ * class that is about to be removed, so they are re-declared here instead.
+ */
+import { walkAST } from '../languages/adapterBridge.js';
+import { findNodeByLocation } from '../languages/locationIndex.js';
+import { detectFunctionConcerns, votingConcerns, CONCERN_LABELS, isFunctionNodeType } from '../analyzers/universal/functionConcerns.js';
+/**
+ * Builtin / standard-library type names excluded from the open-closed
+ * `instanceof` signal (mirrors UniversalSOLIDAnalyzer's set). Platform
+ * primitives, error types, and web globals are legitimate runtime concerns, not
+ * extensibility (OCP) signals.
+ */
+const BUILTIN_TYPES = new Set([
+    'Date', 'Array', 'Object', 'Map', 'Set', 'WeakMap', 'WeakSet',
+    'Promise', 'RegExp', 'Number', 'String', 'Boolean', 'Symbol', 'BigInt',
+    'Function', 'JSON', 'Math', 'Reflect', 'Proxy',
+    'Error', 'TypeError', 'RangeError', 'SyntaxError', 'ReferenceError',
+    'EvalError', 'URIError', 'AggregateError',
+    'ArrayBuffer', 'DataView', 'SharedArrayBuffer',
+    'Uint8Array', 'Int8Array', 'Uint16Array', 'Int16Array',
+    'Uint32Array', 'Int32Array', 'Float32Array', 'Float64Array',
+    'BigInt64Array', 'BigUint64Array', 'Uint8ClampedArray',
+    'URL', 'URLSearchParams', 'TextEncoder', 'TextDecoder', 'Buffer',
+    'FormData', 'Blob', 'AbortController', 'AbortSignal',
+    // Web platform globals (Fetch + Streams API) — `instanceof Response` /
+    // `instanceof ReadableStream` are platform type-checks, not extensibility
+    // (OCP) signals, exactly like `instanceof Date` / `instanceof Error` above.
+    'Request', 'Response', 'Headers',
+    'ReadableStream', 'WritableStream', 'TransformStream',
+]);
+/**
+ * Extract every symbol (function / class / interface) from one parsed file.
+ *
+ * @param file - The parsed file whose symbols are projected.
+ * @returns The file's functions, classes, and interfaces as plain-data symbols.
+ */
+export function extractFileSymbols(file) {
+    const { ast, adapter, source } = file;
+    const symbols = [];
+    const classes = adapter.extractClasses(ast);
+    for (const cls of classes) {
+        symbols.push(extractClass(file, cls));
+    }
+    const interfaces = adapter.extractInterfaces ? adapter.extractInterfaces(ast) : [];
+    for (const iface of interfaces) {
+        symbols.push({
+            kind: 'interface',
+            file: file.file,
+            name: iface.name,
+            line: iface.location.start.line,
+            column: iface.location.start.column,
+            extends: iface.extends ?? [],
+            memberCount: (iface.members ?? []).length,
+            hasMethodMembers: (iface.members ?? []).some((m) => m.type === 'method'),
+        });
+    }
+    const functions = adapter.extractFunctions(ast);
+    for (const func of functions) {
+        if (func.isMethod)
+            continue; // methods ride on their class symbol
+        symbols.push(extractFunction(file, func, ast, source));
+    }
+    return symbols;
+}
+function extractClass(file, cls) {
+    const { ast, adapter, source } = file;
+    const classNode = findNodeByLocation(ast.root, cls.location.start);
+    const methods = cls.methods.map((m) => {
+        const methodNode = findNodeByLocation(ast.root, m.location.start);
+        return {
+            name: m.name,
+            line: m.location.start.line,
+            column: m.location.start.column,
+            parameterCount: m.parameters.length,
+            parameterNames: m.parameters.map((p) => p.name),
+            lineCount: m.location.end.line - m.location.start.line + 1,
+            complexity: methodNode ? adapter.getComplexity(methodNode) : 0,
+            throws: methodNode ? nodeThrows(methodNode) : false,
+            concernGroups: methodNode
+                ? votingConcerns(detectFunctionConcerns(methodNode, (n) => adapter.getNodeText(n, source))).map((c) => CONCERN_LABELS[c])
+                : [],
+            jsDoc: m.jsDoc ?? null,
+            isNonPublic: methodNode ? isNonPublicMethod(methodNode, adapter, source) : false,
+            returnType: m.returnType,
+        };
+    });
+    const aggregateComplexity = methods.reduce((sum, m) => sum + m.complexity, 0);
+    return {
+        kind: 'class',
+        file: file.file,
+        name: cls.name,
+        line: cls.location.start.line,
+        column: cls.location.start.column,
+        isExported: cls.isExported,
+        extends: cls.extends,
+        implements: cls.implements ?? [],
+        methodCount: cls.methods.length,
+        aggregateComplexity,
+        instanceofTargets: classNode ? extractInstanceofTargets(classNode, adapter, source) : [],
+        methods,
+        jsDoc: cls.jsDoc ?? null,
+    };
+}
+function extractFunction(file, func, ast, source) {
+    const funcNode = findFunctionNode(ast.root, func.location.start);
+    const complexity = funcNode ? file.adapter.getComplexity(funcNode) : 0;
+    const concernGroups = funcNode
+        ? votingConcerns(detectFunctionConcerns(funcNode, (n) => file.adapter.getNodeText(n, source))).map((c) => CONCERN_LABELS[c])
+        : [];
+    return {
+        kind: 'function',
+        file: file.file,
+        name: func.name,
+        className: func.className,
+        line: func.location.start.line,
+        column: func.location.start.column,
+        endLine: func.location.end.line,
+        isExported: func.isExported,
+        isAsync: func.isAsync,
+        parameterCount: func.parameters.length,
+        parameterNames: func.parameters.map((p) => p.name),
+        lineCount: func.location.end.line - func.location.start.line + 1,
+        complexity,
+        concernGroups,
+        jsDoc: func.jsDoc ?? null,
+        returnType: func.returnType,
+        isAnonymousOrCallback: funcNode ? isAnonymousOrCallback(funcNode, file.adapter) : false,
+    };
+}
+// ── Helpers (re-homed from UniversalSOLIDAnalyzer) ───────────────────────────
+/** True when the node subtree contains a `throw_statement`. */
+function nodeThrows(node) {
+    let hasThrow = false;
+    walkAST(node, (n) => {
+        if (n.type === 'throw_statement')
+            hasThrow = true;
+    });
+    return hasThrow;
+}
+// ── Documentation skip signals (re-homed from UniversalDocumentationAnalyzer) ─
+/**
+ * True when a method is non-public: an accessibility modifier of `private` /
+ * `protected`, or a `#`-prefixed (JS private) / `_`-prefixed (convention) name.
+ * This is the R1.2 signal `method-documentation` and the method arm of the
+ * function/param/return skip use. Re-homed verbatim — it reads the AST node's
+ * children and name, which the rule cannot reach once the tree is freed.
+ */
+function isNonPublicMethod(node, adapter, sourceCode) {
+    const type = adapter.getNodeType(node);
+    if (type !== 'method_definition' && type !== 'public_field_definition') {
+        return false;
+    }
+    if (node.children) {
+        for (const child of node.children) {
+            const childType = adapter.getNodeType(child);
+            if (childType === 'accessibility_modifier' ||
+                childType === 'private' ||
+                childType === 'protected') {
+                const text = adapter.getNodeText(child, sourceCode).trim();
+                if (text === 'private' || text === 'protected') {
+                    return true;
+                }
+            }
+        }
+    }
+    const propName = getMethodName(node, adapter, sourceCode);
+    if (propName && (propName.startsWith('#') || propName.startsWith('_'))) {
+        return true;
+    }
+    return false;
+}
+/** The name of a method-definition node (property_identifier or identifier). */
+function getMethodName(node, adapter, sourceCode) {
+    if (node.children) {
+        for (const child of node.children) {
+            const type = adapter.getNodeType(child);
+            if (type === 'property_identifier' || type === 'identifier') {
+                return adapter.getNodeText(child, sourceCode).trim();
+            }
+        }
+    }
+    return null;
+}
+/**
+ * True when the node is an anonymous arrow/function expression used as a call
+ * argument, JSX attribute value, object/array literal passed as an argument, or
+ * an IIFE (R1.1 — inline callables are skipped, not downgraded). Re-homed
+ * verbatim; the rule cannot reach the parent chain once the tree is freed.
+ */
+function isAnonymousOrCallback(node, adapter) {
+    const nodeType = adapter.getNodeType(node);
+    const parent = adapter.getParent(node);
+    if (!parent)
+        return false;
+    const parentType = adapter.getNodeType(parent);
+    if (nodeType === 'arrow_function' ||
+        nodeType === 'function_expression' ||
+        nodeType === 'generator_function') {
+        if (isInlineInCallArguments(parent, adapter))
+            return true;
+        if (isJsxAttributeValue(parentType))
+            return true;
+        if (parentType === 'call_expression' && isIifeCallee(node, parent, adapter))
+            return true;
+    }
+    return false;
+}
+/** (a)/(c) — true when `parent` positions the inline callable as a call argument. */
+function isInlineInCallArguments(parent, adapter) {
+    const parentType = adapter.getNodeType(parent);
+    if (parentType === 'arguments')
+        return true;
+    if (parentType === 'pair') {
+        const gp = adapter.getParent(parent);
+        if (gp && (adapter.getNodeType(gp) === 'object' || adapter.getNodeType(gp) === 'object_pattern')) {
+            const ggp = adapter.getParent(gp);
+            return !!(ggp && adapter.getNodeType(ggp) === 'arguments');
+        }
+    }
+    if (parentType === 'array') {
+        const gp = adapter.getParent(parent);
+        return !!(gp && adapter.getNodeType(gp) === 'arguments');
+    }
+    return false;
+}
+/** (b) — true when the parent type is a JSX attribute/expression value. */
+function isJsxAttributeValue(parentType) {
+    return (parentType === 'jsx_expression' ||
+        parentType === 'jsx_attribute' ||
+        parentType === 'jsx_self_closing_element' ||
+        parentType === 'jsx_opening_element');
+}
+/** (d) — true when `node` is the callee (not an argument) of the call expression. */
+function isIifeCallee(node, parent, adapter) {
+    const fnChild = getFirstChildOfType(parent, [
+        'arrow_function',
+        'function_expression',
+        'function',
+        'identifier',
+        'member_expression',
+        'call_expression',
+    ]);
+    if (!fnChild)
+        return false;
+    return (fnChild.location.start.line === node.location.start.line &&
+        fnChild.location.start.column === node.location.start.column);
+}
+/** The first child node matching one of the given types. */
+function getFirstChildOfType(node, types) {
+    if (!node.children)
+        return null;
+    for (const child of node.children) {
+        if (types.includes(child.type)) {
+            return child;
+        }
+    }
+    return null;
+}
+/** The non-builtin `instanceof` target names in the class body. The rule
+ *  resolves these against the corpus-wide class declarations to separate a
+ *  genuine OCP `instanceof` (a domain type) from an Error-subclass
+ *  catch-dispatch, which is not an extensibility signal. */
+function extractInstanceofTargets(classNode, adapter, sourceCode) {
+    const targets = new Set();
+    walkAST(classNode, (node) => {
+        if (node.type !== 'binary_expression')
+            return;
+        const text = adapter.getNodeText(node, sourceCode);
+        const m = /\binstanceof\s+([A-Za-z_$][\w$]*)/.exec(text);
+        if (m && !BUILTIN_TYPES.has(m[1]))
+            targets.add(m[1]);
+    });
+    return [...targets];
+}
+/** Find the function/method node at `location`, disambiguating the program root. */
+function findFunctionNode(root, location) {
+    let found = null;
+    walkAST(root, (node) => {
+        if (found)
+            return;
+        if (node.location.start.line === location.line &&
+            node.location.start.column === location.column &&
+            isFunctionNodeType(node.type)) {
+            found = node;
+        }
+    });
+    return found;
+}
+//# sourceMappingURL=fileSymbols.js.map

package/dist/phase/fileSymbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fileSymbols.js","sourceRoot":"","sources":["../../src/phase/fileSymbols.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAExI;;;;;GAKG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;IACpC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS;IAC7D,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ;IACtE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO;IAC9C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB;IACnE,WAAW,EAAE,UAAU,EAAE,gBAAgB;IACzC,aAAa,EAAE,UAAU,EAAE,mBAAmB;IAC9C,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY;IACtD,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc;IAC3D,eAAe,EAAE,gBAAgB,EAAE,mBAAmB;IACtD,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ;IAChE,UAAU,EAAE,MAAM,EAAE,iBAAiB,EAAE,aAAa;IACpD,uEAAuE;IACvE,0EAA0E;IAC1E,4EAA4E;IAC5E,SAAS,EAAE,UAAU,EAAE,SAAS;IAChC,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB;CACtD,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACtC,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YAC/B,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;YACnC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;YAC5B,WAAW,EAAE,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM;YACzC,gBAAgB,EAAE,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;SACzE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,QAAQ;YAAE,SAAS,CAAC,qCAAqC;QAClE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,IAAa,EAAE,GAAc;IACjD,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACtC,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAEnE,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClE,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YAC3B,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;YAC/B,cAAc,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM;YACnC,cAAc,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/C,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;YAC1D,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK;YACnD,aAAa,EAAE,UAAU;gBACvB,CAAC,CAAC,cAAc,CAAC,sBAAsB,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;gBACzH,CAAC,CAAC,EAAE;YACN,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI;YACtB,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK;YAChF,UAAU,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAE9E,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;QAC7B,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;QACjC,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE;QAChC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM;QAC/B,mBAAmB;QACnB,iBAAiB,EAAE,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;QACxF,OAAO;QACP,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,IAAI;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,IAAa,EACb,IAAkB,EAClB,GAAmB,EACnB,MAAc;IAEd,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,QAAQ;QAC5B,CAAC,CAAC,cAAc,CAAC,sBAAsB,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QAC5H,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;QAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;QAClC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM;QACtC,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;QAChE,UAAU;QACV,aAAa;QACb,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,qBAAqB,EAAE,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK;KACxF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,+DAA+D;AAC/D,SAAS,UAAU,CAAC,IAAa;IAC/B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;YAAE,QAAQ,GAAG,IAAI,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iFAAiF;AAEjF;;;;;;GAMG;AACH,SAAS,iBAAiB,CACxB,IAAa,EACb,OAA2B,EAC3B,UAAkB;IAElB,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,mBAAmB,IAAI,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAC7C,IACE,SAAS,KAAK,wBAAwB;gBACtC,SAAS,KAAK,SAAS;gBACvB,SAAS,KAAK,WAAW,EACzB,CAAC;gBACD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC3D,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC/C,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1D,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,SAAS,aAAa,CACpB,IAAa,EACb,OAA2B,EAC3B,UAAkB;IAElB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,IAAI,KAAK,qBAAqB,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC5D,OAAO,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,IAAa,EAAE,OAA2B;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAE1B,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAE/C,IACE,QAAQ,KAAK,gBAAgB;QAC7B,QAAQ,KAAK,qBAAqB;QAClC,QAAQ,KAAK,oBAAoB,EACjC,CAAC;QACD,IAAI,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1D,IAAI,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACjD,IAAI,UAAU,KAAK,iBAAiB,IAAI,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3F,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qFAAqF;AACrF,SAAS,uBAAuB,CAAC,MAAe,EAAE,OAA2B;IAC3E,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,UAAU,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAE5C,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,gBAAgB,CAAC,EAAE,CAAC;YACjG,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAClC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACrC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,SAAS,mBAAmB,CAAC,UAAkB;IAC7C,OAAO,CACL,UAAU,KAAK,gBAAgB;QAC/B,UAAU,KAAK,eAAe;QAC9B,UAAU,KAAK,0BAA0B;QACzC,UAAU,KAAK,qBAAqB,CACrC,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,SAAS,YAAY,CAAC,IAAa,EAAE,MAAe,EAAE,OAA2B;IAC/E,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,EAAE;QAC1C,gBAAgB;QAChB,qBAAqB;QACrB,UAAU;QACV,YAAY;QACZ,mBAAmB;QACnB,iBAAiB;KAClB,CAAC,CAAC;IACH,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,OAAO,CACL,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;QACxD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAC7D,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,mBAAmB,CAAC,IAAa,EAAE,KAAe;IACzD,IAAI,CAAC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;4DAG4D;AAC5D,SAAS,wBAAwB,CAC/B,SAAkB,EAClB,OAA2B,EAC3B,UAAkB;IAElB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO;QAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,IAAa,EAAE,QAA0C;IACjF,IAAI,KAAK,GAAmB,IAAI,CAAC;IACjC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACrB,IAAI,KAAK;YAAE,OAAO;QAClB,IACE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;YAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC9C,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAC7B,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/phase/functionBodies.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Spec 68 §3.2 — the per-file `function-bodies` producer.
+ *
+ * Projects the adapter's `extractFunctions` (`FunctionInfo[]`) onto the
+ * serializable `FunctionBodyFact`: `name` + 1-based start position + the *full*
+ * node source text. The node set is `extractFunctions`' full set
+ * (`function_declaration`, `generator_function_declaration`,
+ * `function_expression`, `arrow_function`, `method_definition`) — deliberately
+ * wider than `function-index`'s visitor, which mirrors the DB `functions` table
+ * (declaration + method + declarator-arrow + React component). `too-many-queries`
+ * walks `extractFunctions` in the legacy schema-code visitor, so the fact must
+ * project the same universe or the rule diverges on generators, function
+ * expressions, and non-declarator arrows.
+ *
+ * The full text (`getNodeText`) rather than the `statement_block` alone is the
+ * load-bearing choice: an expression-bodied arrow has no block, so its query
+ * count would read 0 off the block while the legacy walk still counts the call
+ * sites in the expression body.
+ */
+import type { AstFile, FunctionBodyFact } from './types.js';
+/**
+ * One file's function bodies as `FunctionBodyFact[]`.
+ *
+ * @param file - The parsed file whose functions are projected.
+ * @returns The full source text of each DB-context function in the file.
+ */
+export declare function extractFunctionBodies(file: AstFile): FunctionBodyFact[];
+//# sourceMappingURL=functionBodies.d.ts.map

package/dist/phase/functionBodies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functionBodies.d.ts","sourceRoot":"","sources":["../../src/phase/functionBodies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAM5D;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,OAAO,GAAG,gBAAgB,EAAE,CAmCvE"}

package/dist/phase/functionBodies.js

@@ -0,0 +1,67 @@
+/**
+ * Spec 68 §3.2 — the per-file `function-bodies` producer.
+ *
+ * Projects the adapter's `extractFunctions` (`FunctionInfo[]`) onto the
+ * serializable `FunctionBodyFact`: `name` + 1-based start position + the *full*
+ * node source text. The node set is `extractFunctions`' full set
+ * (`function_declaration`, `generator_function_declaration`,
+ * `function_expression`, `arrow_function`, `method_definition`) — deliberately
+ * wider than `function-index`'s visitor, which mirrors the DB `functions` table
+ * (declaration + method + declarator-arrow + React component). `too-many-queries`
+ * walks `extractFunctions` in the legacy schema-code visitor, so the fact must
+ * project the same universe or the rule diverges on generators, function
+ * expressions, and non-declarator arrows.
+ *
+ * The full text (`getNodeText`) rather than the `statement_block` alone is the
+ * load-bearing choice: an expression-bodied arrow has no block, so its query
+ * count would read 0 off the block while the legacy walk still counts the call
+ * sites in the expression body.
+ */
+import { findNodeByLocation } from '../analyzers/universal/schema/codeAnalysis.js';
+import { passesFileGate } from '../analyzers/universal/schema/discovery.js';
+import { buildProvenanceContext } from '../analyzers/provenance.js';
+import { DEFAULT_SCHEMA_CONFIG } from '../analyzers/universal/schema/config.js';
+/**
+ * One file's function bodies as `FunctionBodyFact[]`.
+ *
+ * @param file - The parsed file whose functions are projected.
+ * @returns The full source text of each DB-context function in the file.
+ */
+export function extractFunctionBodies(file) {
+    // The legacy `too-many-queries` detector ran inside the schema-code visitor,
+    // which short-circuited on `passesFileGate` (a file with no DB context never
+    // reached `checkQueryPatterns`). Mirror that gate here so the fact only carries
+    // functions from DB-context files — otherwise the rule over-fires on non-DB
+    // modules (e.g. HTML-scraping / wiki-parsing helpers). Same hybrid-mode
+    // provenance the `schema-usage` producer builds (§13 too-many-queries
+    // divergence).
+    const provenanceContext = buildProvenanceContext(file.ast, file.adapter, file.source, {
+        mode: 'hybrid',
+        dbReceiverNames: DEFAULT_SCHEMA_CONFIG.dbReceiverNames,
+        dbBindingNames: DEFAULT_SCHEMA_CONFIG.dbBindingNames,
+        dbCallMethods: DEFAULT_SCHEMA_CONFIG.dbCallMethods,
+        dbWrapperNames: DEFAULT_SCHEMA_CONFIG.dbWrapperNames,
+    });
+    if (!passesFileGate(file.file, file.source, DEFAULT_SCHEMA_CONFIG, provenanceContext)) {
+        return [];
+    }
+    const infos = file.adapter.extractFunctions(file.ast);
+    const out = [];
+    for (const info of infos) {
+        const node = findNodeByLocation(file.ast.root, info.location.start);
+        if (!node)
+            continue;
+        const text = file.adapter.getNodeText(node, file.source);
+        if (!text)
+            continue;
+        out.push({
+            file: file.file,
+            name: info.name,
+            line: info.location.start.line,
+            column: info.location.start.column,
+            text,
+        });
+    }
+    return out;
+}
+//# sourceMappingURL=functionBodies.js.map

package/dist/phase/functionBodies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functionBodies.js","sourceRoot":"","sources":["../../src/phase/functionBodies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,+CAA+C,CAAC;AACnF,OAAO,EAAE,cAAc,EAAE,MAAM,4CAA4C,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,6EAA6E;IAC7E,6EAA6E;IAC7E,gFAAgF;IAChF,4EAA4E;IAC5E,wEAAwE;IACxE,sEAAsE;IACtE,eAAe;IACf,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACpF,IAAI,EAAE,QAAQ;QACd,eAAe,EAAE,qBAAqB,CAAC,eAAe;QACtD,cAAc,EAAE,qBAAqB,CAAC,cAAc;QACpD,aAAa,EAAE,qBAAqB,CAAC,aAAa;QAClD,cAAc,EAAE,qBAAqB,CAAC,cAAc;KACrD,CAAC,CAAC;IACH,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,qBAAqB,EAAE,iBAAiB,CAAC,EAAE,CAAC;QACtF,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;YAClC,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/phase/functionIndex.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Spec 68 §3.2 — the `function-index` FileProcessor extraction.
+ *
+ * Re-homes the function/method/component extraction from
+ * `createFunctionIndexVisitor` (pipelineAdapters.ts) as a pure per-file
+ * processor. The visitor did three jobs: extract function rows, emit DB
+ * `indexFacts` (import_specifiers, function_calls rebuild), and extract
+ * imports/exports for the invariants/conventions layers. The processor keeps
+ * only the function-row extraction — the other two jobs belong to other facts,
+ * and §3.2 is "one fact kind per producer". The DB-assigned `id` is dropped: a
+ * function's identity is `(file, name, line)`, which is what the diff-scoped
+ * content hash keys on.
+ *
+ * The three passes mirror the visitor exactly: (1) `function_declaration` and
+ * `method_definition`, (2) `variable_declarator` → `arrow_function`, (3) React
+ * component detection (which upgrades an existing pass-1/2 entry to
+ * `entityType: 'component'` or appends a new one for class / wrapper
+ * components).
+ */
+import type { AstFile, FunctionIndexFact } from './types.js';
+/**
+ * Extract every function/method/component from one parsed file.
+ *
+ * @param file - The parsed file whose functions are indexed.
+ * @returns One `FunctionIndexFact` per function, arrow, or React component.
+ */
+export declare function extractFunctionIndex(file: AstFile): FunctionIndexFact[];
+//# sourceMappingURL=functionIndex.d.ts.map

package/dist/phase/functionIndex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functionIndex.d.ts","sourceRoot":"","sources":["../../src/phase/functionIndex.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AA2E7D;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,GAAG,iBAAiB,EAAE,CA0EvE"}

package/dist/phase/functionIndex.js

@@ -0,0 +1,152 @@
+/**
+ * Spec 68 §3.2 — the `function-index` FileProcessor extraction.
+ *
+ * Re-homes the function/method/component extraction from
+ * `createFunctionIndexVisitor` (pipelineAdapters.ts) as a pure per-file
+ * processor. The visitor did three jobs: extract function rows, emit DB
+ * `indexFacts` (import_specifiers, function_calls rebuild), and extract
+ * imports/exports for the invariants/conventions layers. The processor keeps
+ * only the function-row extraction — the other two jobs belong to other facts,
+ * and §3.2 is "one fact kind per producer". The DB-assigned `id` is dropped: a
+ * function's identity is `(file, name, line)`, which is what the diff-scoped
+ * content hash keys on.
+ *
+ * The three passes mirror the visitor exactly: (1) `function_declaration` and
+ * `method_definition`, (2) `variable_declarator` → `arrow_function`, (3) React
+ * component detection (which upgrades an existing pass-1/2 entry to
+ * `entityType: 'component'` or appends a new one for class / wrapper
+ * components).
+ */
+import { walkAST, isExported, getNodeText, getFieldNode, getLineAndColumn, calculateComplexity, getFunctionBody, } from '../languages/adapterBridge.js';
+import { buildImportMap, extractFunctionCalls, extractIdentifierUsage } from '../utils/dependencyExtractor.js';
+import { getImportsDetailed } from '../utils/astUtils.js';
+import { isReactComponent, detectComponentType, getComponentName } from '../utils/reactDetection.js';
+import { getLanguageFromPath } from '../utils/fileDiscovery.js';
+/** A function/method node's name — `name` field first (works for both
+ *  `function_declaration` and `method_definition`, whose name is a
+ *  `property_identifier`, not an `identifier`), then the identifier children.
+ *  Mirrors `clNodeName` in pipelineAdapters.ts. */
+function nodeName(node, sourceCode) {
+    const field = getFieldNode(node, 'name');
+    if (field) {
+        const text = getNodeText(field, sourceCode);
+        if (text)
+            return text;
+    }
+    const id = node.children?.find((c) => c.type === 'identifier')
+        ?? node.children?.find((c) => c.type === 'property_identifier');
+    return id ? getNodeText(id, sourceCode) : undefined;
+}
+/** Build one function-row fact from a function-like node. `exportedNode` is the
+ *  node whose export status to read (the arrow's `variable_declarator`, not the
+ *  arrow itself — matches the visitor's `isExported(node)` target). */
+function row(node, name, entityType, componentType, ctx, exportedNode = node) {
+    const { filePath, sourceCode, lang, importMap, importNames } = ctx;
+    const { line } = getLineAndColumn(node);
+    const body = getFunctionBody(node, sourceCode);
+    const calls = extractFunctionCalls(node, sourceCode, importMap);
+    // Item 4 2b — the phase-parse equivalent of `functions.used_imports`. Same
+    // derivation as `functionScanner.ts` (the sync path that used to be the only
+    // writer of that column): the identifier-usage walk over the function's full
+    // node, keyed by the file's import local names. `extractIdentifierUsage` keys
+    // its map on the imported local name, so `.keys()` is the used-import list in
+    // first-use order.
+    const usedImports = Array.from(extractIdentifierUsage(node, sourceCode, importNames).keys());
+    return {
+        file: filePath,
+        name,
+        line,
+        endLine: node.location.end.line,
+        entityType,
+        componentType,
+        isExported: isExported(exportedNode),
+        complexity: calculateComplexity(node),
+        body: body ?? null,
+        functionCalls: [...new Set(calls.map((c) => c.callee))],
+        usedImports,
+        language: lang,
+    };
+}
+/**
+ * Extract every function/method/component from one parsed file.
+ *
+ * @param file - The parsed file whose functions are indexed.
+ * @returns One `FunctionIndexFact` per function, arrow, or React component.
+ */
+export function extractFunctionIndex(file) {
+    const root = file.ast.root;
+    const filePath = file.file;
+    const sourceCode = file.source;
+    const lang = getLanguageFromPath(filePath);
+    if (lang !== 'typescript' && lang !== 'javascript')
+        return [];
+    const importMap = buildImportMap(root, sourceCode);
+    // Item 4 2b — the import local-name set `extractIdentifierUsage` keys on,
+    // built once per file from `getImportsDetailed` exactly as `functionScanner.ts`
+    // builds it (`new Set(detailedImports.map(imp => imp.localName))`).
+    const importNames = new Set(getImportsDetailed(root, sourceCode).map((imp) => imp.localName));
+    const scanCtx = { filePath, sourceCode, lang, importMap, importNames };
+    const entries = [];
+    // Pass 1 — named function declarations and class methods.
+    walkAST(root, (node) => {
+        if (node.type === 'function_declaration') {
+            const name = nodeName(node, sourceCode);
+            if (!name)
+                return;
+            entries.push(row(node, name, 'function', null, scanCtx));
+        }
+        else if (node.type === 'method_definition') {
+            // Methods are NOT in the legacy `functions` table. The legacy
+            // `createFunctionIndexVisitor` resolved a method's name with
+            // `node.children.find(c => c.type === 'identifier')`, but a
+            // `method_definition`'s name field is a `property_identifier`, so the
+            // match always failed and the method was skipped. Re-homing that behavior
+            // means the `function-index` fact omits methods too — a method that reached
+            // the phase fact but not the DB index would over-fire the function-index-
+            // servable conventions rules (see §13 error-handling divergence).
+            return;
+        }
+    });
+    // Pass 2 — arrow functions assigned to variables. The export status is read
+    // from the `variable_declarator`, not the arrow (matches the visitor).
+    walkAST(root, (node) => {
+        if (node.type !== 'variable_declarator')
+            return;
+        const nameNode = node.children?.find((c) => c.type === 'identifier');
+        const arrowFunc = node.children?.find((c) => c.type === 'arrow_function');
+        if (!nameNode || !arrowFunc)
+            return;
+        const name = getNodeText(nameNode, sourceCode);
+        if (!name)
+            return;
+        entries.push(row(arrowFunc, name, 'function', null, scanCtx, node));
+    });
+    // Pass 3 — React component detection. Upgrade an existing entry (function /
+    // arrow declared with the component's name) or append a new one (class
+    // component, function_expression, memo/forwardRef wrapper).
+    const hasReactImport = [...importMap.values()].some((v) => v.modulePath === 'react');
+    if (filePath.endsWith('.tsx') ||
+        filePath.endsWith('.jsx') ||
+        (filePath.endsWith('.js') && hasReactImport)) {
+        walkAST(root, (node) => {
+            if (!isReactComponent(node, sourceCode))
+                return;
+            const ct = detectComponentType(node, sourceCode);
+            if (!ct)
+                return;
+            const cName = getComponentName(node, sourceCode);
+            if (!cName || cName === 'AnonymousComponent')
+                return;
+            const existing = entries.find((f) => f.name === cName);
+            if (existing) {
+                existing.entityType = 'component';
+                existing.componentType = ct;
+            }
+            else {
+                entries.push(row(node, cName, 'component', ct, scanCtx));
+            }
+        });
+    }
+    return entries;
+}
+//# sourceMappingURL=functionIndex.js.map

package/dist/phase/functionIndex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functionIndex.js","sourceRoot":"","sources":["../../src/phase/functionIndex.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EACL,OAAO,EACP,UAAU,EACV,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,GAChB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC/G,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAGhE;;;mDAGmD;AACnD,SAAS,QAAQ,CAAC,IAAa,EAAE,UAAkB;IACjD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC5C,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;WACzD,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC;IAClE,OAAO,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC;AAED;;uEAEuE;AACvE,SAAS,GAAG,CACV,IAAa,EACb,IAAY,EACZ,UAA2C,EAC3C,aAA4B,EAC5B,GAMC,EACD,eAAwB,IAAI;IAE5B,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC;IACnE,MAAM,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAChE,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,8EAA8E;IAC9E,mBAAmB;IACnB,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7F,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,IAAI;QACJ,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI;QAC/B,UAAU;QACV,aAAa;QACb,UAAU,EAAE,UAAU,CAAC,YAAY,CAAC;QACpC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC;QACrC,IAAI,EAAE,IAAI,IAAI,IAAI;QAClB,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,WAAW;QACX,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;IAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAE/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,EAAE,CAAC;IAE9D,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnD,0EAA0E;IAC1E,gFAAgF;IAChF,oEAAoE;IACpE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IACvE,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,0DAA0D;IAC1D,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACrB,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3D,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC7C,8DAA8D;YAC9D,6DAA6D;YAC7D,4DAA4D;YAC5D,sEAAsE;YACtE,0EAA0E;YAC1E,4EAA4E;YAC5E,0EAA0E;YAC1E,kEAAkE;YAClE,OAAO;QACT,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAC5E,uEAAuE;IACvE,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACrB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACrE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QAC1E,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;YAAE,OAAO;QACpC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAC5E,uEAAuE;IACvE,4DAA4D;IAC5D,MAAM,cAAc,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,OAAO,CAAC,CAAC;IACrF,IACE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,EAC5C,CAAC;QACD,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACrB,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC;gBAAE,OAAO;YAChD,MAAM,EAAE,GAAG,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACjD,IAAI,CAAC,EAAE;gBAAE,OAAO;YAChB,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACjD,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,oBAAoB;gBAAE,OAAO;YAErD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;YACvD,IAAI,QAAQ,EAAE,CAAC;gBACb,QAAQ,CAAC,UAAU,GAAG,WAAW,CAAC;gBAClC,QAAQ,CAAC,aAAa,GAAG,EAAE,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}