@descryy/core 0.3.0 → 0.5.0

package/dist/query/traverse.d.ts

@@ -1,77 +1,11 @@
-/**
- * Traversal primitives — blueprint 1.1's `bfs`, `weightedBfs` and `findPath`.
- *
- * All written against `AdjacencyProvider`, never against the store. §11.8 chose
- * application-code traversal over recursive SQL so that decay scoring, budgets
- * and per-edge weights behave identically on SQLite and Postgres; that only
- * holds while the traversal cannot tell which it is talking to.
- *
- * ## The termination trap, guarded here rather than at Step 12
- *
- * §12.4 scores a hop as
- *
- *     new = parent × edgeWeight × coupling × incident × confidence
- *
- * and the coupling and incident factors *boost* — they can exceed 1.0. Three
- * things break the moment the product can reach 1.0:
- *
- * - score stops decreasing monotonically, so best-first is no longer optimal;
- * - a node can be reached later by a better path than the one that first found
- *   it, so a plain visited-set silently keeps the worse score;
- * - on a cycle where the product is ≥ 1, traversal **does not terminate**.
- *
- * Two fixes, both here: `weightedBfs` keeps a best-score map and re-pushes on
- * improvement (relaxation), and any hop whose combined factor reaches 1.0 is
- * rejected with an error naming the edge. Step 12 supplies the weights; this is
- * the layer that refuses to run with weights that cannot terminate.
- *
- * ## Confidence is not the traversal weight
- *
- * This module's default `weightFor` used to be `edge.confidence` and nothing
- * else, which made two shipped modules contradict each other. `runtime-
- * confirmation.ts` writes `confidence = 1.0` on every edge it promotes or mints
- * at R4 — correctly, because rule 3 makes R4 unconditionally class A and a
- * witnessed edge is not 99% believed. The old default then handed that same 1.0
- * to the guard above as a *weight*, so the strongest edge in the graph was the
- * one edge `impact` refused to walk. Any graph that had ever had a runtime
- * observation applied threw.
- *
- * The two quantities were never the same thing, and `weights.ts` has said so
- * all along: `validateScopingConfig` asserts
- * `0 < edgeWeight x maxFanOutMultiplier x maxConfidence < 1` and notes in its
- * own comment that *"maxConfidence is 1.0 by definition"*. Termination is the
- * **edge weight's** job; confidence is evidence strength and is entitled to
- * reach 1.0. The old default was the degenerate weight table with every edge
- * type at 1.0 — precisely the configuration `validateScopingConfig` refuses to
- * load. The in-process path was running a config the config loader would
- * reject, while the worker path passed a real table and did not.
- *
- * So the default is now {@link defaultTraversalWeight}: the per-edge-type decay
- * of `DEFAULT_EDGE_WEIGHTS` times the edge's confidence — the same product
- * `weightFromTable` builds for the worker. Termination survives on three
- * independent legs, none of which is a stored confidence value:
- *
- * 1. every weight in `DEFAULT_EDGE_WEIGHTS` is <= 0.95, and confidence is
- *    capped at 1.0 by the IR, so the per-hop factor is <= 0.95 < 1 by
- *    construction rather than by data;
- * 2. `validateScopingConfig` refuses, at config load, any table that would
- *    break leg 1;
- * 3. the per-hop `RangeError` below is unchanged and still refuses any weight
- *    outside (0, 1), which is what holds a caller-supplied `weightFor` to the
- *    same rule.
- *
- * Ruled in `DEC-386`.
- */
+/** blueprint 1.1's bfs/weightedBfs/findPath, over AdjacencyProvider only (§11.8: no SQL). §12.4's
+ *  boost factors can push a hop to >=1.0, breaking termination — weightedBfs relaxes and rejects
+ *  hops reaching 1.0. Weight = type decay × confidence, never confidence alone (DEC-386). */
 import type { EdgeType, IREdge, ResolutionLevel } from "@descryy/ir";
 import type { AdjacencyProvider } from "./provider.ts";
 export type Direction = "out" | "in" | "both";
