@descryy/adapter-go 0.4.1 → 0.5.1

package/dist/gorm.js

@@ -0,0 +1,140 @@
+/**
+ * GORM — Go's `orm-extractor`.
+ *
+ * ## Admission is a struct tag, and that has one useful consequence
+ *
+ * Go has no annotations, so the mapping is declared in a `gorm:"…"` tag — read
+ * from the source text. The ORM library therefore never has to be present at
+ * all, which is the same standing the Java corpus's uninstalled
+ * `jakarta.persistence` import has, reached by a different route.
+ *
+ * `CreateOrderRequest` in the conformance corpus has the same three members as
+ * `Order`. The tag is the only thing separating a table row from a transport
+ * shape, and separating them by name is what precision over recall forbids
+ * (golden 07's note, DEC-043, DEC-056).
+ *
+ * ## The table comes from `TableName()`, never from the NamingStrategy
+ *
+ * GORM derives an untagged type's table from the struct name — snake_cased,
+ * pluralised, with a configurable prefix. That is a convention set in
+ * application code this adapter never reads, so it is **refused**, exactly as
+ * `adapter-java`'s `tableOf()` refuses Hibernate's naming strategy (DEC-127
+ * §2). A `TableName()` method returning a literal is a declaration and is read.
+ *
+ * ## Nullability is the pointer
+ *
+ * Go has no nullable `int64`. A pointer field is how GORM represents a NULL
+ * column and it is the documented mechanism, so the TYPE is the declaration and
+ * there is nothing to infer. `gorm:"not null"` is read where written and
+ * narrows a pointer field to not-nullable, because that is a constraint the
+ * database enforces.
+ *
+ * ## No DATABASE_TABLE / DATABASE_COLUMN, and the reason is specific to Go
+ *
+ * A `column:` tag DOES declare a physical name, so it is tempting to mint on it.
+ * The problem is that the tag is optional and most real structs omit it, leaving
+ * the name to the NamingStrategy. Minting only for the tagged fields would
+ * produce a DATABASE_TABLE carrying the three columns that happen to be tagged
+ * out of the thirty that exist — a node that reads as a complete table and is
+ * not one. Refused wholesale rather than minted for the declared subset.
+ *
+ * Ruby and Rust differ because `db/schema.rb` and Diesel's `table!` are
+ * COMPLETE: every column of the table is in them, by construction.
+ */
+/** The `gorm:"…"` payload of a struct tag, or `undefined`. */
+function gormTag(tag) {
+    if (tag === undefined)
+        return undefined;
+    const match = /\bgorm\s*:\s*"([^"]*)"/.exec(tag);
+    return match?.[1];
+}
+/**
+ * Is this type declared to be a GORM model?
+ *
+ * One `gorm` tag anywhere in the struct, or an embedded `gorm.Model` — which is
+ * the library's own base and is as explicit as a tag.
+ */
+export function isGormModel(type) {
+    if (type.form !== "struct")
+        return false;
+    if (type.embeds.some((name) => name === "Model" || name.endsWith(".Model"))) {
+        // `gorm.Model` embeds ID/CreatedAt/UpdatedAt/DeletedAt. Only accepted when
+        // the embed names gorm specifically — a bare `Model` from another package
+        // would be a name heuristic.
+        if (type.embeds.includes("gorm.Model"))
+            return true;
+    }
+    for (const detail of type.fieldDetail.values()) {
+        if (gormTag(detail.tag) !== undefined)
+            return true;
+    }
+    return false;
+}
+/**
+ * The mapped shape.
+ *
+ * `methods` is every function whose receiver is this type, so `TableName()` can
+ * be found without this module knowing how the adapter indexes them.
+ */
+export function gormShapeOf(type, methods) {
+    const tableName = methods.find((fn) => fn.name === "TableName")?.returnedLiteral;
+    const fields = [];
+    for (const [name, declaredType] of type.fields) {
+        const detail = type.fieldDetail.get(name);
+        if (detail === undefined)
+            continue;
+        const tag = gormTag(detail.tag);
+        if (tag !== undefined && /(^|;)\s*-\s*(;|$)/.test(tag))
+            continue; // `gorm:"-"` is not a column
+        if (tag !== undefined && /\bnot\s*null\b/i.test(tag)) {
+            fields.push({ name, nullable: false, nullableFrom: "tag" });
+            continue;
+        }
+        fields.push(detail.pointer
+            ? { name, nullable: true, nullableFrom: "pointer" }
+            : { name, nullable: false, nullableFrom: "value-type" });
+        void declaredType;
+    }
+    return {
+        table: tableName ?? null,
+        fields: [...fields].sort((a, b) => a.name.localeCompare(b.name)),
+    };
+}
+/**
+ * Field reads in one function, per model.
+ *
+ * Go's parser already records `X.Y` access as a `member` ref, so the only thing
+ * needed here is the receiver's declared type — and only a WRITTEN one counts.
+ * `order := fetch(id)` states nothing at the binding site.
+ */
+export function fieldReadsIn(fn, resolveModel) {
+    const byModel = new Map();
+    for (const ref of fn.refs) {
+        if (ref.kind !== "member" || ref.receiver === undefined)
+            continue;
+        const written = fn.locals.get(ref.receiver);
+        if (written === undefined || written === null)
+            continue;
+        const model = resolveModel(written);
+        if (model === undefined)
+            continue;
+        // A `member` ref's `name` is the access AS WRITTEN — `order.TotalAmount`,
+        // not `TotalAmount`. Golden 07 compares field NAMES, so the receiver is
+        // stripped and only the first segment beyond it is the field this struct
+        // declares: in `order.Customer.Name`, `Customer` is Order's field and
+        // `Name` belongs to whatever type that is.
+        const prefix = `${ref.receiver}.`;
+        const member = ref.name.startsWith(prefix) ? ref.name.slice(prefix.length) : ref.name;
+        const direct = member.split(".")[0];
+        if (direct === undefined || direct === "")
+            continue;
+        let fields = byModel.get(model);
+        if (fields === undefined) {
+            fields = new Set();
+            byModel.set(model, fields);
+        }
+        fields.add(direct);
+    }
+    return [...byModel.entries()].map(([model, fields]) => ({ model, fields: [...fields].sort() }));
+}
+//# sourceMappingURL=gorm.js.map

