@davesheffer/hunch 0.23.0 → 0.24.0

package/dist/cli/index.js

@@ -43,6 +43,7 @@ import { formatContext } from "../core/format.js";
 import { readConfig, writeConfig, FIRMNESS_LEVELS, isFirmness } from "../core/config.js";
 import { blockingInScope, vetoInScope, proposedEditLines } from "../core/hookpolicy.js";
 import { loadGoldenSet, evaluateGraphLift } from "../eval/harness.js";
+import { computeDrift } from "../core/drift.js";
 import { draftTripwires, knownRepoDeps } from "../synthesis/tripwires.js";
 import { constraintId } from "../core/ids.js";
 import { readManifest, writeManifest, SCHEMA_VERSION } from "../core/migrate.js";
@@ -1273,6 +1274,20 @@ program
     }
     // Windows: detect/heal the Claude Code ~/.claude.json drive-letter case-split
     // that silently hides the hunch_* MCP tools. No-op (silent) off Windows.
+    // Memory drift: deterministic, advisory smoke detector for memory that has
+    // fallen out of sync with the code/docs (dead file refs, dangling supersedes,
+    // docs still marked "proposed"). Never blocks; never auto-fixes.
+    const drift = computeDrift(store, root);
+    if (drift.findings.length) {
+        console.log(`drift:      ⚠ ${drift.findings.length} finding(s) — memory may be out of sync with the code:`);
+        for (const f of drift.findings.slice(0, 20))
+            console.log(`              · [${f.kind}] ${f.id} — ${f.detail}`);
+        if (drift.findings.length > 20)
+            console.log(dim(`              … and ${drift.findings.length - 20} more`));
+    }
+    else {
+        console.log(`drift:      ✓ no stale refs, dangling supersedes, or stale "proposed" docs`);
+    }
     reportClaudeConfigHeal();
     store.close();
 });

package/dist/core/drift.js

@@ -0,0 +1,98 @@
+/**
+ * Memory drift checks (roadmap #7, dec_2a53072620). Deterministic, model-free
+ * comparisons of the curated graph against the actual code/docs — a smoke detector
+ * for stale memory, NOT a robot that rewrites it. Advisory only: `hunch doctor`
+ * prints findings; nothing blocks and nothing is auto-fixed. Each check maps to drift
+ * observed in practice:
+ *   - dead-ref:   an in-force decision points at a file that no longer exists.
+ *   - supersede:  A claims to supersede B, but B was never properly closed.
+ *   - doc-stale:  a doc marked "proposed / not yet implemented" references shipped code.
+ */
+import { existsSync, readFileSync, readdirSync } from "node:fs";
+import { join, extname } from "node:path";
+const STALE_MARKER = /\b(proposed|not yet implemented|no code yet)\b/i;
+const SRC_REF = /\bsrc\/[A-Za-z0-9_\-/]+\.ts\b/g;
+export function computeDrift(store, root) {
+    const findings = [];
+    const decisions = store.recs("decisions");
+    const byId = new Map(decisions.map((d) => [d.id, d]));
+    for (const d of decisions) {
+        // 1. DEAD-REFERENCE — only for in-force decisions; a superseded one referencing
+        //    a since-deleted file is legitimate history, not drift.
+        const inForce = d.status !== "superseded" && !d.superseded_by;
+        if (inForce) {
+            for (const f of d.related_files ?? []) {
+                if (!f || f.includes("*"))
+                    continue; // skip globs / empties
+                if (!existsSync(join(root, f))) {
+                    findings.push({ kind: "dead-ref", id: d.id, detail: `references missing file "${f}"` });
+                }
+            }
+        }
+        // 2. SUPERSEDE-INTEGRITY — a contradiction class: A.supersedes = B, but B is
+        //    either gone or still in force (the private-supersede bug shape).
+        if (d.supersedes) {
+            const target = byId.get(d.supersedes);
+            if (!target) {
+                findings.push({ kind: "supersede", id: d.id, detail: `supersedes "${d.supersedes}", which does not exist` });
+            }
+            else if (target.status !== "superseded" || target.superseded_by !== d.id) {
+                findings.push({
+                    kind: "supersede",
+                    id: d.id,
+                    detail: `supersedes "${d.supersedes}", but it is still in force (status=${target.status}, superseded_by=${target.superseded_by ?? "null"})`,
+                });
+            }
+        }
+    }
+    // 3. DOC-STALE — a doc that still advertises "proposed / not implemented" while
+    //    referencing code that exists. Heuristic + advisory; scoped to the repo's own
+    //    markdown (node_modules and sub-projects skipped).
+    for (const doc of markdownDocs(root)) {
+        const text = safeRead(doc.path);
+        if (!STALE_MARKER.test(text.slice(0, 1500)))
+            continue;
+        const existing = (text.match(SRC_REF) ?? []).find((r) => existsSync(join(root, r)));
+        if (existing) {
+            findings.push({ kind: "doc-stale", id: doc.rel, detail: `marked proposed/not-implemented but references shipped code (${existing})` });
+        }
+    }
+    return { findings };
+}
+function safeRead(path) {
+    try {
+        return readFileSync(path, "utf8");
+    }
+    catch {
+        return "";
+    }
+}
+const SKIP_DIRS = new Set(["node_modules", ".git", ".hunch", ".hunch-private", "dist", "vscode-extension", "site"]);
+/** Bounded walk for repo markdown (root + docs/, depth-limited; heavy/irrelevant trees skipped). */
+function markdownDocs(root) {
+    const out = [];
+    const walk = (dir, rel, depth) => {
+        if (depth > 4)
+            return;
+        let entries;
+        try {
+            entries = readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        for (const e of entries) {
+            if (e.isDirectory()) {
+                if (e.name.startsWith(".") || SKIP_DIRS.has(e.name))
+                    continue;
+                walk(join(dir, e.name), rel ? `${rel}/${e.name}` : e.name, depth + 1);
+            }
+            else if (extname(e.name) === ".md") {
+                out.push({ path: join(dir, e.name), rel: rel ? `${rel}/${e.name}` : e.name });
+            }
+        }
+    };
+    walk(root, "", 0);
+    return out;
+}
+//# sourceMappingURL=drift.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@davesheffer/hunch",
-  "version": "0.23.0",
+  "version": "0.24.0",
   "license": "Apache-2.0",
   "author": "Dave Sheffer <dave.sheffer1@gmail.com>",
   "description": "Hunch — an Engineering Memory OS: a persistent, git-native reasoning graph over a codebase, exposed to Claude Code via MCP.",