@descryy/adapter-kotlin 0.1.0

package/dist/retrofit.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Retrofit — the client-side declarative HTTP interface, Kotlin/Android's
+ * dominant client-call shape.
+ *
+ * `language-problems.md` §9's second row: neither Retrofit nor OkHttp had a
+ * reader at all, disclosed only by omission from `frameworkExtractors`.
+ *
+ * ## Structurally different from `client.ts`
+ *
+ * Every other client-call mechanism this project reads — `client.get(path)`
+ * in `client.ts`, `.newCall(request).execute()` for raw OkHttp — is a call
+ * SITE: an expression that, when it runs, performs the request, with an
+ * enclosing function this reader can blame.
+ *
+ * A Retrofit interface method has no such site:
+ *
+ * ```kotlin
+ * interface PokedexService {
+ *   @GET("pokemon/{name}")
+ *   suspend fun fetchPokemonInfo(@Path("name") name: String): ApiResponse<PokemonInfo>
+ * }
+ * ```
+ *
+ * `fetchPokemonInfo` has no body — Retrofit fills it in at runtime with a
+ * generated proxy this reader will never see, the same "no method body, no
+ * AST call site to read at all" shape `adapter-java`'s Feign/`@HttpExchange`
+ * row names, and correctly declines to build for lack of a corpus. Kotlin's
+ * corpus is not empty (`skydoves/Pokedex`, real, widely-used as an Android
+ * reference app: 2 endpoints across 2 methods), which is the only reason this
+ * one is built and that one is not.
+ *
+ * So the edge starts at the ANNOTATED FUNCTION'S OWN id, not at whatever
+ * calls it — the declaration itself is the evidence that calling this
+ * function reaches this endpoint, and ordinary `CALLS` resolution (already
+ * built, unchanged here) is what connects a real caller to it, one hop away.
+ *
+ * ## Why raw OkHttp (`OkHttpClient().newCall(...)`) is measured, not built
+ *
+ * Two real corpora were checked. `tivi` (a large, real, actively maintained
+ * Android app) imports `okhttp3.OkHttpClient` in 6 files — **all 6 are
+ * dependency-injection configuration** (`OkHttpClient.Builder()...build()`
+ * handed to Retrofit), **zero** are a `.newCall(request).execute()` call
+ * site. `okhttp` itself has real call sites in `samples/guide` — but every
+ * one builds its `Request` in a `val request = Request.Builder().url(...)`
+ * two hops from the call, needing the same cross-statement value tracing
+ * `language-problems.md` §0.1 already lists as the class of gap this project
+ * defers everywhere else (Rust's default trait bodies, PHP's raw `curl_*`) —
+ * and every one of those `.url(...)` arguments is an absolute external host
+ * (`https://httpbin.org/...`), which this project refuses on sight (DEC-014)
+ * regardless. Building the trace would move zero edges on either corpus on
+ * disk; this is the same call `adapter-csharp` made for Refit (measured at
+ * zero, disclosed rather than built) and `adapter-rust` made for warp/rocket
+ * — a rule with no witness in evidence is an untaken branch, not a weak one.
+ */
+import type { Node } from "@descryy/adapter-treesitter";
+import type { KotlinImport } from "./parse.ts";
+export interface KotlinRetrofitEndpoint {
+    readonly method: string;
+    /** Repository-relative, leading slash added if Retrofit's own convention omitted one. */
+    readonly path: string;
+    readonly written: string;
+    /** The owning interface/class, outermost first — matches `KotlinFunc.owners`. */
+    readonly owners: readonly string[];
+    readonly funcName: string;
+    readonly line: number;
+}
+export interface KotlinRetrofitRefusal {
+    readonly rawTarget: string;
+    readonly reason: string;
+    readonly line: number;
+}
+export interface KotlinRetrofitEndpoints {
+    readonly declarations: readonly KotlinRetrofitEndpoint[];
+    readonly refusals: readonly KotlinRetrofitRefusal[];
+}
+/** Every Retrofit endpoint declaration anywhere in this file. */
+export declare function readRetrofitEndpoints(root: Node, imports: readonly KotlinImport[]): KotlinRetrofitEndpoints;
+//# sourceMappingURL=retrofit.d.ts.map

package/dist/retrofit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrofit.d.ts","sourceRoot":"","sources":["../src/retrofit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAe/C,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yFAAyF;IACzF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,YAAY,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACrD;AAqED,iEAAiE;AACjE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,uBAAuB,CA4E3G"}

package/dist/retrofit.js

