@descryy/adapter-kotlin 0.1.0

package/dist/client.js

@@ -0,0 +1,344 @@
+/**
+ * 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.
+ */
+/** The package whose verb extension functions are HTTP calls. */
+const REQUEST_PACKAGE = "io.ktor.client.request";
+/** The client type whose construction, or written type, is provenance. */
+const CLIENT_TYPE = "HttpClient";
+const CLIENT_PACKAGE = "io.ktor.client";
+const VERBS = new Map([
+    ["get", "GET"],
+    ["post", "POST"],
+    ["put", "PUT"],
+    ["patch", "PATCH"],
+    ["delete", "DELETE"],
+    ["head", "HEAD"],
+    ["options", "OPTIONS"],
+]);
+const CAPABILITY_GAP = { blockedBy: null, refusalClass: "capability-gap" };
+const VARIES_PER_CALL = { blockedBy: null, refusalClass: "varies-per-call" };
+const OUT_OF_SCOPE = { blockedBy: null, refusalClass: "out-of-scope" };
+/** `System.getenv("X")`, `System.getenv()["X"]`, `System.getenv().get("X")`. */
+const ENV_READ_PATTERNS = [
+    /^System\.getenv\(\s*"[^"]*"\s*\)$/,
+    /^System\.getenv\(\s*\)\[\s*"[^"]*"\s*\]$/,
+    /^System\.getenv\(\s*\)\.get\(\s*"[^"]*"\s*\)$/,
+];
+/** Same heuristic as every other adapter's — see `adapter-rust/src/client.ts`'s doc. */
+function argumentKindOf(text) {
+    if (text.endsWith(")") && text.includes("("))
+        return "call";
+    if (text.includes("+"))
+        return "concatenation";
+    if (/^[A-Za-z_][A-Za-z0-9_]*(\.[A-Za-z_][A-Za-z0-9_]*)*$/.test(text))
+        return "field";
+    return "other";
+}
+/**
+ * Why an argument node could not be read as a literal path — a bare
+ * identifier that is the innermost enclosing function's own parameter, a
+ * known `System.getenv` read, or something this reader does not trace.
+ */
+function diagnoseArgument(text, parameterNames) {
+    if (text === undefined)
+        return CAPABILITY_GAP;
+    const trimmed = text.trim();
+    if (/^[A-Za-z_][A-Za-z0-9_]*$/.test(trimmed) && parameterNames.has(trimmed))
+        return VARIES_PER_CALL;
+    if (ENV_READ_PATTERNS.some((pattern) => pattern.test(trimmed))) {
+        return { blockedBy: trimmed, refusalClass: "value-unknown" };
+    }
+    return { ...CAPABILITY_GAP, argumentKind: argumentKindOf(trimmed) };
+}
+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);
+/**
+ * A string literal as a path template: plain content kept, every interpolation
+ * — both spellings — collapsed to `{param}`. `undefined` when the argument is
+ * not a string literal at all.
+ */
+function templateOf(argument) {
+    if (argument === undefined)
+        return undefined;
+    const literal = argument.type === "string_literal" ? argument : firstOfType(argument, "string_literal");
+    if (literal === undefined)
+        return undefined;
+    let out = "";
+    for (const child of namedChildren(literal)) {
+        switch (child.type) {
+            case "string_content":
+                out += child.text;
+                break;
+            case "interpolated_identifier":
+            case "interpolated_expression":
+                out += "{param}";
+                break;
+            default:
+                // An escape sequence or a node this reader does not model. A path it
+                // cannot render exactly is not a path it should guess at.
+                return undefined;
+        }
+    }
+    return out;
+}
+/**
+ * Unwrap a call to `receiver.verb(args)`, including the trailing-lambda form.
+ *
+ * A call carrying both arguments and a trailing lambda parses as two nested
+ * `call_expression`s — the same grammar fact `routes.ts` unwraps. Reading only
+ * the outer one loses every `client.get("/x") { header(...) }` in the corpus.
+ */
+function verbCallOf(node) {
+    if (node.type !== "call_expression")
+        return undefined;
+    const children = namedChildren(node);
+    const head = children[0];
+    if (head === undefined)
+        return undefined;
+    if (head.type === "call_expression")
+        return verbCallOf(head);
+    if (head.type !== "navigation_expression")
+        return undefined;
+    const receiver = head.namedChild(0);
+    const suffix = head.namedChild(1);
+    const verbNode = suffix === null ? null : firstOfType(suffix, "simple_identifier");
+    if (receiver === null || receiver.type !== "simple_identifier" || verbNode === undefined || verbNode === null) {
+        return undefined;
+    }
+    const callSuffix = children[1];
+    const args = callSuffix?.type === "call_suffix" ? firstOfType(callSuffix, "value_arguments") : undefined;
+    const firstArg = args === undefined ? undefined : firstOfType(args, "value_argument");
+    // The verb token's own line, never the call's: a receiver spanning lines
+    // would otherwise report every call at the chain's first line.
+    return { receiver: receiver.text, verb: verbNode.text, firstArg, line: verbNode.startPosition.row + 1 };
+}
+/** Does the file import the verb extension functions at all? */
+function importsRequestPackage(imports) {
+    return imports.some((i) => i.isWildcard ? i.path === REQUEST_PACKAGE : i.path.startsWith(`${REQUEST_PACKAGE}.`));
+}
+/** Is `HttpClient` a name this file can legitimately be constructing? */
+function importsClientType(imports) {
+    return imports.some((i) => i.isWildcard ? i.path === CLIENT_PACKAGE : i.path === `${CLIENT_PACKAGE}.${CLIENT_TYPE}`);
+}
+const typeNameOf = (node) => firstOfType(node, "user_type") === undefined
+    ? undefined
+    : firstOfType(firstOfType(node, "user_type"), "type_identifier")?.text;
+/**
+ * The name being *constructed* by a call expression, unwrapping the nested form.
+ *
+ * `HttpClient()` is one `call_expression`; `HttpClient(MockEngine) { … }` — args
+ * plus a trailing lambda — is **two nested** ones, the same grammar fact
+ * `verbCallOf` unwraps. Reading only the outer node finds a `call_expression`
+ * where it wants an identifier and concludes nothing was constructed. That is
+ * not a small miss: `HttpClient(engine) { … }` is how essentially every real
+ * Ktor client is built, so the reader saw zero clients on a repository holding
+ * hundreds.
+ */
+function constructedName(node) {
+    if (node.type !== "call_expression")
+        return undefined;
+    const head = node.namedChild(0);
+    if (head === null)
+        return undefined;
+    if (head.type === "call_expression")
+        return constructedName(head);
+    return head.type === "simple_identifier" ? head.text : undefined;
+}
+/**
+ * Names bound to an `HttpClient`, and names bound to anything else.
+ *
+ * Collected file-wide and then **intersected**: a name that is an `HttpClient`
+ * in one scope and something else in another cannot be separated at R2 without
+ * a type checker, so it is disclosed rather than admitted. Kotlin infers
+ * aggressively, which makes that collision likelier here than in a language
+ * that writes its types down.
+ */
+function clientNames(root, imports) {
+    const verified = new Set();
+    const other = new Set();
+    const constructible = importsClientType(imports);
+    const bindingsOf = (node) => {
+        // `val client: HttpClient` / `client: HttpClient` — a written type, on a
+        // property, a constructor parameter or a function parameter alike.
+        if (node.type === "property_declaration" || node.type === "class_parameter" || node.type === "parameter") {
+            const name = node.type === "property_declaration"
+                ? firstOfType(node, "variable_declaration") === undefined
+                    ? undefined
+                    : firstOfType(firstOfType(node, "variable_declaration"), "simple_identifier")?.text
+                : firstOfType(node, "simple_identifier")?.text;
+            const written = typeNameOf(node);
+            const initialiser = firstOfType(node, "call_expression");
+            const constructed = constructible && initialiser !== undefined && constructedName(initialiser) === CLIENT_TYPE;
+            if (name !== undefined) {
+                if (written === CLIENT_TYPE || constructed)
+                    verified.add(name);
+                else if (written !== undefined || initialiser !== undefined)
+                    other.add(name);
+            }
+        }
+        for (const child of namedChildren(node))
+            bindingsOf(child);
+    };
+    bindingsOf(root);
+    const ambiguous = new Set([...verified].filter((name) => other.has(name)));
+    for (const name of ambiguous)
+        verified.delete(name);
+    return { verified, ambiguous };
+}
+/** The bindings a `function_declaration`'s own value-parameter list introduces. */
+function parameterNamesOf(fn) {
+    const names = new Set();
+    const params = firstOfType(fn, "function_value_parameters");
+    if (params === undefined)
+        return names;
+    for (const parameter of namedChildren(params)) {
+        if (parameter.type !== "parameter")
+            continue;
+        const name = firstOfType(parameter, "simple_identifier")?.text;
+        if (name !== undefined)
+            names.add(name);
+    }
+    return names;
+}
+/** Every HTTP call written in one file, and every one refused. */
+export function readKtorClientCalls(root, imports) {
+    if (!importsRequestPackage(imports))
+        return { calls: [], refusals: [] };
+    const calls = [];
+    const refusals = [];
+    const { verified, ambiguous } = clientNames(root, imports);
+    // Replaced, not merged, on entering a nested `function_declaration` — the
+    // innermost function's own parameters are what "varies-per-call" means for
+    // a call inside it, the same scoping every other language's diagnoseArgument
+    // uses. A name closed over from an outer function is an ordinary ambiguous
+    // capture here, not a parameter.
+    const visit = (node, parameterNames) => {
+        const scoped = node.type === "function_declaration" ? parameterNamesOf(node) : parameterNames;
+        const call = verbCallOf(node);
+        if (call !== undefined) {
+            const method = VERBS.get(call.verb);
+            if (method !== undefined) {
+                if (ambiguous.has(call.receiver)) {
+                    refusals.push({
+                        rawTarget: `${call.receiver}.${call.verb}`,
+                        reason: "an HTTP call whose receiver name is bound to an HttpClient in one place and to something " +
+                            "else in another. Refused rather than guessed: separating them needs a type checker, and " +
+                            "attributing the call to the wrong one joins a caller to an endpoint it never reaches.",
+                        line: call.line,
+                        ...CAPABILITY_GAP,
+                    });
+                }
+                else if (verified.has(call.receiver)) {
+                    readVerified(call, method, scoped);
+                }
+                // A receiver that is neither verified nor ambiguous is not a client
+                // this reader can see. No ledger row: `x.get(...)` is overwhelmingly
+                // a map lookup or a test client, and filing every one would bury the
+                // real refusals under the 2,280-row population.
+            }
+        }
+        for (const child of namedChildren(node))
+            visit(child, scoped);
+    };
+    function readVerified(call, method, parameterNames) {
+        const raw = call.firstArg?.text ?? "";
+        const path = templateOf(call.firstArg);
+        if (path === undefined) {
+            refusals.push({
+                rawTarget: raw.slice(0, 80) || `${call.receiver}.${call.verb}`,
+                reason: "an HTTP call whose path is not a string literal. Refused rather than guessed: the path is " +
+                    "assembled elsewhere, and half a path is an endpoint that does not exist.",
+                line: call.line,
+                ...diagnoseArgument(call.firstArg?.text, parameterNames),
+            });
+            return;
+        }
+        if (/^[a-zA-Z][\w+.-]*:\/\//.test(path)) {
+            refusals.push({
+                rawTarget: path.slice(0, 80),
+                reason: "an HTTP call to an absolute URL, which names a host this repository does not serve. Refused " +
+                    "rather than joined: an endpoint is host-free, so claiming it would attach this caller to a " +
+                    "local route it never reaches.",
+                line: call.line,
+                ...OUT_OF_SCOPE,
+            });
+            return;
+        }
+        if (!path.startsWith("/")) {
+            refusals.push({
+                rawTarget: path.slice(0, 80),
+                reason: "an HTTP call whose path is not repository-relative, so no route on this side of the join serves it.",
+                line: call.line,
+                ...CAPABILITY_GAP,
+            });
+            return;
+        }
+        calls.push({ method, path, rawPath: raw, client: `${call.receiver}.${call.verb}`, line: call.line });
+    }
+    visit(root, new Set());
+    return { calls, refusals };
+}
+//# sourceMappingURL=client.js.map

