@descryy/core 0.4.0 → 0.5.1

package/dist/contracts/orphans.d.ts

@@ -1,106 +1,25 @@
-/**
- * The contract engine's R2 half: who calls what, and who serves it.
- *
- * §13's mechanism is shape comparison at R3. This is the part that works
- * **below** it, and the architecture is explicit that it should exist: at R2,
- * report path-level orphans only, and say so. Splitting the engine this way
- * means half the value lands on graphs no type checker has touched, and the R3
- * half does not hold it hostage.
- *
- * ## Three findings about the join, and a fourth about a route that never reaches it
- *
- * ```
- *   API_ROUTE ──SERVES_API──▶ API_ENDPOINT ◀──USES_API── caller
- * ```
- *
- * An `API_ENDPOINT` is the join. Every one of the first three questions here is
- * about which of its two sides is present:
- *
- * | both sides | one side | finding |
- * | --- | --- | --- |
- * | caller + route | — | the contract holds at path level |
- * | — | caller only | **the call reaches nothing that is served** |
- * | — | route only | **nothing in this graph calls the route** |
- *
- * The fourth, `ROUTE_NOT_MOUNTED`, is about a route that never reaches the join
- * at all — UAT round 3's real-feature test (`reviews.py`): a decorator this
- * graph read as a route, on a router nothing registers with the running
- * application. No `API_ENDPOINT` exists for it and no `SERVES_API` edge was
- * ever a candidate, so the three questions above have nothing to ask; the
- * `API_ROUTE` node's own `attrs.mounted: false` (`descry-adapters`,
- * `DEC-NEXT-route-declared-but-not-mounted-modelling`) is the whole fact.
- * Unlike `ROUTE_NOT_CALLED`, this needs no external-consumer caveat — a route
- * with no `SERVES_API` edge 404s for *every* caller, not only the ones this
- * graph can see — so it is a `defect`, counted in `checked` against
- * `API_ROUTE`, not `API_ENDPOINT`, findings.
- *
- * **Precision guard.** `attrs.mounted` is a fact only `adapter-python` states
- * today. A route from any other producer carries no such attribute, and its
- * absence means "this producer does not report mounting" — not "not mounted".
- * Reporting a finding for an absent attribute would be exactly the false
- * positive rule 2 exists to forbid, so a route with `attrs.mounted !==
- * true|false` produces no finding at all, counted separately and disclosed
- * rather than silently dropped.
- *
- * ## The trap, and it is the whole design
- *
- * On two real repositories: **117 callers, 24 routes, 16 joined.** The other 101
- * callers are, overwhelmingly, calls to services that are not in the graph at
- * all — a third-party API, a backend nobody analysed. Reporting them as "no
- * route serves this" would be 101 confident wrong statements that bury the
- * handful that are real.
- *
- * So an unmatched caller is a **finding** only when a served route exists that
- * it nearly matches (see `paths.ts`, where every rule is a specific mechanical
- * mistake rather than a similarity threshold). Everything else is counted and
- * disclosed as *not analysable*, because the honest description of it is "the
- * provider side of this call was never read", not "the provider side is wrong".
- *
- * Two more refusals in the same spirit:
- *
- * - **No routes at all in the graph → no caller findings, at all.** With nothing
- *   on the provider side, every caller is unmatched by construction and the
- *   comparison has no content. Reported as not analysable, with the reason.
- * - **`ROUTE_NOT_CALLED` is stated weakly on purpose.** A route nothing calls is
- *   usually a route called by something outside this graph — a mobile client,
- *   another service, curl. It is a lead, not a defect, and the wording says so.
- */
+/** Contract engine's R2 half: reports path-level orphans only (§13 is the R3 shape half, not this).
+ *  A caller is a finding only with a near-miss served route — measured 117 callers/24 routes/16
+ *  joined; the other 101 are unrelated services, disclosed as not analysable, not false positives. */
 import type { IRNode, ResolutionLevel } from "@descryy/ir";
 import type { AdjacencyProvider, QueryResult } from "../query/provider.ts";
 import { type NearMiss } from "./paths.ts";
 export type ContractFindingKind = "CALL_NOT_SERVED" | "ROUTE_NOT_CALLED" | "ROUTE_NOT_MOUNTED";
-/**
- * Provable from the graph alone, or dependent on knowledge outside it.
- *
- * UAT round 3, Suggestion 6, following `EnvClaim`'s precedent
- * (`validation/env.ts`) rather than inventing a second name for the same
- * axis. `CALL_NOT_SERVED` is a `defect`: a call and a near-miss route both
- * sit in this graph, and the mismatch between them is provable without
- * knowing anything this graph does not already hold. `ROUTE_NOT_CALLED` is a
- * `lead`, and was already worded as one (`orphans.ts`'s own module doc) — a
- * mobile client, another service, or an external consumer would not appear
- * in this graph at all, so "nothing calls it" is never provable, only
- * suggestive. This is orthogonal to `prominence`/evidence-strength ranking:
- * a `lead` and a `defect` can each rest on strong or weak evidence.
- */
+/** Provable from the graph alone ("defect") vs dependent on outside knowledge ("lead") — following
+ *  `EnvClaim`'s precedent. CALL_NOT_SERVED is a defect (miss + call both in graph); ROUTE_NOT_CALLED
+ *  is a lead (an external caller wouldn't appear here, so "nothing calls it" is only suggestive). */
 export type ContractClaim = "defect" | "lead";
 export interface ContractFinding {
     readonly kind: ContractFindingKind;
     readonly claim: ContractClaim;
-    /**
-     * The join node this finding is about. Null for `ROUTE_NOT_MOUNTED` — an
-     * unmounted route has no `API_ENDPOINT` at all; that absence is the finding,
-     * not a property of one.
-     */
+    /** The join node. Null for ROUTE_NOT_MOUNTED — an unmounted route has no API_ENDPOINT at all;
+     *  that absence IS the finding. */
     readonly endpoint: IRNode | null;
     readonly method: string;
     readonly pathTemplate: string;
     /** Callers reaching this endpoint. Populated for `CALL_NOT_SERVED`. */
     readonly callers: readonly IRNode[];
-    /**
-     * Routes serving it (`ROUTE_NOT_CALLED`), or the single declared-but-unmounted
-     * route this finding is about (`ROUTE_NOT_MOUNTED`).
-     */
+    /** Routes serving it (ROUTE_NOT_CALLED), or the single unmounted route (ROUTE_NOT_MOUNTED). */
     readonly routes: readonly IRNode[];
     /** Why this is reportable rather than merely unmatched. Null for `ROUTE_NOT_CALLED` and `ROUTE_NOT_MOUNTED`. */
     readonly nearMiss: NearMiss | null;
@@ -118,50 +37,27 @@ export interface ContractReport {
         readonly withCallers: number;
         readonly withRoutes: number;
         readonly joined: number;
-        /**
-         * `API_ROUTE` nodes that stated `attrs.mounted` as a real boolean — the
-         * only ones `ROUTE_NOT_MOUNTED` can speak about at all. A route from a
-         * producer that does not emit the attribute is in neither this count nor
-         * `routesUnmounted`; see the module header's precision guard.
-         */
+        /** API_ROUTE nodes with attrs.mounted as a real boolean — the only ones ROUTE_NOT_MOUNTED can
+         *  speak about. A route with no such attribute is in neither this count nor `routesUnmounted`. */
         readonly routesWithMountInfo: number;
         /** Of those, how many declared `attrs.mounted === false` — before `maxFindings` capped the list. */
         readonly routesUnmounted: number;
     };
-    /**
-     * Unmatched callers with nothing on the provider side that resembles them.
-     *
-     * Not findings, and the number matters: it is the size of the region this
-     * analysis could not speak about.
-     */
+    /** Unmatched callers with nothing resembling them on the provider side. Not findings — the
+     *  number is the size of the region this analysis couldn't speak about. */
     readonly unmatchedWithoutNearMiss: number;
     /** True when the R3 shape comparison did not run. Always true in this half. */
     readonly shapesCompared: boolean;
 }