@@ -0,0 +1,195 @@
+/**
+ * Retrofit — the client-side declarative HTTP interface, Kotlin/Android's
+ * dominant client-call shape.
+ *
+ * `language-problems.md` §9's second row: neither Retrofit nor OkHttp had a
+ * reader at all, disclosed only by omission from `frameworkExtractors`.
+ *
+ * ## Structurally different from `client.ts`
+ *
+ * Every other client-call mechanism this project reads — `client.get(path)`
+ * in `client.ts`, `.newCall(request).execute()` for raw OkHttp — is a call
+ * SITE: an expression that, when it runs, performs the request, with an
+ * enclosing function this reader can blame.
+ *
+ * A Retrofit interface method has no such site:
+ *
+ * ```kotlin
+ * interface PokedexService {
+ *   @GET("pokemon/{name}")
+ *   suspend fun fetchPokemonInfo(@Path("name") name: String): ApiResponse<PokemonInfo>
+ * }
+ * ```
+ *
+ * `fetchPokemonInfo` has no body — Retrofit fills it in at runtime with a
+ * generated proxy this reader will never see, the same "no method body, no
+ * AST call site to read at all" shape `adapter-java`'s Feign/`@HttpExchange`
+ * row names, and correctly declines to build for lack of a corpus. Kotlin's
+ * corpus is not empty (`skydoves/Pokedex`, real, widely-used as an Android
+ * reference app: 2 endpoints across 2 methods), which is the only reason this
+ * one is built and that one is not.
+ *
+ * So the edge starts at the ANNOTATED FUNCTION'S OWN id, not at whatever
+ * calls it — the declaration itself is the evidence that calling this
+ * function reaches this endpoint, and ordinary `CALLS` resolution (already
+ * built, unchanged here) is what connects a real caller to it, one hop away.
+ *
+ * ## Why raw OkHttp (`OkHttpClient().newCall(...)`) is measured, not built
+ *
+ * Two real corpora were checked. `tivi` (a large, real, actively maintained
+ * Android app) imports `okhttp3.OkHttpClient` in 6 files — **all 6 are
+ * dependency-injection configuration** (`OkHttpClient.Builder()...build()`
+ * handed to Retrofit), **zero** are a `.newCall(request).execute()` call
+ * site. `okhttp` itself has real call sites in `samples/guide` — but every
+ * one builds its `Request` in a `val request = Request.Builder().url(...)`
+ * two hops from the call, needing the same cross-statement value tracing
+ * `language-problems.md` §0.1 already lists as the class of gap this project
+ * defers everywhere else (Rust's default trait bodies, PHP's raw `curl_*`) —
+ * and every one of those `.url(...)` arguments is an absolute external host
+ * (`https://httpbin.org/...`), which this project refuses on sight (DEC-014)
+ * regardless. Building the trace would move zero edges on either corpus on
+ * disk; this is the same call `adapter-csharp` made for Refit (measured at
+ * zero, disclosed rather than built) and `adapter-rust` made for warp/rocket
+ * — a rule with no witness in evidence is an untaken branch, not a weak one.
+ */
+const HTTP_PACKAGE = "retrofit2.http";
+/** Retrofit's own verb annotations — each carries the path as its own argument, unlike Spring's split prefix/suffix. */
+const VERBS = new Map([
+    ["GET", "GET"],
+    ["POST", "POST"],
+    ["PUT", "PUT"],
+    ["PATCH", "PATCH"],
+    ["DELETE", "DELETE"],
+    ["HEAD", "HEAD"],
+    ["OPTIONS", "OPTIONS"],
+]);
+const namedChildren = (node) => {
+    const out = [];
+    for (let i = 0; i < node.namedChildCount; i += 1) {
+        const child = node.namedChild(i);
+        if (child !== null)
+            out.push(child);
+    }
+    return out;
+};
+const firstOfType = (node, type) => namedChildren(node).find((child) => child.type === type);
+const lineOf = (node) => node.startPosition.row + 1;
+function importsRetrofitHttp(imports) {
+    return imports.some((i) => (i.isWildcard ? i.path === HTTP_PACKAGE : i.path.startsWith(`${HTTP_PACKAGE}.`)));
+}
+/** A plain string literal only — the same whitelist rule every other reader in this adapter applies. */
+function stringLiteralOf(node) {
+    if (node === undefined || node.type !== "string_literal")
+        return undefined;
+    let content = "";
+    for (const child of namedChildren(node)) {
+        if (child.type !== "string_content")
+            return undefined;
+        content += child.text;
+    }
+    return content;
+}
+/** The first Retrofit verb annotation on a declaration's own `modifiers`, if any. */
+function verbAnnotationOf(node) {
+    const modifiers = firstOfType(node, "modifiers");
+    if (modifiers === undefined)
+        return undefined;
+    for (const child of namedChildren(modifiers)) {
+        if (child.type !== "annotation")
+            continue;
+        const invocation = firstOfType(child, "constructor_invocation");
+        const userType = invocation === undefined ? firstOfType(child, "user_type") : firstOfType(invocation, "user_type");
+        const name = userType === undefined ? undefined : firstOfType(userType, "type_identifier")?.text;
+        if (name === undefined)
+            continue;
+        const verb = VERBS.get(name);
+        if (verb === undefined)
+            continue;
+        const valueArgs = invocation === undefined ? undefined : firstOfType(invocation, "value_arguments");
+        const firstArg = valueArgs === undefined ? undefined : firstOfType(valueArgs, "value_argument");
+        // Retrofit's verb annotations take one POSITIONAL argument — never named.
+        const value = firstArg === undefined ? undefined : namedChildren(firstArg)[0];
+        return { verb, arg: value, hasArgument: firstArg !== undefined, line: lineOf(child) };
+    }
+    return undefined;
+}
+/** `pokemon/{name}` -> `/pokemon/{name}` — Retrofit's own paths are written relative with no leading slash. */
+function withLeadingSlash(path) {
+    return path.startsWith("/") ? path : `/${path}`;
+}
+const ABSOLUTE_URL = /^[a-zA-Z][\w+.-]*:\/\//;
+/** Every Retrofit endpoint declaration anywhere in this file. */
+export function readRetrofitEndpoints(root, imports) {
+    const declarations = [];
+    const refusals = [];
+    if (!importsRetrofitHttp(imports))
+        return { declarations, refusals };
+    const walk = (node, owners) => {
+        for (const child of namedChildren(node)) {
+            if (child.type === "class_declaration" || child.type === "object_declaration") {
+                const name = firstOfType(child, "type_identifier")?.text;
+                const body = namedChildren(child).find((c) => c.type === "class_body" || c.type === "enum_class_body");
+                if (name !== undefined && body !== undefined)
+                    walk(body, [...owners, name]);
+                continue;
+            }
+            if (child.type === "lambda_literal" || child.type === "object_literal") {
+                // Mirrors `parse.ts`'s own guards: a declaration inside a lambda or an
+                // anonymous object has no stable owner path to attribute an endpoint to.
+                continue;
+            }
+            if (child.type === "function_declaration") {
+                const verbAnnotation = verbAnnotationOf(child);
+                if (verbAnnotation === undefined)
+                    continue;
+                const funcName = firstOfType(child, "simple_identifier")?.text;
+                if (funcName === undefined)
+                    continue;
+                if (!verbAnnotation.hasArgument) {
+                    // Retrofit requires the path on every verb annotation — unlike
+                    // Spring's "no argument means the class prefix", a bare `@GET`
+                    // names no endpoint at all and cannot be widened to one.
+                    refusals.push({
+                        rawTarget: `@${verbAnnotation.verb}`,
+                        reason: "a Retrofit endpoint annotation with no path argument.",
+                        line: verbAnnotation.line,
+                    });
+                    continue;
+                }
+                const raw = stringLiteralOf(verbAnnotation.arg);
+                if (raw === undefined) {
+                    refusals.push({
+                        rawTarget: `@${verbAnnotation.verb}`,
+                        reason: "a Retrofit endpoint annotation whose path is not a plain string literal. Refused rather " +
+                            "than guessed: half a template is an endpoint that does not exist.",
+                        line: verbAnnotation.line,
+                    });
+                    continue;
+                }
+                if (ABSOLUTE_URL.test(raw)) {
+                    refusals.push({
+                        rawTarget: raw,
+                        reason: "a Retrofit endpoint annotation naming an absolute URL, overriding the client's base URL. " +
+                            "An endpoint is host-free (DEC-014), so this names a host outside this repository.",
+                        line: verbAnnotation.line,
+                    });
+                    continue;
+                }
+                declarations.push({
+                    method: verbAnnotation.verb,
+                    path: withLeadingSlash(raw),
+                    written: raw,
+                    owners,
+                    funcName,
+                    line: verbAnnotation.line,
+                });
+                continue;
+            }
+            if (child.namedChildCount > 0)
+                walk(child, owners);
+        }
+    };
+    walk(root, []);
+    return { declarations, refusals };
+}
+//# sourceMappingURL=retrofit.js.map