package/dist/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAMH,iEAAiE;AACjE,MAAM,eAAe,GAAG,wBAAwB,CAAC;AACjD,0EAA0E;AAC1E,MAAM,WAAW,GAAG,YAAY,CAAC;AACjC,MAAM,cAAc,GAAG,gBAAgB,CAAC;AAExC,MAAM,KAAK,GAAgC,IAAI,GAAG,CAAC;IACjD,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;AAoDH,MAAM,cAAc,GAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC;AAC1F,MAAM,eAAe,GAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,CAAC;AAC5F,MAAM,YAAY,GAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AAEtF,gFAAgF;AAChF,MAAM,iBAAiB,GAAG;IACxB,mCAAmC;IACnC,0CAA0C;IAC1C,+CAA+C;CAChD,CAAC;AAEF,wFAAwF;AACxF,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAC5D,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,eAAe,CAAC;IAC/C,IAAI,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IACrF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAwB,EAAE,cAAmC;IACrF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,eAAe,CAAC;IACpG,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC/D,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,GAAG,cAAc,EAAE,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;AACtE,CAAC;AAOD,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;;;;GAIG;AACH,SAAS,UAAU,CAAC,QAA0B;IAC5C,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,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,gBAAgB;gBACnB,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC;gBAClB,MAAM;YACR,KAAK,yBAAyB,CAAC;YAC/B,KAAK,yBAAyB;gBAC5B,GAAG,IAAI,SAAS,CAAC;gBACjB,MAAM;YACR;gBACE,qEAAqE;gBACrE,0DAA0D;gBAC1D,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAUD;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,IAAU;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACtD,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,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACnF,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC9G,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,UAAU,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzG,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACtF,yEAAyE;IACzE,+DAA+D;IAC/D,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;AAC1G,CAAC;AAED,gEAAgE;AAChE,SAAS,qBAAqB,CAAC,OAAgC;IAC7D,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,eAAe,GAAG,CAAC,CACrF,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,iBAAiB,CAAC,OAAgC;IACzD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,cAAc,IAAI,WAAW,EAAE,CACzF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,IAAU,EAAsB,EAAE,CACpD,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,SAAS;IAC1C,CAAC,CAAC,SAAS;IACX,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAS,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;AAEnF;;;;;;;;;;GAUG;AACH,SAAS,eAAe,CAAC,IAAU;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,IAAI,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,IAAU,EAAE,OAAgC;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAEjD,MAAM,UAAU,GAAG,CAAC,IAAU,EAAQ,EAAE;QACtC,yEAAyE;QACzE,mEAAmE;QACnE,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACzG,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,sBAAsB;gBAClC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,sBAAsB,CAAC,KAAK,SAAS;oBACvD,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,sBAAsB,CAAS,EAAE,mBAAmB,CAAC,EAAE,IAAI;gBAC7F,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,IAAI,CAAC;YACnD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YACzD,MAAM,WAAW,GACf,aAAa,IAAI,WAAW,KAAK,SAAS,IAAI,eAAe,CAAC,WAAW,CAAC,KAAK,WAAW,CAAC;YAC7F,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,OAAO,KAAK,WAAW,IAAI,WAAW;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;qBAC1D,IAAI,OAAO,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC;IACF,UAAU,CAAC,IAAI,CAAC,CAAC;IAEjB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC;AAED,mFAAmF;AACnF,SAAS,gBAAgB,CAAC,EAAQ;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAC7C,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,EAAE,mBAAmB,CAAC,EAAE,IAAI,CAAC;QAC/D,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,mBAAmB,CAAC,IAAU,EAAE,OAAgC;IAC9E,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAExE,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE3D,0EAA0E;IAC1E,2EAA2E;IAC3E,6EAA6E;IAC7E,2EAA2E;IAC3E,iCAAiC;IACjC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,cAAmC,EAAQ,EAAE;QACtE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;QAC9F,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACjC,QAAQ,CAAC,IAAI,CAAC;wBACZ,SAAS,EAAE,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;wBAC1C,MAAM,EACJ,2FAA2F;4BAC3F,0FAA0F;4BAC1F,uFAAuF;wBACzF,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,GAAG,cAAc;qBAClB,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBACrC,CAAC;gBACD,oEAAoE;gBACpE,qEAAqE;gBACrE,qEAAqE;gBACrE,gDAAgD;YAClD,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC,CAAC;IAEF,SAAS,YAAY,CAAC,IAAc,EAAE,MAAc,EAAE,cAAmC;QACvF,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;gBAC9D,MAAM,EACJ,4FAA4F;oBAC5F,0EAA0E;gBAC5E,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC;aACzD,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBAC5B,MAAM,EACJ,8FAA8F;oBAC9F,6FAA6F;oBAC7F,+BAA+B;gBACjC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG,YAAY;aAChB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBAC5B,MAAM,EAAE,qGAAqG;gBAC7G,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG,cAAc;aAClB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACvG,CAAC;IAED,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACvB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC"}

