@jmtrin/opencode-kevin 0.2.0 → 0.4.0

package/dist/plugin/okf-import.js

@@ -0,0 +1,272 @@
+import { fingerprint as computeFingerprint } from "./fingerprint.js";
+import { uuidv7 } from "./uuid.js";
+const PAIR_RE = /^([a-z_]+):\s*(.*)$/i;
+const ID_RE = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i;
+/**
+ * v0.3.0 fix — Clean state-machine parser for the frontmatter bundle
+ * format produced by `okf-export.ts::exportOkf`. Each entry is:
+ *
+ *   ---
+ *   id: <uuid>
+ *   type: <decision|rule|pattern>
+ *   confidence: 0.70
+ *   evidence_count: 2
+ *   last_verified_at: 2026-07-25 12:34:56
+ *   fingerprint: <hex>
+ *   created: 2026-07-25 12:00:00
+ *   scope: project
+ *   ---
+ *
+ *   <content body, may span multiple lines, may include `---` lines
+ *    within — the body terminator is the NEXT top-level `---` followed
+ *    by an `id:` line, or EOF>
+ *
+ * The previous implementation only ever flagged `inFm = true` once and
+ * never reset `contentStarted` between entries, so 2..N entries were
+ * silently dropped (bug #1). This rewrite handles arbitrary numbers of
+ * consecutive frontmatter sections.
+ */
+export function parseMarkdownBundle(text) {
+    const lines = text.replace(/\r\n/g, "\n").split("\n");
+    const entries = [];
+    let i = 0;
+    let fm = null;
+    let body = [];
+    // True when we have just seen a `---` opener and are collecting
+    // `key: value` pairs until the matching `---` closer.
+    const isFmKey = (s) => PAIR_RE.test(s) || s.trim() === "";
+    while (i < lines.length) {
+        const line = lines[i];
+        // Seek an opening `---`.
+        if (line.trim() !== "---") {
+            i++;
+            continue;
+        }
+        // Trivially empty bundle (just opener/closer with no keys) — skip.
+        if (lines[i + 1]?.trim() === "---") {
+            i += 2;
+            continue;
+        }
+        // Begin frontmatter collection.
+        fm = {};
+        body = [];
+        i++;
+        let closed = false;
+        while (i < lines.length) {
+            const cur = lines[i];
+            if (cur.trim() === "---") {
+                closed = true;
+                i++;
+                break;
+            }
+            const m = cur.match(PAIR_RE);
+            if (m) {
+                fm[m[1].toLowerCase()] = m[2].trim();
+            }
+            i++;
+        }
+        if (!closed)
+            break;
+        if (!fm.id)
+            continue;
+        // Collect body until the next top-level `---` opener. The opener
+        // is recognizable as `---` followed by an `id:` pair in the next
+        // frontmatter block; we look ahead conservatively: a `---` line
+        // immediately followed by a `key:` line is an opener, anything
+        // else is body content.
+        while (i < lines.length) {
+            const cur = lines[i];
+            if (cur.trim() === "---") {
+                // peek the NEXT non-empty line — if it looks like a PAIR,
+                // this `---` is an opener for the next entry, so stop body
+                // here without consuming.
+                let j = i + 1;
+                while (j < lines.length && lines[j].trim() === "")
+                    j++;
+                if (j < lines.length && isFmKey(lines[j]) && PAIR_RE.test(lines[j])) {
+                    break;
+                }
+                // Otherwise treat as body content (e.g. thematic break).
+                body.push(cur);
+                i++;
+                continue;
+            }
+            body.push(cur);
+            i++;
+        }
+        const content = body.join("\n").trim();
+        if (!content)
+            continue;
+        const type = (fm.type ?? "context").toLowerCase();
+        const id = ID_RE.test(fm.id) ? fm.id : uuidv7();
+        const fp = fm.fingerprint ?? null;
+        const evidenceCount = Number.parseInt(fm.evidence_count ?? "0", 10) || 0;
+        const recurrenceCount = Number.parseInt(fm.recurrence_count ?? "0", 10) || 0;
+        const lastVerified = fm.last_verified_at ?? null;
+        entries.push({
+            id,
+            type,
+            content,
+            fingerprint: fp,
+            evidence_count: evidenceCount,
+            recurrence_count: recurrenceCount,
+            last_verified_at: lastVerified,
+        });
+    }
+    return entries;
+}
+/**
+ * v0.3.0 fix — Fallback parser for the markdown-style `##` heading
+ * format produced by `okf-export.ts::exportMarkdown`. The previous
+ * version extracted `fingerprint: null` for every entry (regex was
+ * pinned to 16 hex chars while actual fingerprints are variable
+ * length) and contaminated `content` with the heading line and
+ * metadata bullets. This version cleanly separates metadata bullets
+ * (looking for `**ID:**`, `**Fingerprint:**`, `**Evidence count:**`,
+ * `**Last verified:**`, `**Scope:**` prefixes) from the content
+ * body, which starts after the first blank line following the bullet
+ * block and runs until the trailing `---` separator (or EOF).
+ */
+export function parseMarkdownHeadings(text) {
+    const normalized = text.replace(/\r\n/g, "\n");
+    // Split on `## ` headings; first chunk is the document preamble.
+    const chunks = normalized.split(/^##\s+/m).slice(1);
+    const entries = [];
+    for (const chunk of chunks) {
+        const lines = chunk.split("\n");
+        const typeMatch = lines[0]?.match(/^([A-Za-z]+):\s*/);
+        const type = typeMatch ? typeMatch[1].toLowerCase() : "context";
+        const fm = {};
+        let bodyStart = -1;
+        // True once at least one `- **Key:**` bullet was consumed; the
+        // body starts at the FIRST blank line AFTER the bullet block.
+        // Blank lines before any bullet (e.g. right after the `##` heading)
+        // must be skipped, not treated as body delimiters.
+        let sawBullet = false;
+        for (let k = 1; k < lines.length; k++) {
+            const ln = lines[k];
+            const bulletId = ln.match(/^- \*\*ID:\*\*\s*`([^`]+)`/);
+            const bulletFp = ln.match(/^- \*\*Fingerprint:\*\*\s*`([a-f0-9]+)`/i);
+            const bulletEv = ln.match(/^- \*\*Evidence count:\*\*\s*(\d+)/);
+            const bulletRec = ln.match(/^- \*\*Recurrence count:\*\*\s*(\d+)/);
+            const bulletLv = ln.match(/^- \*\*Last verified:\*\*\s*(.+)$/);
+            if (bulletId) {
+                fm.id = bulletId[1];
+                sawBullet = true;
+            }
+            else if (bulletFp) {
+                fm.fingerprint = bulletFp[1];
+                sawBullet = true;
+            }
+            else if (bulletEv) {
+                fm.evidence_count = bulletEv[1];
+                sawBullet = true;
+            }
+            else if (bulletRec) {
+                fm.recurrence_count = bulletRec[1];
+                sawBullet = true;
+            }
+            else if (bulletLv) {
+                fm.last_verified_at = bulletLv[1].trim();
+                sawBullet = true;
+            }
+            else if (ln.trim() === "") {
+                // First blank line after bullet block — body starts here.
+                if (sawBullet) {
+                    bodyStart = k + 1;
+                    break;
+                }
+                // Leading blank line (right after the heading) — skip.
+            }
+            else {
+                // Other bullets (e.g. `- **Confidence:**`, `- **Scope:**`)
+                // are not captured — skip them; the bullet block ends at
+                // the next blank line.
+            }
+        }
+        if (bodyStart < 0)
+            bodyStart = 1;
+        const bodyLines = [];
+        for (let k = bodyStart; k < lines.length; k++) {
+            const ln = lines[k];
+            if (ln.trim() === "---")
+                break;
+            bodyLines.push(ln);
+        }
+        const content = bodyLines.join("\n").trim();
+        if (!content)
+            continue;
+        const id = fm.id && ID_RE.test(fm.id) ? fm.id : uuidv7();
+        entries.push({
+            id,
+            type,
+            content,
+            fingerprint: fm.fingerprint ?? null,
+            evidence_count: Number.parseInt(fm.evidence_count ?? "0", 10) || 0,
+            recurrence_count: Number.parseInt(fm.recurrence_count ?? "0", 10) || 0,
+            last_verified_at: fm.last_verified_at ?? null,
+        });
+    }
+    return entries;
+}
+const IMPORT_ALLOWED_TYPES = new Set([
+    "decision",
+    "rule",
+    "pattern",
+    "context",
+]);
+/**
+ * v0.3.0 fix — Ingest a bundle (frontmatter OR markdown) into the
+ * local SQLite store as `context` memories with `origin='imported'`.
+ *
+ * Fixes over the v0.3.0 baseline:
+ *   * Multi-entry bundles now produce N imports instead of N=1 — the
+ *     parser bug is closed.
+ *   * `ParsedEntry.evidence_count` and `last_verified_at` are
+ *     threaded through so causal confidence survives a round-trip.
+ *   * `ImportResult.superseded` is populated using
+ *     `countSupersedeCandidates`, which mirrors the supersede logic
+ *     in `MemoryService.save()`. Previously it was hard-coded to 0.
+ *   * Generated ids use `uuidv7()` (the project's id generator)
+ *     instead of `crypto.randomUUID()` for consistency.
+ */
+export function importOkf(bundle, memoryService) {
+    let entries = parseMarkdownBundle(bundle);
+    if (entries.length === 0) {
+        entries = parseMarkdownHeadings(bundle);
+    }
+    let imported = 0;
+    let superseded = 0;
+    for (const entry of entries) {
+        if (!IMPORT_ALLOWED_TYPES.has(entry.type))
+            continue;
+        const fp = entry.fingerprint ?? computeFingerprint(entry.content, undefined);
+        // Count rows that save() will mark as superseded (decision/rule
+        // with the same fingerprint). The supersede update itself runs
+        // inside MemoryService.save() in a single transaction; we count
+        // here to surface the value to the caller.
+        superseded += memoryService.countSupersedeCandidates(entry.type, fp, null);
+        memoryService.save({
+            type: entry.type,
+            // BUG-008 — preserve the bundle id so a round-trip (export →
+            // import) keeps memory identity and `getById` stays stable.
+            id: entry.id,
+            // BUG-009 — the content is the bundle body verbatim. The old
+            // code appended `[imported evidence_count=N, ...]`, which the
+            // ContextInjector later injected verbatim into model prompts;
+            // the values travel via the typed fields below instead.
+            content: entry.content,
+            scope: "project",
+            origin: "imported",
+            fingerprint: fp,
+            evidenceCount: entry.evidence_count > 0 ? entry.evidence_count : undefined,
+            // BUG-008 — restore the recurrence demotion so the re-imported
+            // copy keeps the v0.4.0 two-sided confidence of the source.
+            recurrenceCount: entry.recurrence_count > 0 ? entry.recurrence_count : undefined,
+            lastVerifiedAt: entry.last_verified_at ?? undefined,
+        });
+        imported++;
+    }
+    return { imported, superseded };
+}
+//# sourceMappingURL=okf-import.js.map

package/dist/plugin/okf-import.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"okf-import.js","sourceRoot":"","sources":["../../plugin/okf-import.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,IAAI,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC,MAAM,OAAO,GAAG,sBAAsB,CAAC;AACvC,MAAM,KAAK,GAAG,iEAAiE,CAAC;AAoBhF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,EAAE,GAAkC,IAAI,CAAC;IAC7C,IAAI,IAAI,GAAa,EAAE,CAAC;IAExB,gEAAgE;IAChE,sDAAsD;IACtD,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IAE3E,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,yBAAyB;QACzB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YAC3B,CAAC,EAAE,CAAC;YACJ,SAAS;QACV,CAAC;QACD,mEAAmE;QACnE,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACpC,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACV,CAAC;QACD,gCAAgC;QAChC,EAAE,GAAG,EAAE,CAAC;QACR,IAAI,GAAG,EAAE,CAAC;QACV,CAAC,EAAE,CAAC;QACJ,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBAC1B,MAAM,GAAG,IAAI,CAAC;gBACd,CAAC,EAAE,CAAC;gBACJ,MAAM;YACP,CAAC;YACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE,CAAC;gBACP,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACtC,CAAC;YACD,CAAC,EAAE,CAAC;QACL,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,MAAM;QACnB,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS;QAErB,iEAAiE;QACjE,iEAAiE;QACjE,gEAAgE;QAChE,+DAA+D;QAC/D,wBAAwB;QACxB,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBAC1B,0DAA0D;gBAC1D,2DAA2D;gBAC3D,0BAA0B;gBAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;oBAAE,CAAC,EAAE,CAAC;gBACvD,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrE,MAAM;gBACP,CAAC;gBACD,yDAAyD;gBACzD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACf,CAAC,EAAE,CAAC;gBACJ,SAAS;YACV,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,CAAC,EAAE,CAAC;QACL,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACvC,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAChD,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,IAAI,IAAI,CAAC;QAClC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,cAAc,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,eAAe,GACpB,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,EAAE,CAAC,gBAAgB,IAAI,IAAI,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC;YACZ,EAAE;YACF,IAAI;YACJ,OAAO;YACP,WAAW,EAAE,EAAE;YACf,cAAc,EAAE,aAAa;YAC7B,gBAAgB,EAAE,eAAe;YACjC,gBAAgB,EAAE,YAAY;SAC9B,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IACjD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,iEAAiE;IACjE,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAEhE,MAAM,EAAE,GAA2B,EAAE,CAAC;QACtC,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;QACnB,+DAA+D;QAC/D,8DAA8D;QAC9D,oEAAoE;QACpE,mDAAmD;QACnD,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;YACxD,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;YAChE,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;YACnE,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAC/D,IAAI,QAAQ,EAAE,CAAC;gBACd,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBACpB,SAAS,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBACrB,EAAE,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC7B,SAAS,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBACrB,EAAE,CAAC,cAAc,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAChC,SAAS,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,SAAS,EAAE,CAAC;gBACtB,EAAE,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBACnC,SAAS,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBACrB,EAAE,CAAC,gBAAgB,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzC,SAAS,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC7B,0DAA0D;gBAC1D,IAAI,SAAS,EAAE,CAAC;oBACf,SAAS,GAAG,CAAC,GAAG,CAAC,CAAC;oBAClB,MAAM;gBACP,CAAC;gBACD,uDAAuD;YACxD,CAAC;iBAAM,CAAC;gBACP,2DAA2D;gBAC3D,yDAAyD;gBACzD,uBAAuB;YACxB,CAAC;QACF,CAAC;QACD,IAAI,SAAS,GAAG,CAAC;YAAE,SAAS,GAAG,CAAC,CAAC;QAEjC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK;gBAAE,MAAM;YAC/B,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACzD,OAAO,CAAC,IAAI,CAAC;YACZ,EAAE;YACF,IAAI;YACJ,OAAO;YACP,WAAW,EAAE,EAAE,CAAC,WAAW,IAAI,IAAI;YACnC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,cAAc,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC;YAClE,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC;YACtE,gBAAgB,EAAE,EAAE,CAAC,gBAAgB,IAAI,IAAI;SAC7C,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAOD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACpC,UAAU;IACV,MAAM;IACN,SAAS;IACT,SAAS;CACT,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,SAAS,CACxB,MAAc,EACd,aAA4B;IAE5B,IAAI,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QACpD,MAAM,EAAE,GACP,KAAK,CAAC,WAAW,IAAI,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAEnE,gEAAgE;QAChE,+DAA+D;QAC/D,gEAAgE;QAChE,2CAA2C;QAC3C,UAAU,IAAI,aAAa,CAAC,wBAAwB,CACnD,KAAK,CAAC,IAA2B,EACjC,EAAE,EACF,IAAI,CACJ,CAAC;QAEF,aAAa,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,KAAK,CAAC,IAAmD;YAC/D,6DAA6D;YAC7D,4DAA4D;YAC5D,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,6DAA6D;YAC7D,8DAA8D;YAC9D,8DAA8D;YAC9D,wDAAwD;YACxD,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,EAAE;YACf,aAAa,EACZ,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;YAC5D,+DAA+D;YAC/D,4DAA4D;YAC5D,eAAe,EACd,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;YAChE,cAAc,EAAE,KAAK,CAAC,gBAAgB,IAAI,SAAS;SACnD,CAAC,CAAC;QACH,QAAQ,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC"}

package/dist/plugin/query-tokenizer.d.ts

@@ -0,0 +1,13 @@
+/**
+ * K4-013 — shared FTS5 query tokenizer.
+ *
+ * Injection recall ORs the quoted tokens (`"t1" OR "t2"`) while
+ * `kevin_why` ANDs them (`"t1" AND "t2"`).
+ */
+export declare const STOP_WORDS: Set<string>;
+/** Lowercase, split on whitespace, drop stopwords. Returns raw tokens. */
+export declare function tokenizeQuery(query: string): string[];
+/** Quote a token for an FTS5 MATCH clause, escaping embedded quotes. */
+export declare function quoteToken(token: string): string;
+/** Join quoted tokens into a MATCH clause with the given separator. */
+export declare function toMatchClause(tokens: string[], separator: " OR " | " AND "): string;

package/dist/plugin/query-tokenizer.js

@@ -0,0 +1,86 @@
+/**
+ * K4-013 — shared FTS5 query tokenizer.
+ *
+ * Injection recall ORs the quoted tokens (`"t1" OR "t2"`) while
+ * `kevin_why` ANDs them (`"t1" AND "t2"`).
+ */
+export const STOP_WORDS = new Set([
+    "a",
+    "an",
+    "and",
+    "are",
+    "at",
+    "be",
+    "been",
+    "but",
+    "by",
+    "did",
+    "do",
+    "does",
+    "el",
+    "eso",
+    "for",
+    "how",
+    "i",
+    "if",
+    "in",
+    "is",
+    "it",
+    "la",
+    "las",
+    "los",
+    "mi",
+    "my",
+    "o",
+    "of",
+    "on",
+    "or",
+    "para",
+    "por",
+    "que",
+    "she",
+    "su",
+    "that",
+    "the",
+    "this",
+    "to",
+    "tu",
+    "un",
+    "una",
+    "we",
+    "were",
+    "what",
+    "when",
+    "where",
+    "which",
+    "who",
+    "why",
+    "with",
+    "y",
+    "you",
+    "como",
+    "con",
+    "de",
+    "en",
+    "he",
+    "they",
+    "was",
+    "sin",
+]);
+/** Lowercase, split on whitespace, drop stopwords. Returns raw tokens. */
+export function tokenizeQuery(query) {
+    return query
+        .trim()
+        .toLowerCase()
+        .split(/\s+/)
+        .filter((t) => t.length > 0 && !STOP_WORDS.has(t));
+}
+/** Quote a token for an FTS5 MATCH clause, escaping embedded quotes. */
+export function quoteToken(token) {
+    return `"${token.replace(/"/g, '""')}"`;
+}
+/** Join quoted tokens into a MATCH clause with the given separator. */
+export function toMatchClause(tokens, separator) {
+    return tokens.map(quoteToken).join(separator);
+}
+//# sourceMappingURL=query-tokenizer.js.map

