@descryy/adapter-kotlin 0.1.0

package/dist/adapter.d.ts

@@ -0,0 +1,27 @@
+/**
+ * The Kotlin `LanguageAdapter` — breadth tier, tenth language.
+ *
+ * The first adapter to **share** an identity anchor rather than define one:
+ * `@descryy/adapter-jvm` is Java's, moved there unchanged because Kotlin answers
+ * the identity question the same way. Sharing rather than copying is the point —
+ * a copied rule is a rule that will hold in one of the two, measured elsewhere
+ * in this project at a two-week silent drift.
+ *
+ * The one place Kotlin diverges from Java is the fallback, and it diverges
+ * toward refusal. See `extract.ts`.
+ */
+import { type LanguageAdapter, type ResolutionLevel } from "@descryy/ir";
+export declare const ADAPTER_ID = "adapter-kotlin";
+export declare const ADAPTER_VERSION = "0.1.0";
+export declare const DEFAULT_KOTLIN_GLOBS: readonly ["**/*.kt"];
+export declare const LANGUAGE = "kotlin";
+export interface KotlinAdapterOptions {
+    readonly globs?: readonly string[];
+    readonly maxResolution?: ResolutionLevel;
+}
+export interface KotlinAdapter extends LanguageAdapter {
+    readonly id: string;
+    readonly version: string;
+}
+export declare function createKotlinAdapter(options?: KotlinAdapterOptions): KotlinAdapter;
+//# sourceMappingURL=adapter.d.ts.map

package/dist/adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAKH,OAAO,EAML,KAAK,eAAe,EAGpB,KAAK,eAAe,EACrB,MAAM,aAAa,CAAC;AASrB,eAAO,MAAM,UAAU,mBAAmB,CAAC;AAC3C,eAAO,MAAM,eAAe,UAAU,CAAC;AACvC,eAAO,MAAM,oBAAoB,sBAAuB,CAAC;AACzD,eAAO,MAAM,QAAQ,WAAW,CAAC;AA2CjC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;CAC1C;AAcD,MAAM,WAAW,aAAc,SAAQ,eAAe;IACpD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAgB,mBAAmB,CAAC,OAAO,GAAE,oBAAyB,GAAG,aAAa,CAkOrF"}

package/dist/adapter.js

