@inerrata-corporation/errata 2.0.23-dev.4734 → 2.0.23-dev.4796

package/generalize-worker.mjs

@@ -16010,7 +16010,8 @@ var SELECT_INDEXES = [
   "nodes_live_fold_candidate",
   "nodes_live_resolved",
   "nodes_live_fix_candidate",
-  "nodes_live_anchor_hint"
+  "nodes_live_anchor_hint",
+  "nodes_live_created_v2"
 ];
 var EMBEDDING_DIM_SQL = "(CASE WHEN length(embedding_blob) >= 4 THEN length(embedding_blob) / 4 ELSE COALESCE(json_array_length(embedding_json), 0) END)";
 var KEY = /^[A-Za-z_][A-Za-z0-9_]*(\.[A-Za-z_][A-Za-z0-9_]*)*$/;
@@ -16331,7 +16332,10 @@ CREATE UNIQUE INDEX IF NOT EXISTS edges_triple ON edges(from_id, type, to_id);
 `;
 var TEMPORAL_INDEX_SQL = `
 CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
-CREATE INDEX IF NOT EXISTS nodes_live_count ON nodes(valid_to);
+-- Dropped: a prefix of nodes_live_page_rank (valid_to, page_rank), which serves
+-- the live count and the "any live node?" check as a covering index too. It was
+-- re-keyed on every close and revive: ~11 KB of a symbol flip's ~80 KB.
+DROP INDEX IF EXISTS nodes_live_count;
 -- Problems by recency (the only label read newest-first). Over every live row,
 -- each write that stamps last_updated_at moved a code symbol's entry from a
 -- scattered leaf: ~19 KB per position-only symbol rewrite on a 1.1 GB store.
