@inerrata-corporation/errata 2.0.2-dev.539 → 2.0.2-dev.545

package/errata.mjs

@@ -19287,16 +19287,24 @@ function closeDesignProblem(store, problemId, fixNote, t) {
   const p = store.getNode(problemId);
   if (!p || p.label !== "Problem") return false;
   if (p.attrs["resolvedAs"]) return false;
-  if (fixNote?.trim() && store.outEdges(problemId, ["SOLVED_BY"]).length === 0) {
-    const solId = `dfix_${digest({ problemId, fix: fixNote })}`.slice(0, 56);
-    store.mergeNode(
-      buildNode(store, solId, "Solution", fixNote.trim(), t, { source: "convo", provisional: false })
-    );
-    mergeEdge(store, problemId, solId, "SOLVED_BY", t);
+  if (fixNote?.trim()) {
+    const sols = store.outEdges(problemId, ["SOLVED_BY"]).map((e) => store.getNode(e.to)).filter((n) => n !== null);
+    if (sols.every((s) => isAutoMinted(s))) {
+      const solId = `dfix_${digest({ problemId, fix: fixNote })}`.slice(0, 56);
+      store.mergeNode(
+        buildNode(store, solId, "Solution", fixNote.trim(), t, { source: "convo", provisional: false })
+      );
+      mergeEdge(store, problemId, solId, "SOLVED_BY", t);
+    }
   }
   if (p.attrs["resolvedAt"]) return false;
   store.updateNode(problemId, {
-    attrs: { ...p.attrs, provisional: false, resolvedAt: t },
+    // `resolutionWitnessed` records WHO closed it — an agent's explicit fix tag
+    // — so the reopen sweep can tell this close from the heuristic auto-closes
+    // it polices. The solution SET is the wrong proxy: a bare `(fix:[handle])`
+    // mints no Solution, and a legacy placeholder beside it reads as
+    // all-heuristic either way.
+    attrs: { ...p.attrs, provisional: false, resolvedAt: t, resolutionWitnessed: true },
     lastUpdatedAt: t
   });
   return true;
@@ -19307,6 +19315,10 @@ function reopenAutoClosedProblems(store, t) {
     if (p.attrs["resolvedAt"] == null) continue;
     if (p.attrs["resolvedAs"] != null) continue;
     if (p.attrs["mergedInto"] !== void 0) continue;
+    if (p.attrs["resolutionWitnessed"] === true) {
+      report.agentDescribed++;
+      continue;
+    }
     const sols = store.outEdges(p.id, ["SOLVED_BY"]).map((e) => store.getNode(e.to)).filter((n) => n !== null);
     if (sols.length === 0) continue;
     if (!sols.every((s) => String(s.description ?? "").startsWith(AUTO_MINT_PREFIX))) {
@@ -21991,6 +22003,23 @@ var init_mechanism_liveness = __esm({
         // it is declared fed-by-liveness so the row exists and the pass is watched.
         fed: { labels: ["File"], attr: "relPath", minFraction: 0.9 },
         effectCounter: "reaped"
+      },
+      {
+        id: "liveness-watch",
+        what: "the daemon-side schedule of this very verdict \u2014 alarms when a mechanism stops working",
+        // The watcher is itself a row: a probe that only runs when a human remembers
+        // is how the original six defects shipped, and a scheduled watch that
+        // silently stops running is the same failure one level up. Its `invoked …
+        // ago` column is the reading that matters.
+        pass: "liveness-watch",
+        // It reads the pass LEDGER, not a node attribute; minFraction 0 makes the
+        // fed gate structurally unfailable (the same "field written at all" bar as
+        // revisit-sweep) so this row can only ever alarm on invocation.
+        fed: { labels: ["Problem"], attr: "revisitReason", minFraction: 0 },
+        // Alarms ARE its state transitions; zero on a healthy store, so the steady
+        // reading is IDLE — correct, and it declares no backlog on purpose.
+        effectCounter: "alarms",
+        note: "steady-state IDLE is healthy; the row exists for its invocation age"
       }
     ];
     COLUMN_INPUTS = {
@@ -52540,6 +52569,50 @@ function appendPassLedger(configDir, kind, durationMs, counts) {
   } catch {
   }
 }
+function readPassLedger(configDir) {
+  const path2 = passLedgerPath(configDir);
+  if (!existsSync15(path2)) return [];
+  try {
+    return readFileSync13(path2, "utf8").split("\n").filter(Boolean).map((l) => JSON.parse(l)).filter(
+      (e) => typeof e?.ts === "number" && typeof e?.kind === "string" && typeof e?.durationMs === "number"
+    ).map((e) => ({ ...e, counts: e.counts ?? {} }));
+  } catch {
+    return [];
+  }
+}
+function summarizePassLedger(configDir) {
+  const out2 = /* @__PURE__ */ new Map();
+  const firstTs = /* @__PURE__ */ new Map();
+  for (const e of readPassLedger(configDir)) {
+    const s = out2.get(e.kind) ?? {
+      kind: e.kind,
+      runs: 0,
+      firstTs: Number.POSITIVE_INFINITY,
+      lastTs: 0,
+      lastDurationMs: 0,
+      totals: {},
+      firstTotals: {},
+      lastTotals: {}
+    };
+    s.runs++;
+    if (e.ts >= s.lastTs) {
+      s.lastTs = e.ts;
+      s.lastDurationMs = e.durationMs;
+      s.lastTotals = { ...e.counts };
+    }
+    const seen = firstTs.get(e.kind);
+    if (seen === void 0 || e.ts < seen) {
+      firstTs.set(e.kind, e.ts);
+      s.firstTs = e.ts;
+      s.firstTotals = { ...e.counts };
+    }
+    for (const [k, v] of Object.entries(e.counts)) {
+      if (typeof v === "number") s.totals[k] = (s.totals[k] ?? 0) + v;
+    }
+    out2.set(e.kind, s);
+  }
+  return out2;
+}
 
 // src/episode.ts
 init_src();
@@ -54129,7 +54202,8 @@ var TITLES = {
   "problem-resolved": "Errata \xB7 resolved \u2713",
   "hotspot-problem": "Errata \xB7 high-impact problem",
   "index-started": "Errata \xB7 indexing\u2026",
-  "index-completed": "Errata \xB7 index ready \u2713"
+  "index-completed": "Errata \xB7 index ready \u2713",
+  "mechanism-stalled": "Errata \xB7 a mechanism is not working"
 };
 var lastFired = /* @__PURE__ */ new Map();
 var THROTTLE_MS = 3e4;
@@ -54177,6 +54251,54 @@ function maybeFlushDigests() {
   }
 }
 
+// src/liveness-watch.ts
+init_src5();
+var LIVENESS_WATCH_INTERVAL_MS = 60 * 60 * 1e3;
+var ALARM_RENOTIFY_MS = 24 * 60 * 60 * 1e3;
+function createLivenessWatch(deps) {
+  let lastRunAt = 0;
+  const lastAlarmedAt = /* @__PURE__ */ new Map();
+  return {
+    maybeRun(nowMs = Date.now()) {
+      if (nowMs - lastRunAt < LIVENESS_WATCH_INTERVAL_MS) return null;
+      lastRunAt = nowMs;
+      try {
+        const started2 = Date.now();
+        const invocations = /* @__PURE__ */ new Map();
+        for (const [kind, s] of summarizePassLedger(deps.configDir)) {
+          invocations.set(kind, {
+            lastTs: s.lastTs,
+            firstTs: s.firstTs,
+            runs: s.runs,
+            totals: s.totals,
+            firstTotals: s.firstTotals,
+            lastTotals: s.lastTotals
+          });
+        }
+        const rows = evaluateMechanisms(deps.store, invocations);
+        const bad = rows.filter((r) => hasStarvedMechanism([r]));
+        appendPassLedger(deps.configDir, "liveness-watch", Date.now() - started2, {
+          mechanisms: rows.length,
+          alarms: bad.length
+        });
+        if (bad.length > 0) {
+          const lines = formatMechanismStatus(rows, nowMs);
+          for (const r of bad) {
+            const at = lastAlarmedAt.get(r.id) ?? 0;
+            if (nowMs - at < ALARM_RENOTIFY_MS) continue;
+            lastAlarmedAt.set(r.id, nowMs);
+            const line = lines.find((l) => l.includes(r.id)) ?? `${r.verdict} ${r.id}`;
+            deps.onAlarm(r.id, `${line.trim()} \u2014 ${r.what}`);
+          }
+        }
+        return rows;
+      } catch {
+        return null;
+      }
+    }
+  };
+}
+
 // src/loop-lag.ts
 var HEARTBEAT_MS = 500;
 var currentPass = "idle";
@@ -54206,7 +54328,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.539" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.545" : "2.0.0-alpha.0";
 var IGNORED_PATH = /[\\/](?:\.git|node_modules|\.errata|\.claude|\.codex|\.cursor|\.turbo|\.next|dist|coverage|test-results|playwright-report|__pycache__)(?:[\\/]|$)/;
 var IGNORED_NOISE = /castalia\.db|eventlog\.sqlite|turn-cursors/;
 var GIT_OP_MUTE_MS = 4e3;
@@ -54529,6 +54651,14 @@ function createWorkspaceEngine(opts) {
     });
   }
   const workingFiles = createWorkingFileState();
+  const livenessWatch = createLivenessWatch({
+    configDir: paths.configDir,
+    store,
+    onAlarm: (id, line) => {
+      console.warn(`[errata] mechanism not working: ${line}`);
+      notifyEvent("mechanism-stalled", line, { key: id });
+    }
+  });
   const intents = createIntentState();
   const toolRuns = createToolRunState();
   let ctxRefreshTimer = null;
@@ -55054,7 +55184,16 @@ function createWorkspaceEngine(opts) {
             }
             continue;
           }
