@descryy/adapter-go 0.1.0

package/dist/adapter.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The Go `LanguageAdapter` — all seven methods, breadth tier.
+ *
+ * Structurally this is the Java adapter with a different grammar and a different
+ * rule set, which is the whole claim the tree-sitter harness was built to test.
+ * Nothing in `@descryy/adapter-treesitter` changed to accommodate Go.
+ */
+import { type LanguageAdapter, type ResolutionLevel } from "@descryy/ir";
+import { toRepoRelative } from "@descryy/adapter-common";
+import { LANGUAGE } from "./extract.ts";
+export declare const ADAPTER_ID = "adapter-go";
+export declare const ADAPTER_VERSION = "0.1.0";
+export declare const DEFAULT_GO_GLOBS: readonly ["**/*.go"];
+export interface GoAdapterOptions {
+    readonly globs?: readonly string[];
+    readonly maxResolution?: ResolutionLevel;
+}
+export interface GoAdapter extends LanguageAdapter {
+    readonly id: string;
+    readonly version: string;
+}
+export declare function createGoAdapter(options?: GoAdapterOptions): GoAdapter;
+/** Content hash of a repo-relative file, for `FileRef`. */
+export declare function hashOf(root: string, relative: string): string;
+export { LANGUAGE, toRepoRelative };
+//# sourceMappingURL=adapter.d.ts.map

package/dist/adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH,OAAO,EAML,KAAK,eAAe,EAGpB,KAAK,eAAe,EAGrB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAyB,cAAc,EAAwB,MAAM,yBAAyB,CAAC;AAKtG,OAAO,EAAW,QAAQ,EAA4B,MAAM,cAAc,CAAC;AAE3E,eAAO,MAAM,UAAU,eAAe,CAAC;AACvC,eAAO,MAAM,eAAe,UAAU,CAAC;AACvC,eAAO,MAAM,gBAAgB,sBAAuB,CAAC;AAuBrD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;CAC1C;AAcD,MAAM,WAAW,SAAU,SAAQ,eAAe;IAChD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAgB,eAAe,CAAC,OAAO,GAAE,gBAAqB,GAAG,SAAS,CAkNzE;AAED,2DAA2D;AAC3D,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAM7D;AAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC"}

package/dist/adapter.js

