code-auditor-mcp 4.1.0 → 5.0.1

package/dist/phase/goFunctionAnalysis.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Spec 68 §9 — the `error-bindings`, `concurrency-primitives` and
+ * `channel-operations` producers.
+ *
+ * Re-homes the Go binary's non-SOLID function walks (`runErrorAnalysis`,
+ * `runGoroutineAnalysis`, `runChannelAnalysis` in `analyzer-src/analyzer.go`) as
+ * plain-data facts. Each walks the tree-sitter Go AST for `function_declaration`
+ * / `method_declaration` nodes and projects the inputs the rule's verdict reads:
+ *
+ *   - `error-bindings` — the byte offsets of every `err` binding-from-a-call and
+ *     every "checking" use, plus the named-`err`-result signal (`functionDropsError`);
+ *   - `concurrency-primitives` — whether the body has a `go` statement and whether
+ *     it carries a synchronization signal (`analyzeConcurrency`);
+ *   - `channel-operations` — the unbuffered-channel names (`make(chan T)`) and the
+ *     send/receive counts per bare-identifier channel, plus the `go`-statement
+ *     signal (`deadlockChannel`).
+ *
+ * Positions are byte offsets (`ASTNode.range[0]`) — the same total order the Go
+ * binary's `token.Pos` byte offsets carried, so the `error-handling` rule's
+ * "check strictly between this assign and the next" verdict is identical. Test
+ * functions (`Test`/`Benchmark`/`Example`/`Fuzz`) are skipped; methods are
+ * included (the Go binary's `*ast.FuncDecl` covers both free functions and
+ * methods). The tree dies with the file; the rules read only this data.
+ */
+import type { AstFile, ErrorBindingsFact, ConcurrencyPrimitivesFact, ChannelOperationsFact } from './types.js';
+/**
+ * Extract every non-test function's error-binding positions from one Go file.
+ *
+ * @param file - The parsed Go file whose error bindings are projected.
+ * @returns One `ErrorBindingsFact` per function (assign/check byte offsets).
+ */
+export declare function extractErrorBindings(file: AstFile): ErrorBindingsFact[];
+/**
+ * Extract every non-test function's goroutine-synchronization signal.
+ *
+ * @param file - The parsed Go file whose goroutines are inspected.
+ * @returns One `ConcurrencyPrimitivesFact` per function (`hasGo`/`hasSync`).
+ */
+export declare function extractConcurrencyPrimitives(file: AstFile): ConcurrencyPrimitivesFact[];
+/**
+ * Extract every non-test function's unbuffered-channel + operation counts.
+ *
+ * @param file - The parsed Go file whose channel operations are projected.
+ * @returns One `ChannelOperationsFact` per function (unbuffered names, op counts).
+ */
+export declare function extractChannelOperations(file: AstFile): ChannelOperationsFact[];
+//# sourceMappingURL=goFunctionAnalysis.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"goFunctionAnalysis.d.ts","sourceRoot":"","sources":["../../src/phase/goFunctionAnalysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAKH,OAAO,KAAK,EACV,OAAO,EACP,iBAAiB,EACjB,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AA2EpB;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,GAAG,iBAAiB,EAAE,CAkEvE;AAeD;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,OAAO,GAAG,yBAAyB,EAAE,CAsBvF;AAeD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,OAAO,GAAG,qBAAqB,EAAE,CAiD/E"}

package/dist/phase/goFunctionAnalysis.js

