@djolex999/vir-cli 0.24.2 → 0.25.0

package/dist/connect/extract.js

@@ -0,0 +1,129 @@
+import { createHash } from "node:crypto";
+import { existsSync, readFileSync, readdirSync } from "node:fs";
+import { basename, join } from "node:path";
+import { parseFrontmatter } from "../cli/review.js";
+import { kebab } from "../pipeline/slug.js";
+import { CATEGORY_DIR } from "../pipeline/writer.js";
+const ITEM_RE = /^(?:[-*]|\d+\.)?\s*(?:\*\*|__)/;
+const HEADING_RE = /^#{1,2}\s/;
+function section(lines, title) {
+    const start = lines.findIndex((l) => title.test(l));
+    if (start === -1)
+        return null;
+    const out = [];
+    for (let i = start + 1; i < lines.length; i += 1) {
+        const line = lines[i] ?? "";
+        if (HEADING_RE.test(line))
+            break;
+        out.push(line);
+    }
+    return out;
+}
+// A lesson starts on a base-indent line beginning with an optional list marker
+// and bold; its body runs to the next base-indent item or heading. Nested
+// (indented) bold lines belong to their parent. Mid-line bold is not an item.
+export function extractLessonTexts(markdown) {
+    const lines = markdown.split("\n");
+    const learned = section(lines, /^##\s+What Was Learned\s*$/);
+    if (learned === null) {
+        const summary = section(lines, /^##\s+Summary\s*$/);
+        const text = (summary ?? []).join("\n").trim();
+        return text.length > 0 ? [text] : [];
+    }
+    const items = [];
+    let cur = null;
+    for (const line of learned) {
+        // ### subheadings group lessons; they end the current item and are not text.
+        if (/^#{3,6}\s/.test(line)) {
+            cur = null;
+        }
+        else if (ITEM_RE.test(line) && !/^\s/.test(line)) {
+            cur = [line];
+            items.push(cur);
+        }
+        else if (cur) {
+            cur.push(line);
+        }
+    }
+    return items.map((l) => l.join("\n").trim()).filter((t) => t.length > 0);
+}
+export function normalizeLesson(raw) {
+    return raw
+        .split("\n")
+        .map((l) => l.replace(/^\s*(?:[-*]|\d+\.)\s+/, ""))
+        .join(" ")
+        .replace(/\*\*|__/g, "")
+        .replace(/\s+/g, " ")
+        .trim();
+}
+export function lessonHash(normalized) {
+    return createHash("sha256").update(normalized).digest("hex").slice(0, 16);
+}
+export function archivedDuplicateSlugs(markdown) {
+    const lines = section(markdown.split("\n"), /^##\s+Archived Duplicates\s*$/) ?? [];
+    return lines
+        .map((l) => l.match(/^\s*-\s*\[\[([^\]|]+)(?:\|[^\]]*)?\]\]/)?.[1]?.trim())
+        .filter((s) => typeof s === "string" && s.length > 0);
+}
+function lessonsFromNote(path, citeSlug, archivedVia) {
+    let raw;
+    try {
+        raw = readFileSync(path, "utf8");
+    }
+    catch {
+        return [];
+    }
+    const fm = parseFrontmatter(raw);
+    const sessionId = fm.session_id ?? "";
+    if (sessionId.length === 0)
+        return [];
+    const noteSlug = basename(path, ".md");
+    return extractLessonTexts(raw).map((t, itemIndex) => {
+        const text = normalizeLesson(t);
+        return {
+            id: `${noteSlug}#${itemIndex}`,
+            noteSlug,
+            citeSlug,
+            sessionId,
+            noteDate: fm.date ?? "",
+            project: kebab(fm.project ?? ""),
+            category: (fm.category ?? "pattern"),
+            itemIndex,
+            text,
+            contentHash: lessonHash(text),
+            archivedVia,
+        };
+    });
+}
+export function collectLessons(vaultRoot) {
+    const out = [];
+    for (const dir of Object.values(CATEGORY_DIR)) {
+        const full = join(vaultRoot, dir);
+        let names;
+        try {
+            names = readdirSync(full).filter((n) => n.endsWith(".md")).sort();
+        }
+        catch {
+            continue;
+        }
+        for (const name of names) {
+            const path = join(full, name);
+            const slug = basename(name, ".md");
+            out.push(...lessonsFromNote(path, slug, null));
+            let raw = "";
+            try {
+                raw = readFileSync(path, "utf8");
+            }
+            catch {
+                continue;
+            }
+            for (const loser of archivedDuplicateSlugs(raw)) {
+                const lp = join(vaultRoot, "archived", `${loser}.md`);
+                if (existsSync(lp))
+                    out.push(...lessonsFromNote(lp, slug, slug));
+            }
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=extract.js.map

package/dist/connect/extract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.js","sourceRoot":"","sources":["../../src/connect/extract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE5C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGrD,MAAM,OAAO,GAAG,gCAAgC,CAAC;AACjD,MAAM,UAAU,GAAG,WAAW,CAAC;AAE/B,SAAS,OAAO,CAAC,KAAe,EAAE,KAAa;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QACjC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,0EAA0E;AAC1E,8EAA8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,4BAA4B,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvC,CAAC;IACD,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,GAAG,GAAoB,IAAI,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,6EAA6E;QAC7E,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;YACb,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;aAAM,IAAI,GAAG,EAAE,CAAC;YACf,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,OAAO,GAAG;SACP,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;SAClD,IAAI,CAAC,GAAG,CAAC;SACT,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,UAAkB;IAC3C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,+BAA+B,CAAC,IAAI,EAAE,CAAC;IACnF,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,wCAAwC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;SAC1E,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,eAAe,CACtB,IAAY,EACZ,QAAgB,EAChB,WAA0B;IAE1B,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC;IACtC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE;QAClD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO;YACL,EAAE,EAAE,GAAG,QAAQ,IAAI,SAAS,EAAE;YAC9B,QAAQ;YACR,QAAQ;YACR,SAAS;YACT,QAAQ,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE;YACvB,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;YAChC,QAAQ,EAAE,CAAC,EAAE,CAAC,QAAQ,IAAI,SAAS,CAAa;YAChD,SAAS;YACT,IAAI;YACJ,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC;YAC7B,WAAW;SACZ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAClC,IAAI,KAAe,CAAC;QACpB,IAAI,CAAC;YACH,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACpE,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACnC,GAAG,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC/C,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,IAAI,CAAC;gBAAC,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC7D,KAAK,MAAM,KAAK,IAAI,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC;gBACtD,IAAI,UAAU,CAAC,EAAE,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/connect/identity.js

@@ -0,0 +1,65 @@
+export function jaccard(a, b) {
+    const sa = new Set(a);
+    const sb = new Set(b);
+    let inter = 0;
+    for (const x of sa)
+        if (sb.has(x))
+            inter += 1;
+    const union = sa.size + sb.size - inter;
+    return union === 0 ? 0 : inter / union;
+}
+export const MATCH_JACCARD = 0.5;
+function cosine(a, b) {
+    let dot = 0;
+    let na = 0;
+    let nb = 0;
+    for (let i = 0; i < a.length; i += 1) {
+        const x = a[i] ?? 0;
+        const y = b[i] ?? 0;
+        dot += x * y;
+        na += x * x;
+        nb += y * y;
+    }
+    return na === 0 || nb === 0 ? 0 : dot / Math.sqrt(na * nb);
+}
+// Identity is the member SESSION set: session ids survive note rewrites
+// (reconcile, run --full, dedupe winners, review edits); content hashes don't.
+// Hash overlap only breaks ties. A rejected rule is also matched by its rule
+// embedding, so a reworded re-discovery from new sessions stays rejected.
+export function matchCandidate(candidate, insights, rejectedVectors, coreSim) {
+    let best = null;
+    let bestJ = -1;
+    let bestH = -1;
+    for (const ins of insights) {
+        const j = jaccard(candidate.sessionIds, ins.memberSessionIds);
+        if (j < MATCH_JACCARD)
+            continue;
+        const h = jaccard(candidate.hashes, ins.memberHashes);
+        if (j > bestJ || (j === bestJ && h > bestH)) {
+            best = ins;
+            bestJ = j;
+            bestH = h;
+        }
+    }
+    if (best === null && candidate.ruleVector !== null) {
+        for (const ins of insights) {
+            if (ins.status !== "rejected")
+                continue;
+            const v = rejectedVectors.get(ins.id);
+            if (v && cosine(candidate.ruleVector, v) >= coreSim)
+                return { kind: "skip-rejected", insight: ins };
+        }
+    }
+    if (best === null)
+        return { kind: "new" };
+    if (best.status === "rejected")
+        return { kind: "skip-rejected", insight: best };
+    if (best.status === "proposed")
+        return { kind: "update-proposed", insight: best };
+    const known = new Set(best.memberSessionIds);
+    const added = [...new Set(candidate.sessionIds)].filter((s) => !known.has(s));
+    return added.length === 0
+        ? { kind: "accepted-unchanged", insight: best }
+        : { kind: "accepted-additions", insight: best, addedSessions: added };
+}
+//# sourceMappingURL=identity.js.map

package/dist/connect/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../../src/connect/identity.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,OAAO,CAAC,CAAW,EAAE,CAAW;IAC9C,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC;IACxC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;AACzC,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,GAAG,CAAC;AASjC,SAAS,MAAM,CAAC,CAAW,EAAE,CAAW;IACtC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACZ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,CAAC;IACD,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,0EAA0E;AAC1E,MAAM,UAAU,cAAc,CAC5B,SAAkF,EAClF,QAAsB,EACtB,eAAsC,EACtC,OAAe;IAEf,IAAI,IAAI,GAAsB,IAAI,CAAC;IACnC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9D,IAAI,CAAC,GAAG,aAAa;YAAE,SAAS;QAChC,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;QACtD,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;YAC5C,IAAI,GAAG,GAAG,CAAC;YACX,KAAK,GAAG,CAAC,CAAC;YACV,KAAK,GAAG,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU;gBAAE,SAAS;YACxC,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,OAAO;gBAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACtG,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAChF,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAClF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;QACvB,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,IAAI,EAAE;QAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AAC1E,CAAC"}

package/dist/connect/insightFile.js

@@ -0,0 +1,61 @@
+import { mkdirSync, renameSync, writeFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { kebab } from "../pipeline/slug.js";
+import { ruleText } from "./text.js";
+export const INSIGHTS_RULES_DIR = "insights/rules";
+export function insightSlug(rule, id) {
+    const base = kebab(rule).slice(0, 60).replace(/-+$/, "");
+    const suffix = id.replace(/[^a-z0-9]/gi, "").slice(0, 8).toLowerCase();
+    return base.length > 0 ? `${base}-${suffix}` : `rule-${suffix}`;
+}
+const q = (s) => JSON.stringify(s);
+export function renderInsight(row) {
+    const fm = [
+        "---",
+        "type: insight",
+        `insight_type: ${row.insightType}`,
+        `status: ${row.status}`,
+        `promotion: ${row.promotion}`,
+        `verified: ${row.status === "accepted"}`,
+        `scope: ${row.scope}`,
+        `sessions: ${row.sessions}`,
+        `projects: [${row.projects.map(q).join(", ")}]`,
+        `first_seen: ${row.firstSeen.slice(0, 10)}`,
+        `last_seen: ${row.lastSeen.slice(0, 10)}`,
+        "sources:",
+        ...row.sources.map((s) => `  - ${q(`[[${s}]]`)}`),
+        `generated: ${row.createdAt}`,
+        `model: ${row.model}`,
+        "---",
+    ];
+    const evidence = row.evidence.map((e) => `- [[${e.citeSlug}]] (${e.project || "-"}, ${e.date.slice(0, 10)}): ${q(e.quote)}`);
+    return [
+        ...fm,
+        `**Rule:** ${row.rule}`,
+        "",
+        `**Why:** ${row.why}`,
+        "",
+        "## Evidence",
+        "",
+        ...evidence,
+        "",
+    ].join("\n");
+}
+// The owner edits only the **Rule:** and **Why:** lines; everything else is
+// re-rendered from the DB on the next state write.
+export function parseRuleEdit(raw) {
+    const rule = ruleText(raw.match(/^\*\*Rule:\*\*[ \t]*(.+)$/m)?.[1] ?? "");
+    if (rule.length === 0)
+        return null;
+    const why = ruleText(raw.match(/^\*\*Why:\*\*[ \t]*(.+)$/m)?.[1] ?? "");
+    return { rule, why };
+}
+export function writeInsightFile(vaultRoot, row) {
+    const path = join(vaultRoot, INSIGHTS_RULES_DIR, `${row.slug}.md`);
+    mkdirSync(dirname(path), { recursive: true });
+    const tmp = `${path}.vir-${process.pid}.tmp`;
+    writeFileSync(tmp, renderInsight(row));
+    renameSync(tmp, path);
+    return path;
+}
+//# sourceMappingURL=insightFile.js.map

package/dist/connect/insightFile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"insightFile.js","sourceRoot":"","sources":["../../src/connect/insightFile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AAEnD,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,EAAU;IAClD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACvE,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,QAAQ,MAAM,EAAE,CAAC;AAClE,CAAC;AAED,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAEnD,MAAM,UAAU,aAAa,CAAC,GAAe;IAC3C,MAAM,EAAE,GAAG;QACT,KAAK;QACL,eAAe;QACf,iBAAiB,GAAG,CAAC,WAAW,EAAE;QAClC,WAAW,GAAG,CAAC,MAAM,EAAE;QACvB,cAAc,GAAG,CAAC,SAAS,EAAE;QAC7B,aAAa,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE;QACxC,UAAU,GAAG,CAAC,KAAK,EAAE;QACrB,aAAa,GAAG,CAAC,QAAQ,EAAE;QAC3B,cAAc,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC/C,eAAe,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;QAC3C,cAAc,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;QACzC,UAAU;QACV,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,cAAc,GAAG,CAAC,SAAS,EAAE;QAC7B,UAAU,GAAG,CAAC,KAAK,EAAE;QACrB,KAAK;KACN,CAAC;IACF,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAC1F,CAAC;IACF,OAAO;QACL,GAAG,EAAE;QACL,aAAa,GAAG,CAAC,IAAI,EAAE;QACvB,EAAE;QACF,YAAY,GAAG,CAAC,GAAG,EAAE;QACrB,EAAE;QACF,aAAa;QACb,EAAE;QACF,GAAG,QAAQ;QACX,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,mDAAmD;AACnD,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,SAAiB,EAAE,GAAe;IACjE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,kBAAkB,EAAE,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;IACnE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,GAAG,IAAI,QAAQ,OAAO,CAAC,GAAG,MAAM,CAAC;IAC7C,aAAa,CAAC,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/connect/qualify.js

@@ -0,0 +1,39 @@
+export const MIN_SESSIONS = 3;
+export const MIN_SPAN_DAYS = 7;
+const DAY_MS = 86_400_000;
+// Each session counts once, dated by its earliest parseable note date. A
+// session with no parseable date still counts toward sessions but not the span.
+export function recurrence(members) {
+    const earliest = new Map();
+    for (const m of members) {
+        const t = Date.parse(m.noteDate);
+        const prev = earliest.get(m.sessionId);
+        if (prev === undefined)
+            earliest.set(m.sessionId, Number.isFinite(t) ? t : null);
+        else if (Number.isFinite(t) && (prev === null || t < prev))
+            earliest.set(m.sessionId, t);
+    }
+    const times = [...earliest.values()].filter((t) => t !== null);
+    const first = times.length > 0 ? Math.min(...times) : null;
+    const last = times.length > 0 ? Math.max(...times) : null;
+    const projects = [...new Set(members.map((m) => m.project).filter((p) => p.length > 0))].sort();
+    return {
+        sessions: [...earliest.keys()],
+        firstSeen: first === null ? "" : new Date(first).toISOString(),
+        lastSeen: last === null ? "" : new Date(last).toISOString(),
+        projects,
+        spanDays: first === null || last === null ? 0 : (last - first) / DAY_MS,
+    };
+}
+export function qualifies(r) {
+    return r.sessions.length >= MIN_SESSIONS && r.spanDays >= MIN_SPAN_DAYS;
+}
+export function rankCandidates(clusters) {
+    return clusters
+        .map((members) => ({ members, rec: recurrence(members) }))
+        .filter((c) => qualifies(c.rec))
+        .sort((a, b) => b.rec.sessions.length - a.rec.sessions.length ||
+        b.rec.spanDays - a.rec.spanDays ||
+        b.rec.projects.length - a.rec.projects.length);
+}
+//# sourceMappingURL=qualify.js.map

package/dist/connect/qualify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"qualify.js","sourceRoot":"","sources":["../../src/connect/qualify.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC;AAC9B,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAC/B,MAAM,MAAM,GAAG,UAAU,CAAC;AAU1B,yEAAyE;AACzE,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,OAAiB;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aAC5E,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,OAAO;QACL,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9B,SAAS,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE;QAC9D,QAAQ,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE;QAC3D,QAAQ;QACR,QAAQ,EAAE,KAAK,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,MAAM;KACxE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAa;IACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,YAAY,IAAI,CAAC,CAAC,QAAQ,IAAI,aAAa,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,QAAoB;IAEpB,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACzD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SAC/B,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM;QAC7C,CAAC,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ;QAC/B,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAChD,CAAC;AACN,CAAC"}

package/dist/connect/run.js

@@ -0,0 +1,199 @@
+import { randomUUID } from "node:crypto";
+import { acquireLock, releaseLock } from "../pipeline/lock.js";
+import { vaultRoot } from "../search/retriever.js";
+import { embedNoteWithProvider } from "../search/provider.js";
+import { thresholdsFor } from "../search/thresholds.js";
+import { clusterLessons } from "./cluster.js";
+import { backfillInsightEmbeddings, embedLessons } from "./embed.js";
+import { collectLessons } from "./extract.js";
+import { matchCandidate } from "./identity.js";
+import { insightSlug, writeInsightFile } from "./insightFile.js";
+import { rankCandidates, recurrence } from "./qualify.js";
+import { buildVerifyPrompt, parseVerdict, validateVerdict } from "./verify.js";
+const VERIFY_OUTPUT_TOKENS = 600;
+function emptySummary() {
+    return {
+        lessons: 0, clusters: 0, candidates: 0, deferred: 0, proposed: 0, updated: 0, unchanged: 0,
+        skippedRejected: 0, unverified: 0, llmFailures: 0, additionsFlagged: 0, llmCalls: 0,
+        estCostUsd: null, keptRatios: [],
+    };
+}
+function evidenceOf(v) {
+    return v.evidence.map((e) => ({
+        sessionId: e.lesson.sessionId,
+        citeSlug: e.lesson.citeSlug,
+        project: e.lesson.project,
+        date: e.lesson.noteDate,
+        quote: e.quote,
+    }));
+}
+function reconsider(cfg, db, slug, now) {
+    const row = db.getInsightBySlug(slug);
+    if (row === null)
+        throw new Error(`no rule with slug ${slug}`);
+    // Spec §9: the way back for a rejected or declined rule — never a silent
+    // demotion of one the owner accepted and promoted.
+    if (row.status !== "rejected" && row.promotion !== "declined") {
+        throw new Error(`only a rejected or declined rule can be reconsidered — ${slug} is ${row.status}`);
+    }
+    const next = {
+        ...row,
+        status: "proposed",
+        promotion: "none",
+        evidenceChanged: false,
+        pending: null,
+        updatedAt: now.toISOString(),
+    };
+    db.upsertInsight(next);
+    writeInsightFile(vaultRoot(cfg), next);
+    return emptySummary();
+}
+// Find lessons the user keeps re-learning and propose them as cited rules.
+// Paid: at most connectMaxCandidates LLM calls. Never run implicitly.
+export async function runConnect(cfg, db, opts, deps) {
+    acquireLock(deps.lockPath);
+    try {
+        if (opts.reconsider !== undefined)
+            return reconsider(cfg, db, opts.reconsider, deps.now());
+        const provider = deps.provider;
+        if (provider === null)
+            throw new Error("clustering needs an embedding provider — run vir embed setup");
+        const summary = emptySummary();
+        const root = vaultRoot(cfg);
+        if (!opts.dryRun)
+            await backfillInsightEmbeddings(db, provider);
+        const lessons = collectLessons(root);
+        summary.lessons = lessons.length;
+        const vectors = await embedLessons(lessons, db, provider);
+        const { connectMinSim, connectCoreSim } = thresholdsFor(provider.modelName);
+        const clusters = clusterLessons(lessons, vectors, connectMinSim, connectCoreSim);
+        summary.clusters = clusters.length;
+        // Free pre-LLM triage: rejected stays rejected, and a known rule with no new
+        // session is unchanged — neither earns a paid call.
+        const insights = db.listInsights();
+        const todo = [];
+        for (const c of rankCandidates(clusters)) {
+            const hashes = c.members.map((m) => m.contentHash);
+            const pre = matchCandidate({ sessionIds: c.rec.sessions, hashes, ruleVector: null }, insights, new Map(), connectCoreSim);
+            if (pre.kind === "skip-rejected") {
+                summary.skippedRejected += 1;
+                continue;
+            }
+            if (pre.kind === "accepted-unchanged") {
+                summary.unchanged += 1;
+                continue;
+            }
+            if (pre.kind === "update-proposed" || pre.kind === "accepted-additions") {
+                // Sessions already flagged as pending additions are known too: the
+                // owner hasn't decided on them yet, so asking the model again is waste.
+                const known = new Set([
+                    ...pre.insight.memberSessionIds,
+                    ...(pre.insight.pending ?? []).map((e) => e.sessionId),
+                ]);
+                if (c.rec.sessions.every((s) => known.has(s))) {
+                    summary.unchanged += 1;
+                    continue;
+                }
+            }
+            todo.push(c);
+        }
+        summary.candidates = todo.length;
+        const batch = todo.slice(0, cfg.connectMaxCandidates);
+        summary.deferred = todo.length - batch.length;
+        if (opts.dryRun) {
+            let total = 0;
+            for (const c of batch) {
+                const cost = deps.estimateCostUsd(Math.ceil(buildVerifyPrompt(c.members).length / 4), VERIFY_OUTPUT_TOKENS);
+                total = cost === null || total === null ? null : total + cost;
+            }
+            summary.estCostUsd = total;
+            return summary;
+        }
+        const rejectedVectors = db.getInsightVectors("rejected");
+        for (const c of batch) {
+            summary.llmCalls += 1;
+            let text;
+            try {
+                text = await deps.llm(buildVerifyPrompt(c.members));
+            }
+            catch {
+                summary.llmFailures += 1;
+                continue;
+            }
+            const verdict = parseVerdict(text);
+            const v = verdict === null ? null : validateVerdict(c.members, verdict);
+            if (v === null) {
+                summary.unverified += 1;
+                continue;
+            }
+            summary.keptRatios.push(v.keptOfTotal);
+            const rec = recurrence(v.members);
+            const ruleVector = await embedNoteWithProvider(provider, `${v.rule}\n${v.why}`);
+            const outcome = matchCandidate({ sessionIds: rec.sessions, hashes: v.members.map((m) => m.contentHash), ruleVector }, db.listInsights(), rejectedVectors, connectCoreSim);
+            const now = deps.now().toISOString();
+            const evidence = evidenceOf(v);
+            const fields = {
+                memberSessionIds: rec.sessions,
+                memberHashes: v.members.map((m) => m.contentHash),
+                sources: [...new Set(evidence.map((e) => e.citeSlug))],
+                evidence,
+                sessions: rec.sessions.length,
+                projects: rec.projects,
+                firstSeen: rec.firstSeen,
+                lastSeen: rec.lastSeen,
+            };
+            if (outcome.kind === "skip-rejected") {
+                summary.skippedRejected += 1;
+            }
+            else if (outcome.kind === "accepted-unchanged") {
+                summary.unchanged += 1;
+            }
+            else if (outcome.kind === "accepted-additions") {
+                const added = new Set(outcome.addedSessions);
+                db.upsertInsight({
+                    ...outcome.insight,
+                    evidenceChanged: true,
+                    pending: evidence.filter((e) => added.has(e.sessionId)),
+                    updatedAt: now,
+                });
+                summary.additionsFlagged += 1;
+            }
+            else if (outcome.kind === "update-proposed") {
+                const next = { ...outcome.insight, ...fields, scope: v.scope, updatedAt: now };
+                db.upsertInsight(next);
+                writeInsightFile(root, next);
+                summary.updated += 1;
+            }
+            else {
+                const id = randomUUID();
+                const row = {
+                    id,
+                    slug: insightSlug(v.rule, id),
+                    insightType: "recurring-rule",
+                    status: "proposed",
+                    promotion: "none",
+                    scope: v.scope,
+                    rule: v.rule,
+                    why: v.why,
+                    ...fields,
+                    evidenceChanged: false,
+                    pending: null,
+                    model: deps.model,
+                    createdAt: now,
+                    updatedAt: now,
+                };
+                db.upsertInsight(row);
+                if (ruleVector !== null) {
+                    db.setInsightEmbedding(id, ruleVector, { model: provider.modelName, dim: ruleVector.length });
+                }
+                writeInsightFile(root, row);
+                summary.proposed += 1;
+            }
+        }
+        return summary;
+    }
+    finally {
+        releaseLock(deps.lockPath);
+    }
+}
+//# sourceMappingURL=run.js.map

package/dist/connect/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/connect/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAA0B,MAAM,uBAAuB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,eAAe,EAAsB,MAAM,aAAa,CAAC;AAEnG,MAAM,oBAAoB,GAAG,GAAG,CAAC;AA6BjC,SAAS,YAAY;IACnB,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;QAC1F,eAAe,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QACnF,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,CAAgB;IAClC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS;QAC7B,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ;QAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO;QACzB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ;QACvB,KAAK,EAAE,CAAC,CAAC,KAAK;KACf,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,EAAW,EAAE,IAAY,EAAE,GAAS;IACnE,MAAM,GAAG,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,GAAG,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC;IAC/D,yEAAyE;IACzE,mDAAmD;IACnD,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,0DAA0D,IAAI,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,MAAM,IAAI,GAAe;QACvB,GAAG,GAAG;QACN,MAAM,EAAE,UAAU;QAClB,SAAS,EAAE,MAAM;QACjB,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE;KAC7B,CAAC;IACF,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACvB,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IACvC,OAAO,YAAY,EAAE,CAAC;AACxB,CAAC;AAED,2EAA2E;AAC3E,sEAAsE;AACtE,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,GAAW,EACX,EAAW,EACX,IAA8C,EAC9C,IAAiB;IAEjB,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;YAAE,OAAO,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC3F,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,QAAQ,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAEvG,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,MAAM,yBAAyB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;QACjF,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;QAEnC,6EAA6E;QAC7E,oDAAoD;QACpD,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC;QACnC,MAAM,IAAI,GAAiC,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,cAAc,CAAC,CAAC;YAC1H,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACjC,OAAO,CAAC,eAAe,IAAI,CAAC,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBACtC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;gBACvB,SAAS;YACX,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBACxE,mEAAmE;gBACnE,wEAAwE;gBACxE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;oBACpB,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB;oBAC/B,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;iBACvD,CAAC,CAAC;gBACH,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9C,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;oBACvB,SAAS;gBACX,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;QACD,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAC;QACtD,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAE9C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,KAAK,GAAkB,CAAC,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;gBAC5G,KAAK,GAAG,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC;YAChE,CAAC;YACD,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC;YAC3B,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,MAAM,eAAe,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACzD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;YACtB,IAAI,IAAY,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACtD,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACxE,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,UAAU,GAAG,MAAM,qBAAqB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAChF,MAAM,OAAO,GAAG,cAAc,CAC5B,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,EACrF,EAAE,CAAC,YAAY,EAAE,EACjB,eAAe,EACf,cAAc,CACf,CAAC;YACF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,MAAM,GAAG;gBACb,gBAAgB,EAAE,GAAG,CAAC,QAAQ;gBAC9B,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;gBACjD,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACtD,QAAQ;gBACR,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM;gBAC7B,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,QAAQ,EAAE,GAAG,CAAC,QAAQ;aACvB,CAAC;YACF,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrC,OAAO,CAAC,eAAe,IAAI,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBACjD,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;YACzB,CAAC;iBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;gBAC7C,EAAE,CAAC,aAAa,CAAC;oBACf,GAAG,OAAO,CAAC,OAAO;oBAClB,eAAe,EAAE,IAAI;oBACrB,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBACvD,SAAS,EAAE,GAAG;iBACf,CAAC,CAAC;gBACH,OAAO,CAAC,gBAAgB,IAAI,CAAC,CAAC;YAChC,CAAC;iBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC9C,MAAM,IAAI,GAAe,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;gBAC3F,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACvB,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC7B,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAe;oBACtB,EAAE;oBACF,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC7B,WAAW,EAAE,gBAAgB;oBAC7B,MAAM,EAAE,UAAU;oBAClB,SAAS,EAAE,MAAM;oBACjB,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,GAAG,EAAE,CAAC,CAAC,GAAG;oBACV,GAAG,MAAM;oBACT,eAAe,EAAE,KAAK;oBACtB,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,SAAS,EAAE,GAAG;oBACd,SAAS,EAAE,GAAG;iBACf,CAAC;gBACF,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;gBACtB,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBACxB,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;gBAChG,CAAC;gBACD,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC5B,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;YAAS,CAAC;QACT,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC"}

package/dist/connect/text.js

@@ -0,0 +1,20 @@
+// Rule and why text is model-written and owner-editable, then shown in the
+// terminal for approval and written into CLAUDE.md, which agents read as
+// instructions. One normalization, applied at every boundary, so what the
+// owner judges is byte-for-byte what gets stored and written:
+//  - no C0/C1 control characters (ANSI escapes could hide or recolor text)
+//  - no bidi overrides/isolates (could reorder what the owner reads)
+//  - no HTML-comment syntax (no fake VIR markers or rule ids)
+//  - one line (no injected headings)
+const CONTROL = /[\u0000-\u001f\u007f-\u009f]/g;
+const BIDI = /[\u202a-\u202e\u2066-\u2069\u200e\u200f\u061c]/g;
+export function ruleText(text) {
+    return text
+        .replace(/\r\n|\r|\n|\t/g, " ")
+        .replace(CONTROL, "")
+        .replace(BIDI, "")
+        .replace(/<!--|-->/g, " ")
+        .replace(/\s+/g, " ")
+        .trim();
+}
+//# sourceMappingURL=text.js.map

package/dist/connect/text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../../src/connect/text.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,yEAAyE;AACzE,0EAA0E;AAC1E,8DAA8D;AAC9D,2EAA2E;AAC3E,qEAAqE;AACrE,8DAA8D;AAC9D,qCAAqC;AACrC,MAAM,OAAO,GAAG,+BAA+B,CAAC;AAChD,MAAM,IAAI,GAAG,iDAAiD,CAAC;AAE/D,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI;SACR,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC;SAC9B,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;SACpB,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;SACjB,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CAAC;AACZ,CAAC"}

package/dist/connect/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/connect/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/connect/types.ts"],"names":[],"mappings":""}

package/dist/connect/verify.js

@@ -0,0 +1,77 @@
+import { normalizeLesson } from "./extract.js";
+import { qualifies, recurrence } from "./qualify.js";
+import { ruleText } from "./text.js";
+// Projects that say nothing about where a rule belongs.
+export const NO_PROJECT = new Set(["", "codex-scratch", "unknown"]);
+export function buildVerifyPrompt(members) {
+    const lines = members.map((m, i) => `[L${i + 1}] (${m.project || "-"}, ${m.noteDate.slice(0, 10)}) ${m.text}`);
+    return `You are reviewing lessons a developer recorded across separate coding sessions.
+Decide which of them are the SAME lesson, then state it as one rule.
+
+Lessons:
+${lines.join("\n")}
+
+Return JSON only:
+{"same_lesson": ["L…"], "rule": "<imperative one-liner>", "why": "<1-2 sentences: the failure it prevents>",
+ "evidence": [{"id": "L…", "quote": "<exact substring of that lesson>"}]}
+
+Rules: include a lesson in same_lesson only if it teaches the same thing. Every quote must be copied
+verbatim from its lesson. If fewer than three lessons are the same, return {"same_lesson": []}.`;
+}
+export function parseVerdict(text) {
+    const m = text.match(/\{[\s\S]*\}/);
+    if (!m)
+        return null;
+    let raw;
+    try {
+        raw = JSON.parse(m[0]);
+    }
+    catch {
+        return null;
+    }
+    if (!raw || typeof raw !== "object")
+        return null;
+    const o = raw;
+    if (!Array.isArray(o.same_lesson) || typeof o.rule !== "string" || typeof o.why !== "string" || !Array.isArray(o.evidence)) {
+        return null;
+    }
+    return {
+        same_lesson: o.same_lesson.filter((x) => typeof x === "string"),
+        rule: o.rule,
+        why: o.why,
+        evidence: o.evidence
+            .filter((e) => !!e && typeof e === "object")
+            .filter((e) => typeof e.id === "string" && typeof e.quote === "string"),
+    };
+}
+export function computeScope(members) {
+    const slugs = new Set(members.map((m) => m.project).filter((p) => !NO_PROJECT.has(p)));
+    const only = [...slugs][0];
+    return slugs.size === 1 && only !== undefined ? `project:${only}` : "global";
+}
+const norm = (s) => normalizeLesson(s).toLowerCase();
+// Everything the model claims is checked against the cluster: ids must exist,
+// quotes must be real substrings, and the surviving members must still recur.
+export function validateVerdict(members, v) {
+    const rule = ruleText(v.rule);
+    const why = ruleText(v.why);
+    if (rule.length === 0)
+        return null;
+    const byId = new Map(members.map((m, i) => [`L${i + 1}`, m]));
+    const claimed = new Set(v.same_lesson.filter((id) => byId.has(id)));
+    const evidence = [];
+    for (const e of v.evidence) {
+        const lesson = byId.get(e.id);
+        if (!lesson || !claimed.has(e.id))
+            continue;
+        const q = norm(e.quote);
+        if (q.length === 0 || !norm(lesson.text).includes(q))
+            continue;
+        evidence.push({ lesson, quote: normalizeLesson(e.quote) });
+    }
+    const kept = members.filter((m) => evidence.some((e) => e.lesson === m));
+    if (!qualifies(recurrence(kept)))
+        return null;
+    return { rule, why, members: kept, evidence, scope: computeScope(kept), keptOfTotal: [kept.length, members.length] };
+}
+//# sourceMappingURL=verify.js.map