package/dist/retrofit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrofit.js","sourceRoot":"","sources":["../src/retrofit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAMH,MAAM,YAAY,GAAG,gBAAgB,CAAC;AAEtC,wHAAwH;AACxH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAiB;IACpC,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,SAAS,EAAE,SAAS,CAAC;CACvB,CAAC,CAAC;AAwBH,MAAM,aAAa,GAAG,CAAC,IAAU,EAAU,EAAE;IAC3C,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,IAAY,EAAoB,EAAE,CACjE,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAE3D,MAAM,MAAM,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;AAElE,SAAS,mBAAmB,CAAC,OAAgC;IAC3D,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC;AAC/G,CAAC;AAED,wGAAwG;AACxG,SAAS,eAAe,CAAC,IAAsB;IAC7C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC3E,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,SAAS,CAAC;QACtD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAUD,qFAAqF;AACrF,SAAS,gBAAgB,CAAC,IAAU;IAClC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAC1C,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,wBAAwB,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACnH,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;QACjG,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QAEjC,MAAM,SAAS,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QACpG,MAAM,QAAQ,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QAChG,0EAA0E;QAC1E,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,KAAK,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACxF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+GAA+G;AAC/G,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,YAAY,GAAG,wBAAwB,CAAC;AAE9C,iEAAiE;AACjE,MAAM,UAAU,qBAAqB,CAAC,IAAU,EAAE,OAAgC;IAChF,MAAM,YAAY,GAA6B,EAAE,CAAC;IAClD,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;IAErE,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,MAAyB,EAAQ,EAAE;QAC3D,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAC9E,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;gBACzD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;gBACvG,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;oBAAE,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC5E,SAAS;YACX,CAAC;YAED,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACvE,uEAAuE;gBACvE,yEAAyE;gBACzE,SAAS;YACX,CAAC;YAED,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBAC1C,MAAM,cAAc,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;gBAC/C,IAAI,cAAc,KAAK,SAAS;oBAAE,SAAS;gBAC3C,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,mBAAmB,CAAC,EAAE,IAAI,CAAC;gBAC/D,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS;gBAErC,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,CAAC;oBAChC,+DAA+D;oBAC/D,+DAA+D;oBAC/D,yDAAyD;oBACzD,QAAQ,CAAC,IAAI,CAAC;wBACZ,SAAS,EAAE,IAAI,cAAc,CAAC,IAAI,EAAE;wBACpC,MAAM,EAAE,uDAAuD;wBAC/D,IAAI,EAAE,cAAc,CAAC,IAAI;qBAC1B,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,MAAM,GAAG,GAAG,eAAe,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;gBAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,QAAQ,CAAC,IAAI,CAAC;wBACZ,SAAS,EAAE,IAAI,cAAc,CAAC,IAAI,EAAE;wBACpC,MAAM,EACJ,0FAA0F;4BAC1F,mEAAmE;wBACrE,IAAI,EAAE,cAAc,CAAC,IAAI;qBAC1B,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC;wBACZ,SAAS,EAAE,GAAG;wBACd,MAAM,EACJ,2FAA2F;4BAC3F,mFAAmF;wBACrF,IAAI,EAAE,cAAc,CAAC,IAAI;qBAC1B,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBAED,YAAY,CAAC,IAAI,CAAC;oBAChB,MAAM,EAAE,cAAc,CAAC,IAAI;oBAC3B,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC3B,OAAO,EAAE,GAAG;oBACZ,MAAM;oBACN,QAAQ;oBACR,IAAI,EAAE,cAAc,CAAC,IAAI;iBAC1B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC;gBAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAEf,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AACpC,CAAC"}