@@ -0,0 +1,291 @@
+/**
+ * Spec 68 §9 — the `error-bindings`, `concurrency-primitives` and
+ * `channel-operations` producers.
+ *
+ * Re-homes the Go binary's non-SOLID function walks (`runErrorAnalysis`,
+ * `runGoroutineAnalysis`, `runChannelAnalysis` in `analyzer-src/analyzer.go`) as
+ * plain-data facts. Each walks the tree-sitter Go AST for `function_declaration`
+ * / `method_declaration` nodes and projects the inputs the rule's verdict reads:
+ *
+ *   - `error-bindings` — the byte offsets of every `err` binding-from-a-call and
+ *     every "checking" use, plus the named-`err`-result signal (`functionDropsError`);
+ *   - `concurrency-primitives` — whether the body has a `go` statement and whether
+ *     it carries a synchronization signal (`analyzeConcurrency`);
+ *   - `channel-operations` — the unbuffered-channel names (`make(chan T)`) and the
+ *     send/receive counts per bare-identifier channel, plus the `go`-statement
+ *     signal (`deadlockChannel`).
+ *
+ * Positions are byte offsets (`ASTNode.range[0]`) — the same total order the Go
+ * binary's `token.Pos` byte offsets carried, so the `error-handling` rule's
+ * "check strictly between this assign and the next" verdict is identical. Test
+ * functions (`Test`/`Benchmark`/`Example`/`Fuzz`) are skipped; methods are
+ * included (the Go binary's `*ast.FuncDecl` covers both free functions and
+ * methods). The tree dies with the file; the rules read only this data.
+ */
+import { walkAST, getNodeText, getFieldNode } from '../languages/adapterBridge.js';
+import { isTestFile } from '../languages/testConventions.js';
+/** The Go binary's `isTestFunction` prefix set (`testconventions.go`). */
+function isTestFunction(name) {
+    return (name.startsWith('Test') ||
+        name.startsWith('Benchmark') ||
+        name.startsWith('Example') ||
+        name.startsWith('Fuzz'));
+}
+/** Non-comma children of an `expression_list` / `argument_list` node. */
+function listElements(list) {
+    return (list?.children ?? []).filter((c) => c.type !== ',');
+}
+/** True for the blank identifier `_` (identifier in expression position, or the
+ *  `blank_identifier` node tree-sitter-go emits in import position). */
+function isBlank(node, source) {
+    return node.type === 'blank_identifier' || (node.type === 'identifier' && getNodeText(node, source) === '_');
+}
+/** The parenthesised result `parameter_list` of a function/method, or undefined. */
+function resultParamList(node, isMethod) {
+    const children = node.children ?? [];
+    const blockIdx = children.findIndex((c) => c.type === 'block');
+    if (blockIdx < 0)
+        return undefined;
+    const before = children[blockIdx - 1];
+    if (!before || before.type !== 'parameter_list')
+        return undefined;
+    const paramLists = children.slice(0, blockIdx).filter((c) => c.type === 'parameter_list').length;
+    const nonResultLists = isMethod ? 2 : 1;
+    if (paramLists <= nonResultLists)
+        return undefined;
+    return before;
+}
+/** The Go binary's `funcDeclHasNamedErr`: the result list names an `err` result. */
+function hasNamedErrResult(node, isMethod, source) {
+    const results = resultParamList(node, isMethod);
+    if (!results)
+        return false;
+    for (const decl of results.children ?? []) {
+        if (decl.type !== 'parameter_declaration')
+            continue;
+        for (const id of decl.children ?? []) {
+            if (id.type === 'identifier' && getNodeText(id, source) === 'err')
+                return true;
+        }
+    }
+    return false;
+}
+/** The function name node (`identifier` for a function, `field_identifier` for a
+ *  method), or undefined. */
+function nameNodeOf(node) {
+    return (node.children ?? []).find((c) => c.type === 'identifier' || c.type === 'field_identifier');
+}
+/** Visit every non-test function/method with a body, in source order. */
+function forEachGoFunction(file, visit) {
+    walkAST(file.ast.root, (node) => {
+        if (node.type !== 'function_declaration' && node.type !== 'method_declaration')
+            return;
+        const isMethod = node.type === 'method_declaration';
+        const nameNode = nameNodeOf(node);
+        if (!nameNode)
+            return;
+        const name = getNodeText(nameNode, file.source);
+        if (isTestFunction(name))
+            return;
+        const block = (node.children ?? []).find((c) => c.type === 'block');
+        if (!block)
+            return;
+        visit(node, name, block, isMethod);
+    });
+}
+// ── error-bindings ──────────────────────────────────────────────────────────
+/**
+ * Extract every non-test function's error-binding positions from one Go file.
+ *
+ * @param file - The parsed Go file whose error bindings are projected.
+ * @returns One `ErrorBindingsFact` per function (assign/check byte offsets).
+ */
+export function extractErrorBindings(file) {
+    if (isTestFile('go', file.file))
+        return [];
+    const out = [];
+    forEachGoFunction(file, (node, name, block, isMethod) => {
+        const namedErr = hasNamedErrResult(node, isMethod, file.source);
+        const assignPositions = [];
+        const checkPositions = [];
+        walkAST(block, (n) => {
+            if (n.type === 'short_var_declaration' || n.type === 'assignment_statement') {
+                const lhs = listElements(getFieldNode(n, 'left'));
+                const rhs = listElements(getFieldNode(n, 'right'));
+                // An `err` binding from a call result (`assignHasCallRHS`).
+                if (rhs.some((e) => e.type === 'call_expression')) {
+                    for (const l of lhs) {
+                        if (l.type === 'identifier' && getNodeText(l, file.source) === 'err') {
+                            assignPositions.push(l.range[0]);
+                        }
+                    }
+                }
+                // Explicit ignore `_ = err`.
+                if (lhs.length === 1 && rhs.length === 1 && isBlank(lhs[0], file.source)) {
+                    if (rhs[0].type === 'identifier' && getNodeText(rhs[0], file.source) === 'err') {
+                        checkPositions.push(rhs[0].range[0]);
+                    }
+                }
+            }
+            else if (n.type === 'binary_expression') {
+                // `err != nil` / `err == nil`.
+                if ((n.children ?? []).some((c) => c.type === '!=' || c.type === '==')) {
+                    for (const side of [getFieldNode(n, 'left'), getFieldNode(n, 'right')]) {
+                        if (side && side.type === 'identifier' && getNodeText(side, file.source) === 'err') {
+                            checkPositions.push(side.range[0]);
+                        }
+                    }
+                }
+            }
+            else if (n.type === 'return_statement') {
+                const results = listElements((n.children ?? []).find((c) => c.type === 'expression_list'));
+                // A bare `return` propagates a named `err` result.
+                if (results.length === 0 && namedErr) {
+                    checkPositions.push(n.range[0]);
+                }
+                for (const r of results) {
+                    if (r.type === 'identifier' && getNodeText(r, file.source) === 'err') {
+                        checkPositions.push(r.range[0]);
+                    }
+                }
+            }
+            else if (n.type === 'call_expression') {
+                const args = (n.children ?? []).find((c) => c.type === 'argument_list');
+                for (const arg of listElements(args)) {
+                    if (arg.type === 'identifier' && getNodeText(arg, file.source) === 'err') {
+                        checkPositions.push(arg.range[0]);
+                    }
+                }
+            }
+        });
+        out.push({
+            file: file.file,
+            name,
+            line: node.location.start.line,
+            hasNamedErr: namedErr,
+            assignPositions,
+            checkPositions,
+        });
+    });
+    return out;
+}
+// ── concurrency-primitives ──────────────────────────────────────────────────
+/** The sync-method selector names that signal synchronization (`syncMethodNames`). */
+const SYNC_METHOD_NAMES = new Set([
+    'Add',
+    'Done',
+    'Wait',
+    'Lock',
+    'Unlock',
+    'RLock',
+    'RUnlock',
+]);
+/**
+ * Extract every non-test function's goroutine-synchronization signal.
+ *
+ * @param file - The parsed Go file whose goroutines are inspected.
+ * @returns One `ConcurrencyPrimitivesFact` per function (`hasGo`/`hasSync`).
+ */
+export function extractConcurrencyPrimitives(file) {
+    if (isTestFile('go', file.file))
+        return [];
+    const out = [];
+    forEachGoFunction(file, (node, name, block) => {
+        let hasGo = false;
+        let hasSync = false;
+        walkAST(block, (n) => {
+            if (hasGo && hasSync)
+                return;
+            if (n.type === 'go_statement') {
+                hasGo = true;
+            }
+            else if (n.type === 'send_statement') {
+                hasSync = true;
+            }
+            else if (n.type === 'unary_expression') {
+                if (getNodeText(n, file.source).trimStart().startsWith('<-'))
+                    hasSync = true;
+            }
+            else if (n.type === 'selector_expression') {
+                const field = (n.children ?? []).find((c) => c.type === 'field_identifier');
+                if (field && SYNC_METHOD_NAMES.has(getNodeText(field, file.source)))
+                    hasSync = true;
+            }
+        });
+        out.push({ file: file.file, name, line: node.location.start.line, hasGo, hasSync });
+    });
+    return out;
+}
+// ── channel-operations ──────────────────────────────────────────────────────
+/** The Go binary's `isUnbufferedMakeChan`: `make(chan T)` with one argument. */
+function isUnbufferedMakeChan(rhs, source) {
+    if (rhs.type !== 'call_expression')
+        return false;
+    const fn = (rhs.children ?? []).find((c) => c.type === 'identifier');
+    if (!fn || getNodeText(fn, source) !== 'make')
+        return false;
+    const args = (rhs.children ?? []).find((c) => c.type === 'argument_list');
+    const elements = listElements(args);
+    if (elements.length !== 1)
+        return false;
+    return elements[0].type === 'channel_type';
+}
+/**
+ * Extract every non-test function's unbuffered-channel + operation counts.
+ *
+ * @param file - The parsed Go file whose channel operations are projected.
+ * @returns One `ChannelOperationsFact` per function (unbuffered names, op counts).
+ */
+export function extractChannelOperations(file) {
+    if (isTestFile('go', file.file))
+        return [];
+    const out = [];
+    forEachGoFunction(file, (node, name, block) => {
+        const unbuffered = new Set();
+        const ops = {};
+        let hasGo = false;
+        walkAST(block, (n) => {
+            if (n.type === 'go_statement') {
+                hasGo = true;
+                return;
+            }
+            if (n.type === 'short_var_declaration' || n.type === 'assignment_statement') {
+                const lhs = listElements(getFieldNode(n, 'left'));
+                const rhs = listElements(getFieldNode(n, 'right'));
+                for (let i = 0; i < rhs.length; i++) {
+                    if (isUnbufferedMakeChan(rhs[i], file.source) && i < lhs.length) {
+                        const l = lhs[i];
+                        if (l.type === 'identifier')
+                            unbuffered.add(getNodeText(l, file.source));
+                    }
+                }
+            }
+            else if (n.type === 'send_statement') {
+                const ch = getFieldNode(n, 'channel');
+                if (ch && ch.type === 'identifier') {
+                    const chName = getNodeText(ch, file.source);
+                    ops[chName] = (ops[chName] ?? 0) + 1;
+                }
+            }
+            else if (n.type === 'unary_expression') {
+                if (getNodeText(n, file.source).trimStart().startsWith('<-')) {
+                    const operand = getFieldNode(n, 'operand');
+                    if (operand && operand.type === 'identifier') {
+                        const chName = getNodeText(operand, file.source);
+                        ops[chName] = (ops[chName] ?? 0) + 1;
+                    }
+                }
+            }
+        });
+        out.push({
+            file: file.file,
+            name,
+            line: node.location.start.line,
+            hasGo,
+            unbuffered: [...unbuffered],
+            ops,
+        });
+    });
+    return out;
+}
+//# sourceMappingURL=goFunctionAnalysis.js.map

