@descryy/core 0.4.0 → 0.5.0

package/dist/governance/finding-funnel.js

@@ -1,59 +1,9 @@
-/**
- * The governance funnel — architecture §20.1.
- *
- * > *"Without this layer, a run that surfaces 200 findings gets read by
- * > nobody. Volume without governance is functionally the same as no output at
- * > all."*
- *
- * §20.1 draws a five-filter funnel ending in a hard cap. Two of its boxes had
- * no implementation anywhere: **F2, "known false positives from the feedback
- * store,"** and **the HARD CAP itself**, whose value architecture §32 item 6
- * has carried as a blank since the document was written (*"Hard cap value —
- * how many findings is 'a few'"*, Tuning, *"set from early runs"*).
- *
- * `CLAUDE.md` rule 5 — *"a few high-confidence findings, never an exhaustive
- * maybe-list"* — is the rule aimed most directly at what this whole category
- * of tool gets wrong, and it was the one rule with no number behind it. Three
- * per-check caps of 25 existed (`contracts/orphans.ts`, `validation/rollback.ts`,
- * `validation/env.ts`), which is not the same thing: three checks at 25 present
- * 75 items and nothing objects.
- *
- * ## The cap values, and where they come from
- *
- * §20.1 states its own worked example in prose: *"Twenty-seven possible issues
- * get ignored. Three confirmed issues plus two worth checking get acted on
- * immediately."* **Three plus two is five**, and that is `pr`'s cap — read off
- * the architecture rather than invented.
- *
- * The other three are scaled to their trigger the same way `NODE_BUDGETS`
- * already is, and for the same reason: an IDE hover and a nightly sweep are
- * not the same reading surface. **Starting values, not measurements** —
- * `CLAUDE.md`'s standing convention for every number in this project.
- *
- * ## What this module deliberately does not own
- *
- * - **It does not assign a category.** Only G4 does (`ai-governance-spec.md`
- *   §11). This runs strictly after, on already-categorised findings, and
- *   reorders and truncates them without touching a single field.
- * - **It does not store dismissals.** `isDismissed` is a caller-supplied
- *   predicate. The ledger is `descry-desktop`'s (§21.3 puts the feedback store
- *   next to the runs it belongs to); the *filter* is governance and belongs
- *   here, next to G1–G4.
- * - **It never silently drops anything.** Every finding that entered leaves in
- *   exactly one of `reported` / `unconfirmed` / `suppressed`, and the count it
- *   truncated is a structured field with a rendered sentence — the same rule
- *   `ai-tool-contract.md` §4 technique 5 applies one layer down (*"a capped
- *   result that looks complete is the same defect as a zero that looks like a
- *   finding"*).
- */
+/** §20.1 governance funnel — five filters ending in a hard cap; F2 (feedback-store false
+ *  positives) and the cap itself were unimplemented until now. Caps are starting values (pr=5,
+ *  §20.1's own 3+2 example). Never silently drops: every finding lands in reported/unconfirmed/suppressed. */
 import { findingFingerprint } from "@descryy/ir";