@@ -0,0 +1,272 @@
+/**
+ * The Kotlin `LanguageAdapter` — breadth tier, tenth language.
+ *
+ * The first adapter to **share** an identity anchor rather than define one:
+ * `@descryy/adapter-jvm` is Java's, moved there unchanged because Kotlin answers
+ * the identity question the same way. Sharing rather than copying is the point —
+ * a copied rule is a rule that will hold in one of the two, measured elsewhere
+ * in this project at a two-week silent drift.
+ *
+ * The one place Kotlin diverges from Java is the fallback, and it diverges
+ * toward refusal. See `extract.ts`.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import {} from "@descryy/ir";
+import { discover, isolateFile } from "@descryy/adapter-common";
+import { anchorOf, identityPackage, sourceRootOf } from "@descryy/adapter-jvm";
+import { parserFor, parseText } from "@descryy/adapter-treesitter";
+import { readKotlinFile } from "./parse.js";
+import { extract } from "./extract.js";
+export const ADAPTER_ID = "adapter-kotlin";
+export const ADAPTER_VERSION = "0.1.0";
+export const DEFAULT_KOTLIN_GLOBS = ["**/*.kt"];
+export const LANGUAGE = "kotlin";
+const PRODUCED_BY = `${ADAPTER_ID}@${ADAPTER_VERSION}`;
+/**
+ * Where the grammar is, and what to say when it is not there.
+ *
+ * Kotlin's grammar is not published on npm, so unlike the first eight adapters
+ * there is no `require.resolve` fallback. The failure must name the command —
+ * an adapter that cannot parse and does not say so reports an empty graph as a
+ * clean one (DEC-171). Two locations because this module runs from `dist/` when
+ * built and from `src/` under Node's type stripping, which is how the unit
+ * tests import it.
+ */
+function grammarPath() {
+    const candidates = [
+        join(import.meta.dirname, "tree-sitter-kotlin.wasm"),
+        join(import.meta.dirname, "..", "dist", "tree-sitter-kotlin.wasm"),
+    ];
+    for (const candidate of candidates) {
+        if (existsSync(candidate))
+            return candidate;
+    }
+    throw new Error("the Kotlin tree-sitter grammar is not present. It is not published on npm — it is fetched " +
+        "from the grammar author's GitHub release at a pinned sha256 (DEC-171):\n\n" +
+        "    npm run grammar:fetch\n\n" +
+        `Looked in:\n${candidates.map((c) => `    ${c}`).join("\n")}\n` +
+        "Refusing to parse rather than report an empty graph.");
+}
+/** Build output and dependency checkouts are somebody else's source. */
+function isGenerated(file) {
+    const path = `/${file}`;
+    return (path.includes("/build/generated/") ||
+        path.includes("/.gradle/") ||
+        path.includes("/build/tmp/") ||
+        path.includes("/out/production/") ||
+        path.includes("/out/test/"));
+}
+export function createKotlinAdapter(options = {}) {
+    const globs = options.globs ?? DEFAULT_KOTLIN_GLOBS;
+    const ceiling = options.maxResolution ?? 2;
+    let session;
+    let parser;
+    const filesUnder = (root) => discover(root.absolutePath, globs).filter((file) => !isGenerated(file));
+    const current = () => {
+        const live = session;
+        if (live === undefined)
+            return { nodes: [], edges: [], unresolved: [] };
+        return extract({
+            files: live.units,
+            producedBy: PRODUCED_BY,
+            scope: { repo: live.root.repo, ...(live.root.workspace === undefined ? {} : { workspace: live.root.workspace }) },
+            reached: live.reached,
+        });
+    };
+    return {
+        id: ADAPTER_ID,
+        version: ADAPTER_VERSION,
+        async detect(root) {
+            const files = filesUnder(root);
+            const evidence = [];
+            if (files.length > 0)
+                evidence.push(`${files.length} .kt source files outside build output`);
+            // The anchor's reach is the number that decides what this adapter can
+            // emit, so it is stated at detection rather than discovered in a gate.
+            if (files.length > 0) {
+                let anchored = 0;
+                for (const file of files) {
+                    let text;
+                    try {
+                        text = readFileSync(join(root.absolutePath, file), "utf8");
+                    }
+                    catch {
+                        continue;
+                    }
+                    const packageName = /^[ \t]*package[ \t]+([A-Za-z_][\w.`]*)/m.exec(text)?.[1]?.replace(/`/g, "") ?? "";
+                    if (sourceRootOf(file, packageName) !== undefined)
+                        anchored += 1;
+                }
+                evidence.push(`${anchored} of ${files.length} files sit where their package declaration says, so their ` +
+                    "module and source set are derivable. The rest emit nothing: anchoring on the package " +
+                    "alone would give two source sets one identity, which Kotlin Multiplatform produces " +
+                    "deliberately via expect/actual (DEC-173).");
+                evidence.push("Ktor is read on both halves of the contract join: the server routing DSL supplies routes, " +
+                    "and the client's verb functions supply the calls that reach them. Spring MVC/WebFlux " +
+                    "annotations (@RestController/@GetMapping/@RequestMapping) supply routes the same way Java's " +
+                    "own reader does. Retrofit's declarative client interfaces (@GET/@POST on an interface method) " +
+                    "supply the calls that reach them; raw OkHttp (OkHttpClient().newCall(...)) does not — measured " +
+                    "at zero real call sites needing it, on two real corpora, see language-problems.md §9. No ORM " +
+                    "extractor is bound, so models and their columns are reported as not tested rather than absent.");
+                evidence.push("no cross-language edges into Java-declared types are emitted. The reference corpus for " +
+                    "that claim (okhttp) contains no Kotlin-to-Java reference at all, so the rule would " +
+                    "ship unwitnessed.");
+            }
+            return { detected: files.length > 0, roots: files.length > 0 ? [root.absolutePath] : [], evidence };
+        },
+        capabilities() {
+            return {
+                maxResolution: ceiling,
+                nodeTypes: ["MODULE", "CLASS", "FUNCTION", "TEST_CASE", "API_ROUTE", "API_ENDPOINT"],
+                /**
+                 * Kotlin **states** which supertype is the superclass: the constructor
+                 * is invoked (`Base()`) and an interface cannot be. So `INHERITS` and
+                 * `IMPLEMENTS` are separable from source here in a way Swift's are not
+                 * — though the decision is still taken against the declaration table,
+                 * with the syntax as confirmation.
+                 */
+                edgeTypes: ["IMPORTS", "CALLS", "TESTS", "IMPLEMENTS", "INHERITS", "USES_TYPE", "SERVES_API", "USES_API"],
+                hasCallHierarchy: false,
+                hasTypeHierarchy: false,
+                /**
+                 * Directories this ecosystem installs dependencies or build output into —
+                 * DEC-110's end state. The engine used to hold `node_modules`/`vendor`/`target`
+                 * in a hardcoded list; it holds none of them now and consumes this instead.
+                 *
+                 * `isGenerated()` already excludes `/build/generated/` and `/build/tmp/`; the whole
+                 * of Gradle's `build/` is output territory. `target/` covers a Maven-built module.
+                 *
+                 * Names only — the walk matches one path component, so a path or glob matches
+                 * nothing. Nothing dotted — those are skipped structurally already.
+                 */
+                noiseDirectories: ["build", "target"],
+                // Ktor's routing DSL and Spring MVC/WebFlux annotations both supply
+                // routes; Ktor's client and Retrofit's declarative interfaces both
+                // supply calls. No ORM extractor is bound, so patterns 06/07 still
+                // skip naming the capability they wanted.
+                frameworkExtractors: ["ktor", "ktor-client", "spring", "retrofit"],
+                frameworkCapabilities: ["route-extractor", "client-call-extractor"],
+            };
+        },
+        async prepare(ctx) {
+            // Sorted, so which file wins a name collision is a property of the
+            // repository rather than of filesystem order.
+            const files = [...filesUnder(ctx.root)].sort();
+            parser ??= await parserFor(grammarPath());
+            const units = [];
+            const failures = [];
+            const unfinished = [];
+            const withoutAnchor = [];
+            const parsedWithErrors = [];
+            const anchors = new Map();
+            for (const file of files) {
+                if (ctx.signal.aborted)
+                    break;
+                let text;
+                try {
+                    text = readFileSync(join(ctx.root.absolutePath, file), "utf8");
+                }
+                catch (error) {
+                    failures.push({ kind: "unreadable", file, detail: error instanceof Error ? error.message : String(error) });
+                    continue;
+                }
+                const outcome = parseText(parser, file, text);
+                if (outcome.tree === undefined) {
+                    if (outcome.failure !== undefined)
+                        failures.push(outcome.failure);
+                    continue;
+                }
+                // Isolated: a throw in the walk used to cost the run rather than the file.
+                const read = isolateFile(file, () => readKotlinFile(file, { rootNode: outcome.tree.rootNode }));
+                outcome.tree.delete();
+                if (read.failure !== undefined) {
+                    unfinished.push(read.failure);
+                    continue;
+                }
+                const parsed = read.value;
+                if (parsed.hasError)
+                    parsedWithErrors.push(file);
+                // The one divergence from Java, and it is the whole decision: an
+                // underivable source root produces NO identity package, and `extract.ts`
+                // mints nothing for such a file. Java falls back to the bare package;
+                // Kotlin refuses (DEC-173).
+                const sourceRoot = sourceRootOf(file, parsed.packageName);
+                if (sourceRoot === undefined) {
+                    withoutAnchor.push(file);
+                    units.push(parsed);
+                    continue;
+                }
+                let anchor = anchors.get(sourceRoot);
+                if (anchor === undefined) {
+                    anchor = anchorOf(ctx.root.absolutePath, sourceRoot);
+                    // `anchorOf` reads the source set as the segment AFTER the last `src`,
+                    // which is the Maven and Gradle-JVM layout. Kotlin Multiplatform
+                    // inverts it: ktor writes `ktor-io/darwin/src`, source set BEFORE
+                    // `src`, so the rule returns "" for every platform and two source sets
+                    // in one module collapse onto one identity.
+                    //
+                    // Measured before this line existed: 33 colliding MODULE ids on ktor,
+                    // `HttpClient.kt` in `common/src` and `posix/src` among them. The
+                    // refusal in `extract.ts` does not catch these — their source root IS
+                    // derivable, so the failure is in the anchor rather than in the
+                    // subtraction.
+                    //
+                    // The repair is the source root itself, which is already **derived by
+                    // subtracting the package path** rather than matched against a list of
+                    // source-set names. That distinction is the whole reason option 2 was
+                    // struck: `src/<sourceSet>/<lang>` is a convention ktor does not
+                    // follow, and this is not a convention at all — it is what remains
+                    // after the package declaration is removed from the directory.
+                    if (anchor.sourceSet === "")
+                        anchor = { module: anchor.module, sourceSet: sourceRoot };
+                    anchors.set(sourceRoot, anchor);
+                }
+                units.push({ ...parsed, identityPackage: identityPackage(anchor, parsed.packageName, "(default)") });
+            }
+            const reached = units.some((u) => u.identityPackage !== undefined) ? ceiling : 0;
+            session = { root: ctx.root, files, units, reached, failures, unfinished, withoutAnchor, parsedWithErrors };
+            return reached;
+        },
+        async parseFiles(files) {
+            const byFile = new Map((session?.units ?? []).map((unit) => [unit.file, unit]));
+            return files.map((file) => ({ file, tree: byFile.get(file.path) ?? {} }));
+        },
+        extractNodes() {
+            return current().nodes;
+        },
+        extractEdges() {
+            return current().edges;
+        },
+        async emit(ctx) {
+            await this.prepare(ctx);
+            const live = session;
+            const { nodes, edges, unresolved } = current();
+            const failedFiles = new Set([
+                ...(live?.failures ?? []).map((f) => f.file),
+                ...(live?.unfinished ?? []).map((f) => f.file),
+            ]);
+            return {
+                repo: ctx.root.repo,
+                ...(ctx.root.workspace === undefined ? {} : { workspace: ctx.root.workspace }),
+                commitSha: ctx.root.commitSha,
+                producedBy: PRODUCED_BY,
+                sourceFiles: (live?.files ?? []).filter((f) => !failedFiles.has(f)),
+                skippedFiles: [
+                    ...(live?.failures ?? []).map((f) => ({ file: f.file, reason: f.kind, detail: f.detail })),
+                    // `other`: it parsed, and what failed is our walk of it. The detail says which.
+                    ...(live?.unfinished ?? []).map((f) => ({ file: f.file, reason: "other", detail: f.detail })),
+                ],
+                reachedResolution: live?.reached ?? 0,
+                nodes,
+                edges,
+                unresolved,
+            };
+        },
+        async dispose() {
+            session = undefined;
+            parser = undefined;
+        },
+    };
+}
+//# sourceMappingURL=adapter.js.map

package/dist/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAUN,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAwB,MAAM,yBAAyB,CAAC;AACtF,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,SAAS,EAAkC,MAAM,6BAA6B,CAAC;AAEnG,OAAO,EAAE,cAAc,EAAmB,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,CAAC,MAAM,UAAU,GAAG,gBAAgB,CAAC;AAC3C,MAAM,CAAC,MAAM,eAAe,GAAG,OAAO,CAAC;AACvC,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,SAAS,CAAU,CAAC;AACzD,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,MAAM,WAAW,GAAG,GAAG,UAAU,IAAI,eAAe,EAAE,CAAC;AAEvD;;;;;;;;;GASG;AACH,SAAS,WAAW;IAClB,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,yBAAyB,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,yBAAyB,CAAC;KACnE,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;IAC9C,CAAC;IACD,MAAM,IAAI,KAAK,CACb,4FAA4F;QAC1F,4EAA4E;QAC5E,+BAA+B;QAC/B,eAAe,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC/D,sDAAsD,CACzD,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;IACxB,OAAO,CACL,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAC5B,CAAC;AACJ,CAAC;AAwBD,MAAM,UAAU,mBAAmB,CAAC,UAAgC,EAAE;IACpE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,oBAAoB,CAAC;IACpD,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IAC3C,IAAI,OAA4B,CAAC;IACjC,IAAI,MAA0B,CAAC;IAE/B,MAAM,UAAU,GAAG,CAAC,IAAc,EAAqB,EAAE,CACvD,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAE1E,MAAM,OAAO,GAAG,GAAoD,EAAE;QACpE,MAAM,IAAI,GAAG,OAAO,CAAC;QACrB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACxE,OAAO,OAAO,CAAC;YACb,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,WAAW;YACvB,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE;YACjH,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC,CAAC;IACL,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,wCAAwC,CAAC,CAAC;YAE7F,sEAAsE;YACtE,uEAAuE;YACvE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,IAAI,QAAQ,GAAG,CAAC,CAAC;gBACjB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAY,CAAC;oBACjB,IAAI,CAAC;wBACH,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC7D,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;oBACD,MAAM,WAAW,GAAG,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;oBACvG,IAAI,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,SAAS;wBAAE,QAAQ,IAAI,CAAC,CAAC;gBACnE,CAAC;gBACD,QAAQ,CAAC,IAAI,CACX,GAAG,QAAQ,OAAO,KAAK,CAAC,MAAM,4DAA4D;oBACxF,uFAAuF;oBACvF,qFAAqF;oBACrF,2CAA2C,CAC9C,CAAC;gBACF,QAAQ,CAAC,IAAI,CACX,4FAA4F;oBAC1F,uFAAuF;oBACvF,8FAA8F;oBAC9F,gGAAgG;oBAChG,iGAAiG;oBACjG,+FAA+F;oBAC/F,gGAAgG,CACnG,CAAC;gBACF,QAAQ,CAAC,IAAI,CACX,yFAAyF;oBACvF,qFAAqF;oBACrF,mBAAmB,CACtB,CAAC;YACJ,CAAC;YAED,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;QACtG,CAAC;QAED,YAAY;YACV,OAAO;gBACL,aAAa,EAAE,OAAO;gBACtB,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,CAAC;gBACpF;;;;;;mBAMG;gBACH,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,CAAC;gBACzG,gBAAgB,EAAE,KAAK;gBACvB,gBAAgB,EAAE,KAAK;gBACvB;;;;;;;;;;mBAUG;gBACH,gBAAgB,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;gBACrC,oEAAoE;gBACpE,mEAAmE;gBACnE,mEAAmE;gBACnE,0CAA0C;gBAC1C,mBAAmB,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC;gBAClE,qBAAqB,EAAE,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;aACpE,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,GAAoB;YAChC,mEAAmE;YACnE,8CAA8C;YAC9C,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;YAE1C,MAAM,KAAK,GAAiB,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAmB,EAAE,CAAC;YACpC,MAAM,UAAU,GAAsB,EAAE,CAAC;YACzC,MAAM,aAAa,GAAa,EAAE,CAAC;YACnC,MAAM,gBAAgB,GAAa,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuC,CAAC;YAE/D,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,2EAA2E;gBAC3E,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;gBACjG,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,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC1B,IAAI,MAAM,CAAC,QAAQ;oBAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAEjD,iEAAiE;gBACjE,yEAAyE;gBACzE,sEAAsE;gBACtE,4BAA4B;gBAC5B,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;gBAC1D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACnB,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBACrC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;oBACrD,uEAAuE;oBACvE,iEAAiE;oBACjE,kEAAkE;oBAClE,uEAAuE;oBACvE,4CAA4C;oBAC5C,EAAE;oBACF,sEAAsE;oBACtE,kEAAkE;oBAClE,sEAAsE;oBACtE,gEAAgE;oBAChE,eAAe;oBACf,EAAE;oBACF,sEAAsE;oBACtE,uEAAuE;oBACvE,sEAAsE;oBACtE,iEAAiE;oBACjE,mEAAmE;oBACnE,+DAA+D;oBAC/D,IAAI,MAAM,CAAC,SAAS,KAAK,EAAE;wBAAE,MAAM,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;oBACvF,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBAClC,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,eAAe,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;YACvG,CAAC;YAED,MAAM,OAAO,GAAoB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAClG,OAAO,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;YAC3G,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,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,OAAO,CAAC;YACrB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,EAAE,CAAC;YAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;gBAC1B,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC5C,GAAG,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAC/C,CAAC,CAAC;YACH,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,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACnE,YAAY,EAAE;oBACZ,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,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;oBAC1F,gFAAgF;oBAChF,GAAG,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC,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;iBACvG;gBACD,iBAAiB,EAAE,IAAI,EAAE,OAAO,IAAI,CAAC;gBACrC,KAAK;gBACL,KAAK;gBACL,UAAU;aACX,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,OAAO;YACX,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM,GAAG,SAAS,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/client.d.ts

@@ -0,0 +1,93 @@
+/**
+ * HTTP calls made *from* Kotlin — the caller half of the contract join.
+ *
+ * ```
+ *   API_ROUTE ──SERVES_API──▶ API_ENDPOINT ◀──USES_API── caller
+ * ```
+ *
+ * `routes.ts` produces the provider half. This produces the consumer half, and
+ * until it existed `adapter-kotlin` declared no `USES_API` at all, so golden
+ * pattern 08 was skipped rather than passed — declared incapacity, per DEC-043.
+ *
+ * ## Provenance, never the name — and here that is not optional
+ *
+ * `client.get("/orders/1")` is the single most dangerous shape available to a
+ * reader of Kotlin. `adapter-python` measured the equivalent: matching on the
+ * verb name alone would have minted **2,280 edges** to endpoints nothing
+ * serves, because every Django and Flask test suite calls `client.get(...)` on
+ * a *test client* that makes no HTTP request. Ktor's own `testApplication { }`
+ * hands the test a `client` with exactly that shape.
+ *
+ * Two independent conditions, both required:
+ *
+ * | condition | evidence |
+ * | --- | --- |
+ * | the file imports the verb | `io.ktor.client.request.*` (wildcard) or `io.ktor.client.request.get` (explicit) |
+ * | the receiver is a real client | a local or property **constructed** `HttpClient(...)`, or a parameter/property whose **written type** is `HttpClient` |
+ *
+ * The wildcard case is not a convenience — it is the common case. Counted
+ * across the reference set: **385** files write `import io.ktor.client.request.*`
+ * against **3** that import a verb explicitly. A reader that required the
+ * explicit form would have been built for a shape the corpus does not contain,
+ * which is the failure `adapter-python`'s own header records paying for.
+ *
+ * ## Interpolation means the opposite of what it means on the route side
+ *
+ * `routes.ts` **refuses** an interpolated path: a route template is written
+ * literally (`"/orders/{id}"`), so interpolation there means the route is
+ * assembled elsewhere and half of it is an endpoint that does not exist.
+ *
+ * Here it is inverted. `client.get("/orders/$id")` is how a caller writes a
+ * path *parameter*, and the interpolation is precisely the part that must
+ * become `{param}` for the call to join the route that serves it. Refusing it
+ * would refuse the only shape that ever joins.
+ *
+ * Both of Kotlin's interpolation spellings are read — `$id`
+ * (`interpolated_identifier`) and `${id}` (`interpolated_expression`). Naming
+ * only one of them is the defect this adapter's route reader shipped with.
+ *
+ * ## What is refused
+ *
+ * A path that is not a string literal at all · a path that is not
+ * repository-relative, which is an outbound call to somebody else's service and
+ * has no route on this side of the join · an absolute URL, for the same reason
+ * plus [DEC-014](../../../descry-core/DECISIONS.md): an endpoint is host-free,
+ * so `/v1/charges` on Stripe and `/v1/charges` here would be one node ·
+ * a receiver whose name is bound to `HttpClient` in one place and to something
+ * else in another, which this reader cannot separate without a type checker.
+ */
+import type { Node } from "@descryy/adapter-treesitter";
+import type { KotlinImport } from "./parse.ts";
+export interface KotlinClientCall {
+    readonly method: string;
+    /** The path with every interpolation collapsed to `{param}`. */
+    readonly path: string;
+    /** As written, for the ledger and for an adjudicator. */
+    readonly rawPath: string;
+    /** `client.get` — what the call site wrote. */
+    readonly client: string;
+    readonly line: number;
+}
+export interface KotlinClientRefusal {
+    readonly rawTarget: string;
+    readonly reason: string;
+    readonly line: number;
+    /** DEC-242's `attrs.blockedBy` — the literal blocking expression, or `null`. */
+    readonly blockedBy: string | null;
+    /** DEC-242's `attrs.refusalClass` — `undefined` means unclassified, never askable. */
+    readonly refusalClass: BaseRefusalClass | "out-of-scope" | undefined;
+    /**
+     * Diagnostic only, not part of DEC-242 — see `adapter-rust/src/client.ts`'s
+     * own doc for what this is and why it is not shipped as part of the
+     * contract. Present only on the generic fallthrough of `diagnoseArgument`.
+     */
+    readonly argumentKind?: "field" | "call" | "concatenation" | "other";
+}
+export type BaseRefusalClass = "value-unknown" | "varies-per-call" | "capability-gap";
+export interface KotlinClientCalls {
+    readonly calls: readonly KotlinClientCall[];
+    readonly refusals: readonly KotlinClientRefusal[];
+}
+/** Every HTTP call written in one file, and every one refused. */
+export declare function readKtorClientCalls(root: Node, imports: readonly KotlinImport[]): KotlinClientCalls;
+//# sourceMappingURL=client.d.ts.map

package/dist/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAkB/C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,+CAA+C;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,sFAAsF;IACtF,QAAQ,CAAC,YAAY,EAAE,gBAAgB,GAAG,cAAc,GAAG,SAAS,CAAC;IACrE;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,eAAe,GAAG,OAAO,CAAC;CACtE;AAiBD,MAAM,MAAM,gBAAgB,GAAG,eAAe,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AA0CtF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACnD;AA6KD,kEAAkE;AAClE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,iBAAiB,CAgFnG"}