@descryy/core 0.3.0 → 0.5.0

package/dist/query/declared-value-closure.d.ts

@@ -1,75 +1,7 @@
 /**
- * DEC-244's Row 2: wiring `resolveAgainstDeclared`'s output to actually close
- * a ledger row.
- *
- * The grouper (DEC-243) turns rows into questions. `resolveAgainstDeclared`
- * (`../ledger/resolve.ts`) turns a question into a per-environment answer
- * from what the repository's own `.env*` files already state. Until this
- * file, nothing joined the two — DEC-244's own measurement is 0 of 122 rows
- * closed, not because either half is broken, but because neither called the
- * other.
- *
- * ## What "closing" a row means here, and does not mean
- *
- * This produces a **classification**, never a graph edge — the same
- * discipline `confirmed-facts.ts`'s header states for its own output and for
- * the identical reason: minting `USES_API`/etc. needs a target to join
- * against (an endpoint, a route) that this module has no way to resolve, and
- * DEC-223 §6 already named that as separate, unbuilt work. A caller minting
- * an edge from `closed`/`partiallyClosed` is the one obligated to attach the
- * reliability this module already computed (`DECLARED_VALUE_RELIABILITY`,
- * class A — see DEC-244 Row 1) rather than inventing its own.
- *
- * ## Why this is not a `ConfirmedFact`, and does not reuse its shape
- *
- * `ConfirmedFact` (DEC-223 §3) is testimony: one person's typed string,
- * corroborated by nothing, capped at reliability class B by construction
- * (`humanAsserted: true`). A value read from a repository's own `.env` file
- * is the opposite kind of evidence — nobody asserted it, anyone can re-read
- * the same file and get the same answer, and DEC-244 Row 1 rules it reaches
- * class A on exactly the precedent `validation/env.ts` already established
- * for `.env` reads generally (a direct, uninferred read of a declarative
- * document, the same class of evidence that lets `adapter-openapi`/
- * `adapter-sql` reach R3 with no language adapter at all). Constructing a
- * `ConfirmedFact` here — with a synthetic `confirmedBy: "config:..."` and
- * `humanAsserted` forced `false` at the call site — would make the *type*
- * claim testimony while the *call site* claims otherwise, a distinction that
- * survives exactly as long as every future caller remembers to look past the
- * type to the call site. `DeclaredValueClosure` is the type-level guarantee
- * instead: nothing shaped this way can ever be mistaken for testimony,
- * because nothing about it says `confirmedBy`.
- *
- * ## The hard part: partial closure has to stay visibly partial
- *
- * `resolveAgainstDeclared`'s own `knownEnvironments` is deliberately narrow —
- * it is *only* what this repository's `.env*` **filenames** assert exist,
- * never invented. That narrowness is correct for `resolve.ts` (DEC-223's own
- * "never guessed, always refused" rule) and creates a real trap one layer up:
- * a repository can resolve **every environment its filenames mention** and
- * still have a production deployment this reader has no way to see, because
- * production's value never lived in a checked-in `.env*` file at all.
- *
- * Measured, not hypothetical: `sherpa-frontend` has exactly
- * `.env.development` and `.env.development.local`, nothing named
- * `production` anywhere in its `.env*` surface — `VITE_BACKEND_API_URL`
- * resolves fully for `"development"` (`knownEnvironments.length === 1`), and
- * a consumer that read that as "closed" would silently bind a `localhost`
- * dev value to every production call site in the ledger. **That is the exact
- * silent-failure shape this product exists to catch, reproduced inside the
- * product**, which is why `MIN_KNOWN_ENVIRONMENTS_FOR_CLOSED` exists: a
- * repository's own naming convention has to demonstrate it actually
- * distinguishes more than one environment before this module will call
- * anything fully closed. Below that bar, a fully-resolved result is reported
- * as `"partially-closed"` — under-claiming is the safe direction (rule 2 —
- * when in doubt, omit), and `resolution.knownEnvironments` stays attached to
- * every closure record so a reader can see exactly what evidence there was.
- *
- * `sherpa-cf-worker` is the other real shape: it has **no** `.env*` files at
- * all (its runtime config lives in `wrangler.toml`, `[vars]`/`[env.*.vars]`,
- * a format `resolve.ts` deliberately does not read —
- * `REQUEST-D-wrangler-vars-format.md`, not built). Every one of its rows
- * therefore has `knownEnvironments.length === 0` and lands in `stillOpen`,
- * which is correct and current, not a defect this module can fix.
+ * DEC-244 Row 2: wires resolveAgainstDeclared into ledger closure (0/122 rows
+ * closed before this — nothing joined the two). Produces a classification,
+ * never a graph edge (like confirmed-facts.ts), reaching class A (Row 1) unlike ConfirmedFact's testimony-capped class B (DEC-223 §3). Under-claims below 2 known environments (rule 2).
  */
 import type { UnresolvedRef } from "@descryy/ir";
 import { reliabilityCap } from "@descryy/ir";