package/dist/routes.d.ts

@@ -0,0 +1,54 @@
+/**
+ * `API_ROUTE` from Kotlin source — Ktor's routing DSL.
+ *
+ *     API_ROUTE ──SERVES_API──▶ API_ENDPOINT ◀──USES_API── caller
+ *
+ * ## Provenance is the block, never the bare name
+ *
+ * Ktor's routing functions — `get`, `post`, `route`, and the rest — are bare
+ * calls with no receiver: `routing { get("/x") { ... } }` reads as an
+ * implicit-receiver lambda, the same shape Kotlin uses for scope functions,
+ * builders and half of its standard library. `get` alone is not evidence of
+ * anything; a config DSL, a map builder or a test fixture can all declare a
+ * function named `get`. So the file must first **import** `io.ktor.server
+ * .routing.routing` (or the wildcard `io.ktor.server.routing.*`), and only
+ * the lambda passed to a bare `routing(...)` call in that file is walked at
+ * all. Everything found outside one is not a route and not a gap.
+ *
+ * ## The path is composed from nesting, and only from nesting
+ *
+ * `route("/orders") { get("/{id}") { ... } }` registers `GET /orders/{id}`;
+ * `route("/orders") { get { ... } }` registers `GET /orders` — no trailing
+ * segment at all. Both are read by tracking the accumulated prefix through
+ * each `route(...)` a verb call sits inside, never by string-matching the
+ * two together after the fact.
+ *
+ * A call whose name is neither a verb nor `route` — `authenticate(...) {
+ * ... }`, `intercept(...) { ... }`, a plain `if` — is not descended into.
+ * Ktor's middleware DSL is larger than this reader knows, and stopping at
+ * the boundary of what is understood is the disclosed gap; guessing that an
+ * unknown wrapper does not consume a path segment would be a claim this
+ * reader cannot back up for constructs it has never read.
+ */
+import type { Node } from "@descryy/adapter-treesitter";
+import type { KotlinImport } from "./parse.ts";
+export interface KotlinRoute {
+    readonly method: string;
+    /** The template as composed from nesting, before generic normalisation. */
+    readonly template: string;
+    readonly written: string;
+    readonly framework: string;
+    readonly line: number;
+}
+export interface KotlinRouteRefusal {
+    readonly rawTarget: string;
+    readonly reason: string;
+    readonly line: number;
+}
+export interface KotlinRoutes {
+    readonly declarations: readonly KotlinRoute[];
+    readonly refusals: readonly KotlinRouteRefusal[];
+}
+/** Every route registration in one file, with a ledger row for each refusal. */
+export declare function readKtorRoutes(root: Node, imports: readonly KotlinImport[]): KotlinRoutes;
+//# sourceMappingURL=routes.d.ts.map