package/dist/phase/goFunctionAnalysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goFunctionAnalysis.js","sourceRoot":"","sources":["../../src/phase/goFunctionAnalysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAQ7D,0EAA0E;AAC1E,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CACxB,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,IAAyB;IAC7C,OAAO,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED;wEACwE;AACxE,SAAS,OAAO,CAAC,IAAa,EAAE,MAAc;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;AAC/G,CAAC;AAED,oFAAoF;AACpF,SAAS,eAAe,CAAC,IAAa,EAAE,QAAiB;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC;IACjG,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,UAAU,IAAI,cAAc;QAAE,OAAO,SAAS,CAAC;IACnD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,oFAAoF;AACpF,SAAS,iBAAiB,CAAC,IAAa,EAAE,QAAiB,EAAE,MAAc;IACzE,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChD,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB;YAAE,SAAS;QACpD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACrC,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QACjF,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;6BAC6B;AAC7B,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;AACrG,CAAC;AAED,yEAAyE;AACzE,SAAS,iBAAiB,CACxB,IAAa,EACb,KAA+E;IAE/E,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO;QACvF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;QACpD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,cAAc,CAAC,IAAI,CAAC;YAAE,OAAO;QACjC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACpE,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAChD,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,iBAAiB,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,MAAM,cAAc,GAAa,EAAE,CAAC;QAEpC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACnB,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBAC5E,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBAClD,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;gBACnD,4DAA4D;gBAC5D,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,EAAE,CAAC;oBAClD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;wBACpB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;4BACrE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;wBACnC,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,6BAA6B;gBAC7B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACzE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;wBAC/E,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBACvC,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBAC1C,+BAA+B;gBAC/B,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;oBACvE,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;wBACvE,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;4BACnF,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;wBACrC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACzC,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBAC3F,mDAAmD;gBACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACrC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClC,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;oBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;wBACrE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;gBACxE,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrC,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;wBACzE,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YAC9B,WAAW,EAAE,QAAQ;YACrB,eAAe;YACf,cAAc;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAE/E,sFAAsF;AACtF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,QAAQ;IACR,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAa;IACxD,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,GAAG,GAAgC,EAAE,CAAC;IAC5C,iBAAiB,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5C,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACnB,IAAI,KAAK,IAAI,OAAO;gBAAE,OAAO;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAC9B,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACvC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACzC,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,GAAG,IAAI,CAAC;YAC/E,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;gBAC5E,IAAI,KAAK,IAAI,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;oBAAE,OAAO,GAAG,IAAI,CAAC;YACtF,CAAC;QACH,CAAC,CAAC,CAAC;QACH,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAE/E,gFAAgF;AAChF,SAAS,oBAAoB,CAAC,GAAY,EAAE,MAAc;IACxD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,KAAK,CAAC;IACjD,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACrE,IAAI,CAAC,EAAE,IAAI,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;AAC7C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAAa;IACpD,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,iBAAiB,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,IAAI,KAAK,GAAG,KAAK,CAAC;QAElB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACnB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAC9B,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBAC5E,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBAClD,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;gBACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACpC,IAAI,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;wBAChE,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;wBACjB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;4BAAE,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;oBAC3E,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACvC,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBACtC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;oBAC5C,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACzC,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7D,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;oBAC3C,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;wBACjD,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;oBACvC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YAC9B,KAAK;YACL,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;YAC3B,GAAG;SACJ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/phase/goFunctions.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Spec 68 §9 — the `go-functions` producer.
+ *
+ * Re-homes the Go binary's function extraction (the `Function` payload in
+ * `analyzer-src/parser.go`) as a plain-data fact. It walks the tree-sitter Go
+ * AST for `function_declaration` / `method_declaration` nodes and projects the
+ * metrics the two size/behaviour rules threshold on:
+ *
+ *   - `parameterCount` is *expanded* — a `A, B, C int` parameter is three
+ *     (the Go binary appends one `Parameter` per `param.Names` entry, and an
+ *     anonymous `int` appends one unnamed Parameter);
+ *   - `returnCount` is the number of result entries — 0 for none, 1 for a single
+ *     type result, N for a parenthesised `(a, b, c)` list (the Go binary splits
+ *     `strings.Join(returnTypes, ", ")` on ",");
+ *   - `complexity` is the Go binary's `calculateComplexity` — base 1, +1 per
+ *     `if_statement` / `for_statement` (both `for` and `range`) /
+ *     `expression_switch_statement` / `type_switch_statement` and per
+ *     `expression_case` / `type_case` / `default_case` clause;
+ *   - `callsPanic` — the subtree contains a `call_expression` whose direct
+ *     `identifier` child is `panic` (the Go binary matches `call.Fun` being a
+ *     bare `*ast.Ident` named "panic", so `foo.panic()` does not trip it);
+ *   - `line` — the `func` keyword's 1-based line (`funcDecl.Pos().Line`).
+ *
+ * Test functions (`Test`/`Benchmark`/`Example`/`Fuzz` prefix) are skipped —
+ * the Go binary's `ExtractFunctions` does the same, and `liskov-substitution`
+ * re-checks the prefix independently. The tree dies with the file; `function-size`
+ * and `liskov-substitution` read only this data (never the AST, never the Go
+ * subprocess).
+ */
+import type { AstFile, GoFunctionFact } from './types.js';
+/**
+ * Extract every non-test function/method from one parsed Go file.
+ *
+ * @param file - The parsed Go file whose functions are projected.
+ * @returns One `GoFunctionFact` per function/method (size, complexity, panic).
+ */
+export declare function extractGoFunctions(file: AstFile): GoFunctionFact[];
+//# sourceMappingURL=goFunctions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"goFunctions.d.ts","sourceRoot":"","sources":["../../src/phase/goFunctions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAwF1D;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,GAAG,cAAc,EAAE,CA4BlE"}