-/**
- * The path half's own coverage disclosure, exported so the shape half can retract
- * it rather than restate it.
- *
- * This function is the path half and cannot know whether a shape comparison
- * followed, so it always says one did not. That was true for as long as the path
- * half was the only half that ran, and it stopped being true the moment a
- * producer attached direction to a route's DTOs — leaving `contracts` reporting
- * a shape mismatch above a disclosure denying any shape was compared. Measured
- * against the real binary, UAT phase 2.
- *
- * A caller that runs the shape half removes this note when a comparison actually
- * happened. It is a constant rather than a regex on the caller's side because a
- * disclosure matched by pattern is a disclosure that silently stops being
- * retracted the day someone rewords it.
- */
+/** Path-half coverage disclosure, exported so the shape half can retract it rather than restate
+ *  it (UAT phase 2: a producer attaching DTO direction once left this standing beside a real shape
+ *  mismatch). A constant, not a regex — regex-matched text silently stops being retracted when reworded. */
 export declare const PATH_LEVEL_ONLY_NOTE: string;
 export interface OrphanOptions {
     /** Cap on endpoints enumerated. Truncation is reported, never silent. */
     readonly limit?: number;
-    /**
-     * Cap on findings returned — rule 5's "a few high-confidence findings, never
-     * an exhaustive maybe-list". Overflow is disclosed, not dropped quietly.
-     */
+    /** Cap on findings — rule 5's "a few high-confidence findings, never an exhaustive maybe-list".
+     *  Overflow is disclosed, not dropped quietly. */
     readonly maxFindings?: number;
 }
 export declare function findContractOrphans(provider: AdjacencyProvider, options?: OrphanOptions): QueryResult<ContractReport>;

package/dist/contracts/orphans.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"orphans.d.ts","sourceRoot":"","sources":["../../src/contracts/orphans.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkEG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAc,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACvF,OAAO,EAAiC,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE1E,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;AAE/F;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,MAAM,CAAC;AAE9C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gHAAgH;IAChH,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IACnC,sCAAsC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,+FAA+F;IAC/F,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB;;;;;WAKG;QACH,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;QACrC,oGAAoG;QACpG,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;KAClC,CAAC;IACF;;;;;OAKG;IACH,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,oBAAoB,QAEuB,CAAC;AAEzD,MAAM,WAAW,aAAa;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAsFD,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,GAAE,aAAkB,GAC1B,WAAW,CAAC,cAAc,CAAC,CAiQ7B"}
+{"version":3,"file":"orphans.d.ts","sourceRoot":"","sources":["../../src/contracts/orphans.ts"],"names":[],"mappings":"AAAA;;sGAEsG;AAEtG,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAc,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACvF,OAAO,EAAiC,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE1E,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;AAE/F;;qGAEqG;AACrG,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,MAAM,CAAC;AAE9C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B;uCACmC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,+FAA+F;IAC/F,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gHAAgH;IAChH,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IACnC,sCAAsC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,+FAA+F;IAC/F,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB;0GACkG;QAClG,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;QACrC,oGAAoG;QACpG,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;KAClC,CAAC;IACF;+EAC2E;IAC3E,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC;AAED;;4GAE4G;AAC5G,eAAO,MAAM,oBAAoB,QAEuB,CAAC;AAEzD,MAAM,WAAW,aAAa;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB;sDACkD;IAClD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AA+ED,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,GAAE,aAAkB,GAC1B,WAAW,CAAC,cAAc,CAAC,CAgP7B"}

package/dist/contracts/orphans.js

