@jmtrin/opencode-kevin 0.6.0 → 0.7.0

package/dist/plugin/ConventionMiner.js

@@ -0,0 +1,243 @@
+import { fingerprint } from "./fingerprint.js";
+const DEFAULT_MIN_SUPPORT = 5;
+export class ConventionMiner {
+    store;
+    memoryService;
+    projectId;
+    metrics;
+    constructor(store, memoryService, projectId, metrics) {
+        this.store = store;
+        this.memoryService = memoryService;
+        this.projectId = projectId;
+        this.metrics = metrics ?? null;
+        // `memoryService` is retained for emission (K7-012); mining itself is
+        // store-only.
+        void this.memoryService;
+    }
+    /** v0.7.0 (K7-010) — the `sequence` miner over successful tool_calls. */
+    mineSequence(minSupport = DEFAULT_MIN_SUPPORT) {
+        const rows = this.fetchToolCalls();
+        if (rows.length === 0)
+            return [];
+        // Group successful calls by session in execution order (ts ASC, then id
+        // as a deterministic tie-break).
+        const bySession = new Map();
+        const sorted = [...rows]
+            .filter((r) => r.success === 1)
+            .sort((a, b) => a.session_id === b.session_id
+            ? compareTs(a.ts, b.ts) || a.id.localeCompare(b.id)
+            : a.session_id.localeCompare(b.session_id));
+        for (const r of sorted) {
+            const list = bySession.get(r.session_id) ?? [];
+            list.push(r);
+            bySession.set(r.session_id, list);
+        }
+        const map = new Map();
+        const record = (key, statement, sessionId) => {
+            let cand = map.get(key);
+            if (!cand) {
+                cand = { key, statement, sessions: new Set() };
+                map.set(key, cand);
+            }
+            cand.sessions.add(sessionId);
+        };
+        for (const [sessionId, list] of bySession) {
+            if (list.length < 2)
+                continue;
+            for (let i = 0; i < list.length - 1; i++) {
+                const a = list[i];
+                const b = list[i + 1];
+                const aTok = tokenOf(a);
+                const bTok = tokenOf(b);
+                const key2 = `seq::${aTok}::${bTok}`;
+                const stmt2 = statementForSequence(aTok, bTok);
+                record(key2, stmt2, sessionId);
+                if (i + 2 < list.length) {
+                    const c = list[i + 2];
+                    const cTok = tokenOf(c);
+                    const key3 = `seq::${aTok}::${bTok}::${cTok}`;
+                    const stmt3 = statementForSequence3(aTok, bTok, cTok);
+                    record(key3, stmt3, sessionId);
+                }
+            }
+        }
+        return this.materialize(map, minSupport, "sequence");
+    }
+    /** v0.7.0 (K7-011) — the `co_edit` miner over same-session file writes. */
+    mineCoEdit(minSupport = DEFAULT_MIN_SUPPORT) {
+        const rows = this.fetchToolCalls();
+        if (rows.length === 0)
+            return [];
+        // Successful file writes (broad: any success call mentioning a path) per
+        // session. Pairs span two different directory prefixes.
+        const bySession = new Map();
+        const sorted = [...rows]
+            .filter((r) => r.success === 1 && pathOf(r) !== null)
+            .sort((a, b) => a.session_id === b.session_id
+            ? compareTs(a.ts, b.ts) || a.id.localeCompare(b.id)
+            : a.session_id.localeCompare(b.session_id));
+        for (const r of sorted) {
+            const list = bySession.get(r.session_id) ?? [];
+            list.push(pathOf(r));
+            bySession.set(r.session_id, list);
+        }
+        const map = new Map();
+        const record = (key, statement, sessionId) => {
+            let cand = map.get(key);
+            if (!cand) {
+                cand = { key, statement, sessions: new Set() };
+                map.set(key, cand);
+            }
+            cand.sessions.add(sessionId);
+        };
+        for (const [sessionId, paths] of bySession) {
+            const unique = [...new Set(paths)];
+            if (unique.length < 2)
+                continue;
+            // Bounded enumeration: a large session must not explode into an
+            // O(n²) pair set. Cap distinct prefixes per session at 40.
+            const limit = Math.min(unique.length, 40);
+            for (let i = 0; i < limit; i++) {
+                const pA = unique[i];
+                for (let j = i + 1; j < limit; j++) {
+                    const pB = unique[j];
+                    const prefixA = dirOf(pA);
+                    const prefixB = dirOf(pB);
+                    if (prefixA === prefixB)
+                        continue;
+                    const [lo, hi] = prefixA < prefixB ? [prefixA, prefixB] : [prefixB, prefixA];
+                    const key = `coedit::${lo}::${hi}`;
+                    const stmt = `every new file under ${lo}/ is accompanied by a change under ${hi}/`;
+                    record(key, stmt, sessionId);
+                }
+            }
+        }
+        return this.materialize(map, minSupport, "co_edit");
+    }
+    /** v0.7.0 (K7-012) — mine both kinds in one call. */
+    mine(minSupport = DEFAULT_MIN_SUPPORT) {
+        return [
+            ...this.mineSequence(minSupport),
+            ...this.mineCoEdit(minSupport),
+        ].sort((a, b) => a.statement.localeCompare(b.statement));
+    }
+    /**
+     * v0.7.0 (K7-012 / plan §5.4, D7-11) — emit mined(conventions) as `rule`
+     * memories. Returns the number of memories created or refreshed and
+     * increments `conventions_mined`. Runs on session.idle only, behind
+     * convention_mining_enabled. The fingerprint derives from the statement,
+     * so a re-mine of an unchanged convention collides and supersedes.
+     */
+    emit(conventions) {
+        let emitted = 0;
+        for (const c of conventions) {
+            const derivedFingerprint = fingerprint(c.statement, this.projectId);
+            // save() derives the fingerprint-based supersede/collision path for
+            // `rule` types automatically, so re-emitting an unchanged convention
+            // refreshes rather than duplicates.
+            this.memoryService.save({
+                type: "rule",
+                origin: "pattern",
+                scope: "project",
+                projectId: this.projectId,
+                fingerprint: derivedFingerprint,
+                content: c.statement,
+                relevanceScore: 0.5,
+                sourceTool: "ConventionMiner",
+            });
+            this.metrics?.incr("conventions_mined", 1);
+            emitted += 1;
+        }
+        return emitted;
+    }
+    materialize(map, minSupport, kind) {
+        const out = [];
+        for (const cand of map.values()) {
+            if (cand.sessions.size < minSupport)
+                continue;
+            out.push({
+                fingerprint: fingerprint(cand.statement, this.projectId),
+                statement: cand.statement,
+                support: cand.sessions.size,
+                kind,
+            });
+        }
+        // Deterministic order: lexicographic by statement (ties are resolved).
+        return out.sort((a, b) => a.statement.localeCompare(b.statement));
+    }
+    fetchToolCalls() {
+        const rows = this.store
+            .prepare(`SELECT id, session_id, ts, tool, success, args_summary
+				 FROM tool_calls
+				 WHERE project_id = ?
+				 ORDER BY session_id, ts`)
+            .all(this.projectId);
+        return rows;
+    }
+}
+// ---------------------------------------------------------------------------
+// Helpers — deterministic token/path extraction. Every value is normalized so
+// the same underlying fact never collides via a JavaScript type difference.
+// ---------------------------------------------------------------------------
+/** `<tool>:<first path segment>` token for sequence mining. */
+function tokenOf(r) {
+    const seg = firstPathSegment(r.args_summary);
+    return `${r.tool}:${seg}`;
+}
+function compareTs(a, b) {
+    return a.localeCompare(b);
+}
+/** First path segment of the first path-like argument, else "*". */
+function firstPathSegment(argsSummary) {
+    const paths = pathSegments(argsSummary);
+    const first = paths[0];
+    if (!first)
+        return "*";
+    return first.split("/").filter(Boolean)[0] ?? "*";
+}
+/** All path segments found in args_summary, in appearance order. */
+function pathSegments(argsSummary) {
+    const text = argsSummary ?? "";
+    const found = [];
+    // Try JSON object string values first.
+    try {
+        const parsed = JSON.parse(text);
+        if (typeof parsed === "object" &&
+            parsed !== null &&
+            !Array.isArray(parsed)) {
+            for (const v of Object.values(parsed)) {
+                if (typeof v === "string" && /\//.test(v) && !v.includes(" ")) {
+                    found.push(v.replace(/\\/g, "/").toLowerCase().trim());
+                }
+            }
+        }
+    }
+    catch {
+        /* not JSON */
+    }
+    if (found.length === 0) {
+        const m = text.match(/[^\s"':,=]*\/[^\s"':,=]*/g);
+        for (const tok of m ?? []) {
+            found.push(tok.replace(/\\/g, "/").toLowerCase().trim());
+        }
+    }
+    return found;
+}
+/** Directory of a path (drop the filename). `src/routes/user.ts` → `src/routes`. */
+function dirOf(p) {
+    const segs = p.split("/").filter(Boolean);
+    segs.pop();
+    return segs.join("/") || "*";
+}
+/** A deterministic path for a call if it is a file write/read on disk. */
+function pathOf(r) {
+    const segs = pathSegments(r.args_summary);
+    return segs[0] ?? null;
+}
+function statementForSequence(a, b) {
+    return `every ${a} is immediately followed by ${b}`;
+}
+function statementForSequence3(a, b, c) {
+    return `every ${a} is followed by ${b} and then ${c}`;
+}
+//# sourceMappingURL=ConventionMiner.js.map

package/dist/plugin/ConventionMiner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConventionMiner.js","sourceRoot":"","sources":["../../plugin/ConventionMiner.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAyC/C,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAE9B,MAAM,OAAO,eAAe;IAIT;IACA;IACA;IALD,OAAO,CAAiB;IAEzC,YACkB,KAAY,EACZ,aAA4B,EAC5B,SAAiB,EAClC,OAAwB;QAHP,UAAK,GAAL,KAAK,CAAO;QACZ,kBAAa,GAAb,aAAa,CAAe;QAC5B,cAAS,GAAT,SAAS,CAAQ;QAGlC,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC;QAC/B,sEAAsE;QACtE,cAAc;QACd,KAAK,IAAI,CAAC,aAAa,CAAC;IACzB,CAAC;IAED,yEAAyE;IACzE,YAAY,CAAC,UAAU,GAAG,mBAAmB;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEjC,wEAAwE;QACxE,iCAAiC;QACjC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;QACnD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC;aAC9B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACd,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;YAC5B,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAC3C,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACb,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QAID,MAAM,GAAG,GAAG,IAAI,GAAG,EAAgB,CAAC;QACpC,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,SAAiB,EAAE,SAAiB,EAAE,EAAE;YACpE,IAAI,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,CAAC;gBACX,IAAI,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;gBACvD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACpB,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,QAAQ,IAAI,KAAK,IAAI,EAAE,CAAC;gBACrC,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC/C,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAE/B,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACtB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;oBACxB,MAAM,IAAI,GAAG,QAAQ,IAAI,KAAK,IAAI,KAAK,IAAI,EAAE,CAAC;oBAC9C,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;oBACtD,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAChC,CAAC;YACF,CAAC;QACF,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC;IAED,2EAA2E;IAC3E,UAAU,CAAC,UAAU,GAAG,mBAAmB;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEjC,yEAAyE;QACzE,wDAAwD;QACxD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC9C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;aACpD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACd,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;YAC5B,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAC3C,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC,CAAC;YAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QAID,MAAM,GAAG,GAAG,IAAI,GAAG,EAAgB,CAAC;QACpC,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,SAAiB,EAAE,SAAiB,EAAE,EAAE;YACpE,IAAI,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,CAAC;gBACX,IAAI,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;gBACvD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACpB,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACnC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAChC,gEAAgE;YAChE,2DAA2D;YAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACrB,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;oBACpC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;oBACrB,MAAM,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;oBAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;oBAC1B,IAAI,OAAO,KAAK,OAAO;wBAAE,SAAS;oBAClC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GACb,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;oBAC7D,MAAM,GAAG,GAAG,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC;oBACnC,MAAM,IAAI,GAAG,wBAAwB,EAAE,sCAAsC,EAAE,GAAG,CAAC;oBACnF,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC9B,CAAC;YACF,CAAC;QACF,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACrD,CAAC;IAED,qDAAqD;IACrD,IAAI,CAAC,UAAU,GAAG,mBAAmB;QACpC,OAAO;YACN,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC;YAChC,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;SAC9B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;;OAMG;IACH,IAAI,CAAC,WAA8B;QAClC,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC7B,MAAM,kBAAkB,GAAG,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACpE,oEAAoE;YACpE,qEAAqE;YACrE,oCAAoC;YACpC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,SAAS;gBACjB,KAAK,EAAE,SAAS;gBAChB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,WAAW,EAAE,kBAAkB;gBAC/B,OAAO,EAAE,CAAC,CAAC,SAAS;gBACpB,cAAc,EAAE,GAAG;gBACnB,UAAU,EAAE,iBAAiB;aAC7B,CAAC,CAAC;YACH,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;YAC3C,OAAO,IAAI,CAAC,CAAC;QACd,CAAC;QACD,OAAO,OAAO,CAAC;IAChB,CAAC;IAEO,WAAW,CAClB,GAA2E,EAC3E,UAAkB,EAClB,IAA4B;QAE5B,MAAM,GAAG,GAAsB,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,UAAU;gBAAE,SAAS;YAC9C,GAAG,CAAC,IAAI,CAAC;gBACR,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC;gBACxD,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBAC3B,IAAI;aACJ,CAAC,CAAC;QACJ,CAAC;QACD,uEAAuE;QACvE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,CAAC;IAEO,cAAc;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK;aACrB,OAAO,CACP;;;6BAGyB,CACzB;aACA,GAAG,CAAC,IAAI,CAAC,SAAS,CAAkB,CAAC;QACvC,OAAO,IAAI,CAAC;IACb,CAAC;CACD;AAED,8EAA8E;AAC9E,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E,+DAA+D;AAC/D,SAAS,OAAO,CAAC,CAAc;IAC9B,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACtC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,oEAAoE;AACpE,SAAS,gBAAgB,CAAC,WAA0B;IACnD,MAAM,KAAK,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,CAAC;IACvB,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;AACnD,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAC,WAA0B;IAC/C,MAAM,IAAI,GAAG,WAAW,IAAI,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,uCAAuC;IACvC,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QAC3C,IACC,OAAO,MAAM,KAAK,QAAQ;YAC1B,MAAM,KAAK,IAAI;YACf,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EACrB,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAc,EAAE,CAAC;gBACpD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/D,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxD,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAAC,MAAM,CAAC;QACR,cAAc;IACf,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1D,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,SAAS,KAAK,CAAC,CAAS;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AAC9B,CAAC;AAED,0EAA0E;AAC1E,SAAS,MAAM,CAAC,CAAc;IAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACxB,CAAC;AAED,SAAS,oBAAoB,CAAC,CAAS,EAAE,CAAS;IACjD,OAAO,SAAS,CAAC,+BAA+B,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,qBAAqB,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IAC7D,OAAO,SAAS,CAAC,mBAAmB,CAAC,aAAa,CAAC,EAAE,CAAC;AACvD,CAAC"}

package/dist/plugin/Curator.js

@@ -2,6 +2,7 @@ import { homedir } from "node:os";
 import { join } from "node:path";
 import { MARKER_BEGIN, MARKER_END, } from "./ArtifactWriter.js";
 import { computeConfidence } from "./confidence.js";
+import { normalize } from "./fingerprint.js";
 import { uuidv7 } from "./uuid.js";
 const MAX_CANDIDATE_LINES = 20;
 const MAX_CANDIDATE_CHARS = 4000;
@@ -127,20 +128,27 @@ export class Curator {
         const candidates = this.candidates();
         if (candidates.length === 0)
             return [];
-        const newBlock = this.renderBlock(candidates);
-        const currentBlock = extractBlock(writer.plan(targetPath, newBlock).before);
-        // Merge: keep the current block verbatim and append only lines that
-        // are not already in it. Without the dedup, a block the user (or an
-        // approval) already pasted would be proposed doubled.
-        const currentLines = currentBlock === "" ? [] : currentBlock.split(/\r?\n/);
-        const newLines = newBlock
-            .split("\n")
-            .filter((l) => l !== "" && !currentLines.includes(l));
-        const mergedBlock = currentBlock === ""
-            ? newBlock
-            : newLines.length === 0
-                ? currentBlock
+        const readPlan = writer.plan(targetPath, this.renderBlock(candidates));
+        const currentBlock = extractBlock(readPlan.before);
+        // v0.7.0 (K7-013 / plan §4, D6-09) — de-duplicate against the WHOLE
+        // file, not just the region between Kevin's markers. A convention the
+        // user already wrote in their own words in their own section must not
+        // be proposed back to them. The comparison is over the same normalized
+        // tokens the fingerprint uses — no new similarity metric (D7-11).
+        const entireFile = wholeFileLines(readPlan.before);
+        const freshCandidates = candidates.filter((candidate) => !entireFile.has(normalizeBullet(candidate.line)));
+        if (freshCandidates.length === 0 && currentBlock === "")
+            return [];
+        const newBlock = this.renderBlock(freshCandidates);
+        const newLines = newBlock.split("\n").filter((l) => l !== "");
+        const mergedBlock = newLines.length === 0
+            ? currentBlock
+            : currentBlock === ""
+                ? `${newLines.join("\n")}\n`
                 : `${currentBlock}${currentBlock.endsWith("\n") ? "" : "\n"}${newLines.join("\n")}\n`;
+        // v0.7.0 (K7-013) — nothing new to propose: every candidate is already
+        // in the file (inside or outside the markers). A vacuous proposal would
+        // be noise; return none.
         const plan = writer.plan(targetPath, mergedBlock);
         const prior = this.store
             .prepare(`SELECT id FROM curation_proposals
@@ -150,7 +158,7 @@ export class Curator {
         for (const row of prior) {
             this.transition(row.id, "supersede");
         }
-        const memoryIds = candidates.map((c) => c.memoryId);
+        const memoryIds = freshCandidates.map((c) => c.memoryId);
         const id = uuidv7();
         this.store
             .prepare(`INSERT INTO curation_proposals
@@ -249,4 +257,27 @@ function extractBlock(before) {
         .replace(/^\r?\n/, "")
         .replace(/\r?\n$/, "");
 }
+/**
+ * v0.7.0 (K7-013 / plan §4) — the normalized set of bullet statements across
+ * the WHOLE file, including any the user wrote outside Kevin's markers. Only
+ * markdown bullets (`- ...`) are considered: prose and the marker lines are
+ * never a candidate to propose back.
+ */
+function wholeFileLines(before) {
+    const set = new Set();
+    for (const line of before.split(/\r?\n/)) {
+        if (line.trim().startsWith("-")) {
+            set.add(normalizeBullet(line));
+        }
+    }
+    return set;
+}
+/** Normalize a rendered bullet for de-duplication — strip the marker prefix. */
+function normalizeBullet(line) {
+    const statement = line
+        .replace(/^\s*-\s+/, "")
+        .trim()
+        .replace(/\s+\((?:verified|feedback)[^)]*\)\s*$/i, "");
+    return normalize(statement);
+}
 //# sourceMappingURL=Curator.js.map

package/dist/plugin/Curator.js.map

@@ -1 +1 @@
-{"version":3,"file":"Curator.js","sourceRoot":"","sources":["../../plugin/Curator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAEN,YAAY,EACZ,UAAU,GACV,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAwCnC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,MAAM,mBAAmB,GAAG,IAAI,CAAC;AACjC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAa/B,MAAM,UAAU,aAAa,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,cAAc,CAAC,GAAiB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB;YAChC,CAAC,CAAC,UAAU,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;YAC/C,CAAC,CAAC,EAAE,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,cAAc,IAAI,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,GAAG,CAAC,iBAAiB,IAAI,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,iBAAiB,GAAG,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,OAAO,OAAO;IAID;IACA;IACA;IALD,OAAO,CAAiB;IAEzC,YACkB,KAAY,EACZ,aAA4B,EAC5B,SAAiB,EAClC,OAAwB;QAHP,UAAK,GAAL,KAAK,CAAO;QACZ,kBAAa,GAAb,aAAa,CAAe;QAC5B,cAAS,GAAT,SAAS,CAAQ;QAGlC,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC;IAChC,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,UAAU,CAAC,KAAc;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK;aACrB,OAAO,CACP;;;;;;;;0DAQsD,CACtD;aACA,GAAG,EAAoB,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI;aACjB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACd,GAAG;YACH,UAAU,EAAE,iBAAiB,CAC5B,GAAG,CAAC,cAAc,IAAI,CAAC,EACvB,GAAG,CAAC,gBAAgB,IAAI,CAAC,EACzB,GAAG,CAAC,iBAAiB,IAAI,CAAC,EAC1B,GAAG,CAAC,iBAAiB,IAAI,CAAC,CAC1B;SACD,CAAC,CAAC;aACF,MAAM,CACN,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,CACvE;aACA,IAAI,CACJ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACR,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU;YAC3B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CACjD,CAAC;QAEH,MAAM,QAAQ,GAAG,KAAK,IAAI,mBAAmB,CAAC;QAC9C,MAAM,MAAM,GAAwB,EAAE,CAAC;QACvC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,MAAM,IAAI,QAAQ;gBAAE,MAAM;YACrC,IAAI,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,mBAAmB;gBAAE,MAAM;YACnE,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE;gBAClB,IAAI,EAAE,KAAK,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,GAAG;gBACvD,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,QAAQ;aACR,CAAC,CAAC;YACH,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;QACpC,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED;;;;OAIG;IACH,WAAW,CAAC,UAA+B;QAC1C,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CACpC,CAAC;QACF,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACpD,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,IAAkB,EAAE,MAAsB;QACjD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEvC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5E,oEAAoE;QACpE,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,YAAY,GAAG,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,QAAQ;aACvB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,WAAW,GAChB,YAAY,KAAK,EAAE;YAClB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,GAAG,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACzF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAElD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK;aACtB,OAAO,CACP;;6CAEyC,CACzC;aACA,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAqB,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK;aACR,OAAO,CACP;;;6CAGyC,CACzC;aACA,GAAG,CACH,EAAE,EACF,IAAI,CAAC,SAAS,EACd,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EACnB,IAAI,EACJ,UAAU,EACV,WAAW,EACX,IAAI,CAAC,IAAI,CACT,CAAC;QACH,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAE3C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK;aACpB,OAAO,CAAC,wDAAwD,CAAC;aACjE,GAAG,CAAC,EAAE,CAA2B,CAAC;QACpC,OAAO;YACN;gBACC,EAAE;gBACF,IAAI;gBACJ,UAAU;gBACV,SAAS;gBACT,YAAY,EAAE,WAAW;gBACzB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,SAAkB;gBAC1B,SAAS,EAAE,GAAG,CAAC,UAAU;aACzB;SACD,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,UAAU,CACT,UAAkB,EAClB,UAA8B;QAE9B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK;aACpB,OAAO,CAAC,oDAAoD,CAAC;aAC7D,GAAG,CAAC,UAAU,CAAmC,CAAC;QACpD,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,uBAAuB,UAAU,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,IAAI,IAAI,GAA0B,IAAI,CAAC;QACvC,QAAQ,UAAU,EAAE,CAAC;YACpB,KAAK,SAAS;gBACb,IAAI,MAAM,KAAK,SAAS;oBAAE,IAAI,GAAG,UAAU,CAAC;gBAC5C,MAAM;YACP,KAAK,QAAQ;gBACZ,IAAI,MAAM,KAAK,SAAS;oBAAE,IAAI,GAAG,UAAU,CAAC;gBAC5C,MAAM;YACP,KAAK,OAAO;gBACX,IAAI,MAAM,KAAK,UAAU;oBAAE,IAAI,GAAG,SAAS,CAAC;gBAC5C,MAAM;YACP,KAAK,WAAW;gBACf,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;oBACnD,IAAI,GAAG,YAAY,CAAC;gBACrB,CAAC;gBACD,MAAM;YACP;gBACC,MAAM,IAAI,KAAK,CAAC,uBAAuB,UAAU,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,OAAO,UAAU,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK;iBACR,OAAO,CACP,6FAA6F,CAC7F;iBACA,GAAG,CAAC,UAAU,CAAC,CAAC;QACnB,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,KAAK;iBACR,OAAO,CACP,qFAAqF,CACrF;iBACA,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,oGAAoG;IAC5F,aAAa,CAAC,IAAkB;QACvC,QAAQ,IAAI,EAAE,CAAC;YACd,KAAK,WAAW;gBACf,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;YACrE,KAAK,OAAO;gBACX,OAAO,IAAI,CACV,OAAO,EAAE,EACT,iBAAiB,EACjB,QAAQ,EACR,sBAAsB,CACtB,CAAC;YACH,KAAK,WAAW;gBACf,OAAO,IAAI,CACV,OAAO,EAAE,EACT,iBAAiB,EACjB,MAAM,EACN,sBAAsB,CACtB,CAAC;QACJ,CAAC;IACF,CAAC;CACD;AAED,oFAAoF;AACpF,SAAS,YAAY,CAAC,MAAc;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,EAAE,CAAC;IACzD,OAAO,MAAM;SACX,KAAK,CAAC,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC;SACvC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC"}
+{"version":3,"file":"Curator.js","sourceRoot":"","sources":["../../plugin/Curator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAEN,YAAY,EACZ,UAAU,GACV,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAwCnC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,MAAM,mBAAmB,GAAG,IAAI,CAAC;AACjC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAa/B,MAAM,UAAU,aAAa,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,cAAc,CAAC,GAAiB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB;YAChC,CAAC,CAAC,UAAU,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;YAC/C,CAAC,CAAC,EAAE,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,cAAc,IAAI,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,GAAG,CAAC,iBAAiB,IAAI,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,iBAAiB,GAAG,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,OAAO,OAAO;IAID;IACA;IACA;IALD,OAAO,CAAiB;IAEzC,YACkB,KAAY,EACZ,aAA4B,EAC5B,SAAiB,EAClC,OAAwB;QAHP,UAAK,GAAL,KAAK,CAAO;QACZ,kBAAa,GAAb,aAAa,CAAe;QAC5B,cAAS,GAAT,SAAS,CAAQ;QAGlC,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC;IAChC,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,UAAU,CAAC,KAAc;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK;aACrB,OAAO,CACP;;;;;;;;0DAQsD,CACtD;aACA,GAAG,EAAoB,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI;aACjB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACd,GAAG;YACH,UAAU,EAAE,iBAAiB,CAC5B,GAAG,CAAC,cAAc,IAAI,CAAC,EACvB,GAAG,CAAC,gBAAgB,IAAI,CAAC,EACzB,GAAG,CAAC,iBAAiB,IAAI,CAAC,EAC1B,GAAG,CAAC,iBAAiB,IAAI,CAAC,CAC1B;SACD,CAAC,CAAC;aACF,MAAM,CACN,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,CACvE;aACA,IAAI,CACJ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACR,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU;YAC3B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CACjD,CAAC;QAEH,MAAM,QAAQ,GAAG,KAAK,IAAI,mBAAmB,CAAC;QAC9C,MAAM,MAAM,GAAwB,EAAE,CAAC;QACvC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,MAAM,IAAI,QAAQ;gBAAE,MAAM;YACrC,IAAI,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,mBAAmB;gBAAE,MAAM;YACnE,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE;gBAClB,IAAI,EAAE,KAAK,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,GAAG;gBACvD,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,QAAQ;aACR,CAAC,CAAC;YACH,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;QACpC,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED;;;;OAIG;IACH,WAAW,CAAC,UAA+B;QAC1C,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CACpC,CAAC;QACF,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACpD,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,IAAkB,EAAE,MAAsB;QACjD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEvC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;QACvE,MAAM,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACnD,oEAAoE;QACpE,sEAAsE;QACtE,sEAAsE;QACtE,uEAAuE;QACvE,kEAAkE;QAClE,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACnD,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CACxC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAC/D,CAAC;QACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,KAAK,EAAE;YAAE,OAAO,EAAE,CAAC;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,MAAM,WAAW,GAChB,QAAQ,CAAC,MAAM,KAAK,CAAC;YACpB,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,YAAY,KAAK,EAAE;gBACpB,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAC5B,CAAC,CAAC,GAAG,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACzF,uEAAuE;QACvE,wEAAwE;QACxE,yBAAyB;QACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAElD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK;aACtB,OAAO,CACP;;6CAEyC,CACzC;aACA,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAqB,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK;aACR,OAAO,CACP;;;6CAGyC,CACzC;aACA,GAAG,CACH,EAAE,EACF,IAAI,CAAC,SAAS,EACd,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EACnB,IAAI,EACJ,UAAU,EACV,WAAW,EACX,IAAI,CAAC,IAAI,CACT,CAAC;QACH,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAE3C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK;aACpB,OAAO,CAAC,wDAAwD,CAAC;aACjE,GAAG,CAAC,EAAE,CAA2B,CAAC;QACpC,OAAO;YACN;gBACC,EAAE;gBACF,IAAI;gBACJ,UAAU;gBACV,SAAS;gBACT,YAAY,EAAE,WAAW;gBACzB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,SAAkB;gBAC1B,SAAS,EAAE,GAAG,CAAC,UAAU;aACzB;SACD,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,UAAU,CACT,UAAkB,EAClB,UAA8B;QAE9B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK;aACpB,OAAO,CAAC,oDAAoD,CAAC;aAC7D,GAAG,CAAC,UAAU,CAAmC,CAAC;QACpD,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,uBAAuB,UAAU,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,IAAI,IAAI,GAA0B,IAAI,CAAC;QACvC,QAAQ,UAAU,EAAE,CAAC;YACpB,KAAK,SAAS;gBACb,IAAI,MAAM,KAAK,SAAS;oBAAE,IAAI,GAAG,UAAU,CAAC;gBAC5C,MAAM;YACP,KAAK,QAAQ;gBACZ,IAAI,MAAM,KAAK,SAAS;oBAAE,IAAI,GAAG,UAAU,CAAC;gBAC5C,MAAM;YACP,KAAK,OAAO;gBACX,IAAI,MAAM,KAAK,UAAU;oBAAE,IAAI,GAAG,SAAS,CAAC;gBAC5C,MAAM;YACP,KAAK,WAAW;gBACf,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;oBACnD,IAAI,GAAG,YAAY,CAAC;gBACrB,CAAC;gBACD,MAAM;YACP;gBACC,MAAM,IAAI,KAAK,CAAC,uBAAuB,UAAU,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,OAAO,UAAU,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK;iBACR,OAAO,CACP,6FAA6F,CAC7F;iBACA,GAAG,CAAC,UAAU,CAAC,CAAC;QACnB,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,KAAK;iBACR,OAAO,CACP,qFAAqF,CACrF;iBACA,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,oGAAoG;IAC5F,aAAa,CAAC,IAAkB;QACvC,QAAQ,IAAI,EAAE,CAAC;YACd,KAAK,WAAW;gBACf,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;YACrE,KAAK,OAAO;gBACX,OAAO,IAAI,CACV,OAAO,EAAE,EACT,iBAAiB,EACjB,QAAQ,EACR,sBAAsB,CACtB,CAAC;YACH,KAAK,WAAW;gBACf,OAAO,IAAI,CACV,OAAO,EAAE,EACT,iBAAiB,EACjB,MAAM,EACN,sBAAsB,CACtB,CAAC;QACJ,CAAC;IACF,CAAC;CACD;AAED,oFAAoF;AACpF,SAAS,YAAY,CAAC,MAAc;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,EAAE,CAAC;IACzD,OAAO,MAAM;SACX,KAAK,CAAC,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC;SACvC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAAc;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QAChC,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,gFAAgF;AAChF,SAAS,eAAe,CAAC,IAAY;IACpC,MAAM,SAAS,GAAG,IAAI;SACpB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,IAAI,EAAE;SACN,OAAO,CAAC,wCAAwC,EAAE,EAAE,CAAC,CAAC;IACxD,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC;AAC7B,CAAC"}

package/dist/plugin/MemoryService.d.ts

@@ -54,6 +54,13 @@ export interface Memory {
     /** v0.5.0 (K5-010 / plan §5.3, D5-02) — human judgement counters,
      * folded into confidence by computeConfidence. */
     feedbackNegative?: number;
+    /** v0.7.0 (K7-008 / plan §5.3, D7-03) — de-ranking penalty in
+     * [0, 0.5], clamped by applyTruthPenalty. Multiplies rankScore as
+     * `(1 - truthPenalty)`. Defaults to 0. */
+    truthPenalty?: number;
+    /** v0.7.0 (K7-008 / plan §5.3) — when the memory was first contradicted
+     * (ISO/sqlite time). Null when never contradicted. */
+    contradictedAt?: string | null;
 }
 export interface SaveInput {
     type: MemoryType;
@@ -150,6 +157,7 @@ export declare class MemoryService {
     private _hasRecurrenceColumn;
     private hasIgnoredColumn;
     private hasCuratedColumn;
+    private hasTruthColumns;
     save(input: SaveInput): string;
     /**
      * v0.6.0 (K6-011 / plan §5.4) — mark memories as curated. Batch in a
@@ -167,6 +175,16 @@ export declare class MemoryService {
      */
     getByFingerprint(fingerprint: string, type?: MemoryType): Memory | null;
     update(id: string, fields: Partial<Memory>): void;
+    /**
+     * v0.7.0 (K7-008 / plan §5.3, D7-03) — apply a bounded truth penalty.
+     * Clamps `penalty` to [0, 0.5], writes `truth_penalty` and `contradicted_at`,
+     * and increments `memories_contradicted` ONLY when the value moves from 0
+     * to non-zero (a second penalty on the same memory does not re-count).
+     * It NEVER writes `status` — contradiction de-ranks; it never deletes
+     * (Principle 24). `reason` is the human-readable explanation surfaced by
+     * `kevin_facts`; the caller persists it in the `memory_conflicts` row.
+     */
+    applyTruthPenalty(memoryId: string, penalty: number, reason: string): void;
     delete(id: string): void;
     /** v0.1.x behavior — returns full `Memory` rows. */
     query(input: QueryInput & {

package/dist/plugin/MemoryService.js

@@ -112,6 +112,25 @@ function hasCuratedColumn(store) {
         return false;
     }
 }
+/**
+ * v0.7.0 (K7-008 / migration 008) — cached per-store probe for the 008-only
+ * `truth_penalty` column (pre-008 DBs must not reference it). Same
+ * positive-only caching discipline as `curated` (K6-001a).
+ */
+const truthColumnsCache = new WeakMap();
+function hasTruthColumns(store) {
+    const cached = truthColumnsCache.get(store);
+    if (cached === true)
+        return true;
+    try {
+        store.prepare("SELECT truth_penalty FROM memories LIMIT 1").get();
+        truthColumnsCache.set(store, true);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
 /**
  * v0.5.0 (K5-009 / plan §5.3) — the 006-only columns are appended when the
  * migration has run (same probe as the `ignored = 0` retrieval filter).
@@ -122,9 +141,12 @@ function rowSelect(store) {
         ? `${MEMORY_ROW_SELECT}, ignored, superseded_by,
 		   feedback_positive, feedback_negative`
         : MEMORY_ROW_SELECT;
-    return hasCuratedColumn(store)
+    const withCurated = hasCuratedColumn(store)
         ? `${base}, curated, curated_at, inferable`
         : base;
+    return hasTruthColumns(store)
+        ? `${withCurated}, truth_penalty, contradicted_at`
+        : withCurated;
 }
 function mapRow(row, score) {
     const mem = {
@@ -171,6 +193,11 @@ function mapRow(row, score) {
                 : row.inferable === 0
                     ? "non_inferable"
                     : null,
+        // v0.7.0 (K7-008 / plan §5.3, D7-03) — de-ranking state. `truth_penalty`
+        // defaults to 0 (a pre-008 row without the column reads 0), and
+        // `contradicted_at` is null until the first contradiction.
+        truthPenalty: row.truth_penalty ?? 0,
+        contradictedAt: row.contradicted_at ?? null,
     };
     if (score !== undefined) {
         if (!mem.metadata)
@@ -248,6 +275,12 @@ export class MemoryService {
     hasCuratedColumn() {
         return hasCuratedColumn(this.store);
     }
+    // v0.7.0 (K7-008 / plan §5.3) — cached column probe for pre-008 DBs
+    // (which lack `truth_penalty`); the retrieval SELECTs must not reference
+    // the column there, or rankScore cannot see the de-ranking factor.
+    hasTruthColumns() {
+        return hasTruthColumns(this.store);
+    }
     save(input) {
         const scope = input.scope ?? "project";
         const relevanceScore = input.relevanceScore ?? 0.5;
@@ -493,6 +526,48 @@ export class MemoryService {
             .prepare(`UPDATE memories SET ${cols.join(", ")} WHERE id = ?`)
             .run(...vals);
     }
+    /**
+     * v0.7.0 (K7-008 / plan §5.3, D7-03) — apply a bounded truth penalty.
+     * Clamps `penalty` to [0, 0.5], writes `truth_penalty` and `contradicted_at`,
+     * and increments `memories_contradicted` ONLY when the value moves from 0
+     * to non-zero (a second penalty on the same memory does not re-count).
+     * It NEVER writes `status` — contradiction de-ranks; it never deletes
+     * (Principle 24). `reason` is the human-readable explanation surfaced by
+     * `kevin_facts`; the caller persists it in the `memory_conflicts` row.
+     */
+    applyTruthPenalty(memoryId, penalty, reason) {
+        const clamped = Math.max(0, Math.min(0.5, penalty));
+        const row = this.store
+            .prepare("SELECT truth_penalty FROM memories WHERE id = ?")
+            .get(memoryId);
+        if (!row)
+            return;
+        const current = Number(row.truth_penalty ?? 0);
+        const hadPenalty = current > 0;
+        const nowHasPenalty = clamped > 0;
+        // `reason` is accepted for interface parity with plan §5.3; the caller
+        // records it in the conflict row, not here.
+        void reason;
+        const stamp = nowHasPenalty ? new Date().toISOString() : null;
+        this.store
+            .prepare(`UPDATE memories
+				 SET truth_penalty = ?,
+				     contradicted_at = CASE
+				         WHEN ? IS NULL THEN NULL
+				         ELSE COALESCE(contradicted_at, ?)
+				     END
+				 WHERE id = ?`)
+            .run(clamped, stamp, stamp, memoryId);
+        if (nowHasPenalty && !hadPenalty) {
+            this.metrics?.incr("memories_contradicted", 1);
+        }
+        // v0.7.0 (K7-008 / D7-03) — recovery: a penalty lifted back to 0
+        // (the repo no longer contradicts the memory) mirrors the counter,
+        // which the 008 post-apply hook re-derives as COUNT(truth_penalty > 0).
+        if (!nowHasPenalty && hadPenalty) {
+            this.metrics?.incr("memories_contradicted", -1);
+        }
+    }
     delete(id) {
         this.store.prepare("DELETE FROM memories WHERE id = ?").run(id);
     }
@@ -589,6 +664,10 @@ export class MemoryService {
         if (this.hasCuratedColumn()) {
             sql += ", curated, curated_at, inferable";
         }
+        // v0.7.0 (K7-008) — 008-only truth columns, appended when present.
+        if (this.hasTruthColumns()) {
+            sql += ", truth_penalty, contradicted_at";
+        }
         sql += `
       FROM memories
       WHERE (expires_at IS NULL OR expires_at > datetime('now'))`;
@@ -628,6 +707,11 @@ export class MemoryService {
         if (this.hasCuratedColumn()) {
             sql += ", m.curated, m.curated_at, m.inferable";
         }
+        // v0.7.0 (K7-008) — 008-only truth columns, appended when present so
+        // rankScore can apply the de-ranking factor in retrieval.
+        if (this.hasTruthColumns()) {
+            sql += ", m.truth_penalty, m.contradicted_at";
+        }
         sql += `,
              bm25(memories_fts) AS score
       FROM memories_fts
@@ -1023,7 +1107,13 @@ function rankScore(mem, nowMs, deterministic) {
     // the recency factor at 1.0 so ordering depends only on content
     // relevance and origin boost, never on the wall clock.
     const recencyDecay = deterministic ? 1 : RECENCY_DECAY_PER_DAY ** ageDays;
-    return base * originBoost(mem) * recencyDecay;
+    // v0.7.0 (K7-008 / plan §5.3, D7-04) — trailing multiplicative factor,
+    // applied AFTER the existing chain. At the default (truthPenalty = 0) the
+    // expression reduces to the v0.6.0 one exactly. rankScore returns a
+    // NEGATIVE score for BM25 rows (more negative = better), so scaling by a
+    // factor in (0.5, 1] moves a row toward zero — i.e. toward worse — which
+    // is the intended de-ranking direction.
+    return base * originBoost(mem) * recencyDecay * (1 - (mem.truthPenalty ?? 0));
 }
 function rankCompare(a, b, nowMs, deterministic) {
     const ra = rankScore(a, nowMs, deterministic);