package/dist/gorm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gorm.js","sourceRoot":"","sources":["../src/gorm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAgBH,8DAA8D;AAC9D,SAAS,OAAO,CAAC,GAAuB;IACtC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,6BAA6B;QAC7B,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;YAAE,OAAO,IAAI,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/C,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,OAA0B;IAClE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,eAAe,CAAC;IAEjF,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,SAAS,IAAI,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,6BAA6B;QAC/F,IAAI,GAAG,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,OAAO;YACZ,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE;YACnD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,CAC1D,CAAC;QACF,KAAK,YAAY,CAAC;IACpB,CAAC;IAED,OAAO;QACL,KAAK,EAAE,SAAS,IAAI,IAAI;QACxB,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KACjE,CAAC;AACJ,CAAC;AAOD;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAU,EACV,YAAyD;IAEzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;YAAE,SAAS;QAClE,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QACxD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,sEAAsE;QACtE,2CAA2C;QAC3C,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,GAAG,CAAC;QAClC,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;QACtF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,EAAE;YAAE,SAAS;QACpD,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC"}

package/dist/grpc.d.ts

@@ -48,12 +48,41 @@ export interface GrpcMethodConst {
     readonly method: string;
     readonly path: string;
 }
+/**
+ * The registration's second argument — the value implementing the service —
+ * in the two shapes this reader can name a type from without a type checker:
+ *
+ *   `kind: "literal"`    `&orderServer{}` / `orderServer{}` — the type is
+ *                        written at the call site itself, `&`/parens unwound.
+ *   `kind: "name"`       `srv` — a bare identifier. Its declared type is not
+ *                        written here; the extract pass resolves it against
+ *                        the enclosing function's locals and the package's
+ *                        vars, the same way it resolves every other receiver.
+ *
+ * Anything else (a call result, a selector, a type assertion on something
+ * other than a composite literal) is not a shape this reader names a type
+ * from — `impl` stays `undefined` on the registration, and the extract pass
+ * discloses that explicitly rather than staying silent about it.
+ */
+export type GrpcImpl = {
+    readonly kind: "literal";
+    readonly typeWritten: string;
+} | {
+    readonly kind: "name";
+    readonly name: string;
+};
 /** `Register<Service>Server(...)` — one per call site, however it was reached. */
 export interface GrpcRegistration {
     readonly service: string;
     /** The package alias the call was made through, or `undefined` for a bare, same-package call. */
     readonly targetPackageAlias: string | undefined;
     readonly line: number;
+    /**
+     * The `impl` argument's own written shape — see {@link GrpcImpl}.
+     * `undefined` when the call did not write exactly two arguments, or the
+     * second is not a shape this reader can name a type from at all.
+     */
+    readonly impl: GrpcImpl | undefined;
 }
 /** Every `_FullMethodName` const declared at this file's package level. */
 export declare function readGrpcMethodConsts(root: Node): GrpcMethodConst[];