package/dist/phase/goFunctions.js

@@ -0,0 +1,154 @@
+/**
+ * Spec 68 §9 — the `go-functions` producer.
+ *
+ * Re-homes the Go binary's function extraction (the `Function` payload in
+ * `analyzer-src/parser.go`) as a plain-data fact. It walks the tree-sitter Go
+ * AST for `function_declaration` / `method_declaration` nodes and projects the
+ * metrics the two size/behaviour rules threshold on:
+ *
+ *   - `parameterCount` is *expanded* — a `A, B, C int` parameter is three
+ *     (the Go binary appends one `Parameter` per `param.Names` entry, and an
+ *     anonymous `int` appends one unnamed Parameter);
+ *   - `returnCount` is the number of result entries — 0 for none, 1 for a single
+ *     type result, N for a parenthesised `(a, b, c)` list (the Go binary splits
+ *     `strings.Join(returnTypes, ", ")` on ",");
+ *   - `complexity` is the Go binary's `calculateComplexity` — base 1, +1 per
+ *     `if_statement` / `for_statement` (both `for` and `range`) /
+ *     `expression_switch_statement` / `type_switch_statement` and per
+ *     `expression_case` / `type_case` / `default_case` clause;
+ *   - `callsPanic` — the subtree contains a `call_expression` whose direct
+ *     `identifier` child is `panic` (the Go binary matches `call.Fun` being a
+ *     bare `*ast.Ident` named "panic", so `foo.panic()` does not trip it);
+ *   - `line` — the `func` keyword's 1-based line (`funcDecl.Pos().Line`).
+ *
+ * Test functions (`Test`/`Benchmark`/`Example`/`Fuzz` prefix) are skipped —
+ * the Go binary's `ExtractFunctions` does the same, and `liskov-substitution`
+ * re-checks the prefix independently. The tree dies with the file; `function-size`
+ * and `liskov-substitution` read only this data (never the AST, never the Go
+ * subprocess).
+ */
+import { walkAST, getNodeText } from '../languages/adapterBridge.js';
+import { isTestFile } from '../languages/testConventions.js';
+/** The Go binary's `isTestFunction` prefix set (`testconventions.go`). */
+function isTestFunction(name) {
+    return (name.startsWith('Test') ||
+        name.startsWith('Benchmark') ||
+        name.startsWith('Example') ||
+        name.startsWith('Fuzz'));
+}
+/** The node types `calculateComplexity` counts (`if_statement` covers `for` and
+ *  `range` too — tree-sitter-go folds both `*ast.ForStmt`/`*ast.RangeStmt`). */
+const COMPLEXITY_NODES = new Set([
+    'if_statement',
+    'for_statement',
+    'expression_switch_statement',
+    'type_switch_statement',
+    'expression_case',
+    'type_case',
+    'default_case',
+]);
+function complexityOf(node) {
+    let complexity = 1;
+    walkAST(node, (n) => {
+        if (COMPLEXITY_NODES.has(n.type))
+            complexity++;
+    });
+    return complexity;
+}
+/** Σ over `parameter_declaration` children of max(1, identifier-count) — the
+ *  Go binary's expanded `Parameters` length. */
+function parameterCountOf(params) {
+    if (!params)
+        return 0;
+    let count = 0;
+    for (const decl of params.children ?? []) {
+        if (decl.type !== 'parameter_declaration')
+            continue;
+        const names = (decl.children ?? []).filter((c) => c.type === 'identifier');
+        count += names.length > 0 ? names.length : 1;
+    }
+    return count;
+}
+/** The number of result entries: a parenthesised result list contributes one per
+ *  `parameter_declaration`; a single type result contributes 1; absent is 0. */
+function returnCountOf(result) {
+    if (!result)
+        return 0;
+    if (result.type === 'parameter_list') {
+        return (result.children ?? []).filter((c) => c.type === 'parameter_declaration').length;
+    }
+    return 1;
+}
+/** Whether the function subtree has a direct `panic(...)` call. */
+function callsPanic(node, source) {
+    let found = false;
+    walkAST(node, (n) => {
+        if (found || n.type !== 'call_expression')
+            return;
+        const fn = (n.children ?? []).find((c) => c.type === 'identifier');
+        if (fn && getNodeText(fn, source) === 'panic')
+            found = true;
+    });
+    return found;
+}
+/** The result node of a function/method declaration, if any: the child before
+ *  `block` that is not the params `parameter_list` (nor, for a method, the
+ *  receiver list). A parenthesised result list IS a `parameter_list`, so it is
+ *  told apart from the params list by count — a function carries one params
+ *  list, a method two (receiver + params); a further list is the result. */
+function resultOf(node, isMethod) {
+    const children = node.children ?? [];
+    const blockIdx = children.findIndex((c) => c.type === 'block');
+    if (blockIdx < 0)
+        return undefined;
+    const before = children[blockIdx - 1];
+    if (!before)
+        return undefined;
+    if (before.type === 'parameter_list') {
+        const paramListsBefore = children.slice(0, blockIdx).filter((c) => c.type === 'parameter_list').length;
+        const nonResultLists = isMethod ? 2 : 1;
+        if (paramListsBefore <= nonResultLists)
+            return undefined;
+    }
+    return before;
+}
+/**
+ * Extract every non-test function/method from one parsed Go file.
+ *
+ * @param file - The parsed Go file whose functions are projected.
+ * @returns One `GoFunctionFact` per function/method (size, complexity, panic).
+ */
+export function extractGoFunctions(file) {
+    if (isTestFile('go', file.file))
+        return [];
+    const out = [];
+    walkAST(file.ast.root, (node) => {
+        if (node.type !== 'function_declaration' && node.type !== 'method_declaration')
+            return;
+        const isMethod = node.type === 'method_declaration';
+        const children = node.children ?? [];
+        // function_declaration → `identifier`; method_declaration → `field_identifier`.
+        const nameNode = children.find((c) => c.type === 'identifier' || c.type === 'field_identifier');
+        if (!nameNode)
+            return;
+        const name = getNodeText(nameNode, file.source);
+        if (isTestFunction(name))
+            return;
+        const paramLists = children.filter((c) => c.type === 'parameter_list');
+        // function: params = the one list (paramLists[0]); method: receiver is
+        // paramLists[0], params is paramLists[1].
+        const params = isMethod ? paramLists[1] : paramLists[0];
+        out.push({
+            file: file.file,
+            name,
+            line: node.location.start.line,
+            isMethod,
+            parameterCount: parameterCountOf(params),
+            returnCount: returnCountOf(resultOf(node, isMethod)),
+            complexity: complexityOf(node),
+            callsPanic: callsPanic(node, file.source),
+        });
+    });
+    return out;
+}
+//# sourceMappingURL=goFunctions.js.map