package/dist/plugin/query-tokenizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-tokenizer.js","sourceRoot":"","sources":["../../plugin/query-tokenizer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS;IACzC,GAAG;IACH,IAAI;IACJ,KAAK;IACL,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,KAAK;IACL,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,MAAM;IACN,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,KAAK;IACL,KAAK;IACL,KAAK;IACL,IAAI;IACJ,MAAM;IACN,KAAK;IACL,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,MAAM;IACN,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,KAAK;IACL,KAAK;IACL,MAAM;IACN,GAAG;IACH,KAAK;IACL,MAAM;IACN,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,KAAK;IACL,KAAK;CACL,CAAC,CAAC;AAEH,0EAA0E;AAC1E,MAAM,UAAU,aAAa,CAAC,KAAa;IAC1C,OAAO,KAAK;SACV,IAAI,EAAE;SACN,WAAW,EAAE;SACb,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,UAAU,CAAC,KAAa;IACvC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACzC,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAC5B,MAAgB,EAChB,SAA2B;IAE3B,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAC/C,CAAC"}

package/migrations/004_v03_knowledge.sql

@@ -0,0 +1,138 @@
+-- ============================================================
+-- Kevin 0.3.0 — Migration 004: Knowledge + Causality (additive)
+-- ============================================================
+-- Backward-compatible, additive only. All new columns are
+-- nullable or carry a NOT NULL DEFAULT so legacy rows keep
+-- working without a destructive rebuild.
+-- ============================================================
+
+-- 1. memories: evidence + lifecycle columns.
+--    evidence_count — how many times this fingerprint was confirmed as fixed.
+--    last_verified_at — timestamp of the most recent causal confirmation.
+--    status — lifecycle state; default 'active'. Superseded rows are hidden.
+ALTER TABLE memories ADD COLUMN evidence_count INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE memories ADD COLUMN last_verified_at TEXT;
+ALTER TABLE memories ADD COLUMN status TEXT NOT NULL DEFAULT 'active'
+  CHECK (status IN ('active', 'superseded', 'stale', 'archived'));
+
+-- 2. tool_calls: causal link + feedback-loop link columns.
+--    fix_for_fingerprint — set when this successful call resolved a prior failure
+--    with the given fingerprint. NULL for tool calls that were not fixes.
+--    error_fingerprint — set by Reflector (via onLinkError callback) when a call
+--    FAILS, to the stderr-based fingerprint the matching error memory uses.
+--    This fixes the v0.2.0/v0.3.0 feedback-loop fingerprint mismatch bug:
+--    tool_calls.fingerprint is hashed from "tool|args|success" by ToolCallObserver,
+--    while memories.fingerprint is hashed from stderr text by Reflector — they
+--    never agreed, so boost/penalize queries silently mismatched. The new column
+--    stores the SAME identity dimension the error memory uses.
+ALTER TABLE tool_calls ADD COLUMN fix_for_fingerprint TEXT;
+ALTER TABLE tool_calls ADD COLUMN error_fingerprint TEXT;
+
+-- 3. Index: causal linkage by fingerprint. Used by CausalChain.onSuccess
+--    and kevin_why to materialize traces.
+CREATE INDEX IF NOT EXISTS idx_tool_calls_fix_fp
+  ON tool_calls(fix_for_fingerprint)
+  WHERE fix_for_fingerprint IS NOT NULL;
+
+-- 3b. Index: feedback-loop linkage by error_fingerprint. Used by
+--     boostPositiveReflectors / penalizeRecurringReflectors to count
+--     recurrences by the same identity dimension the error memory uses.
+CREATE INDEX IF NOT EXISTS idx_tool_calls_error_fp
+  ON tool_calls(error_fingerprint)
+  WHERE error_fingerprint IS NOT NULL;
+
+-- 4. Index: memories by fingerprint for promotion + supersede queries.
+CREATE INDEX IF NOT EXISTS idx_memories_fp
+  ON memories(fingerprint)
+  WHERE fingerprint IS NOT NULL;
+
+-- 5. kevin_metrics: seed new v0.3 counters.
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
+  ('patterns_causal',     0),
+  ('causal_links',        0),
+  ('memories_superseded', 0);
+
+-- 6. kevin_settings: seed new opt-in flags.
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
+  ('llm_reflection_enabled', '0'),
+  ('cross_project_enabled',  '0');
+
+-- 7. Seed version 004.
+INSERT OR IGNORE INTO schema_version (version) VALUES ('004');
+
+-- ============================================================
+-- 8. Rebuild memories table with expanded CHECK constraints.
+--    v0.3.0 introduces new types (rule, solution) and origins
+--    (causal, imported). SQLite cannot ALTER a CHECK constraint,
+--    so we rebuild via a temporary table. FTS5 external-content
+--    table references the content table by name, so we drop+recreate
+--    the FTS5 triggers after the rebuild.
+-- ============================================================
+
+-- Step 1: Create new table with correct constraints
+CREATE TABLE memories_v04 (
+  id TEXT PRIMARY KEY,
+  type TEXT NOT NULL CHECK(type IN ('error','pattern','decision','context','rule','solution')),
+  content TEXT NOT NULL,
+  scope TEXT NOT NULL DEFAULT 'project' CHECK(scope IN ('project','session')),
+  relevance_score REAL DEFAULT 0.5,
+  source_tool TEXT,
+  source_session TEXT,
+  metadata TEXT,
+  created_at TEXT NOT NULL DEFAULT (datetime('now')),
+  updated_at TEXT NOT NULL DEFAULT (datetime('now')),
+  expires_at TEXT,
+  project_id TEXT,
+  fingerprint TEXT,
+  origin TEXT NOT NULL DEFAULT 'agent'
+    CHECK(origin IN ('reflector','agent','pattern','retrospective','causal','imported')),
+  evidence_count INTEGER NOT NULL DEFAULT 0,
+  last_verified_at TEXT,
+  status TEXT NOT NULL DEFAULT 'active'
+    CHECK(status IN ('active','superseded','stale','archived'))
+);
+
+-- Step 2: Copy data preserving rowids (FTS5 content sync relies on rowid)
+INSERT INTO memories_v04
+  (rowid, id, type, content, scope, relevance_score, source_tool,
+   source_session, metadata, created_at, updated_at, expires_at,
+   project_id, fingerprint, origin, evidence_count, last_verified_at, status)
+  SELECT rowid, id, type, content, scope, relevance_score, source_tool,
+         source_session, metadata, created_at, updated_at, expires_at,
+         project_id, fingerprint, origin, evidence_count, last_verified_at, status
+  FROM memories;
+
+-- Step 3: Drop old table and FTS triggers
+DROP TRIGGER IF EXISTS memories_ai;
+DROP TRIGGER IF EXISTS memories_ad;
+DROP TRIGGER IF EXISTS memories_au;
+DROP TABLE memories;
+
+-- Step 4: Rename new table
+ALTER TABLE memories_v04 RENAME TO memories;
+
+-- Step 5: Recreate FTS triggers (memories_fts is content=external, survives DROP of content table)
+CREATE TRIGGER IF NOT EXISTS memories_ai AFTER INSERT ON memories BEGIN
+  INSERT INTO memories_fts(rowid, content) VALUES (new.rowid, new.content);
+END;
+
+CREATE TRIGGER IF NOT EXISTS memories_ad AFTER DELETE ON memories BEGIN
+  INSERT INTO memories_fts(memories_fts, rowid, content) VALUES ('delete', old.rowid, old.content);
+END;
+
+CREATE TRIGGER IF NOT EXISTS memories_au AFTER UPDATE ON memories BEGIN
+  INSERT INTO memories_fts(memories_fts, rowid, content) VALUES ('delete', old.rowid, old.content);
+  INSERT INTO memories_fts(rowid, content) VALUES (new.rowid, new.content);
+END;
+
+-- Step 6: Recreate indexes
+CREATE INDEX IF NOT EXISTS idx_memories_type ON memories(type);
+CREATE INDEX IF NOT EXISTS idx_memories_scope ON memories(scope);
+CREATE INDEX IF NOT EXISTS idx_memories_relevance ON memories(relevance_score DESC);
+CREATE INDEX IF NOT EXISTS idx_memories_created ON memories(created_at);
+CREATE UNIQUE INDEX IF NOT EXISTS uq_memories_error_fp
+  ON memories(project_id, fingerprint)
+  WHERE type = 'error' AND fingerprint IS NOT NULL AND origin = 'reflector';
+CREATE INDEX IF NOT EXISTS idx_memories_fp
+  ON memories(fingerprint)
+  WHERE fingerprint IS NOT NULL;

