@descryy/adapter-go 0.1.0

package/dist/client.js

@@ -0,0 +1,342 @@
+/**
+ * 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 { endpointQsp, nodeId } from "@descryy/ir";
+const HTTP_PACKAGE = "net/http";
+/** Convenience methods whose name states the verb, on either the package or a `*Client`. */
+const VERB_METHODS = new Map([
+    ["Get", "GET"],
+    ["Head", "HEAD"],
+    ["Post", "POST"],
+    ["PostForm", "POST"],
+]);
+/**
+ * `net/http`'s own exported verb constants — `http.MethodGet`, and so on.
+ *
+ * Reading these is resolution, not inference: `http.MethodGet`'s value is
+ * fixed by the stdlib's own public API (RFC 7231's registered methods), the
+ * same way `http.NewServeMux` names a known constructor in `routes.ts`. This
+ * is the idiomatic form: on `gin` and `prometheus`, `http.NewRequest(http.MethodGet,
+ * ...)` outnumbers a bare `"GET"` string literal by a wide margin. Missing it
+ * would have meant refusing nearly every real `NewRequest` call in both
+ * corpora as "not a bare string literal" — technically true of the argument's
+ * *node type*, but not of what the source actually states.
+ */
+const HTTP_METHOD_CONSTANTS = new Map([
+    ["MethodGet", "GET"],
+    ["MethodHead", "HEAD"],
+    ["MethodPost", "POST"],
+    ["MethodPut", "PUT"],
+    ["MethodPatch", "PATCH"],
+    ["MethodDelete", "DELETE"],
+    ["MethodConnect", "CONNECT"],
+    ["MethodOptions", "OPTIONS"],
+    ["MethodTrace", "TRACE"],
+]);
+const CAPABILITY_GAP = { blockedBy: null, refusalClass: "capability-gap" };
+const VARIES_PER_CALL = { blockedBy: null, refusalClass: "varies-per-call" };
+/** `os.Getenv("X")`, `os.LookupEnv("X")` — the stdlib's own env-read functions. */
+const ENV_READ_PATTERNS = [/^os\.Getenv\(\s*"[^"]*"\s*\)$/, /^os\.LookupEnv\(\s*"[^"]*"\s*\)$/];
+/** Same heuristic as every other adapter's — see `adapter-rust/src/client.ts`'s doc. */
+function argumentKindOf(text) {
+    if (text.endsWith(")") && text.includes("("))
+        return "call";
+    if (text.includes("+"))
+        return "concatenation";
+    if (/^[A-Za-z_][A-Za-z0-9_]*(\.[A-Za-z_][A-Za-z0-9_]*)*$/.test(text))
+        return "field";
+    return "other";
+}
+/**
+ * Why an argument node could not be read as a literal path — a bare
+ * identifier that is the enclosing function's own input parameter, a known
+ * environment-read call, or something this reader does not trace.
+ */
+function diagnoseArgument(text, parameterNames) {
+    if (text === undefined)
+        return CAPABILITY_GAP;
+    const trimmed = text.trim();
+    if (/^[A-Za-z_][A-Za-z0-9_]*$/.test(trimmed) && parameterNames.has(trimmed))
+        return VARIES_PER_CALL;
+    if (ENV_READ_PATTERNS.some((pattern) => pattern.test(trimmed))) {
+        return { blockedBy: trimmed, refusalClass: "value-unknown" };
+    }
+    return { ...CAPABILITY_GAP, argumentKind: argumentKindOf(trimmed) };
+}
+/** The text of a string literal, or `undefined` for anything assembled elsewhere. */
+function literalOf(node) {
+    if (node === null)
+        return undefined;
+    if (node.type !== "interpreted_string_literal" && node.type !== "raw_string_literal")
+        return undefined;
+    const text = node.text;
+    if (text.includes("\\"))
+        return undefined;
+    return text.replace(/^["`]|["`]$/g, "");
+}
+/**
+ * A path this reader will claim: repository-relative, no scheme, no assembly.
+ *
+ * Copied from `adapter-java`/`adapter-csharp`'s `client.ts` — see this file's
+ * own header for why re-derivation is exactly what this row was told not to do.
+ */
+function relativePath(value) {
+    if (!value.startsWith("/"))
+        return undefined;
+    if (value.startsWith("//"))
+        return undefined;
+    const cut = value.indexOf("?");
+    return cut === -1 ? value : value.slice(0, cut);
+}
+/** A literal that unambiguously names a *different* origin. Copied, not re-derived. */
+function namesAnotherOrigin(value) {
+    return /^[a-zA-Z][a-zA-Z0-9+.-]*:\/\//.test(value) || value.startsWith("//");
+}
+/**
+ * Does `base` (as written at a call site) resolve to `net/http` through this
+ * file's own import table? The alias may not be `http` — `import xhttp "net/http"`
+ * is legal Go, and the import table is exactly what already resolves it.
+ */
+function isHttpPackage(base, unit) {
+    return unit.imports.get(base) === HTTP_PACKAGE;
+}
+/**
+ * A verb, from either a string literal (`"GET"`, case-normalised) or one of
+ * `net/http`'s own exported constants (`http.MethodGet`) — see
+ * {@link HTTP_METHOD_CONSTANTS}.
+ */
+function verbOf(node, unit) {
+    const literal = literalOf(node);
+    if (literal !== undefined)
+        return literal.toUpperCase();
+    if (node === null || node.type !== "selector_expression")
+        return undefined;
+    const operand = node.childForFieldName("operand");
+    const field = node.childForFieldName("field");
+    if (operand === null || field === null || operand.type !== "identifier")
+        return undefined;
+    if (!isHttpPackage(operand.text, unit))
+        return undefined;
+    return HTTP_METHOD_CONSTANTS.get(field.text);
+}
+/**
+ * Does a written type name (pointer already stripped by `baseTypeName`, e.g.
+ * `"http.Client"` or `"xhttp.Client"`) resolve to `net/http.Client`?
+ *
+ * `baseTypeName` returns a `qualified_type`'s text verbatim — whatever
+ * qualifier the source actually wrote — so the qualifier is resolved through
+ * the import table exactly as {@link isHttpPackage} does for a package-level
+ * call, rather than string-matched against the literal text `"http.Client"`.
+ */
+function isHttpClientType(written, unit) {
+    if (written === null || written === undefined)
+        return false;
+    const cut = written.indexOf(".");
+    if (cut === -1)
+        return false;
+    const qualifier = written.slice(0, cut);
+    const name = written.slice(cut + 1);
+    return name === "Client" && unit.imports.get(qualifier) === HTTP_PACKAGE;
+}
+/**
+ * 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 function readGoClientCalls(body, unit, locals, isTest, parameterNames = new Set()) {
+    const calls = [];
+    const refusals = [];
+    const callerKind = isTest ? "test" : "production";
+    const admit = (method, verb, rawUrl, line) => {
+        const template = relativePath(rawUrl);
+        if (template !== undefined) {
+            calls.push({ method, verb, template, line, callerKind });
+            return;
+        }
+        if (namesAnotherOrigin(rawUrl)) {
+            refusals.push({
+                raw: `${method}(${rawUrl})`,
+                line,
+                reason: `an HTTP call to \`${rawUrl}\`, which names another origin rather than a path in this repository. A scope boundary, not a gap.`,
+                blockedBy: null,
+                refusalClass: "out-of-scope",
+            });
+            return;
+        }
+        refusals.push({
+            raw: `${method}(${rawUrl})`,
+            line,
+            reason: `an HTTP call to \`${rawUrl}\`, a relative path with no leading slash. This reader cannot tell ` +
+                `whether it resolves inside this repository — against a base URL this call site does not state ` +
+                `— or elsewhere, so neither an endpoint nor a scope boundary is claimed.`,
+            // Not a per-call value and not a named blocking expression either —
+            // this reader just cannot see the base configuration.
+            ...CAPABILITY_GAP,
+        });
+    };
+    const readCall = (call) => {
+        const callee = call.childForFieldName("function");
+        if (callee === null || callee.type !== "selector_expression")
+            return;
+        const base = callee.childForFieldName("operand");
+        const member = callee.childForFieldName("field");
+        if (base === null || member === null || base.type !== "identifier")
+            return;
+        const method = member.text;
+        const line = call.startPosition.row + 1;
+        const args = call.childForFieldName("arguments");
+        const receiverIsPackage = isHttpPackage(base.text, unit);
+        const receiverIsClient = isHttpClientType(locals.get(base.text), unit);
+        if (!receiverIsPackage && !receiverIsClient)
+            return;
+        if (method === "NewRequest" || method === "NewRequestWithContext") {
+            if (!receiverIsPackage)
+                return;
+            // `NewRequest(method, url, body)` / `NewRequestWithContext(ctx, method, url, body)`.
+            const skip = method === "NewRequestWithContext" ? 1 : 0;
+            const methodArg = args?.namedChild(skip) ?? null;
+            const urlArg = args?.namedChild(skip + 1) ?? null;
+            const verb = verbOf(methodArg, unit);
+            const rawUrl = literalOf(urlArg);
+            if (verb === undefined || rawUrl === undefined) {
+                refusals.push({
+                    raw: `${base.text}.${method}(...)`,
+                    line,
+                    reason: `an HTTP request construction whose method is neither a bare string literal nor one of ` +
+                        `net/http's own exported Method constants, or whose URL is not a bare string literal — a ` +
+                        `variable, a concatenation, or an expression this reader does not evaluate.`,
+                    // The URL is the argument DEC-242 cares about naming; a bad verb
+                    // with a fine URL has nothing to name and stays capability-gap.
+                    ...(rawUrl === undefined ? diagnoseArgument(urlArg?.text, parameterNames) : CAPABILITY_GAP),
+                });
+                return;
+            }
+            admit(`${base.text}.${method}`, verb, rawUrl, line);
+            return;
+        }
+        if (method === "Do") {
+            if (!receiverIsClient)
+                return;
+            refusals.push({
+                raw: `${base.text}.Do(...)`,
+                line,
+                reason: `an HTTP call through a *http.Client, via a *http.Request built in a separate expression — ` +
+                    `this adapter reads only \`http.NewRequest\`/\`http.NewRequestWithContext\`'s own literal ` +
+                    `arguments, not a request assembled elsewhere and passed in.`,
+                ...CAPABILITY_GAP,
+            });
+            return;
+        }
+        const verb = VERB_METHODS.get(method);
+        if (verb === undefined)
+            return;
+        // `Get`/`Head`/`Post`/`PostForm` all take the URL as their first argument.
+        const urlArg = args?.namedChild(0) ?? null;
+        const rawUrl = literalOf(urlArg);
+        if (rawUrl === undefined) {
+            refusals.push({
+                raw: `${base.text}.${method}(...)`,
+                line,
+                reason: `an HTTP call through ${receiverIsPackage ? "the net/http package" : "a *http.Client"} whose ` +
+                    `path is not a bare string literal — a variable, a concatenation, or an expression this ` +
+                    `reader does not evaluate.`,
+                ...diagnoseArgument(urlArg?.text, parameterNames),
+            });
+            return;
+        }
+        admit(`${base.text}.${method}`, verb, rawUrl, line);
+    };
+    const visit = (node) => {
+        if (node.type === "call_expression")
+            readCall(node);
+        for (let i = 0; i < node.namedChildCount; i += 1) {
+            const child = node.namedChild(i);
+            if (child !== null)
+                visit(child);
+        }
+    };
+    visit(body);
+    return { calls, refusals };
+}
+/**
+ * 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 function endpointFor(scope, call, producedBy, normalise) {
+    const template = normalise(call.template);
+    return {
+        id: nodeId(scope, "API_ENDPOINT", endpointQsp(call.verb, call.template), null),
+        type: "API_ENDPOINT",
+        name: `${call.verb} ${template}`,
+        file: null,
+        range: null,
+        language: null,
+        producedBy,
+        resolution: 2,
+        attrs: { method: call.verb, pathTemplate: template },
+    };
+}
+//# sourceMappingURL=client.js.map

package/dist/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAmC,MAAM,aAAa,CAAC;AAInF,MAAM,YAAY,GAAG,UAAU,CAAC;AAEhC,4FAA4F;AAC5F,MAAM,YAAY,GAAgC,IAAI,GAAG,CAAC;IACxD,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,UAAU,EAAE,MAAM,CAAC;CACrB,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,qBAAqB,GAAgC,IAAI,GAAG,CAAC;IACjE,CAAC,WAAW,EAAE,KAAK,CAAC;IACpB,CAAC,YAAY,EAAE,MAAM,CAAC;IACtB,CAAC,YAAY,EAAE,MAAM,CAAC;IACtB,CAAC,WAAW,EAAE,KAAK,CAAC;IACpB,CAAC,aAAa,EAAE,OAAO,CAAC;IACxB,CAAC,cAAc,EAAE,QAAQ,CAAC;IAC1B,CAAC,eAAe,EAAE,SAAS,CAAC;IAC5B,CAAC,eAAe,EAAE,SAAS,CAAC;IAC5B,CAAC,aAAa,EAAE,OAAO,CAAC;CACzB,CAAC,CAAC;AAoDH,MAAM,cAAc,GAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC;AAC1F,MAAM,eAAe,GAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,CAAC;AAE5F,mFAAmF;AACnF,MAAM,iBAAiB,GAAG,CAAC,+BAA+B,EAAE,kCAAkC,CAAC,CAAC;AAEhG,wFAAwF;AACxF,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAC5D,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,eAAe,CAAC;IAC/C,IAAI,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IACrF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAwB,EAAE,cAAmC;IACrF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,eAAe,CAAC;IACpG,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC/D,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,GAAG,cAAc,EAAE,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;AACtE,CAAC;AAUD,qFAAqF;AACrF,SAAS,SAAS,CAAC,IAAiB;IAClC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,KAAK,4BAA4B,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,SAAS,CAAC;IACvG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAClD,CAAC;AAED,uFAAuF;AACvF,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,IAAY,EAAE,IAAY;IAC/C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,SAAS,MAAM,CAAC,IAAiB,EAAE,IAAY;IAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC;IACxD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;QAAE,OAAO,SAAS,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAC1F,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACzD,OAAO,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CAAC,OAAkC,EAAE,IAAY;IACxE,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5D,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IACpC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,YAAY,CAAC;AAC3E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAU,EACV,IAAY,EACZ,MAA0C,EAC1C,MAAe,EACf,iBAAsC,IAAI,GAAG,EAAE;IAE/C,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,MAAM,UAAU,GAA0B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC;IAEzE,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,IAAY,EAAE,MAAc,EAAE,IAAY,EAAQ,EAAE;QACjF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;YACzD,OAAO;QACT,CAAC;QACD,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,GAAG,EAAE,GAAG,MAAM,IAAI,MAAM,GAAG;gBAC3B,IAAI;gBACJ,MAAM,EAAE,qBAAqB,MAAM,oGAAoG;gBACvI,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,cAAc;aAC7B,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,GAAG,EAAE,GAAG,MAAM,IAAI,MAAM,GAAG;YAC3B,IAAI;YACJ,MAAM,EACJ,qBAAqB,MAAM,qEAAqE;gBAChG,gGAAgG;gBAChG,yEAAyE;YAC3E,oEAAoE;YACpE,sDAAsD;YACtD,GAAG,cAAc;SAClB,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAQ,EAAE;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO;QACrE,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO;QAE3E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,iBAAiB,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,iBAAiB,IAAI,CAAC,gBAAgB;YAAE,OAAO;QAEpD,IAAI,MAAM,KAAK,YAAY,IAAI,MAAM,KAAK,uBAAuB,EAAE,CAAC;YAClE,IAAI,CAAC,iBAAiB;gBAAE,OAAO;YAC/B,qFAAqF;YACrF,MAAM,IAAI,GAAG,MAAM,KAAK,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,MAAM,SAAS,GAAG,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,EAAE,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;YAClD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC/C,QAAQ,CAAC,IAAI,CAAC;oBACZ,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,OAAO;oBAClC,IAAI;oBACJ,MAAM,EACJ,wFAAwF;wBACxF,0FAA0F;wBAC1F,4EAA4E;oBAC9E,iEAAiE;oBACjE,gEAAgE;oBAChE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;iBAC5F,CAAC,CAAC;gBACH,OAAO;YACT,CAAC;YACD,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACpD,OAAO;QACT,CAAC;QAED,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,IAAI,CAAC,gBAAgB;gBAAE,OAAO;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,UAAU;gBAC3B,IAAI;gBACJ,MAAM,EACJ,4FAA4F;oBAC5F,2FAA2F;oBAC3F,6DAA6D;gBAC/D,GAAG,cAAc;aAClB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,2EAA2E;QAC3E,MAAM,MAAM,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,OAAO;gBAClC,IAAI;gBACJ,MAAM,EACJ,wBAAwB,iBAAiB,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,gBAAgB,SAAS;oBAC9F,yFAAyF;oBACzF,2BAA2B;gBAC7B,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;aAClD,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,IAAI;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IAEZ,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,KAAoB,EACpB,IAAkB,EAClB,UAAkB,EAClB,SAAuC;IAEvC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;QAC9E,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE;QAChC,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,IAAI;QACd,UAAU;QACV,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE;KACrD,CAAC;AACJ,CAAC"}

package/dist/extract.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Go files to Canonical IR.
+ *
+ * ## The package is the unit, and that changes resolution rather than identity
+ *
+ * Files in one Go package share a namespace completely: an unqualified name in
+ * one file resolves to a declaration in another that never mentions it. So the
+ * resolver's first scope is not the file but the package, which is the opposite
+ * of Java and TypeScript, where a file must import what it uses.
+ *
+ * Identity is the easy half. A package's import path is a declared name that
+ * other code writes verbatim, so `qsp = importPath::Symbol` needs none of the
+ * anchor inference TypeScript needs (DEC-047) or the source-set disambiguation
+ * Java needs. Go states it.
+ *
+ * ## What is deliberately not claimed
+ *
+ * **Interface satisfaction.** Go's is structural: a type implements an interface
+ * by having the right methods, and nothing in the source says so. Computing it
+ * needs full method-set comparison, which is R3 evidence, and guessing it from
+ * name similarity would be exactly the kind of edge that corrupts every layer
+ * above. `IMPLEMENTS` is therefore never emitted, and `capabilities()` says so.
+ * Embedding *is* explicit and becomes `INHERITS`.
+ *
+ * `:=` with anything but a composite literal, dot imports, and any receiver that
+ * is not a written name all go to the ledger with their reason.
+ */
+import { type IdentityScope, type IREdge, type IRNode, type ResolutionLevel, type UnresolvedRef } from "@descryy/ir";
+import type { GoFile } from "./parse.ts";
+export declare const LANGUAGE = "go";
+declare const REASONS: {
+    readonly outside: string;
+    readonly unmodelled: string;
+    readonly untypedReceiver: string;
+    readonly dotImport: string;
+    readonly noImportPath: string;
+    readonly unknownName: "no declaration for this name in the package, its imports, or the analysed set.";
+    readonly routeIdCollision: string;
+};
+export interface ExtractInput {
+    readonly repo: string;
+    readonly scope: IdentityScope;
+    readonly producedBy: string;
+    readonly reached: ResolutionLevel;
+    readonly files: readonly GoFile[];
+}
+export interface Extraction {
+    readonly nodes: readonly IRNode[];
+    readonly edges: readonly IREdge[];
+    readonly unresolved: readonly UnresolvedRef[];
+}
+export declare function extract(input: ExtractInput): Extraction;
+export { REASONS };
+//# sourceMappingURL=extract.d.ts.map

package/dist/extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAOL,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAGrB,OAAO,KAAK,EAAE,MAAM,EAA6C,MAAM,YAAY,CAAC;AAGpF,eAAO,MAAM,QAAQ,OAAO,CAAC;AAI7B,QAAA,MAAM,OAAO;;;;;;;;CAqBH,CAAC;AAEX,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C;AAoDD,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,UAAU,CA40BvD;AAED,OAAO,EAAE,OAAO,EAAE,CAAC"}