-/**
- * How many findings one run may report, per trigger.
- *
- * `pr` is architecture §20.1's own arithmetic (3 confirmed + 2 worth
- * checking). The rest are scaled to the reading surface, the same shape
- * `NODE_BUDGETS` uses, and are starting values pending real runs to tune from.
- */
+/** Findings one run may report, per trigger. `pr`=5 is §20.1's own arithmetic (3+2). The rest
+ *  scale to the reading surface (same shape as NODE_BUDGETS) — starting values, not measurements. */
 export const FINDING_CAPS = {
     /** A hover is one line of screen. More than one finding there is a list nobody reads. */
     "ide-hover": 1,
@@ -74,14 +24,8 @@ const CATEGORY_RANK = {
 };
 /** Categories that belong in §20.1's separate unconfirmed list rather than the capped one. */
 const NOT_CONFIDENT = new Set(["unconfirmed", "not analysable", "unsupported"]);
-/**
- * Run §20.1's funnel over one run's findings.
- *
- * Pure and total: same input, same output, and every input finding appears in
- * exactly one output list. Deterministic ordering — required by
- * `ai-layer-plan.md` §9 layer 6's replay guarantee, so ties break on the
- * finding's own fingerprint rather than on input order.
- */
+/** §20.1's funnel. Pure and total — every input finding appears in exactly one output list.
+ *  Deterministic ordering (replay guarantee, §9 layer 6): ties break on fingerprint, not input order. */
 export function runFindingFunnel(findings, options) {
     const isDismissed = options.isDismissed ?? (() => false);
     const suppressed = [];
@@ -128,10 +72,7 @@ function compareFindings(a, b) {
     // A stable, content-derived tiebreak, so replay reproduces the order.
     return findingFingerprint(a) < findingFingerprint(b) ? -1 : 1;
 }
-/**
- * Re-exported so a caller wiring the funnel and its ledger imports one module.
- * The implementation lives in `@descryy/ir`'s identity module — see
- * `DEC-NEXT-edge-id-prefix-split` for why an identity gets exactly one home.
- */
+/** Re-exported so a caller wiring the funnel and ledger imports one module — implementation
+ *  lives in @descryy/ir's identity module (DEC-NEXT-edge-id-prefix-split). */
 export { findingFingerprint } from "@descryy/ir";
 //# sourceMappingURL=finding-funnel.js.map

package/dist/governance/finding-funnel.js.map

@@ -1 +1 @@
-{"version":3,"file":"finding-funnel.js","sourceRoot":"","sources":["../../src/governance/finding-funnel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,EAAE,kBAAkB,EAAqC,MAAM,aAAa,CAAC;AAIpF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,yFAAyF;IACzF,WAAW,EAAE,CAAC;IACd,uEAAuE;IACvE,UAAU,EAAE,CAAC;IACb,kCAAkC;IAClC,EAAE,EAAE,CAAC;IACL,oFAAoF;IACpF,OAAO,EAAE,EAAE;CAC+B,CAAC;AAE7C,yEAAyE;AACzE,MAAM,aAAa,GAAmC;IACpD,SAAS,EAAE,CAAC;IACZ,oBAAoB,EAAE,CAAC;IACvB,WAAW,EAAE,CAAC;IACd,gBAAgB,EAAE,CAAC;IACnB,WAAW,EAAE,CAAC;CACf,CAAC;AAEF,8FAA8F;AAC9F,MAAM,aAAa,GAAgC,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC,CAAC;AA+B7G;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA4B,EAC5B,OAA6B;IAE7B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAEzD,MAAM,UAAU,GAAc,EAAE,CAAC;IACjC,MAAM,SAAS,GAAc,EAAE,CAAC;IAChC,MAAM,WAAW,GAAc,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YAChE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEhD,OAAO;QACL,QAAQ;QACR,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC;QACnD,UAAU;QACV,UAAU,EAAE;YACV,KAAK,EAAE,MAAM,CAAC,MAAM;YACpB,KAAK,EAAE,QAAQ,CAAC,MAAM;YACtB,OAAO;YACP,UAAU,EACR,OAAO,KAAK,CAAC;gBACX,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,GAAG,OAAO,mBAAmB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,8BAA8B;oBACnF,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,wCAAwC,GAAG,cAAc;oBAC1F,0CAA0C;SACjD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,CAAU,EAAE,CAAU;IAC7C,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7E,IAAI,UAAU,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IACxC,uEAAuE;IACvE,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAC3E,IAAI,YAAY,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAC5C,sEAAsE;IACtE,OAAO,kBAAkB,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"finding-funnel.js","sourceRoot":"","sources":["../../src/governance/finding-funnel.ts"],"names":[],"mappings":"AAAA;;8GAE8G;AAE9G,OAAO,EAAE,kBAAkB,EAAqC,MAAM,aAAa,CAAC;AAIpF;qGACqG;AACrG,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,yFAAyF;IACzF,WAAW,EAAE,CAAC;IACd,uEAAuE;IACvE,UAAU,EAAE,CAAC;IACb,kCAAkC;IAClC,EAAE,EAAE,CAAC;IACL,oFAAoF;IACpF,OAAO,EAAE,EAAE;CAC+B,CAAC;AAE7C,yEAAyE;AACzE,MAAM,aAAa,GAAmC;IACpD,SAAS,EAAE,CAAC;IACZ,oBAAoB,EAAE,CAAC;IACvB,WAAW,EAAE,CAAC;IACd,gBAAgB,EAAE,CAAC;IACnB,WAAW,EAAE,CAAC;CACf,CAAC;AAEF,8FAA8F;AAC9F,MAAM,aAAa,GAAgC,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC,CAAC;AA6B7G;yGACyG;AACzG,MAAM,UAAU,gBAAgB,CAC9B,QAA4B,EAC5B,OAA6B;IAE7B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAEzD,MAAM,UAAU,GAAc,EAAE,CAAC;IACjC,MAAM,SAAS,GAAc,EAAE,CAAC;IAChC,MAAM,WAAW,GAAc,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YAChE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEhD,OAAO;QACL,QAAQ;QACR,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC;QACnD,UAAU;QACV,UAAU,EAAE;YACV,KAAK,EAAE,MAAM,CAAC,MAAM;YACpB,KAAK,EAAE,QAAQ,CAAC,MAAM;YACtB,OAAO;YACP,UAAU,EACR,OAAO,KAAK,CAAC;gBACX,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,GAAG,OAAO,mBAAmB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,8BAA8B;oBACnF,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,wCAAwC,GAAG,cAAc;oBAC1F,0CAA0C;SACjD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,CAAU,EAAE,CAAU;IAC7C,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7E,IAAI,UAAU,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IACxC,uEAAuE;IACvE,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAC3E,IAAI,YAAY,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAC5C,sEAAsE;IACtE,OAAO,kBAAkB,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED;8EAC8E;AAC9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC"}

package/dist/graph/build.d.ts

@@ -1,48 +1,10 @@
 /**
- * The Graph Builder.
- *
- * This is the first place the multi-language thesis is true or false in code.
- * Everything before it works on one adapter's output at a time; this folds
- * several adapters' IR into one graph, and either the cross-language join
- * happens here or it never happens at all.
- *
- * Its acceptance test is XL-1 — *exactly one* `API_ENDPOINT` node after merging
- * both adapters — and XL-2, that the node carries no language. Step 7 showed the
- * two fakes reach the same endpoint id independently; this has to preserve that
- * through the merge rather than produce two nodes or one wrong one.
- *
- * ## Four rules, in order of how much damage they prevent
- *
- * **1. Never invent a node.** An edge whose target cannot be resolved is
- * dropped. It never becomes a stub node, however convenient that would be for
- * traversal. On the prior-art graphs measured for this build, 52-60% of edges
- * pointed at a non-existent target — `append` with in-degree 1,036, `get` with
- * 973. Materialising those as nodes is how a graph acquires a thousand-way hub
- * that every impact score then routes through.
- *
- * **2. Merge is order-independent.** DEC-012's third tie-break exists only for
- * this. Without it, "which adapter ran first" leaks into every impact score, and
- * the symptom is an unreproducible difference nobody can bisect.
- *
- * **3. Collisions are reported, not merged.** Two nodes sharing an id but
- * disagreeing on type or language are not the same thing, and merging them pools
- * the edges of two unrelated symbols. See DEC-024 — this is a live hazard in a
- * polyglot monorepo, not a hypothetical one.
- *
- * **4. Nothing enters without passing the Normaliser.** The builder calls it
- * rather than trusting its caller, because the batch-spanning `nodeExists` it
- * needs — an edge may legitimately point into a sibling batch in the same build
- * — can only be computed here.
+ * Folds multiple adapters' IR into one graph — XL-1: one `API_ENDPOINT` node after merging; XL-2: no
+ * language on it. Never invents a node for an unresolved edge (52-60% of edges were dangling in
+ * prior-art graphs measured here); merge order-independent (DEC-012); collisions reported, never merged (DEC-024).
  */
 import { type IRBatch, type IREdge, type IRNode, type NodeType, type NormaliseOptions, type Rejection, type UnresolvedRef } from "@descryy/ir";
-/**
- * Two nodes claimed the same id but are not the same thing.
- *
- * Reported rather than resolved. There is no correct merge — the ids are equal,
- * so the graph has no way to represent them separately — and picking one
- * silently is the corruption DEC-024 describes. Surfacing it puts the failure in
- * §20.2's "not analysable" category, where a user can see it.
- */
+/** Two nodes claimed the same id but are not the same thing. Reported, never silently resolved (DEC-024). */
 export interface IdentityCollision {
     readonly nodeId: string;
     readonly kept: {
@@ -56,54 +18,21 @@ export interface IdentityCollision {
         readonly producedBy: string;
     };
 }
-/**
- * How much of a workspace-scoped node type actually crossed a repository
- * boundary, and how much only ever existed in one.
- *
- * Counted per *repository*, not per producer: two adapters in one repo agreeing
- * on a node is a within-repo merge and is not what DEC-054's scope table exists
- * to achieve.
- *
- * **Legibility note (UAT round 3, second-look item).** On a single-repository
- * build this metric's own name invited a wrong reading: `{ total: 48, joined:
- * 0 }` next to a disclosure about 55 unrelated within-repo `USES_API` edges
- * read as "0 of 48 endpoints joined" — a failure of the thing the disclosure
- * had just said succeeded — when `joined: 0` was in fact the *only possible
- * value* with one repository in scope, and both statements were true. Nothing
- * here was wrong; the name did not say what it counts. `suppliedByTwoOrMoreRepos`
- * replaces `joined`, and `crossRepoJoinPossible` states outright whether this
- * entry could ever be nonzero in this build, so a reader is not left to infer
- * "one repository" from `repos.length` themselves.
- */
+/** How much of a workspace-scoped type crossed a repo boundary, counted per repo not producer (DEC-054). */
 export interface JoinMetric {
     readonly type: NodeType;
     /** Distinct nodes of this type in the built graph. */
     readonly total: number;
     /** Of those, how many were supplied by more than one repository — the join itself. */
     readonly suppliedByTwoOrMoreRepos: number;
-    /**
-     * False when fewer than two repositories emitted this type in this build,
-     * which makes `suppliedByTwoOrMoreRepos` structurally zero — a fact about
-     * the input, not a measurement of anything. True does not promise a join
-     * happened, only that one was possible; `NO_CROSS_REPO_JOIN` below is the
-     * warning for "possible and did not happen."
-     */
+    /** False when fewer than two repos emitted this type (join is structurally zero). True only means possible — see `NO_CROSS_REPO_JOIN`. */
     readonly crossRepoJoinPossible: boolean;
     /** Repositories in this build that emitted the type at all. */
     readonly repos: readonly string[];
     /** The identity scope each of those repositories resolved to, deduplicated. */
     readonly scopes: readonly string[];
 }
-/**
- * Something the build cannot call an error but must not pass over in silence.
- *
- * `NO_CROSS_REPO_JOIN` is the one that matters and the reason this list exists.
- * A workspace id has to be byte-identical in every repository that shares it,
- * and when it is not, nothing fails: every batch normalises, every node is
- * well-formed, every edge resolves, and the two sides simply never meet. Zero
- * joins, zero errors, zero warnings — which is why the zero itself has to be the
- * warning.
- */
+/** Not an error, but not silent. `NO_CROSS_REPO_JOIN`: a workspace id must be byte-identical across repos, or nothing else fails but the zero-join is the warning. */
 export interface BuildWarning {
     readonly code: "NO_CROSS_REPO_JOIN";
     readonly type: NodeType;
@@ -127,20 +56,10 @@ export interface BuildResult {
     readonly warnings: readonly BuildWarning[];
 }
 export interface BuildOptions {
-    /**
-     * Does a node with this id already exist in the store? An incremental build
-     * over one changed file legitimately points at nodes no batch in this build
-     * supplied.
-     */
+    /** Does a node with this id already exist in the store? Needed for incremental builds over one changed file. */
     readonly nodeExists?: (id: string) => boolean;
     readonly confidenceCeilings?: NormaliseOptions["confidenceCeilings"];
 }
-/**
- * Fold normalised batches into one graph.
- *
- * Pure: no store, no IO. The store is one consumer of the result, the
- * conformance harness is another, and a builder that wrote as it went could be
- * tested by neither without a database.
- */
+/** Fold normalised batches into one graph. Pure: no store, no IO — testable without a database. */
 export declare function buildGraph(batches: readonly IRBatch[], options?: BuildOptions): BuildResult;
 //# sourceMappingURL=build.d.ts.map

package/dist/graph/build.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build.d.ts","sourceRoot":"","sources":["../../src/graph/build.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAIL,KAAK,OAAO,EACZ,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAMrB;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACxG,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C;;;;;;OAMG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,qFAAqF;IACrF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,4EAA4E;IAC5E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,mFAAmF;IACnF,QAAQ,CAAC,cAAc,EAAE,SAAS,UAAU,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;CACtE;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,EAAE,OAAO,GAAE,YAAiB,GAAG,WAAW,CAqM/F"}
+{"version":3,"file":"build.d.ts","sourceRoot":"","sources":["../../src/graph/build.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAIL,KAAK,OAAO,EACZ,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAMrB,6GAA6G;AAC7G,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACxG,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,4GAA4G;AAC5G,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,0IAA0I;IAC1I,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,sKAAsK;AACtK,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,qFAAqF;IACrF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,4EAA4E;IAC5E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,mFAAmF;IACnF,QAAQ,CAAC,cAAc,EAAE,SAAS,UAAU,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,YAAY;IAC3B,gHAAgH;IAChH,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;CACtE;AAED,mGAAmG;AACnG,wBAAgB,UAAU,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,EAAE,OAAO,GAAE,YAAiB,GAAG,WAAW,CA2L/F"}

package/dist/graph/build.js

@@ -1,55 +1,17 @@
 /**
- * The Graph Builder.
- *
- * This is the first place the multi-language thesis is true or false in code.
- * Everything before it works on one adapter's output at a time; this folds
- * several adapters' IR into one graph, and either the cross-language join
- * happens here or it never happens at all.
- *
- * Its acceptance test is XL-1 — *exactly one* `API_ENDPOINT` node after merging
- * both adapters — and XL-2, that the node carries no language. Step 7 showed the
- * two fakes reach the same endpoint id independently; this has to preserve that
- * through the merge rather than produce two nodes or one wrong one.
- *
- * ## Four rules, in order of how much damage they prevent
- *
- * **1. Never invent a node.** An edge whose target cannot be resolved is
- * dropped. It never becomes a stub node, however convenient that would be for
- * traversal. On the prior-art graphs measured for this build, 52-60% of edges
- * pointed at a non-existent target — `append` with in-degree 1,036, `get` with
- * 973. Materialising those as nodes is how a graph acquires a thousand-way hub
- * that every impact score then routes through.
- *
- * **2. Merge is order-independent.** DEC-012's third tie-break exists only for
- * this. Without it, "which adapter ran first" leaks into every impact score, and
- * the symptom is an unreproducible difference nobody can bisect.
- *
- * **3. Collisions are reported, not merged.** Two nodes sharing an id but
- * disagreeing on type or language are not the same thing, and merging them pools
- * the edges of two unrelated symbols. See DEC-024 — this is a live hazard in a
- * polyglot monorepo, not a hypothetical one.
- *
- * **4. Nothing enters without passing the Normaliser.** The builder calls it
- * rather than trusting its caller, because the batch-spanning `nodeExists` it
- * needs — an edge may legitimately point into a sibling batch in the same build
- * — can only be computed here.
+ * Folds multiple adapters' IR into one graph — XL-1: one `API_ENDPOINT` node after merging; XL-2: no
+ * language on it. Never invents a node for an unresolved edge (52-60% of edges were dangling in
+ * prior-art graphs measured here); merge order-independent (DEC-012); collisions reported, never merged (DEC-024).
  */
 import { normaliseBatch, scopeOf, WORKSPACE_SCOPED_NODE_TYPES, } from "@descryy/ir";
 import { identityFingerprint, mergeEdge, mergeNode } from "./merge.js";
 const WORKSPACE_SCOPED = new Set(WORKSPACE_SCOPED_NODE_TYPES);
-/**
- * Fold normalised batches into one graph.
- *
- * Pure: no store, no IO. The store is one consumer of the result, the
- * conformance harness is another, and a builder that wrote as it went could be
- * tested by neither without a database.
- */
+/** Fold normalised batches into one graph. Pure: no store, no IO — testable without a database. */
 export function buildGraph(batches, options = {}) {
     const rejections = [];
-    // --- pass 1: what node ids will exist ------------------------------------
-    // Computed before normalising anything, because an edge in batch A may
-    // legitimately point at a node in batch B. Normalising batches one at a time
-    // against the store alone would reject every cross-batch edge in the build.
+    // pass 1: node ids that will exist. Computed first — an edge in batch A may
+    // legitimately point at a node in batch B; normalising one batch at a time
+    // would reject every cross-batch edge.
     const suppliedIds = new Set();
     for (const batch of batches) {
         for (const node of batch.nodes) {
@@ -66,18 +28,13 @@ export function buildGraph(batches, options = {}) {
     const collisions = [];
     let mergedNodes = 0;
     let mergedEdges = 0;
-    // Which repositories supplied each workspace-scoped node, and which resolved
-    // scope each repository was working under. Only workspace-scoped types are
-    // tracked — a repo-scoped node can never be supplied by two repos by
-    // construction, so counting it would cost memory to learn nothing.
+    // Which repos supplied each workspace-scoped node, and their resolved scope.
+    // Repo-scoped nodes are never tracked — they can't be supplied by two repos.
     const suppliers = new Map();
     const reposByType = new Map();
     const scopesByType = new Map();
-    // Batches are processed in a deterministic order rather than the order given.
-    // The merge rule makes the *result* order-independent, but only if every
-    // batch is actually considered — sorting here means a caller cannot change
-    // the outcome by shuffling its input, which is the property the permutation
-    // proof rests on.
+    // Deterministic order, not input order — the merge rule makes the result
+    // order-independent only if a caller can't change it by shuffling the input.
     const ordered = [...batches].sort((a, b) => `${a.producedBy}\u0000${a.repo}\u0000${a.commitSha}`.localeCompare(`${b.producedBy}\u0000${b.repo}\u0000${b.commitSha}`));
     for (const batch of ordered) {
         const normaliseOptions = {
@@ -149,10 +106,8 @@ export function buildGraph(batches, options = {}) {
                 unresolved.set(key, ref);
         }
     }
-    // --- pass 3: drop edges whose endpoints did not survive -------------------
-    // A node can be supplied and still not exist: the Normaliser may have rejected
-    // it, or a collision may have discarded it. Dropping the edge is the only
-    // option that does not invent something.
+    // pass 3: drop edges whose endpoints didn't survive (rejected or discarded
+    // by a collision) — dropping is the only option that invents nothing.
     const surviving = [];
     let droppedEdges = 0;
     for (const edge of edges.values()) {
@@ -181,10 +136,8 @@ export function buildGraph(batches, options = {}) {
             repos,
             scopes,
         });
-        // Two or more repositories in one build, the same workspace-scoped type on
-        // both sides, and not a single node in common. Whether the cause is a
-        // mistyped workspace id or two genuinely unrelated services, it is the one
-        // outcome that looks identical to success, so it is stated.
+        // Two+ repos emitted the type, no node in common — a mistyped workspace id
+        // or genuinely unrelated services, but it looks identical to success either way.
         if (repos.length > 1 && suppliedByTwoOrMoreRepos === 0) {
             warnings.push({
                 code: "NO_CROSS_REPO_JOIN",

package/dist/graph/build.js.map

@@ -1 +1 @@
-{"version":3,"file":"build.js","sourceRoot":"","sources":["../../src/graph/build.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EACL,cAAc,EACd,OAAO,EACP,2BAA2B,GAQ5B,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvE,MAAM,gBAAgB,GAA0B,IAAI,GAAG,CAAC,2BAA2B,CAAC,CAAC;AAuGrF;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,OAA2B,EAAE,UAAwB,EAAE;IAChF,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,4EAA4E;IAC5E,uEAAuE;IACvE,6EAA6E;IAC7E,4EAA4E;IAE5E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,OAAO,IAAI,EAAE,EAAE,KAAK,QAAQ;gBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;IAEhF,4EAA4E;IAE5E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEtD,8EAA8E;IAC9E,yEAAyE;IACzE,2EAA2E;IAC3E,4EAA4E;IAC5E,kBAAkB;IAClB,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,CAAC,UAAU,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,CAAC,aAAa,CAChE,GAAG,CAAC,CAAC,UAAU,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,CACrD,CACF,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,gBAAgB,GAAqB;YACzC,UAAU;YACV,GAAG,CAAC,OAAO,CAAC,kBAAkB,KAAK,SAAS;gBAC1C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,CAAC;SACxD,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACvD,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;YAAE,SAAS;QAEpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACtC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,IAAI,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnC,IAAI,KAAK,KAAK,SAAS;oBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBACrE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAE7B,IAAI,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1C,IAAI,QAAQ,KAAK,SAAS;oBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC/E,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAEhC,IAAI,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,MAAM,KAAK,SAAS;oBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC5E,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YACjG,CAAC;YAED,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,mBAAmB,CAAC,QAAQ,CAAC,KAAK,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,0DAA0D;gBAC1D,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACzC,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE;oBACrF,SAAS,EACP,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU;wBACnC,CAAC,CAAC;4BACE,IAAI,EAAE,QAAQ,CAAC,IAAI;4BACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;4BAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;yBAChC;wBACH,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE;iBAChF,CAAC,CAAC;gBACH,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC9C,WAAW,IAAI,CAAC,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC1C,WAAW,IAAI,CAAC,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YAC1C,yEAAyE;YACzE,wEAAwE;YACxE,sDAAsD;YACtD,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,UAAU,SAAS,GAAG,CAAC,QAAQ,SAAS,GAAG,CAAC,SAAS,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,EAAE,CAAC;YAC7G,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,+EAA+E;IAC/E,0EAA0E;IAC1E,yCAAyC;IAEzC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,IAAI,IAAI;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YACpC,YAAY,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,6EAA6E;IAE7E,MAAM,cAAc,GAAiB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,KAAK,MAAM,IAAI,IAAI,2BAA2B,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEjC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACxE,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAClD,CAAC,MAAM,CAAC;QACT,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1D,cAAc,CAAC,IAAI,CAAC;YAClB,IAAI;YACJ,KAAK,EAAE,MAAM,CAAC,MAAM;YACpB,wBAAwB;YACxB,qBAAqB,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC;YACvC,KAAK;YACL,MAAM;SACP,CAAC,CAAC;QAEH,2EAA2E;QAC3E,sEAAsE;QACtE,2EAA2E;QAC3E,4DAA4D;QAC5D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,wBAAwB,KAAK,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,oBAAoB;gBAC1B,IAAI;gBACJ,MAAM,EACJ,GAAG,KAAK,CAAC,MAAM,yBAAyB,IAAI,0BAA0B;oBACtE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;oBAC9F,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;wBAChB,CAAC,CAAC,wFAAwF;4BACxF,yFAAyF;wBAC3F,CAAC,CAAC,uEAAuE,CAAC;aAC/E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,6EAA6E;IAC7E,gBAAgB;IAChB,MAAM,IAAI,GAAG,CAA2B,CAAI,EAAE,CAAI,EAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAExF,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACrC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CACvE;QACD,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjD,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,aAAa,CACxD,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,SAAS,EAAE,CAC7C,CACF;QACD,UAAU;QACV,WAAW;QACX,WAAW;QACX,UAAU;QACV,YAAY;QACZ,cAAc;QACd,QAAQ;KACT,CAAC;AACJ,CAAC"}
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../../src/graph/build.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,cAAc,EACd,OAAO,EACP,2BAA2B,GAQ5B,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvE,MAAM,gBAAgB,GAA0B,IAAI,GAAG,CAAC,2BAA2B,CAAC,CAAC;AA2DrF,mGAAmG;AACnG,MAAM,UAAU,UAAU,CAAC,OAA2B,EAAE,UAAwB,EAAE;IAChF,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,4EAA4E;IAC5E,2EAA2E;IAC3E,uCAAuC;IAEvC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,OAAO,IAAI,EAAE,EAAE,KAAK,QAAQ;gBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;IAEhF,4EAA4E;IAE5E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEtD,yEAAyE;IACzE,6EAA6E;IAC7E,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,CAAC,UAAU,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,CAAC,aAAa,CAChE,GAAG,CAAC,CAAC,UAAU,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,CACrD,CACF,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,gBAAgB,GAAqB;YACzC,UAAU;YACV,GAAG,CAAC,OAAO,CAAC,kBAAkB,KAAK,SAAS;gBAC1C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,CAAC;SACxD,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACvD,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;YAAE,SAAS;QAEpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACtC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,IAAI,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnC,IAAI,KAAK,KAAK,SAAS;oBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBACrE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAE7B,IAAI,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1C,IAAI,QAAQ,KAAK,SAAS;oBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC/E,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAEhC,IAAI,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,MAAM,KAAK,SAAS;oBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC5E,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YACjG,CAAC;YAED,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,mBAAmB,CAAC,QAAQ,CAAC,KAAK,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,0DAA0D;gBAC1D,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACzC,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE;oBACrF,SAAS,EACP,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU;wBACnC,CAAC,CAAC;4BACE,IAAI,EAAE,QAAQ,CAAC,IAAI;4BACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;4BAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;yBAChC;wBACH,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE;iBAChF,CAAC,CAAC;gBACH,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC9C,WAAW,IAAI,CAAC,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC1C,WAAW,IAAI,CAAC,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YAC1C,yEAAyE;YACzE,wEAAwE;YACxE,sDAAsD;YACtD,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,UAAU,SAAS,GAAG,CAAC,QAAQ,SAAS,GAAG,CAAC,SAAS,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,EAAE,CAAC;YAC7G,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,sEAAsE;IAEtE,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,IAAI,IAAI;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YACpC,YAAY,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,6EAA6E;IAE7E,MAAM,cAAc,GAAiB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,KAAK,MAAM,IAAI,IAAI,2BAA2B,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEjC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACxE,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAClD,CAAC,MAAM,CAAC;QACT,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1D,cAAc,CAAC,IAAI,CAAC;YAClB,IAAI;YACJ,KAAK,EAAE,MAAM,CAAC,MAAM;YACpB,wBAAwB;YACxB,qBAAqB,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC;YACvC,KAAK;YACL,MAAM;SACP,CAAC,CAAC;QAEH,2EAA2E;QAC3E,iFAAiF;QACjF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,wBAAwB,KAAK,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,oBAAoB;gBAC1B,IAAI;gBACJ,MAAM,EACJ,GAAG,KAAK,CAAC,MAAM,yBAAyB,IAAI,0BAA0B;oBACtE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;oBAC9F,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;wBAChB,CAAC,CAAC,wFAAwF;4BACxF,yFAAyF;wBAC3F,CAAC,CAAC,uEAAuE,CAAC;aAC/E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,6EAA6E;IAC7E,gBAAgB;IAChB,MAAM,IAAI,GAAG,CAA2B,CAAI,EAAE,CAAI,EAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAExF,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACrC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CACvE;QACD,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjD,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,aAAa,CACxD,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,SAAS,EAAE,CAC7C,CACF;QACD,UAAU;QACV,WAAW;QACX,WAAW;QACX,UAAU;QACV,YAAY;QACZ,cAAc;QACd,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/graph/cross-language.d.ts

@@ -1,45 +1,7 @@
 /**
- * The cross-language declaration index — DEC-161.
- *
- * Runs **after** every adapter has produced its batch, over the batches
- * themselves rather than inside any one adapter, because the target id an
- * unresolved reference should join to is not something the referencing
- * adapter can compute — it does not have the declaring language's source.
- *
- * ## Why the key is a string neither side derives from the other
- *
- * `UnresolvedRef.rawTarget` is what the referencing side's own source spells —
- * a Java `import okhttp3.OkHttpClient;` cannot carry Kotlin's module or source
- * set, because nothing in that line names either.
- * `CrossLanguageDeclaration.qualifiedName` is the same kind of fact, stated by
- * the *declaring* adapter about how an external reader would reach its node.
- * Matching the two is a string comparison over two independently-computed
- * facts, not a derivation of one from the other — which is what keeps this a
- * resolver rather than a heuristic.
- *
- * ## Mutual declaration
- *
- * Two adapters resolve against each other only when each names the other as a
- * peer (`CapabilityMatrix.crossLanguageNamespace`). A one-sided declaration —
- * or two unrelated adapters that happen to pick the same namespace `id` by
- * accident — resolves nothing. This is deliberate: equality-only comparison
- * makes an accidental id collision silent otherwise, and that is the exact
- * failure this mechanism exists to prevent, arriving through its own door if
- * declaration were not mutual.
- *
- * ## Ambiguity is the normal case, not the exception
- *
- * More than one candidate for a `qualifiedName`, with no stated basis to
- * choose between them, is reported and resolves nothing — precision over
- * recall, and the same rule `dup-ids.mjs` enforces on plain node identity.
- *
- * ## Resolution and provenance
- *
- * Every resolved edge is stamped `resolution: 1` (R1 — a name match between
- * two adapters, neither of which type-checked the other's file) and
- * `producedBy: RESOLVER_PRODUCED_BY`. Neither adapter produced this edge, and
- * attributing it to one would make that adapter's own precision figures
- * answer for a join it did not make.
+ * Cross-language declaration index (DEC-161): matches `rawTarget` to `qualifiedName` as independently-
+ * computed strings, never derived from each other. Requires mutual peer declaration or resolves nothing;
+ * ambiguity is reported, never guessed. Every resolved edge stamped R1, `RESOLVER_PRODUCED_BY`.
  */
 import type { IRBatch, IREdge, UnresolvedRef } from "@descryy/ir";
 /** Stamped on every edge this pass mints. Neither adapter's own id, on purpose. */
@@ -48,8 +10,7 @@ export interface NamespaceDeclaration {
     readonly id: string;
     readonly peers: readonly string[];
 }
-/** More than one declared node answers to this `qualifiedName` inside a
- *  matched namespace pair — refused rather than guessed. */
+/** More than one declared node answers to this `qualifiedName` — refused rather than guessed. */
 export interface CrossLanguageAmbiguity {
     readonly unresolved: UnresolvedRef;
     readonly qualifiedName: string;

package/dist/graph/cross-language.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cross-language.d.ts","sourceRoot":"","sources":["../../src/graph/cross-language.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAY,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5E,mFAAmF;AACnF,eAAO,MAAM,oBAAoB,8BAA8B,CAAC;AAEhE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;4DAC4D;AAC5D,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACvD;AAgDD,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,SAAS,OAAO,EAAE,EAC3B,WAAW,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,oBAAoB,GAAG,SAAS,GACpE,mBAAmB,CAsDrB"}
+{"version":3,"file":"cross-language.d.ts","sourceRoot":"","sources":["../../src/graph/cross-language.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAY,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5E,mFAAmF;AACnF,eAAO,MAAM,oBAAoB,8BAA8B,CAAC;AAEhE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,iGAAiG;AACjG,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACvD;AAqBD,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,SAAS,OAAO,EAAE,EAC3B,WAAW,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,oBAAoB,GAAG,SAAS,GACpE,mBAAmB,CAmDrB"}

package/dist/graph/cross-language.js

@@ -1,80 +1,15 @@
 /**
- * The cross-language declaration index — DEC-161.
- *
- * Runs **after** every adapter has produced its batch, over the batches
- * themselves rather than inside any one adapter, because the target id an
- * unresolved reference should join to is not something the referencing
- * adapter can compute — it does not have the declaring language's source.
- *
- * ## Why the key is a string neither side derives from the other
- *
- * `UnresolvedRef.rawTarget` is what the referencing side's own source spells —
- * a Java `import okhttp3.OkHttpClient;` cannot carry Kotlin's module or source
- * set, because nothing in that line names either.
- * `CrossLanguageDeclaration.qualifiedName` is the same kind of fact, stated by
- * the *declaring* adapter about how an external reader would reach its node.
- * Matching the two is a string comparison over two independently-computed
- * facts, not a derivation of one from the other — which is what keeps this a
- * resolver rather than a heuristic.
- *
- * ## Mutual declaration
- *
- * Two adapters resolve against each other only when each names the other as a
- * peer (`CapabilityMatrix.crossLanguageNamespace`). A one-sided declaration —
- * or two unrelated adapters that happen to pick the same namespace `id` by
- * accident — resolves nothing. This is deliberate: equality-only comparison
- * makes an accidental id collision silent otherwise, and that is the exact
- * failure this mechanism exists to prevent, arriving through its own door if
- * declaration were not mutual.
- *
- * ## Ambiguity is the normal case, not the exception
- *
- * More than one candidate for a `qualifiedName`, with no stated basis to
- * choose between them, is reported and resolves nothing — precision over
- * recall, and the same rule `dup-ids.mjs` enforces on plain node identity.
- *
- * ## Resolution and provenance
- *
- * Every resolved edge is stamped `resolution: 1` (R1 — a name match between
- * two adapters, neither of which type-checked the other's file) and
- * `producedBy: RESOLVER_PRODUCED_BY`. Neither adapter produced this edge, and
- * attributing it to one would make that adapter's own precision figures
- * answer for a join it did not make.
+ * Cross-language declaration index (DEC-161): matches `rawTarget` to `qualifiedName` as independently-
+ * computed strings, never derived from each other. Requires mutual peer declaration or resolves nothing;
+ * ambiguity is reported, never guessed. Every resolved edge stamped R1, `RESOLVER_PRODUCED_BY`.
  */
 /** Stamped on every edge this pass mints. Neither adapter's own id, on purpose. */
 export const RESOLVER_PRODUCED_BY = "cross-language-resolver@1";
 function isMutualPeer(a, b) {
     return a.peers.includes(b.id) && b.peers.includes(a.id);
 }
-/**
- * @param batches Every batch in this build, from every adapter.
- * @param namespaceOf A batch's `producedBy` (`adapterId@version`) to its
- *   declared namespace, if any. The caller supplies this because a
- *   `CapabilityMatrix` is a per-adapter fact, not a per-batch one, and this
- *   pass is deliberately kept ignorant of how an adapter is instantiated.
- */
-/**
- * A batch's `unresolved` list, tolerating the producer that has never heard of
- * the field.
- *
- * `normaliseBatch` — every batch's gatekeeper on the way to the store — treats
- * `unresolved` as absent-means-none, and says why in its own comment: absent is
- * what a producer not yet updated to report it sends. Adapters are versioned
- * and released on their own cadence exactly so that can happen, so a batch this
- * pass rejects is one the Normaliser would have accepted.
- *
- * This is the same unguarded `.length` that crashed a real `analyze` run
- * (b9044b2), reported as the *adapter* failing while the adapter was returning
- * over a thousand perfectly good nodes. This pass is not reachable from
- * `analyze` today, so it was latent rather than live — which is a reason to
- * close it while the reason is written down, not a reason to leave it.
- *
- * Absent and malformed stay different, the line the Normaliser draws too: a
- * missing field is an older producer, a field holding a string is a broken one,
- * and defaulting the second away would hide a real defect. The producer is
- * named in the message because that is the one thing a reader needs and cannot
- * recover from the stack.
- */
+/** @param batches Every batch in this build. @param namespaceOf A batch's producedBy to its declared namespace, if any. */
+/** A batch's `unresolved` list, absent-means-none (same as `normaliseBatch`) — but malformed is a real defect (crashed a real `analyze` run, b9044b2). */
 function referencingRefs(batch) {
     const raw = batch.unresolved;
     if (raw === undefined || raw === null)
@@ -87,16 +22,13 @@ function referencingRefs(batch) {
     return raw;
 }
 export function resolveCrossLanguage(batches, namespaceOf) {
-    // One entry per batch that actually declared a namespace. A batch with no
-    // declaration contributes nothing to either side — it is neither a source
-    // of candidates nor a consumer of them.
+    // One entry per batch that declared a namespace — a batch with none
+    // contributes nothing to either side.
     const declaring = batches
         .map((batch) => ({ batch, namespace: namespaceOf(batch.producedBy) }))
         .filter((entry) => entry.namespace !== undefined);
-    // qualifiedName -> candidate node ids, scoped to ONE declaring batch at a
-    // time rather than pooled across batches sharing a namespace id — pooling
-    // would let two same-language batches silently stand in for each other,
-    // which is not a claim this pass is entitled to make.
+    // Scoped to ONE declaring batch at a time, never pooled across batches
+    // sharing a namespace id — pooling would let them silently stand in for each other.
     const resolved = [];
     const ambiguous = [];
     for (const referencing of declaring) {

package/dist/graph/cross-language.js.map

@@ -1 +1 @@
-{"version":3,"file":"cross-language.js","sourceRoot":"","sources":["../../src/graph/cross-language.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAIH,mFAAmF;AACnF,MAAM,CAAC,MAAM,oBAAoB,GAAG,2BAA2B,CAAC;AAoBhE,SAAS,YAAY,CAAC,CAAuB,EAAE,CAAuB;IACpE,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,GAAG,GAAY,KAAK,CAAC,UAAU,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,CAAC,UAAU,kEAAkE;YACnF,mFAAmF;YACnF,mFAAmF,CACtF,CAAC;IACJ,CAAC;IACD,OAAO,GAA+B,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA2B,EAC3B,WAAqE;IAErE,0EAA0E;IAC1E,0EAA0E;IAC1E,wCAAwC;IACxC,MAAM,SAAS,GAAG,OAAO;SACtB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;SACrE,MAAM,CACL,CAAC,KAAK,EAAgE,EAAE,CACtE,KAAK,CAAC,SAAS,KAAK,SAAS,CAChC,CAAC;IAEJ,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,sDAAsD;IACtD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAA6B,EAAE,CAAC;IAE/C,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,eAAe,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEhC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,UAAU,GAAa,EAAE,CAAC;YAEhC,KAAK,MAAM,aAAa,IAAI,SAAS,EAAE,CAAC;gBACtC,IAAI,aAAa,CAAC,KAAK,KAAK,WAAW,CAAC,KAAK;oBAAE,SAAS;gBACxD,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAC5E,IAAI,aAAa,CAAC,KAAK,CAAC,yBAAyB,KAAK,SAAS;oBAAE,SAAS;gBAE1E,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,yBAAyB,EAAE,CAAC;oBACjE,IAAI,IAAI,CAAC,aAAa,KAAK,GAAG,CAAC,SAAS;wBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS,CAAC,sCAAsC;YAE7E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAAC;gBAChG,SAAS;YACX,CAAC;YAED,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,GAAG,CAAC,UAAU;gBACpB,EAAE,EAAE,UAAU,CAAC,CAAC,CAAE;gBAClB,IAAI,EAAE,GAAG,CAAC,QAA2B;gBACrC,UAAU,EAAE,CAAC;gBACb,UAAU,EAAE,CAAC;gBACb,UAAU,EAAE,oBAAoB;aACjC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC"}
+{"version":3,"file":"cross-language.js","sourceRoot":"","sources":["../../src/graph/cross-language.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,mFAAmF;AACnF,MAAM,CAAC,MAAM,oBAAoB,GAAG,2BAA2B,CAAC;AAmBhE,SAAS,YAAY,CAAC,CAAuB,EAAE,CAAuB;IACpE,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED,2HAA2H;AAC3H,0JAA0J;AAC1J,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,GAAG,GAAY,KAAK,CAAC,UAAU,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,CAAC,UAAU,kEAAkE;YACnF,mFAAmF;YACnF,mFAAmF,CACtF,CAAC;IACJ,CAAC;IACD,OAAO,GAA+B,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA2B,EAC3B,WAAqE;IAErE,oEAAoE;IACpE,sCAAsC;IACtC,MAAM,SAAS,GAAG,OAAO;SACtB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;SACrE,MAAM,CACL,CAAC,KAAK,EAAgE,EAAE,CACtE,KAAK,CAAC,SAAS,KAAK,SAAS,CAChC,CAAC;IAEJ,uEAAuE;IACvE,oFAAoF;IACpF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAA6B,EAAE,CAAC;IAE/C,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,eAAe,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEhC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,UAAU,GAAa,EAAE,CAAC;YAEhC,KAAK,MAAM,aAAa,IAAI,SAAS,EAAE,CAAC;gBACtC,IAAI,aAAa,CAAC,KAAK,KAAK,WAAW,CAAC,KAAK;oBAAE,SAAS;gBACxD,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAC5E,IAAI,aAAa,CAAC,KAAK,CAAC,yBAAyB,KAAK,SAAS;oBAAE,SAAS;gBAE1E,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,yBAAyB,EAAE,CAAC;oBACjE,IAAI,IAAI,CAAC,aAAa,KAAK,GAAG,CAAC,SAAS;wBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS,CAAC,sCAAsC;YAE7E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAAC;gBAChG,SAAS;YACX,CAAC;YAED,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,GAAG,CAAC,UAAU;gBACpB,EAAE,EAAE,UAAU,CAAC,CAAC,CAAE;gBAClB,IAAI,EAAE,GAAG,CAAC,QAA2B;gBACrC,UAAU,EAAE,CAAC;gBACb,UAAU,EAAE,CAAC;gBACb,UAAU,EAAE,oBAAoB;aACjC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC"}