package/dist/routes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"routes.d.ts","sourceRoot":"","sources":["../src/routes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAgB/C,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAClD;AAuHD,gFAAgF;AAChF,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY,CAkFzF"}

package/dist/routes.js

@@ -0,0 +1,231 @@
+/**
+ * `API_ROUTE` from Kotlin source — Ktor's routing DSL.
+ *
+ *     API_ROUTE ──SERVES_API──▶ API_ENDPOINT ◀──USES_API── caller
+ *
+ * ## Provenance is the block, never the bare name
+ *
+ * Ktor's routing functions — `get`, `post`, `route`, and the rest — are bare
+ * calls with no receiver: `routing { get("/x") { ... } }` reads as an
+ * implicit-receiver lambda, the same shape Kotlin uses for scope functions,
+ * builders and half of its standard library. `get` alone is not evidence of
+ * anything; a config DSL, a map builder or a test fixture can all declare a
+ * function named `get`. So the file must first **import** `io.ktor.server
+ * .routing.routing` (or the wildcard `io.ktor.server.routing.*`), and only
+ * the lambda passed to a bare `routing(...)` call in that file is walked at
+ * all. Everything found outside one is not a route and not a gap.
+ *
+ * ## The path is composed from nesting, and only from nesting
+ *
+ * `route("/orders") { get("/{id}") { ... } }` registers `GET /orders/{id}`;
+ * `route("/orders") { get { ... } }` registers `GET /orders` — no trailing
+ * segment at all. Both are read by tracking the accumulated prefix through
+ * each `route(...)` a verb call sits inside, never by string-matching the
+ * two together after the fact.
+ *
+ * A call whose name is neither a verb nor `route` — `authenticate(...) {
+ * ... }`, `intercept(...) { ... }`, a plain `if` — is not descended into.
+ * Ktor's middleware DSL is larger than this reader knows, and stopping at
+ * the boundary of what is understood is the disclosed gap; guessing that an
+ * unknown wrapper does not consume a path segment would be a claim this
+ * reader cannot back up for constructs it has never read.
+ */
+const ROUTING_PACKAGE = "io.ktor.server.routing";
+const ROUTING_FUNCTION = `${ROUTING_PACKAGE}.routing`;
+/** Ktor's verb functions, and the HTTP method each one names. */
+const VERB_METHODS = new Map([
+    ["get", "GET"],
+    ["post", "POST"],
+    ["put", "PUT"],
+    ["patch", "PATCH"],
+    ["delete", "DELETE"],
+    ["head", "HEAD"],
+    ["options", "OPTIONS"],
+]);
+const namedChildren = (node) => {
+    const out = [];
+    for (let i = 0; i < node.namedChildCount; i += 1) {
+        const child = node.namedChild(i);
+        if (child !== null)
+            out.push(child);
+    }
+    return out;
+};
+const firstOfType = (node, type) => namedChildren(node).find((child) => child.type === type);
+// `firstDescendantOfType` lived here to serve the interpolation blacklist and
+// was deleted with it — see `stringLiteralOf`. A descendant search for a
+// *forbidden* node is the shape of that defect, not a helper worth keeping.
+/** The text of a plain string literal — `"/orders"` — or `undefined` for anything with interpolation. */
+function stringLiteralOf(argument) {
+    if (argument === undefined)
+        return undefined;
+    const literal = argument.type === "string_literal" ? argument : firstOfType(argument, "string_literal");
+    if (literal === undefined)
+        return undefined;
+    // **Every child must be plain content — a whitelist, never a blacklist.**
+    //
+    // This previously named the one interpolation node it knew about
+    // (`interpolated_expression`, the `${...}` form) and accepted anything else.
+    // Kotlin's grammar has a second: `$name` without braces parses as
+    // `interpolated_identifier`. That form fell straight through the check, and
+    // since the reader then took only the FIRST `string_content`, `get("/reports/$name")`
+    // was admitted as the route `GET /reports/` — a silently truncated template,
+    // an endpoint nothing serves, which is precisely what this function's own
+    // refusal reason says must never happen. Neither the unit tests nor the
+    // fixture caught it because both used the braced form.
+    //
+    // `adapter-rust` and `adapter-swift` were written with the whitelist shape
+    // and were never exposed to it. Enumerating what is allowed cannot be
+    // outflanked by a grammar node this reader has not heard of; enumerating
+    // what is forbidden always can.
+    let content = "";
+    for (const child of namedChildren(literal)) {
+        if (child.type !== "string_content")
+            return undefined;
+        content += child.text;
+    }
+    return content;
+}
+/**
+ * A call with args AND a trailing lambda parses as two nested
+ * `call_expression`s — `get("/{id}") { ... }` is
+ * `call_expression(call_expression(get, call_suffix(args)), call_suffix(lambda))`.
+ * A call with only a lambda — `post { ... }` — is a single level. Both are
+ * unwrapped here into one shape so the walker does not need to know which it got.
+ */
+function parseCall(node) {
+    const children = namedChildren(node);
+    const head = children[0];
+    if (head === undefined)
+        return undefined;
+    const lambdaBodyOf = (suffix) => {
+        if (suffix === undefined || suffix.type !== "call_suffix")
+            return undefined;
+        const annotated = firstOfType(suffix, "annotated_lambda");
+        const lambda = annotated === undefined ? undefined : firstOfType(annotated, "lambda_literal");
+        return lambda === undefined ? undefined : firstOfType(lambda, "statements");
+    };
+    if (head.type === "simple_identifier") {
+        const suffix = children[1];
+        const args = suffix?.type === "call_suffix" ? firstOfType(suffix, "value_arguments") : undefined;
+        const firstArg = args === undefined ? undefined : firstOfType(args, "value_argument");
+        return { name: head.text, arg: firstArg, lambdaBody: lambdaBodyOf(suffix) };
+    }
+    if (head.type === "call_expression") {
+        const inner = parseCall(head);
+        if (inner === undefined)
+            return undefined;
+        return { name: inner.name, arg: inner.arg, lambdaBody: lambdaBodyOf(children[1]) };
+    }
+    return undefined;
+}
+/** `route("/orders") { get { ... } }` composes to `/orders`; a bare verb under no `route` composes to just its own arg. */
+function composePath(prefix, segment) {
+    if (segment === undefined || segment === "")
+        return prefix;
+    if (segment.startsWith("/"))
+        return prefix + segment;
+    return `${prefix}/${segment}`;
+}
+/**
+ * Is every placeholder a plain path parameter?
+ *
+ * `{...}` is Ktor's unnamed tailcard and `{param?}` is an optional segment —
+ * neither pins down one physical request the way `{param}` does, and
+ * collapsing either to `{param}` would merge routes that serve different
+ * requests, DEC-055's finding arriving in Ktor's own syntax. A bare `*`
+ * (single-segment wildcard) is refused for the same reason.
+ */
+function templateIsPlain(path) {
+    if (path.includes("*"))
+        return false;
+    for (const match of path.matchAll(/\{([^}]*)\}/g)) {
+        const inner = match[1] ?? "";
+        if (inner === "" || inner.endsWith("...") || inner.endsWith("?"))
+            return false;
+    }
+    return true;
+}
+function importsKtorRouting(imports) {
+    return imports.some((i) => i.path === ROUTING_FUNCTION || (i.path === ROUTING_PACKAGE && i.isWildcard));
+}
+/** Every route registration in one file, with a ledger row for each refusal. */
+export function readKtorRoutes(root, imports) {
+    const declarations = [];
+    const refusals = [];
+    if (!importsKtorRouting(imports))
+        return { declarations, refusals };
+    const line = (node) => node.startPosition.row + 1;
+    const walkScope = (statements, prefix) => {
+        for (const stmt of namedChildren(statements)) {
+            const call = stmt.type === "call_expression" ? stmt : undefined;
+            if (call === undefined)
+                continue;
+            const parsed = parseCall(call);
+            if (parsed === undefined)
+                continue;
+            if (parsed.name === "route") {
+                const written = stringLiteralOf(parsed.arg);
+                if (written === undefined) {
+                    refusals.push({
+                        rawTarget: "route(...)",
+                        reason: "a route(...) block whose path is not a plain string literal. Refused rather than guessed: " +
+                            "half a prefix is every route nested inside it reported at the wrong path.",
+                        line: line(call),
+                    });
+                    continue;
+                }
+                if (parsed.lambdaBody !== undefined)
+                    walkScope(parsed.lambdaBody, composePath(prefix, written));
+                continue;
+            }
+            const method = VERB_METHODS.get(parsed.name);
+            if (method === undefined)
+                continue; // not a verb, not `route` — an unknown wrapper, not descended into
+            const arg = parsed.arg === undefined ? "" : stringLiteralOf(parsed.arg);
+            if (arg === undefined) {
+                refusals.push({
+                    rawTarget: parsed.name,
+                    reason: "an HTTP route registration whose path is not a plain string literal (an interpolated string, " +
+                        "most likely). Refused rather than guessed: half a template is an endpoint that does not exist.",
+                    line: line(call),
+                });
+                continue;
+            }
+            const template = composePath(prefix, arg === "" ? undefined : arg);
+            if (template === "") {
+                refusals.push({
+                    rawTarget: parsed.name,
+                    reason: "an HTTP route with no path anywhere in its nesting.",
+                    line: line(call),
+                });
+                continue;
+            }
+            if (!templateIsPlain(template)) {
+                refusals.push({
+                    rawTarget: template,
+                    reason: "an HTTP route whose template contains a wildcard, tailcard or optional segment rather than a " +
+                        "plain path parameter. Refused rather than normalised: collapsing it to {param} would merge " +
+                        "routes that serve different requests.",
+                    line: line(call),
+                });
+                continue;
+            }
+            declarations.push({ method, template, written: template, framework: "ktor", line: line(call) });
+        }
+    };
+    const findRoutingBlocks = (node) => {
+        if (node.type === "call_expression") {
+            const parsed = parseCall(node);
+            if (parsed?.name === "routing" && parsed.lambdaBody !== undefined) {
+                walkScope(parsed.lambdaBody, "");
+                return; // a routing{} block's own body is fully handled by walkScope
+            }
+        }
+        for (const child of namedChildren(node))
+            findRoutingBlocks(child);
+    };
+    findRoutingBlocks(root);
+    return { declarations, refusals };
+}
+//# sourceMappingURL=routes.js.map