package/migrations/005_v04_signal.sql

@@ -0,0 +1,57 @@
+-- ============================================================
+-- Kevin 0.4.0 — Migration 005: Signal over Noise (additive)
+-- ============================================================
+-- Backward-compatible, additive only. All new columns are
+-- nullable or carry a NOT NULL DEFAULT so legacy rows keep
+-- working without a destructive rebuild.
+-- ============================================================
+
+-- 1. memories: positive/negative evidence split (D4-03).
+--    recurrence_count — how many times this fingerprint recurred AFTER
+--                       injection (negative evidence; lowers confidence).
+--    fix_args — deterministic capture of the linked success call's
+--               args_summary ("Fixed by:" raw material, D4-07).
+--    last_injected_at — timestamp of the most recent injection of this memory.
+ALTER TABLE memories ADD COLUMN recurrence_count INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE memories ADD COLUMN fix_args TEXT;
+ALTER TABLE memories ADD COLUMN last_injected_at TEXT;
+
+-- 2. kevin_injections: the injection ledger (D4-04). One row per injected
+--    memory per prompt/compaction, settled at session.idle.
+CREATE TABLE IF NOT EXISTS kevin_injections (
+  id          TEXT PRIMARY KEY,
+  memory_id   TEXT NOT NULL,
+  fingerprint TEXT NOT NULL,
+  session_id  TEXT NOT NULL,
+  hook        TEXT NOT NULL CHECK (hook IN ('pre_prompt', 'compacting')),
+  tokens      INTEGER NOT NULL,
+  injected_at TEXT NOT NULL DEFAULT (datetime('now')),
+  outcome     TEXT CHECK (outcome IN ('unmeasured', 'effective', 'ineffective'))
+              NOT NULL DEFAULT 'unmeasured'
+);
+
+-- 2b. Indexes: settlement by session, recurrence lookups by fingerprint,
+--     and outcome rollups for precision_rate.
+CREATE INDEX IF NOT EXISTS idx_injections_fp
+  ON kevin_injections(fingerprint);
+CREATE INDEX IF NOT EXISTS idx_injections_session
+  ON kevin_injections(session_id);
+CREATE INDEX IF NOT EXISTS idx_injections_outcome
+  ON kevin_injections(outcome);
+
+-- 3. kevin_metrics: seed new v0.4 counters.
+--    patterns_promoted_new replaces patterns_causal (which was inflated by
+--    idempotent refreshes); the latter stays for compat but is frozen.
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
+  ('injections_total',        0),
+  ('injections_effective',    0),
+  ('injections_ineffective',  0),
+  ('patterns_promoted_new',   0);
+
+-- 4. kevin_settings: seed new v0.4 flags.
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
+  ('quality_gate_enabled',    '1'),
+  ('lesson_snippet_injection','1');
+
+-- 5. Seed version 005.
+INSERT OR IGNORE INTO schema_version (version) VALUES ('005');

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@jmtrin/opencode-kevin",
-	"version": "0.2.0",
+	"version": "0.4.0",
 	"description": "Kevin — Observa y aprende: capa de aprendizaje para OpenCode",
 	"type": "module",
 	"main": "dist/plugin/index.js",