@descryy/adapter-csharp 0.1.0 → 0.3.0

package/dist/client.js

@@ -1,92 +1,40 @@
 /**
- * D-FIX-3's C# half: a call through a known HTTP client is disclosed, never
- * silent — even though this adapter extracts no `USES_API` edges in C# at
- * all yet.
+ * C# half: a call through a known HTTP client is disclosed, never silent,
+ * and mints a real `USES_API` edge when the shape allows it.
  *
- * ## Why disclosure without extraction is the right first producer here
+ * Known-type population, measured before being picked: `bench/client-call-census.mjs csharp`
+ * names `HttpClient`, `IHttpClientFactory`, `HttpRequestMessage`, `RestClient`
+ * as candidates. `RestClient` (RestSharp) has zero occurrences across all six
+ * C# reference corpora (jellyfin, eShop, eShopOnWeb, Ocelot, CleanArchitecture,
+ * Dapper). `IHttpClientFactory` only produces an `HttpClient` via
+ * `CreateClient()`; all 61 relative-path call sites in the census go through
+ * `HttpClient` variables/fields once the factory call has returned. So the
+ * known-type set is just `HttpClient`, narrower than the candidate list, on
+ * measurement. `HttpRequestMessage` is never a receiver — it's `SendAsync`'s
+ * argument — so it doesn't belong in a receiver-type set at all.
  *
- * Java's `client.ts` extracts real edges for Spring's clients and files a
- * ledger row for the shapes it cannot read. C# has no extraction path at
- * all — `capabilities()` already declares no `USES_API` for this adapter
- * (PROGRESS.md), so *every* call through a known client is unclaimed today.
- * Building the extractor itself (reading `GetAsync("/orders/{id}")`'s literal
- * path, the way `bench/client-call-census.mjs`'s C# census shows is
- * structurally the same shape as Spring's `RestTemplate` — the URL is the
- * call's own first argument, not a separately built request object) is a
- * **separate, larger row**: it needs the DEC-129 counting-first admission
- * this project requires before an extractor ships, a golden fixture change,
- * and a capability declaration tested against pattern 08 the way DEC-195
- * records for Java. That is not built here.
+ * Origin check (DEC-260 §3): two adapters disagreeing on the same refusal
+ * shape corrupts `refusalClass` (DEC-242) once a consumer trusts it. Not
+ * Java's exact predicate: Java's "doesn't start with `/`" rule, tested
+ * against real corpora, misfired here — jellyfin and eShopOnWeb both pass a
+ * bare relative path with no leading slash (`"Users/New"`) to `HttpClient`
+ * calls resolved against `HttpClient.BaseAddress` at runtime, a shape Java's
+ * population never contains. Every such site is an integration test through
+ * `_factory.CreateClient()` (ASP.NET's in-process test client, pointed at the
+ * app under test) — a same-repository call this reader was about to mislabel
+ * as another origin. See {@link namesAnotherOrigin}. Carried back into
+ * `adapter-java`'s `relativePath` rule, which had the identical latent
+ * defect (`adapter-java` `1bfd2ae`) — both adapters now agree by construction.
  *
- * What *is* in scope, and small: recognise the receiver's declared type and
- * turn "nothing" into a disclosed refusal, so `0 USES_API edges` stops being
- * indistinguishable from "no HTTP calls in this codebase" — the exact
- * distinction DEC-113's ledger exists to carry, and the reason a `cf-worker`
- * zero and a `sherpa-frontend` zero are different facts.
- *
- * ## The bounded population, measured before it was picked
- *
- * `bench/client-call-census.mjs csharp` names `HttpClient`, `IHttpClientFactory`,
- * `HttpRequestMessage` and `RestClient` as candidates. Measured directly against
- * this row: `RestClient` (RestSharp's type) has **zero** occurrences across all
- * six C# reference corpora (`jellyfin`, `eShop`, `eShopOnWeb`, `Ocelot`,
- * `CleanArchitecture`, `Dapper`) — counted, not assumed, the same way DEC-129
- * counted before admitting a corpus. `IHttpClientFactory` produces an
- * `HttpClient` from `CreateClient()`; the client census's 61 relative-path call
- * sites are all through `HttpClient` variables and fields once the factory call
- * has already returned. So the known-type set here is **just `HttpClient`** —
- * narrower than the census's candidate list, on a measurement rather than a
- * guess, and it can widen the day a corpus exercises `RestClient` for real.
- *
- * `HttpRequestMessage` is not a receiver in any of the census's call sites — it
- * is the *argument* to `SendAsync`, never the thing a verb method is called on
- * — so it does not belong in a receiver-type set at all; including it would
- * have been the coarser-than-node-key mistake DEC-165/187 already paid for once.
- *
- * ## Origin check, added after DEC-260
- *
- * The first pass of this file filed every candidate as "no extractor," with no
- * distinction between a call whose literal path stays inside this repository
- * and one that names a different origin outright — a divergence from Java's
- * `client.ts`, which has always told the two apart. DEC-260 §3 names the
- * consequence directly: two adapters disagreeing on the same refusal shape
- * corrupts `refusalClass` (DEC-242) the moment a consumer trusts it, because
- * C# would systematically over-report `capability-gap` against Java's
- * classifier on the same underlying population.
- *
- * **Not Java's exact predicate, on purpose — measured, not assumed.** A first
- * attempt reused Java's "does not start with `/`" rule verbatim and ran it
- * against the real admitted corpora before calling the row done, per this
- * project's own discipline. It misfired: `jellyfin` and `eShopOnWeb` both pass
- * a **bare relative path with no leading slash** (`"Users/New"`) to `HttpClient`
- * calls resolved against `HttpClient.BaseAddress` at run time — a shape Java's
- * own population never contains, so Java's rule was never tested against it.
- * Every such call site found is an integration test through
- * `_factory.CreateClient()`, ASP.NET's in-process test client pointed at the
- * application under test — a same-repository call this reader was about to
- * mislabel as "another origin." See {@link namesAnotherOrigin}'s own comment
- * for the corrected, narrower rule. This origin check was later carried back
- * into `adapter-java`'s own `relativePath` rule, which carried the identical
- * latent defect (`adapter-java` `1bfd2ae`) — the two adapters now agree on
- * this shape by construction, not by two independently-tuned rules.
- *
- * ## Extraction, built on the shape the origin check already separated out
- *
- * `DEC-241` §4 named this row: `HttpClient`'s verb methods take the path as
- * their **own first argument** — `GetAsync("/orders/{id}")`, never a
- * separately built request object the way `OkHttpClient`/`java.net.http.HttpClient`
- * require — the same structurally-straightforward shape Java's `RestTemplate`
- * already extracts from. `clientCalls` below mints a real `USES_API` edge for
- * every call whose receiver is a known client type, whose method names a
- * literal verb, and whose path is a repository-relative literal
- * (`relativePath`, unchanged from the origin check's own reasoning) — and
- * files a ledger row, never silently drops the call, for every other shape:
- * an unrecognised verb (`SendAsync`, which takes a pre-built
- * `HttpRequestMessage` — verb and path both live inside an object this reader
- * does not open), a non-literal path, an origin outside this repository, or a
- * bare relative path this reader genuinely cannot place (the same
- * `BaseAddress`-resolved shape the origin check exists to disclose rather
- * than guess).
+ * Extraction (DEC-241 §4): `HttpClient` verb methods take the path as their
+ * own first argument — `GetAsync("/orders/{id}")`, never a separately built
+ * request object — same shape Java's `RestTemplate` extracts from.
+ * `clientCalls` mints a `USES_API` edge for a known client type, a literal
+ * verb, and a repository-relative literal path (`relativePath`); everything
+ * else files a ledger row rather than dropping silently: an unrecognised verb
+ * (`SendAsync`, verb and path live inside an `HttpRequestMessage` this reader
+ * doesn't open), a non-literal path, another origin, or an unplaceable bare
+ * relative path.
  */
 import { endpointQsp, nodeId } from "@descryy/ir";
 const CAPABILITY_GAP = { blockedBy: null, refusalClass: "capability-gap" };