package/dist/phase/goFunctions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goFunctions.js","sourceRoot":"","sources":["../../src/phase/goFunctions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,0EAA0E;AAC1E,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CACxB,CAAC;AACJ,CAAC;AAED;gFACgF;AAChF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,cAAc;IACd,eAAe;IACf,6BAA6B;IAC7B,uBAAuB;IACvB,iBAAiB;IACjB,WAAW;IACX,cAAc;CACf,CAAC,CAAC;AAEH,SAAS,YAAY,CAAC,IAAa;IACjC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,UAAU,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;gDACgD;AAChD,SAAS,gBAAgB,CAAC,MAA2B;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB;YAAE,SAAS;QACpD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAC3E,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;gFACgF;AAChF,SAAS,aAAa,CAAC,MAA2B;IAChD,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrC,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,MAAM,CAAC;IAC1F,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,mEAAmE;AACnE,SAAS,UAAU,CAAC,IAAa,EAAE,MAAc;IAC/C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;YAAE,OAAO;QAClD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACnE,IAAI,EAAE,IAAI,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC;IAC9D,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;4EAI4E;AAC5E,SAAS,QAAQ,CAAC,IAAa,EAAE,QAAiB;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC;QACvG,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,gBAAgB,IAAI,cAAc;YAAE,OAAO,SAAS,CAAC;IAC3D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO;QACvF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;QACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;QACrC,gFAAgF;QAChF,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;QAChG,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,cAAc,CAAC,IAAI,CAAC;YAAE,OAAO;QACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QACvE,uEAAuE;QACvE,0CAA0C;QAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACxD,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YAC9B,QAAQ;YACR,cAAc,EAAE,gBAAgB,CAAC,MAAM,CAAC;YACxC,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACpD,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC;YAC9B,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/phase/goImports.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Spec 68 §9 — the Go `imports` producer.
+ *
+ * Re-homes the Go binary's import extraction (`runImportAnalysis` in
+ * `analyzer-src/analyzer.go`) as a plain-data fact. It walks the tree-sitter Go
+ * AST for `import_spec` nodes and projects each one's source path and local
+ * name:
+ *
+ *   - `source` is the unquoted `path` field (`interpreted_string_literal`), the
+ *     same `strconv.Unquote` the Go binary applied;
+ *   - `alias` is the import's local name — `dot` → `.` (dot import),
+ *     `package_identifier` → the named alias (`f`), `blank_identifier` → `_`,
+ *     and `null` for an unnamed `"fmt"` import — mirroring `importSpec.Name`;
+ *   - `line`/`column` are the `import_spec`'s 1-based start position.
+ *
+ * The order of `import_spec` nodes is source order, so `import-organization`
+ * can reconstruct the grouping sequence from `(file, source, line)` and
+ * `import-style` reads `alias === '.'`. The tree dies with the file; the two
+ * rules read only this data (never the AST, never the Go subprocess).
+ */
+import type { AstFile, ImportFact } from './types.js';
+/**
+ * Extract every import spec from one parsed Go file.
+ *
+ * @param file - The parsed Go file whose import specs are projected.
+ * @returns One `ImportFact` per `import_spec` (source, alias, position).
+ */
+export declare function extractGoImports(file: AstFile): ImportFact[];
+//# sourceMappingURL=goImports.d.ts.map

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

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