package/dist/routes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"routes.js","sourceRoot":"","sources":["../src/routes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAMH,MAAM,eAAe,GAAG,wBAAwB,CAAC;AACjD,MAAM,gBAAgB,GAAG,GAAG,eAAe,UAAU,CAAC;AAEtD,iEAAiE;AACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAiB;IAC3C,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,SAAS,EAAE,SAAS,CAAC;CACvB,CAAC,CAAC;AAsBH,MAAM,aAAa,GAAG,CAAC,IAAU,EAAU,EAAE;IAC3C,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,IAAY,EAAoB,EAAE,CACjE,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAE3D,8EAA8E;AAC9E,yEAAyE;AACzE,4EAA4E;AAE5E,yGAAyG;AACzG,SAAS,eAAe,CAAC,QAA0B;IACjD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACxG,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,0EAA0E;IAC1E,EAAE;IACF,iEAAiE;IACjE,6EAA6E;IAC7E,kEAAkE;IAClE,4EAA4E;IAC5E,sFAAsF;IACtF,6EAA6E;IAC7E,0EAA0E;IAC1E,wEAAwE;IACxE,uDAAuD;IACvD,EAAE;IACF,2EAA2E;IAC3E,sEAAsE;IACtE,yEAAyE;IACzE,gCAAgC;IAChC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,SAAS,CAAC;QACtD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,IAAU;IAC3B,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,YAAY,GAAG,CAAC,MAAwB,EAAoB,EAAE;QAClE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC5E,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QAC9F,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC9E,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjG,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACtF,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;IAC9E,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,2HAA2H;AAC3H,SAAS,WAAW,CAAC,MAAc,EAAE,OAA2B;IAC9D,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,MAAM,CAAC;IAC3D,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,GAAG,OAAO,CAAC;IACrD,OAAO,GAAG,MAAM,IAAI,OAAO,EAAE,CAAC;AAChC,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgC;IAC1D,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,UAAU,CAAC,CACnF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,cAAc,CAAC,IAAU,EAAE,OAAgC;IACzE,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;IAEpE,MAAM,IAAI,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IAEhE,MAAM,SAAS,GAAG,CAAC,UAAgB,EAAE,MAAc,EAAQ,EAAE;QAC3D,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAChE,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YAEnC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,QAAQ,CAAC,IAAI,CAAC;wBACZ,SAAS,EAAE,YAAY;wBACvB,MAAM,EACJ,4FAA4F;4BAC5F,2EAA2E;wBAC7E,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;qBACjB,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;oBAAE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;gBAChG,SAAS;YACX,CAAC;YAED,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS,CAAC,mEAAmE;YAEvG,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACxE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,SAAS,EAAE,MAAM,CAAC,IAAI;oBACtB,MAAM,EACJ,+FAA+F;wBAC/F,gGAAgG;oBAClG,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnE,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;gBACpB,QAAQ,CAAC,IAAI,CAAC;oBACZ,SAAS,EAAE,MAAM,CAAC,IAAI;oBACtB,MAAM,EAAE,qDAAqD;oBAC7D,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC;oBACZ,SAAS,EAAE,QAAQ;oBACnB,MAAM,EACJ,+FAA+F;wBAC/F,6FAA6F;wBAC7F,uCAAuC;oBACzC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClG,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,IAAU,EAAQ,EAAE;QAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBAClE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACjC,OAAO,CAAC,6DAA6D;YACvE,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC;YAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC;IACF,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAExB,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AACpC,CAAC"}

