@descryy/core 0.3.0 → 0.5.0

package/dist/query/similar-incidents.d.ts

@@ -1,44 +1,11 @@
 /**
- * The deterministic "have we seen this failure before" matcher — DEC-274.
- *
- * DEC-274 declined to build embedding/pgvector similarity search until a
- * measurement showed what the *existing* graph machinery already answers.
- * `rootCauseSearch` (queries.ts) is half of that existing machinery: it walks
- * `INCIDENT_CORRELATED`/`FIXED_BY` edges from a node **already in the graph**.
- * It cannot help with a brand-new failure that has no node yet — a stack
- * trace or a set of touched files observed just now, before anything about
- * this run has been written to the store.
- *
- * This module is the other half: given a new failure described only as
- * "these files were touched" and/or "this is the error text", rank the
- * `INCIDENT` nodes already in the graph by how much they resemble it, using
- * two signals computed from data the graph already has — no embeddings, no
- * new dependency, no model call:
- *
- * 1. **File-overlap Jaccard** — the new failure's touched-file set against
- *    each `INCIDENT`'s `INCIDENT_CORRELATED` file set (§11.6's own
- *    correlation edge, read in bulk instead of from one seed node).
- * 2. **Token-set Jaccard on the error text** — the new failure's message
- *    against each `INCIDENT` node's `name` (today, always a commit subject
- *    line — real signal, but thin; see the git source's own module doc).
- *
- * Both are O(1) string/set operations, not a search index, so this scans
- * every `INCIDENT` node per call. That is deliberate for now: the corpus
- * measured in DEC-274 is a handful of incidents, and a linear scan over a
- * few hundred nodes is not where this decision's cost lives. Revisit if the
- * `INCIDENT` count ever reaches a size where that stops being true — it is
- * not a reason to reach for embeddings, just for an index over this same
- * data.
+ * Deterministic "seen this failure before" matcher (DEC-274 declined embedding/pgvector search pending measurement). Ranks INCIDENT nodes against a new failure via file-overlap and error-text token Jaccard — no embeddings, no model call.
+ * Linear scan is deliberate at this corpus size; revisit by indexing, not by reaching for embeddings.
  */
 import type { IRNode } from "@descryy/ir";
 import type { AdjacencyProvider, QueryResult } from "./provider.ts";
-/**
- * Jaccard similarity of the two strings' token sets: `|intersection| / |union|`.
- *
- * Exported so the measurement script and the tests can assert on it directly
- * rather than only through the combined ranking, per the "caller must see
- * why" requirement below.
- */
+/** Jaccard similarity of the two strings' token sets. Exported so the
+ *  measurement script and tests can assert on it directly, not just via the combined ranking. */
 export declare function tokenSetSimilarity(a: string, b: string): number;
 /** Jaccard similarity of two file-path sets. Exported for the same reason as above. */
 export declare function fileOverlapSimilarity(a: readonly string[], b: readonly string[]): number;
@@ -68,9 +35,7 @@ export interface SimilarIncidentOptions {
     readonly minScore?: number;
     readonly limit?: number;
 }
-/**
- * Rank existing `INCIDENT` nodes by resemblance to a new, not-yet-recorded
- * failure — graph identity only, explicitly not embeddings (DEC-274).
- */
+/** Rank existing INCIDENT nodes by resemblance to a new, not-yet-recorded
+ *  failure — graph identity only, explicitly not embeddings (DEC-274). */
 export declare function similarIncidents(provider: AdjacencyProvider, query: SimilarFailureQuery, options?: SimilarIncidentOptions): QueryResult<SimilarIncidentMatch[]>;
 //# sourceMappingURL=similar-incidents.d.ts.map