@@ -16343,7 +16347,13 @@ CREATE INDEX IF NOT EXISTS nodes_live_problem_recent ON nodes(label, last_update
 -- walks nodes_live and reads every live row of the label to test created_at:
 -- 56 MB per guard on a 1.1 GB store, to learn there was nothing to do. valid_to
 -- is a key column so the planner prefers this over nodes_live (one more term).
-CREATE INDEX IF NOT EXISTS nodes_live_created ON nodes(label, valid_to, created_at) WHERE valid_to IS NULL;
+-- last_updated_at rides along for errata.recent on code labels, which names this
+-- index: the filter runs on index entries, not on every row of the label (79 ms
+-- \u2192 3 ms for Function on a 1.1 GB store). It costs no extra writes: a close or
+-- revive already re-keys this index, and mergeNodeIfChanged leaves a symbol's
+-- last_updated_at alone when only its position moved.
+DROP INDEX IF EXISTS nodes_live_created;
+CREATE INDEX IF NOT EXISTS nodes_live_created_v2 ON nodes(label, valid_to, created_at, last_updated_at) WHERE valid_to IS NULL;
 -- Community members (the skills pull reads them twice per session boundary):
 -- ~15% of semantic nodes carry a localCommunity, and without this every live
 -- semantic row was read to find them (168 MB \u2192 18 MB per read).
@@ -16528,6 +16538,12 @@ function sameSqlValue(a, b) {
   if (a instanceof Uint8Array && b instanceof Uint8Array) return Buffer.compare(a, b) === 0;
   return false;
 }
+var POSITION_ATTRS = ["startByte", "endByte", "startRow"];
+function attrsJsonWithoutPositions(attrs) {
+  const rest = { ...attrs };
+  for (const k of POSITION_ATTRS) delete rest[k];
+  return JSON.stringify(rest);
+}
 var PRIOR_TAG_MARKER = '"priorTag":true';
 var SqliteGraphStore = class {
   db;
@@ -16628,7 +16644,7 @@ var SqliteGraphStore = class {
       lastUpdatedOf: this.db.prepare("SELECT last_updated_at AS t, attrs_json FROM nodes WHERE id = ?"),
       labelOf: this.db.prepare("SELECT label FROM nodes WHERE id = ?"),
       nodeContent: this.db.prepare(
-        "SELECT label, description, extraction_confidence, extraction_source, stability, valid_to, attrs_json FROM nodes WHERE id = ?"
+        "SELECT label, description, extraction_confidence, extraction_source, stability, valid_to, last_updated_at, attrs_json FROM nodes WHERE id = ?"
       ),
       edgeContent: this.db.prepare(
         "SELECT confidence, valid_to, attrs_json FROM edges WHERE from_id = ? AND type = ? AND to_id = ?"
@@ -17041,11 +17057,23 @@ var SqliteGraphStore = class {
    *  rank, community, landmark, surprise, hits, tier and the vector belong to
    *  the passes that compute them, and a skipped write leaves them as they are
    *  where a merge would have reset them to the producer's defaults. Returns
-   *  whether it wrote. */
+   *  whether it wrote.
+   *
+   *  A live row whose only change is its position keeps its lastUpdatedAt, so
+   *  that stamp means "this symbol's content changed": what errata.recent lists
+   *  and the fix-candidate ask reads, and what lets nodes_live_created_v2 carry
+   *  it without being re-keyed by every edit above a symbol. A closed row is
+   *  always stamped: reviveReobserved reopens what this pass stamped. */
   mergeNodeIfChanged(node) {
     const row = this.stmts.nodeContent.get(node.id);
-    if (row && row.valid_to === null && row.label === node.label && row.description === node.description && row.extraction_confidence === node.extractionConfidence && row.stability === node.stability && !EXPOSURE_ATTRS.some((k) => node.attrs?.[k] !== void 0) && row.attrs_json === JSON.stringify(node.attrs ?? {})) return false;
-    this.mergeNode(node);
+    if (!row || row.valid_to !== null || row.label !== node.label || row.description !== node.description || row.extraction_confidence !== node.extractionConfidence || row.stability !== node.stability || EXPOSURE_ATTRS.some((k) => node.attrs?.[k] !== void 0)) {
+      this.mergeNode(node);
+      return true;
+    }
+    const attrs = node.attrs ?? {};
+    if (row.attrs_json === JSON.stringify(attrs)) return false;
+    const moved = attrsJsonWithoutPositions(JSON.parse(row.attrs_json)) === attrsJsonWithoutPositions(attrs);
+    this.mergeNode(moved ? { ...node, lastUpdatedAt: row.last_updated_at } : node);
     return true;
   }
   updateNode(id, patch) {
@@ -17125,8 +17153,8 @@ var SqliteGraphStore = class {
       stmt2 = this.db.prepare(
         // Ordered, not left to the planner: readers take "first row wins" (the
         // symbol lexicon's name winner and doc pick), and the order otherwise
-        // followed whichever partial index the planner chose. nodes_live_created
-        // serves this order without a sort.
+        // followed whichever partial index the planner chose. nodes_live_created_v2
+        // serves it, sorting rowids only within an equal created_at.
         `SELECT id, description, community, extraction_confidence${cols} FROM nodes WHERE label = ? AND valid_to IS NULL ORDER BY created_at, rowid`
       );
       this.fieldStmts.set(cacheKey, stmt2);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inerrata-corporation/errata",
-  "version": "2.0.23-dev.4734",
+  "version": "2.0.23-dev.4796",
   "description": "errata - local-first observation engine for AI coding agents",
   "type": "module",
   "bin": {

package/pass-worker.mjs

@@ -26982,7 +26982,8 @@ var SELECT_INDEXES = [
   "nodes_live_fold_candidate",
   "nodes_live_resolved",
   "nodes_live_fix_candidate",
-  "nodes_live_anchor_hint"
+  "nodes_live_anchor_hint",
+  "nodes_live_created_v2"
 ];
 var EMBEDDING_DIM_SQL = "(CASE WHEN length(embedding_blob) >= 4 THEN length(embedding_blob) / 4 ELSE COALESCE(json_array_length(embedding_json), 0) END)";
 var KEY = /^[A-Za-z_][A-Za-z0-9_]*(\.[A-Za-z_][A-Za-z0-9_]*)*$/;
@@ -27303,7 +27304,10 @@ CREATE UNIQUE INDEX IF NOT EXISTS edges_triple ON edges(from_id, type, to_id);
 `;
 var TEMPORAL_INDEX_SQL = `
 CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
-CREATE INDEX IF NOT EXISTS nodes_live_count ON nodes(valid_to);
+-- Dropped: a prefix of nodes_live_page_rank (valid_to, page_rank), which serves
+-- the live count and the "any live node?" check as a covering index too. It was
+-- re-keyed on every close and revive: ~11 KB of a symbol flip's ~80 KB.
+DROP INDEX IF EXISTS nodes_live_count;
 -- Problems by recency (the only label read newest-first). Over every live row,
 -- each write that stamps last_updated_at moved a code symbol's entry from a
 -- scattered leaf: ~19 KB per position-only symbol rewrite on a 1.1 GB store.
@@ -27315,7 +27319,13 @@ CREATE INDEX IF NOT EXISTS nodes_live_problem_recent ON nodes(label, last_update
 -- walks nodes_live and reads every live row of the label to test created_at:
 -- 56 MB per guard on a 1.1 GB store, to learn there was nothing to do. valid_to
 -- is a key column so the planner prefers this over nodes_live (one more term).
-CREATE INDEX IF NOT EXISTS nodes_live_created ON nodes(label, valid_to, created_at) WHERE valid_to IS NULL;
+-- last_updated_at rides along for errata.recent on code labels, which names this
+-- index: the filter runs on index entries, not on every row of the label (79 ms
+-- \u2192 3 ms for Function on a 1.1 GB store). It costs no extra writes: a close or
+-- revive already re-keys this index, and mergeNodeIfChanged leaves a symbol's
+-- last_updated_at alone when only its position moved.
+DROP INDEX IF EXISTS nodes_live_created;
+CREATE INDEX IF NOT EXISTS nodes_live_created_v2 ON nodes(label, valid_to, created_at, last_updated_at) WHERE valid_to IS NULL;
 -- Community members (the skills pull reads them twice per session boundary):
 -- ~15% of semantic nodes carry a localCommunity, and without this every live
 -- semantic row was read to find them (168 MB \u2192 18 MB per read).
@@ -27500,6 +27510,12 @@ function sameSqlValue(a, b) {
   if (a instanceof Uint8Array && b instanceof Uint8Array) return Buffer.compare(a, b) === 0;
   return false;
 }
+var POSITION_ATTRS = ["startByte", "endByte", "startRow"];
+function attrsJsonWithoutPositions(attrs) {
+  const rest = { ...attrs };
+  for (const k of POSITION_ATTRS) delete rest[k];
+  return JSON.stringify(rest);
+}
 var PRIOR_TAG_MARKER = '"priorTag":true';
 var SqliteGraphStore = class {
   db;
@@ -27600,7 +27616,7 @@ var SqliteGraphStore = class {
       lastUpdatedOf: this.db.prepare("SELECT last_updated_at AS t, attrs_json FROM nodes WHERE id = ?"),
       labelOf: this.db.prepare("SELECT label FROM nodes WHERE id = ?"),
       nodeContent: this.db.prepare(
-        "SELECT label, description, extraction_confidence, extraction_source, stability, valid_to, attrs_json FROM nodes WHERE id = ?"
+        "SELECT label, description, extraction_confidence, extraction_source, stability, valid_to, last_updated_at, attrs_json FROM nodes WHERE id = ?"
       ),
       edgeContent: this.db.prepare(
         "SELECT confidence, valid_to, attrs_json FROM edges WHERE from_id = ? AND type = ? AND to_id = ?"
@@ -28013,11 +28029,23 @@ var SqliteGraphStore = class {
    *  rank, community, landmark, surprise, hits, tier and the vector belong to
    *  the passes that compute them, and a skipped write leaves them as they are
    *  where a merge would have reset them to the producer's defaults. Returns
-   *  whether it wrote. */
+   *  whether it wrote.
+   *
+   *  A live row whose only change is its position keeps its lastUpdatedAt, so
+   *  that stamp means "this symbol's content changed": what errata.recent lists
+   *  and the fix-candidate ask reads, and what lets nodes_live_created_v2 carry
+   *  it without being re-keyed by every edit above a symbol. A closed row is
+   *  always stamped: reviveReobserved reopens what this pass stamped. */
   mergeNodeIfChanged(node) {
     const row = this.stmts.nodeContent.get(node.id);
-    if (row && row.valid_to === null && row.label === node.label && row.description === node.description && row.extraction_confidence === node.extractionConfidence && row.stability === node.stability && !EXPOSURE_ATTRS.some((k) => node.attrs?.[k] !== void 0) && row.attrs_json === JSON.stringify(node.attrs ?? {})) return false;
-    this.mergeNode(node);
+    if (!row || row.valid_to !== null || row.label !== node.label || row.description !== node.description || row.extraction_confidence !== node.extractionConfidence || row.stability !== node.stability || EXPOSURE_ATTRS.some((k) => node.attrs?.[k] !== void 0)) {
+      this.mergeNode(node);
+      return true;
+    }
+    const attrs = node.attrs ?? {};
+    if (row.attrs_json === JSON.stringify(attrs)) return false;
+    const moved = attrsJsonWithoutPositions(JSON.parse(row.attrs_json)) === attrsJsonWithoutPositions(attrs);
+    this.mergeNode(moved ? { ...node, lastUpdatedAt: row.last_updated_at } : node);
     return true;
   }
   updateNode(id, patch) {
@@ -28097,8 +28125,8 @@ var SqliteGraphStore = class {
       stmt2 = this.db.prepare(
         // Ordered, not left to the planner: readers take "first row wins" (the
         // symbol lexicon's name winner and doc pick), and the order otherwise
-        // followed whichever partial index the planner chose. nodes_live_created
-        // serves this order without a sort.
+        // followed whichever partial index the planner chose. nodes_live_created_v2
+        // serves it, sorting rowids only within an equal created_at.
         `SELECT id, description, community, extraction_confidence${cols} FROM nodes WHERE label = ? AND valid_to IS NULL ORDER BY created_at, rowid`
       );
       this.fieldStmts.set(cacheKey, stmt2);
@@ -29130,10 +29158,12 @@ function crystallize(store2, opts = { ts: 0 }) {
     const s = support(c) + Math.max(0, sourcesCount(c) - 1);
     const f = contradictions;
     const confidence = (1 + s) / (2 + s + f);
-    store2.updateNode(c.id, {
-      attrs: { ...c.attrs, confidence },
-      lastUpdatedAt: opts.ts
-    });
+    if (c.attrs["confidence"] !== confidence) {
+      store2.updateNode(c.id, {
+        attrs: { ...c.attrs, confidence },
+        lastUpdatedAt: opts.ts
+      });
+    }
     const sup = support(c);
     let tier = c.memoryTier;
     if (sup >= PERSISTENT_SUPPORT && confidence >= PERSISTENT_CONFIDENCE) tier = "persistent";
@@ -29201,7 +29231,10 @@ function mergeTruthKind(a, b) {
 function markBoth(store2, a, b, patch, ts) {
   for (const n of [a, b]) {
     const fresh = store2.getNode(n.id);
-    store2.updateNode(n.id, { attrs: { ...fresh.attrs, ...patch }, lastUpdatedAt: ts });
+    const next = { ...patch };
+    if (fresh.attrs["revisit"] === true && fresh.attrs["revisitReason"] === next["revisitReason"]) delete next["revisitSinceTs"];
+    if (Object.entries(next).every(([k, v]) => fresh.attrs[k] === v)) continue;
+    store2.updateNode(n.id, { attrs: { ...fresh.attrs, ...next }, lastUpdatedAt: ts });
   }
 }
 

package/resources/context-plugin/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "errata-context",
-  "version": "2.0.23-dev.4734",
+  "version": "2.0.23-dev.4796",
   "description": "A minimal 3D view of loaded Errata priors and recent graph bursts.",
   "author": {
     "name": "inErrata"

package/resources/context-plugin/SHA256SUMS

@@ -1,4 +1,4 @@
-1cf9b23c192fdd174ce8e6758c456f5406439ff585d252e1765cdd7707583657  .codex-plugin/plugin.json
+65e39d2985c41acb67f59e3b44bd9eeff584addcae3c7cf6db9006fa89c0bea8  .codex-plugin/plugin.json
 a7bebae9fb01c838d6c75fc784129e28be571233fa66ff5ee8039b574f35ccf7  assets/icon.png
 fc38b64e4df1e0b72c35764bef6c4c05430d97c9009ad0ecc8a9e75b4deab232  configure-local.mjs
 73dc6028b3b070257c7c31f252d11e55a9e096f4aed0f187f10cb21716e1e6d7  dist/client.js