package/dist/spring.d.ts

@@ -0,0 +1,39 @@
+/**
+ * `API_ROUTE` from Kotlin source — Spring MVC and Spring WebFlux annotations.
+ *
+ * `language-problems.md` §9's first row: `frameworkExtractors` names only
+ * `ktor`, and Kotlin-on-Spring — Spring Initializr's own default for a Kotlin
+ * backend, and the framework `spring-petclinic-kotlin` is written against —
+ * produced nothing at all, disclosed only in `adapter.ts`'s prose rather than
+ * in the refusal ledger.
+ *
+ * This is a direct port of `adapter-java/src/spring.ts`'s admission rules —
+ * DEC-127's class-prefix/method-suffix join, and the `@Controller` vs.
+ * `@RestController` view/data distinction — onto Kotlin's own annotation
+ * grammar, which is shaped differently from Java's: an annotation with no
+ * arguments is a bare `user_type` (`@RestController`), and one with arguments
+ * is a `constructor_invocation` (`@RequestMapping("/orders")`) — never one
+ * grammar node for both, the way Java's is.
+ *
+ * ## Measured, not assumed
+ *
+ * `spring-petclinic-kotlin` (the official Spring reference app in Kotlin) is
+ * the only real corpus on disk: 6 controllers, 26 mapping annotations, **all
+ * of them `@Controller`, none `@RestController`, and every handler returns
+ * `String`** (a Thymeleaf view name). Correctly refused as view routes, this
+ * reader emits **zero** `API_ROUTE`s from it — the same shape Java's own
+ * `spring-petclinic` measured (93.8% view-refused) and the reason
+ * `controllerKind` exists at all: admitting all 26 would have been 26 wrong
+ * edges, not a degraded number.
+ *
+ * There is no `@RestController` witness in any corpus on disk, so the "data"
+ * path is verified structurally (it is the same rule Java's is, and Java's is
+ * measured) and by unit test, not by a second real corpus. Disclosed here
+ * rather than left implicit.
+ */
+import type { Node } from "@descryy/adapter-treesitter";
+import type { KotlinImport } from "./parse.ts";
+import type { KotlinRoute } from "./routes.ts";
+/** Every Spring MVC/WebFlux route declared anywhere in this file. */
+export declare function readSpringRoutes(root: Node, imports: readonly KotlinImport[]): readonly KotlinRoute[];
+//# sourceMappingURL=spring.d.ts.map

package/dist/spring.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spring.d.ts","sourceRoot":"","sources":["../src/spring.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAqJ/C,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,SAAS,WAAW,EAAE,CA6DrG"}