package/dist/query/similar-incidents.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"similar-incidents.d.ts","sourceRoot":"","sources":["../../src/query/similar-incidents.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAmB,MAAM,aAAa,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAiBpE;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAQ/D;AAED,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,CAAC,EAAE,SAAS,MAAM,EAAE,EACpB,CAAC,EAAE,SAAS,MAAM,EAAE,GACnB,MAAM,CAQR;AAMD,MAAM,WAAW,mBAAmB;IAClC,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,wDAAwD;IACxD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,MAAM,yBAAyB,GAAG,cAAc,GAAG,oBAAoB,CAAC;AAE9E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,gCAAgC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oFAAoF;IACpF,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACnD,sFAAsF;IACtF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,sBAAsB;IACrC,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AA+BD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,EAAE,mBAAmB,EAC1B,OAAO,GAAE,sBAA2B,GACnC,WAAW,CAAC,oBAAoB,EAAE,CAAC,CAiErC"}
+{"version":3,"file":"similar-incidents.d.ts","sourceRoot":"","sources":["../../src/query/similar-incidents.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAmB,MAAM,aAAa,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AASpE;iGACiG;AACjG,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAQ/D;AAED,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,CAAC,EAAE,SAAS,MAAM,EAAE,EACpB,CAAC,EAAE,SAAS,MAAM,EAAE,GACnB,MAAM,CAQR;AAED,MAAM,WAAW,mBAAmB;IAClC,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,wDAAwD;IACxD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,MAAM,yBAAyB,GAAG,cAAc,GAAG,oBAAoB,CAAC;AAE9E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,gCAAgC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oFAAoF;IACpF,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACnD,sFAAsF;IACtF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,sBAAsB;IACrC,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAoBD;0EAC0E;AAC1E,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,EAAE,mBAAmB,EAC1B,OAAO,GAAE,sBAA2B,GACnC,WAAW,CAAC,oBAAoB,EAAE,CAAC,CAgErC"}

package/dist/query/similar-incidents.js

@@ -1,55 +1,15 @@
 /**
- * The deterministic "have we seen this failure before" matcher — DEC-274.
- *
- * DEC-274 declined to build embedding/pgvector similarity search until a
- * measurement showed what the *existing* graph machinery already answers.
- * `rootCauseSearch` (queries.ts) is half of that existing machinery: it walks
- * `INCIDENT_CORRELATED`/`FIXED_BY` edges from a node **already in the graph**.
- * It cannot help with a brand-new failure that has no node yet — a stack
- * trace or a set of touched files observed just now, before anything about
- * this run has been written to the store.
- *
- * This module is the other half: given a new failure described only as
- * "these files were touched" and/or "this is the error text", rank the
- * `INCIDENT` nodes already in the graph by how much they resemble it, using
- * two signals computed from data the graph already has — no embeddings, no
- * new dependency, no model call:
- *
- * 1. **File-overlap Jaccard** — the new failure's touched-file set against
- *    each `INCIDENT`'s `INCIDENT_CORRELATED` file set (§11.6's own
- *    correlation edge, read in bulk instead of from one seed node).
- * 2. **Token-set Jaccard on the error text** — the new failure's message
- *    against each `INCIDENT` node's `name` (today, always a commit subject
- *    line — real signal, but thin; see the git source's own module doc).
- *
- * Both are O(1) string/set operations, not a search index, so this scans
- * every `INCIDENT` node per call. That is deliberate for now: the corpus
- * measured in DEC-274 is a handful of incidents, and a linear scan over a
- * few hundred nodes is not where this decision's cost lives. Revisit if the
- * `INCIDENT` count ever reaches a size where that stops being true — it is
- * not a reason to reach for embeddings, just for an index over this same
- * data.
- */
-// ---------------------------------------------------------------------------
-// Token-set Jaccard — the deterministic stand-in for "fuzzy" text matching.
-// ---------------------------------------------------------------------------
-/**
- * Lowercased alphanumeric tokens. No stemming, no stopword list — either
- * would be a modelling decision this function has no business making, and
- * DEC-274 asks for "a real string-similarity measure", not a bespoke NLP
- * pipeline standing in for the embeddings this decision is deferring.
+ * Deterministic "seen this failure before" matcher (DEC-274 declined embedding/pgvector search pending measurement). Ranks INCIDENT nodes against a new failure via file-overlap and error-text token Jaccard — no embeddings, no model call.
+ * Linear scan is deliberate at this corpus size; revisit by indexing, not by reaching for embeddings.
  */
+/** Lowercased alphanumeric tokens. No stemming, no stopword list — either
+ *  would be a modelling decision, not the string-similarity measure DEC-274 asks for. */
 function tokenize(text) {
     const matches = text.toLowerCase().match(/[a-z0-9]+/g);
     return new Set(matches ?? []);
 }
-/**
- * Jaccard similarity of the two strings' token sets: `|intersection| / |union|`.
- *
- * Exported so the measurement script and the tests can assert on it directly
- * rather than only through the combined ranking, per the "caller must see
- * why" requirement below.
- */
+/** Jaccard similarity of the two strings' token sets. Exported so the
+ *  measurement script and tests can assert on it directly, not just via the combined ranking. */
 export function tokenSetSimilarity(a, b) {
     const ta = tokenize(a);
     const tb = tokenize(b);
@@ -75,24 +35,13 @@ export function fileOverlapSimilarity(a, b) {
     const union = sa.size + sb.size - intersection;
     return union === 0 ? 0 : intersection / union;
 }
-/**
- * File overlap is weighted above message similarity: which files broke is a
- * fact about the code, while a commit subject line is an incidental label a
- * human happened to type. Both are real signal; neither is authoritative
- * alone, which is exactly why DEC-274 asks for both rather than one.
- */
+/** File overlap outweighs message similarity: which files broke is a fact
+ *  about the code, a commit subject is an incidental human label. */
 const FILE_OVERLAP_WEIGHT = 0.6;
 const MESSAGE_SIMILARITY_WEIGHT = 0.4;
-/**
- * Weighted average over the signals the *query* attempted, not just the ones
- * that scored above zero. Normalising over only the non-zero scores would let
- * a candidate matching on one signal alone outrank a candidate matching on
- * both signals whenever the second signal's score is imperfect — a single
- * exact file match would beat a near-exact file match paired with a partial
- * message match, which inverts the whole point of combining two signals:
- * corroborating evidence should rank *above* single-signal evidence, never
- * below it. Zero-scoring an attempted-but-absent signal keeps that true.
- */
+/** Weighted average over signals attempted, not just non-zero ones —
+ *  normalising over non-zero only would let single-signal evidence outrank
+ *  corroborating two-signal evidence whenever the second score is imperfect. */
 function combine(attempted) {
     if (attempted.length === 0)
         return 0;
@@ -103,10 +52,8 @@ function combine(attempted) {
     const weighted = attempted.reduce((sum, s) => sum + weightOf(s.kind) * s.score, 0);
     return weighted / totalWeight;
 }
-/**
- * Rank existing `INCIDENT` nodes by resemblance to a new, not-yet-recorded
- * failure — graph identity only, explicitly not embeddings (DEC-274).
- */
+/** Rank existing INCIDENT nodes by resemblance to a new, not-yet-recorded
+ *  failure — graph identity only, explicitly not embeddings (DEC-274). */
 export function similarIncidents(provider, query, options = {}) {
     const minScore = options.minScore ?? 0;
     const { nodes: incidents, truncated } = provider.nodesOfType("INCIDENT");
@@ -115,9 +62,8 @@ export function similarIncidents(provider, query, options = {}) {
     const matches = [];
     let floor = 4;
     for (const incident of incidents) {
-        // Every signal the query attempted, including zero-scoring ones — the
-        // denominator `combine` needs. `signals` (below) keeps only the ones that
-        // actually fired, since that is the "why" a caller should see.
+        // Every attempted signal, including zero-scoring — combine's denominator.
+        // `signals` below keeps only fired ones, the "why" a caller should see.
         const attempted = [];
         if (queryFiles.length > 0) {
             const correlated = provider.outgoing(incident.id, { types: ["INCIDENT_CORRELATED"] });

package/dist/query/similar-incidents.js.map

@@ -1 +1 @@
-{"version":3,"file":"similar-incidents.js","sourceRoot":"","sources":["../../src/query/similar-incidents.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAMH,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACvD,OAAO,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAS,EAAE,CAAS;IACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,KAAK,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,YAAY,IAAI,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,YAAY,CAAC;IAC/C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC;AAChD,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CACnC,CAAoB,EACpB,CAAoB;IAEpB,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,YAAY,IAAI,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,YAAY,CAAC;IAC/C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC;AAChD,CAAC;AAqCD;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAChC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AAEtC;;;;;;;;;GASG;AACH,SAAS,OAAO,CAAC,SAA2C;IAC1D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,CAAC,IAA+B,EAAU,EAAE,CAC3D,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,yBAAyB,CAAC;IAC5E,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,IAAI,WAAW,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnF,OAAO,QAAQ,GAAG,WAAW,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA2B,EAC3B,KAA0B,EAC1B,UAAkC,EAAE;IAEpC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAEzE,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IAC5C,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IAE9C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,IAAI,KAAK,GAAoB,CAAC,CAAC;IAE/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,sEAAsE;QACtE,0EAA0E;QAC1E,+DAA+D;QAC/D,MAAM,SAAS,GAA4B,EAAE,CAAC;QAE9C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;YACtF,MAAM,aAAa,GAAa,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI;oBAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,IAAI,CAAC,UAAU,GAAG,KAAK;oBAAE,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;YACvD,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;QACpG,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,kBAAkB,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzG,CAAC;QAED,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,aAAa,GAAG,QAAQ,IAAI,CAAC,QAAQ,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC;YAAE,SAAS;QAElF,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACxE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;YAC5C,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,GAAG,KAAK;gBAAE,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;QACrE,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAExG,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAEpG,MAAM,KAAK,GAAa;QACtB,2FAA2F;YACzF,yFAAyF;YACzF,6DAA6D;KAChE,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,uFAAuF,CAAC,CAAC;IACtG,CAAC;IAED,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE;QACrF,SAAS,EAAE,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QACvF,KAAK;KACN,CAAC;AACJ,CAAC"}
+{"version":3,"file":"similar-incidents.js","sourceRoot":"","sources":["../../src/query/similar-incidents.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAMH;yFACyF;AACzF,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACvD,OAAO,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;AAChC,CAAC;AAED;iGACiG;AACjG,MAAM,UAAU,kBAAkB,CAAC,CAAS,EAAE,CAAS;IACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,KAAK,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,YAAY,IAAI,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,YAAY,CAAC;IAC/C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC;AAChD,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CACnC,CAAoB,EACpB,CAAoB;IAEpB,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,YAAY,IAAI,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,YAAY,CAAC;IAC/C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC;AAChD,CAAC;AAiCD;qEACqE;AACrE,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAChC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AAEtC;;gFAEgF;AAChF,SAAS,OAAO,CAAC,SAA2C;IAC1D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,CAAC,IAA+B,EAAU,EAAE,CAC3D,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,yBAAyB,CAAC;IAC5E,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,IAAI,WAAW,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnF,OAAO,QAAQ,GAAG,WAAW,CAAC;AAChC,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,gBAAgB,CAC9B,QAA2B,EAC3B,KAA0B,EAC1B,UAAkC,EAAE;IAEpC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAEzE,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IAC5C,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IAE9C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,IAAI,KAAK,GAAoB,CAAC,CAAC;IAE/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,0EAA0E;QAC1E,wEAAwE;QACxE,MAAM,SAAS,GAA4B,EAAE,CAAC;QAE9C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;YACtF,MAAM,aAAa,GAAa,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI;oBAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,IAAI,CAAC,UAAU,GAAG,KAAK;oBAAE,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;YACvD,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;QACpG,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,kBAAkB,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzG,CAAC;QAED,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,aAAa,GAAG,QAAQ,IAAI,CAAC,QAAQ,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC;YAAE,SAAS;QAElF,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACxE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;YAC5C,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,GAAG,KAAK;gBAAE,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;QACrE,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAExG,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAEpG,MAAM,KAAK,GAAa;QACtB,2FAA2F;YACzF,yFAAyF;YACzF,6DAA6D;KAChE,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,uFAAuF,CAAC,CAAC;IACtG,CAAC;IAED,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE;QACrF,SAAS,EAAE,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QACvF,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/query/sqlite.d.ts

@@ -1,10 +1,6 @@
-/**
- * The store-backed `AdjacencyProvider`.
- *
- * One implementation of the interface, not the interface's reason for existing.
- * Everything above it is written against `AdjacencyProvider`, so swapping this
- * for a Postgres or worker-hosted provider changes this file and nothing else.
- */
+/** The store-backed `AdjacencyProvider` — one implementation of the
+ *  interface, not its reason for existing. Everything above is written
+ *  against the interface, so swapping backends touches only this file. */
 import { type AdjacencyProvider } from "./provider.ts";
 import type { SqlDriver } from "../store/driver/driver.ts";
 export declare function createStoreProvider(driver: SqlDriver): AdjacencyProvider;

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

@@ -1 +1 @@
-{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/query/sqlite.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAGL,KAAK,iBAAiB,EAEvB,MAAM,eAAe,CAAC;AAGvB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAQ3D,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,CA6BxE;AAED,qFAAqF;AACrF,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAMtD"}
+{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/query/sqlite.ts"],"names":[],"mappings":"AAAA;;0EAE0E;AAE1E,OAAO,EAGL,KAAK,iBAAiB,EAEvB,MAAM,eAAe,CAAC;AAGvB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAQ3D,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,CAmCxE;AAED,qFAAqF;AACrF,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAMtD"}

package/dist/query/sqlite.js

@@ -1,10 +1,6 @@
-/**
- * The store-backed `AdjacencyProvider`.
- *
- * One implementation of the interface, not the interface's reason for existing.
- * Everything above it is written against `AdjacencyProvider`, so swapping this
- * for a Postgres or worker-hosted provider changes this file and nothing else.
- */
+/** The store-backed `AdjacencyProvider` — one implementation of the
+ *  interface, not its reason for existing. Everything above is written
+ *  against the interface, so swapping backends touches only this file. */
 import { DEFAULT_NODE_SET_LIMIT, } from "./provider.js";
 import { getNode, incoming, nodesOfType, outgoing, unresolvedRefs } from "../store/reader.js";
 import { IR_SCHEMA_VERSION } from "../store/schema.js";
@@ -15,11 +11,15 @@ export function createStoreProvider(driver) {
         incoming: (id, options) => withOptions(incoming(driver, id, options), options),
         nodesOfType: (type, limit = DEFAULT_NODE_SET_LIMIT) => nodesOfType(driver, type, limit),
         unresolvedRefs: (options) => unresolvedRefs(driver, options ?? {}),
+        // `adapter_runs` is one row per accepted batch (§24.1) — a distinct
+        // `adapter_id` is authoritative even for a run with zero surviving nodes.
+        sourcesRun: () => driver
+            .prepare("SELECT DISTINCT adapter_id FROM adapter_runs ORDER BY adapter_id")
+            .all()
+            .map((row) => row.adapter_id),
         baseStamp() {
-            // The most recent run's commit, plus how many distinct commits are in the
-            // graph at all. More than one is a real staleness signal — it means part
-            // of the graph describes code that is no longer what the other part
-            // describes — and it is surfaced as a note rather than averaged away.
+            // Most recent commit, plus distinct commit count — >1 is a real
+            // staleness signal, surfaced as a note rather than averaged away.
             const row = driver
                 .prepare(`SELECT
              (SELECT commit_sha FROM adapter_runs ORDER BY written_at DESC, id ASC LIMIT 1) AS commit_sha,
@@ -41,11 +41,8 @@ export function commitSpread(driver) {
         .prepare("SELECT COUNT(DISTINCT commit_sha) AS n FROM adapter_runs")
         .get()?.n ?? 0);
 }
-/**
- * The reader already filters by type and applies a limit in SQL. The confidence
- * floor is applied here rather than pushed down, so that a provider swap cannot
- * silently change which edges a traversal sees.
- */
+/** Reader filters type/limit in SQL; confidence floor applied here instead,
+ *  so a provider swap can't silently change which edges a traversal sees. */
 function withOptions(edges, options = {}) {
     if (options.minConfidence === undefined)
         return [...edges];

package/dist/query/sqlite.js.map

@@ -1 +1 @@
-{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../../src/query/sqlite.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,sBAAsB,GAIvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC9F,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AASvD,MAAM,UAAU,mBAAmB,CAAC,MAAiB;IACnD,OAAO;QACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;QACjG,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;QACjG,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,GAAG,sBAAsB,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;QACvF,cAAc,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC;QAElE,SAAS;YACP,0EAA0E;YAC1E,yEAAyE;YACzE,oEAAoE;YACpE,sEAAsE;YACtE,MAAM,GAAG,GAAG,MAAM;iBACf,OAAO,CACN;;;8EAGoE,CACrE;iBACA,GAAG,EAAE,CAAC;YACT,OAAO;gBACL,SAAS,EAAE,GAAG,EAAE,UAAU,IAAI,IAAI;gBAClC,YAAY,EAAE,GAAG,EAAE,QAAQ,IAAI,IAAI;gBACnC,eAAe,EAAE,iBAAiB;gBAClC,YAAY,EAAE,GAAG,EAAE,OAAO,IAAI,CAAC;aAChC,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,YAAY,CAAC,MAAiB;IAC5C,OAAO,CACL,MAAM;SACH,OAAO,CAAgB,0DAA0D,CAAC;SAClF,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CACjB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAClB,KAAmB,EACnB,UAA4B,EAAE;IAE9B,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC;IACpC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,CAAC;AACpD,CAAC"}
+{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../../src/query/sqlite.ts"],"names":[],"mappings":"AAAA;;0EAE0E;AAE1E,OAAO,EACL,sBAAsB,GAIvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC9F,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AASvD,MAAM,UAAU,mBAAmB,CAAC,MAAiB;IACnD,OAAO;QACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;QACjG,QAAQ,EAAE,CAAC,EAAE,EAAE,OAA0B,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;QACjG,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,GAAG,sBAAsB,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;QACvF,cAAc,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC;QAElE,oEAAoE;QACpE,0EAA0E;QAC1E,UAAU,EAAE,GAAG,EAAE,CACf,MAAM;aACH,OAAO,CAAyB,kEAAkE,CAAC;aACnG,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;QAEjC,SAAS;YACP,gEAAgE;YAChE,kEAAkE;YAClE,MAAM,GAAG,GAAG,MAAM;iBACf,OAAO,CACN;;;8EAGoE,CACrE;iBACA,GAAG,EAAE,CAAC;YACT,OAAO;gBACL,SAAS,EAAE,GAAG,EAAE,UAAU,IAAI,IAAI;gBAClC,YAAY,EAAE,GAAG,EAAE,QAAQ,IAAI,IAAI;gBACnC,eAAe,EAAE,iBAAiB;gBAClC,YAAY,EAAE,GAAG,EAAE,OAAO,IAAI,CAAC;aAChC,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,YAAY,CAAC,MAAiB;IAC5C,OAAO,CACL,MAAM;SACH,OAAO,CAAgB,0DAA0D,CAAC;SAClF,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CACjB,CAAC;AACJ,CAAC;AAED;6EAC6E;AAC7E,SAAS,WAAW,CAClB,KAAmB,EACnB,UAA4B,EAAE;IAE9B,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC;IACpC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,CAAC;AACpD,CAAC"}

package/dist/query/test-coverage.d.ts

@@ -1,36 +1,7 @@
 /**
- * The join from `observed_tests` to the code a caller actually asked about.
- *
- * `observed_tests` records facts about `TEST_CASE` nodes: this test ran, and
- * this is how it finished. Almost nobody asks about a test case. They ask about
- * a function, a file, a scope from an earlier `impact` call, and getting from
- * one to the other crosses a `TESTS` edge.
- *
- * ## What the crossing costs, and why it is disclosed rather than hidden
- *
- * The `TESTS` edge is **static**. An adapter inferred it, at whatever
- * resolution that adapter reached, and nothing in a test run witnesses it: the
- * run witnessed that a test executed, not which functions it touched. So the
- * honest claim this query supports is *"a test that claims to cover this ran,
- * and here is how it finished"* and **not** *"this function executed"*. The two
- * are close enough in English to be conflated by a reader in a hurry, and far
- * enough apart that conflating them turns an inference into a fabricated
- * observation. {@link ObservedTestFor} carries `direct` for exactly this
- * reason: `true` means the caller asked about the test case itself and the
- * answer is witnessed end to end; `false` means the answer leans on an edge no
- * run confirmed.
- *
- * That is also why this lives here rather than inside
- * `computeVerificationStatus`. That module's contract is the *static* half, it
- * says so in its own header, and it stays that way. Composing the static half
- * with this earned one is the tool layer's job, the same place `observe_runtime`
- * composes rather than absorbs.
- *
- * ## Absent, not empty
- *
- * A node no observed test reaches is missing from the returned map rather than
- * present with an empty list. Inventing a key would let a caller iterate the
- * map and believe it had asked about everything.
+ * Joins `observed_tests` to code a caller asked about, across a static `TESTS` edge. Honest claim: "a
+ * test that claims to cover this ran", never "this function executed" — `direct` marks which. A node no
+ * observed test reaches is absent from the map, never an empty list.
  */
 import type { ObservedTestOutcome } from "../graph/observed-tests.ts";
 import type { SqlDriver } from "../store/driver/driver.ts";
@@ -42,24 +13,13 @@ export interface ObservedTestFor {
     readonly outcome: ObservedTestOutcome;
     readonly runId: string;
     readonly observedAt: number;
-    /**
-     * `true` when the caller asked about this very test case, witnessed end to
-     * end. `false` when the answer was reached across a static `TESTS` edge,
-     * which no run confirmed. See the module header.
-     */
+    /** `true`: caller asked about this test case, witnessed end to end. `false`: reached via a static `TESTS` edge no run confirmed. */
     readonly direct: boolean;
 }
 export interface TestCoverageForRef {
     readonly ref: string;
     readonly tests: readonly ObservedTestFor[];
 }
-/**
- * For each requested node id, the observed tests that bear on it.
- *
- * One test contributes at most one entry per ref: a test re-run across several
- * runs is still one test, and the **most recent** observation is what the code
- * stands verified against now. Reporting every historical run instead would
- * make a flaky test look like broad coverage.
- */
+/** For each node id, the observed tests that bear on it. One entry per test per ref — the most recent run wins, so a flaky test doesn't look like broad coverage. */
 export declare function observedTestCoverage(driver: SqlDriver, refs: readonly string[]): ReadonlyMap<string, TestCoverageForRef>;
 //# sourceMappingURL=test-coverage.d.ts.map

package/dist/query/test-coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test-coverage.d.ts","sourceRoot":"","sources":["../../src/query/test-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uCAAuC;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;CAC5C;AAaD;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,SAAS,EACjB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAwDzC"}
+{"version":3,"file":"test-coverage.d.ts","sourceRoot":"","sources":["../../src/query/test-coverage.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uCAAuC;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,oIAAoI;IACpI,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;CAC5C;AAaD,qKAAqK;AACrK,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,SAAS,EACjB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAiDzC"}

package/dist/query/test-coverage.js

@@ -1,53 +1,16 @@
 /**
- * The join from `observed_tests` to the code a caller actually asked about.
- *
- * `observed_tests` records facts about `TEST_CASE` nodes: this test ran, and
- * this is how it finished. Almost nobody asks about a test case. They ask about
- * a function, a file, a scope from an earlier `impact` call, and getting from
- * one to the other crosses a `TESTS` edge.
- *
- * ## What the crossing costs, and why it is disclosed rather than hidden
- *
- * The `TESTS` edge is **static**. An adapter inferred it, at whatever
- * resolution that adapter reached, and nothing in a test run witnesses it: the
- * run witnessed that a test executed, not which functions it touched. So the
- * honest claim this query supports is *"a test that claims to cover this ran,
- * and here is how it finished"* and **not** *"this function executed"*. The two
- * are close enough in English to be conflated by a reader in a hurry, and far
- * enough apart that conflating them turns an inference into a fabricated
- * observation. {@link ObservedTestFor} carries `direct` for exactly this
- * reason: `true` means the caller asked about the test case itself and the
- * answer is witnessed end to end; `false` means the answer leans on an edge no
- * run confirmed.
- *
- * That is also why this lives here rather than inside
- * `computeVerificationStatus`. That module's contract is the *static* half, it
- * says so in its own header, and it stays that way. Composing the static half
- * with this earned one is the tool layer's job, the same place `observe_runtime`
- * composes rather than absorbs.
- *
- * ## Absent, not empty
- *
- * A node no observed test reaches is missing from the returned map rather than
- * present with an empty list. Inventing a key would let a caller iterate the
- * map and believe it had asked about everything.
- */
-/**
- * For each requested node id, the observed tests that bear on it.
- *
- * One test contributes at most one entry per ref: a test re-run across several
- * runs is still one test, and the **most recent** observation is what the code
- * stands verified against now. Reporting every historical run instead would
- * make a flaky test look like broad coverage.
+ * Joins `observed_tests` to code a caller asked about, across a static `TESTS` edge. Honest claim: "a
+ * test that claims to cover this ran", never "this function executed" — `direct` marks which. A node no
+ * observed test reaches is absent from the map, never an empty list.
  */
+/** For each node id, the observed tests that bear on it. One entry per test per ref — the most recent run wins, so a flaky test doesn't look like broad coverage. */
 export function observedTestCoverage(driver, refs) {
     const out = new Map();
     if (refs.length === 0)
         return out;
     const placeholders = refs.map(() => "?").join(", ");
-    // Two arms, unioned rather than fetched separately so the de-duplication
-    // below sees both at once: a test case that both ran itself and is joined to
-    // by a TESTS edge must not be counted twice for one subject.
+    // Two arms unioned, not fetched separately, so de-duplication below sees
+    // both — a test both direct and TESTS-joined must not count twice.
     const sql = "SELECT e.target AS subject, o.node_id, o.qualified_name, o.outcome, o.run_id, o.observed_at," +
         " 0 AS direct, o.rowid AS seq" +
         " FROM observed_tests o" +
@@ -58,18 +21,12 @@ export function observedTestCoverage(driver, refs) {
         " 1 AS direct, o.rowid AS seq" +
         " FROM observed_tests o" +
         ` WHERE o.node_id IN (${placeholders})` +
-        // `seq` breaks the tie, and the tie is real rather than theoretical: two
-        // runs of one suite land in the same millisecond easily, and `observed_at`
-        // alone then leaves SQLite free to return the older run first. That made
-        // this query answer "verified against a failing run" when a later run had
-        // passed. rowid is monotonic for an ordinary (non-WITHOUT ROWID) table, so
-        // ordering by it is exactly "whichever row was written last" -- which is
-        // the semantics the timestamp was reaching for and could not express at
-        // millisecond resolution.
+        // `seq` breaks a real tie: two runs can land in the same millisecond, so
+        // `observed_at` alone once returned a failing run over a later passing one.
+        // rowid is monotonic, so it means "whichever was written last."
         " ORDER BY observed_at DESC, seq DESC, node_id ASC";
     const rows = driver.prepare(sql).all(...refs, ...refs);
-    // Rows arrive newest first, so the first sighting of a (subject, test) pair
-    // is the observation that stands. Later ones are older runs of the same test.
+    // Rows arrive newest first, so the first (subject, test) sighting stands.
     const seen = new Set();
     for (const row of rows) {
         const key = `${row.subject} ${row.node_id}`;

package/dist/query/test-coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"test-coverage.js","sourceRoot":"","sources":["../../src/query/test-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAqCH;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAiB,EACjB,IAAuB;IAEvB,MAAM,GAAG,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAElC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,yEAAyE;IACzE,6EAA6E;IAC7E,6DAA6D;IAC7D,MAAM,GAAG,GACP,8FAA8F;QAC9F,8BAA8B;QAC9B,wBAAwB;QACxB,4DAA4D;QAC5D,uBAAuB,YAAY,GAAG;QACtC,aAAa;QACb,+FAA+F;QAC/F,8BAA8B;QAC9B,wBAAwB;QACxB,wBAAwB,YAAY,GAAG;QACvC,yEAAyE;QACzE,2EAA2E;QAC3E,yEAAyE;QACzE,0EAA0E;QAC1E,2EAA2E;QAC3E,yEAAyE;QACzE,wEAAwE;QACxE,0BAA0B;QAC1B,mDAAmD,CAAC;IAEtD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAc,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;IAEpE,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEd,MAAM,KAAK,GAAoB;YAC7B,MAAM,EAAE,GAAG,CAAC,OAAO;YACnB,aAAa,EAAE,GAAG,CAAC,cAAc;YACjC,OAAO,EAAE,GAAG,CAAC,OAA8B;YAC3C,KAAK,EAAE,GAAG,CAAC,MAAM;YACjB,UAAU,EAAE,GAAG,CAAC,WAAW;YAC3B,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,CAAC;SACzB,CAAC;QAEF,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE;YACnB,GAAG,EAAE,GAAG,CAAC,OAAO;YAChB,KAAK,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;SACrE,CAAC,CAAC;IACL,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"test-coverage.js","sourceRoot":"","sources":["../../src/query/test-coverage.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAiCH,qKAAqK;AACrK,MAAM,UAAU,oBAAoB,CAClC,MAAiB,EACjB,IAAuB;IAEvB,MAAM,GAAG,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAElC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,GAAG,GACP,8FAA8F;QAC9F,8BAA8B;QAC9B,wBAAwB;QACxB,4DAA4D;QAC5D,uBAAuB,YAAY,GAAG;QACtC,aAAa;QACb,+FAA+F;QAC/F,8BAA8B;QAC9B,wBAAwB;QACxB,wBAAwB,YAAY,GAAG;QACvC,yEAAyE;QACzE,4EAA4E;QAC5E,gEAAgE;QAChE,mDAAmD,CAAC;IAEtD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAc,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;IAEpE,0EAA0E;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEd,MAAM,KAAK,GAAoB;YAC7B,MAAM,EAAE,GAAG,CAAC,OAAO;YACnB,aAAa,EAAE,GAAG,CAAC,cAAc;YACjC,OAAO,EAAE,GAAG,CAAC,OAA8B;YAC3C,KAAK,EAAE,GAAG,CAAC,MAAM;YACjB,UAAU,EAAE,GAAG,CAAC,WAAW;YAC3B,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,CAAC;SACzB,CAAC;QAEF,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE;YACnB,GAAG,EAAE,GAAG,CAAC,OAAO;YAChB,KAAK,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;SACrE,CAAC,CAAC;IACL,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}