@descryy/adapter-go 0.5.0 → 0.5.1

package/dist/adapter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EAML,KAAK,eAAe,EAGpB,KAAK,eAAe,EAMrB,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;;;;;;kCAMkC;AAClC,eAAO,MAAM,eAAe,EAAE,MAErB,CAAC;AACV,eAAO,MAAM,gBAAgB,sBAAuB,CAAC;AAerD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;CAC1C;AAkBD,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,CAyNzE;AAED,2DAA2D;AAC3D,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAS7D;AAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC"}
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EAML,KAAK,eAAe,EAGpB,KAAK,eAAe,EAOrB,MAAM,aAAa,CAAC;AAErB,OAAO,EAA2C,cAAc,EAAwB,MAAM,yBAAyB,CAAC;AAKxH,OAAO,EAA0B,QAAQ,EAA4B,MAAM,cAAc,CAAC;AAG1F,eAAO,MAAM,UAAU,eAAe,CAAC;AACvC;;;;;;kCAMkC;AAClC,eAAO,MAAM,eAAe,EAAE,MAErB,CAAC;AACV,eAAO,MAAM,gBAAgB,sBAAuB,CAAC;AAerD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;CAC1C;AAyBD,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,CAwSzE;AAED,2DAA2D;AAC3D,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAS7D;AAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC"}

package/dist/adapter.js

@@ -6,12 +6,13 @@ import { createHash } from "node:crypto";
 import { createRequire } from "node:module";
 import { existsSync, readFileSync } from "node:fs";
 import { join } from "node:path";