-          if (resolveDesignProblemById(store, pid, fx.fixNote, t)) {
+          const closed = resolveDesignProblemById(store, pid, fx.fixNote, t);
+          if (!closed) {
+            const n = store.getNode(pid);
+            if (!n || n.label !== "Problem" || n.attrs["resolvedAs"] != null) {
+              console.warn(
+                `[errata] fix tag went nowhere: ${!n ? `id ${pid.slice(0, 32)} unknown` : n.label !== "Problem" ? `${pid.slice(0, 32)} is a ${n.label}, not a Problem` : "the problem was retracted \u2014 a retraction is not fixable"} \u2014 the fix was NOT recorded`
+              );
+            }
+          }
+          if (closed) {
             resolved++;
             const fxAnchor = editedTurnFile ?? turnFile ?? wf;
             if (fxAnchor) {
@@ -55661,6 +55800,7 @@ function createWorkspaceEngine(opts) {
       if (report.revisitsCleared > 0 || report.fixCandidatesSettled > 0 || report.designResolved > 0) {
         refreshContextNow();
       }
+      livenessWatch.maybeRun();
       return report;
     },
     async nightly() {

package/package.json

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

package/pass-worker.mjs

@@ -25627,6 +25627,10 @@ function reopenAutoClosedProblems(store2, t) {
     if (p.attrs["resolvedAt"] == null) continue;
     if (p.attrs["resolvedAs"] != null) continue;
     if (p.attrs["mergedInto"] !== void 0) continue;
+    if (p.attrs["resolutionWitnessed"] === true) {
+      report.agentDescribed++;
+      continue;
+    }
     const sols = store2.outEdges(p.id, ["SOLVED_BY"]).map((e) => store2.getNode(e.to)).filter((n) => n !== null);
     if (sols.length === 0) continue;
     if (!sols.every((s) => String(s.description ?? "").startsWith(AUTO_MINT_PREFIX))) {