@@ -1,87 +1,10 @@
-/**
- * The contract engine's R2 half: who calls what, and who serves it.
- *
- * §13's mechanism is shape comparison at R3. This is the part that works
- * **below** it, and the architecture is explicit that it should exist: at R2,
- * report path-level orphans only, and say so. Splitting the engine this way
- * means half the value lands on graphs no type checker has touched, and the R3
- * half does not hold it hostage.
- *
- * ## Three findings about the join, and a fourth about a route that never reaches it
- *
- * ```
- *   API_ROUTE ──SERVES_API──▶ API_ENDPOINT ◀──USES_API── caller
- * ```
- *
- * An `API_ENDPOINT` is the join. Every one of the first three questions here is
- * about which of its two sides is present:
- *
- * | both sides | one side | finding |
- * | --- | --- | --- |
- * | caller + route | — | the contract holds at path level |
- * | — | caller only | **the call reaches nothing that is served** |
- * | — | route only | **nothing in this graph calls the route** |
- *
- * The fourth, `ROUTE_NOT_MOUNTED`, is about a route that never reaches the join
- * at all — UAT round 3's real-feature test (`reviews.py`): a decorator this
- * graph read as a route, on a router nothing registers with the running
- * application. No `API_ENDPOINT` exists for it and no `SERVES_API` edge was
- * ever a candidate, so the three questions above have nothing to ask; the
- * `API_ROUTE` node's own `attrs.mounted: false` (`descry-adapters`,
- * `DEC-NEXT-route-declared-but-not-mounted-modelling`) is the whole fact.
- * Unlike `ROUTE_NOT_CALLED`, this needs no external-consumer caveat — a route
- * with no `SERVES_API` edge 404s for *every* caller, not only the ones this
- * graph can see — so it is a `defect`, counted in `checked` against
- * `API_ROUTE`, not `API_ENDPOINT`, findings.
- *
- * **Precision guard.** `attrs.mounted` is a fact only `adapter-python` states
- * today. A route from any other producer carries no such attribute, and its
- * absence means "this producer does not report mounting" — not "not mounted".
- * Reporting a finding for an absent attribute would be exactly the false
- * positive rule 2 exists to forbid, so a route with `attrs.mounted !==
- * true|false` produces no finding at all, counted separately and disclosed
- * rather than silently dropped.
- *
- * ## The trap, and it is the whole design
- *
- * On two real repositories: **117 callers, 24 routes, 16 joined.** The other 101
- * callers are, overwhelmingly, calls to services that are not in the graph at
- * all — a third-party API, a backend nobody analysed. Reporting them as "no
- * route serves this" would be 101 confident wrong statements that bury the
- * handful that are real.
- *
- * So an unmatched caller is a **finding** only when a served route exists that
- * it nearly matches (see `paths.ts`, where every rule is a specific mechanical
- * mistake rather than a similarity threshold). Everything else is counted and
- * disclosed as *not analysable*, because the honest description of it is "the
- * provider side of this call was never read", not "the provider side is wrong".
- *
- * Two more refusals in the same spirit:
- *
- * - **No routes at all in the graph → no caller findings, at all.** With nothing
- *   on the provider side, every caller is unmatched by construction and the
- *   comparison has no content. Reported as not analysable, with the reason.
- * - **`ROUTE_NOT_CALLED` is stated weakly on purpose.** A route nothing calls is
- *   usually a route called by something outside this graph — a mobile client,
- *   another service, curl. It is a lead, not a defect, and the wording says so.
- */
+/** Contract engine's R2 half: reports path-level orphans only (§13 is the R3 shape half, not this).
+ *  A caller is a finding only with a near-miss served route — measured 117 callers/24 routes/16
+ *  joined; the other 101 are unrelated services, disclosed as not analysable, not false positives. */
 import { nearestMiss } from "./paths.js";
-/**
- * The path half's own coverage disclosure, exported so the shape half can retract
- * it rather than restate it.
- *
- * This function is the path half and cannot know whether a shape comparison
- * followed, so it always says one did not. That was true for as long as the path
- * half was the only half that ran, and it stopped being true the moment a
- * producer attached direction to a route's DTOs — leaving `contracts` reporting
- * a shape mismatch above a disclosure denying any shape was compared. Measured
- * against the real binary, UAT phase 2.
- *
- * A caller that runs the shape half removes this note when a comparison actually
- * happened. It is a constant rather than a regex on the caller's side because a
- * disclosure matched by pattern is a disclosure that silently stops being
- * retracted the day someone rewords it.
- */
+/** Path-half coverage disclosure, exported so the shape half can retract it rather than restate
+ *  it (UAT phase 2: a producer attaching DTO direction once left this standing beside a real shape
+ *  mismatch). A constant, not a regex — regex-matched text silently stops being retracted when reworded. */
 export const PATH_LEVEL_ONLY_NOTE = "Path level only. Request and response shapes were not compared — that requires R3 on both " +
     "sides, because it compares shapes rather than names.";
 const DEFAULT_MAX_FINDINGS = 25;
@@ -92,14 +15,9 @@ function keyOf(endpoint) {
         ? { method, pathTemplate }
         : null;
 }