@@ -81,46 +13,23 @@ export interface DeclaredValueClosure {
     readonly blockedBy: string;
     readonly resolution: LedgerAccessorResolution;
     readonly state: ClosureState;
-    /**
-     * Always `"A"` today — see the module header and DEC-244 Row 1.
-     * Carried per-closure rather than computed again by every caller, so a
-     * caller cannot accidentally pass `humanAsserted: true` and mislabel a
-     * direct read as testimony.
-     */
+    /** Always "A" (DEC-244 Row 1). Carried per-closure so no caller can pass
+     *  `humanAsserted: true` and mislabel a direct read as testimony. */
     readonly reliability: ReturnType<typeof reliabilityCap>;
 }
 export interface DeclaredValueApplication {
     readonly closed: readonly DeclaredValueClosure[];
     readonly partiallyClosed: readonly DeclaredValueClosure[];
-    /**
-     * Everything else: not askable at all (wrong class, unset, no handle —
-     * `askableHandle` returned `null`), an unparseable `blockedBy`, zero
-     * `.env*` evidence for this repository, or a recognised name this
-     * repository's `.env*` files never set in any environment.
-     */
+    /** Everything else: not askable, unparseable `blockedBy`, no `.env*`
+     *  evidence, or a name never set in any environment. */
     readonly stillOpen: readonly UnresolvedRef[];
 }
-/**
- * A resolved value is a claim about *content* (what string a variable holds),
- * not mere *existence* — `nameLevel: false`. At R3 this does not change the
- * outcome (`reliabilityCap`'s R3/R4 branch returns `"A"` regardless of
- * `nameLevel`), but a future caller reusing this constant at a lower
- * resolution should not inherit a `nameLevel` value chosen for the wrong
- * reason, so it is stated correctly here rather than left as an accident of
- * R3 not needing it.
- */
+/** A resolved value claims content, not mere existence — `nameLevel: false`.
+ *  No effect at R3 (both give "A"), but stated correctly for any future
+ *  caller reusing this constant at a lower resolution. */
 export declare const DECLARED_VALUE_RELIABILITY: import("@descryy/ir").ReliabilityClass;
-/**
- * Apply one repository's declared `.env*` values against its refusal ledger.
- *
- * The reconciliation this makes checkable, same law as the grouper and the
- * Normaliser one level down each: every row in `refs` lands in exactly one
- * of `closed`, `partiallyClosed` or `stillOpen` —
- * `refs.length === closed.length + partiallyClosed.length + stillOpen.length`,
- * always. `resolveAgainstDeclared` is called at most once per distinct
- * `blockedBy` (cached), not once per row, matching `resolve.ts`'s own stated
- * performance contract — "read once per repository ... runs many times
- * against the result rather than rescanning per ledger row."
- */
+/** Apply declared `.env*` values against the refusal ledger. Every ref lands
+ *  in exactly one of closed/partiallyClosed/stillOpen. resolveAgainstDeclared
+ *  is cached per `blockedBy`, not called once per row. */
 export declare function applyDeclaredValues(refs: readonly UnresolvedRef[], declared: readonly DeclaredEnvValue[]): DeclaredValueApplication;
 //# sourceMappingURL=declared-value-closure.d.ts.map