package/dist/grpc.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"grpc.d.ts","sourceRoot":"","sources":["../src/grpc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAIxD,6FAA6F;AAC7F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,kFAAkF;AAClF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iGAAiG;IACjG,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAID,2EAA2E;AAC3E,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,GAAG,eAAe,EAAE,CA6BlE;AAID,4FAA4F;AAC5F,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,gBAAgB,EAAE,CAyBpE"}
+{"version":3,"file":"grpc.d.ts","sourceRoot":"","sources":["../src/grpc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAKxD,6FAA6F;AAC7F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErI,kFAAkF;AAClF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iGAAiG;IACjG,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;CACrC;AAaD,2EAA2E;AAC3E,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,GAAG,eAAe,EAAE,CA6BlE;AAID,4FAA4F;AAC5F,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,gBAAgB,EAAE,CAgCpE"}

package/dist/grpc.js

@@ -42,6 +42,18 @@
  * invented privately here — see `DEC-NEXT-grpc-route-identity.md`.
  */
 import { literalOf } from "./routes.js";
+import { receiverTypeAtSite } from "./parse.js";
+/** The registration's second argument, read for a type name — never a guess, `undefined` when unreadable. */
+function implArgOf(node) {
+    if (node === null)
+        return undefined;
+    const literalType = receiverTypeAtSite(node);
+    if (literalType !== undefined)
+        return { kind: "literal", typeWritten: literalType };
+    if (node.type === "identifier")
+        return { kind: "name", name: node.text };
+    return undefined;
+}
 const FULL_METHOD_NAME_CONST = /^([A-Za-z0-9]+)_([A-Za-z0-9]+)_FullMethodName$/;
 /** Every `_FullMethodName` const declared at this file's package level. */
 export function readGrpcMethodConsts(root) {
@@ -85,10 +97,17 @@ export function readGrpcRegistrations(root) {
         if (node.type === "call_expression") {
             const callee = node.childForFieldName("function");
             const line = node.startPosition.row + 1;
+            // `Register<Service>Server(server, impl)` — always exactly two
+            // arguments in every file `protoc-gen-go-grpc` generates. Anything
+            // else means the second position isn't `impl` at all, and `implArgOf`
+            // is not asked to guess at it.
+            const args = node.childForFieldName("arguments");
+            const implNode = args !== null && args.namedChildCount === 2 ? args.namedChild(1) : null;
+            const impl = implArgOf(implNode);
             if (callee !== null && callee.type === "identifier") {
                 const match = REGISTER_SERVER_CALL.exec(callee.text);
                 if (match !== null)
-                    out.push({ service: match[1], targetPackageAlias: undefined, line });
+                    out.push({ service: match[1], targetPackageAlias: undefined, line, impl });
             }
             else if (callee !== null && callee.type === "selector_expression") {
                 const base = callee.childForFieldName("operand");
@@ -96,7 +115,7 @@ export function readGrpcRegistrations(root) {
                 if (base !== null && base.type === "identifier" && member !== null) {
                     const match = REGISTER_SERVER_CALL.exec(member.text);
                     if (match !== null)
-                        out.push({ service: match[1], targetPackageAlias: base.text, line });
+                        out.push({ service: match[1], targetPackageAlias: base.text, line, impl });
                 }
             }
         }

package/dist/grpc.js.map

@@ -1 +1 @@
-{"version":3,"file":"grpc.js","sourceRoot":"","sources":["../src/grpc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAiBxC,MAAM,sBAAsB,GAAG,gDAAgD,CAAC;AAEhF,2EAA2E;AAC3E,MAAM,UAAU,oBAAoB,CAAC,IAAU;IAC7C,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,KAAK,mBAAmB;YAAE,SAAS;QAE/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS;YAE1D,MAAM,KAAK,GAAW,EAAE,CAAC;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvE,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAS,CAAC;YAC9B,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAE7B,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,eAAe,KAAK,CAAC;gBAAE,SAAS;YAC9D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YAEhE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,oBAAoB,GAAG,gCAAgC,CAAC;AAE9D,4FAA4F;AAC5F,MAAM,UAAU,qBAAqB,CAAC,IAAU;IAC9C,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACpD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACrD,IAAI,KAAK,KAAK,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACrG,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACpE,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBACjD,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;gBACjD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACnE,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACrD,IAAI,KAAK,KAAK,IAAI;wBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,kBAAkB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrG,CAAC;YACH,CAAC;QACH,CAAC;QACD,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;IACZ,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"grpc.js","sourceRoot":"","sources":["../src/grpc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAyChD,6GAA6G;AAC7G,SAAS,SAAS,CAAC,IAAiB;IAClC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;IACpF,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACzE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,sBAAsB,GAAG,gDAAgD,CAAC;AAEhF,2EAA2E;AAC3E,MAAM,UAAU,oBAAoB,CAAC,IAAU;IAC7C,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,KAAK,mBAAmB;YAAE,SAAS;QAE/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS;YAE1D,MAAM,KAAK,GAAW,EAAE,CAAC;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvE,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAS,CAAC;YAC9B,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAE7B,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,eAAe,KAAK,CAAC;gBAAE,SAAS;YAC9D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YAEhE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,oBAAoB,GAAG,gCAAgC,CAAC;AAE9D,4FAA4F;AAC5F,MAAM,UAAU,qBAAqB,CAAC,IAAU;IAC9C,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;YACxC,+DAA+D;YAC/D,mEAAmE;YACnE,sEAAsE;YACtE,+BAA+B;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACzF,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACpD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACrD,IAAI,KAAK,KAAK,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3G,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACpE,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBACjD,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;gBACjD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACnE,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACrD,IAAI,KAAK,KAAK,IAAI;wBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,kBAAkB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3G,CAAC;YACH,CAAC;QACH,CAAC;QACD,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;IACZ,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/parse.d.ts

@@ -63,6 +63,16 @@ export interface GoFunc extends GoScope {
     readonly subtests: GoSubtest[];
     /** Declared result type names, in order. `undefined` where not a named type. */
     readonly results: (string | undefined)[];
+    /**
+     * The single interpreted string literal a one-statement `return "…"` body
+     * returns, when that is the whole function.
+     *
+     * Narrow on purpose: this is how Go declares a value that other languages put
+     * in an annotation — GORM's `TableName()`, and nothing else so far. A body
+     * with any other shape states nothing this reader can read, and gets
+     * `undefined` rather than a guess.
+     */
+    readonly returnedLiteral: string | undefined;
     /** Outbound HTTP calls read from this function's body — DEC-262's fork, Go's half. */
     readonly clientCalls: readonly GoClientCallSite[];
     /** Recognised-but-refused outbound HTTP calls, each with its reason. */
@@ -84,6 +94,19 @@ export interface GoType {
     readonly embeds: string[];
     /** Field name -> declared type name, `null` when ambiguous. */
     readonly fields: Map<string, string | null>;
+    /**
+     * Per-field detail a framework extractor needs and CALLS resolution does not:
+     * the struct TAG as written, and whether the type is a pointer.
+     *
+     * Strictly additive to {@link fields}, which keeps its exact meaning. Go has
+     * no annotations, so a tag is the only place a mapping can be declared — and
+     * a pointer is how every Go ORM represents a nullable column, which makes the
+     * type itself the declaration rather than a thing to infer.
+     */
+    readonly fieldDetail: Map<string, {
+        readonly tag: string | undefined;
+        readonly pointer: boolean;
+    }>;
     readonly typeRefs: GoRef[];
 }
 export interface GoFile {
@@ -104,6 +127,14 @@ export interface GoFile {
     readonly aliases: GoAlias[];
     /** Package-level `var`/`const` -> written type. DEC-081's second shape; package scope wasn't tracked before. */
     readonly packageVars: Map<string, string>;
+    /**
+     * Package-level `const`/`var` -> its string-literal VALUE, which is the
+     * only base table Go's per-file parse can offer DEC-164's reader. A
+     * constant declared in a sibling file of the same package is visible to Go
+     * and not to this map — a disclosed recall gap, never a precision one, and
+     * `client-base.ts`'s header says so.
+     */
+    readonly packageConsts: Map<string, string>;
     /** Route registrations read from this file — DEC-117. */
     readonly routes: GoRoute[];
     /** Registrations recognised and refused, each with its reason. */
@@ -123,5 +154,15 @@ export declare function buildConstraintOf(text: string): string | undefined;
 export declare function isUniverse(name: string): boolean;
 /** `*T`, `[]T`, `map[K]T`, `chan T` — the name underneath. */
 export declare function baseTypeName(node: Node | null): string | undefined;
+/**
+ * Receiver type when written: a type assertion, or parenthesised composite
+ * literal. Both previously became `(computed)`.
+ *
+ * Exported for `grpc.ts`: a `Register<Service>Server(server, &impl{})`
+ * registration's `impl` argument is exactly this same shape — a composite
+ * literal, usually behind `&` — and reading it a second, subtly different
+ * way in a second file is how two readers of the same construct drift apart.
+ */
+export declare function receiverTypeAtSite(node: Node): string | undefined;
 export declare function readFile(root: Node, file: string, hasError: boolean): GoFile;
 //# sourceMappingURL=parse.d.ts.map

package/dist/parse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAgB,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAqB,KAAK,gBAAgB,EAAE,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAA+C,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAErH,MAAM,WAAW,KAAK;IACpB,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,oFAAoF;IACpF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,uGAAuG;IACvG,QAAQ,CAAC,YAAY,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzF,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,wHAAwH;AACxH,MAAM,WAAW,WAAW;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qDAAqD;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,oFAAoF;AACpF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IACvB,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC5C,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC3C,0FAA0F;IAC1F,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,sHAAsH;AACtH,MAAM,WAAW,SAAU,SAAQ,OAAO;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,MAAO,SAAQ,OAAO;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC;IAC/B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACzC,sFAAsF;IACtF,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,wEAAwE;IACxE,QAAQ,CAAC,cAAc,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACzD;AAED,uIAAuI;AACvI,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4BAA4B;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;IAC5B,gHAAgH;IAChH,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,aAAa,EAAE,cAAc,EAAE,CAAC;IACzC,gGAAgG;IAChG,QAAQ,CAAC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IAC7C,iFAAiF;IACjF,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,wDAAwD;IACxD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kIAAkI;IAClI,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9C;AAED,0EAA0E;AAC1E,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAOlE;AAYD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEhD;AAED,8DAA8D;AAC9D,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,MAAM,GAAG,SAAS,CAuBlE;AAsGD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAkE5E"}
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAgB,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAqB,KAAK,gBAAgB,EAAE,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAA+C,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAErH,MAAM,WAAW,KAAK;IACpB,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,oFAAoF;IACpF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,uGAAuG;IACvG,QAAQ,CAAC,YAAY,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzF,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,wHAAwH;AACxH,MAAM,WAAW,WAAW;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qDAAqD;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,oFAAoF;AACpF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IACvB,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC5C,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC3C,0FAA0F;IAC1F,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,sHAAsH;AACtH,MAAM,WAAW,SAAU,SAAQ,OAAO;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,MAAO,SAAQ,OAAO;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC;IAC/B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACzC;;;;;;;;OAQG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7C,sFAAsF;IACtF,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,wEAAwE;IACxE,QAAQ,CAAC,cAAc,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACzD;AAED,uIAAuI;AACvI,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC5C;;;;;;;;OAQG;IACH,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACnG,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4BAA4B;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;IAC5B,gHAAgH;IAChH,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,aAAa,EAAE,cAAc,EAAE,CAAC;IACzC,gGAAgG;IAChG,QAAQ,CAAC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IAC7C,iFAAiF;IACjF,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,wDAAwD;IACxD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kIAAkI;IAClI,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9C;AAED,0EAA0E;AAC1E,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAOlE;AAYD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEhD;AAED,8DAA8D;AAC9D,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,MAAM,GAAG,SAAS,CAuBlE;AA2DD;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAgBjE;AA0BD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CA0E5E"}

package/dist/parse.js

@@ -114,8 +114,16 @@ function receiverName(node) {
     // `(*x).f`, `x[0].f`, `f().g` — nothing wrote a name here.
     return "(computed)";
 }
-/** Receiver type when written: a type assertion, or parenthesised composite literal. Both previously became `(computed)`. */
-function receiverTypeAtSite(node) {
+/**
+ * Receiver type when written: a type assertion, or parenthesised composite
+ * literal. Both previously became `(computed)`.
+ *
+ * Exported for `grpc.ts`: a `Register<Service>Server(server, &impl{})`
+ * registration's `impl` argument is exactly this same shape — a composite
+ * literal, usually behind `&` — and reading it a second, subtly different
+ * way in a second file is how two readers of the same construct drift apart.
+ */
+export function receiverTypeAtSite(node) {
     if (node.type === "parenthesized_expression") {
         const inner = node.namedChild(0);
         return inner === null ? undefined : receiverTypeAtSite(inner);
@@ -171,6 +179,7 @@ export function readFile(root, file, hasError) {
         funcs: [],
         aliases: [],
         packageVars: new Map(),
+        packageConsts: new Map(),
         routes: [],
         routeRefusals: [],
         grpcMethodConsts: [],
@@ -180,6 +189,8 @@ export function readFile(root, file, hasError) {
         buildConstraint: undefined,
     };
     let packageName = "";
+    /** Function bodies whose HTTP read is deferred until the whole file is known. */
+    const pending = [];
     for (let i = 0; i < root.namedChildCount; i += 1) {
         const statement = root.namedChild(i);
         if (statement === null)
@@ -207,9 +218,13 @@ export function readFile(root, file, hasError) {
             continue;
         }
         if (statement.type === "function_declaration" || statement.type === "method_declaration") {
-            readFunc(statement, unit, file);
+            readFunc(statement, unit, file, pending);
         }
     }
+    // After the loop, for the same reason the route read below is: the file's
+    // own `const` block and `import` table may sit anywhere relative to the
+    // function that uses them.
+    readClients(unit, pending);
     // After the loop, because provenance is decided by the import table and the
     // import declaration may sit anywhere above the call that uses it.
     const read = readGoRoutes(root, unit);
@@ -258,6 +273,15 @@ function readImports(node, unit) {
         unit.imports.set(alias ?? defaultImportAlias(path), path);
     }
 }
+/** The text of an unescaped Go string literal, or `undefined`. Mirrors `client.ts`'s `literalOf` — an escape means this reader would have to evaluate it. */
+function stringLiteralOf(node) {
+    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, "");
+}
 /** Package-level values with a written type: explicit, or a composite literal. A call/expression is left out — no guessing. */
 function readPackageVars(node, unit) {
     for (let i = 0; i < node.namedChildCount; i += 1) {
@@ -277,16 +301,24 @@ function readPackageVars(node, unit) {
         const name = names[0];
         if (name === undefined)
             continue;
+        const values = spec.childForFieldName("value");
+        const value = values !== null && values.namedChildCount === 1 ? values.namedChild(0) : null;
+        // DEC-164's base table. Recorded even when a type is written, because
+        // `const apiV1Base string = "..."` is the same constant as the untyped
+        // form and the two must not answer differently.
+        if (value !== null) {
+            const literal = stringLiteralOf(value);
+            if (literal !== undefined && !unit.packageConsts.has(name.text))
+                unit.packageConsts.set(name.text, literal);
+        }
         const declared = baseTypeName(spec.childForFieldName("type"));
         if (declared !== undefined) {
             unit.packageVars.set(name.text, declared);
             continue;
         }
-        const values = spec.childForFieldName("value");
-        if (values === null || values.namedChildCount !== 1)
+        if (value === null)
             continue;
-        const value = values.namedChild(0);
-        const written = value === null ? undefined : receiverTypeAtSite(value);
+        const written = receiverTypeAtSite(value);
         if (written !== undefined)
             unit.packageVars.set(name.text, written);
     }
@@ -345,6 +377,7 @@ function readType(spec, unit) {
         endLine: spec.endPosition.row + 1,
         embeds: [],
         fields: new Map(),
+        fieldDetail: new Map(),
         typeRefs: [],
     };
     if (typeNode?.type === "struct_type") {
@@ -370,6 +403,17 @@ function readType(spec, unit) {
             }
             for (const name of names)
                 declare(type.fields, name.text, declared);
+            // `\`gorm:"column:discount_code"\`` — a raw string literal sibling of the
+            // type. Recorded verbatim; what any particular tag MEANS belongs to a
+            // framework extractor, not to this reader.
+            const tagNode = field.namedChildren.find((child) => child?.type === "raw_string_literal");
+            const pointer = fieldType?.type === "pointer_type";
+            for (const name of names) {
+                type.fieldDetail.set(name.text, {
+                    tag: tagNode === undefined || tagNode === null ? undefined : tagNode.text,
+                    pointer,
+                });
+            }
             const written = [];
             allTypeNames(fieldType, written, params);
             for (const each of written) {
@@ -415,7 +459,7 @@ function isTestFunc(name, file) {
 }
 /** The types whose `Run` method declares a subtest. */
 const TEST_RECEIVERS = new Set(["testing.T", "testing.B", "testing.F"]);
-function readFunc(node, unit, file) {
+function readFunc(node, unit, file, pending) {
     const nameNode = node.childForFieldName("name");
     if (nameNode === null)
         return;
@@ -440,6 +484,7 @@ function readFunc(node, unit, file) {
         parameterNames: new Set(),
         subtests: [],
         results: resultTypes(node.childForFieldName("result")),
+        returnedLiteral: soleReturnedLiteral(node.childForFieldName("body")),
     };
     if (receiverList !== null) {
         const declaration = receiverList.namedChild(0);
@@ -461,8 +506,6 @@ function readFunc(node, unit, file) {
             fn.refs.push({ kind: "type", name: each, receiver: undefined, line: fn.startLine, raw: result.text.slice(0, 120) });
         }
     }
-    let clientCalls = [];
-    let clientRefusals = [];
     const body = node.childForFieldName("body");
     if (body !== null) {
         walkBody(body, fn, {
@@ -471,13 +514,88 @@ function readFunc(node, unit, file) {
             suite: fn.isTest ? [name] : [],
             inTest: fn.isTest,
         });
-        // After `walkBody`, so `fn.locals` has every param and `:=`/`var`
-        // declaration, including a `*http.Client` built partway through the body.
-        const client = readGoClientCalls(body, unit, fn.locals, fn.isTest, fn.parameterNames);
-        clientCalls = client.calls;
-        clientRefusals = client.refusals;
     }
-    unit.funcs.push({ ...fn, clientCalls, clientRefusals });
+    // The HTTP read is DEFERRED to `readClients`, after the whole file is read.
+    //
+    // It used to run right here, and that put it before the file's own `const`
+    // block whenever the constant was written below the function that splices
+    // it — so DEC-164's base table answered "not bound" for a base plainly in
+    // view. The origin rule needs the same thing one step further: every base
+    // in the file, before any single call site can be judged.
+    unit.funcs.push({ ...fn, clientCalls: [], clientRefusals: [] });
+    if (body !== null)
+        pending.push({ index: unit.funcs.length - 1, body });
+}
+/**
+ * ONE WALK, READ TWICE — DEC-164's origin rule needs every base in the file
+ * before any single call site can be judged.
+ *
+ * `client-base.ts` admits an absolute call path only at an origin some base in
+ * this same file resolves to, and a base in a function above is still evidence
+ * about this call. The first read collects those origins; the second re-reads
+ * with them in hand, which is the only verdict the evidence can change. With
+ * no absolute base anywhere the set stays empty and the two reads agree, so
+ * the second one costs a tree walk and changes nothing — the same trade
+ * `adapter-typescript` makes.
+ */
+function readClients(unit, pending) {
+    if (pending.length === 0)
+        return;
+    const origins = new Set();
+    for (const { index, body } of pending) {
+        const fn = unit.funcs[index];
+        if (fn === undefined)
+            continue;
+        const first = readGoClientCalls(body, unit, fn.locals, fn.isTest, fn.parameterNames, unit.packageConsts);
+        for (const call of first.calls) {
+            if (call.baseOrigin !== undefined)
+                origins.add(call.baseOrigin);
+        }
+    }
+    for (const { index, body } of pending) {
+        const fn = unit.funcs[index];
+        if (fn === undefined)
+            continue;
+        const client = readGoClientCalls(body, unit, fn.locals, fn.isTest, fn.parameterNames, unit.packageConsts, origins);
+        unit.funcs[index] = { ...fn, clientCalls: client.calls, clientRefusals: client.refusals };
+    }
+}
+/**
+ * `func (Order) TableName() string { return "orders" }` — the literal, or
+ * `undefined` for a body of any other shape.
+ *
+ * Requires the body to be exactly one `return` of exactly one interpreted
+ * string literal. Anything conditional, computed or concatenated is a runtime
+ * fact with nothing written down to read.
+ */
+function soleReturnedLiteral(body) {
+    if (body === null || body.namedChildCount !== 1)
+        return undefined;
+    // A `block`'s single named child is a `statement_list`, not the statement —
+    // found by probing the grammar rather than assuming it, after the first cut
+    // of this read silently returned `undefined` for every method.
+    let statement = body.namedChild(0);
+    if (statement !== null && statement.type === "statement_list") {
+        if (statement.namedChildCount !== 1)
+            return undefined;
+        statement = statement.namedChild(0);
+    }
+    if (statement === null || statement.type !== "return_statement")
+        return undefined;
+    const list = statement.namedChild(0);
+    const value = list !== null && list.type === "expression_list" && list.namedChildCount === 1
+        ? list.namedChild(0)
+        : list;
+    if (value === null || value.type !== "interpreted_string_literal")
+        return undefined;
+    for (let i = 0; i < value.namedChildCount; i += 1) {
+        const child = value.namedChild(i);
+        // An escape sequence means the written text is not the value; refused
+        // rather than reported wrong.
+        if (child !== null && child.type !== "interpreted_string_literal_content")
+            return undefined;
+    }
+    return value.text.slice(1, -1);
 }
 /** Declared result types, in order. `(a, b Foo)` contributes one entry per name; position is what `x, err := f()` binds by. */
 function resultTypes(result) {