@@ -0,0 +1,247 @@
+/**
+ * The Go `LanguageAdapter` — all seven methods, breadth tier.
+ *
+ * Structurally this is the Java adapter with a different grammar and a different
+ * rule set, which is the whole claim the tree-sitter harness was built to test.
+ * Nothing in `@descryy/adapter-treesitter` changed to accommodate Go.
+ */
+import { createHash } from "node:crypto";
+import { createRequire } from "node:module";
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { CLIENT_CALL_EXTRACTOR, ROUTE_EXTRACTOR, } from "@descryy/ir";
+import { discover, isolateFile, toRepoRelative } from "@descryy/adapter-common";
+import { parserFor, parseText } from "@descryy/adapter-treesitter";
+import { buildConstraintOf, readFile as readGoFile } from "./parse.js";
+import { goModules, importPathOf } from "./modules.js";
+import { extract, LANGUAGE, REASONS } from "./extract.js";
+export const ADAPTER_ID = "adapter-go";
+export const ADAPTER_VERSION = "0.1.0";
+export const DEFAULT_GO_GLOBS = ["**/*.go"];
+const PRODUCED_BY = `${ADAPTER_ID}@${ADAPTER_VERSION}`;
+function grammarPath() {
+    const beside = join(import.meta.dirname, "tree-sitter-go.wasm");
+    if (existsSync(beside))
+        return beside;
+    return createRequire(import.meta.url).resolve("tree-sitter-go/tree-sitter-go.wasm");
+}
+/**
+ * Vendored dependencies are somebody else's source.
+ *
+ * `vendor/` holds a copy of the module graph, and analysing it both doubles the
+ * work and puts a second declaration of every vendored symbol in the graph.
+ * Unlike Java's build directories this needs no source-root caveat: `vendor` is
+ * a reserved directory name in the Go toolchain, not a package name a project
+ * chooses, and `go build` excludes it by the same rule.
+ */
+function isVendored(file) {
+    return `/${file}`.includes("/vendor/") || `/${file}`.includes("/testdata/");
+}
+export function createGoAdapter(options = {}) {
+    const globs = options.globs ?? DEFAULT_GO_GLOBS;
+    const ceiling = options.maxResolution ?? 2;
+    let session;
+    let parser;
+    const filesUnder = (root) => discover(root.absolutePath, globs).filter((file) => !isVendored(file));
+    return {
+        id: ADAPTER_ID,
+        version: ADAPTER_VERSION,
+        async detect(root) {
+            const files = filesUnder(root);
+            const evidence = [];
+            if (files.length > 0)
+                evidence.push(`${files.length} .go files outside vendor/ and testdata/`);
+            const modules = goModules(root.absolutePath, files);
+            if (modules.length > 0) {
+                evidence.push(`${modules.length} go.mod file(s); root module ${modules[modules.length - 1]?.path}`);
+            }
+            else if (files.length > 0) {
+                // Not a failure, but it caps what identity can be: without a module path
+                // there is no import path, and nothing outside can name these packages.
+                evidence.push("no go.mod found — packages have no import path and cannot be identified");
+            }
+            return { detected: files.length > 0, roots: files.length > 0 ? [root.absolutePath] : [], evidence };
+        },
+        capabilities() {
+            return {
+                maxResolution: ceiling,
+                nodeTypes: ["MODULE", "CLASS", "FUNCTION", "TEST_CASE", "API_ROUTE", "API_ENDPOINT"],
+                /**
+                 * `IMPLEMENTS` is absent, and its absence is the honest part.
+                 *
+                 * Go's interface satisfaction is structural: a type implements an
+                 * interface by having the right method set, and no line of source says
+                 * so. Deciding it means comparing method sets, which is R3 evidence this
+                 * adapter does not have — and inferring it from names would be a guess
+                 * in the one place the corpus has a negative pattern for guessing.
+                 * Embedding is written down and becomes `INHERITS`.
+                 */
+                edgeTypes: ["IMPORTS", "CALLS", "TESTS", "INHERITS", "USES_TYPE", "SERVES_API", "USES_API"],
+                hasCallHierarchy: false,
+                hasTypeHierarchy: false,
+                /**
+                 * Directories this ecosystem installs dependencies or build output into —
+                 * DEC-110's end state. The engine used to hold `node_modules`/`vendor`/`target`
+                 * in a hardcoded list; it holds none of them now and consumes this instead.
+                 *
+                 * `vendor/` holds a copy of the module graph — analysing it doubles the work and
+                 * puts a second declaration of every vendored symbol in the graph.
+                 *
+                 * Names only — the walk matches one path component, so a path or glob matches
+                 * nothing. Nothing dotted — those are skipped structurally already.
+                 */
+                noiseDirectories: ["vendor"],
+                frameworkExtractors: [
+                    "net/http",
+                    "github.com/gin-gonic/gin",
+                    "github.com/go-chi/chi",
+                    "github.com/labstack/echo",
+                    "github.com/gorilla/mux",
+                    "google.golang.org/grpc",
+                ],
+                /**
+                 * `net/http` now supplies both halves of the HTTP boundary. `route-extractor`
+                 * grades pattern 04 as before; `client-call-extractor` reads `client.ts`'s
+                 * three call shapes (package-level convenience funcs, `*http.Client`
+                 * methods, `NewRequest`'s own literal arguments) and genuinely produces
+                 * `USES_API` edges — see `client.ts`'s own header. Whether golden pattern
+                 * 08 can confirm it is a separate question from whether the extraction is
+                 * honest: it needs `order_page` retyped away from `COMPONENT` in this
+                 * corpus's own `manifest.json` (DEC-262's fork — Go is backend-only and
+                 * has no honest claim to a UI component, the same reason Kotlin and
+                 * Python already carry this override) and a fixture that makes a real
+                 * call. Declaring the capability here is safe either way — DEC-262 found
+                 * this exact declaration never fails a golden pattern, it either passes
+                 * genuinely or stays permanently skipped on an honest incapacity, never
+                 * both silently wrong.
+                 */
+                frameworkCapabilities: [ROUTE_EXTRACTOR, CLIENT_CALL_EXTRACTOR],
+            };
+        },
+        async prepare(ctx) {
+            // Sorted, so that which declaration wins a build-constraint collision is a
+            // property of the repository and not of the order the filesystem happened
+            // to hand the files over.
+            const files = [...filesUnder(ctx.root)].sort();
+            parser ??= await parserFor(grammarPath());
+            const modules = goModules(ctx.root.absolutePath, files);
+            const units = [];
+            const failures = [];
+            const unfinished = [];
+            const withoutModule = [];
+            const pathCache = new Map();
+            for (const file of files) {
+                if (ctx.signal.aborted)
+                    break;
+                let text;
+                try {
+                    text = readFileSync(join(ctx.root.absolutePath, file), "utf8");
+                }
+                catch (error) {
+                    failures.push({ kind: "unreadable", file, detail: error instanceof Error ? error.message : String(error) });
+                    continue;
+                }
+                const outcome = parseText(parser, file, text);
+                if (outcome.tree === undefined) {
+                    if (outcome.failure !== undefined)
+                        failures.push(outcome.failure);
+                    continue;
+                }
+                /**
+                 * The tree walk is isolated because a throw here used to cost the run,
+                 * not the file. Reading and parsing were already per-file; this step was
+                 * the gap, and it is the one that fires on half-written source — which is
+                 * exactly what someone analysing code they just wrote is handing us.
+                 */
+                const read = isolateFile(file, () => readGoFile(outcome.tree.rootNode, file, outcome.tree.rootNode.hasError));
+                outcome.tree.delete();
+                if (read.failure !== undefined) {
+                    unfinished.push(read.failure);
+                    continue;
+                }
+                const unit = read.value;
+                let importPath = pathCache.get(unit.directory);
+                if (!pathCache.has(unit.directory)) {
+                    importPath = importPathOf(modules, unit.directory);
+                    pathCache.set(unit.directory, importPath);
+                }
+                if (importPath === undefined) {
+                    withoutModule.push(file);
+                    continue;
+                }
+                units.push({ ...unit, importPath, buildConstraint: buildConstraintOf(text) });
+            }
+            const reached = units.length === 0 ? 0 : ceiling;
+            session = { root: ctx.root, files, units, reached, failures, unfinished, withoutModule };
+            return reached;
+        },
+        async parseFiles(files) {
+            const byFile = new Map((session?.units ?? []).map((unit) => [unit.file, unit]));
+            return files.map((file) => ({ file, tree: byFile.get(file.path) ?? {} }));
+        },
+        extractNodes() {
+            return current().nodes;
+        },
+        extractEdges() {
+            return current().edges;
+        },
+        async emit(ctx) {
+            const reached = await this.prepare(ctx);
+            const active = session;
+            const extraction = current();
+            const excludedFiles = new Set([
+                ...active.failures.map((f) => f.file),
+                ...active.unfinished.map((f) => f.file),
+                ...active.withoutModule,
+            ]);
+            return {
+                repo: ctx.root.repo,
+                ...(ctx.root.workspace === undefined ? {} : { workspace: ctx.root.workspace }),
+                commitSha: ctx.root.commitSha,
+                producedBy: PRODUCED_BY,
+                sourceFiles: active.files.filter((f) => !excludedFiles.has(f)),
+                skippedFiles: [
+                    ...active.failures.map((f) => ({ file: f.file, reason: f.kind, detail: f.detail })),
+                    // `other`, not a fifth reason code. The canonical vocabulary does not
+                    // grow for this: the file was read and parsed, and what failed is our
+                    // walk of it, which the detail says outright.
+                    ...active.unfinished.map((f) => ({ file: f.file, reason: "other", detail: f.detail })),
+                    ...active.withoutModule.map((file) => ({ file, reason: "other", detail: REASONS.noImportPath })),
+                ],
+                reachedResolution: reached,
+                nodes: extraction.nodes,
+                edges: extraction.edges,
+                unresolved: extraction.unresolved,
+            };
+        },
+        async dispose() {
+            session = undefined;
+            parser?.delete();
+            parser = undefined;
+        },
+    };
+    function current() {
+        const active = session;
+        if (active === undefined || active.units.length === 0) {
+            return { nodes: [], edges: [], unresolved: [] };
+        }
+        return extract({
+            repo: active.root.repo,
+            scope: { repo: active.root.repo, ...(active.root.workspace === undefined ? {} : { workspace: active.root.workspace }) },
+            producedBy: PRODUCED_BY,
+            reached: active.reached,
+            files: active.units,
+        });
+    }
+}
+/** Content hash of a repo-relative file, for `FileRef`. */
+export function hashOf(root, relative) {
+    try {
+        return createHash("sha256").update(readFileSync(join(root, relative))).digest("hex").slice(0, 32);
+    }
+    catch {
+        return "";
+    }
+}
+export { LANGUAGE, toRepoRelative };
+//# sourceMappingURL=adapter.js.map