-import { CLIENT_BASE_EXTRACTOR, CLIENT_CALL_EXTRACTOR, ORM_EXTRACTOR, ROUTE_EXTRACTOR, ROUTE_HANDLER_EXTRACTOR, } from "@descryy/ir";
-import { discover, isolateFile, toRepoRelative } from "@descryy/adapter-common";
+import { CLIENT_BASE_EXTRACTOR, CLIENT_CALL_EXTRACTOR, ORM_EXTRACTOR, ROUTE_EXTRACTOR, ROUTE_HANDLER_EXTRACTOR, SHAPE_DIRECTION_EXTRACTOR, } from "@descryy/ir";
+import { discover, extractOrDegrade, 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";
+import { degradedGraph, extract, LANGUAGE, REASONS } from "./extract.js";
+import { goToolchainAvailable, runGoShapeExtractor } from "./go-types.js";
 export const ADAPTER_ID = "adapter-go";
 /** The installed package's own declared version — read directly from this
  *  package's own package.json rather than hardcoded, so the two can never
@@ -78,8 +79,24 @@ export function createGoAdapter(options = {}) {
         capabilities() {
             return {
                 maxResolution: ceiling,
-                nodeTypes: ["MODULE", "CLASS", "MODEL", "FUNCTION", "TEST_CASE", "API_ROUTE", "API_ENDPOINT"],
-                // `IMPLEMENTS` absent: Go satisfaction is structural, needs R3 this adapter lacks. Embedding becomes `INHERITS`.
+                nodeTypes: [
+                    "MODULE",
+                    "CLASS",
+                    "MODEL",
+                    "FUNCTION",
+                    "TEST_CASE",
+                    "API_ROUTE",
+                    "API_ENDPOINT",
+                    // `DTO`: go/types-backed request/response shapes — real only when
+                    // `maxResolution: 3` is requested (`go-types.ts`); an adapter
+                    // instance that never asks for R3 never emits one, so it is
+                    // listed only alongside that opt-in, not unconditionally.
+                    ...(ceiling >= 3 ? ["DTO"] : []),
+                ],
+                // `IMPLEMENTS` absent: Go interface satisfaction is structural and
+                // this adapter does not attempt it. Embedding becomes `INHERITS`.
+                // (R3 exists now, opt-in, for `DTO` shape evidence — see `go-types.ts` —
+                // but that is a different claim from confirming interface satisfaction.)
                 edgeTypes: ["IMPORTS", "CALLS", "READS", "TESTS", "INHERITS", "USES_TYPE", "SERVES_API", "USES_API"],
                 hasCallHierarchy: false,
                 hasTypeHierarchy: false,
@@ -93,6 +110,8 @@ export function createGoAdapter(options = {}) {
                     "github.com/labstack/echo",
                     "github.com/gorilla/mux",
                     "google.golang.org/grpc",
+                    "github.com/gofiber/fiber/v2",
+                    "github.com/gofiber/fiber",
                 ],
                 // Both HTTP boundary halves: route-extractor (pattern 04), client-call-extractor (real USES_API, `client.ts`).
                 // DEC-262: safe either way — never fails a golden pattern, passes genuinely or stays honestly skipped.
@@ -112,6 +131,10 @@ export function createGoAdapter(options = {}) {
                     CLIENT_CALL_EXTRACTOR,
                     CLIENT_BASE_EXTRACTOR,
                     ROUTE_HANDLER_EXTRACTOR,
+                    // `attrs.roles` on the handler -> DTO `USES_TYPE` edge (`extract.ts`'s
+                    // handler pass) — declared only alongside the same `maxResolution: 3`
+                    // opt-in `DTO` itself needs, for the same reason.
+                    ...(ceiling >= 3 ? [SHAPE_DIRECTION_EXTRACTOR] : []),
                 ],
             };
         },
@@ -163,7 +186,40 @@ export function createGoAdapter(options = {}) {
                 }
                 units.push({ ...unit, importPath, buildConstraint: buildConstraintOf(text) });
             }
-            const reached = units.length === 0 ? 0 : ceiling;
+            let reached = units.length === 0 ? 0 : ceiling;
+            // --- R3: go/types shape evidence, opt-in via `maxResolution: 3` -------
+            //
+            // Attempted only when a caller asked for it and there is something to
+            // analyse. **Honest degradation, not a silent cap**: every branch that
+            // fails to reach R3 records why, and `reached` drops back to R2 — this
+            // run never claims a resolution its own evidence does not support
+            // (rule 3). See `go-types.ts`'s header for the full contract and
+            // `DEC-NEXT-go-shapes-toolchain-unverified.md` for what remains
+            // unverified about this path in this environment.
+            let goShapes;
+            let goShapesUnavailableReason;
+            if (reached >= 3) {
+                if (!goToolchainAvailable()) {
+                    goShapesUnavailableReason =
+                        "the Go toolchain (`go`) is not installed or not on PATH — R3 shape evidence needs it to " +
+                            "run go/types against this repository; staying at R2.";
+                    reached = 2;
+                }
+                else {
+                    const outcome = await runGoShapeExtractor({
+                        repoRoot: ctx.root.absolutePath,
+                        signal: ctx.signal,
+                        timeoutMs: Math.max(ctx.prepareTimeoutMs, 60_000),
+                    });
+                    if (outcome.ok) {
+                        goShapes = outcome.result;
+                    }
+                    else {
+                        goShapesUnavailableReason = `go/types shape extraction did not complete: ${outcome.reason} — staying at R2.`;
+                        reached = 2;
+                    }
+                }
+            }
             session = {
                 root: ctx.root,
                 files,
@@ -173,6 +229,8 @@ export function createGoAdapter(options = {}) {
                 unfinished,
                 withoutModule,
                 ownModulePaths: modules.map((m) => m.path),
+                ...(goShapes === undefined ? {} : { goShapes }),
+                ...(goShapesUnavailableReason === undefined ? {} : { goShapesUnavailableReason }),
             };
             return reached;
         },
@@ -225,14 +283,31 @@ export function createGoAdapter(options = {}) {
         if (active === undefined || active.units.length === 0) {
             return { nodes: [], edges: [], unresolved: [] };
         }
-        return extract({
+        // A throw here used to escape `emit()`/`extractNodes()`/`extractEdges()`
+        // and be reported by the caller as the whole language being not
+        // analysable — indistinguishable from this adapter being broken for
+        // every repository. `extractOrDegrade` (`@descryy/adapter-common`) turns
+        // the throw into a disclosed `MODULE`-per-file fallback instead
+        // (`degradedGraph`, in `./extract.ts`) — see that function's doc comment
+        // for why `MODULE` (keyed by the already-resolved import path), not
+        // `FILE`, is the right fallback for Go.
+        const degradedByThrow = (cause) => degradedGraph({
+            repo: active.root.repo,
+            workspace: active.root.workspace,
+            producedBy: PRODUCED_BY,
+            files: active.units,
+            cause,
+        });
+        return extractOrDegrade(() => 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,
             ownModulePaths: active.ownModulePaths,
-        });
+            ...(active.goShapes === undefined ? {} : { goShapes: active.goShapes }),
+            ...(active.goShapesUnavailableReason === undefined ? {} : { goShapesUnavailableReason: active.goShapesUnavailableReason }),
+        }), degradedByThrow);
     }
 }
 /** Content hash of a repo-relative file, for `FileRef`. */

package/dist/adapter.js.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;GAGG;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,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,uBAAuB,GACxB,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;;;;;;kCAMkC;AAClC,MAAM,CAAC,MAAM,eAAe,GAC1B,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAC7E,CAAC,OAAO,CAAC;AACV,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,gJAAgJ;AAChJ,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;AA4BD,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,IAAI,eAAe,GAAsB,EAAE,CAAC;IAC5C,IAAI,gBAAgB,GAAsB,EAAE,CAAC;IAE7C,MAAM,UAAU,GAAG,CAAC,IAAc,EAAqB,EAAE;QACvD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE;YAC/C,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YAC3C,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,gBAAgB,GAAG,KAAK,CAAC;SACjD,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,eAAe,GAAG,MAAM,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,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,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CAAC,WAAW,MAAM,yCAAyC,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CACX,WAAW,gBAAgB,CAAC,MAAM,wDAAwD;oBACxF,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChD,CAAC;YACJ,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,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,CAAC;gBAC7F,iHAAiH;gBACjH,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,CAAC;gBACpG,gBAAgB,EAAE,KAAK;gBACvB,gBAAgB,EAAE,KAAK;gBACvB,yGAAyG;gBACzG,gBAAgB,EAAE,CAAC,QAAQ,CAAC;gBAC5B,mBAAmB,EAAE;oBACnB,UAAU;oBACV,cAAc;oBACd,0BAA0B;oBAC1B,uBAAuB;oBACvB,0BAA0B;oBAC1B,wBAAwB;oBACxB,wBAAwB;iBACzB;gBACD,+GAA+G;gBAC/G,uGAAuG;gBACvG,kEAAkE;gBAClE,sEAAsE;gBACtE,sEAAsE;gBACtE,qEAAqE;gBACrE,sEAAsE;gBACtE,2DAA2D;gBAC3D,0DAA0D;gBAC1D,oEAAoE;gBACpE,oEAAoE;gBACpE,uCAAuC;gBACvC,qBAAqB,EAAE;oBACrB,eAAe;oBACf,aAAa;oBACb,qBAAqB;oBACrB,qBAAqB;oBACrB,uBAAuB;iBACxB;aACF,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,GAAoB;YAChC,uEAAuE;YACvE,6CAA6C;YAC7C,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,sEAAsE;gBACtE,yDAAyD;gBACzD,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;gBACR,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,KAAK;gBACL,KAAK;gBACL,OAAO;gBACP,QAAQ;gBACR,UAAU;gBACV,aAAa;gBACb,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAC3C,CAAC;YACF,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,mEAAmE;oBACnE,iEAAiE;oBACjE,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;YACnB,cAAc,EAAE,MAAM,CAAC,cAAc;SACtC,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,OAAO,KAAK,EAAE,CAAC;QACf,8EAA8E;QAC9E,6EAA6E;QAC7E,MAAM,IAAI,GAAG,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAE,KAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnH,OAAO,cAAc,IAAI,IAAI,QAAQ,EAAE,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC"}
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;GAGG;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,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,cAAc,EAAwB,MAAM,yBAAyB,CAAC;AACxH,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,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAmB,MAAM,cAAc,CAAC;AAC1F,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAsB,MAAM,eAAe,CAAC;AAE9F,MAAM,CAAC,MAAM,UAAU,GAAG,YAAY,CAAC;AACvC;;;;;;kCAMkC;AAClC,MAAM,CAAC,MAAM,eAAe,GAC1B,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAC7E,CAAC,OAAO,CAAC;AACV,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,gJAAgJ;AAChJ,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;AAmCD,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,IAAI,eAAe,GAAsB,EAAE,CAAC;IAC5C,IAAI,gBAAgB,GAAsB,EAAE,CAAC;IAE7C,MAAM,UAAU,GAAG,CAAC,IAAc,EAAqB,EAAE;QACvD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE;YAC/C,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YAC3C,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,gBAAgB,GAAG,KAAK,CAAC;SACjD,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,eAAe,GAAG,MAAM,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,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,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CAAC,WAAW,MAAM,yCAAyC,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CACX,WAAW,gBAAgB,CAAC,MAAM,wDAAwD;oBACxF,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChD,CAAC;YACJ,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;oBACT,QAAQ;oBACR,OAAO;oBACP,OAAO;oBACP,UAAU;oBACV,WAAW;oBACX,WAAW;oBACX,cAAc;oBACd,kEAAkE;oBAClE,8DAA8D;oBAC9D,4DAA4D;oBAC5D,0DAA0D;oBAC1D,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAW,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC5C;gBACD,mEAAmE;gBACnE,kEAAkE;gBAClE,yEAAyE;gBACzE,yEAAyE;gBACzE,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,CAAC;gBACpG,gBAAgB,EAAE,KAAK;gBACvB,gBAAgB,EAAE,KAAK;gBACvB,yGAAyG;gBACzG,gBAAgB,EAAE,CAAC,QAAQ,CAAC;gBAC5B,mBAAmB,EAAE;oBACnB,UAAU;oBACV,cAAc;oBACd,0BAA0B;oBAC1B,uBAAuB;oBACvB,0BAA0B;oBAC1B,wBAAwB;oBACxB,wBAAwB;oBACxB,6BAA6B;oBAC7B,0BAA0B;iBAC3B;gBACD,+GAA+G;gBAC/G,uGAAuG;gBACvG,kEAAkE;gBAClE,sEAAsE;gBACtE,sEAAsE;gBACtE,qEAAqE;gBACrE,sEAAsE;gBACtE,2DAA2D;gBAC3D,0DAA0D;gBAC1D,oEAAoE;gBACpE,oEAAoE;gBACpE,uCAAuC;gBACvC,qBAAqB,EAAE;oBACrB,eAAe;oBACf,aAAa;oBACb,qBAAqB;oBACrB,qBAAqB;oBACrB,uBAAuB;oBACvB,uEAAuE;oBACvE,sEAAsE;oBACtE,kDAAkD;oBAClD,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,yBAAyB,CAAW,CAAC,CAAC,CAAC,EAAE,CAAC;iBAChE;aACF,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,GAAoB;YAChC,uEAAuE;YACvE,6CAA6C;YAC7C,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,sEAAsE;gBACtE,yDAAyD;gBACzD,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,IAAI,OAAO,GAAoB,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAEhE,yEAAyE;YACzE,EAAE;YACF,sEAAsE;YACtE,uEAAuE;YACvE,uEAAuE;YACvE,kEAAkE;YAClE,iEAAiE;YACjE,gEAAgE;YAChE,kDAAkD;YAClD,IAAI,QAAmC,CAAC;YACxC,IAAI,yBAA6C,CAAC;YAClD,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;gBACjB,IAAI,CAAC,oBAAoB,EAAE,EAAE,CAAC;oBAC5B,yBAAyB;wBACvB,0FAA0F;4BAC1F,sDAAsD,CAAC;oBACzD,OAAO,GAAG,CAAC,CAAC;gBACd,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC;wBACxC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY;wBAC/B,MAAM,EAAE,GAAG,CAAC,MAAM;wBAClB,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC;qBAClD,CAAC,CAAC;oBACH,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;wBACf,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;oBAC5B,CAAC;yBAAM,CAAC;wBACN,yBAAyB,GAAG,+CAA+C,OAAO,CAAC,MAAM,mBAAmB,CAAC;wBAC7G,OAAO,GAAG,CAAC,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,GAAG;gBACR,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,KAAK;gBACL,KAAK;gBACL,OAAO;gBACP,QAAQ;gBACR,UAAU;gBACV,aAAa;gBACb,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC1C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;gBAC/C,GAAG,CAAC,yBAAyB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,yBAAyB,EAAE,CAAC;aAClF,CAAC;YACF,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,mEAAmE;oBACnE,iEAAiE;oBACjE,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,yEAAyE;QACzE,gEAAgE;QAChE,oEAAoE;QACpE,yEAAyE;QACzE,gEAAgE;QAChE,yEAAyE;QACzE,oEAAoE;QACpE,wCAAwC;QACxC,MAAM,eAAe,GAAG,CAAC,KAAa,EAAc,EAAE,CACpD,aAAa,CAAC;YACZ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;YACtB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS;YAChC,UAAU,EAAE,WAAW;YACvB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,KAAK;SACN,CAAC,CAAC;QACL,OAAO,gBAAgB,CACrB,GAAG,EAAE,CACH,OAAO,CAAC;YACN,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;YACnB,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;YACvE,GAAG,CAAC,MAAM,CAAC,yBAAyB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,yBAAyB,EAAE,MAAM,CAAC,yBAAyB,EAAE,CAAC;SAC3H,CAAC,EACJ,eAAe,CAChB,CAAC;IACJ,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,OAAO,KAAK,EAAE,CAAC;QACf,8EAA8E;QAC9E,6EAA6E;QAC7E,MAAM,IAAI,GAAG,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAE,KAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnH,OAAO,cAAc,IAAI,IAAI,QAAQ,EAAE,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC"}

package/dist/extract.d.ts

@@ -5,6 +5,7 @@
  */
 import { type IdentityScope, type IREdge, type IRNode, type ResolutionLevel, type UnresolvedRef } from "@descryy/ir";
 import type { GoFile } from "./parse.ts";
+import type { GoShapeResult } from "./go-types.ts";
 export declare const LANGUAGE = "go";
 declare const REASONS: {
     readonly outside: string;
@@ -14,6 +15,8 @@ declare const REASONS: {
     readonly noImportPath: string;
     readonly unknownName: "no declaration for this name in the package, its imports, or the analysed set.";
     readonly routeIdCollision: string;
+    readonly grpcImplUnreadable: string;
+    readonly grpcImplUntyped: string;
 };
 export interface ExtractInput {
     readonly repo: string;
@@ -25,12 +28,62 @@ export interface ExtractInput {
      *  them is ours whether or not this run read it; treating it as a dependency
      *  is the error that never surfaces. Absent = no boundary attribution. */
     readonly ownModulePaths?: readonly string[];
+    /**
+     * `go/types`-backed struct shapes and the handlers that decode/encode them —
+     * `go-types.ts`'s `runGoShapeExtractor`, or absent when this run never
+     * attempted it (the default) or the toolchain/helper was unavailable.
+     * **Only consumed when `reached >= 3`** — `adapter.ts` sets the two
+     * together, and this function re-checks it rather than trusting the caller,
+     * the same defence-in-depth every other resolution-gated pass here applies.
+     */
+    readonly goShapes?: GoShapeResult;
+    /** Set when a caller asked for R3 (`maxResolution: 3`) and this run could not
+     *  reach it — `adapter.ts`'s honest-degradation message, surfaced here as one
+     *  disclosed row rather than swallowed. Never set alongside `goShapes`. */
+    readonly goShapesUnavailableReason?: string;
 }
 export interface Extraction {
     readonly nodes: readonly IRNode[];
     readonly edges: readonly IREdge[];
     readonly unresolved: readonly UnresolvedRef[];
 }
+/**
+ * The fallback graph when `extract()` throws mid-run, per
+ * `DEC-NEXT-degraded-graph-shape-for-adapters-without-one.md`.
+ *
+ * `MODULE`, not `FILE` — unlike C#/Java (whose module identity is a
+ * declaration *inside* the file, exactly the machinery a mid-extraction
+ * throw means just failed), Go's import path is, in this adapter's own
+ * words, "declared, so `qsp` needs no anchor inference": it is resolved from
+ * `go.mod`'s `module` line plus the file's own directory (`modules.ts`'s
+ * `importPathOf`), never from parsing the file's content. `prepare()`
+ * already computed it, successfully, for every unit that reaches this
+ * function — `isolateFile` keeps a per-file parse/walk throw from ever
+ * populating `input.files` in the first place, so a throw here is
+ * necessarily further downstream (cross-file resolution, edge building), not
+ * a sign the identity below is unreliable. Minting `MODULE` with the exact
+ * id computation `extract()`'s own healthy path uses (`namespaceOf` +
+ * `symbolQsp`) means a degraded run's nodes merge with a later healthy run's
+ * for the same files, rather than forking against them the way a generic
+ * `FILE` node would.
+ *
+ * The per-file `try`/`catch` is defensive only: `namespaceOf` reads fields
+ * `prepare()` already resolved without error, so it should be unreachable in
+ * practice. If some future caller ever hands this function a unit whose
+ * fields are not what `prepare()` guarantees, falling back to the shared,
+ * language-blind `fileNode` (`@descryy/adapter-common`) for that one file
+ * keeps the fallback itself from becoming a second uncaught throw.
+ *
+ * One disclosure row, not one per file — the fact is about the run. Anchored
+ * to the first file's node because the ledger requires a `fromNodeId`.
+ */
+export declare function degradedGraph(input: {
+    readonly repo: string;
+    readonly workspace: string | undefined;
+    readonly producedBy: string;
+    readonly files: readonly GoFile[];
+    readonly cause: string;
+}): Extraction;
 export declare function extract(input: ExtractInput): Extraction;
 export { REASONS };
 //# sourceMappingURL=extract.d.ts.map

package/dist/extract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAQL,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAKrB,OAAO,KAAK,EAAE,MAAM,EAA6C,MAAM,YAAY,CAAC;AAIpF,eAAO,MAAM,QAAQ,OAAO,CAAC;AAc7B,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;IAClC;;8EAE0E;IAC1E,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C;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;AAkCD,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,UAAU,CAskCvD;AAED,OAAO,EAAE,OAAO,EAAE,CAAC"}
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAQL,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAOrB,OAAO,KAAK,EAAE,MAAM,EAA6C,MAAM,YAAY,CAAC;AAIpF,OAAO,KAAK,EAAc,aAAa,EAAiB,MAAM,eAAe,CAAC;AAE9E,eAAO,MAAM,QAAQ,OAAO,CAAC;AAc7B,QAAA,MAAM,OAAO;;;;;;;;;;CA8BH,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;IAClC;;8EAE0E;IAC1E,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;IAClC;;+EAE2E;IAC3E,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC;CAC7C;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;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GAAG,UAAU,CA6Cb;AAkCD,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,UAAU,CA+vCvD;AAED,OAAO,EAAE,OAAO,EAAE,CAAC"}

package/dist/extract.js

@@ -4,6 +4,7 @@
  * anchor inference (DEC-047). `IMPLEMENTS` never emitted — structural in Go.
  */
 import { edgeId, endpointQsp, externalQsp, nodeId, normaliseEndpointPath, symbolQsp, testCaseQsp, } from "@descryy/ir";
+import { fileNode } from "@descryy/adapter-common";
 import { attributeExternal } from "./external.js";
 import { isUniverse } from "./parse.js";
 import { fieldReadsIn as gormFieldReadsIn, gormShapeOf, isGormModel } from "./gorm.js";
@@ -33,7 +34,87 @@ const REASONS = {
     routeIdCollision: "this route's method and path are identical to one already emitted, so it collapsed onto " +
         "the same API_ROUTE node and this declaration's own SERVES_API edge and location were " +
         "dropped. The endpoint is real; this specific declaration is not the one the graph kept.",
+    grpcImplUnreadable: "the registration's implementation argument is not an inline `Type{}` (optionally `&Type{}`) value and " +
+        "not a plain name — a wrapper call, a selector expression, or a form this reader does not read. The " +
+        "route is real; the code implementing it is not established.",
+    grpcImplUntyped: "the registration's implementation argument names a value with no declared type this reader could " +
+        "trace to a composite literal — a function parameter, an interface-typed value with no concrete local " +
+        "binding, or a name declared outside the analysed set. The route is real; the code implementing it is " +
+        "not established.",
 };
+/**
+ * The fallback graph when `extract()` throws mid-run, per
+ * `DEC-NEXT-degraded-graph-shape-for-adapters-without-one.md`.
+ *
+ * `MODULE`, not `FILE` — unlike C#/Java (whose module identity is a
+ * declaration *inside* the file, exactly the machinery a mid-extraction
+ * throw means just failed), Go's import path is, in this adapter's own
+ * words, "declared, so `qsp` needs no anchor inference": it is resolved from
+ * `go.mod`'s `module` line plus the file's own directory (`modules.ts`'s
+ * `importPathOf`), never from parsing the file's content. `prepare()`
+ * already computed it, successfully, for every unit that reaches this
+ * function — `isolateFile` keeps a per-file parse/walk throw from ever
+ * populating `input.files` in the first place, so a throw here is
+ * necessarily further downstream (cross-file resolution, edge building), not
+ * a sign the identity below is unreliable. Minting `MODULE` with the exact
+ * id computation `extract()`'s own healthy path uses (`namespaceOf` +
+ * `symbolQsp`) means a degraded run's nodes merge with a later healthy run's
+ * for the same files, rather than forking against them the way a generic
+ * `FILE` node would.
+ *
+ * The per-file `try`/`catch` is defensive only: `namespaceOf` reads fields
+ * `prepare()` already resolved without error, so it should be unreachable in
+ * practice. If some future caller ever hands this function a unit whose
+ * fields are not what `prepare()` guarantees, falling back to the shared,
+ * language-blind `fileNode` (`@descryy/adapter-common`) for that one file
+ * keeps the fallback itself from becoming a second uncaught throw.
+ *
+ * One disclosure row, not one per file — the fact is about the run. Anchored
+ * to the first file's node because the ledger requires a `fromNodeId`.
+ */
+export function degradedGraph(input) {
+    const scope = { repo: input.repo, workspace: input.workspace };
+    const nodes = input.files.map((unit) => {
+        try {
+            const namespace = namespaceOf(unit);
+            const stem = unit.file.slice(unit.file.lastIndexOf("/") + 1).replace(/\.go$/, "");
+            return {
+                id: nodeId(scope, "MODULE", symbolQsp(namespace, [stem]), LANGUAGE),
+                type: "MODULE",
+                name: `${stem}.go`,
+                file: unit.file,
+                range: { startLine: 1, endLine: 1 },
+                language: LANGUAGE,
+                producedBy: input.producedBy,
+                resolution: 0,
+                attrs: { parsed: false },
+            };
+        }
+        catch {
+            return fileNode(scope, unit.file, input.producedBy);
+        }
+    });
+    const anchor = nodes[0];
+    const unresolved = anchor === undefined
+        ? []
+        : [
+            {
+                fromNodeId: anchor.id,
+                edgeType: "IMPORTS",
+                rawTarget: "(entire repository)",
+                file: anchor.file,
+                line: 1,
+                producedBy: input.producedBy,
+                reason: `NO GRAPH WAS PRODUCED for ${String(input.files.length)} Go file(s). ${input.cause}. ` +
+                    "Modules are listed because their import paths are a fact about the filesystem " +
+                    "(go.mod plus directory); their contents are absent. Every finding, coverage figure " +
+                    "and 'not affected' statement over this repository is UNSUPPORTED — this is a failed " +
+                    "analysis, not an empty repository.",
+                attrs: { refusalClass: "capability-gap" },
+            },
+        ];
+    return { nodes, edges: [], unresolved };
+}
 /** How many hops of `var A = B; var B = C` to follow before giving up. */
 const ALIAS_PASSES = 4;
 /** Usually the import path, except Go's external test package (`package storage_test`) is distinct — collapsing them lost `contextDone`/`makeInt64Pointer` on prometheus. */
@@ -100,6 +181,26 @@ export function extract(input) {
     const packages = new Map();
     const moduleIdOf = new Map();
     const ownModulePaths = input.ownModulePaths ?? [];
+    // --- Go/types shape evidence (R3) --------------------------------------
+    //
+    // `input.goShapes.structs` is already the "wanted" set — `goshapes/main.go`
+    // only ever records a struct a handler actually named as a request or
+    // response (`extractor.remember`, mirrored precision-over-recall stance to
+    // `adapter-python`'s DTO promotion never emitting an unreferenced class).
+    // Keyed by `${importPath}::${typeName}`, matching this file's own
+    // `${namespace}::${type.name}` key everywhere else a Go type is looked up.
+    const goStructsReady = input.reached >= 3 && input.goShapes !== undefined;
+    const goStructByKey = new Map();
+    if (goStructsReady) {
+        for (const s of input.goShapes.structs)
+            goStructByKey.set(`${s.importPath}::${s.name}`, s);
+    }
+    /** Populated only as each DTO node is actually minted below — the one
+     *  source of truth for "does this id exist in `nodes`", so the handler ->
+     *  DTO pass a bit further down can never point `USES_TYPE` at a node this
+     *  run did not emit (a dangling edge is exactly the wrong-edge corruption
+     *  rule 2 exists to prevent). */
+    const dtoIdByKey = new Map();
     /**
      * A boundary row, with the package behind it named when the file's own
      * `import` block settles which one it is.
@@ -243,10 +344,19 @@ export function extract(input) {
         });
         for (const type of unit.types) {
             // MODEL is a framework claim and the only evidence for it is a `gorm`
-            // struct tag — see `gorm.ts`. The node type is part of the hash
-            // (DEC-004), so it has to be decided before the id is minted.
+            // struct tag — see `gorm.ts`. DTO is the same kind of promotion, on
+            // go/types evidence instead: a struct is a DTO here iff the Go helper
+            // itself named it as some handler's decoded/encoded shape — never
+            // guessed from the struct's own name or fields. MODEL wins where both
+            // somehow apply (a type that is both persisted and decoded at a
+            // boundary is primarily the table, mirroring `adapter-python`'s own
+            // tie-break — a wrong `MODEL` claims a database, a wrong `DTO` claims a
+            // wire format). The node type is part of the hash (DEC-004), so it has
+            // to be decided before the id is minted.
             const isModel = isGormModel(type);
-            const id = nodeId(scope, isModel ? "MODEL" : "CLASS", symbolQsp(namespace, [type.name]), LANGUAGE);
+            const goShape = !isModel ? goStructByKey.get(`${namespace}::${type.name}`) : undefined;
+            const isDto = goShape !== undefined;
+            const id = nodeId(scope, isModel ? "MODEL" : isDto ? "DTO" : "CLASS", symbolQsp(namespace, [type.name]), LANGUAGE);
             // Legal when behind mutually exclusive build constraints (`gin`'s `Binding`) — one node, alternatives disclosed.
             const existing = pkg.types.get(type.name);
             if (existing !== undefined) {
@@ -254,7 +364,32 @@ export function extract(input) {
                 continue;
             }
             pkg.types.set(type.name, { id, type, unit, isModel });
+            if (isDto)
+                dtoIdByKey.set(`${namespace}::${type.name}`, id);
             const ormAttrs = {};
+            const dtoAttrs = {};
+            if (isDto && goShape !== undefined) {
+                // **R3, unconditionally** — `goStructsReady` already gated whether
+                // `goShape` could exist at all (`input.reached >= 3`), so every DTO
+                // this branch reaches is real go/types evidence, never a hint the
+                // run has to wait on the way `adapter-python`'s annotation-derived
+                // DTO does (DEC-062's tradeoff does not apply here: this shape was
+                // CHECKED, not merely written down).
+                //
+                // `fields` is names and `fieldDetail` is shapes — `adapter-openapi`'s
+                // convention, matched rather than reinvented (golden 05 compares a
+                // list of names; two producers describing the same construct two
+                // ways is the defect DEC-115 exists to prevent for endpoints).
+                dtoAttrs["schema"] = "go-types";
+                dtoAttrs["fields"] = goShape.fields.filter((f) => f.skip !== true).map((f) => f.name);
+                dtoAttrs["fieldDetail"] = goShape.fields.map((f) => ({
+                    name: f.name,
+                    type: f.type,
+                    ...(f.jsonName === undefined ? {} : { jsonName: f.jsonName }),
+                    ...(f.embedded === true ? { embedded: true } : {}),
+                    ...(f.skip === true ? { skip: true } : {}),
+                }));
+            }
             if (isModel) {
                 const shape = gormShapeOf(type, methodsByType.get(`${namespace}::${type.name}`) ?? []);
                 ormAttrs["orm"] = "gorm";
@@ -277,14 +412,14 @@ export function extract(input) {
             }
             nodes.push({
                 id,
-                type: isModel ? "MODEL" : "CLASS",
+                type: isModel ? "MODEL" : isDto ? "DTO" : "CLASS",
                 name: type.name,
                 file: unit.file,
                 range: { startLine: type.startLine, endLine: type.endLine },
                 language: LANGUAGE,
                 producedBy: input.producedBy,
                 resolution: 0,
-                attrs: { declarationForm: type.form, ...ormAttrs },
+                attrs: { declarationForm: type.form, ...ormAttrs, ...dtoAttrs },
             });
         }
         for (const fn of unit.funcs) {
@@ -331,6 +466,53 @@ export function extract(input) {
             }
         }
     }
+    // --- USES_TYPE, handler -> its go/types-confirmed request/response DTO ---
+    //
+    // **R3, and the reason it can be:** unlike a route's own written contract
+    // (a Python `response_model=`, a Java annotation), nothing at a Go
+    // registration site names which struct a handler decodes or encodes —
+    // that fact lives inside the function body, in a `Decode`/`Bind`/`JSON`
+    // call, and finding it needs data flow through a type checker, not a name
+    // to resolve. That is a stronger claim than R2's reference resolution, and
+    // it is exactly what `goShapes` supplies.
+    //
+    // Correlated by `${importPath}::${receiver}.${funcName}` against `packages`'
+    // own `funcs` map — the SAME map `route.handlerRaw` resolution already
+    // trusts a few hundred lines up — and by `dtoIdByKey` for the DTO side, so
+    // an edge is only ever pushed at an id this run actually minted a node
+    // for. Anything that fails to correlate (the go/types pass named a
+    // package or struct this run's own tree-sitter pass never read, or the
+    // struct lived under a namespace the two readers computed differently)
+    // is silently not an edge — a disclosed recall gap between two readers of
+    // the same repository, never a guess at which node was meant.
+    if (goStructsReady) {
+        for (const found of input.goShapes.handlers) {
+            const pkg = packages.get(found.importPath);
+            if (pkg === undefined)
+                continue;
+            const key = found.receiver === undefined ? found.funcName : `${found.receiver}.${found.funcName}`;
+            const fn = pkg.funcs.get(key);
+            if (fn === undefined)
+                continue;
+            const rolesByDto = new Map();
+            const addRole = (ref, role) => {
+                if (ref === undefined)
+                    return;
+                const dtoId = dtoIdByKey.get(`${ref.importPath}::${ref.name}`);
+                if (dtoId === undefined)
+                    return;
+                const roles = rolesByDto.get(dtoId) ?? [];
+                if (!roles.includes(role))
+                    roles.push(role);
+                rolesByDto.set(dtoId, roles);
+            };
+            addRole(found.request, "request");
+            addRole(found.response, "response");
+            for (const [dtoId, roles] of rolesByDto) {
+                push({ from: fn.id, to: dtoId, type: "USES_TYPE", attrs: { roles } }, 3);
+            }
+        }
+    }
     /** A written type name, split into its package qualifier and its own name. */
     const split = (written) => {
         const cut = written.indexOf(".");
@@ -972,6 +1154,52 @@ export function extract(input) {
             }
         }
     }
+    /** The Go function whose body contains this line, innermost first — a registration inside a closure resolves against the closure's own locals, not its enclosing function's. */
+    const enclosingFunc = (unit, line) => {
+        let found;
+        for (const fn of unit.funcs) {
+            if (fn.startLine <= line && line <= fn.endLine) {
+                if (found === undefined || fn.endLine - fn.startLine < found.endLine - found.startLine)
+                    found = fn;
+            }
+        }
+        return found;
+    };
+    /**
+     * `Register<Service>Server(server, impl)`'s `impl` argument, resolved to a
+     * declared type the same way every other receiver in this file is: an
+     * inline composite literal (`&orderServer{}`) names its type directly;
+     * a bare name is looked up against its enclosing function's locals, a
+     * pending call-result binding, then the package's own vars — the same
+     * single-segment case `typeOfPath` already handles, read out here because
+     * the registration site (`grpc.ts`) has no function scope of its own to
+     * hand back.
+     *
+     * Never fails silently: every branch that cannot resolve returns a reason,
+     * and the gRPC loop below discloses it once per route rather than dropping
+     * the registration the way it silently did before (`DEC-NEXT-grpc-handler-
+     * edge-silent-gap`).
+     */
+    const resolveGrpcImplType = (unit, registration) => {
+        const impl = registration.impl;
+        if (impl === undefined)
+            return { reason: REASONS.grpcImplUnreadable };
+        if (impl.kind === "literal")
+            return resolveType(unit, impl.typeWritten);
+        const fn = enclosingFunc(unit, registration.line);
+        const local = fn?.locals.get(impl.name);
+        if (local !== undefined && local !== null)
+            return resolveType(unit, local);
+        if (fn !== undefined && fn.pending.has(impl.name)) {
+            const fromCall = resultTypeOf(unit, fn, impl.name, 0);
+            if (fromCall !== undefined)
+                return fromCall;
+        }
+        const packageLevel = packageVarType(unit, impl.name);
+        if (packageLevel !== undefined)
+            return resolveType(unit, packageLevel);
+        return { reason: REASONS.grpcImplUntyped };
+    };
     // --- gRPC routes — see `grpc.ts`'s own header for the wire-path-is-read, not-
     // invented rationale and the `method: "RPC"` sentinel. Cross-file by nature:
     // a `_FullMethodName` const and the `Register<Service>Server(...)` call site
@@ -1008,6 +1236,9 @@ export function extract(input) {
                 const methods = targetNamespace === undefined ? undefined : grpcMethodsByNamespace.get(targetNamespace)?.get(registration.service);
                 if (methods === undefined || methods.length === 0)
                     continue;
+                // Computed once per registration, not per method: every RPC this
+                // registration serves is implemented by the SAME `impl` value.
+                const implResolution = resolveGrpcImplType(unit, registration);
                 for (const method of methods) {
                     const template = normaliseEndpointPath(method.path);
                     const name = `RPC ${method.path}`;
@@ -1051,6 +1282,25 @@ export function extract(input) {
                         });
                     }
                     push({ from: routeId, to: endpointId, type: "SERVES_API" }, 2);
+                    // --- Which method implements it ------------------------------------
+                    //
+                    // Unlike an HTTP handler, a gRPC method is always named — the const
+                    // this route was minted from already names it. What was missing is
+                    // resolving `impl`'s type and finding that name on it. `SERVES_API`
+                    // stopping here and nothing else being said was the bug: every route
+                    // below gets either a CALLS edge or a disclosed reason, never neither.
+                    if ("declared" in implResolution) {
+                        const target = findMethod(implResolution.declared, method.method);
+                        if (target !== undefined) {
+                            push({ from: routeId, to: target.id, type: "CALLS" }, 2);
+                        }
+                        else {
+                            ledger(routeId, "CALLS", `${registration.service}.${method.method}`, unit, registration.line, REASONS.unmodelled);
+                        }
+                    }
+                    else {
+                        ledger(routeId, "CALLS", `${registration.service}.${method.method}`, unit, registration.line, implResolution.reason);
+                    }
                 }
             }
         }
@@ -1075,6 +1325,24 @@ export function extract(input) {
         }
     }
     const withRoutes = [...disclosed, ...routeNodes.values(), ...endpointNodes.values()];
+    // A caller that asked for R3 and did not get it hears why, the same way a
+    // whole-run degradation does (`degradedGraph`, above) — just scoped to the
+    // one capability that fell back, not the whole graph.
+    if (input.goShapesUnavailableReason !== undefined) {
+        const anchor = withRoutes[0];
+        if (anchor !== undefined) {
+            unresolved.push({
+                fromNodeId: anchor.id,
+                edgeType: "USES_TYPE",
+                rawTarget: "(go/types shape extraction)",
+                file: anchor.file,
+                line: 1,
+                producedBy: input.producedBy,
+                reason: input.goShapesUnavailableReason,
+                attrs: { refusalClass: "capability-gap" },
+            });
+        }
+    }
     return { nodes: withRoutes, edges, unresolved };
 }
 export { REASONS };