package/dist/query/declared-value-closure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"declared-value-closure.d.ts","sourceRoot":"","sources":["../../src/query/declared-value-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwEG;AAEH,OAAO,KAAK,EAAmB,aAAa,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAI7C,OAAO,KAAK,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAEvF,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,kBAAkB,CAAC;AAEzD,gGAAgG;AAChG,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,wBAAwB,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC1D;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;CAC9C;AAKD;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,wCAA0D,CAAC;AAsBlG;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,SAAS,aAAa,EAAE,EAC9B,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GACpC,wBAAwB,CAoC1B"}
+{"version":3,"file":"declared-value-closure.d.ts","sourceRoot":"","sources":["../../src/query/declared-value-closure.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAmB,aAAa,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAI7C,OAAO,KAAK,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAEvF,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,kBAAkB,CAAC;AAEzD,gGAAgG;AAChG,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,wBAAwB,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B;yEACqE;IACrE,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC1D;4DACwD;IACxD,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;CAC9C;AAKD;;0DAE0D;AAC1D,eAAO,MAAM,0BAA0B,wCAA0D,CAAC;AAgBlG;;0DAE0D;AAC1D,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,SAAS,aAAa,EAAE,EAC9B,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GACpC,wBAAwB,CAoC1B"}

package/dist/query/declared-value-closure.js

@@ -1,126 +1,37 @@
 /**
- * DEC-244's Row 2: wiring `resolveAgainstDeclared`'s output to actually close
- * a ledger row.
- *
- * The grouper (DEC-243) turns rows into questions. `resolveAgainstDeclared`
- * (`../ledger/resolve.ts`) turns a question into a per-environment answer
- * from what the repository's own `.env*` files already state. Until this
- * file, nothing joined the two — DEC-244's own measurement is 0 of 122 rows
- * closed, not because either half is broken, but because neither called the
- * other.
- *
- * ## What "closing" a row means here, and does not mean
- *
- * This produces a **classification**, never a graph edge — the same
- * discipline `confirmed-facts.ts`'s header states for its own output and for
- * the identical reason: minting `USES_API`/etc. needs a target to join
- * against (an endpoint, a route) that this module has no way to resolve, and
- * DEC-223 §6 already named that as separate, unbuilt work. A caller minting
- * an edge from `closed`/`partiallyClosed` is the one obligated to attach the
- * reliability this module already computed (`DECLARED_VALUE_RELIABILITY`,
- * class A — see DEC-244 Row 1) rather than inventing its own.
- *
- * ## Why this is not a `ConfirmedFact`, and does not reuse its shape
- *
- * `ConfirmedFact` (DEC-223 §3) is testimony: one person's typed string,
- * corroborated by nothing, capped at reliability class B by construction
- * (`humanAsserted: true`). A value read from a repository's own `.env` file
- * is the opposite kind of evidence — nobody asserted it, anyone can re-read
- * the same file and get the same answer, and DEC-244 Row 1 rules it reaches
- * class A on exactly the precedent `validation/env.ts` already established
- * for `.env` reads generally (a direct, uninferred read of a declarative
- * document, the same class of evidence that lets `adapter-openapi`/
- * `adapter-sql` reach R3 with no language adapter at all). Constructing a
- * `ConfirmedFact` here — with a synthetic `confirmedBy: "config:..."` and
- * `humanAsserted` forced `false` at the call site — would make the *type*
- * claim testimony while the *call site* claims otherwise, a distinction that
- * survives exactly as long as every future caller remembers to look past the
- * type to the call site. `DeclaredValueClosure` is the type-level guarantee
- * instead: nothing shaped this way can ever be mistaken for testimony,
- * because nothing about it says `confirmedBy`.
- *
- * ## The hard part: partial closure has to stay visibly partial
- *
- * `resolveAgainstDeclared`'s own `knownEnvironments` is deliberately narrow —
- * it is *only* what this repository's `.env*` **filenames** assert exist,
- * never invented. That narrowness is correct for `resolve.ts` (DEC-223's own
- * "never guessed, always refused" rule) and creates a real trap one layer up:
- * a repository can resolve **every environment its filenames mention** and
- * still have a production deployment this reader has no way to see, because
- * production's value never lived in a checked-in `.env*` file at all.
- *
- * Measured, not hypothetical: `sherpa-frontend` has exactly
- * `.env.development` and `.env.development.local`, nothing named
- * `production` anywhere in its `.env*` surface — `VITE_BACKEND_API_URL`
- * resolves fully for `"development"` (`knownEnvironments.length === 1`), and
- * a consumer that read that as "closed" would silently bind a `localhost`
- * dev value to every production call site in the ledger. **That is the exact
- * silent-failure shape this product exists to catch, reproduced inside the
- * product**, which is why `MIN_KNOWN_ENVIRONMENTS_FOR_CLOSED` exists: a
- * repository's own naming convention has to demonstrate it actually
- * distinguishes more than one environment before this module will call
- * anything fully closed. Below that bar, a fully-resolved result is reported
- * as `"partially-closed"` — under-claiming is the safe direction (rule 2 —
- * when in doubt, omit), and `resolution.knownEnvironments` stays attached to
- * every closure record so a reader can see exactly what evidence there was.
- *
- * `sherpa-cf-worker` is the other real shape: it has **no** `.env*` files at
- * all (its runtime config lives in `wrangler.toml`, `[vars]`/`[env.*.vars]`,
- * a format `resolve.ts` deliberately does not read —
- * `REQUEST-D-wrangler-vars-format.md`, not built). Every one of its rows
- * therefore has `knownEnvironments.length === 0` and lands in `stillOpen`,
- * which is correct and current, not a defect this module can fix.
+ * DEC-244 Row 2: wires resolveAgainstDeclared into ledger closure (0/122 rows
+ * closed before this — nothing joined the two). Produces a classification,
+ * never a graph edge (like confirmed-facts.ts), reaching class A (Row 1) unlike ConfirmedFact's testimony-capped class B (DEC-223 §3). Under-claims below 2 known environments (rule 2).
  */
 import { reliabilityCap } from "@descryy/ir";
 import { askableHandle } from "./refusal-questions.js";
 import { resolveAgainstDeclared } from "../ledger/resolve.js";
 /** Direct reads of `.env*` need no resolution — same precedent `validation/env.ts` already uses (DEC-244 Row 1). */
 const DECLARED_VALUE_RESOLUTION = 3;
-/**
- * A resolved value is a claim about *content* (what string a variable holds),
- * not mere *existence* — `nameLevel: false`. At R3 this does not change the
- * outcome (`reliabilityCap`'s R3/R4 branch returns `"A"` regardless of
- * `nameLevel`), but a future caller reusing this constant at a lower
- * resolution should not inherit a `nameLevel` value chosen for the wrong
- * reason, so it is stated correctly here rather than left as an accident of
- * R3 not needing it.
- */
+/** A resolved value claims content, not mere existence — `nameLevel: false`.
+ *  No effect at R3 (both give "A"), but stated correctly for any future
+ *  caller reusing this constant at a lower resolution. */
 export const DECLARED_VALUE_RELIABILITY = reliabilityCap(DECLARED_VALUE_RESOLUTION, false, false);
-/**
- * A repository's own `.env*` naming has to name at least this many distinct
- * environments before a fully-resolved result is trusted as `"closed"`
- * rather than `"partially-closed"` — see the module header's `sherpa-frontend`
- * case. Not tuned; picked as the smallest number that is structurally
- * meaningful (one named environment proves nothing about whether a second,
- * unnamed one exists; two or more is the repository's own convention
- * demonstrating it actually distinguishes environments).
- */
+/** Minimum distinct environments a repo's `.env*` naming must name before a
+ *  fully-resolved result counts as "closed", not "partially-closed" — one
+ *  named environment proves nothing about an unnamed second one. */
 const MIN_KNOWN_ENVIRONMENTS_FOR_CLOSED = 2;
 function classify(resolution) {
     if (resolution.resolution === null)
         return "open"; // blockedBy shape not recognised
     if (resolution.knownEnvironments.length === 0)
-        return "open"; // no .env* evidence at all
+        return "open";
     if (resolution.resolved.length === 0)
-        return "open"; // known environments, resolved in none of them
+        return "open"; // resolved in none of the known environments
     if (resolution.unresolvedEnvironments.length > 0)
-        return "partially-closed"; // some known environments unresolved
+        return "partially-closed";
     if (resolution.knownEnvironments.length < MIN_KNOWN_ENVIRONMENTS_FOR_CLOSED)
         return "partially-closed"; // thin evidence
     return "closed";
 }
-/**
- * Apply one repository's declared `.env*` values against its refusal ledger.
- *
- * The reconciliation this makes checkable, same law as the grouper and the
- * Normaliser one level down each: every row in `refs` lands in exactly one
- * of `closed`, `partiallyClosed` or `stillOpen` —
- * `refs.length === closed.length + partiallyClosed.length + stillOpen.length`,
- * always. `resolveAgainstDeclared` is called at most once per distinct
- * `blockedBy` (cached), not once per row, matching `resolve.ts`'s own stated
- * performance contract — "read once per repository ... runs many times
- * against the result rather than rescanning per ledger row."
- */
+/** Apply declared `.env*` values against the refusal ledger. Every ref lands
+ *  in exactly one of closed/partiallyClosed/stillOpen. resolveAgainstDeclared
+ *  is cached per `blockedBy`, not called once per row. */
 export function applyDeclaredValues(refs, declared) {
     const cache = new Map();
     const closed = [];

package/dist/query/declared-value-closure.js.map

@@ -1 +1 @@
-{"version":3,"file":"declared-value-closure.js","sourceRoot":"","sources":["../../src/query/declared-value-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwEG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAgC9D,oHAAoH;AACpH,MAAM,yBAAyB,GAAoB,CAAC,CAAC;AAErD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,cAAc,CAAC,yBAAyB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAElG;;;;;;;;GAQG;AACH,MAAM,iCAAiC,GAAG,CAAC,CAAC;AAE5C,SAAS,QAAQ,CAAC,UAAoC;IACpD,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,CAAC,iCAAiC;IACpF,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,2BAA2B;IACzF,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,+CAA+C;IACpG,IAAI,UAAU,CAAC,sBAAsB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,kBAAkB,CAAC,CAAC,qCAAqC;IAClH,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,GAAG,iCAAiC;QAAE,OAAO,kBAAkB,CAAC,CAAC,gBAAgB;IACxH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA8B,EAC9B,QAAqC;IAErC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC1D,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,eAAe,GAA2B,EAAE,CAAC;IACnD,MAAM,SAAS,GAAoB,EAAE,CAAC;IAEtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QAED,IAAI,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACrB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAyB;YACpC,GAAG;YACH,SAAS;YACT,UAAU;YACV,KAAK;YACL,WAAW,EAAE,0BAA0B;SACxC,CAAC;QACF,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;AAChD,CAAC"}
+{"version":3,"file":"declared-value-closure.js","sourceRoot":"","sources":["../../src/query/declared-value-closure.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAwB9D,oHAAoH;AACpH,MAAM,yBAAyB,GAAoB,CAAC,CAAC;AAErD;;0DAE0D;AAC1D,MAAM,CAAC,MAAM,0BAA0B,GAAG,cAAc,CAAC,yBAAyB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAElG;;oEAEoE;AACpE,MAAM,iCAAiC,GAAG,CAAC,CAAC;AAE5C,SAAS,QAAQ,CAAC,UAAoC;IACpD,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,CAAC,iCAAiC;IACpF,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAC7D,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,6CAA6C;IAClG,IAAI,UAAU,CAAC,sBAAsB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,kBAAkB,CAAC;IAC5E,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,GAAG,iCAAiC;QAAE,OAAO,kBAAkB,CAAC,CAAC,gBAAgB;IACxH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;0DAE0D;AAC1D,MAAM,UAAU,mBAAmB,CACjC,IAA8B,EAC9B,QAAqC;IAErC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC1D,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,eAAe,GAA2B,EAAE,CAAC;IACnD,MAAM,SAAS,GAAoB,EAAE,CAAC;IAEtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QAED,IAAI,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACrB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAyB;YACpC,GAAG;YACH,SAAS;YACT,UAAU;YACV,KAAK;YACL,WAAW,EAAE,0BAA0B;SACxC,CAAC;QACF,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;AAChD,CAAC"}

package/dist/query/memory.d.ts

@@ -1,12 +1,5 @@
-/**
- * An in-memory `AdjacencyProvider`.
- *
- * The reason the interface exists. Building one of these from a `BuildResult` is
- * four lines and needs no file, no schema, no writer and no worker — so the
- * traversal and query tests below it exercise the same code paths production
- * uses, without any of the setup that would otherwise make them slow enough to
- * skip.
- */
+/** In-memory `AdjacencyProvider`. Built from a `BuildResult` in four lines — no file, schema,
+ *  writer or worker — so tests exercise the same code paths production uses without slow setup. */
 import type { IREdge, IRNode, UnresolvedRef } from "@descryy/ir";
 import { type AdjacencyProvider } from "./provider.ts";
 export interface MemoryGraph {
@@ -15,6 +8,9 @@ export interface MemoryGraph {
     readonly unresolved?: readonly UnresolvedRef[];
     readonly commitSha?: string | null;
     readonly graphBuiltAt?: number | null;
+    /** Run-level provenance for `sourcesRun()`. Explicit, not derived — an in-memory graph has no
+     *  `adapter_runs` table; a test that cares states it directly instead of proving it indirectly. */
+    readonly sourcesRun?: readonly string[];
 }
 export declare function createMemoryProvider(graph: MemoryGraph): AdjacencyProvider;
 //# sourceMappingURL=memory.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../src/query/memory.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAY,aAAa,EAAE,MAAM,aAAa,CAAC;AAE3E,OAAO,EAIL,KAAK,iBAAiB,EAEvB,MAAM,eAAe,CAAC;AAGvB,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,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,WAAW,GAAG,iBAAiB,CAkD1E"}
+{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../src/query/memory.ts"],"names":[],"mappings":"AAAA;mGACmG;AAEnG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAY,aAAa,EAAE,MAAM,aAAa,CAAC;AAE3E,OAAO,EAIL,KAAK,iBAAiB,EAEvB,MAAM,eAAe,CAAC;AAGvB,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,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC;uGACmG;IACnG,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,WAAW,GAAG,iBAAiB,CAsE1E"}

package/dist/query/memory.js

@@ -1,12 +1,5 @@
-/**
- * An in-memory `AdjacencyProvider`.
- *
- * The reason the interface exists. Building one of these from a `BuildResult` is
- * four lines and needs no file, no schema, no writer and no worker — so the
- * traversal and query tests below it exercise the same code paths production
- * uses, without any of the setup that would otherwise make them slow enough to
- * skip.
- */
+/** In-memory `AdjacencyProvider`. Built from a `BuildResult` in four lines — no file, schema,
+ *  writer or worker — so tests exercise the same code paths production uses without slow setup. */
 import { applyAdjacencyOptions, DEFAULT_NODE_SET_LIMIT, } from "./provider.js";
 import { IR_SCHEMA_VERSION } from "../store/schema.js";
 export function createMemoryProvider(graph) {
@@ -21,14 +14,12 @@ export function createMemoryProvider(graph) {
         commitSha: graph.commitSha ?? null,
         graphBuiltAt: graph.graphBuiltAt ?? null,
         irSchemaVersion: IR_SCHEMA_VERSION,
-        // An in-memory graph is assembled from one snapshot, not read across
-        // multiple `adapter_runs` rows, so there is no commit-spread signal to
-        // report — one is the healthy value, same as a single-commit SQLite store.
+        // One snapshot, not multiple adapter_runs rows — no commit-spread signal to report; 1 is
+        // the healthy value, same as a single-commit SQLite store.
         commitSpread: 1,
     };
-    // Indexed once rather than filtered per call: the contract engine asks for
-    // three types in a row, and a linear scan each time turns an O(n) report into
-    // an O(3n) one for no reason.
+    // Indexed once, not filtered per call — the contract engine asks for three types in a row,
+    // and a linear scan each time turns an O(n) report into O(3n) for no reason.
     const byType = new Map();
     for (const node of graph.nodes) {
         let bucket = byType.get(node.type);
@@ -38,6 +29,30 @@ export function createMemoryProvider(graph) {
     }
     for (const bucket of byType.values())
         bucket.sort((a, b) => a.id.localeCompare(b.id));
+    // Derived only when the caller doesn't state `sourcesRun`: the adapter half of every
+    // `producedBy`, plus every producer in `corroboratedBy` (where a merge's loser is still
+    // named). Approximation good enough for tests; store-backed answers from adapter_runs instead.
+    const adapterIdOf = (producedBy) => producedBy.split("@")[0] ?? producedBy;
+    const derivedSources = new Set();
+    for (const node of graph.nodes) {
+        derivedSources.add(adapterIdOf(node.producedBy));
+        const corroborated = node.attrs?.["corroboratedBy"];
+        if (Array.isArray(corroborated)) {
+            for (const p of corroborated)
+                if (typeof p === "string")
+                    derivedSources.add(adapterIdOf(p));
+        }
+    }
+    for (const edge of graph.edges) {
+        derivedSources.add(adapterIdOf(edge.producedBy));
+        const corroborated = edge.attrs?.["corroboratedBy"];
+        if (Array.isArray(corroborated)) {
+            for (const p of corroborated)
+                if (typeof p === "string")
+                    derivedSources.add(adapterIdOf(p));
+        }
+    }
+    const sourcesRun = graph.sourcesRun !== undefined ? [...graph.sourcesRun] : [...derivedSources].sort();
     return {
         node: (id) => nodes.get(id),
         outgoing: (id, options) => applyAdjacencyOptions(out.get(id) ?? [], options),
@@ -54,6 +69,7 @@ export function createMemoryProvider(graph) {
             return { refs: truncated ? all.slice(0, limit) : all, truncated };
         },
         baseStamp: () => stamp,
+        sourcesRun: () => sourcesRun,
     };
 }
 //# sourceMappingURL=memory.js.map

package/dist/query/memory.js.map

@@ -1 +1 @@
-{"version":3,"file":"memory.js","sourceRoot":"","sources":["../../src/query/memory.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GAIvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAUvD,MAAM,UAAU,oBAAoB,CAAC,KAAkB;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IAExC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,KAAK,GAAwC;QACjD,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;QACxC,eAAe,EAAE,iBAAiB;QAClC,qEAAqE;QACrE,uEAAuE;QACvE,2EAA2E;QAC3E,YAAY,EAAE,CAAC;KAChB,CAAC;IAEF,2EAA2E;IAC3E,8EAA8E;IAC9E,8BAA8B;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtF,OAAO;QACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAC3C,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC;QACnD,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAC3C,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC;QACnD,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,GAAG,sBAAsB,EAAE,EAAE;YACpD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;QACvE,CAAC;QACD,cAAc,EAAE,CAAC,OAAO,EAAE,EAAE;YAC1B,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC;YAC/C,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;YACzF,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAC;YAC7B,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC;YAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC;QACpE,CAAC;QACD,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;KACvB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"memory.js","sourceRoot":"","sources":["../../src/query/memory.ts"],"names":[],"mappings":"AAAA;mGACmG;AAInG,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GAIvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAavD,MAAM,UAAU,oBAAoB,CAAC,KAAkB;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IAExC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,KAAK,GAAwC;QACjD,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;QACxC,eAAe,EAAE,iBAAiB;QAClC,yFAAyF;QACzF,2DAA2D;QAC3D,YAAY,EAAE,CAAC;KAChB,CAAC;IAEF,2FAA2F;IAC3F,6EAA6E;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtF,qFAAqF;IACrF,wFAAwF;IACxF,+FAA+F;IAC/F,MAAM,WAAW,GAAG,CAAC,UAAkB,EAAU,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;IAC3F,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,gBAAgB,CAAC,CAAC;QACpD,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY;gBAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,gBAAgB,CAAC,CAAC;QACpD,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY;gBAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC;IAEvG,OAAO;QACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAC3C,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC;QACnD,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAC3C,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC;QACnD,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,GAAG,sBAAsB,EAAE,EAAE;YACpD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;QACvE,CAAC;QACD,cAAc,EAAE,CAAC,OAAO,EAAE,EAAE;YAC1B,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC;YAC/C,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;YACzF,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAC;YAC7B,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC;YAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC;QACpE,CAAC;QACD,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;QACtB,UAAU,EAAE,GAAG,EAAE,CAAC,UAAU;KAC7B,CAAC;AACJ,CAAC"}

package/dist/query/prominence.d.ts

@@ -1,49 +1,11 @@
 /**
- * Prominence — "show me the top few, not a flat list", without borrowing a
- * calibration that does not apply.
- *
- * ## Why this is not `tierFor`
- *
- * `scoping/tiers.ts` already bands a score into §12.7's tiers 1-4 on **absolute
- * thresholds** (0.7 and 0.3). Reusing it here was the obvious move and it is
- * the wrong one, for a reason that is invisible from the type: the two scores
- * are different quantities that happen to share the range (0, 1].
- *
- * - `scope` scores through `scoping/`: designed per-edge weights, then
- *   `finalScore` applies co-change and incident boosts. `weights.ts` says in
- *   its own comment that these must "stay on the same scale as an absolute tier
- *   threshold" — the thresholds were calibrated against *this* pipeline.
- * - `impact` and `pr_analysis` score through `weightedBfs`, whose default
- *   `weightFor` is `edge.confidence` and nothing else. No designed weights, no
- *   boosts. `pr_analysis` passes only a budget, so it takes that default.
- *
- * Feeding the second into thresholds calibrated for the first would produce
- * bands that look like §12.7's and mean something else — a calibrated label on
- * an uncalibrated number, which is worse than no band at all because it reads
- * as more precise than it is.
- *
- * ## So this bands on rank, and rank is a fact about the answer
- *
- * "This was the highest-scoring item in this reply" is true whatever produced
- * the score, and it is exactly what "show me the top few" asks for. It claims
- * nothing about magnitude, nothing about a threshold, and nothing that a change
- * of scoring pipeline could silently falsify.
- *
- * The cut-offs are reading-surface sizes rather than measurements — the same
- * footing `NODE_BUDGETS`'s own comment puts its figures on. Tune from data.
+ * Bands on rank, not score: `scope` is calibrated for `scoping/tiers.ts`'s thresholds (0.7/0.3), but
+ * `impact`/`pr_analysis` score via `weightedBfs`'s uncalibrated default — reusing thresholds there would
+ * be a calibrated-looking label on an uncalibrated number. Cut-offs are reading-surface sizes, not measurements.
  */
 /** Where an item falls in its answer's own ordering. */
 export type Prominence = "top" | "notable" | "rest";
-/**
- * Rank cut-offs, inclusive upper bounds.
- *
- * `top` is three because that is what a developer reads before acting; the
- * same figure `FINDING_CAPS["pre-push"]` reaches independently, from the same
- * reasoning about a blocked developer's attention. It is **not** imported from
- * there: that cap governs findings through the governance funnel, this governs
- * presentation ordering, and coupling them would make a change to either mean
- * a change to both.
- */
+/** Rank cut-offs, inclusive. `top: 3` matches `FINDING_CAPS["pre-push"]` independently — not imported, different concerns. */
 export declare const PROMINENCE_CUTOFFS: {
     readonly top: 3;
     readonly notable: 10;
@@ -55,19 +17,8 @@ export interface Ranked {
     readonly rank: number;
     readonly prominence: Prominence;
 }
-/**
- * Attach `rank` and `prominence` to items already ordered highest-first.
- *
- * Deliberately does **not** sort. Every caller here already orders its own
- * list, and re-sorting would either be a no-op or silently disagree with the
- * order the caller reported elsewhere in the same reply. Ranking a list that
- * is not in score order is a caller bug this function cannot detect, which is
- * why it says so here rather than pretending to be total over any input.
- */
+/** Attach `rank`/`prominence` to items already ordered highest-first. Deliberately does not sort. */
 export declare function withProminence<T>(ordered: readonly T[]): readonly (T & Ranked)[];
-/**
- * How many of each band a list holds — the counts a reply shows so a reader
- * knows what the shown items were selected from.
- */
+/** How many of each band a list holds, so a reader knows what shown items were selected from. */
 export declare function prominenceCounts(total: number): Readonly<Record<Prominence, number>>;
 //# sourceMappingURL=prominence.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"prominence.d.ts","sourceRoot":"","sources":["../../src/query/prominence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,wDAAwD;AACxD,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB;;;CAAmC,CAAC;AAEnE,0EAA0E;AAC1E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAIrD;AAED,MAAM,WAAW,MAAM;IACrB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAMhF;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAIpF"}
+{"version":3,"file":"prominence.d.ts","sourceRoot":"","sources":["../../src/query/prominence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,wDAAwD;AACxD,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD,8HAA8H;AAC9H,eAAO,MAAM,kBAAkB;;;CAAmC,CAAC;AAEnE,0EAA0E;AAC1E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAIrD;AAED,MAAM,WAAW,MAAM;IACrB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED,qGAAqG;AACrG,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAMhF;AAED,iGAAiG;AACjG,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAIpF"}

package/dist/query/prominence.js

@@ -1,47 +1,9 @@
 /**
- * Prominence — "show me the top few, not a flat list", without borrowing a
- * calibration that does not apply.
- *
- * ## Why this is not `tierFor`
- *
- * `scoping/tiers.ts` already bands a score into §12.7's tiers 1-4 on **absolute
- * thresholds** (0.7 and 0.3). Reusing it here was the obvious move and it is
- * the wrong one, for a reason that is invisible from the type: the two scores
- * are different quantities that happen to share the range (0, 1].
- *
- * - `scope` scores through `scoping/`: designed per-edge weights, then
- *   `finalScore` applies co-change and incident boosts. `weights.ts` says in
- *   its own comment that these must "stay on the same scale as an absolute tier
- *   threshold" — the thresholds were calibrated against *this* pipeline.
- * - `impact` and `pr_analysis` score through `weightedBfs`, whose default
- *   `weightFor` is `edge.confidence` and nothing else. No designed weights, no
- *   boosts. `pr_analysis` passes only a budget, so it takes that default.
- *
- * Feeding the second into thresholds calibrated for the first would produce
- * bands that look like §12.7's and mean something else — a calibrated label on
- * an uncalibrated number, which is worse than no band at all because it reads
- * as more precise than it is.
- *
- * ## So this bands on rank, and rank is a fact about the answer
- *
- * "This was the highest-scoring item in this reply" is true whatever produced
- * the score, and it is exactly what "show me the top few" asks for. It claims
- * nothing about magnitude, nothing about a threshold, and nothing that a change
- * of scoring pipeline could silently falsify.
- *
- * The cut-offs are reading-surface sizes rather than measurements — the same
- * footing `NODE_BUDGETS`'s own comment puts its figures on. Tune from data.
- */
-/**
- * Rank cut-offs, inclusive upper bounds.
- *
- * `top` is three because that is what a developer reads before acting; the
- * same figure `FINDING_CAPS["pre-push"]` reaches independently, from the same
- * reasoning about a blocked developer's attention. It is **not** imported from
- * there: that cap governs findings through the governance funnel, this governs
- * presentation ordering, and coupling them would make a change to either mean
- * a change to both.
+ * Bands on rank, not score: `scope` is calibrated for `scoping/tiers.ts`'s thresholds (0.7/0.3), but
+ * `impact`/`pr_analysis` score via `weightedBfs`'s uncalibrated default — reusing thresholds there would
+ * be a calibrated-looking label on an uncalibrated number. Cut-offs are reading-surface sizes, not measurements.
  */
+/** Rank cut-offs, inclusive. `top: 3` matches `FINDING_CAPS["pre-push"]` independently — not imported, different concerns. */
 export const PROMINENCE_CUTOFFS = { top: 3, notable: 10 };
 /** `rank` is 1-based: the highest-scoring item in an answer is rank 1. */
 export function prominenceOf(rank) {
@@ -51,15 +13,7 @@ export function prominenceOf(rank) {
         return "notable";
     return "rest";
 }
-/**
- * Attach `rank` and `prominence` to items already ordered highest-first.
- *
- * Deliberately does **not** sort. Every caller here already orders its own
- * list, and re-sorting would either be a no-op or silently disagree with the
- * order the caller reported elsewhere in the same reply. Ranking a list that
- * is not in score order is a caller bug this function cannot detect, which is
- * why it says so here rather than pretending to be total over any input.
- */
+/** Attach `rank`/`prominence` to items already ordered highest-first. Deliberately does not sort. */
 export function withProminence(ordered) {
     return ordered.map((item, index) => ({
         ...item,
@@ -67,10 +21,7 @@ export function withProminence(ordered) {
         prominence: prominenceOf(index + 1),
     }));
 }
-/**
- * How many of each band a list holds — the counts a reply shows so a reader
- * knows what the shown items were selected from.
- */
+/** How many of each band a list holds, so a reader knows what shown items were selected from. */
 export function prominenceCounts(total) {
     const top = Math.min(total, PROMINENCE_CUTOFFS.top);
     const notable = Math.max(0, Math.min(total, PROMINENCE_CUTOFFS.notable) - top);

package/dist/query/prominence.js.map

@@ -1 +1 @@
-{"version":3,"file":"prominence.js","sourceRoot":"","sources":["../../src/query/prominence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAKH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAW,CAAC;AAEnE,0EAA0E;AAC1E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,IAAI,IAAI,kBAAkB,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACjD,IAAI,IAAI,IAAI,kBAAkB,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IACzD,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAI,OAAqB;IACrD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACnC,GAAG,IAAI;QACP,IAAI,EAAE,KAAK,GAAG,CAAC;QACf,UAAU,EAAE,YAAY,CAAC,KAAK,GAAG,CAAC,CAAC;KACpC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/E,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC;AACpE,CAAC"}
+{"version":3,"file":"prominence.js","sourceRoot":"","sources":["../../src/query/prominence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,8HAA8H;AAC9H,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAW,CAAC;AAEnE,0EAA0E;AAC1E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,IAAI,IAAI,kBAAkB,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACjD,IAAI,IAAI,IAAI,kBAAkB,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IACzD,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD,qGAAqG;AACrG,MAAM,UAAU,cAAc,CAAI,OAAqB;IACrD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACnC,GAAG,IAAI;QACP,IAAI,EAAE,KAAK,GAAG,CAAC;QACf,UAAU,EAAE,YAAY,CAAC,KAAK,GAAG,CAAC,CAAC;KACpC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/E,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC;AACpE,CAAC"}