package/dist/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAUL,qBAAqB,EACrB,eAAe,GAChB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAwB,MAAM,yBAAyB,CAAC;AACtG,OAAO,EAAE,SAAS,EAAE,SAAS,EAAkC,MAAM,6BAA6B,CAAC;AAEnG,OAAO,EAAE,iBAAiB,EAAE,QAAQ,IAAI,UAAU,EAAe,MAAM,YAAY,CAAC;AACpF,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAmB,MAAM,cAAc,CAAC;AAE3E,MAAM,CAAC,MAAM,UAAU,GAAG,YAAY,CAAC;AACvC,MAAM,CAAC,MAAM,eAAe,GAAG,OAAO,CAAC;AACvC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAS,CAAU,CAAC;AAErD,MAAM,WAAW,GAAG,GAAG,UAAU,IAAI,eAAe,EAAE,CAAC;AAEvD,SAAS,WAAW;IAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IAChE,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;AACtF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AAC9E,CAAC;AAwBD,MAAM,UAAU,eAAe,CAAC,UAA4B,EAAE;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,gBAAgB,CAAC;IAChD,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IAC3C,IAAI,OAA4B,CAAC;IACjC,IAAI,MAA0B,CAAC;IAE/B,MAAM,UAAU,GAAG,CAAC,IAAc,EAAqB,EAAE,CACvD,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAEzE,OAAO;QACL,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,eAAe;QAExB,KAAK,CAAC,MAAM,CAAC,IAAc;YACzB,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,0CAA0C,CAAC,CAAC;YAC/F,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;YACpD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,gCAAgC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YACtG,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,yEAAyE;gBACzE,wEAAwE;gBACxE,QAAQ,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;YAC3F,CAAC;YACD,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;QACtG,CAAC;QAED,YAAY;YACV,OAAO;gBACL,aAAa,EAAE,OAAO;gBACtB,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,CAAC;gBACpF;;;;;;;;;mBASG;gBACH,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,CAAC;gBAC3F,gBAAgB,EAAE,KAAK;gBACvB,gBAAgB,EAAE,KAAK;gBACvB;;;;;;;;;;mBAUG;gBACH,gBAAgB,EAAE,CAAC,QAAQ,CAAC;gBAC5B,mBAAmB,EAAE;oBACnB,UAAU;oBACV,0BAA0B;oBAC1B,uBAAuB;oBACvB,0BAA0B;oBAC1B,wBAAwB;oBACxB,wBAAwB;iBACzB;gBACD;;;;;;;;;;;;;;;mBAeG;gBACH,qBAAqB,EAAE,CAAC,eAAe,EAAE,qBAAqB,CAAC;aAChE,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,GAAoB;YAChC,2EAA2E;YAC3E,0EAA0E;YAC1E,0BAA0B;YAC1B,MAAM,KAAK,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/C,MAAM,KAAK,MAAM,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;YAExD,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAmB,EAAE,CAAC;YACpC,MAAM,UAAU,GAAsB,EAAE,CAAC;YACzC,MAAM,aAAa,GAAa,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA8B,CAAC;YAExD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO;oBAAE,MAAM;gBAC9B,IAAI,IAAY,CAAC;gBACjB,IAAI,CAAC;oBACH,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;gBACjE,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAC5G,SAAS;gBACX,CAAC;gBACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC9C,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC/B,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;oBAClE,SAAS;gBACX,CAAC;gBACD;;;;;mBAKG;gBACH,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,CAClC,UAAU,CAAC,OAAO,CAAC,IAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAC1E,CAAC;gBACF,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACtB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC9B,SAAS;gBACX,CAAC;gBACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;gBAExB,IAAI,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;oBACnC,UAAU,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;oBACnD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;gBAC5C,CAAC;gBACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACzB,SAAS;gBACX,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChF,CAAC;YAED,MAAM,OAAO,GAAoB,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAClE,OAAO,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;YACzF,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,KAAyB;YACxC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAChF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5E,CAAC;QAED,YAAY;YACV,OAAO,OAAO,EAAE,CAAC,KAAK,CAAC;QACzB,CAAC;QAED,YAAY;YACV,OAAO,OAAO,EAAE,CAAC,KAAK,CAAC;QACzB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAoB;YAC7B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,OAAQ,CAAC;YACxB,MAAM,UAAU,GAAG,OAAO,EAAE,CAAC;YAC7B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;gBAC5B,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBACrC,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBACvC,GAAG,MAAM,CAAC,aAAa;aACxB,CAAC,CAAC;YAEH,OAAO;gBACL,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI;gBACnB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC9E,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS;gBAC7B,UAAU,EAAE,WAAW;gBACvB,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC9D,YAAY,EAAE;oBACZ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;oBACnF,sEAAsE;oBACtE,sEAAsE;oBACtE,8CAA8C;oBAC9C,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAgB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC/F,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;iBAC1G;gBACD,iBAAiB,EAAE,OAAO;gBAC1B,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,UAAU,EAAE,UAAU,CAAC,UAAU;aAClC,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,OAAO;YACX,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM,EAAE,MAAM,EAAE,CAAC;YACjB,MAAM,GAAG,SAAS,CAAC;QACrB,CAAC;KACF,CAAC;IAEF,SAAS,OAAO;QACd,MAAM,MAAM,GAAG,OAAO,CAAC;QACvB,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtD,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QAClD,CAAC;QACD,OAAO,OAAO,CAAC;YACb,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;YACtB,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE;YACvH,UAAU,EAAE,WAAW;YACvB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,MAAM,CAAC,KAAK;SACpB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,QAAgB;IACnD,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC"}

