@descryy/adapter-java 0.2.0 → 0.3.1

package/dist/client.js

@@ -1,114 +1,74 @@
 /**
  * The caller's half of the HTTP boundary: `USES_API`, golden pattern 08.
  *
- * `SERVES_API` is minted in `extract.ts` from a route's annotations. This reads
- * the other end — an outbound call with a statically knowable path — and mints
- * the **same** `API_ENDPOINT` node from the same `endpointQsp`, so the two join
- * without either side knowing the other ran. DEC-115's one hard constraint: two
- * producers that mint different ids do not conflict, they silently fail to join.
+ * `SERVES_API` is minted in `extract.ts` from a route's annotations; this
+ * reads the other end — an outbound call with a statically knowable path —
+ * and mints the **same** `API_ENDPOINT` node from the same `endpointQsp`, so
+ * the two join without either side knowing the other ran (DEC-115).
  *
  *     FUNCTION ──USES_API──▶ API_ENDPOINT ◀──SERVES_API── API_ROUTE
  *
- * ## What these edges actually mean, and why it must be said in the edge
+ * ## What these edges mean
  *
- * Measured before this was written (`bench/client-call-census.mjs`, DEC-189):
- * across `shopizer`, `mall`, `morphia`, `okhttp` and `spring-petclinic` there
- * are **16** client call sites carrying a repository-relative literal path.
- * **Twelve are in test files, four are on a mock transport, and none are
- * production code.**
- *
- * So in Java these edges are almost entirely `TEST_CASE`-shaped: an integration
- * test driving `TestRestTemplate` at the application's own routes. That is real
- * and it is useful — it answers *which routes have integration coverage*, which
- * is the **Verification status** axis (AI layer §20, §42), a separate axis from
- * the confidence label. It is **not** service-to-service coupling, and a
- * consumer reading it as "this service calls that service" would be wrong.
- *
- * The distinction therefore travels **in the edge**, as `attrs.callerKind`, not
- * in a comment here. A count in a decision record is invisible to a consumer;
- * `attrs` is what the edge carries. (`attrs` is not read above the IR — which is
- * exactly why the same fact is also stated in the disclosure below, where a
- * reader will see it.)
+ * Measured (`bench/client-call-census.mjs`, DEC-189): across `shopizer`,
+ * `mall`, `morphia`, `okhttp`, `spring-petclinic` there are 16 client call
+ * sites with a repo-relative literal path — 12 in test files, 4 on a mock
+ * transport, none production. So these edges are almost entirely
+ * `TEST_CASE`-shaped: integration tests driving `TestRestTemplate` at the
+ * app's own routes, useful for *Verification status* (which routes have
+ * integration coverage) — **not** service-to-service coupling. This travels
+ * in the edge as `attrs.callerKind`, since `attrs` (not comments) is what a
+ * consumer above the IR actually reads.
  *
  * ## Why the receiver's type is required
  *
- * `execute`, `put`, `delete` and `uri` are ordinary method names. Admitting a
- * call on its name alone would emit `USES_API` for `list.put("/tmp/x")`, and a
- * wrong edge here joins a caller to a route it never calls — which root-cause
- * traversal then follows. So a call is admitted only when its receiver's
- * **declared type** is a known client. That is R2 evidence: a reference resolved
- * to a definition through a written annotation, exactly as the rest of this
- * adapter reads receivers.
- *
- * The cost is disclosed rather than hidden: a chained builder
- * (`new Request.Builder().url("/")`) has no receiver with a written type and is
- * refused. All four such sites in the corpora are `mockWebServer`, so nothing
- * real is lost today — but the refusal is a rule, not a measurement, and it will
- * cost real call sites in a codebase that chains.
+ * `execute`/`put`/`delete`/`uri` are ordinary method names; admitting a call
+ * by name alone would wrongly emit `USES_API` for `list.put("/tmp/x")`. A
+ * call is admitted only when its receiver's **declared type** is a known
+ * client — R2 evidence, same as the rest of this adapter's receiver reads.
+ * Cost: a chained builder (`new Request.Builder().url("/")`) has no receiver
+ * with a written type and is refused — all 4 such sites in the corpora are
+ * `mockWebServer`, so nothing real is lost today, but a chaining codebase
+ * would lose real call sites to this rule.
  *
  * ## Ledger row D-FIX-3: a known client this reader does not extract
  *
- * Everything above requires the receiver's type to already be in
- * {@link CLIENT_TYPES} before any refusal fires — so a call through a client
- * this adapter has never heard of took neither branch. It matched no name in
- * {@link URL_FIRST}'s companion set below, `typeOfReceiver` was never asked,
- * and the reference fell out of the loop with `continue` before reaching a
- * single `refuse(...)` call. **Zero edges and zero ledger rows is the same
- * output a repository with no HTTP calls at all produces.** Sherpa's
- * TypeScript diagnosis found the identical shape — 26 wrapped-`axios` call
- * sites across 14 files, none reaching the refusal ledger — and it is the
- * reason this row exists rather than being filed as ordinary recall.
- *
- * {@link BUILDER_CLIENT_TYPES} closes it for the two client families measured
- * on the reference corpora (`bench/client-call-census.mjs`'s `CLIENTS.java`
- * list, `okhttp3.OkHttpClient` and `java.net.http.HttpClient`) — **not by
- * reading their calls**, but by recognising the receiver type and filing a
- * refusal for every call through it. Both clients pass the outbound request as
- * a **separately constructed object** (`Request`, `HttpRequest`) rather than a
- * literal argument on the call itself, so building real extraction for them is
- * a different, larger row — a second `firstStringArgument`-shaped read through
- * a builder chain — and is out of scope here. What is in scope is closing the
- * silence: **every** call through a receiver whose declared type names one of
- * these clients is now accounted for, either as an edge (impossible for these
- * two, by construction) or as a ledger row.
- *
- * ### Why the trigger is receiver-type resolution, not a file-level import scan
+ * A call through a client this adapter doesn't recognise fell out of the loop
+ * via `continue` before any `refuse(...)` — zero edges and zero ledger rows,
+ * indistinguishable from a repo with no HTTP calls at all (the same shape
+ * Sherpa's TypeScript diagnosis found: 26 wrapped-`axios` sites across 14
+ * files, none reaching the refusal ledger).
  *
- * The population D-FIX-3 was scoped against is "a file that imports a known
- * HTTP client and makes calls the extractor did not claim." Read literally,
- * that would fire on **every** method call in a file that merely imports
- * `okhttp3.OkHttpClient` anywhere — including calls with no relation to it —
- * which is exactly the "fires on everything" failure the row warns against.
- * This adapter already has a narrower, previously-measured discriminator for
- * the identical question: `typeOfReceiver`, R2 evidence, a written declaration
- * this reader can point at. Reusing it means the new population is *provably*
- * bounded to calls whose receiver is declared as one of these types — no
- * broader — and it costs nothing new: `writtenReceiverType` in `extract.ts`
- * already resolves an arbitrary type name syntactically, whether or not this
- * adapter goes on to model it, so `OkHttpClient` and `HttpClient` resolve
- * exactly as `RestTemplate` does today.
+ * {@link BUILDER_CLIENT_TYPES} closes it for `okhttp3.OkHttpClient` and
+ * `java.net.http.HttpClient` (`bench/client-call-census.mjs`'s `CLIENTS.java`)
+ * — not by reading their calls (both pass the request as a separately
+ * constructed object, a different and larger extraction row, out of scope
+ * here), but by recognising the receiver type and filing a refusal for every
+ * call through it. Every call through one of these clients is now an edge or
+ * a ledger row, never neither.
  *
- * ### The reconciliation this row makes an assertion rather than a discipline
+ * The trigger is receiver-type resolution (`typeOfReceiver`, R2 evidence),
+ * not a file-level import scan — a scan would fire on every call in a file
+ * that merely imports the client anywhere. Reusing `typeOfReceiver` bounds
+ * the population provably to calls whose receiver is declared as one of
+ * these types, at no extra cost: `writtenReceiverType` in `extract.ts`
+ * already resolves these names syntactically.
  *
- * `candidateClientRefs` (below) recomputes, independently of the loop in
- * {@link clientCalls}, which references in a method are candidates at all —
- * same predicate, factored out so a future edit to the loop cannot silently
- * narrow what counts as a candidate without the test that calls both noticing.
+ * `candidateClientRefs` (below) recomputes, independently of {@link
+ * clientCalls}'s loop, which references are candidates at all — factored out
+ * so a future edit to the loop can't silently narrow candidacy unnoticed.
  * `test/client.test.ts` asserts `calls.length + refusals.length ===
- * candidateClientRefs(method).length` on every fixture, which is the shape
- * DEC-098 found missing the hard way: a guard that dropped 113 of 140 call
- * sites with no edge, no row, and no failing test.
+ * candidateClientRefs(method).length` on every fixture — DEC-098 found this
+ * missing the hard way, a guard that dropped 113 of 140 call sites silently.
  */
 import { endpointQsp, nodeId } from "@descryy/ir";
 /**
  * Client types whose methods name an outbound HTTP call.
  *
- * `TestRestTemplate` is here deliberately. It is Spring's own integration-test
- * client and it drives **real HTTP at the application's real routes** — the
- * transport is what decides whether a call site is a route reference, not the
- * directory the file sits in. That distinction cost this project a gate: a
- * census that split on the file path reported two `mockWebServer` calls as
- * production code.
+ * `TestRestTemplate` is here deliberately — Spring's integration-test client
+ * drives real HTTP at the app's real routes, so transport decides route
+ * relevance, not file location. A file-path split once misfiled two
+ * `mockWebServer` calls as production code.
  */
 const CLIENT_TYPES = new Set([
     "RestTemplate",
@@ -118,11 +78,9 @@ const CLIENT_TYPES = new Set([
     "AsyncRestTemplate",
 ]);
 /**
- * Methods that take a URL or path as their first argument.
- *
- * `exchange` and `execute` are `RestTemplate`'s general forms; `uri` is
- * `WebClient`'s fluent builder step. Every one is admitted only in combination
- * with a receiver of a {@link CLIENT_TYPES} type.
+ * Methods that take a URL or path as their first argument. `exchange`/`execute`
+ * are `RestTemplate`'s general forms; `uri` is `WebClient`'s fluent builder
+ * step. Admitted only with a {@link CLIENT_TYPES} receiver.
  */
 const URL_FIRST = new Set([
     "getForObject",
@@ -138,33 +96,24 @@ const URL_FIRST = new Set([
     "uri",
 ]);
 /**
- * Known HTTP clients this reader recognises by declared type but does not
- * extract — see "Ledger row D-FIX-3" above. Keyed by type name, valued by the
- * method names on that type which initiate a request; every such call is
- * refused, unconditionally, because the URL and verb live inside a request
- * object built in a separate expression rather than in this call's own
- * arguments — there is nothing for `firstStringArgument` to read.
- *
- * `java.net.http.HttpClient`'s simple name is `HttpClient`, distinct from
- * Spring's `WebClient` — no collision with {@link CLIENT_TYPES}.
+ * Known HTTP clients recognised by declared type but not extracted — see
+ * "Ledger row D-FIX-3" above. Keyed by type name, valued by the methods that
+ * initiate a request; every such call is unconditionally refused, since the
+ * URL and verb live in a request object built separately, not in this call's
+ * own arguments. `HttpClient`'s simple name doesn't collide with `WebClient`.
  */
 const BUILDER_CLIENT_TYPES = {
     OkHttpClient: new Set(["newCall"]),
     HttpClient: new Set(["send", "sendAsync"]),
 };
 /**
- * `WebClient`/`RestClient`'s own intermediate builder-step interfaces —
- * `WebClient.RequestHeadersUriSpec`, `RestClient.RequestBodyUriSpec`, and
- * their siblings, always referred to by simple name since nobody writes the
- * outer-class-qualified form. Reached when the chain is split across a local
- * variable (`var spec = client.get(); spec.uri("/x");`) rather than written
- * inline — the other half of ledger row D-FIX-3, alongside the inline chain
- * {@link BUILDER_VERB} closes. This adapter has no initializer-tracing (the
- * verb-bearing `.get()`/`.post()` call is a separate statement, gone by the
- * time `spec`'s declared type is the only thing left to read), so every call
- * through one of these is refused rather than silently dropped — the same
- * "account for it as an edge or a ledger row, never nothing" standard
- * {@link BUILDER_CLIENT_TYPES} already holds OkHttp/`HttpClient` to.
+ * `WebClient`/`RestClient`'s intermediate builder-step interfaces, referred
+ * to by simple name. Reached when the chain is split across a local variable
+ * (`var spec = client.get(); spec.uri("/x");`) instead of written inline —
+ * the other half of ledger row D-FIX-3. No initializer-tracing here (the
+ * verb-bearing `.get()`/`.post()` is a separate statement, gone by the time
+ * `spec`'s type is all that's left), so every such call is refused rather
+ * than silently dropped — same standard {@link BUILDER_CLIENT_TYPES} holds.
  */
 const WEBCLIENT_SPLIT_BUILDER_TYPES = new Set([
     "RequestHeadersUriSpec",
@@ -174,16 +123,11 @@ const WEBCLIENT_SPLIT_BUILDER_TYPES = new Set([
 ]);
 /**
  * `WebClient`/`RestClient`'s fluent verb-starters — the call that opens the
- * chain a real call site always uses (`client.get().uri("/x")...`), not the
- * client's own declared type's method. This is why {@link URL_FIRST}'s `uri`
- * entry alone was never enough: nothing in `VERB` maps `uri` to a verb,
- * because `uri` never carries one — the verb sits one call earlier in the
- * chain, on the call `uri`'s receiver expression *is*. See ledger row
- * D-FIX-3 in the file header.
- *
- * `head`/`options` are real `WebClientRequestSpec`/`RestClient` entry points
- * with no `VERB`-string precedent elsewhere in this file, so they are spelled
- * out here rather than derived.
+ * chain (`client.get().uri("/x")...`), not the client's declared type. Why
+ * {@link URL_FIRST}'s `uri` entry alone was never enough: `uri` carries no
+ * verb, it sits one call earlier in the chain (ledger row D-FIX-3).
+ * `head`/`options` are real entry points with no `VERB` precedent elsewhere,
+ * spelled out here rather than derived.
  */
 const BUILDER_VERB = {
     get: "GET",
@@ -194,21 +138,15 @@ const BUILDER_VERB = {
     head: "HEAD",
     options: "OPTIONS",
 };
-/**
- * Matches `parse.ts`'s `receiverName` chain encoding for a `method_invocation`
- * object: `<base>.<name>()`. The literal `()` is a label, not a copy of the
- * call's real arguments — see that function's doc.
- */
+/** Matches `parse.ts`'s `receiverName` chain encoding: `<base>.<name>()` —
+ *  literal `()` is a label, not a copy of the real arguments. */
 const CHAIN_PATTERN = /^(.+)\.([A-Za-z_$][A-Za-z0-9_$]*)\(\)$/;
 /** Every method name either extraction path or the builder-client path acts on. */
 const TRACKED_METHODS = new Set([...URL_FIRST, ...Object.values(BUILDER_CLIENT_TYPES).flatMap((s) => [...s])]);
 /**
- * The HTTP verb a method name implies.
- *
- * `exchange`, `execute` and `uri` take the verb as a *separate argument* — an
- * enum reference, not a literal — so they cannot be read here and are refused
- * rather than defaulted to `GET`. A wrong verb produces an `endpointQsp` that
- * joins nothing, which is a silent miss, or worse joins the wrong route.
+ * The HTTP verb a method name implies. `exchange`/`execute`/`uri` take the
+ * verb as a separate enum argument, unreadable here, so they're refused
+ * rather than defaulted to `GET` — a wrong verb joins the wrong route or none.
  */
 const VERB = {
     getForObject: "GET",
@@ -238,11 +176,8 @@ function argumentKindOf(text) {
         return "field";
     return "other";
 }
-/**
- * Why the first argument of a client call could not be read as a literal
- * path — mirrors `firstArgumentTextOf`'s own reach: a bare identifier, a
- * known environment-read call, or something this reader does not trace.
- */
+/** Why a client call's first argument couldn't be read as a literal path:
+ *  a bare identifier, a known environment-read call, or untraced. */
 function diagnoseArgument(text, parameterNames) {
     if (text === undefined)
         return CAPABILITY_GAP;
@@ -261,54 +196,39 @@ function relativePath(value) {
     // `//host/path` is protocol-relative and names another origin.
     if (value.startsWith("//"))
         return undefined;
-    // A query string is not part of the route template. `?` and everything after
-    // it is dropped, because `SERVES_API` never mints one and keeping it would
-    // guarantee the join fails.
+    // A query string isn't part of the route template — `SERVES_API` never
+    // mints one, so keeping it would guarantee the join fails.
     const cut = value.indexOf("?");
     return cut === -1 ? value : value.slice(0, cut);
 }
 /**
- * A literal this reader can say, with no ambiguity, names a *different*
- * origin — an explicit scheme (`http://...`) or a protocol-relative URL
- * (`//host/...`). Anything else that fails {@link relativePath} (a bare
- * relative path with no leading slash, e.g. `"orders/5"`) is NOT covered by
- * this check and must not be reported through it.
+ * Names a *different* origin unambiguously: an explicit scheme (`http://...`)
+ * or protocol-relative (`//host/...`). A bare relative path with no leading
+ * slash (`"orders/5"`) fails {@link relativePath} but is NOT covered here.
  *
- * Split out after DEC-260's C# origin-check row found the shared bug one
- * language over: `adapter-csharp` originally treated "does not start with
- * `/`" as sufficient evidence of another origin, and that misfired on real
- * `jellyfin`/`eShopOnWeb` call sites — bare relative paths resolved against
- * `HttpClient.BaseAddress` at runtime, same-repository calls incorrectly
- * filed as a scope boundary. Spring's `RestTemplate`/`WebClient` support the
- * identical pattern (`RootUriTemplateHandler`, `WebClient.baseUrl(...)`), so
- * the same rule, applied here unchanged since before that row, carries the
- * identical latent defect — confirmed synthetically
- * (`restTemplate.getForObject("orders/5", String.class)` was filed as
- * "another origin" before this fix). **Not observed in either admitted
- * corpus** (`spring-petclinic`, `shopizer` — all 3 real `USES_API` refusals
- * naming another origin are unambiguous `http://` URLs, unaffected by this
- * change), so this closes a rule that was correct only because nothing had
- * tested it yet, not a live regression.
+ * Split out after DEC-260's C# row found the same bug in `adapter-csharp`
+ * (treating "no leading `/`" as another origin, misfiring on real
+ * `jellyfin`/`eShopOnWeb` paths that resolve against `HttpClient.BaseAddress`
+ * at runtime). Spring's `RestTemplate`/`WebClient` support the identical
+ * pattern (`RootUriTemplateHandler`, `baseUrl(...)`), so the same latent
+ * defect existed here — confirmed synthetically, not observed in either
+ * admitted corpus (`spring-petclinic`, `shopizer`: all 3 real `USES_API`
+ * other-origin refusals are unambiguous `http://` URLs, unaffected).
  */
 function namesAnotherOrigin(value) {
     return /^[a-zA-Z][a-zA-Z0-9+.-]*:\/\//.test(value) || value.startsWith("//");
 }
 /**
- * Every reference in a method that {@link clientCalls} will act on — an edge,
- * a refusal, or (only past this point, where the receiver's type is unknown)
- * a true silence. Factored out of the loop below so the reconciliation
- * assertion in `test/client.test.ts` recomputes candidacy independently of
- * whatever the loop does with each candidate: a future edit that narrows the
- * loop's own filter without touching this function fails the test instead of
- * silently dropping call sites the way DEC-098's `containerOf` guard did.
+ * Every reference {@link clientCalls} will act on — an edge, a refusal, or a
+ * true silence past this point. Factored out so `test/client.test.ts`'s
+ * reconciliation assertion recomputes candidacy independently of the loop —
+ * a future edit that narrows the loop's filter fails the test instead of
+ * silently dropping sites, as DEC-098's `containerOf` guard once did.
  *
- * Receiver-type resolution is deliberately **not** done here — it needs
- * `extract.ts`'s scope tables, which this module does not have — so a
- * candidate here may still turn out to be a true silence in
- * {@link clientCalls} if `typeOfReceiver` returns `undefined`. That is the
- * one gap this reconciliation cannot close, and it is the same gap every
- * other refusal ledger in this project discloses rather than guesses past:
- * an unresolved receiver is not evidence the call is or is not a client.
+ * Receiver-type resolution is deliberately not done here (needs `extract.ts`'s
+ * scope tables) — a candidate may still be a true silence in
+ * {@link clientCalls} if `typeOfReceiver` returns `undefined`. An unresolved
+ * receiver is not evidence the call is or isn't a client.
  */
 export function candidateClientRefs(method) {
     return method.refs.filter((ref) => ref.kind === "call" &&
@@ -317,22 +237,15 @@ export function candidateClientRefs(method) {
         ref.receiver !== "this");
 }
 /**
- * Read one method's calls for outbound HTTP.
- *
- * `typeOfReceiver` resolves a receiver name to its declared type's simple name
- * and is supplied by the caller, because the scope rules for that live in
- * `extract.ts` and a second copy of them would drift — the failure that
- * `scopesFor`'s own header records.
+ * Read one method's calls for outbound HTTP. `typeOfReceiver` resolves a
+ * receiver to its declared type's simple name and is supplied by the caller
+ * — the scope rules live in `extract.ts`, and a second copy would drift.
  */
 export function clientCalls(method, fromId, typeOfReceiver, inTestSourceSet) {
     const calls = [];
     const refusals = [];
-    /**
-     * Read `ref`'s first argument as a path and either push a `ClientCall` or a
-     * refusal — the shared tail every admitted verb reaches, whether the verb
-     * came from `VERB[ref.name]` directly or from a builder-chain's opening
-     * call via {@link BUILDER_VERB}.
-     */
+    /** Read `ref`'s first argument as a path and push a `ClientCall` or refusal
+     *  — the shared tail for a verb from `VERB` or from {@link BUILDER_VERB}. */
     const readPathAndEmit = (receiverType, ref, verb, refuse) => {
         if (ref.firstStringArgument === undefined) {
             refuse(`an HTTP call through ${receiverType}, but its path is not a bare string literal — a ` +
@@ -348,16 +261,12 @@ export function clientCalls(method, fromId, typeOfReceiver, inTestSourceSet) {
                     `another origin rather than a path in this repository. A scope boundary, not a gap.`, { blockedBy: null, refusalClass: "out-of-scope" });
                 return;
             }
-            // A bare relative path with no leading slash and no scheme —
-            // structurally identical to C#'s `HttpClient.BaseAddress` case. It may
-            // resolve inside this repository, against a configured root URI
-            // (`RootUriTemplateHandler`, `WebClient.baseUrl(...)`), or it may not;
-            // this reader does not see that configuration, so neither an edge nor
-            // an out-of-scope claim is honest here — rule 2, applied to a
-            // classification rather than an edge. Not a per-call value and not a
-            // named blocking expression either, so `capability-gap` rather than
-            // `varies-per-call`: nothing here is caller-supplied, this reader just
-            // cannot see the base configuration.
+            // A bare relative path, no leading slash, no scheme — structurally like
+            // C#'s `HttpClient.BaseAddress` case. May resolve against a configured
+            // root URI (`RootUriTemplateHandler`, `baseUrl(...)`) this reader can't
+            // see, so neither an edge nor an out-of-scope claim is honest (rule 2).
+            // `capability-gap`, not `varies-per-call` — nothing here is caller-
+            // supplied, the base configuration is just invisible.
             refuse(`an HTTP call through ${receiverType} to \`${ref.firstStringArgument}\`, a relative path ` +
                 `with no leading slash. This reader cannot tell whether it resolves inside this repository ` +
                 `— against a configured base URI this call site does not state — or elsewhere, so neither ` +
@@ -370,28 +279,23 @@ export function clientCalls(method, fromId, typeOfReceiver, inTestSourceSet) {
             template,
             verb,
             line: ref.line,
-            // **The source set, not just the annotation.** `method.isTest` reads
-            // `@Test`, and shopizer's `ServicesTestSupport.getHeader` drives
-            // `TestRestTemplate` from an unannotated helper — so annotation alone
-            // labelled two of nine edges `production` when both sit in
-            // `src/test/java`. The build system states which source set is test code;
-            // inferring it from the annotation asks a narrower question than the one
-            // being answered. If the framework will tell you, never infer it.
+            // Source set, not just the annotation: `method.isTest` reads `@Test`,
+            // but shopizer's `ServicesTestSupport.getHeader` drives
+            // `TestRestTemplate` from an unannotated helper — annotation alone
+            // mislabelled two of nine edges `production` despite sitting in
+            // `src/test/java`. If the framework will tell you, never infer it.
             callerKind: method.isTest || inTestSourceSet ? "test" : "production",
         });
     };
     for (const ref of candidateClientRefs(method)) {
         // WebClient/RestClient's fluent chain: `client.get().uri("/x")`. The
-        // receiver `parse.ts` hands back for the `uri` call is the *opening* call
-        // encoded as text (`client.get()`), not a name `typeOfReceiver` can look
-        // up directly — so the base is resolved instead, and the verb comes from
-        // the chain, not from `uri` itself. See ledger row D-FIX-3 and
-        // {@link BUILDER_VERB}'s doc.
+        // receiver for `uri` is the *opening* call as text (`client.get()`), not
+        // a name to look up directly — the base is resolved instead, and the
+        // verb comes from the chain (ledger row D-FIX-3, {@link BUILDER_VERB}).
         const chain = ref.name === "uri" ? CHAIN_PATTERN.exec(ref.receiver) : null;
         if (chain !== null) {
-            // Both groups are guaranteed by `CHAIN_PATTERN`'s two capturing groups
-            // once `exec` succeeds — `noUncheckedIndexedAccess` cannot see that from
-            // the pattern alone.
+            // Both groups guaranteed by `CHAIN_PATTERN` once `exec` succeeds —
+            // `noUncheckedIndexedAccess` can't see that from the pattern alone.
             const base = chain[1];
             const opener = chain[2];
             const receiverType = typeOfReceiver(base);
@@ -447,13 +351,8 @@ export function clientCalls(method, fromId, typeOfReceiver, inTestSourceSet) {
     }
     return { calls, refusals };
 }
-/**
- * The `API_ENDPOINT` a call joins to — minted identically to the route side.
- *
- * Shares `endpointQsp` with `extract.ts`'s `SERVES_API` block rather than
- * recomputing the id, because the two must agree exactly and the failure when
- * they do not is silent.
- */
+/** The `API_ENDPOINT` a call joins to — minted identically to the route side,
+ *  sharing `endpointQsp` with `extract.ts` since a mismatch fails silently. */
 export function endpointFor(scope, call, producedBy, normalise) {
     const template = normalise(call.template);
     return {

package/dist/client.js.map

@@ -1 +1 @@
-{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAmC,MAAM,aAAa,CAAC;AAInF;;;;;;;;;GASG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,cAAc;IACd,kBAAkB;IAClB,WAAW;IACX,YAAY;IACZ,mBAAmB;CACpB,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,cAAc;IACd,cAAc;IACd,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IAChB,KAAK;IACL,QAAQ;IACR,UAAU;IACV,SAAS;IACT,KAAK;CACN,CAAC,CAAC;AAEH;;;;;;;;;;GAUG;AACH,MAAM,oBAAoB,GAAkD;IAC1E,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IAClC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CAC3C,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC;IAC5C,uBAAuB;IACvB,oBAAoB;IACpB,oBAAoB;IACpB,iBAAiB;CAClB,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,YAAY,GAAqC;IACrD,GAAG,EAAE,KAAK;IACV,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,KAAK;IACV,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAAG,wCAAwC,CAAC;AAE/D,mFAAmF;AACnF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/G;;;;;;;GAOG;AACH,MAAM,IAAI,GAAqC;IAC7C,YAAY,EAAE,KAAK;IACnB,YAAY,EAAE,KAAK;IACnB,aAAa,EAAE,MAAM;IACrB,aAAa,EAAE,MAAM;IACrB,eAAe,EAAE,MAAM;IACvB,cAAc,EAAE,OAAO;IACvB,GAAG,EAAE,KAAK;IACV,MAAM,EAAE,QAAQ;CACjB,CAAC;AAwDF,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;AAE5F,+HAA+H;AAC/H,MAAM,iBAAiB,GAAG;IACxB,mCAAmC;IACnC,+CAA+C;IAC/C,iEAAiE;CAClE,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,yDAAyD,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IACzF,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,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,eAAe,CAAC;IACtG,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;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,+DAA+D;IAC/D,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,6EAA6E;IAC7E,2EAA2E;IAC3E,4BAA4B;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAkB;IAElB,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CACvB,CAAC,GAAG,EAAkD,EAAE,CACtD,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAC7B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,QAAQ,KAAK,MAAM,CAC1B,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,MAAkB,EAClB,MAAc,EACd,cAAoD,EACpD,eAAwB;IAExB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC;;;;;OAKG;IACH,MAAM,eAAe,GAAG,CACtB,YAAoB,EACpB,GAA4C,EAC5C,IAAY,EACZ,MAAgI,EAC1H,EAAE;QACR,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,CACJ,wBAAwB,YAAY,kDAAkD;gBACpF,mFAAmF;gBACnF,gFAAgF;gBAChF,mCAAmC,EACrC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,CAC/D,CAAC;YACF,OAAO;QACT,CAAC;QAED,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,kBAAkB,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAChD,MAAM,CACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,kBAAkB;oBACpF,oFAAoF,EACtF,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,cAAc,EAAE,CAClD,CAAC;gBACF,OAAO;YACT,CAAC;YACD,6DAA6D;YAC7D,uEAAuE;YACvE,gEAAgE;YAChE,uEAAuE;YACvE,sEAAsE;YACtE,8DAA8D;YAC9D,qEAAqE;YACrE,oEAAoE;YACpE,uEAAuE;YACvE,qCAAqC;YACrC,MAAM,CACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,sBAAsB;gBACxF,4FAA4F;gBAC5F,2FAA2F;gBAC3F,8CAA8C,EAChD,cAAc,CACf,CAAC;YACF,OAAO;QACT,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,MAAM;YACN,MAAM,EAAE,GAAG,CAAC,IAAI;YAChB,QAAQ;YACR,IAAI;YACJ,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,qEAAqE;YACrE,iEAAiE;YACjE,sEAAsE;YACtE,2DAA2D;YAC3D,0EAA0E;YAC1E,yEAAyE;YACzE,kEAAkE;YAClE,UAAU,EAAE,MAAM,CAAC,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;SACrE,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,qEAAqE;QACrE,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,+DAA+D;QAC/D,8BAA8B;QAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,uEAAuE;YACvE,yEAAyE;YACzE,qBAAqB;YACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC;gBAAE,SAAS;YAE5E,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,SAA8F,EAAQ,EAAE;gBACtI,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;YAChF,CAAC,CAAC;YAEF,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,CACJ,wBAAwB,YAAY,WAAW,MAAM,2BAA2B;oBAC9E,mFAAmF;oBACnF,oFAAoF;oBACpF,oDAAoD,EACtD,cAAc,CACf,CAAC;gBACF,SAAS;YACX,CAAC;YAED,eAAe,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,YAAY,KAAK,SAAS;YAAE,SAAS;QAEzC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,SAA8F,EAAQ,EAAE;YACtI,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC;QAEF,MAAM,cAAc,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;QAC1D,IAAI,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3C,MAAM,CACJ,wBAAwB,YAAY,wDAAwD;gBAC1F,wFAAwF;gBACxF,0EAA0E,EAC5E,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,6BAA6B,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1E,MAAM,CACJ,uDAAuD,YAAY,wBAAwB;gBACzF,4FAA4F;gBAC5F,yFAAyF;gBACzF,kEAAkE,EACpE,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,SAAS;QAC9C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAEvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,CACJ,wBAAwB,YAAY,WAAW,GAAG,CAAC,IAAI,2BAA2B;gBAChF,mFAAmF;gBACnF,oFAAoF;gBACpF,oDAAoD,EACtD,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,eAAe,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,KAAoB,EACpB,IAAgB,EAChB,UAAkB,EAClB,SAAuC;IAEvC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;QAC9E,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE;QAChC,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,IAAI;QACd,UAAU;QACV,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE;KACrD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAmC,MAAM,aAAa,CAAC;AAInF;;;;;;;GAOG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,cAAc;IACd,kBAAkB;IAClB,WAAW;IACX,YAAY;IACZ,mBAAmB;CACpB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,cAAc;IACd,cAAc;IACd,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IAChB,KAAK;IACL,QAAQ;IACR,UAAU;IACV,SAAS;IACT,KAAK;CACN,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAkD;IAC1E,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IAClC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CAC3C,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC;IAC5C,uBAAuB;IACvB,oBAAoB;IACpB,oBAAoB;IACpB,iBAAiB;CAClB,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,YAAY,GAAqC;IACrD,GAAG,EAAE,KAAK;IACV,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,KAAK;IACV,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF;iEACiE;AACjE,MAAM,aAAa,GAAG,wCAAwC,CAAC;AAE/D,mFAAmF;AACnF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/G;;;;GAIG;AACH,MAAM,IAAI,GAAqC;IAC7C,YAAY,EAAE,KAAK;IACnB,YAAY,EAAE,KAAK;IACnB,aAAa,EAAE,MAAM;IACrB,aAAa,EAAE,MAAM;IACrB,eAAe,EAAE,MAAM;IACvB,cAAc,EAAE,OAAO;IACvB,GAAG,EAAE,KAAK;IACV,MAAM,EAAE,QAAQ;CACjB,CAAC;AA6CF,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;AAE5F,+HAA+H;AAC/H,MAAM,iBAAiB,GAAG;IACxB,mCAAmC;IACnC,+CAA+C;IAC/C,iEAAiE;CAClE,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,yDAAyD,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IACzF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;qEACqE;AACrE,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,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,eAAe,CAAC;IACtG,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;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,+DAA+D;IAC/D,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAkB;IAElB,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CACvB,CAAC,GAAG,EAAkD,EAAE,CACtD,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAC7B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,QAAQ,KAAK,MAAM,CAC1B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,MAAkB,EAClB,MAAc,EACd,cAAoD,EACpD,eAAwB;IAExB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC;iFAC6E;IAC7E,MAAM,eAAe,GAAG,CACtB,YAAoB,EACpB,GAA4C,EAC5C,IAAY,EACZ,MAAgI,EAC1H,EAAE;QACR,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,CACJ,wBAAwB,YAAY,kDAAkD;gBACpF,mFAAmF;gBACnF,gFAAgF;gBAChF,mCAAmC,EACrC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,CAC/D,CAAC;YACF,OAAO;QACT,CAAC;QAED,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,kBAAkB,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAChD,MAAM,CACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,kBAAkB;oBACpF,oFAAoF,EACtF,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,cAAc,EAAE,CAClD,CAAC;gBACF,OAAO;YACT,CAAC;YACD,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,wEAAwE;YACxE,oEAAoE;YACpE,sDAAsD;YACtD,MAAM,CACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,sBAAsB;gBACxF,4FAA4F;gBAC5F,2FAA2F;gBAC3F,8CAA8C,EAChD,cAAc,CACf,CAAC;YACF,OAAO;QACT,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,MAAM;YACN,MAAM,EAAE,GAAG,CAAC,IAAI;YAChB,QAAQ;YACR,IAAI;YACJ,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,sEAAsE;YACtE,wDAAwD;YACxD,mEAAmE;YACnE,gEAAgE;YAChE,mEAAmE;YACnE,UAAU,EAAE,MAAM,CAAC,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;SACrE,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,qEAAqE;QACrE,yEAAyE;QACzE,qEAAqE;QACrE,wEAAwE;QACxE,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,mEAAmE;YACnE,oEAAoE;YACpE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC;gBAAE,SAAS;YAE5E,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,SAA8F,EAAQ,EAAE;gBACtI,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;YAChF,CAAC,CAAC;YAEF,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,CACJ,wBAAwB,YAAY,WAAW,MAAM,2BAA2B;oBAC9E,mFAAmF;oBACnF,oFAAoF;oBACpF,oDAAoD,EACtD,cAAc,CACf,CAAC;gBACF,SAAS;YACX,CAAC;YAED,eAAe,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,YAAY,KAAK,SAAS;YAAE,SAAS;QAEzC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,SAA8F,EAAQ,EAAE;YACtI,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC;QAEF,MAAM,cAAc,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;QAC1D,IAAI,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3C,MAAM,CACJ,wBAAwB,YAAY,wDAAwD;gBAC1F,wFAAwF;gBACxF,0EAA0E,EAC5E,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,6BAA6B,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1E,MAAM,CACJ,uDAAuD,YAAY,wBAAwB;gBACzF,4FAA4F;gBAC5F,yFAAyF;gBACzF,kEAAkE,EACpE,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,SAAS;QAC9C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAEvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,CACJ,wBAAwB,YAAY,WAAW,GAAG,CAAC,IAAI,2BAA2B;gBAChF,mFAAmF;gBACnF,oFAAoF;gBACpF,oDAAoD,EACtD,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,eAAe,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,WAAW,CACzB,KAAoB,EACpB,IAAgB,EAChB,UAAkB,EAClB,SAAuC;IAEvC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;QAC9E,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE;QAChC,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,IAAI;QACd,UAAU;QACV,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE;KACrD,CAAC;AACJ,CAAC"}

package/dist/extract.d.ts

@@ -1,31 +1,22 @@
 /**
  * Java units to Canonical IR.
  *
- * ## Why a breadth adapter reaches further in Java than in most languages
- *
  * Every import is explicit and fully qualified, every field and parameter
- * carries a written type, and a public type's simple name is its file's name.
- * None of that needs a type checker to read, so `repo.findById(id)` resolves
- * from the declaration `private final OwnerRepository repo` alone — a call
- * through a receiver, which in TypeScript needed R3.
- *
- * That is read as **R2 evidence, and never R3**. R2 is a reference resolved to a
- * specific definition, which is exactly what happens here — the level names the
- * evidence, not the machinery, and Java hands over the same evidence an LSP
- * would without one being run. R3 is a *checked shape*, and a written annotation
- * is not one: it can be shadowed, it can be generic, and nothing here verifies
- * which overload the compiler would select. Claiming R3 for a name-level fact is
- * the confusion DEC-058 was written about, where 83% of an adapter's edges
- * claimed a level they had not earned.
- *
- * `IMPORTS` stays at R1. An import is module resolution and nothing more.
+ * carries a written type, so `repo.findById(id)` resolves from the declaration
+ * `private final OwnerRepository repo` alone — a call through a receiver,
+ * which in TypeScript needed R3.
  *
- * ## What is deliberately not resolved
+ * That is **R2 evidence, never R3**: a reference resolved to a specific
+ * definition. R3 is a *checked shape*, and a written annotation is not one —
+ * it can be shadowed, be generic, and nothing here verifies overload
+ * selection. Claiming R3 for a name-level fact is the confusion DEC-058 was
+ * written about (83% of an adapter's edges once claimed an unearned level).
+ * `IMPORTS` stays at R1 — module resolution, nothing more.
  *
- * `var` declarations, chained calls whose receiver is another call, generic type
- * variables, and any name reachable only through a wildcard import that matches
- * more than one analysed type. Each goes to the ledger with its reason. A
- * missing edge is a disclosed gap; a guessed one corrupts every layer above.
+ * Deliberately unresolved: `var` declarations, chained calls whose receiver is
+ * another call, generic type variables, and names reachable only through an
+ * ambiguous wildcard import. Each goes to the ledger with its reason — a
+ * missing edge is a disclosed gap, a guessed one corrupts every layer above.
  */
 import { type IdentityScope, type IREdge, type IRNode, type ResolutionLevel, type UnresolvedRef } from "@descryy/ir";
 import type { JavaUnit } from "./parse.ts";

package/dist/extract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAOL,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAiC,QAAQ,EAAE,MAAM,YAAY,CAAC;AAK1E,eAAO,MAAM,QAAQ,SAAS,CAAC;AAK/B;qCACqC;AACrC,eAAO,MAAM,eAAe,cAAc,CAAC;AAwC3C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C;AAwJD,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,UAAU,CA+vBvD"}
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAOL,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAiC,QAAQ,EAAE,MAAM,YAAY,CAAC;AAK1E,eAAO,MAAM,QAAQ,SAAS,CAAC;AAK/B;qCACqC;AACrC,eAAO,MAAM,eAAe,cAAc,CAAC;AAqC3C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C;AA6ID,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,UAAU,CAgrBvD"}