-/**
- * `ROUTE_NOT_MOUNTED` — a route declared on a router nothing registers with the
- * running application, read generically off `API_ROUTE.attrs.mounted`. No
- * language, framework or adapter name appears here: any producer that states
- * this fact the way `DEC-NEXT-route-declared-but-not-mounted-modelling`
- * describes lights this up, and one that says nothing about mounting produces
- * nothing here at all — rule 2, applied to a boolean rather than an edge.
- */
+/** ROUTE_NOT_MOUNTED: a route declared but never registered, read generically off
+ *  `API_ROUTE.attrs.mounted` (`DEC-NEXT-route-declared-but-not-mounted-modelling`). No language/
+ *  adapter name here — a producer silent on mounting produces nothing, same as rule 2 for an edge. */
 function unmountedRouteFindings(provider) {
     const set = provider.nodesOfType("API_ROUTE");
     const findings = [];
@@ -109,10 +27,8 @@ function unmountedRouteFindings(provider) {
     for (const route of set.nodes) {
         const mounted = route.attrs["mounted"];
         if (typeof mounted !== "boolean") {
-            // This producer never states whether the route is mounted. Absence is
-            // "unknown", not "not mounted" — reporting a finding here would be
-            // exactly the false positive rule 2 forbids, so this route is silently
-            // (but countedly) skipped rather than assumed either way.
+            // Absence is "unknown," not "not mounted" — a finding here would be exactly the false
+            // positive rule 2 forbids, so this route is counted but produces no finding.
             routesWithoutMountInfo += 1;
             continue;
         }
@@ -152,19 +68,16 @@ export function findContractOrphans(provider, options = {}) {
     const maxFindings = options.maxFindings ?? DEFAULT_MAX_FINDINGS;
     const set = provider.nodesOfType("API_ENDPOINT", ...(options.limit === undefined ? [] : [options.limit]));
     const notes = [];
-    // Independent of the endpoint-join checks below: a route that never mounts
-    // has no `API_ENDPOINT` and was never a candidate for one, so it must be
-    // found before — and reported regardless of — whether any endpoint exists
-    // at all. See the module header and `unmountedRouteFindings`.
+    // A route that never mounts has no API_ENDPOINT and was never a candidate for one, so this
+    // runs (and reports) independent of whether any endpoint exists.
     const mount = unmountedRouteFindings(provider);
     const sided = [];
     let unkeyed = 0;
     for (const endpoint of set.nodes) {
         const key = keyOf(endpoint);
         if (key === null) {
-            // An endpoint with no method or path template cannot be compared to
-            // anything. Counted rather than skipped: it means a producer emitted a
-            // join node without the two attributes the join is made of.
+            // No method/path template means nothing to compare against — counted (a producer emitted
+            // a join node missing the attributes the join is made of), not silently skipped.
             unkeyed += 1;
             continue;
         }
@@ -185,10 +98,8 @@ export function findContractOrphans(provider, options = {}) {
     const withRoutes = sided.filter((s) => s.routes.length > 0);
     const joined = sided.filter((s) => s.callers.length > 0 && s.routes.length > 0);
     const servedKeys = withRoutes.map((s) => s.key);
-    // --- the refusals --------------------------------------------------------
-    // Nothing exists at the endpoint join at all, and this run's mount check
-    // agrees there is nothing else to say either — the genuinely empty case,
-    // unchanged from before this check existed.
+    // The genuinely empty case: nothing at the endpoint join, and the mount check agrees there's
+    // nothing else to say.
     if (sided.length === 0 && mount.findings.length === 0) {
         notes.push("No API endpoints are in the graph, so there is no contract to check. Either no adapter " +
             "read a route or a client call, or none of the configured adapters produces them. This " +
@@ -198,12 +109,9 @@ export function findContractOrphans(provider, options = {}) {
         }
         return report(provider, emptyReport(sided.length, 0, 0, 0, mount.routesWithMountInfo, mount.routesUnmounted), 0, mount.truncated, notes);
     }
-    // Still true when there ARE unmounted-route findings below: the endpoint
-    // join has nothing to compare, so the endpoint-side refusals just below are
-    // skipped in favour of this one sentence rather than restating the same
-    // fact from two empty sets ("0 endpoint(s) are called and no route..." and
-    // its mirror) — the reviews.py shape reduced to a repo with no other route
-    // mounted at all.
+    // Still true even with unmounted-route findings below: the endpoint join has nothing to
+    // compare, so this one sentence replaces the two mirror-image refusals below (measured against
+    // reviews.py: a repo with no other route mounted at all).
     const noEndpointsAtAll = sided.length === 0;
     if (noEndpointsAtAll) {
         notes.push("No API endpoints are in the graph, so the endpoint-join checks below have nothing to " +
@@ -213,12 +121,10 @@ export function findContractOrphans(provider, options = {}) {
     const findings = [...mount.findings];
     let unmatchedWithoutNearMiss = 0;
     if (noEndpointsAtAll) {
-        // Handled by the note above; the two mirror-image refusals immediately
-        // below would otherwise restate it twice from two empty sets.
+        // Handled by the note above — the refusals below would otherwise restate this from two empty sets.
     }
     else if (withRoutes.length === 0) {
-        // Every caller is unmatched by construction. Comparing against an empty
-        // provider side produces one finding per call site and means nothing.
+        // Every caller is unmatched by construction — comparing against an empty provider side means nothing.
         unmatchedWithoutNearMiss = withCallers.length;
         notes.push(`${withCallers.length} endpoint(s) are called and no route is in the graph at all, so no ` +
             "comparison was possible. Every call would be reported as unserved for the same reason, " +
@@ -231,14 +137,16 @@ export function findContractOrphans(provider, options = {}) {
                 continue;
             const miss = nearestMiss(entry.key, servedKeys);
             if (miss === null) {
-                // Nothing on the provider side resembles it. Far more likely an external
-                // service than a defect, and stating otherwise would be 101 confident
-                // wrong sentences on the repositories this was measured against.
+                // Nothing resembles it on the provider side — far more likely an external service than
+                // a defect (101 confident wrong sentences on the repos this was measured against).
                 unmatchedWithoutNearMiss += 1;
                 continue;
             }
             findings.push({
                 kind: "CALL_NOT_SERVED",
+                // A near miss is what makes this a fault claim rather than a lead: the
+                // provider side has something one segment or one method away, so the
+                // call is wrong about a route this repository really serves.
                 claim: "defect",
                 endpoint: entry.endpoint,
                 method: entry.key.method,
@@ -256,17 +164,9 @@ export function findContractOrphans(provider, options = {}) {
         // Handled by the single note pushed above.
     }
     else if (withCallers.length === 0) {
-        // The mirror of the refusal above, and it was missing until a per-source
-        // ablation on `bench/contracts-real.mjs` removed the consumer side: the
-        // engine reported 24 ROUTE_NOT_CALLED findings and no disclosure, about a
-        // graph containing no callers at all.
-        //
-        // "Nothing in this graph calls this route" is literally true there — and so
-        // is the sentence this engine declines to say in the other direction.
-        // Whichever side is empty, the cause is ONE fact about what was analysed,
-        // not N facts about the artefacts. It is not only an ablation state either:
-        // a workspace where only the backend has been indexed is the normal first
-        // day of a deployment.
+        // Mirror of the refusal above — missing until an ablation on bench/contracts-real.mjs found
+        // 24 ROUTE_NOT_CALLED findings with no disclosure on a graph with zero callers. Not just an
+        // ablation case: a workspace with only the backend indexed is a normal first day of deployment.
         notes.push(`${withRoutes.length} route(s) are served and no call site is in the graph at all, so no ` +
             "comparison was possible. Every route would be reported as uncalled for the same reason, " +
             "which is a property of what was analysed rather than of the code. Add the client that " +
@@ -278,6 +178,10 @@ export function findContractOrphans(provider, options = {}) {
                 continue;
             findings.push({
                 kind: "ROUTE_NOT_CALLED",
+                // Nothing in *this graph* calls it. A mobile client, another service or
+                // an external consumer would not appear here, so the absence is not
+                // evidence of a fault. Said in the detail since it was written; now
+                // said in a field something can count.
                 claim: "lead",
                 endpoint: entry.endpoint,
                 method: entry.key.method,
@@ -293,10 +197,8 @@ export function findContractOrphans(provider, options = {}) {
             });
         }
     }
-    // Findings that rest on better evidence first, then defects before leads
-    // (a route nothing calls needs external knowledge to condemn; the other two
-    // kinds do not), then by kind name and path so the order is identical
-    // between runs.
+    // Better evidence first, then defects before leads (a route nothing calls needs external
+    // knowledge to condemn), then kind/path so ordering is identical between runs.
     findings.sort((a, b) => b.resolution - a.resolution ||
         (a.claim === b.claim ? 0 : a.claim === "defect" ? -1 : 1) ||
         (a.kind === b.kind ? 0 : a.kind.localeCompare(b.kind)) ||

package/dist/contracts/orphans.js.map

@@ -1 +1 @@
-{"version":3,"file":"orphans.js","sourceRoot":"","sources":["../../src/contracts/orphans.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkEG;AAKH,OAAO,EAAE,WAAW,EAAmC,MAAM,YAAY,CAAC;AA4E1E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAC/B,4FAA4F;IAC5F,sDAAsD,CAAC;AAYzD,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEhC,SAAS,KAAK,CAAC,QAAgB;IAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACpD,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,YAAY,KAAK,QAAQ;QACnE,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE;QAC1B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAaD;;;;;;;GAOG;AACH,SAAS,sBAAsB,CAAC,QAA2B;IACzD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,sEAAsE;YACtE,mEAAmE;YACnE,uEAAuE;YACvE,0DAA0D;YAC1D,sBAAsB,IAAI,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,mBAAmB,IAAI,CAAC,CAAC;QACzB,IAAI,OAAO;YAAE,SAAS,CAAC,qEAAqE;QAC5F,eAAe,IAAI,CAAC,CAAC;QAErB,MAAM,MAAM,GAAG,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAY,CAAC,CAAC,CAAC,GAAG,CAAC;QACnG,MAAM,YAAY,GAChB,OAAO,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,QAAQ;YAC7C,CAAC,CAAE,KAAK,CAAC,KAAK,CAAC,cAAc,CAAY;YACzC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAEjB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,QAAQ;YACf,QAAQ,EAAE,IAAI;YACd,MAAM;YACN,YAAY;YACZ,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,CAAC,KAAK,CAAC;YACf,QAAQ,EAAE,IAAI;YACd,MAAM,EACJ,GAAG,MAAM,IAAI,YAAY,eAAe,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO;gBAC7F,4FAA4F;gBAC5F,uFAAuF;gBACvF,+CAA+C;YACjD,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,QAAQ;QACR,mBAAmB;QACnB,eAAe;QACf,sBAAsB;QACtB,SAAS,EAAE,GAAG,CAAC,SAAS;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAA2B,EAC3B,UAAyB,EAAE;IAE3B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,oBAAoB,CAAC;IAChE,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAC9B,cAAc,EACd,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,KAAK,CAAW,CAAC,CACnE,CAAC;IACF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,2EAA2E;IAC3E,yEAAyE;IACzE,0EAA0E;IAC1E,8DAA8D;IAC9D,MAAM,KAAK,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAY/C,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,oEAAoE;YACpE,uEAAuE;YACvE,4DAA4D;YAC5D,OAAO,IAAI,CAAC,CAAC;YACb,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,UAAU,GAAoB,CAAC,CAAC;QAEpC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,IAAI,IAAI,CAAC,UAAU,GAAG,UAAU;gBAAE,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;YAC/D,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChF,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEhD,4EAA4E;IAE5E,yEAAyE;IACzE,yEAAyE;IACzE,4CAA4C;IAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,wFAAwF;YACxF,wBAAwB,CAC3B,CAAC;QACF,IAAI,KAAK,CAAC,sBAAsB,GAAG,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,MAAM,CACX,QAAQ,EACR,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,mBAAmB,EAAE,KAAK,CAAC,eAAe,CAAC,EACpF,CAAC,EACD,KAAK,CAAC,SAAS,EACf,KAAK,CACN,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,4EAA4E;IAC5E,wEAAwE;IACxE,2EAA2E;IAC3E,2EAA2E;IAC3E,kBAAkB;IAClB,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;IAC5C,IAAI,gBAAgB,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CACR,uFAAuF;YACrF,sFAAsF;YACtF,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAsB,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,wBAAwB,GAAG,CAAC,CAAC;IAEjC,IAAI,gBAAgB,EAAE,CAAC;QACrB,uEAAuE;QACvE,8DAA8D;IAChE,CAAC;SAAM,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,wEAAwE;QACxE,sEAAsE;QACtE,wBAAwB,GAAG,WAAW,CAAC,MAAM,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,GAAG,WAAW,CAAC,MAAM,qEAAqE;YACxF,yFAAyF;YACzF,yFAAyF;YACzF,sDAAsD,CACzD,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YACtC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAChD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,yEAAyE;gBACzE,sEAAsE;gBACtE,iEAAiE;gBACjE,wBAAwB,IAAI,CAAC,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iBAAiB;gBACvB,KAAK,EAAE,QAAQ;gBACf,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;gBACxB,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,YAAY;gBACpC,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE,IAAI;gBACd,MAAM,EACJ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,kBAAkB;oBAC/D,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,iCAAiC,IAAI,CAAC,MAAM,EAAE;gBACjF,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,EAAE,CAAC;QACrB,2CAA2C;IAC7C,CAAC;SAAM,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,yEAAyE;QACzE,wEAAwE;QACxE,0EAA0E;QAC1E,sCAAsC;QACtC,EAAE;QACF,4EAA4E;QAC5E,sEAAsE;QACtE,0EAA0E;QAC1E,4EAA4E;QAC5E,0EAA0E;QAC1E,uBAAuB;QACvB,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,MAAM,sEAAsE;YACxF,0FAA0F;YAC1F,wFAAwF;YACxF,qBAAqB,CACxB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YACvC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,MAAM;gBACf,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;gBACtB,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,YAAY;gBACpC,OAAO,EAAE,EAAE;gBACX,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,QAAQ,EAAE,IAAI;gBACd,MAAM,EACJ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,gBAAgB;oBAC7D,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,uDAAuD;oBACtF,mFAAmF;oBACnF,cAAc;gBAChB,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,4EAA4E;IAC5E,sEAAsE;IACtE,gBAAgB;IAChB,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU;QAC3B,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,CACjF,CAAC;IAEF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEpF,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,2DAA2D;YACzF,GAAG,WAAW,2EAA2E;YACzF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,sFAAsF,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,6FAA6F;YAC3F,qDAAqD,CACxD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,6EAA6E;YACrF,0FAA0F,CAC7F,CAAC;IACJ,CAAC;IACD,IAAI,wBAAwB,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,KAAK,CAAC,IAAI,CACR,GAAG,wBAAwB,iEAAiE;YAC1F,wFAAwF;YACxF,0FAA0F;YAC1F,0BAA0B,CAC7B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,sBAAsB,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAEjC,IAAI,KAAK,GAAoB,CAAC,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,IAAI;QAAE,IAAI,OAAO,CAAC,UAAU,GAAG,KAAK;YAAE,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC;IACvF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,GAAG,CAAC,CAAC;IAEjC,OAAO,MAAM,CACX,QAAQ,EACR;QACE,QAAQ,EAAE,IAAI;QACd,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,OAAO,EAAE;YACP,SAAS,EAAE,KAAK,CAAC,MAAM;YACvB,WAAW,EAAE,WAAW,CAAC,MAAM;YAC/B,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;YAC9C,eAAe,EAAE,KAAK,CAAC,eAAe;SACvC;QACD,wBAAwB;QACxB,cAAc,EAAE,KAAK;KACtB,EACD,KAAK,EACL,SAAS,EACT,KAAK,CACN,CAAC;AACJ,CAAC;AAED,kHAAkH;AAClH,SAAS,0BAA0B,CAAC,KAAa;IAC/C,OAAO,CACL,GAAG,KAAK,qFAAqF;QAC7F,uFAAuF;QACvF,sFAAsF,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,mBAAmB,CAAC;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC;IACjF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,OAAO,CAAC,MAAM,GAAG,CAAC,WAAW,CAAC;AACtF,CAAC;AAED,SAAS,cAAc,CAAC,MAAyB;IAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,kBAAkB,CAAC;IACnD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,QAAQ,MAAM,CAAC,MAAM,GAAG,CAAC,WAAW,CAAC;AAC9F,CAAC;AAED,SAAS,WAAW,CAClB,SAAiB,EACjB,WAAmB,EACnB,UAAkB,EAClB,MAAc,EACd,mBAAmB,GAAG,CAAC,EACvB,eAAe,GAAG,CAAC;IAEnB,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE;QAC7F,wBAAwB,EAAE,CAAC;QAC3B,cAAc,EAAE,KAAK;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,QAA2B,EAC3B,IAAoB,EACpB,eAAgC,EAChC,SAAkB,EAClB,KAAe;IAEf,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"orphans.js","sourceRoot":"","sources":["../../src/contracts/orphans.ts"],"names":[],"mappings":"AAAA;;sGAEsG;AAKtG,OAAO,EAAE,WAAW,EAAmC,MAAM,YAAY,CAAC;AAmD1E;;4GAE4G;AAC5G,MAAM,CAAC,MAAM,oBAAoB,GAC/B,4FAA4F;IAC5F,sDAAsD,CAAC;AAUzD,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEhC,SAAS,KAAK,CAAC,QAAgB;IAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACpD,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,YAAY,KAAK,QAAQ;QACnE,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE;QAC1B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAaD;;sGAEsG;AACtG,SAAS,sBAAsB,CAAC,QAA2B;IACzD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,sFAAsF;YACtF,6EAA6E;YAC7E,sBAAsB,IAAI,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,mBAAmB,IAAI,CAAC,CAAC;QACzB,IAAI,OAAO;YAAE,SAAS,CAAC,qEAAqE;QAC5F,eAAe,IAAI,CAAC,CAAC;QAErB,MAAM,MAAM,GAAG,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAY,CAAC,CAAC,CAAC,GAAG,CAAC;QACnG,MAAM,YAAY,GAChB,OAAO,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,QAAQ;YAC7C,CAAC,CAAE,KAAK,CAAC,KAAK,CAAC,cAAc,CAAY;YACzC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAEjB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,QAAQ;YACf,QAAQ,EAAE,IAAI;YACd,MAAM;YACN,YAAY;YACZ,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,CAAC,KAAK,CAAC;YACf,QAAQ,EAAE,IAAI;YACd,MAAM,EACJ,GAAG,MAAM,IAAI,YAAY,eAAe,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO;gBAC7F,4FAA4F;gBAC5F,uFAAuF;gBACvF,+CAA+C;YACjD,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,QAAQ;QACR,mBAAmB;QACnB,eAAe;QACf,sBAAsB;QACtB,SAAS,EAAE,GAAG,CAAC,SAAS;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAA2B,EAC3B,UAAyB,EAAE;IAE3B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,oBAAoB,CAAC;IAChE,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAC9B,cAAc,EACd,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,KAAK,CAAW,CAAC,CACnE,CAAC;IACF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,2FAA2F;IAC3F,iEAAiE;IACjE,MAAM,KAAK,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAU/C,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,yFAAyF;YACzF,iFAAiF;YACjF,OAAO,IAAI,CAAC,CAAC;YACb,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,UAAU,GAAoB,CAAC,CAAC;QAEpC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,IAAI,IAAI,CAAC,UAAU,GAAG,UAAU;gBAAE,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;YAC/D,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChF,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEhD,6FAA6F;IAC7F,uBAAuB;IACvB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,wFAAwF;YACxF,wBAAwB,CAC3B,CAAC;QACF,IAAI,KAAK,CAAC,sBAAsB,GAAG,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,MAAM,CACX,QAAQ,EACR,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,mBAAmB,EAAE,KAAK,CAAC,eAAe,CAAC,EACpF,CAAC,EACD,KAAK,CAAC,SAAS,EACf,KAAK,CACN,CAAC;IACJ,CAAC;IAED,wFAAwF;IACxF,+FAA+F;IAC/F,0DAA0D;IAC1D,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;IAC5C,IAAI,gBAAgB,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CACR,uFAAuF;YACrF,sFAAsF;YACtF,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAsB,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,wBAAwB,GAAG,CAAC,CAAC;IAEjC,IAAI,gBAAgB,EAAE,CAAC;QACrB,mGAAmG;IACrG,CAAC;SAAM,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,sGAAsG;QACtG,wBAAwB,GAAG,WAAW,CAAC,MAAM,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,GAAG,WAAW,CAAC,MAAM,qEAAqE;YACxF,yFAAyF;YACzF,yFAAyF;YACzF,sDAAsD,CACzD,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YACtC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAChD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,uFAAuF;gBACvF,mFAAmF;gBACnF,wBAAwB,IAAI,CAAC,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iBAAiB;gBACvB,uEAAuE;gBACvE,qEAAqE;gBACrE,6DAA6D;gBAC7D,KAAK,EAAE,QAAQ;gBACf,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;gBACxB,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,YAAY;gBACpC,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE,IAAI;gBACd,MAAM,EACJ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,kBAAkB;oBAC/D,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,iCAAiC,IAAI,CAAC,MAAM,EAAE;gBACjF,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,EAAE,CAAC;QACrB,2CAA2C;IAC7C,CAAC;SAAM,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,4FAA4F;QAC5F,4FAA4F;QAC5F,gGAAgG;QAChG,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,MAAM,sEAAsE;YACxF,0FAA0F;YAC1F,wFAAwF;YACxF,qBAAqB,CACxB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YACvC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,wEAAwE;gBACxE,oEAAoE;gBACpE,oEAAoE;gBACpE,uCAAuC;gBACvC,KAAK,EAAE,MAAM;gBACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;gBACxB,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,YAAY;gBACpC,OAAO,EAAE,EAAE;gBACX,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,QAAQ,EAAE,IAAI;gBACd,MAAM,EACJ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,gBAAgB;oBAC7D,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,uDAAuD;oBACtF,mFAAmF;oBACnF,cAAc;gBAChB,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yFAAyF;IACzF,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU;QAC3B,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,CACjF,CAAC;IAEF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEpF,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,2DAA2D;YACzF,GAAG,WAAW,2EAA2E;YACzF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,sFAAsF,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,6FAA6F;YAC3F,qDAAqD,CACxD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,6EAA6E;YACrF,0FAA0F,CAC7F,CAAC;IACJ,CAAC;IACD,IAAI,wBAAwB,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,KAAK,CAAC,IAAI,CACR,GAAG,wBAAwB,iEAAiE;YAC1F,wFAAwF;YACxF,0FAA0F;YAC1F,0BAA0B,CAC7B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,sBAAsB,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAEjC,IAAI,KAAK,GAAoB,CAAC,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,IAAI;QAAE,IAAI,OAAO,CAAC,UAAU,GAAG,KAAK;YAAE,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC;IACvF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,GAAG,CAAC,CAAC;IAEjC,OAAO,MAAM,CACX,QAAQ,EACR;QACE,QAAQ,EAAE,IAAI;QACd,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,OAAO,EAAE;YACP,SAAS,EAAE,KAAK,CAAC,MAAM;YACvB,WAAW,EAAE,WAAW,CAAC,MAAM;YAC/B,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;YAC9C,eAAe,EAAE,KAAK,CAAC,eAAe;SACvC;QACD,wBAAwB;QACxB,cAAc,EAAE,KAAK;KACtB,EACD,KAAK,EACL,SAAS,EACT,KAAK,CACN,CAAC;AACJ,CAAC;AAED,kHAAkH;AAClH,SAAS,0BAA0B,CAAC,KAAa;IAC/C,OAAO,CACL,GAAG,KAAK,qFAAqF;QAC7F,uFAAuF;QACvF,sFAAsF,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,mBAAmB,CAAC;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC;IACjF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,OAAO,CAAC,MAAM,GAAG,CAAC,WAAW,CAAC;AACtF,CAAC;AAED,SAAS,cAAc,CAAC,MAAyB;IAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,kBAAkB,CAAC;IACnD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,QAAQ,MAAM,CAAC,MAAM,GAAG,CAAC,WAAW,CAAC;AAC9F,CAAC;AAED,SAAS,WAAW,CAClB,SAAiB,EACjB,WAAmB,EACnB,UAAkB,EAClB,MAAc,EACd,mBAAmB,GAAG,CAAC,EACvB,eAAe,GAAG,CAAC;IAEnB,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE;QAC7F,wBAAwB,EAAE,CAAC;QAC3B,cAAc,EAAE,KAAK;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,QAA2B,EAC3B,IAAoB,EACpB,eAAgC,EAChC,SAAkB,EAClB,KAAe;IAEf,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC"}

package/dist/contracts/paths.d.ts

@@ -1,110 +1,7 @@
 /**
- * Comparing two endpoint paths, and knowing when not to.
- *
- * This file is small and is the most dangerous part of the contract engine, so
- * it is separate and tested on its own.
- *
- * ## The problem it exists to solve
- *
- * A caller reaching an endpoint no route serves is *sometimes* a bug and
- * *usually* not. Measured on two real repositories: 117 callers, 24 routes, 16
- * joined. The other 101 are overwhelmingly calls to services that are simply not
- * in this graph — a third-party API, a backend nobody has analysed. Reporting
- * all 101 as "no route serves this" would be 101 confident wrong statements, and
- * would bury the handful that are real.
- *
- * So an unmatched caller is only a **finding** when a served route exists that
- * it nearly matches. Nothing similar on the provider side means the provider was
- * probably never analysed, which belongs in §20.2's *not analysable* category
- * and is disclosed as a count rather than enumerated as defects.
- *
- * ## The near-miss rules are deliberately narrow
- *
- * Each one describes a specific, common, *mechanical* mistake. None of them is a
- * similarity score, because a threshold on a score is a knob that turns "is this
- * a bug" into "how high did we set it".
- *
- * | rule | example | why it is a real mistake |
- * | --- | --- | --- |
- * | method differs, path identical | `POST /orders` vs `GET /orders` | someone changed the verb on one side |
- * | exactly one **literal** segment differs, **and the two differ by a typo's worth of characters** | `/order/{param}/items` vs `/orders/{param}/items` | a typo or a rename applied on one side |
- *
- * ## Rule 2's similarity floor, and the measurement that set it
- *
- * That second clause was missing for the whole life of this file, and its
- * absence was not a small thing. "Exactly one segment differs" says nothing at
- * all about *how* it differs: `/api/hmac` and `/api/novu-agent` differ in
- * exactly one segment, share a method and share arity. Precision came only
- * incidentally, from `{param}` segments happening to sit where the paths
- * diverge.
- *
- * `DEC-317` found this from the GraphQL side — every operation path is arity-2
- * with no `{param}` and a first segment drawn from a set of size three, so the
- * whole GraphQL surface of a repository collapsed into three buckets in which
- * every member near-missed every other — and gated it rather than fixing it,
- * because a threshold chosen carelessly costs the near-typo detections this
- * rule exists for, and costs them invisibly.
- *
- * So it was measured, against 3,524 routes from 27 real repositories, by
- * `bench/near-miss-similarity.mjs` — which pre-registers the metric, the
- * candidate thresholds and the decision rule in its header, and was committed
- * before it was run. What it found:
- *
- * - **The rule was not a precision rule.** Treating each real route as an
- *   unmatched caller against the rest of its own application's table, it
- *   reported a `ONE_SEGMENT` near miss for **1,796 of 3,524 routes — 51%.**
- *   Every one is a false positive by construction: both sides are real,
- *   deliberately distinct routes of the same service.
- * - **On the genuinely reachable population it was worse.** Across every
- *   unmatched `USES_API` caller in the corpus, the rule emitted **18 findings,
- *   and all 18 were nonsense** — 15 of them naming the same `/api/novu-agent`
- *   route from callers like `/api/hmac` and `/api/send-email`. There were no
- *   true positives to lose.
- *
- * The floor is `1 - distance / max(len) >= 0.4`, with any distance of 1 or less
- * admitted outright so that a one-character mistake in a short segment (`/v1`
- * against `/v2`) is not scored away. It rejects **87.4%** of those 1,796 and
- * retains **100%** of a seeded near-typo population of 49,405 — real route
- * segments mutated by transposition, deletion, insertion, substitution,
- * singular/plural and separator variance. Not one seeded typo is lost, in any
- * class.
- *
- * **The distance counts an adjacent transposition as one edit, not two, and
- * that is load-bearing.** With plain Levenshtein a swap costs two, so `api` →
- * `aip` scores `1 - 2/3 = 0.33` and every candidate threshold silently deleted
- * the entire transposition class — 2,916 real detections, all on segments of
- * three characters. The first measurement pass rejected every threshold for
- * exactly this reason, and the reason was a defect in the metric rather than a
- * fact about the corpus.
- *
- * **What the floor is not.** It is a similarity test, not an oracle. `activate`
- * and `deactivate` are two real routes in one API and score 0.80, so they are
- * still reported. Nothing here can distinguish a two-character prefix from a
- * typo, and this does not claim to — it buys precision against *unrelated*
- * words, which is what the corpus says the problem was.
- *
- * **A trailing-slash rule was written and then deleted, and the reason is worth
- * keeping.** `/orders/` and `/orders` look like the classic contract mismatch,
- * but `normaliseEndpointPath` strips the trailing slash *before hashing*, so the
- * two sides mint the **same `API_ENDPOINT` id** and join correctly. The rule
- * could never fire. It was caught by a test that asserted it would.
- *
- * That unification is the right default — the two paths mean the same endpoint
- * to everyone who writes them — but it does make one real class of bug
- * invisible here: a framework configured for strict routing genuinely serves
- * only one of them. Whether it does depends on router configuration this graph
- * does not read, so the limit is stated rather than papered over with a rule
- * that fires on nothing.
- *
- * **Deliberately not a rule: a parameter where the other side has a literal.**
- * `/orders/{param}` and `/orders/recent` legitimately coexist in every routing
- * framework on earth — the literal is matched first and the parameter catches
- * the rest. Treating that as a near miss would report the single most common
- * correct pattern in REST routing as a defect.
- *
- * Segment counts must be equal for the segment rule. `/orders` and
- * `/orders/{param}` are two different endpoints, not a near miss, and a rule
- * that ignored length would pair every collection route with its item route.
+ * A near-miss caller is a finding only when genuinely close to a served route (DEC-317: "one segment
+ * differs" alone was 51% false positives on 3,524 routes). Floor `1 - distance/max(len) >= 0.4` (transposition
+ * = 1 edit not 2) rejects 87.4% of those, keeps 100% of a 49,405-case seeded typo set. Not an oracle.
  */
 export interface EndpointKey {
     readonly method: string;
@@ -120,13 +17,6 @@ export interface NearMiss {
     readonly detail: string;
 }
 export declare function sameEndpoint(a: EndpointKey, b: EndpointKey): boolean;
-/**
- * The closest served endpoint to `wanted`, or null if nothing is close enough.
- *
- * Rules are tried in order of how certain they are, and the first hit wins —
- * a method mismatch on an otherwise identical path is a better explanation than
- * a one-segment difference somewhere else, and reporting both would be reporting
- * one mistake twice.
- */
+/** Closest served endpoint to `wanted`, or null. Rules tried in order of certainty; first hit wins. */
 export declare function nearestMiss(wanted: EndpointKey, served: readonly EndpointKey[]): NearMiss | null;
 //# sourceMappingURL=paths.d.ts.map

package/dist/contracts/paths.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../src/contracts/paths.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAkEH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,aAAa,CAAC;AAEpD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAWD,wBAAgB,YAAY,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,OAAO,CAEpE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,SAAS,WAAW,EAAE,GAC7B,QAAQ,GAAG,IAAI,CA0DjB"}
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../src/contracts/paths.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA2CH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,aAAa,CAAC;AAEpD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAWD,wBAAgB,YAAY,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,OAAO,CAEpE;AAED,uGAAuG;AACvG,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,SAAS,WAAW,EAAE,GAC7B,QAAQ,GAAG,IAAI,CA0DjB"}