-/**
- * `USES_API`/`SERVES_API` edges, the two halves DEC-115 joins at one
- * `API_ENDPOINT` node — a caller reaches it from one side, a route serves it
- * from the other, and either side can exist without the other (golden
- * pattern 08's own note). Named once so `crossApiEndpoint` and its tests read
- * the same list rather than two copies drifting.
- */
+/** USES_API/SERVES_API — the two halves DEC-115 joins at one API_ENDPOINT; either side can exist
+ *  without the other. Named once so `crossApiEndpoint` and its tests share one list. */
 export declare const API_JOIN_EDGE_TYPES: readonly EdgeType[];
 export interface TraversalOptions {
     readonly types?: readonly EdgeType[];
@@ -82,17 +16,9 @@ export interface TraversalOptions {
     readonly minConfidence?: number;
     /** Fan-out cap per hop. Guards against hub nodes with in-degree in the thousands. */
     readonly perNodeLimit?: number;
-    /**
-     * Opt-in, default off. At an `API_ENDPOINT` node specifically, also follow
-     * `USES_API`/`SERVES_API` edges in the direction the walk is not already
-     * using — DEC-138's measured gap: a walk reaching the shared endpoint from
-     * one side (say, a frontend caller's `USES_API` edge, direction `out`)
-     * cannot see the route that serves it, because `SERVES_API` is stored
-     * route -> endpoint and a uniform `out` walk never looks incoming at that
-     * one node. Off by default because it is a real, deliberate exception to
-     * "the walk means one direction throughout" — every other node keeps that
-     * property; only the join node DEC-115 designed to be crossed does not.
-     */
+    /** Opt-in, default off. At an API_ENDPOINT, also follows USES_API/SERVES_API in the direction not
+     *  already walked — DEC-138: a caller-side USES_API walk can't see the SERVES_API route stored the
+     *  other way. The one deliberate exception to "the walk means one direction throughout". */
     readonly crossApiEndpoint?: boolean;
 }
 export interface Reached {
@@ -109,60 +35,30 @@ export interface TraversalOutcome {
     /** Lowest resolution on any edge the answer traversed. Caps the reliability class. */
     readonly resolutionFloor: ResolutionLevel;
 }
-/**
- * Breadth-first reachability. Unweighted: every reached node scores 1.0.
- *
- * Terminates on a cyclic graph by construction — a plain visited-set is correct
- * here precisely because there is no score to improve on a second visit.
- */
+/** Breadth-first reachability. Unweighted: every reached node scores 1.0. Terminates on a cyclic
+ *  graph by construction — a plain visited-set is correct since there's no score to improve. */
 export declare function bfs(provider: AdjacencyProvider, seeds: readonly string[], options?: TraversalOptions): TraversalOutcome;
-/**
- * The default per-hop decay: §12.4's `EdgeWeight` for the edge's *type*, times
- * the edge's own confidence.
- *
- * Both terms are §12.4's, and neither one alone is the weight. Confidence
- * carries how much the producer believes the edge; the type weight carries how
- * far a change actually travels along that kind of edge — an `IMPORTS` hop at
- * 0.4 is a weak signal even when it is certain, and a witnessed `CALLS` hop at
- * 0.95 x 1.0 is strong precisely because it was witnessed.
- *
- * Exported so a caller can compose with it rather than reconstruct it, and so
- * the in-process and worker paths are demonstrably the same function — see the
- * parity test in `worker.test.ts`. It is the callback form of
- * `weightFromTable({ weights: DEFAULT_EDGE_WEIGHTS, fallback: ... })`.
- */
+/** Default per-hop decay: §12.4's edge-type weight times the edge's confidence — both terms are
+ *  §12.4's, neither alone is the weight (type weight = how far a change travels on that edge kind;
+ *  confidence = how sure the producer is). Exported so in-process and worker paths are the same function. */
 export declare function defaultTraversalWeight(edge: {
     readonly type: EdgeType;
     readonly confidence: number;
 }): number;
 export interface WeightedOptions extends TraversalOptions {
-    /**
-     * The per-hop decay factor for an edge. Must be strictly less than 1.0 —
-     * see the note at the top of this file. Defaults to
-     * {@link defaultTraversalWeight}: the edge type's §12.4 weight times the
-     * edge's confidence. **Not confidence alone** — that conflated evidence
-     * strength with decay and made a witnessed R4 edge untraversable.
-     */
+    /** Per-hop decay factor. Must be strictly < 1.0 (see file header). Defaults to
+     *  {@link defaultTraversalWeight} — type weight × confidence, not confidence alone (that
+     *  conflated evidence strength with decay and made a witnessed R4 edge untraversable). */
     readonly weightFor?: (edge: IREdge) => number;
     /** Stop expanding below this score. The main reason traversal ends before the budget. */
     readonly minScore?: number;
 }
-/**
- * Best-first traversal with score decay and relaxation.
- *
- * "Relaxation" is not an optimisation here, it is what makes the result correct:
- * with boosting factors in play a node can be reached later by a better path,
- * and a visited-set that refuses to revisit would keep the worse score
- * permanently. The best-score map plus re-push on improvement is the fix, and
- * it costs nothing when scores do decrease monotonically.
- */
+/** Best-first traversal with score decay and relaxation. "Relaxation" isn't an optimisation here,
+ *  it's correctness: with boosting factors a node can be reached later by a better path, and a
+ *  plain visited-set would keep the worse score permanently. Costs nothing when scores decay monotonically. */
 export declare function weightedBfs(provider: AdjacencyProvider, seeds: readonly string[], options?: WeightedOptions): TraversalOutcome;
-/**
- * Shortest path by hop count, as a list of edges. Empty when unreachable.
- *
- * Hop count rather than score: "how is this connected" and "how much impact
- * propagates" are different questions, and answering the first with the second's
- * machinery gives a path that is heavier but shorter-looking.
- */
+/** Shortest path by hop count, as edges. Empty when unreachable. Hop count, not score — "how is
+ *  this connected" and "how much impact propagates" are different questions; answering the first
+ *  with the second's machinery gives a heavier, shorter-looking path. */
 export declare function findPath(provider: AdjacencyProvider, from: string, to: string, options?: TraversalOptions): readonly IREdge[];
 //# sourceMappingURL=traverse.d.ts.map

package/dist/query/traverse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"traverse.d.ts","sourceRoot":"","sources":["../../src/query/traverse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAMrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEvD,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC;AAE9C;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,QAAQ,EAA+B,CAAC;AAEnF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,qFAAqF;IACrF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+EAA+E;IAC/E,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,sFAAsF;IACtF,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;CAC3C;AA2CD;;;;;GAKG;AACH,wBAAgB,GAAG,CACjB,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,GAAE,gBAAqB,GAC7B,gBAAgB,CAqClB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAE7G;AAED,MAAM,WAAW,eAAgB,SAAQ,gBAAgB;IACvD;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC9C,yFAAyF;IACzF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CACzB,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,GAAE,eAAoB,GAC5B,gBAAgB,CAyDlB;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,iBAAiB,EAC3B,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,OAAO,GAAE,gBAAqB,GAC7B,SAAS,MAAM,EAAE,CA8BnB"}
+{"version":3,"file":"traverse.d.ts","sourceRoot":"","sources":["../../src/query/traverse.ts"],"names":[],"mappings":"AAAA;;6FAE6F;AAE7F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAMrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEvD,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC;AAE9C;wFACwF;AACxF,eAAO,MAAM,mBAAmB,EAAE,SAAS,QAAQ,EAA+B,CAAC;AAEnF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,qFAAqF;IACrF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;gGAE4F;IAC5F,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+EAA+E;IAC/E,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,sFAAsF;IACtF,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;CAC3C;AAyCD;gGACgG;AAChG,wBAAgB,GAAG,CACjB,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,GAAE,gBAAqB,GAC7B,gBAAgB,CAoClB;AAED;;6GAE6G;AAC7G,wBAAgB,sBAAsB,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAE7G;AAED,MAAM,WAAW,eAAgB,SAAQ,gBAAgB;IACvD;;8FAE0F;IAC1F,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC9C,yFAAyF;IACzF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;+GAE+G;AAC/G,wBAAgB,WAAW,CACzB,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,GAAE,eAAoB,GAC5B,gBAAgB,CAwDlB;AAED;;yEAEyE;AACzE,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,iBAAiB,EAC3B,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,OAAO,GAAE,gBAAqB,GAC7B,SAAS,MAAM,EAAE,CA8BnB"}

package/dist/query/traverse.js.map

@@ -1 +1 @@
-{"version":3,"file":"traverse.js","sourceRoot":"","sources":["../../src/query/traverse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;AAIH,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAM9D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;AAyCnF,SAAS,UAAU,CACjB,QAA2B,EAC3B,EAAU,EACV,OAAyB;IAEzB,MAAM,SAAS,GAAG;QAChB,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACxF,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;KAC/E,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC;IAC7C,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,IAAI,SAAS,KAAK,KAAK,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,4EAA4E;IAC5E,2EAA2E;IAC3E,wEAAwE;IACxE,qEAAqE;IACrE,IAAI,OAAO,CAAC,gBAAgB,KAAK,IAAI,IAAI,SAAS,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5G,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACxG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,aAAa,GAAG,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;YACzD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC9F,MAAM,KAAK,GAAG,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;YAChH,MAAM,SAAS,GAAG,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACnD,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CACjB,QAA2B,EAC3B,KAAwB,EACxB,UAA4B,EAAE;IAE9B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,0EAA0E;IAC1E,8EAA8E;IAC9E,uEAAuE;IACvE,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IACtC,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACvE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,SAAS,GAAG,IAAI,CAAC;gBACjB,MAAM;YACR,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YACnF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,SAAS;YAAE,MAAM;IACvB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA8D;IACnG,OAAO,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;AAC3D,CAAC;AAeD;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,QAA2B,EAC3B,KAAwB,EACxB,UAA2B,EAAE;IAE7B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,sBAAsB,CAAC;IAE9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,SAAS,EAAE,CAAC;IAC7B,0EAA0E;IAC1E,8EAA8E;IAC9E,uEAAuE;IACvE,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IACtC,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAG,CAAC;QAC5B,yEAAyE;QACzE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK;YAAE,SAAS;QACjE,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,UAAU,CAClB,4DAA4D,MAAM,OAAO;oBACvE,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,iDAAiD;oBACtF,wFAAwF,CAC3F,CAAC;YACJ,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC;YACrC,IAAI,KAAK,IAAI,QAAQ;gBAAE,SAAS;YAEhC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,IAAI,KAAK;gBAAE,SAAS;YAChE,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBAClD,SAAS,GAAG,IAAI,CAAC;gBACjB,SAAS;YACX,CAAC;YAED,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YAChF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CACxD,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;AAChE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CACtB,QAA2B,EAC3B,IAAY,EACZ,EAAU,EACV,UAA4B,EAAE;IAE9B,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4C,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAoC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACvE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;YACjD,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,IAAI,MAAM,GAAG,EAAE,CAAC;gBAChB,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;oBACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAClC,IAAI,IAAI,KAAK,SAAS;wBAAE,OAAO,EAAE,CAAC;oBAClC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACrB,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBACvB,CAAC;gBACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;YACxB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,SAAS;IACJ,MAAM,GAAc,EAAE,CAAC;IAEhC,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5B,CAAC;IAED,IAAI,CAAC,KAAc;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,OAAO,KAAK,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,CAAE,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,KAAK;gBAAE,MAAM;YACvD,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC,CAAC;YAChE,KAAK,GAAG,MAAM,CAAC;QACjB,CAAC;IACH,CAAC;IAED,GAAG;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,SAAS,CAAC;gBACR,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC;gBACvB,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAE,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK;oBAAE,OAAO,GAAG,IAAI,CAAC;gBACtF,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK;oBAAE,OAAO,GAAG,KAAK,CAAC;gBACzF,IAAI,OAAO,KAAK,KAAK;oBAAE,MAAM;gBAC7B,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,KAAK,CAAC,OAAO,CAAE,CAAC,CAAC;gBAClE,KAAK,GAAG,OAAO,CAAC;YAClB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}
+{"version":3,"file":"traverse.js","sourceRoot":"","sources":["../../src/query/traverse.ts"],"names":[],"mappings":"AAAA;;6FAE6F;AAI7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAM9D;wFACwF;AACxF,MAAM,CAAC,MAAM,mBAAmB,GAAwB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;AAiCnF,SAAS,UAAU,CACjB,QAA2B,EAC3B,EAAU,EACV,OAAyB;IAEzB,MAAM,SAAS,GAAG;QAChB,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACxF,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;KAC/E,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC;IAC7C,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,IAAI,SAAS,KAAK,KAAK,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,gGAAgG;IAChG,kGAAkG;IAClG,IAAI,OAAO,CAAC,gBAAgB,KAAK,IAAI,IAAI,SAAS,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5G,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACxG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,aAAa,GAAG,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;YACzD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxG,MAAM,KAAK,GAAG,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;YAChH,MAAM,SAAS,GAAG,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC7D,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;gGACgG;AAChG,MAAM,UAAU,GAAG,CACjB,QAA2B,EAC3B,KAAwB,EACxB,UAA4B,EAAE;IAE9B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,gGAAgG;IAChG,2FAA2F;IAC3F,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IACtC,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACvE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,SAAS,GAAG,IAAI,CAAC;gBACjB,MAAM;YACR,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YACnF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,SAAS;YAAE,MAAM;IACvB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;AACpF,CAAC;AAED;;6GAE6G;AAC7G,MAAM,UAAU,sBAAsB,CAAC,IAA8D;IACnG,OAAO,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;AAC3D,CAAC;AAWD;;+GAE+G;AAC/G,MAAM,UAAU,WAAW,CACzB,QAA2B,EAC3B,KAAwB,EACxB,UAA2B,EAAE;IAE7B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,sBAAsB,CAAC;IAE9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,SAAS,EAAE,CAAC;IAC7B,gGAAgG;IAChG,2FAA2F;IAC3F,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IACtC,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAG,CAAC;QAC5B,yEAAyE;QACzE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK;YAAE,SAAS;QACjE,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,UAAU,CAClB,4DAA4D,MAAM,OAAO;oBACvE,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,iDAAiD;oBACtF,wFAAwF,CAC3F,CAAC;YACJ,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC;YACrC,IAAI,KAAK,IAAI,QAAQ;gBAAE,SAAS;YAEhC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,IAAI,KAAK;gBAAE,SAAS;YAChE,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBAClD,SAAS,GAAG,IAAI,CAAC;gBACjB,SAAS;YACX,CAAC;YAED,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YAChF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CACxD,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;AAChE,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,QAAQ,CACtB,QAA2B,EAC3B,IAAY,EACZ,EAAU,EACV,UAA4B,EAAE;IAE9B,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4C,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAoC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACvE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;YACjD,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,IAAI,MAAM,GAAG,EAAE,CAAC;gBAChB,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;oBACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAClC,IAAI,IAAI,KAAK,SAAS;wBAAE,OAAO,EAAE,CAAC;oBAClC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACrB,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBACvB,CAAC;gBACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;YACxB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;uDAEuD;AACvD,MAAM,SAAS;IACJ,MAAM,GAAc,EAAE,CAAC;IAEhC,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5B,CAAC;IAED,IAAI,CAAC,KAAc;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,OAAO,KAAK,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,CAAE,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,KAAK;gBAAE,MAAM;YACvD,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC,CAAC;YAChE,KAAK,GAAG,MAAM,CAAC;QACjB,CAAC;IACH,CAAC;IAED,GAAG;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,SAAS,CAAC;gBACR,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC;gBACvB,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAE,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK;oBAAE,OAAO,GAAG,IAAI,CAAC;gBACtF,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK;oBAAE,OAAO,GAAG,KAAK,CAAC;gBACzF,IAAI,OAAO,KAAK,KAAK;oBAAE,MAAM;gBAC7B,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,KAAK,CAAC,OAAO,CAAE,CAAC,CAAC;gBAClE,KAAK,GAAG,OAAO,CAAC;YAClB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/query/unresolved.d.ts

@@ -1,164 +1,29 @@
 /**
- * The refusal ledger is three populations, and reporting it as one produced a
- * wrong number that a lane then reasoned from.
- *
- * ## The conflation
- *
- * `UnresolvedRef` records what an adapter saw and could not resolve, and
- * everything filed there reads as a **gap**. Two unrelated things are filed:
- *
- * - An outbound call to a third party, **read perfectly**. There is no endpoint
- *   in this workspace for it and there never will be. That is §20.2's *not
- *   applicable* — a fact, not a gap.
- * - A call against this workspace's own surface whose target is not statically
- *   determinable. That is the gap, and it is *not analysable*.
- *
- * A read-rate census across nine repositories reported **90 edges read against
- * 773 recognised-and-refused, a 10% read rate**, and concluded that `USES_API`
- * resolution was the system's largest deficit. On one repository **115 of 163
- * ledger rows are calls to Microsoft, Zoom, Hitpay and Zoho** — correctly
- * refused, counted as deficit. The deficit there is real and it is 47%, not 20%.
- *
- * ## What running it on real code established, and it is not what was expected
- *
- * **`rawTarget` does not carry the target.** On the reference repository every
- * one of the 64 `USES_API` refusals carries the *callee* — `"fetch"`,
- * `"api.get"`, `"api.post"` — because the URL was an expression the adapter
- * could not evaluate, and the expression text is not what gets filed. So the
- * ledger **cannot** be split from stored data by any engine-side rule, and this
- * module reports all 64 as `undetermined`, which is the correct answer and a
- * useless one.
- *
- * The distinction nevertheless **already exists** — in `reason`, as prose. Two
- * sentence forms account for all 64, and they split it exactly as a hand count
- * of the source did:
- *
- * | `reason` says | count | what it means |
- * | --- | --- | --- |
- * | *"the path is not repository-relative"* | **39** | outbound. A fact |
- * | *"the request path is not a literal or template"* | **25** | the gap |
- *
- * 39 + 25 = 64, and the independent hand count of that repository was 39 outbound
- * and 25 genuinely unread. **The adapter knows which population a refusal is in
- * and says so in a sentence.** Parsing that sentence is not an option: it is
- * free text, it is written per producer, and a consumer that greps it breaks
- * silently the first time one is reworded — the CRLF-stripper failure exactly.
- *
- * So the conclusion is the opposite of this module's premise: **the
- * discriminator has to be a field**, and this module is the evidence for that
- * rather than a substitute for it. It classifies what the text can carry, and
- * discloses everything it cannot, which is what makes the gap measurable.
- *
- * ## Why the field is still not added here
- *
- * The `category` discriminator is the right end state and is deliberately **not**
- * added here, for two reasons that are the same reason:
- *
- * 1. **No adapter would set it today.** Shipping a consumer that reads a carrier
- *    no producer emits is exactly the defect DEC-112 names, and it has already
- *    cost this project three checks that were dead on every real repository. A
- *    field added ahead of its producer is a dead carrier however obviously
- *    correct it looks — so the field lands with an adapter emitting it, not
- *    before.
- * 2. **The storage column needs the migration policy** that is still open
- *    (architecture §32). An engine-side classifier needs neither, works on graphs
- *    already written, and turns the IR change into a request backed by measured
- *    populations rather than a speculative one.
- *
- * ## DEC-242 landed, and this module now defers to it where it can
- *
- * The heuristic above is what this module reasoned its way to before a
- * discriminator field existed. It now does: `attrs.refusalClass` (DEC-242),
- * producer-declared and persisted (the store gained a real `attrs` column
- * for it — DEC-224). `classifyRefusal` checks `refusalClass === "out-of-scope"`
- * first and trusts it outright, ahead of the text heuristic below — a
- * producer that resolved the target and declared it out of scope did real
- * analysis, which is better evidence than this module re-deriving the same
- * fact from `rawTarget` text. DEC-242's other three classes
- * (`value-unknown`, `capability-gap`, `varies-per-call`) answer a different
- * question — whether a human sentence could close the row — and say nothing
- * about scope, so they and an unset field both fall through to the
- * unchanged heuristic rather than being read as "not out-of-scope." Every
- * row written before DEC-242 shipped is graded exactly as it always was.
- *
- * The practical consequence, per DEC-242's own note: any future recall
- * figure computed over `unresolved.length` must exclude `refusalClass ===
- * "out-of-scope"` rows from its deficit denominator, the same way
- * `readRate` below already excludes this module's own `outOfScope`
- * verdict — measured at 3 of ~215 rows on the corpora checked so far
- * (DEC-260), small today and not distorting any published number, but
- * expressible now in a way it was not before the field existed.
- *
- * ## The third population is the point
- *
- * A ledger row whose target is a runtime value cannot be classified either way:
- * `fetch(url)` may be outbound or internal and the text does not say. Several
- * such rows on the census repository turned out to be outbound, discovered by
- * hand. **So this returns three counts and refuses to return one rate.** Folding
- * `undetermined` into either side is the same error one level down — the whole
- * defect was a denominator that quietly absorbed a population it should have
- * disclosed.
- */
+ * Refusal ledger mixes outbound calls (correctly refused, §20.2 not applicable) with
+ * unresolvable internal targets (a real gap) — one rate hid this (10% read vs a true
+ * 47% deficit, one repo). `attrs.refusalClass` (DEC-242) trusted first, text heuristic
+ * falls back. Returns three counts, never one rate. */
 import type { UnresolvedRef } from "@descryy/ir";
-/**
- * `outOfScope` — read correctly, targets something this workspace does not
- * serve. `unreadable` — recognised, target not determinable. `undetermined` —
- * the evidence does not say, and pretending otherwise is what produced the
- * wrong number in the first place.
- */
+/** outOfScope: read correctly, target outside this workspace. unreadable: recognised,
+ *  target unresolvable. undetermined: evidence doesn't say — don't fold into either. */
 export type RefusalClass = "outOfScope" | "unreadable" | "undetermined";
 export interface RefusalScope {
-    /**
-     * Hosts this workspace serves. An absolute target on one of these is
-     * *internal* and therefore a genuine gap, not an outbound call.
-     *
-     * Empty means "no host is known to be ours", which is honest rather than
-     * convenient: with no known host every absolute target classifies as
-     * `outOfScope`, so a caller that has hosts and does not pass them will
-     * understate its own deficit. `classifyRefusals` reports `scopeKnown` so that
-     * cannot happen silently.
-     */
+    /** Hosts this workspace serves; an absolute target on one is a genuine gap, not
+     *  outbound. Empty understates the deficit (all absolute targets read outOfScope) —
+     *  `classifyRefusals`'s `scopeKnown` discloses this so it can't happen silently. */
     readonly internalHosts?: readonly string[];
 }
-/**
- * Classify one refusal.
- *
- * **A producer's own `attrs.refusalClass: "out-of-scope"` (DEC-242) is
- * trusted directly, ahead of everything below.** DEC-242 landed after this
- * module's own heuristic did, and it is strictly better evidence for the same
- * question: a producer that read the call, resolved the target, and declared
- * it out of scope did real analysis (Lane F's DEC-260 origin check, for one),
- * where this module's `hostOf`/`isOpaque` pair is inference from `rawTarget`
- * text alone. Rule 3's "declared beats re-derived" reordering, not a new rule.
- *
- * **A row with no `refusalClass`, or one of DEC-242's other three values
- * (`value-unknown`, `capability-gap`, `varies-per-call`), falls through to
- * the text heuristic unchanged — a deliberate choice, not an oversight.**
- * Those three classes answer "is a human sentence enough to close this row,"
- * a different question from "is this target inside or outside the
- * workspace," and none of them says a row is or is not out of scope; reading
- * absence as "therefore not out-of-scope" would be exactly the silent
- * behaviour change this module's own module-header history warns against.
- * Every row written before DEC-242 shipped, and every row a producer has not
- * classified yet, is graded identically to how it always was.
- *
- * **Below that: absolute target on a host that is not ours → `outOfScope`.**
- * The only positive classification made here from text alone, so it is as
- * reliable as the text. Everything else is `unreadable` when it looks like a
- * path this workspace could serve, and `undetermined` when the target says
- * nothing about where the call goes.
- */
+/** `attrs.refusalClass === "out-of-scope"` (DEC-242) is trusted first — producer already
+ *  resolved the target, better evidence than text inference. Other refusalClass values
+ *  and unset both fall through unchanged to the text heuristic below. */
 export declare function classifyRefusal(ref: UnresolvedRef, scope?: RefusalScope): RefusalClass;
 export interface RefusalCensus {
     readonly total: number;
     readonly outOfScope: number;
     readonly unreadable: number;
     readonly undetermined: number;
-    /**
-     * False when the caller supplied no internal hosts. Every absolute target is
-     * then `outOfScope`, which **understates the deficit**, and a report that does
-     * not say so is making a claim it cannot support.
-     */
+    /** False with no supplied internal hosts — every absolute target then reads
+     *  outOfScope, understating the deficit. Callers must check before trusting the rate. */
     readonly scopeKnown: boolean;
     /** Hosts seen on absolute targets, most frequent first — the evidence for `internalHosts`. */
     readonly hosts: readonly {
@@ -167,16 +32,9 @@ export interface RefusalCensus {
     }[];
 }
 export declare function classifyRefusals(refs: readonly UnresolvedRef[], scope?: RefusalScope): RefusalCensus;
-/**
- * Two rates and a disclosure, never one number.
- *
- * `overRecognised` is the census's original figure and it is kept because
- * deleting a published number is worse than captioning it. `overInternal` is
- * the one that describes the analyser's actual deficit. **Both are `null` when
- * their denominator is zero** — `decisions()`'s rule, one level out: a rate over
- * nothing is not 0% and not 100%, it is undefined, and returning a number there
- * is how a dead component scores well.
- */
+/** Two rates plus disclosure, never one number. `overRecognised` is the original
+ *  (kept, captioned) figure; `overInternal` is the real deficit. Both null when
+ *  denominator is zero — undefined, not 0% or 100%. */
 export interface ReadRate {
     readonly read: number;
     readonly census: RefusalCensus;
@@ -184,11 +42,8 @@ export interface ReadRate {
     readonly overRecognised: number | null;
     /** read / (read + refusals that could plausibly be ours). The deficit that is actually ours. */
     readonly overInternal: number | null;
-    /**
-     * Why the two differ, and what neither of them settles. Always non-empty when
-     * the numbers differ, because the gap between them is exactly the thing a
-     * single figure hid.
-     */
+    /** Why the two rates differ; non-empty whenever they do — the gap is exactly
+     *  what a single figure would have hidden. */
     readonly disclosure: readonly string[];
 }
 export declare function readRate(read: number, refs: readonly UnresolvedRef[], scope?: RefusalScope): ReadRate;

package/dist/query/unresolved.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unresolved.d.ts","sourceRoot":"","sources":["../../src/query/unresolved.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoGG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,YAAY,GAAG,cAAc,CAAC;AAExE,MAAM,WAAW,YAAY;IAC3B;;;;;;;;;OASG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AAiCD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,GAAE,YAAiB,GAAG,YAAY,CAQ1F;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,SAAS,aAAa,EAAE,EAC9B,KAAK,GAAE,YAAiB,GACvB,aAAa,CAgBf;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,yFAAyF;IACzF,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,gGAAgG;IAChG,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,aAAa,EAAE,EAC9B,KAAK,GAAE,YAAiB,GACvB,QAAQ,CAwCV"}
+{"version":3,"file":"unresolved.d.ts","sourceRoot":"","sources":["../../src/query/unresolved.ts"],"names":[],"mappings":"AAAA;;;;uDAIuD;AAEvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD;wFACwF;AACxF,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,YAAY,GAAG,cAAc,CAAC;AAExE,MAAM,WAAW,YAAY;IAC3B;;wFAEoF;IACpF,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AA2BD;;yEAEyE;AACzE,wBAAgB,eAAe,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,GAAE,YAAiB,GAAG,YAAY,CAQ1F;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B;6FACyF;IACzF,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,SAAS,aAAa,EAAE,EAC9B,KAAK,GAAE,YAAiB,GACvB,aAAa,CAgBf;AAED;;uDAEuD;AACvD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,yFAAyF;IACzF,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,gGAAgG;IAChG,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;kDAC8C;IAC9C,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,aAAa,EAAE,EAC9B,KAAK,GAAE,YAAiB,GACvB,QAAQ,CAwCV"}

package/dist/query/unresolved.js

@@ -1,104 +1,8 @@
 /**
- * The refusal ledger is three populations, and reporting it as one produced a
- * wrong number that a lane then reasoned from.
- *
- * ## The conflation
- *
- * `UnresolvedRef` records what an adapter saw and could not resolve, and
- * everything filed there reads as a **gap**. Two unrelated things are filed:
- *
- * - An outbound call to a third party, **read perfectly**. There is no endpoint
- *   in this workspace for it and there never will be. That is §20.2's *not
- *   applicable* — a fact, not a gap.
- * - A call against this workspace's own surface whose target is not statically
- *   determinable. That is the gap, and it is *not analysable*.
- *
- * A read-rate census across nine repositories reported **90 edges read against
- * 773 recognised-and-refused, a 10% read rate**, and concluded that `USES_API`
- * resolution was the system's largest deficit. On one repository **115 of 163
- * ledger rows are calls to Microsoft, Zoom, Hitpay and Zoho** — correctly
- * refused, counted as deficit. The deficit there is real and it is 47%, not 20%.
- *
- * ## What running it on real code established, and it is not what was expected
- *
- * **`rawTarget` does not carry the target.** On the reference repository every
- * one of the 64 `USES_API` refusals carries the *callee* — `"fetch"`,
- * `"api.get"`, `"api.post"` — because the URL was an expression the adapter
- * could not evaluate, and the expression text is not what gets filed. So the
- * ledger **cannot** be split from stored data by any engine-side rule, and this
- * module reports all 64 as `undetermined`, which is the correct answer and a
- * useless one.
- *
- * The distinction nevertheless **already exists** — in `reason`, as prose. Two
- * sentence forms account for all 64, and they split it exactly as a hand count
- * of the source did:
- *
- * | `reason` says | count | what it means |
- * | --- | --- | --- |
- * | *"the path is not repository-relative"* | **39** | outbound. A fact |
- * | *"the request path is not a literal or template"* | **25** | the gap |
- *
- * 39 + 25 = 64, and the independent hand count of that repository was 39 outbound
- * and 25 genuinely unread. **The adapter knows which population a refusal is in
- * and says so in a sentence.** Parsing that sentence is not an option: it is
- * free text, it is written per producer, and a consumer that greps it breaks
- * silently the first time one is reworded — the CRLF-stripper failure exactly.
- *
- * So the conclusion is the opposite of this module's premise: **the
- * discriminator has to be a field**, and this module is the evidence for that
- * rather than a substitute for it. It classifies what the text can carry, and
- * discloses everything it cannot, which is what makes the gap measurable.
- *
- * ## Why the field is still not added here
- *
- * The `category` discriminator is the right end state and is deliberately **not**
- * added here, for two reasons that are the same reason:
- *
- * 1. **No adapter would set it today.** Shipping a consumer that reads a carrier
- *    no producer emits is exactly the defect DEC-112 names, and it has already
- *    cost this project three checks that were dead on every real repository. A
- *    field added ahead of its producer is a dead carrier however obviously
- *    correct it looks — so the field lands with an adapter emitting it, not
- *    before.
- * 2. **The storage column needs the migration policy** that is still open
- *    (architecture §32). An engine-side classifier needs neither, works on graphs
- *    already written, and turns the IR change into a request backed by measured
- *    populations rather than a speculative one.
- *
- * ## DEC-242 landed, and this module now defers to it where it can
- *
- * The heuristic above is what this module reasoned its way to before a
- * discriminator field existed. It now does: `attrs.refusalClass` (DEC-242),
- * producer-declared and persisted (the store gained a real `attrs` column
- * for it — DEC-224). `classifyRefusal` checks `refusalClass === "out-of-scope"`
- * first and trusts it outright, ahead of the text heuristic below — a
- * producer that resolved the target and declared it out of scope did real
- * analysis, which is better evidence than this module re-deriving the same
- * fact from `rawTarget` text. DEC-242's other three classes
- * (`value-unknown`, `capability-gap`, `varies-per-call`) answer a different
- * question — whether a human sentence could close the row — and say nothing
- * about scope, so they and an unset field both fall through to the
- * unchanged heuristic rather than being read as "not out-of-scope." Every
- * row written before DEC-242 shipped is graded exactly as it always was.
- *
- * The practical consequence, per DEC-242's own note: any future recall
- * figure computed over `unresolved.length` must exclude `refusalClass ===
- * "out-of-scope"` rows from its deficit denominator, the same way
- * `readRate` below already excludes this module's own `outOfScope`
- * verdict — measured at 3 of ~215 rows on the corpora checked so far
- * (DEC-260), small today and not distorting any published number, but
- * expressible now in a way it was not before the field existed.
- *
- * ## The third population is the point
- *
- * A ledger row whose target is a runtime value cannot be classified either way:
- * `fetch(url)` may be outbound or internal and the text does not say. Several
- * such rows on the census repository turned out to be outbound, discovered by
- * hand. **So this returns three counts and refuses to return one rate.** Folding
- * `undetermined` into either side is the same error one level down — the whole
- * defect was a denominator that quietly absorbed a population it should have
- * disclosed.
- */
+ * Refusal ledger mixes outbound calls (correctly refused, §20.2 not applicable) with
+ * unresolvable internal targets (a real gap) — one rate hid this (10% read vs a true
+ * 47% deficit, one repo). `attrs.refusalClass` (DEC-242) trusted first, text heuristic
+ * falls back. Returns three counts, never one rate. */
 const ABSOLUTE = /^[a-zA-Z][a-zA-Z0-9+.-]*:\/\//;
 /** The host of an absolute target, lowercased and without a port; `null` if the target is not absolute. */
 function hostOf(rawTarget) {
@@ -111,55 +15,24 @@ function hostOf(rawTarget) {
         return null;
     }
 }
-/**
- * A target is **not** a literal path or URL if it carries no path-like evidence
- * at all — a bare identifier, a call expression, a template with nothing fixed.
- * These are the rows that cannot be classified, and they must stay visible.
- */
+/** No path-like evidence (bare identifier, call expression, template with nothing
+ *  fixed) means unclassifiable — must stay visible, not folded into either class. */
 function isOpaque(rawTarget) {
     const t = rawTarget.trim();
     if (t === "")
         return true;
-    // Looked absolute and had no parseable host — `https://` and friends. It says
-    // nothing about where the call goes, so it is opaque rather than internal.
-    // Reached only when `hostOf` has already returned null for it.
+    // Absolute with no parseable host (hostOf returned null): opaque, not internal.
     if (ABSOLUTE.test(t))
         return true;
     if (t.startsWith("/"))
         return false;
-    // A bare `{param}` or `${...}` with no fixed segment says nothing about where
-    // the call goes. Anything containing a `/` outside a placeholder does.
+    // Bare `{param}`/`${...}` with no fixed segment says nothing; `/` elsewhere does.
     const withoutPlaceholders = t.replace(/\$?\{[^}]*\}/g, "");
     return !withoutPlaceholders.includes("/");
 }
-/**
- * Classify one refusal.
- *
- * **A producer's own `attrs.refusalClass: "out-of-scope"` (DEC-242) is
- * trusted directly, ahead of everything below.** DEC-242 landed after this
- * module's own heuristic did, and it is strictly better evidence for the same
- * question: a producer that read the call, resolved the target, and declared
- * it out of scope did real analysis (Lane F's DEC-260 origin check, for one),
- * where this module's `hostOf`/`isOpaque` pair is inference from `rawTarget`
- * text alone. Rule 3's "declared beats re-derived" reordering, not a new rule.
- *
- * **A row with no `refusalClass`, or one of DEC-242's other three values
- * (`value-unknown`, `capability-gap`, `varies-per-call`), falls through to
- * the text heuristic unchanged — a deliberate choice, not an oversight.**
- * Those three classes answer "is a human sentence enough to close this row,"
- * a different question from "is this target inside or outside the
- * workspace," and none of them says a row is or is not out of scope; reading
- * absence as "therefore not out-of-scope" would be exactly the silent
- * behaviour change this module's own module-header history warns against.
- * Every row written before DEC-242 shipped, and every row a producer has not
- * classified yet, is graded identically to how it always was.
- *
- * **Below that: absolute target on a host that is not ours → `outOfScope`.**
- * The only positive classification made here from text alone, so it is as
- * reliable as the text. Everything else is `unreadable` when it looks like a
- * path this workspace could serve, and `undetermined` when the target says
- * nothing about where the call goes.
- */
+/** `attrs.refusalClass === "out-of-scope"` (DEC-242) is trusted first — producer already
+ *  resolved the target, better evidence than text inference. Other refusalClass values
+ *  and unset both fall through unchanged to the text heuristic below. */
 export function classifyRefusal(ref, scope = {}) {
     if (ref.attrs?.["refusalClass"] === "out-of-scope")
         return "outOfScope";