package/dist/extract.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Kotlin structures into IR nodes and edges.
+ *
+ * ## The identity rule, and why it refuses
+ *
+ * Kotlin shares `@descryy/adapter-jvm`'s anchor with Java: a symbol's identity is
+ * `module/sourceSet/package`, derived by subtracting the package path from the
+ * file's directory. Measured before this was written — okhttp 570 of 576 files
+ * derive, ktor 2,146 of 2,324.
+ *
+ * **When the subtraction fails, the node is refused.** Java falls back to the
+ * bare package name; Kotlin must not, because Kotlin Multiplatform declares one
+ * qualified name in several source sets **by design** — `expect`/`actual`. A
+ * bare-package fallback collapses those onto one id. Measured on ktor: 4 FQNs,
+ * `io.ktor.utils.io.charsets.Charsets` among them, declared across seven
+ * platform files.
+ *
+ * Disclosing the collapse on `attrs` instead was considered and rejected:
+ * nothing above the IR reads `attrs`, so scoring, governance and blast radius
+ * would act on a merged node while the note sat somewhere they cannot see.
+ * A refusal is visible to the layers that act on it; that is the whole
+ * difference (DEC-173).
+ *
+ * ## No cross-language edges, and that is a measurement
+ *
+ * The build plan has this adapter mint Java-shaped target ids for references
+ * into `.java` files. **It is not implemented, because the corpus chosen to
+ * measure it cannot witness it.** okhttp's 68 `.java` files are 56 samples with
+ * `kt/` twins, 11 `module-info.java` declaring no types, and 3 `*JavaTest.java`
+ * exercising the Kotlin API. The traffic runs Java→Kotlin. ktor is 2,324 `.kt`
+ * against 1 `.java`.
+ *
+ * A rule with zero witnesses is an untaken branch, not a weak rule — so it is
+ * declared absent rather than written blind.
+ */
+import { type IRBatch, type ResolutionLevel } from "@descryy/ir";
+import type { KotlinFile } from "./parse.ts";
+export interface ExtractInput {
+    readonly files: readonly KotlinFile[];
+    readonly producedBy: string;
+    readonly scope: {
+        readonly repo: string;
+        readonly workspace?: string | undefined;
+    };
+    /**
+     * The resolution level `prepare()` actually reached, gating `push()` below.
+     * Without it every edge always carries its full resolution regardless of
+     * `maxResolution`, and a batch claiming R0 would still emit R1 edges — which
+     * the conformance harness's boundary check reports as
+     * `RESOLUTION_EXCEEDS_BATCH`: an edge whose own resolution exceeds what the
+     * batch that carries it claims.
+     */
+    readonly reached: ResolutionLevel;
+}
+export declare function extract(input: ExtractInput): Pick<IRBatch, "nodes" | "edges" | "unresolved">;
+//# sourceMappingURL=extract.d.ts.map

package/dist/extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAKL,KAAK,OAAO,EAGZ,KAAK,eAAe,EAErB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAE,UAAU,EAAmB,MAAM,YAAY,CAAC;AAqB9D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC;IACnF;;;;;;;OAOG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACnC;AASD,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,GAAG,YAAY,CAAC,CAqsB5F"}