package/dist/client.d.ts

@@ -0,0 +1,114 @@
+/**
+ * The caller's half of the HTTP boundary: `USES_API`, golden pattern 08.
+ *
+ * `SERVES_API` is minted in `routes.ts`/`extract.ts` from a route registration.
+ * This reads the other end — an outbound call with a statically knowable path —
+ * and mints the **same** `API_ENDPOINT` node from the same `endpointQsp`, so the
+ * two join without either side knowing the other ran (DEC-115).
+ *
+ *     FUNCTION ──USES_API──▶ API_ENDPOINT ◀──SERVES_API── API_ROUTE
+ *
+ * ## Structured like `routes.ts`, not like Java's `client.ts`
+ *
+ * Java's client reader walks `JavaRef` — a flat, already-collected list of
+ * references with a `firstStringArgument` field captured at parse time. Go has
+ * no equivalent: `GoRef` keeps a short `raw` summary but not positional argument
+ * access, because nothing before this needed it. `net/http.NewRequest(method,
+ * url, body)` needs **two** literal positions read out of one call — the verb
+ * and the path both — so this reads `call_expression` nodes directly off the
+ * tree, the same shape `routes.ts`'s `readCall` already uses for the provider
+ * side of this exact boundary.
+ *
+ * ## Three shapes, one budget
+ *
+ * | shape | evidence |
+ * | --- | --- |
+ * | `http.Get(url)` / `Head` / `Post` / `PostForm` | the receiver is the `net/http` package itself, resolved through the file's own import table |
+ * | `client.Get(url)` / `Head` / `Post` / `PostForm` / `Do(req)` | the receiver's **declared type** is `http.Client` (pointer stripped), from a parameter, a `:=` composite literal, or a `var` |
+ * | `http.NewRequest(method, url, body)` / `NewRequestWithContext(ctx, method, url, body)` | the receiver is the `net/http` package; verb **and** path are both this call's own arguments — the verb as a string literal or one of `net/http`'s own exported `Method*` constants, the path as a string literal |
+ *
+ * `Do(req)` is refused unconditionally, never traced back to whatever built
+ * `req` — the same shape Java's `OkHttpClient`/`java.net.http.HttpClient`
+ * builder-client rows are refused for (D-FIX-3): the request is a separately
+ * constructed object, and reading through a builder chain to find where it was
+ * built is a different, larger row. `NewRequest`'s own call is a separate,
+ * independent extraction site — its literal arguments are read directly, never
+ * traced forward into whatever `.Do()` call eventually consumes the request it
+ * returns, so nothing here double-counts one HTTP call as two edges.
+ *
+ * ## Why the receiver's type must be written down
+ *
+ * `Get`, `Post`, `Do` are ordinary method names — a cache client, a mock, a
+ * test double could all have one. Admitting a call on the name alone would emit
+ * `USES_API` for anything shaped like `thing.Get(x)`, joining a caller to a
+ * route it never calls. So `client.*` is only admitted when the receiver's
+ * declared type resolves, through the import table, to `net/http.Client` —
+ * the same discipline `routes.ts` already holds for `NewServeMux`.
+ *
+ * ## The origin check, reused rather than re-derived
+ *
+ * `namesAnotherOrigin`/`relativePath` are copied verbatim from
+ * `adapter-java/src/client.ts` (via `adapter-csharp`'s DEC-260/261 fix): only an
+ * unambiguous absolute form (an explicit scheme, or `//host/...`) earns
+ * "another origin"; a bare relative path with no leading slash is `undetermined`
+ * — it may resolve against a `Client.BaseURL` this reader does not see, or it
+ * may not, and claiming either is a guess. This project has now found the
+ * identical latent bug in three languages that copied "does not start with a
+ * scheme" as sufficient evidence; the fourth and fifth (Rust, Ruby, PHP) reuse
+ * this same text rather than re-deriving it a fourth time.
+ */
+import type { Node } from "@descryy/adapter-treesitter";
+import { type IdentityScope, type IRNode } from "@descryy/ir";
+import type { GoFile } from "./parse.ts";
+export interface GoClientCallSite {
+    readonly method: string;
+    readonly template: string;
+    readonly verb: string;
+    readonly line: number;
+    /** `test` when the file is a `_test.go` file, else `production`. */
+    readonly callerKind: "test" | "production";
+}
+export interface GoClientRefusalSite {
+    readonly raw: string;
+    readonly line: number;
+    readonly reason: string;
+    /** DEC-242's `attrs.blockedBy` — the literal blocking expression, or `null`. */
+    readonly blockedBy: string | null;
+    /** DEC-242's `attrs.refusalClass` — `undefined` means unclassified, never askable. */
+    readonly refusalClass: BaseRefusalClass | "out-of-scope" | undefined;
+    /**
+     * Diagnostic only, not part of DEC-242 — see `adapter-rust/src/client.ts`'s
+     * own doc for what this is and why it is not shipped as part of the
+     * contract. Present only on the generic fallthrough of `diagnoseArgument`.
+     */
+    readonly argumentKind?: "field" | "call" | "concatenation" | "other";
+}
+export type BaseRefusalClass = "value-unknown" | "varies-per-call" | "capability-gap";
+export interface GoClientCall extends GoClientCallSite {
+    readonly fromId: string;
+}
+export interface GoClientRefusal extends GoClientRefusalSite {
+    readonly fromId: string;
+}
+/**
+ * Every outbound HTTP call in one function body, with a ledger row for each
+ * refusal.
+ *
+ * `locals` is the function's **already-fully-walked** local table — parameters
+ * and `:=`/`var` declarations alike — so a `*http.Client` parameter and a
+ * `client := &http.Client{}` local are both visible with no separate pass. It
+ * is read, never written: this module adds no new declarations to it.
+ */
+export declare function readGoClientCalls(body: Node, unit: GoFile, locals: ReadonlyMap<string, string | null>, isTest: boolean, parameterNames?: ReadonlySet<string>): {
+    readonly calls: readonly GoClientCallSite[];
+    readonly refusals: readonly GoClientRefusalSite[];
+};
+/**
+ * The `API_ENDPOINT` a call joins to — minted identically to the route side.
+ *
+ * Shares `endpointQsp` with `extract.ts`'s `SERVES_API` block, so the two ids
+ * agree exactly. DEC-115's one hard constraint: two producers that mint
+ * different ids for the same route do not conflict, they silently fail to join.
+ */
+export declare function endpointFor(scope: IdentityScope, call: GoClientCall, producedBy: string, normalise: (template: string) => string): IRNode;
+//# sourceMappingURL=client.d.ts.map

package/dist/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAuB,KAAK,aAAa,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAEnF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAoCzC,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,sFAAsF;IACtF,QAAQ,CAAC,YAAY,EAAE,gBAAgB,GAAG,cAAc,GAAG,SAAS,CAAC;IACrE;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,eAAe,GAAG,OAAO,CAAC;CACtE;AAmBD,MAAM,MAAM,gBAAgB,GAAG,eAAe,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AAqCtF,MAAM,WAAW,YAAa,SAAQ,gBAAgB;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,mBAAmB;IAC1D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAwED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,EAC1C,MAAM,EAAE,OAAO,EACf,cAAc,GAAE,WAAW,CAAC,MAAM,CAAa,GAC9C;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAA;CAAE,CAsHpG;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,YAAY,EAClB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GACtC,MAAM,CAaR"}