@@ -106,12 +54,7 @@ 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/configuration-read expression, or something this reader
- * does not trace.
- */
+/** Why the first argument couldn't be read as a literal path — mirrors `firstArgumentTextOf`'s reach. */
 function diagnoseArgument(text, parameterNames) {
     if (text === undefined)
         return CAPABILITY_GAP;
@@ -141,14 +84,11 @@ const CLIENT_METHODS = new Set([
 ]);
 const KNOWN_CLIENT_TYPES = new Set(["HttpClient"]);
 /**
- * The HTTP verb a method name implies.
- *
- * `SendAsync` takes a pre-built `HttpRequestMessage` — the verb (and the
- * path) live inside that object, not in this call's own arguments — so it is
- * absent here and refused rather than defaulted, the identical reasoning
- * Java's `exchange`/`execute`/`uri` carry: a wrong verb mints an endpoint
- * that joins the wrong route, or none, and root-cause traversal would follow
- * it.
+ * The HTTP verb a method name implies. `SendAsync` takes a pre-built
+ * `HttpRequestMessage` (verb and path live inside it), so it's absent here
+ * and refused rather than defaulted — same reasoning as Java's
+ * `exchange`/`execute`/`uri`: a wrong verb mints a wrong or absent endpoint
+ * that root-cause traversal would then follow.
  */
 const VERB = {
     GetAsync: "GET",
@@ -165,10 +105,9 @@ const VERB = {
     PatchAsync: "PATCH",
 };
 /**
- * A path this reader will claim: repository-relative, no scheme, no assembly.
- * Unchanged from the origin check's own reasoning — a leading `/` and nothing
- * ambiguous about it, query string dropped because `SERVES_API` never mints
- * one and keeping it would guarantee the join fails.
+ * A path this reader will claim: repository-relative, leading `/`, nothing
+ * ambiguous. Query string dropped — `SERVES_API` never mints one, keeping it
+ * would guarantee the join fails.
  */
 function relativePath(value) {
     if (!value.startsWith("/"))
@@ -179,38 +118,29 @@ function relativePath(value) {
     return cut === -1 ? value : value.slice(0, cut);
 }
 /**
- * A literal argument this reader can say, with no ambiguity, names a
- * *different* origin — an explicit scheme (`http://...`) or a protocol-relative
- * URL (`//host/...`). Not Java's `relativePath` predicate, and deliberately
- * not the same rule even though the two must agree on `refusalClass` (DEC-242)
- * for the shapes they both actually see.
+ * A literal argument that unambiguously names a different origin: explicit
+ * scheme or protocol-relative URL. Deliberately not Java's `relativePath`
+ * predicate, even though both must agree on `refusalClass` (DEC-242) for
+ * shapes they share.
  *
- * Java's population (measured, DEC-260 §1) is `RestTemplate`/`TestRestTemplate`
- * calls, which are either a leading-`/` repository-relative path or a fully
- * qualified URL — nothing in between, so "does not start with `/`" was a safe
- * proxy for "names another origin" *there*. C#'s real corpora are not the same
- * population: `HttpClient` calls routinely pass a **bare relative path with no
- * leading slash** (`"Users/New"`, `"SyncPlay/List"`) resolved against
- * `HttpClient.BaseAddress` at run time — measured directly against jellyfin and
- * eShopOnWeb, where every bare-relative call site found is an integration test
- * driving `_factory.CreateClient()`, ASP.NET's own in-process test client
- * whose `BaseAddress` is the application under test. Porting Java's predicate
- * verbatim filed those as "another origin," which is not a fact this reader
- * has — `BaseAddress` is a runtime value this reader does not see, so a bare
- * relative path is genuinely undetermined, not a confirmed scope boundary.
- * Rule 2 (precision over recall): when in doubt, the row stays in the
- * capability-gap bucket rather than asserting a boundary this reader cannot
- * back up. Only an unambiguous absolute form earns `out-of-scope`.
+ * Java's population (DEC-260 §1) is `RestTemplate`/`TestRestTemplate` calls —
+ * either leading-`/` or fully qualified, nothing in between, so "doesn't
+ * start with `/`" was safe there. C#'s corpora aren't the same population:
+ * `HttpClient` calls routinely pass a bare relative path with no leading
+ * slash (`"Users/New"`), resolved against `HttpClient.BaseAddress` at
+ * runtime — measured on jellyfin/eShopOnWeb, every such site an integration
+ * test through `_factory.CreateClient()`. Porting Java's predicate verbatim
+ * would file those as "another origin," a fact this reader doesn't have
+ * (`BaseAddress` is a runtime value it doesn't see) — genuinely
+ * undetermined, not a confirmed boundary. Rule 2: stays capability-gap.
+ * Only an unambiguous absolute form earns `out-of-scope`.
  */
 function namesAnotherOrigin(value) {
     return /^[a-zA-Z][a-zA-Z0-9+.-]*:\/\//.test(value) || value.startsWith("//");
 }
 /**
- * Every reference {@link clientCalls} will act on — an unbounded receiver
- * type still makes it a true silence past this point, exactly as in Java. See
- * `client.test.ts` for the reconciliation this makes checkable: every
- * candidate whose type resolves lands in either `calls` or `refusals`, with
- * nothing else.
+ * Every reference {@link clientCalls} will act on. See `client.test.ts`:
+ * every candidate whose type resolves lands in either `calls` or `refusals`.
  */
 export function candidateClientRefs(refs) {
     return refs.filter((ref) => ref.kind === "call" &&
@@ -226,15 +156,12 @@ function stripQuery(value) {
 }
 /**
  * DEC-097's composition, with the separator neither half is guaranteed to
- * supply. `path` (a resolved base's own prefix) never ends in `/`
- * (`pathPrefixOf` in `client-base.ts` strips it) and a call's own literal
- * may or may not start with one (`"orders/{id}"` vs `"/order/my-orders"`),
- * so joining with a bare `+` silently drops the boundary exactly once: `"/api/v1"
- * + "orders/{id}"` is `"/api/v1orders/{id}"`, one wrong path, not a missing
- * slash `normaliseEndpointPath` can recover — it repairs a *doubled* slash,
- * never a *missing* one. Always inserting `/` and letting `normaliseEndpointPath`'s
- * own `/+` collapse handle the doubled case when the suffix already had one
- * is the one join that is correct for both shapes.
+ * supply: `path` never ends in `/` (`pathPrefixOf` strips it), a call's
+ * literal may or may not start with one. A bare `+` join would silently drop
+ * the boundary (`"/api/v1" + "orders/{id}"` -> `"/api/v1orders/{id}"`), which
+ * `normaliseEndpointPath` can't recover (it fixes doubled slashes, not
+ * missing ones). Always inserting `/` and letting the `/+` collapse handle a
+ * doubled case is correct for both shapes.
  */
 function joinBase(path, suffix) {
     return `${path}/${suffix}`;
@@ -243,13 +170,10 @@ function joinBase(path, suffix) {
  * Read one method's calls for outbound HTTP.
  *
  * `typeOfReceiver` is supplied by `extract.ts`, which already has the scope
- * tables (`fn.scope.locals`, the enclosing type's members) a second copy of
- * here would drift from — the same division of labour as Java's `client.ts`.
- *
- * `clientBaseOfReceiver` is DEC-164's contract (`client-base.ts`'s own
- * header): a per-call determination of what base, if any, this reader traced
- * for the receiver. Called only for refs that already passed the known-client-
- * type gate below, matching `typeOfReceiver`'s own division of labour.
+ * tables a second copy here would drift from — same division of labour as
+ * Java's `client.ts`. `clientBaseOfReceiver` is DEC-164's contract
+ * (`client-base.ts`): a per-call trace of the receiver's base, called only
+ * for refs that already passed the known-client-type gate.
  */
 export function clientCalls(refs, fromId, typeOfReceiver, isTest, parameterNames, clientBaseOfReceiver) {
     const calls = [];
@@ -276,12 +200,10 @@ export function clientCalls(refs, fromId, typeOfReceiver, isTest, parameterNames
                 `caller to a route it never calls.`, diagnoseArgument(ref.firstArgumentText, parameterNames));
             continue;
         }
-        // A literal argument unambiguously naming a different origin is a
-        // resolved fact, not a gap — DEC-113's out-of-scope population, the same
-        // one Java's client.ts already separates out for the shapes the two
-        // adapters' real corpora actually share (an absolute URL to another
-        // host). Checked before `clientBase` — an absolute request URI overrides
-        // `HttpClient.BaseAddress` regardless of what this reader traced for it.
+        // A literal naming a different origin is a resolved fact, not a gap —
+        // DEC-113's out-of-scope population, same as Java's client.ts. Checked
+        // before `clientBase`: an absolute request URI overrides `BaseAddress`
+        // regardless of what was traced.
         if (namesAnotherOrigin(ref.firstStringArgument)) {
             refuse(`an HTTP call through ${receiverType} to \`${ref.firstStringArgument}\`, which names ` +
                 `another origin rather than a path in this repository. A scope boundary, not a gap.`, { blockedBy: null, refusalClass: "out-of-scope" });
@@ -289,10 +211,8 @@ export function clientCalls(refs, fromId, typeOfReceiver, isTest, parameterNames
         }
         const base = clientBaseOfReceiver(ref);
         if (base.state === "unresolved") {
-            // DEC-164: never guess. A base-setting mechanism was found and its
-            // value could not be read — zero witnesses for this branch in the six
-            // corpora this row measured (see `client-base.ts`'s own header), kept
-            // rather than deleted for the day one exists.
+            // DEC-164: never guess. Zero witnesses for this branch in the six
+            // corpora measured — kept rather than deleted for the day one exists.
             refusals.push({
                 fromId,
                 raw: ref.raw,
@@ -307,9 +227,8 @@ export function clientCalls(refs, fromId, typeOfReceiver, isTest, parameterNames
             continue;
         }
         if (base.state === "resolved") {
-            // DEC-097: only the origin was ever stripped from a resolved base: the
-            // call's own literal path — leading slash or not, the base is real and
-            // traced — composes directly against `path`.
+            // DEC-097: only the origin was stripped from a resolved base, so the
+            // call's literal path composes directly against `path`.
             calls.push({
                 fromId,
                 method: ref.name,
@@ -321,22 +240,14 @@ export function clientCalls(refs, fromId, typeOfReceiver, isTest, parameterNames
             });
             continue;
         }
-        // `base.state === "none"` — no traced mechanism. Unchanged from every C#
-        // `USES_API` edge minted before this row: a leading-slash literal is
-        // trusted as complete on its own; a bare relative path is not, because
-        // this reader cannot tell whether an untraced `BaseAddress` elsewhere
-        // would give it a different meaning.
+        // `base.state === "none"`: a leading-slash literal is trusted as
+        // complete; a bare relative path isn't, since an untraced `BaseAddress`
+        // elsewhere could give it a different meaning.
         const template = relativePath(ref.firstStringArgument);
         if (template === undefined) {
-            // A bare relative path with no leading slash and no traced base —
-            // structurally identical to Java's own `restTemplate.getForObject("orders/5",
-            // ...)` shape once `adapter-java` `1bfd2ae` closed the same latent
-            // defect there. It may resolve inside this repository, against a
-            // `BaseAddress` configured elsewhere this reader does not trace, or it
-            // may not; 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`.
+            // Bare relative path, no traced base — same shape `adapter-java`
+            // `1bfd2ae` fixed for Java. May or may not resolve inside this repo;
+            // rule 2 says neither an edge nor an out-of-scope claim is honest here.
             refusals.push({
                 fromId,
                 raw: ref.raw,

package/dist/client.js.map

@@ -1 +1 @@
-{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyFG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAmC,MAAM,aAAa,CAAC;AAkEnF,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,uHAAuH;AACvH,MAAM,iBAAiB,GAAG;IACxB,wDAAwD;IACxD,2CAA2C;CAC5C,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;;;;;GAKG;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;AAED,kGAAkG;AAClG,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,UAAU;IACV,WAAW;IACX,UAAU;IACV,aAAa;IACb,YAAY;IACZ,WAAW;IACX,gBAAgB;IAChB,mBAAmB;IACnB,gBAAgB;IAChB,kBAAkB;IAClB,iBAAiB;IACjB,gBAAgB;IAChB,qBAAqB;CACtB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;AAEnD;;;;;;;;;GASG;AACH,MAAM,IAAI,GAAqC;IAC7C,QAAQ,EAAE,KAAK;IACf,cAAc,EAAE,KAAK;IACrB,iBAAiB,EAAE,KAAK;IACxB,cAAc,EAAE,KAAK;IACrB,gBAAgB,EAAE,KAAK;IACvB,SAAS,EAAE,MAAM;IACjB,eAAe,EAAE,MAAM;IACvB,QAAQ,EAAE,KAAK;IACf,cAAc,EAAE,KAAK;IACrB,WAAW,EAAE,QAAQ;IACrB,mBAAmB,EAAE,QAAQ;IAC7B,UAAU,EAAE,OAAO;CACpB,CAAC;AAEF;;;;;GAKG;AACH,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,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;;;;;;;;;;;;;;;;;;;;;;;GAuBG;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;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAsB;IACxD,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,GAAG,EAAgD,EAAE,CACpD,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAC5B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,QAAQ,KAAK,MAAM;QACvB,GAAG,CAAC,QAAQ,KAAK,MAAM,CAC1B,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,SAAS,UAAU,CAAC,KAAa;IAC/B,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;;;;;;;;;;;GAWG;AACH,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAc;IAC5C,OAAO,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CACzB,IAAsB,EACtB,MAAc,EACd,cAAkF,EAClF,MAAe,EACf,cAAmC,EACnC,oBAAsF;IAEtF,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,SAAS;QAElF,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,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,uBAAuB;gBAC5E,uFAAuF;gBACvF,oFAAoF;gBACpF,yFAAyF,EAC3F,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,CACJ,wBAAwB,YAAY,kDAAkD;gBACpF,wFAAwF;gBACxF,wFAAwF;gBACxF,mCAAmC,EACrC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,EAAE,cAAc,CAAC,CACxD,CAAC;YACF,SAAS;QACX,CAAC;QAED,kEAAkE;QAClE,yEAAyE;QACzE,oEAAoE;QACpE,oEAAoE;QACpE,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,kBAAkB,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAChD,MAAM,CACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,kBAAkB;gBACpF,oFAAoF,EACtF,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,cAAc,EAAE,CAClD,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;QAEvC,IAAI,IAAI,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YAChC,mEAAmE;YACnE,sEAAsE;YACtE,sEAAsE;YACtE,8CAA8C;YAC9C,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EACJ,wBAAwB,YAAY,0CAA0C;oBAC9E,iDAAiD,IAAI,CAAC,GAAG,2BAA2B;oBACpF,mDAAmD;gBACrD,SAAS,EAAE,IAAI,CAAC,GAAG;gBACnB,YAAY,EAAE,gBAAgB;gBAC9B,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9B,uEAAuE;YACvE,uEAAuE;YACvE,6CAA6C;YAC7C,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM;gBACN,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;gBAClE,IAAI;gBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;gBAC1C,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,yEAAyE;QACzE,qEAAqE;QACrE,uEAAuE;QACvE,sEAAsE;QACtE,qCAAqC;QACrC,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,kEAAkE;YAClE,8EAA8E;YAC9E,mEAAmE;YACnE,iEAAiE;YACjE,uEAAuE;YACvE,sEAAsE;YACtE,iEAAiE;YACjE,gEAAgE;YAChE,kDAAkD;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,sBAAsB;oBAC1F,wFAAwF;oBACxF,0FAA0F;oBAC1F,uFAAuF;oBACvF,2CAA2C;gBAC7C,GAAG,cAAc;gBACjB,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,SAAS;QACX,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,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;YAC1C,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAmC,MAAM,aAAa,CAAC;AAuDnF,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,uHAAuH;AACvH,MAAM,iBAAiB,GAAG;IACxB,wDAAwD;IACxD,2CAA2C;CAC5C,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,yGAAyG;AACzG,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;AAED,kGAAkG;AAClG,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,UAAU;IACV,WAAW;IACX,UAAU;IACV,aAAa;IACb,YAAY;IACZ,WAAW;IACX,gBAAgB;IAChB,mBAAmB;IACnB,gBAAgB;IAChB,kBAAkB;IAClB,iBAAiB;IACjB,gBAAgB;IAChB,qBAAqB;CACtB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;AAEnD;;;;;;GAMG;AACH,MAAM,IAAI,GAAqC;IAC7C,QAAQ,EAAE,KAAK;IACf,cAAc,EAAE,KAAK;IACrB,iBAAiB,EAAE,KAAK;IACxB,cAAc,EAAE,KAAK;IACrB,gBAAgB,EAAE,KAAK;IACvB,SAAS,EAAE,MAAM;IACjB,eAAe,EAAE,MAAM;IACvB,QAAQ,EAAE,KAAK;IACf,cAAc,EAAE,KAAK;IACrB,WAAW,EAAE,QAAQ;IACrB,mBAAmB,EAAE,QAAQ;IAC7B,UAAU,EAAE,OAAO;CACpB,CAAC;AAEF;;;;GAIG;AACH,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,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;;;;;;;;;;;;;;;;;GAiBG;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;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAsB;IACxD,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,GAAG,EAAgD,EAAE,CACpD,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAC5B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,QAAQ,KAAK,MAAM;QACvB,GAAG,CAAC,QAAQ,KAAK,MAAM,CAC1B,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,SAAS,UAAU,CAAC,KAAa;IAC/B,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;;;;;;;;GAQG;AACH,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAc;IAC5C,OAAO,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,IAAsB,EACtB,MAAc,EACd,cAAkF,EAClF,MAAe,EACf,cAAmC,EACnC,oBAAsF;IAEtF,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,SAAS;QAElF,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,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,uBAAuB;gBAC5E,uFAAuF;gBACvF,oFAAoF;gBACpF,yFAAyF,EAC3F,cAAc,CACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,CACJ,wBAAwB,YAAY,kDAAkD;gBACpF,wFAAwF;gBACxF,wFAAwF;gBACxF,mCAAmC,EACrC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,EAAE,cAAc,CAAC,CACxD,CAAC;YACF,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,uEAAuE;QACvE,uEAAuE;QACvE,iCAAiC;QACjC,IAAI,kBAAkB,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAChD,MAAM,CACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,kBAAkB;gBACpF,oFAAoF,EACtF,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,cAAc,EAAE,CAClD,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;QAEvC,IAAI,IAAI,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YAChC,kEAAkE;YAClE,sEAAsE;YACtE,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EACJ,wBAAwB,YAAY,0CAA0C;oBAC9E,iDAAiD,IAAI,CAAC,GAAG,2BAA2B;oBACpF,mDAAmD;gBACrD,SAAS,EAAE,IAAI,CAAC,GAAG;gBACnB,YAAY,EAAE,gBAAgB;gBAC9B,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9B,qEAAqE;YACrE,wDAAwD;YACxD,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM;gBACN,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;gBAClE,IAAI;gBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;gBAC1C,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,iEAAiE;QACjE,wEAAwE;QACxE,+CAA+C;QAC/C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,iEAAiE;YACjE,qEAAqE;YACrE,wEAAwE;YACxE,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EACJ,wBAAwB,YAAY,SAAS,GAAG,CAAC,mBAAmB,sBAAsB;oBAC1F,wFAAwF;oBACxF,0FAA0F;oBAC1F,uFAAuF;oBACvF,2CAA2C;gBAC7C,GAAG,cAAc;gBACjB,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,SAAS;QACX,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,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;YAC1C,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,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"}

package/dist/efcore.d.ts

@@ -1,14 +1,12 @@
 /**
  * The ORM framework extractor for C# — Entity Framework Core.
  *
- * **A `MODEL` is a framework claim, and this file is where it is earned.**
- * DEC-128 fixed the rules before extraction and **DEC-180 amended them after
- * counting the corpus**, which is the part worth reading first: four of
- * DEC-128's ORM rules were wrong, and every one of them was wrong in the same
- * way — written from how EF Core is documented rather than from how the corpus
- * is spelled. That is how a rule acquires zero witnesses.
+ * A `MODEL` is a framework claim, earned here. DEC-128 set the rules before
+ * extraction; DEC-180 amended four of them after counting the corpus — all
+ * four were written from EF Core's docs rather than from how the corpus is
+ * actually spelled, hence zero witnesses.
  *
- * ## Admission — what the corpus actually contains
+ * Admission evidence:
  *
  * | evidence | jellyfin | Ocelot | eShopOnWeb | CleanArchitecture |
  * | --- | --- | --- | --- | --- |
@@ -17,42 +15,26 @@
  * | `modelBuilder.Entity<` | **0** | **0** | **0** | **0** |
  * | `[Table(` | **0** | **0** | **0** | **0** |
  *
- * So the admission grounds are:
+ * Admission grounds:
+ * 1. `DbSet<T>` on a `DbContext` — primary, witnessed in 3 of 4 corpora.
+ * 2. `IEntityTypeConfiguration<T>` — replaces DEC-128's `modelBuilder.Entity<T>()`,
+ *    the same fact in a form the corpus doesn't contain.
+ * 3. `[Table]` and `modelBuilder.Entity<T>()` are still read where they
+ *    appear but reported unwitnessed (`0 of 0`) — a rule with zero witnesses
+ *    can't be shown to work or fail.
  *
- * 1. **`DbSet<T>` on a `DbContext`.** Primary, and the only rule with witnesses
- *    in three of four corpora.
- * 2. **`IEntityTypeConfiguration<T>`.** This *replaces* DEC-128's
- *    `modelBuilder.Entity<T>()` rule, which is the same fact written in a form
- *    the corpus does not contain.
- * 3. `[Table]` and `modelBuilder.Entity<T>()` are still **read** where they
- *    appear, and are reported as **unwitnessed** — `0 of 0`, undefined, never as
- *    passing. A rule with zero witnesses cannot be shown to work or to fail, and
- *    its green is the green of a branch never taken.
+ * Refused: a type in a `Models`/`Entities` namespace with no mapping evidence
+ * (the `IFoo` guess this project forbids), and an owned type via `OwnsOne`
+ * (shares its owner's table, has none of its own).
  *
- * **Refused:** a type in a `Models` or `Entities` namespace with no mapping
- * evidence — the `IFoo` guess this project forbids — and an owned type reached
- * through `OwnsOne`, which shares its owner's table and has none of its own.
+ * Generated migrations are excluded and the exclusion counted: 1,338 of
+ * jellyfin's 1,339 `ToTable` calls, and 50 of eShopOnWeb's 51, are inside
+ * `Migrations/` under `<auto-generated />` — reading them unexcluded is
+ * reading almost only generated code.
  *
- * ## Generated migrations are excluded, and the exclusion is counted
- *
- * DEC-128 read the table name from `ToTable(…)`. Measured: **1,338 of
- * `jellyfin`'s 1,339 `ToTable` calls are inside `Migrations/`**, under a
- * `// <auto-generated />` header, and 50 of `eShopOnWeb`'s 51. Those files are
- * EF Core's serialised model from whenever someone last scaffolded a migration —
- * an artefact of an operation, read as evidence about the world.
- *
- * An extractor reading them without excluding them is, to three significant
- * figures, reading **only** generated code. So they are excluded — and the count
- * is **reported**, because a silent exclusion of 1,338 of 1,339 is a correct
- * decision that looks identical to a reader that never found them.
- *
- * ## No corpus can exercise the provenance rule
- *
- * `Dapper`, `NHibernate` and `linq2db` occur **zero** times across all four
- * corpora. There is no C# repository here in which a rival ORM's types are
- * present for these rules to correctly refuse — the identical hole the Java
- * control set has. Stated before extraction rather than discovered after a green
- * run, and every report carries the EF negative control as `0 of 0 — undefined`.
+ * No corpus exercises the provenance rule: `Dapper`, `NHibernate`, `linq2db`
+ * occur zero times across all four corpora (same hole as the Java control
+ * set) — every report carries the EF negative control as `0 of 0 — undefined`.
  */
 import type { CsFile } from "./parse.ts";
 import { type NullableContext } from "./nullability.ts";
@@ -66,20 +48,11 @@ export interface EfColumn {
 export interface EfModel {
     readonly typeName: string;
     /**
-     * Namespace-qualified, because the simple name is not what identifies a type.
-     *
-     * The consumer decides `MODEL` versus `CLASS` from this map, and it used to
-     * decide on `typeName`. While every simple-name collision was refused here
-     * that was invisible; the moment collisions began resolving, **every**
-     * declaration sharing a resolved name became a `MODEL` — `eShopOnWeb` emitted
-     * a second `Basket` for its Razor `ViewComponent` and a second `CatalogItem`
-     * for its Blazor DTO, each with the entity's columns attached to the wrong
-     * type.
-     *
-     * So a conservative refusal in this file was holding a defect in another one
-     * shut. Widening the refusal was correct and it was also the thing that fired
-     * the second bug — which is the argument for re-running precision after a
-     * widening rather than after a release.
+     * Namespace-qualified — the simple name doesn't identify a type. The
+     * consumer decides `MODEL` vs `CLASS` from this map; keying on `typeName`
+     * was invisible until simple-name collisions started resolving, at which
+     * point `eShopOnWeb` emitted a second `Basket`/`CatalogItem` (Razor
+     * `ViewComponent`/Blazor DTO) each carrying the entity's columns.
      */
     readonly fqn: string;
     readonly path: readonly string[];
@@ -99,20 +72,12 @@ export interface EfCensus {
     readonly generatedToTableSkipped: number;
     /**
      * Entities named by a mapping whose simple name is declared more than once.
-     *
-     * **Refused rather than guessed, and this is not hypothetical.** `eShopOnWeb`
-     * declares `Basket`, `CatalogBrand`, `CatalogItem` and `CatalogType` **twice**
-     * — once in `ApplicationCore/Entities` as the entity and once in
-     * `BlazorShared/Models` as the view DTO. A simple-name index with first-wins
-     * publishes the DTO's properties as the entity's columns: a wrong answer, and
-     * one that looks entirely healthy because a model *is* emitted with plausible
-     * columns.
-     *
-     * This is the mistake `adapter-java` records for `airbyte`, arriving in C#: a
-     * `Map<string, Declared>` keeps the last (or first) of several and resolves
-     * every reference to it. Two declarations is genuinely ambiguous and the
-     * `DbSet<T>` argument is rarely qualified, so there is nothing to break the tie
-     * with. Refused, and counted so the refusal is visible.
+     * Refused rather than guessed: `eShopOnWeb` declares `Basket`,
+     * `CatalogBrand`, `CatalogItem`, `CatalogType` twice each — entity in
+     * `ApplicationCore/Entities`, view DTO in `BlazorShared/Models`. First-wins
+     * would publish the DTO's columns as the entity's — the `adapter-java`
+     * `airbyte` mistake, arriving in C#. `DbSet<T>`'s argument is rarely
+     * qualified, so there's nothing to break the tie with — refused and counted.
      */
     readonly ambiguousEntityNames: readonly string[];
     /**
@@ -126,64 +91,45 @@ export interface EfCensus {
         readonly unresolved: number;
     };
     /**
-     * Properties refused because their declared type is a class declared in this
-     * repository — a navigation, or an owned type. Not scalar columns.
-     *
-     * **The owned-type rule DEC-128 §2 states has no readable witness.**
-     * `eShopOnWeb`'s only `OwnsOne` calls are inside `Migrations/*.Designer.cs`,
-     * which are generated and correctly excluded, so `Address` and
-     * `CatalogItemOrdered` are never marked owned. Reading them anyway would have
-     * published `ShipToAddress` as one non-nullable column, when EF spreads an
-     * owned type across several columns of the owner's table under names this
-     * reader cannot compute.
+     * Properties refused because their declared type is a repo-declared class —
+     * a navigation or owned type, not a scalar column.
      *
-     * So the rule applied is broader and rests on the declaration rather than on
-     * the configuration: a property whose type is a repo-declared `class`,
-     * `record` or `interface` is not a scalar column. Enums and structs are, and
-     * stay.
+     * DEC-128 §2's owned-type rule has no readable witness: `eShopOnWeb`'s only
+     * `OwnsOne` calls are inside generated `Migrations/*.Designer.cs`, correctly
+     * excluded, so `Address`/`CatalogItemOrdered` are never marked owned.
+     * Reading them anyway would publish `ShipToAddress` as one non-nullable
+     * column when EF spreads an owned type across several columns under names
+     * this reader can't compute. So the rule rests on declaration, not
+     * configuration: any property typed as a repo-declared `class`/`record`/
+     * `interface` is not a scalar column. Enums and structs are, and stay.
      */
     readonly navigationsRefused: number;
     /** Which rule *won* precedence for each admitted model. */
     readonly admittedBy: Readonly<Record<EfModel["admittedBy"], number>>;
     /**
-     * How many entities **each rule saw**, independent of which one won.
-     *
-     * Reported beside `admittedBy` because the two answer different questions and
-     * the first alone is misleading. `DbSet<T>` outranks `IEntityTypeConfiguration<T>`
-     * and names the same entities, so `admittedBy.configuration` is **0 on every
-     * corpus** — which reads as *the rule never fires* when it means *nothing
-     * needed it to*. A rule that fires and never wins is not an unwitnessed rule,
-     * and the distinction is exactly the one DEC-180 was written to protect.
+     * How many entities each rule saw, independent of which won. Reported
+     * beside `admittedBy` because `DbSet<T>` outranks `IEntityTypeConfiguration<T>`
+     * and names the same entities, so `admittedBy.configuration` is 0 on every
+     * corpus — a rule that fires and never wins is not the same as an
+     * unwitnessed rule, the distinction DEC-180 protects.
      */
     readonly evidenceFor: Readonly<Record<EfModel["admittedBy"], number>>;
 }
 /**
- * Does this file import EF Core at all? Provenance, not spelling.
- *
- * **A `global using` counts, and it is in force across the whole assembly.**
- * That is not an edge case: `eShop`'s `OrderingContext` declares nine
- * `DbSet<T>` and its only file-local `using` is `eShop.IntegrationEventLogEF` —
- * `Microsoft.EntityFrameworkCore` arrives from `GlobalUsings.cs` three files
- * away. Checking file-local usings alone read **zero** models from a corpus with
- * nine, silently.
- *
- * `parse.ts` already says a `global using` is *"in force for every file in the
- * project, not just this one"* and models the flag. This is the first consumer
- * to act on it. Modern C# leans on it heavily — .NET 6 onward emits an implicit
- * global-usings file per project — so a reader that ignores it fails on new
- * codebases specifically.
- *
- * Scoped by **assembly**, because that is what a project is. A global using in
- * one project does not reach another.
+ * Does this file import EF Core at all? A `global using` counts, in force
+ * across the whole assembly — not an edge case: `eShop`'s `OrderingContext`
+ * declares nine `DbSet<T>` with `Microsoft.EntityFrameworkCore` arriving via
+ * `GlobalUsings.cs` three files away; file-local-only usings read zero models
+ * from a corpus with nine. Modern C# (.NET 6+ implicit global usings) leans
+ * on this heavily. Scoped by assembly — a global using in one project doesn't
+ * reach another.
  */
 export declare function importsEfCore(file: CsFile, globalsByAssembly?: ReadonlyMap<string, boolean>): boolean;
 /**
- * Is this file generated?
- *
- * Two signals, and both are needed. The `// <auto-generated />` header is the
- * language's own convention and is what EF Core's scaffolder emits. The
- * `Migrations/` path catches the migration classes beside the snapshot, which
- * carry no header of their own in every version.
+ * Is this file generated? Two signals needed: `// <auto-generated />` (the
+ * language convention, EF Core's scaffolder emits it) and the `Migrations/`
+ * path (catches migration classes beside the snapshot, which lack the header
+ * in every version).
  */
 export declare function isGenerated(path: string, source: string): boolean;
 export interface EfInput {