@descryy/core 0.4.0 → 0.5.1

package/dist/store/reader.js

@@ -1,15 +1,6 @@
 /**
- * Reads over the stored graph.
- *
- * Deliberately thin. This is not the query layer (plan Step 9) — it is the row
- * access the query layer will be written against, and nothing here knows about
- * scoring, budgets or traversal. Keeping the split means the query layer can be
- * tested against an in-memory adjacency provider with no database at all, which
- * is what stops 95% of the engine's tests needing SQLite and a worker.
- *
- * No row from `driver/` reaches a caller unconverted: SQLite has no booleans, no
- * null-vs-undefined distinction and no nested values, so every read here maps
- * columns back into IR shapes rather than handing out raw rows.
+ * Reads over the stored graph. Deliberately thin — not the query layer (Step 9), just the row access it's written against; the split lets the query layer test against an in-memory provider, no database, no SQLite in 95% of tests.
+ * No row from driver/ reaches a caller unconverted: SQLite has no booleans, no null-vs-undefined, no nested values.
  */
 import { createHash } from "node:crypto";
 import { canonicalJson, isEdgeType, isNodeType, } from "@descryy/ir";
@@ -19,8 +10,8 @@ const EDGE_COLUMNS = "id, source, target, type, resolution, confidence, produced
 const UNRESOLVED_REF_COLUMNS = "from_node_id, edge_type, raw_target, file_path, line, produced_by, reason, attrs";
 function toNode(row) {
     if (!isNodeType(row.type)) {
-        // Only reachable if something wrote around the Normaliser, which is exactly
-        // the case worth failing loudly on rather than coercing.
+        // Only reachable if something wrote around the Normaliser — worth
+        // failing loudly on rather than coercing.
         throw new Error(`stored node ${row.id} has an unknown type: ${row.type}`);
     }
     const type = row.type;
@@ -74,32 +65,17 @@ export function getNode(driver, id) {
     const row = driver.prepare(`SELECT ${NODE_COLUMNS} FROM nodes WHERE id = ?`).get(id);
     return row === undefined ? undefined : toNode(row);
 }
-/**
- * Every node declared in any of `paths` — the diff-to-seeds step.
- *
- * A diff names files; scoping seeds on nodes. Nothing bridged the two until now,
- * because every measurement so far started from node ids it had just built.
- *
- * **Which files miss is as important as which nodes hit.** A path present in the
- * diff and absent from the graph is not an empty result — it is a file the
- * analysis never read, and reporting its blast radius as "nothing affected"
- * would put an unanalysed file in §20.2's *confirmed clean* category when it
- * belongs in *not analysable*. So the misses come back alongside the hits and
- * the caller cannot take one without the other.
- *
- * Paths are matched exactly. They are repo-relative by the Normaliser's rule, so
- * a caller passing absolute paths gets zero hits and is told so by `missing`
- * rather than by silence.
- */
+/** Every node declared in any of `paths` — the diff-to-seeds step. Misses
+ *  matter as much as hits: an absent path is an unanalysed file (§20.2), not
+ *  an empty result, so both return together. Paths matched exactly (repo-relative); absolute paths get zero hits via `missing`. */
 export function nodesInFiles(driver, paths) {
     const wanted = [...new Set(paths)].sort();
     if (wanted.length === 0)
         return { nodes: [], missing: [] };
     const nodes = [];
     const seen = new Set();
-    // Chunked because SQLite's default parameter ceiling is 999 and a large PR
-    // legitimately exceeds it. Splitting here rather than asking the caller to
-    // keeps the limit where it belongs — a property of the driver, not of a diff.
+    // Chunked: SQLite's default parameter ceiling is 999, and a large PR
+    // legitimately exceeds it. Kept a driver property, not a caller's concern.
     const CHUNK = 500;
     for (let i = 0; i < wanted.length; i += CHUNK) {
         const chunk = wanted.slice(i, i + CHUNK);
@@ -117,14 +93,9 @@ export function nodesInFiles(driver, paths) {
     const hit = new Set(nodes.map((n) => n.file).filter((f) => f !== null));
     return { nodes, missing: wanted.filter((p) => !hit.has(p)) };
 }
-/**
- * Every node of one type, capped, with one row of headroom.
- *
- * `limit + 1` is fetched so the caller can tell "exactly the limit" from "the
- * limit and more" without a second `COUNT(*)`. A set-property question answered
- * over a silently truncated set is a fact computed from a sample, so the
- * distinction has to be available.
- */
+/** Every node of one type, capped, with one row of headroom. `limit + 1` is
+ *  fetched so the caller can tell "exactly the limit" from "more", without a
+ *  second COUNT(*) — a truncated set answering a set-property question needs that distinction available. */
 export function nodesOfType(driver, type, limit) {
     const rows = driver
         .prepare(`SELECT ${NODE_COLUMNS} FROM nodes WHERE type = ? ORDER BY id ASC LIMIT ${Math.max(1, Math.floor(limit)) + 1}`)
@@ -132,23 +103,9 @@ export function nodesOfType(driver, type, limit) {
     const truncated = rows.length > limit;
     return { nodes: rows.slice(0, limit).map(toNode), truncated };
 }
-/**
- * Nodes matching a name and/or a file — the "I know what it's called" lookup.
- *
- * Deliberately returns **every** match rather than a best one. Two functions in
- * a repository can legitimately share a name, and picking one by a heuristic —
- * shortest path, most edges, first row — is how a caller ends up reasoning
- * confidently about the wrong symbol. Ambiguity is the caller's to report, so
- * the reader hands it over intact.
- *
- * `repo` narrows to nodes minted by a run recorded against that repository —
- * a subquery against `adapter_runs`, since `nodes` itself carries no `repo`
- * column (only `run_id`). Added for `descry-runtime`'s graph correlator: a
- * multi-repo session (frontend + backend merged into one store, per DEC-228)
- * makes a same-named symbol in the wrong repository a real candidate for a
- * bare `findNodes({ name })` call, and nothing before this filtered it out.
- * Omitted, this behaves exactly as before — existing callers are unaffected.
- */
+/** Nodes matching a name and/or file — the "I know what it's called" lookup.
+ *  Returns every match, never a best one: picking one by heuristic is how a
+ *  caller reasons confidently about the wrong symbol. `repo` narrows via an adapter_runs subquery (nodes carries no repo column) — added for descry-runtime's multi-repo correlator (DEC-228); omitted, behaves exactly as before. */
 export function findNodes(driver, criteria) {
     const clauses = [];
     const params = [];
@@ -173,13 +130,8 @@ export function findNodes(driver, criteria) {
         .all(...params)
         .map(toNode);
 }
-/**
- * Edges leaving a node, optionally filtered by type and capped.
- *
- * The cap is not optional politeness. The prior-art graphs on this machine have
- * a max in-degree of 1,036 (`append`) — materialising every neighbour of a hub
- * node during a traversal is how a 200-node budget turns into a 10,000-row read.
- */
+/** Edges leaving a node, filtered by type and capped. Not optional politeness:
+ *  a real graph's max in-degree of 1,036 turns a 200-node budget into a 10,000-row read without it. */
 export function outgoing(driver, id, options = {}) {
     return adjacency(driver, "source", id, options);
 }
@@ -191,9 +143,8 @@ function adjacency(driver, column, id, options) {
     const typeFilter = types === undefined || types.length === 0
         ? ""
         : ` AND type IN (${types.map(() => "?").join(", ")})`;
-    // Ranked before truncation, so a cap keeps the most trustworthy neighbours
-    // rather than whichever rows the index happened to reach first. `id` breaks
-    // ties so the result is stable across runs.
+    // Ranked before truncation, so a cap keeps the most trustworthy neighbours,
+    // not whichever rows the index reached first. `id` breaks ties for stability.
     const sql = `SELECT ${EDGE_COLUMNS} FROM edges WHERE ${column} = ?${typeFilter}` +
         ` ORDER BY resolution DESC, confidence DESC, id ASC` +
         (options.limit === undefined ? "" : ` LIMIT ${Math.max(0, Math.floor(options.limit))}`);
@@ -202,18 +153,9 @@ function adjacency(driver, column, id, options) {
         .all(id, ...(types ?? []))
         .map(toEdge);
 }
-/**
- * Refusal-ledger rows, for the question-grouping layer (DEC-243) to consume.
- *
- * `classified` (default `true`) restricts to `attrs IS NOT NULL` — rows with
- * no `attrs` at all can never become a question (DEC-242: an unset
- * `refusalClass` is never askable) and are always the majority of this table
- * early in a producer's rollout — sherpa-frontend alone carries ~13,000. That
- * filter is a real optimisation, not an approximation: it changes which rows
- * are *materialised*, never which rows the grouper would have turned into a
- * question. The unclassified count for disclosure is `counts(driver)
- * .unresolvedRefs` minus this function's own row count, not recomputed here.
- */
+/** Refusal-ledger rows for the question-grouping layer (DEC-243). `classified`
+ *  (default true) restricts to `attrs IS NOT NULL` — rows with none can never
+ *  become a question (DEC-242) and dominate early rollout (~13,000 on sherpa-frontend). A real optimisation, not an approximation: it never drops a groupable row. */
 export function unresolvedRefs(driver, options = {}) {
     const classified = options.classified ?? true;
     const where = classified ? "WHERE attrs IS NOT NULL" : "";
@@ -234,18 +176,9 @@ export function counts(driver) {
         runs: one("SELECT COUNT(*) AS n FROM adapter_runs"),
     };
 }
-/**
- * A hash of the store's logical content, independent of insertion order.
- *
- * This is the instrument for the determinism proof: ingesting the same batches
- * in a permuted order must produce the same hash. Without it, "the graph does
- * not depend on adapter ordering" is an assertion nobody can check, and by the
- * time a real ordering dependency shows up it presents as an unreproducible
- * difference in impact scores.
- *
- * `written_at` is excluded — a wall-clock stamp is not logical content, and
- * including it would make the proof untestable rather than making it stronger.
- */
+/** Hash of the store's logical content, independent of insertion order — the
+ *  determinism proof's instrument (permuted-order ingestion must hash the
+ *  same). `written_at` is excluded: a wall-clock stamp isn't logical content. */
 export function contentHash(driver) {
     const digest = createHash("sha256");
     for (const table of [...DERIVED_TABLES, ...EARNED_TABLES].sort()) {

package/dist/store/reader.js.map

@@ -1 +1 @@
-{"version":3,"file":"reader.js","sourceRoot":"","sources":["../../src/store/reader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,aAAa,EACb,UAAU,EACV,UAAU,GAOX,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAsC5D,MAAM,YAAY,GAChB,2FAA2F,CAAC;AAC9F,MAAM,YAAY,GAChB,uFAAuF,CAAC;AAC1F,MAAM,sBAAsB,GAC1B,kFAAkF,CAAC;AAErF,SAAS,MAAM,CAAC,GAAY;IAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,4EAA4E;QAC5E,yDAAyD;QACzD,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,EAAE,yBAAyB,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAa,GAAG,CAAC,IAAI,CAAC;IAChC,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI;QACJ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,SAAS;QACnB,KAAK,EACH,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;YAC9C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE;QAC1D,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,UAAU,EAAE,GAAG,CAAC,UAA6B;QAC7C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAA4B;KACxD,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,GAAY;IAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,EAAE,yBAAyB,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAa,GAAG,CAAC,IAAI,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,MAAM;QAChB,EAAE,EAAE,GAAG,CAAC,MAAM;QACd,IAAI;QACJ,UAAU,EAAE,GAAG,CAAC,UAA6B;QAC7C,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,GAAG,CAAC,GAAG,CAAC,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,eAAe,EAAE,CAAC;QAC/E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAA4B,EAAE,CAAC;KAC3F,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,GAAqB;IAC5C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,CAAC,YAAY,8BAA8B,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,QAAQ,GAAa,GAAG,CAAC,SAAS,CAAC;IACzC,OAAO;QACL,UAAU,EAAE,GAAG,CAAC,YAAY;QAC5B,QAAQ;QACR,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,IAAI,EAAE,GAAG,CAAC,SAAS;QACnB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAA4B,EAAE,CAAC;KAC3F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAiB,EAAE,EAAU;IACnD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAU,UAAU,YAAY,0BAA0B,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9F,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAiB,EACjB,KAAwB;IAExB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAE3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,2EAA2E;IAC3E,2EAA2E;IAC3E,8EAA8E;IAC9E,MAAM,KAAK,GAAG,GAAG,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM;aAChB,OAAO,CACN,UAAU,YAAY,mCAAmC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACzF,kBAAkB,CACrB;aACA,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QACjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,MAAiB,EACjB,IAAc,EACd,KAAa;IAEb,MAAM,IAAI,GAAG,MAAM;SAChB,OAAO,CACN,UAAU,YAAY,oDACpB,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CACnC,EAAE,CACH;SACA,GAAG,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACtC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;AAChE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,SAAS,CACvB,MAAiB,EACjB,QAKC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5D,OAAO,MAAM;SACV,OAAO,CACN,UAAU,YAAY,qBAAqB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;QAChE,2CAA2C,KAAK,EAAE,CACrD;SACA,GAAG,CAAC,GAAG,MAAM,CAAC;SACd,GAAG,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CACtB,MAAiB,EACjB,EAAU,EACV,UAA2D,EAAE;IAE7D,OAAO,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,MAAiB,EACjB,EAAU,EACV,UAA2D,EAAE;IAE7D,OAAO,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAChB,MAAiB,EACjB,MAA2B,EAC3B,EAAU,EACV,OAAwD;IAExD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,UAAU,GACd,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACvC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,iBAAiB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC1D,2EAA2E;IAC3E,4EAA4E;IAC5E,4CAA4C;IAC5C,MAAM,GAAG,GACP,UAAU,YAAY,qBAAqB,MAAM,OAAO,UAAU,EAAE;QACpE,oDAAoD;QACpD,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAE1F,OAAO,MAAM;SACV,OAAO,CAAU,GAAG,CAAC;SACrB,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;SACzB,GAAG,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAiB,EACjB,UAAsE,EAAE;IAExE,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC;IAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/F,MAAM,GAAG,GACP,UAAU,sBAAsB,yBAAyB,KAAK,EAAE;QAChE,kBAAkB;QAClB,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;IAErD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAmB,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC;AAC7F,CAAC;AASD,MAAM,UAAU,MAAM,CAAC,MAAiB;IACtC,MAAM,GAAG,GAAG,CAAC,GAAW,EAAU,EAAE,CAClC,MAAM,CAAC,OAAO,CAAgB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,iCAAiC,CAAC;QAC7C,KAAK,EAAE,GAAG,CAAC,iCAAiC,CAAC;QAC7C,cAAc,EAAE,GAAG,CAAC,2CAA2C,CAAC;QAChE,IAAI,EAAE,GAAG,CAAC,wCAAwC,CAAC;KACpD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CAAC,MAAiB;IAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAEpC,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,cAAc,EAAE,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,MAAM;aACnB,OAAO,CAAmB,qDAAqD,CAAC;aAChF,GAAG,CAAC,KAAK,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,gBAAgB,CAAC,CAAC;QACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM;aAChB,OAAO,CAA0B,UAAU,MAAM,UAAU,KAAK,cAAc,MAAM,EAAE,CAAC;aACvF,GAAG,EAAE,CAAC;QAET,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;QAC5B,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,MAAM,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"reader.js","sourceRoot":"","sources":["../../src/store/reader.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,aAAa,EACb,UAAU,EACV,UAAU,GAOX,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAsC5D,MAAM,YAAY,GAChB,2FAA2F,CAAC;AAC9F,MAAM,YAAY,GAChB,uFAAuF,CAAC;AAC1F,MAAM,sBAAsB,GAC1B,kFAAkF,CAAC;AAErF,SAAS,MAAM,CAAC,GAAY;IAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,kEAAkE;QAClE,0CAA0C;QAC1C,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,EAAE,yBAAyB,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAa,GAAG,CAAC,IAAI,CAAC;IAChC,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI;QACJ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,SAAS;QACnB,KAAK,EACH,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;YAC9C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE;QAC1D,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,UAAU,EAAE,GAAG,CAAC,UAA6B;QAC7C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAA4B;KACxD,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,GAAY;IAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,EAAE,yBAAyB,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAa,GAAG,CAAC,IAAI,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,MAAM;QAChB,EAAE,EAAE,GAAG,CAAC,MAAM;QACd,IAAI;QACJ,UAAU,EAAE,GAAG,CAAC,UAA6B;QAC7C,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,GAAG,CAAC,GAAG,CAAC,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,eAAe,EAAE,CAAC;QAC/E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAA4B,EAAE,CAAC;KAC3F,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,GAAqB;IAC5C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,CAAC,YAAY,8BAA8B,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,QAAQ,GAAa,GAAG,CAAC,SAAS,CAAC;IACzC,OAAO;QACL,UAAU,EAAE,GAAG,CAAC,YAAY;QAC5B,QAAQ;QACR,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,IAAI,EAAE,GAAG,CAAC,SAAS;QACnB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAA4B,EAAE,CAAC;KAC3F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAiB,EAAE,EAAU;IACnD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAU,UAAU,YAAY,0BAA0B,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9F,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACrD,CAAC;AAED;;mIAEmI;AACnI,MAAM,UAAU,YAAY,CAC1B,MAAiB,EACjB,KAAwB;IAExB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAE3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,qEAAqE;IACrE,2EAA2E;IAC3E,MAAM,KAAK,GAAG,GAAG,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM;aAChB,OAAO,CACN,UAAU,YAAY,mCAAmC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACzF,kBAAkB,CACrB;aACA,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QACjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED;;4GAE4G;AAC5G,MAAM,UAAU,WAAW,CACzB,MAAiB,EACjB,IAAc,EACd,KAAa;IAEb,MAAM,IAAI,GAAG,MAAM;SAChB,OAAO,CACN,UAAU,YAAY,oDACpB,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CACnC,EAAE,CACH;SACA,GAAG,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACtC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;AAChE,CAAC;AAED;;sOAEsO;AACtO,MAAM,UAAU,SAAS,CACvB,MAAiB,EACjB,QAKC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5D,OAAO,MAAM;SACV,OAAO,CACN,UAAU,YAAY,qBAAqB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;QAChE,2CAA2C,KAAK,EAAE,CACrD;SACA,GAAG,CAAC,GAAG,MAAM,CAAC;SACd,GAAG,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;uGACuG;AACvG,MAAM,UAAU,QAAQ,CACtB,MAAiB,EACjB,EAAU,EACV,UAA2D,EAAE;IAE7D,OAAO,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,MAAiB,EACjB,EAAU,EACV,UAA2D,EAAE;IAE7D,OAAO,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAChB,MAAiB,EACjB,MAA2B,EAC3B,EAAU,EACV,OAAwD;IAExD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,UAAU,GACd,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACvC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,iBAAiB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC1D,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,GAAG,GACP,UAAU,YAAY,qBAAqB,MAAM,OAAO,UAAU,EAAE;QACpE,oDAAoD;QACpD,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAE1F,OAAO,MAAM;SACV,OAAO,CAAU,GAAG,CAAC;SACrB,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;SACzB,GAAG,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;sKAEsK;AACtK,MAAM,UAAU,cAAc,CAC5B,MAAiB,EACjB,UAAsE,EAAE;IAExE,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC;IAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/F,MAAM,GAAG,GACP,UAAU,sBAAsB,yBAAyB,KAAK,EAAE;QAChE,kBAAkB;QAClB,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;IAErD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAmB,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC;AAC7F,CAAC;AASD,MAAM,UAAU,MAAM,CAAC,MAAiB;IACtC,MAAM,GAAG,GAAG,CAAC,GAAW,EAAU,EAAE,CAClC,MAAM,CAAC,OAAO,CAAgB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,iCAAiC,CAAC;QAC7C,KAAK,EAAE,GAAG,CAAC,iCAAiC,CAAC;QAC7C,cAAc,EAAE,GAAG,CAAC,2CAA2C,CAAC;QAChE,IAAI,EAAE,GAAG,CAAC,wCAAwC,CAAC;KACpD,CAAC;AACJ,CAAC;AAED;;iFAEiF;AACjF,MAAM,UAAU,WAAW,CAAC,MAAiB;IAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAEpC,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,cAAc,EAAE,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,MAAM;aACnB,OAAO,CAAmB,qDAAqD,CAAC;aAChF,GAAG,CAAC,KAAK,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,gBAAgB,CAAC,CAAC;QACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM;aAChB,OAAO,CAA0B,UAAU,MAAM,UAAU,KAAK,cAAc,MAAM,EAAE,CAAC;aACvF,GAAG,EAAE,CAAC;QAET,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;QAC5B,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,MAAM,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC"}

package/dist/store/schema.d.ts

@@ -1,88 +1,26 @@
-/**
- * The graph schema.
- *
- * Held as a TypeScript constant rather than a `.sql` file on disk. Reading a
- * sibling `.sql` at runtime resolves to `src/` under Node's type stripping and
- * `dist/` after `tsc`, so it needs an asset-copy build step and then behaves
- * differently in tests than in production — the same class of trap the build
- * plan flags for the traversal worker entrypoint. A constant has neither
- * problem and costs nothing but syntax highlighting.
- *
- * ## Five corrections to the written schema
- *
- * Architecture §24.1 and blueprint §0.8 both describe this schema, and both need
- * amending. Each is recorded here because the docs are the shared reference and
- * a silent divergence is worse than either version.
- *
- * 1. **No `properties` table.** §11.8 names `nodes`/`edges`/`properties`, but
- *    §24.1 and blueprint §0.8 both use a JSON column instead. An entity-
- *    attribute-value table turns every node read into a join and defeats the
- *    adjacency performance target that §11.8's own traversal decision rests on.
- *    Language-specific detail lives in the `attrs` JSON column, which nothing
- *    above the IR reads.
- *
- * 2. **No `edges.weight`.** Blueprint §0.8 lists it. But `EdgeWeight` in §12.4
- *    is tuning config keyed by edge *type*, not a per-row value — storing it per
- *    row would let 30,000 copies of one tunable drift apart. The single genuine
- *    per-edge quantity, `CHANGES_WITH`'s co-change count, lives in `attrs`.
- *
- * 3. **No `edges.language`.** Both §24.1 and blueprint §0.8 declare it, and
- *    `IREdge` has no such field — nothing in the IR could ever populate it. A
- *    column no producer can fill is a column every reader must special-case.
- *
- * 4. **`nodes.language` is nullable.** §24.1 declares it `NOT NULL`. DEC-014
- *    establishes that `API_ENDPOINT` — the cross-language join node — belongs to
- *    no language, and XL-2 asserts it carries none. `NOT NULL` makes the join
- *    node unstorable.
- *
- * 5. **Composite adjacency indices.** Blueprint §0.8 indexes `edges(source)` and
- *    `edges(target)`. Every traversal hop filters by edge type as well, and the
- *    prior-art measurement on this machine found a max in-degree of 1,036 — so
- *    a single-column index means scanning a thousand rows to keep four.
- *    `edges(source, type)` and `edges(target, type)` are the real access paths.
- *
- * ## Derived vs earned — DEC-017
- *
- * The partition is expressed in `DERIVED_TABLES` / `EARNED_TABLES` below rather
- * than left as prose, because the only thing that makes DEC-017 real is that
- * `dropDerived()` can be tested to leave the earned side untouched.
- */
-/**
- * Bumped when the IR itself changes shape, not when an adapter changes.
- *
- * DEC-017: on mismatch, refuse to read, drop derived, rebuild, migrate earned.
- * A stored graph is derived data and is never the source of truth.
- */
+/** Graph schema (TS constant, not `.sql` — avoids a build/dist path trap).
+ *  Diverges from written docs (§24.1, blueprint §0.8): no `properties` table
+ *  (JSON `attrs`); no `edges.weight`/`edges.language` (tuning config resp.
+ *  no IR field); `nodes.language` nullable (API_ENDPOINT, DEC-014); composite
+ *  `(source/target, type)` indices (max in-degree 1,036). Derived/earned: DEC-017. */
+/** Bumped when the IR itself changes shape, not when an adapter changes.
+ *  DEC-017: on mismatch, refuse to read, drop derived, rebuild, migrate earned. */
 export declare const IR_SCHEMA_VERSION = 4;
-/**
- * The tag on every node id, derived from the constant rather than restated.
- *
- * A graph tagged otherwise is not ours, and the whole point of the tag is to say
- * so out loud instead of silently failing to match. Restating it here as a
- * literal would let the store keep validating the previous scheme after an id
- * change — the exact failure the tag exists to prevent.
- */
+/** Tag on every node id, derived from the constant, not restated — a
+ *  literal here would keep validating the old scheme after an id change. */
 export declare const NODE_ID_SCHEME: string;
 /**
  * Regenerable from source. Dropping these loses time, never information.
  */
 export declare const DERIVED_TABLES: readonly ["nodes", "edges", "unresolved_refs", "file_hashes", "embeddings", "adapter_runs"];
-/**
- * Cannot be regenerated: a run that witnessed an edge fire is gone once the
- * process exits, a run that executed a test is gone the same way, and a human's
- * correction of a wrong edge is not in the source at all. These survive every
- * rebuild.
- */
+/** Cannot be regenerated — a witnessed edge, an executed test, or a human's
+ *  correction exists nowhere in source. These survive every rebuild. */
 export declare const EARNED_TABLES: readonly ["observed_edges", "observed_tests", "edge_corrections", "incident_links", "pr_scopes"];
 export type DerivedTable = (typeof DERIVED_TABLES)[number];
 export type EarnedTable = (typeof EARNED_TABLES)[number];
-/**
- * Children before parents. Stated explicitly rather than derived by reversing
- * `DERIVED_TABLES`: `PRAGMA foreign_keys` cannot be changed inside a
- * transaction, so a drop in the wrong order either fails or leans on cascade
- * behaviour to rescue it. Neither should be left to the order someone happened
- * to list the tables in.
- */
+/** Children before parents, stated explicitly (not derived by reversing
+ *  `DERIVED_TABLES`) — `PRAGMA foreign_keys` can't change mid-transaction,
+ *  so wrong order fails or leans on cascade to rescue it. */
 export declare const DERIVED_DROP_ORDER: readonly ["embeddings", "unresolved_refs", "edges", "nodes", "file_hashes", "adapter_runs"];
 export declare const SCHEMA_SQL = "\n-- ---------------------------------------------------------------------------\n-- graph_meta \u2014 identity of the store itself. Read before anything else.\n-- ---------------------------------------------------------------------------\nCREATE TABLE IF NOT EXISTS graph_meta (\n  key   TEXT PRIMARY KEY,\n  value TEXT NOT NULL\n) STRICT;\n\n-- ---------------------------------------------------------------------------\n-- adapter_runs \u2014 one row per accepted IRBatch. \u00A724.1's adapter registry state\n-- and DEC-015's invalidation key are the same thing, so they are one table.\n--\n-- id is derived (hash of producer + repo + commit + source files), never an\n-- autoincrement rowid: re-ingesting an identical batch must reuse the same row,\n-- or idempotence is impossible to state.\n-- ---------------------------------------------------------------------------\nCREATE TABLE IF NOT EXISTS adapter_runs (\n  id                 TEXT PRIMARY KEY,\n  repo               TEXT    NOT NULL,\n  -- The identity scope workspace-scoped ids in this batch were computed under\n  -- (DEC-054). NULL means \"this repository alone\". Recorded because the scope is\n  -- configuration: once it changes, no node id in this run can be re-derived from\n  -- the row itself, and a workspace typo is otherwise invisible after the fact.\n  workspace          TEXT,\n  commit_sha         TEXT    NOT NULL,\n  adapter_id         TEXT    NOT NULL,   -- the part before '@'\n  adapter_version    TEXT    NOT NULL,   -- the part after '@'\n  produced_by        TEXT    NOT NULL,   -- adapter_id@adapter_version, as written on every row\n  reached_resolution INTEGER NOT NULL,\n  source_files       TEXT    NOT NULL,   -- JSON array; the invalidation key (DEC-015)\n  file_count         INTEGER NOT NULL,\n  written_at         INTEGER NOT NULL\n) STRICT;\n\nCREATE INDEX IF NOT EXISTS idx_runs_adapter ON adapter_runs(adapter_id);\nCREATE INDEX IF NOT EXISTS idx_runs_producer ON adapter_runs(produced_by);\n\n-- ---------------------------------------------------------------------------\n-- nodes\n-- ---------------------------------------------------------------------------\nCREATE TABLE IF NOT EXISTS nodes (\n  id          TEXT PRIMARY KEY,\n  type        TEXT    NOT NULL,\n  name        TEXT    NOT NULL,\n  file_path   TEXT,                      -- null for fileless types (DEC-014)\n  start_line  INTEGER,\n  end_line    INTEGER,\n  language    TEXT,                      -- correction 4: nullable\n  produced_by TEXT    NOT NULL,\n  resolution  INTEGER NOT NULL,\n  attrs       TEXT    NOT NULL,          -- JSON; correction 1\n  run_id      TEXT    NOT NULL REFERENCES adapter_runs(id) ON DELETE CASCADE\n) STRICT;\n\nCREATE INDEX IF NOT EXISTS idx_nodes_type ON nodes(type);\nCREATE INDEX IF NOT EXISTS idx_nodes_name ON nodes(name);\nCREATE INDEX IF NOT EXISTS idx_nodes_file ON nodes(file_path);\nCREATE INDEX IF NOT EXISTS idx_nodes_resolution ON nodes(resolution);\nCREATE INDEX IF NOT EXISTS idx_nodes_run ON nodes(run_id);\n\n-- ---------------------------------------------------------------------------\n-- edges. Primary key is hash(from, to, type) per DEC-012, so two adapters\n-- finding the same relationship collide by construction \u2014 which is what makes\n-- a merge policy statable at all. 30% of prior-art edges were exact\n-- duplicates, so this is load-bearing rather than tidy.\n-- ---------------------------------------------------------------------------\nCREATE TABLE IF NOT EXISTS edges (\n  id              TEXT PRIMARY KEY,\n  source          TEXT    NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,\n  target          TEXT    NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,\n  type            TEXT    NOT NULL,\n  resolution      INTEGER NOT NULL,\n  confidence      REAL    NOT NULL,\n  produced_by     TEXT    NOT NULL,\n  observed_by_run TEXT,                  -- present exactly when resolution = 4\n  attrs           TEXT,                  -- JSON or null; corrections 1 and 2\n  run_id          TEXT    NOT NULL REFERENCES adapter_runs(id) ON DELETE CASCADE,\n  CHECK (resolution BETWEEN 0 AND 4),\n  CHECK (confidence BETWEEN 0.0 AND 1.0),\n  CHECK ((resolution = 4) = (observed_by_run IS NOT NULL))\n) STRICT;\n\n-- Correction 5: the real access paths. Every hop filters by type.\nCREATE INDEX IF NOT EXISTS idx_edges_source_type ON edges(source, type);\nCREATE INDEX IF NOT EXISTS idx_edges_target_type ON edges(target, type);\nCREATE INDEX IF NOT EXISTS idx_edges_resolution ON edges(resolution);\nCREATE INDEX IF NOT EXISTS idx_edges_run ON edges(run_id);\n\n-- ---------------------------------------------------------------------------\n-- unresolved_refs \u2014 DEC-016. What an adapter saw but could not resolve.\n--\n-- Not edges, because a name-matched guess is a false claim under \u00A711B.1. Not\n-- discarded either, because then \u00A711B.6 recall has no denominator and \u00A720.2's\n-- \"not analysable\" category has nothing to count. On the prior-art graphs this\n-- is 52-60% of everything emitted.\n-- ---------------------------------------------------------------------------\n-- id is a content hash, never an autoincrement rowid: an insertion-order key\n-- would make the permuted-ingest determinism proof impossible to state, and two\n-- byte-identical references are the same reference.\nCREATE TABLE IF NOT EXISTS unresolved_refs (\n  id           TEXT PRIMARY KEY,\n  from_node_id TEXT NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,\n  edge_type    TEXT NOT NULL,\n  raw_target   TEXT NOT NULL,\n  file_path    TEXT,\n  line         INTEGER,\n  produced_by  TEXT NOT NULL,\n  reason       TEXT NOT NULL,\n  -- DEC-242's attrs.blockedBy/attrs.refusalClass live here, JSON or null --\n  -- same optional-attrs treatment as edges (correction 2), and deliberately\n  -- excluded from id's content hash below: this is classification of a\n  -- refusal, not part of what makes two refusals the same refusal. Added in\n  -- schema version 3 -- DEC-017 governs what that bump costs an existing\n  -- store (drop derived, rebuild; earned tables untouched).\n  attrs        TEXT,\n  run_id       TEXT NOT NULL REFERENCES adapter_runs(id) ON DELETE CASCADE\n) STRICT;\n\nCREATE INDEX IF NOT EXISTS idx_unresolved_from ON unresolved_refs(from_node_id);\nCREATE INDEX IF NOT EXISTS idx_unresolved_target ON unresolved_refs(raw_target);\nCREATE INDEX IF NOT EXISTS idx_unresolved_run ON unresolved_refs(run_id);\n\n-- ---------------------------------------------------------------------------\n-- file_hashes \u2014 \u00A711.14 rebuild acceleration. Layer 1 change detection is\n-- defined against this table and v2.1 never declared it.\n-- ---------------------------------------------------------------------------\nCREATE TABLE IF NOT EXISTS file_hashes (\n  file_path      TEXT PRIMARY KEY,\n  hash           TEXT    NOT NULL,\n  last_parsed_at INTEGER NOT NULL\n) STRICT;\n\n-- ---------------------------------------------------------------------------\n-- embeddings \u2014 pointer table only. No vector extension is loaded in this build;\n-- \u00A78.2 keeps vectors in pgvector hosted or a local extension, and a column of\n-- serialised floats with no index would be a scan, not a search.\n-- ---------------------------------------------------------------------------\nCREATE TABLE IF NOT EXISTS embeddings (\n  node_id          TEXT PRIMARY KEY REFERENCES nodes(id) ON DELETE CASCADE,\n  vector_reference TEXT NOT NULL,\n  model_version    TEXT NOT NULL\n) STRICT;\n\n-- ===========================================================================\n-- EARNED \u2014 DEC-017. Never dropped. No REFERENCES into the derived tables:\n-- a foreign key would cascade these away with the graph they describe, which\n-- is precisely the outcome the partition exists to prevent.\n-- ===========================================================================\n\n-- R4 evidence. An edge witnessed firing during a live run (\u00A711B.3). This is the\n-- product's core moat and cannot be recomputed from source at any price.\nCREATE TABLE IF NOT EXISTS observed_edges (\n  edge_id     TEXT NOT NULL,\n  run_id      TEXT NOT NULL,\n  from_node_id TEXT NOT NULL,\n  to_node_id  TEXT NOT NULL,\n  edge_type   TEXT NOT NULL,\n  commit_sha  TEXT NOT NULL,\n  observed_at INTEGER NOT NULL,\n  PRIMARY KEY (edge_id, run_id)\n) STRICT;\n\n-- Which tests actually ran, and what happened. The coverage axis \u2014 AI layer \u00A720's\n-- \"Verification status\" \u2014 a different question from confidence, needing a\n-- different carrier.\n--\n-- Earned for the same reason as observed_edges, one step over: nothing in the\n-- source says which tests executed, so a rebuild that dropped this would turn\n-- \"what I actually verified\" silently back into \"what might be affected\".\n--\n-- Not an edge, deliberately. A test-runner's evidence carries no stack, so an\n-- observed test names exactly one node \u2014 its own TEST_CASE \u2014 and pairing it with\n-- a function it merely co-occurred with would mint an edge from temporal\n-- coincidence. That is why this is a table and not a promotion of a TESTS edge\n-- to R4; see DEC-NEXT-test-run-coverage-has-no-carrier.md.\n--\n-- (node_id, run_id) is the identity: two runs of one test are two facts, while a\n-- retry inside one run is the same fact re-observed, so the latter updates in\n-- place. Within-run retries are therefore not distinguishable here \u2014 a disclosed\n-- limit, not an oversight; this table is a coverage carrier, not a flake detector.\nCREATE TABLE IF NOT EXISTS observed_tests (\n  node_id        TEXT NOT NULL,\n  run_id         TEXT NOT NULL,\n  qualified_name TEXT NOT NULL,\n  outcome        TEXT NOT NULL,         -- 'passed' | 'failed' | 'skipped'\n  -- REAL, not INTEGER, and this was an INTEGER until a real run proved it could\n  -- not be. Runners report fractional milliseconds \u2014 node:test emits 2.316958 \u2014\n  -- and a STRICT table refuses that value outright, so every write failed on\n  -- first contact with an actual suite while the unit tests, which all passed\n  -- integer literals, stayed green. Rounding was the other option and is worse:\n  -- sub-millisecond tests are ordinary here, and 0.36 rounded to 0 reads as\n  -- \"instant\", the same falsehood the null-rather-than-zero rule below refuses.\n  duration_ms    REAL,\n  commit_sha     TEXT NOT NULL,\n  observed_at    INTEGER NOT NULL,\n  PRIMARY KEY (node_id, run_id)\n) STRICT;\n\nCREATE INDEX IF NOT EXISTS idx_observed_tests_run ON observed_tests(run_id);\n\n-- \u00A711B.5. A human said an edge was wrong, or runtime contradicted it. Feeding\n-- this back is how precision improves; losing it repeats the same false claim.\nCREATE TABLE IF NOT EXISTS edge_corrections (\n  edge_id      TEXT PRIMARY KEY,\n  verdict      TEXT    NOT NULL,         -- 'wrong' | 'right'\n  reason       TEXT    NOT NULL,\n  corrected_at INTEGER NOT NULL\n) STRICT;\n\n-- \u00A714.2. One pull request's computed scope, and it is EARNED rather than derived\n-- for a reason that is easy to get backwards.\n--\n-- Everything else on the derived side can be regenerated from source because the\n-- source is what produced it. A PR scope cannot: it was computed against a graph\n-- at one commit, and that graph moves. Recomputing it later answers a DIFFERENT\n-- question and returns a plausible answer to it \u2014 so dropping this table does\n-- not lose time, it loses the COMPARISON BASIS. Overlap scoring between two PRs\n-- is only meaningful when both scopes were computed against the same graph, and\n-- nothing in a recomputed row would say that it was not.\n--\n-- graph_commit_sha is therefore not decoration: it is the field that makes two\n-- rows comparable or not, and a reader that ignores it will happily overlap a\n-- scope from last week with one from today and report a number.\n--\n-- scope_json holds the node id set. Kept opaque here on purpose: the shape of a\n-- scope is the scoping layer's business, and a column per dimension would need\n-- a migration every time that layer learns something. What the store guarantees\n-- is that the bytes come back unchanged with the commit they were computed at.\nCREATE TABLE IF NOT EXISTS pr_scopes (\n  pr_id            TEXT    NOT NULL,\n  repo             TEXT    NOT NULL,\n  -- The head commit of the PR itself.\n  head_sha         TEXT    NOT NULL,\n  -- The commit the GRAPH was at when this scope was computed. Two scopes are\n  -- comparable only when these agree.\n  graph_commit_sha TEXT    NOT NULL,\n  scope_json       TEXT    NOT NULL,\n  node_count       INTEGER NOT NULL,\n  computed_at      INTEGER NOT NULL,\n  PRIMARY KEY (repo, pr_id, graph_commit_sha)\n) STRICT;\n\n-- The access path for overlap scoring: every scope computed against one graph.\n-- Without it, comparing N PRs scans the whole table N times.\nCREATE INDEX IF NOT EXISTS idx_pr_scopes_graph ON pr_scopes(repo, graph_commit_sha);\n\n-- Incident and fix-pattern links. Accumulated from real failures over time.\nCREATE TABLE IF NOT EXISTS incident_links (\n  incident_node_id TEXT NOT NULL,\n  target_node_id   TEXT NOT NULL,\n  kind             TEXT NOT NULL,\n  created_at       INTEGER NOT NULL,\n  PRIMARY KEY (incident_node_id, target_node_id, kind)\n) STRICT;\n";
 //# sourceMappingURL=schema.d.ts.map

package/dist/store/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/store/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAIH;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,QAAkC,CAAC;AAE9D;;GAEG;AACH,eAAO,MAAM,cAAc,6FAOjB,CAAC;AAEX;;;;;GAKG;AACH,eAAO,MAAM,aAAa,kGAMhB,CAAC;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAC3D,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,6FAOa,CAAC;AAE7C,eAAO,MAAM,UAAU,8gaA+PtB,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/store/schema.ts"],"names":[],"mappings":"AAAA;;;;sFAIsF;AAItF;mFACmF;AACnF,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC;4EAC4E;AAC5E,eAAO,MAAM,cAAc,QAAkC,CAAC;AAE9D;;GAEG;AACH,eAAO,MAAM,cAAc,6FAOjB,CAAC;AAEX;wEACwE;AACxE,eAAO,MAAM,aAAa,kGAMhB,CAAC;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAC3D,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD;;6DAE6D;AAC7D,eAAO,MAAM,kBAAkB,6FAOa,CAAC;AAE7C,eAAO,MAAM,UAAU,8gaA+PtB,CAAC"}

package/dist/store/schema.js

@@ -1,68 +1,14 @@
-/**
- * The graph schema.
- *
- * Held as a TypeScript constant rather than a `.sql` file on disk. Reading a
- * sibling `.sql` at runtime resolves to `src/` under Node's type stripping and
- * `dist/` after `tsc`, so it needs an asset-copy build step and then behaves
- * differently in tests than in production — the same class of trap the build
- * plan flags for the traversal worker entrypoint. A constant has neither
- * problem and costs nothing but syntax highlighting.
- *
- * ## Five corrections to the written schema
- *
- * Architecture §24.1 and blueprint §0.8 both describe this schema, and both need
- * amending. Each is recorded here because the docs are the shared reference and
- * a silent divergence is worse than either version.
- *
- * 1. **No `properties` table.** §11.8 names `nodes`/`edges`/`properties`, but
- *    §24.1 and blueprint §0.8 both use a JSON column instead. An entity-
- *    attribute-value table turns every node read into a join and defeats the
- *    adjacency performance target that §11.8's own traversal decision rests on.
- *    Language-specific detail lives in the `attrs` JSON column, which nothing
- *    above the IR reads.
- *
- * 2. **No `edges.weight`.** Blueprint §0.8 lists it. But `EdgeWeight` in §12.4
- *    is tuning config keyed by edge *type*, not a per-row value — storing it per
- *    row would let 30,000 copies of one tunable drift apart. The single genuine
- *    per-edge quantity, `CHANGES_WITH`'s co-change count, lives in `attrs`.
- *
- * 3. **No `edges.language`.** Both §24.1 and blueprint §0.8 declare it, and
- *    `IREdge` has no such field — nothing in the IR could ever populate it. A
- *    column no producer can fill is a column every reader must special-case.
- *
- * 4. **`nodes.language` is nullable.** §24.1 declares it `NOT NULL`. DEC-014
- *    establishes that `API_ENDPOINT` — the cross-language join node — belongs to
- *    no language, and XL-2 asserts it carries none. `NOT NULL` makes the join
- *    node unstorable.
- *
- * 5. **Composite adjacency indices.** Blueprint §0.8 indexes `edges(source)` and
- *    `edges(target)`. Every traversal hop filters by edge type as well, and the
- *    prior-art measurement on this machine found a max in-degree of 1,036 — so
- *    a single-column index means scanning a thousand rows to keep four.
- *    `edges(source, type)` and `edges(target, type)` are the real access paths.
- *
- * ## Derived vs earned — DEC-017
- *
- * The partition is expressed in `DERIVED_TABLES` / `EARNED_TABLES` below rather
- * than left as prose, because the only thing that makes DEC-017 real is that
- * `dropDerived()` can be tested to leave the earned side untouched.
- */
+/** Graph schema (TS constant, not `.sql` — avoids a build/dist path trap).
+ *  Diverges from written docs (§24.1, blueprint §0.8): no `properties` table
+ *  (JSON `attrs`); no `edges.weight`/`edges.language` (tuning config resp.
+ *  no IR field); `nodes.language` nullable (API_ENDPOINT, DEC-014); composite
+ *  `(source/target, type)` indices (max in-degree 1,036). Derived/earned: DEC-017. */
 import { NODE_ID_PREFIX } from "@descryy/ir";
-/**
- * Bumped when the IR itself changes shape, not when an adapter changes.
- *
- * DEC-017: on mismatch, refuse to read, drop derived, rebuild, migrate earned.
- * A stored graph is derived data and is never the source of truth.
- */
+/** Bumped when the IR itself changes shape, not when an adapter changes.
+ *  DEC-017: on mismatch, refuse to read, drop derived, rebuild, migrate earned. */
 export const IR_SCHEMA_VERSION = 4; // 3 -> 4: edge ids move e1: -> e2:, DEC-323
-/**
- * The tag on every node id, derived from the constant rather than restated.
- *
- * A graph tagged otherwise is not ours, and the whole point of the tag is to say
- * so out loud instead of silently failing to match. Restating it here as a
- * literal would let the store keep validating the previous scheme after an id
- * change — the exact failure the tag exists to prevent.
- */
+/** Tag on every node id, derived from the constant, not restated — a
+ *  literal here would keep validating the old scheme after an id change. */
 export const NODE_ID_SCHEME = NODE_ID_PREFIX.replace(":", "");
 /**
  * Regenerable from source. Dropping these loses time, never information.
@@ -75,12 +21,8 @@ export const DERIVED_TABLES = [
     "embeddings",
     "adapter_runs",
 ];
-/**
- * Cannot be regenerated: a run that witnessed an edge fire is gone once the
- * process exits, a run that executed a test is gone the same way, and a human's
- * correction of a wrong edge is not in the source at all. These survive every
- * rebuild.
- */
+/** Cannot be regenerated — a witnessed edge, an executed test, or a human's
+ *  correction exists nowhere in source. These survive every rebuild. */
 export const EARNED_TABLES = [
     "observed_edges",
     "observed_tests",
@@ -88,13 +30,9 @@ export const EARNED_TABLES = [
     "incident_links",
     "pr_scopes",
 ];
-/**
- * Children before parents. Stated explicitly rather than derived by reversing
- * `DERIVED_TABLES`: `PRAGMA foreign_keys` cannot be changed inside a
- * transaction, so a drop in the wrong order either fails or leans on cascade
- * behaviour to rescue it. Neither should be left to the order someone happened
- * to list the tables in.
- */
+/** Children before parents, stated explicitly (not derived by reversing
+ *  `DERIVED_TABLES`) — `PRAGMA foreign_keys` can't change mid-transaction,
+ *  so wrong order fails or leans on cascade to rescue it. */
 export const DERIVED_DROP_ORDER = [
     "embeddings",
     "unresolved_refs",

package/dist/store/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/store/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,CAAC,4CAA4C;AAEhF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AAE9D;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,OAAO;IACP,OAAO;IACP,iBAAiB;IACjB,aAAa;IACb,YAAY;IACZ,cAAc;CACN,CAAC;AAEX;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,gBAAgB;IAChB,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,WAAW;CACH,CAAC;AAKX;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,YAAY;IACZ,iBAAiB;IACjB,OAAO;IACP,OAAO;IACP,aAAa;IACb,cAAc;CAC4B,CAAC;AAE7C,MAAM,CAAC,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+PzB,CAAC"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/store/schema.ts"],"names":[],"mappings":"AAAA;;;;sFAIsF;AAEtF,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C;mFACmF;AACnF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,CAAC,4CAA4C;AAEhF;4EAC4E;AAC5E,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AAE9D;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,OAAO;IACP,OAAO;IACP,iBAAiB;IACjB,aAAa;IACb,YAAY;IACZ,cAAc;CACN,CAAC;AAEX;wEACwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,gBAAgB;IAChB,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,WAAW;CACH,CAAC;AAKX;;6DAE6D;AAC7D,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,YAAY;IACZ,iBAAiB;IACjB,OAAO;IACP,OAAO;IACP,aAAa;IACb,cAAc;CAC4B,CAAC;AAE7C,MAAM,CAAC,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+PzB,CAAC"}

package/dist/store/writer.d.ts

@@ -1,62 +1,6 @@
 /**
- * The batch writer — DEC-015.
- *
- * "The writer deletes everything previously written by `producedBy` for
- * `sourceFiles`, then inserts, in one transaction." That sentence hides three
- * decisions the decision entry does not make, and getting any of them wrong
- * loses data silently. They are made here and each is tested.
- *
- * ## 1. Invalidation matches on adapter *id* and *repo*, not `producedBy` alone
- *
- * `producedBy` is `id@version`. Matching the full string would mean an adapter
- * upgrade never invalidates anything the old version wrote — the two producers
- * would simply coexist, and the graph would hold both readings of every file
- * forever. §24.1 is explicit: "an adapter version bump invalidates every node
- * and edge that adapter produced". So overlap is computed on the id, and the
- * version is what makes the *stale* rows recognisable.
- *
- * `repo` is a second, equally load-bearing part of the same match, added after
- * a real defect: a store holding more than one repository (`descry-runtime`'s
- * graph correlator merges a frontend and a backend into one store to trace
- * across them, per DEC-228) can have two repos using the same adapter with an
- * overlapping relative file path — `src/index.ts`, `package.json`, anything
- * common. Without `repo` in this match, writing the second repo's batch reads
- * as "adapter X re-ran over a file it already owned" and evicts the first
- * repo's run outright — silent cross-repository data loss, not a wrong
- * answer. `invalidateAdapter` below is intentionally *not* repo-scoped — its
- * own contract is "every repo," a different, explicitly global operation.
- *
- * ## 2. Prior runs are matched by file-set *overlap*, not equality
- *
- * A batch is the unit of invalidation, but the batch that previously owned a
- * file may have covered a different set of files. Deleting only exact-matching
- * runs leaves two rows for the same symbol; deleting only the intersection is
- * impossible, because an edge has no file. So every prior run of the same
- * adapter that touches *any* of these files is replaced whole — and the files
- * it covered that this batch does not re-supply are reported as `evictedFiles`.
- * Reporting them is the honest-degradation rule (principle 7): the caller is
- * told what fell out, rather than discovering it as a missing edge next week.
- *
- * ## 3. A run also cleans up after its own previous write
- *
- * The run id is content-derived from producer, repo, commit and file set — not
- * from the nodes. So an adapter re-run at the same commit over the same files
- * lands on the *same* run id, and "delete the prior runs" excludes it by
- * definition. Without a self-clean pass, rows that run no longer produces stay
- * forever: the upsert refreshes what is still there and nothing removes what is
- * not. Every write therefore ends by deleting its own run's rows that this batch
- * did not supply.
- *
- * ## 4. Re-supplied nodes are updated, not deleted and recreated
- *
- * A node id is stable across file moves by construction (DEC-004), so re-parsing
- * a file normally yields the ids that were already there. Deleting a prior run's
- * nodes wholesale would cascade away every edge *other* runs had pointing into
- * them, and those runs will not be re-run. Instead: upsert the ids this batch
- * supplies, then delete the prior run — whose remaining nodes are exactly those
- * it no longer produces. Edges into a node that genuinely disappeared do cascade
- * away, and are reported as `orphanedEdges`, because keeping an edge to a node
- * that no longer exists is the wrong-edge failure the precision rule forbids.
+ * Batch writer (DEC-015). Prior runs matched on adapter id+repo (not full `producedBy` — §24.1 version bumps invalidate; DEC-228 multi-repo stores need `repo` or cross-repo files silently evict each other), by file-set *overlap* not equality (evicted files reported, principle 7).
+ * Run id is content-derived, so a same-commit re-run self-cleans what it stopped producing. Re-supplied nodes are upserted, not deleted+recreated (DEC-004 stable ids) — only genuinely-gone nodes cascade, reported as `orphanedEdges`.
  */
 import { type IRBatch } from "@descryy/ir";
 import type { SqlDriver } from "./driver/driver.ts";
@@ -67,45 +11,27 @@ export interface WriteResult {
     readonly unresolvedWritten: number;
     /** Prior runs of the same adapter that this batch replaced. */
     readonly runsReplaced: number;
-    /**
-     * Files a replaced run covered that this batch did not re-supply. Their rows
-     * are gone and will not come back until the adapter is re-run over them.
-     * Non-empty is not an error, but it is never silent.
-     */
+    /** Files a replaced run covered that this batch didn't re-supply — gone until
+     *  re-run. Non-empty is not an error, but never silent. */
     readonly evictedFiles: readonly string[];
-    /**
-     * Edges removed because an endpoint node ceased to exist. Always reported:
-     * this is the one place the store deletes something nobody asked it to.
-     */
+    /** Edges removed because an endpoint node ceased to exist — the one place
+     *  the store deletes something nobody asked it to. */
     readonly orphanedEdges: number;
 }
 export interface WriteOptions {
     /** Injectable so the determinism proof is not at the mercy of the wall clock. */
     readonly now?: () => number;
 }
-/**
- * A run id derived from the batch's content, never a counter.
- *
- * Re-ingesting an identical batch must land on the same row, or "idempotent"
- * cannot even be stated as a property. `sourceFiles` is sorted first so that an
- * adapter listing the same files in a different order does not create a second
- * run for identical work.
- */
+/** Run id derived from the batch's content, never a counter — re-ingesting an
+ *  identical batch must land on the same row. `sourceFiles` sorted first so
+ *  order doesn't create a second run for identical work. */
 export declare function runIdFor(batch: IRBatch): string;
-/**
- * Write one normalised batch. **Input must already have passed the Normaliser** —
- * this function does no validation, on purpose. Two validators drift; one
- * validator at the boundary is a boundary.
- */
+/** Writes one normalised batch. Input must already have passed the Normaliser —
+ *  this does no validation, on purpose. Two validators drift. */
 export declare function writeBatch(driver: SqlDriver, batch: IRBatch, options?: WriteOptions): WriteResult;
-/**
- * Remove everything an adapter ever produced, at every version, for every repo.
- *
- * §24.1's invalidation rule, as its own operation rather than a side effect of
- * writing. It is deliberately separate from `writeBatch`: an upgraded adapter
- * usually re-runs over a subset of files first, and folding this into the write
- * path would make a partial re-run delete data it was never going to replace.
- */
+/** Removes everything an adapter ever produced, at every version, every repo
+ *  (§24.1). Kept separate from `writeBatch` — folding it in would make a
+ *  partial re-run delete data it was never going to replace. */
 export declare function invalidateAdapter(driver: SqlDriver, adapterId: string): {
     runsRemoved: number;
 };

package/dist/store/writer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"writer.d.ts","sourceRoot":"","sources":["../../src/store/writer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAGH,OAAO,EAAyB,KAAK,OAAO,EAAmC,MAAM,aAAa,CAAC;AAGnG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC;;;OAGG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,YAAY;IAC3B,iFAAiF;IACjF,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CAC7B;AAYD;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAI/C;AAmCD;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,MAAM,EAAE,SAAS,EACjB,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,YAAiB,GACzB,WAAW,CA0Nb;AAYD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,CAK/F;AAED,wEAAwE;AACxE,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,GACf,IAAI,CAON;AAED,6CAA6C;AAC7C,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAInF"}
+{"version":3,"file":"writer.d.ts","sourceRoot":"","sources":["../../src/store/writer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAyB,KAAK,OAAO,EAAmC,MAAM,aAAa,CAAC;AAGnG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B;+DAC2D;IAC3D,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC;0DACsD;IACtD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,YAAY;IAC3B,iFAAiF;IACjF,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CAC7B;AAYD;;4DAE4D;AAC5D,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAI/C;AAwBD;iEACiE;AACjE,wBAAgB,UAAU,CACxB,MAAM,EAAE,SAAS,EACjB,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,YAAiB,GACzB,WAAW,CA2Mb;AAYD;;gEAEgE;AAChE,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,CAK/F;AAED,wEAAwE;AACxE,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,GACf,IAAI,CAON;AAED,6CAA6C;AAC7C,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAInF"}