@mneme-ai/core 0.22.2 → 0.24.0

package/dist/retrieve/leviathan.js

@@ -0,0 +1,192 @@
+/**
+ * Leviathan citation verification — speculative-decoding-style draft/target
+ * loop applied to LLM answers.
+ *
+ * Algorithm 1 from the Leviathan paper: a fast "draft" model proposes,
+ * a strict "target" rejects un-supported tokens, residual sampling re-drafts.
+ *
+ * Mneme's adaptation:
+ *   - Draft     = the LLM's synthesized answer (already produced by `synthesize()`)
+ *   - Target    = a deterministic citation matcher (each backticked hash must
+ *                 exist in the evidence pool AND the surrounding sentence must
+ *                 contextually match the cited commit's subject)
+ *   - Reject    = mark the unverified claim with `[unverified: ...]` so the
+ *                 user sees what was filtered (no silent deletion)
+ *   - Residual  = `degraded: true` when too many rejections — caller should
+ *                 warn the user that trust is reduced
+ *
+ * The keyword/token-overlap match is intentionally lightweight (no embedding
+ * call). Cosine on a sentence-level embedding would be more accurate but
+ * Mneme's core stays dep-free; embeddings live in the embeddings package and
+ * we don't want a runtime cycle. Empirically the 0.2 token-overlap floor
+ * catches "hash present, sentence completely unrelated" without flagging
+ * legitimate paraphrases.
+ */
+/** Fraction of claims that must verify before we stop calling the answer "degraded." */
+const TRUST_FLOOR = 0.6;
+/** Token-overlap floor — surrounding sentence vs commit subject. */
+const CONTEXT_MATCH_FLOOR = 0.2;
+/**
+ * Run Algorithm-1-style verification on an LLM answer.
+ *
+ * The loop is single-pass (we don't actually re-draft, since the answer is
+ * already paid-for). Instead we tag rejected spans inline so the renderer
+ * can dim/strikethrough them.
+ */
+export function verifyAnswerLeviathan(input) {
+    const { answer, evidence, events } = input;
+    const sentences = splitSentences(answer);
+    const verifications = [];
+    const cleanedSentences = [];
+    let totalWithCitation = 0;
+    let verifiedWithCitation = 0;
+    for (const sentence of sentences) {
+        const trimmed = sentence.trim();
+        if (!trimmed) {
+            cleanedSentences.push(sentence);
+            continue;
+        }
+        const citedHash = extractHash(trimmed);
+        if (!citedHash) {
+            verifications.push({
+                claimText: trimmed,
+                verdict: "no-citation",
+                reason: "intro/conclusion sentence with no hash citation",
+            });
+            cleanedSentences.push(sentence);
+            continue;
+        }
+        totalWithCitation += 1;
+        const matched = findEvidenceForHash(citedHash, evidence);
+        if (!matched) {
+            const reason = `cited \`${citedHash}\` is not in the evidence pool`;
+            verifications.push({
+                claimText: trimmed,
+                citedHash,
+                verdict: "hash-not-in-evidence",
+                reason,
+            });
+            cleanedSentences.push(wrapUnverified(sentence, "hash not in evidence"));
+            events?.emit({ kind: "verify", claim: trimmed, ok: false, reason });
+            continue;
+        }
+        const overlap = tokenOverlap(trimmed, matched.subject);
+        if (overlap < CONTEXT_MATCH_FLOOR) {
+            const reason = `sentence does not contextually match commit subject (overlap=${overlap.toFixed(2)})`;
+            verifications.push({
+                claimText: trimmed,
+                citedHash,
+                verdict: "claim-not-supported",
+                reason,
+            });
+            cleanedSentences.push(wrapUnverified(sentence, "claim not supported by commit subject"));
+            events?.emit({ kind: "verify", claim: trimmed, ok: false, reason });
+            continue;
+        }
+        verifiedWithCitation += 1;
+        verifications.push({
+            claimText: trimmed,
+            citedHash,
+            verdict: "verified",
+            reason: `hash present in evidence; subject overlap=${overlap.toFixed(2)}`,
+        });
+        cleanedSentences.push(sentence);
+        events?.emit({ kind: "verify", claim: trimmed, ok: true });
+    }
+    const trustScore = totalWithCitation === 0 ? 1.0 : verifiedWithCitation / totalWithCitation;
+    const degraded = trustScore < TRUST_FLOOR;
+    return {
+        cleanedAnswer: cleanedSentences.join("").trim() || answer.trim(),
+        verifications,
+        trustScore: Number(trustScore.toFixed(2)),
+        degraded,
+    };
+}
+/**
+ * Split an answer into "claim sentences" but preserve trailing punctuation +
+ * inter-sentence whitespace. We need the whitespace back when we re-join so
+ * the cleaned answer reads naturally.
+ *
+ * Returns an array where each element is "<sentence-content><punct><ws>".
+ */
+function splitSentences(text) {
+    if (!text)
+        return [];
+    // Capture sentence-ending punctuation. We split on `. ! ?` followed by
+    // whitespace OR end-of-string.
+    const out = [];
+    const re = /[^.!?]+[.!?]+(\s*)|[^.!?]+$/g;
+    let m;
+    while ((m = re.exec(text)) !== null) {
+        out.push(m[0]);
+    }
+    return out;
+}
+/**
+ * Extract the first backticked hex token (>=4 chars) from a sentence.
+ * Returns the hash lowercased, or undefined if no hash.
+ *
+ * Mirrors `findUnverifiedCitations` in synthesize.ts so a hash that one
+ * function flags is the same one this function checks.
+ */
+function extractHash(sentence) {
+    const m = sentence.match(/`([0-9a-f]{4,40})`/i);
+    return m ? m[1].toLowerCase() : undefined;
+}
+/** Find the evidence entry whose hash prefix-matches the cited hash (either direction). */
+function findEvidenceForHash(cited, evidence) {
+    const c = cited.toLowerCase();
+    for (const e of evidence) {
+        const h = e.hash.toLowerCase();
+        const sh = (e.shortHash ?? "").toLowerCase();
+        if (h === c || h.startsWith(c) || c.startsWith(h))
+            return e;
+        if (sh && (sh === c || sh.startsWith(c) || c.startsWith(sh)))
+            return e;
+    }
+    return undefined;
+}
+/**
+ * Lightweight Jaccard-like token overlap: shared tokens / total unique tokens
+ * after dropping stopwords + the cited hash itself. Symmetric, in [0,1].
+ */
+export function tokenOverlap(sentence, subject) {
+    const a = tokenize(sentence);
+    const b = tokenize(subject);
+    if (a.size === 0 || b.size === 0)
+        return 0;
+    let shared = 0;
+    for (const t of a)
+        if (b.has(t))
+            shared += 1;
+    const union = new Set([...a, ...b]).size;
+    return union === 0 ? 0 : shared / union;
+}
+const STOPWORDS = new Set([
+    "the", "a", "an", "and", "or", "but", "of", "to", "in", "on", "for",
+    "with", "is", "was", "are", "were", "be", "been", "being",
+    "this", "that", "these", "those", "it", "its",
+    "as", "by", "at", "from", "into", "see", "also",
+]);
+function tokenize(text) {
+    const toks = new Set();
+    // Strip backtick spans so the hash itself doesn't count as a shared token.
+    const noBackticks = text.replace(/`[^`]*`/g, " ");
+    for (const raw of noBackticks.toLowerCase().split(/[^a-z0-9]+/)) {
+        if (!raw)
+            continue;
+        if (STOPWORDS.has(raw))
+            continue;
+        if (raw.length < 2)
+            continue;
+        toks.add(raw);
+    }
+    return toks;
+}
+function wrapUnverified(sentence, reason) {
+    // Preserve trailing whitespace so re-joined paragraphs flow naturally.
+    const tail = sentence.match(/\s*$/)?.[0] ?? "";
+    const body = sentence.slice(0, sentence.length - tail.length);
+    return `[unverified: ${reason}] ${body}${tail}`;
+}
+//# sourceMappingURL=leviathan.js.map

package/dist/retrieve/leviathan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leviathan.js","sourceRoot":"","sources":["../../src/retrieve/leviathan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAoCH,wFAAwF;AACxF,MAAM,WAAW,GAAG,GAAG,CAAC;AAExB,oEAAoE;AACpE,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAEhC;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAqB;IACzD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC3C,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,oBAAoB,GAAG,CAAC,CAAC;IAE7B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAChC,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,aAAa,CAAC,IAAI,CAAC;gBACjB,SAAS,EAAE,OAAO;gBAClB,OAAO,EAAE,aAAa;gBACtB,MAAM,EAAE,iDAAiD;aAC1D,CAAC,CAAC;YACH,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAChC,SAAS;QACX,CAAC;QAED,iBAAiB,IAAI,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,mBAAmB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,WAAW,SAAS,gCAAgC,CAAC;YACpE,aAAa,CAAC,IAAI,CAAC;gBACjB,SAAS,EAAE,OAAO;gBAClB,SAAS;gBACT,OAAO,EAAE,sBAAsB;gBAC/B,MAAM;aACP,CAAC,CAAC;YACH,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC;YACxE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACpE,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,OAAO,GAAG,mBAAmB,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,gEAAgE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YACrG,aAAa,CAAC,IAAI,CAAC;gBACjB,SAAS,EAAE,OAAO;gBAClB,SAAS;gBACT,OAAO,EAAE,qBAAqB;gBAC9B,MAAM;aACP,CAAC,CAAC;YACH,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,uCAAuC,CAAC,CAAC,CAAC;YACzF,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACpE,SAAS;QACX,CAAC;QAED,oBAAoB,IAAI,CAAC,CAAC;QAC1B,aAAa,CAAC,IAAI,CAAC;YACjB,SAAS,EAAE,OAAO;YAClB,SAAS;YACT,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE,6CAA6C,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;SAC1E,CAAC,CAAC;QACH,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,UAAU,GACd,iBAAiB,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,oBAAoB,GAAG,iBAAiB,CAAC;IAC3E,MAAM,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC;IAE1C,OAAO;QACL,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE;QAChE,aAAa;QACb,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACzC,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,uEAAuE;IACvE,+BAA+B;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,8BAA8B,CAAC;IAC1C,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,QAAgB;IACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAChD,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAED,2FAA2F;AAC3F,SAAS,mBAAmB,CAC1B,KAAa,EACb,QAAqE;IAErE,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,OAAe;IAC5D,MAAM,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC;AAC1C,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK;IACnE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO;IACzD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK;IAC7C,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAChD,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,2EAA2E;IAC3E,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACjC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,MAAc;IACtD,uEAAuE;IACvE,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9D,OAAO,gBAAgB,MAAM,KAAK,IAAI,GAAG,IAAI,EAAE,CAAC;AAClD,CAAC"}

package/dist/retrieve/leviathan.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=leviathan.test.d.ts.map

package/dist/retrieve/leviathan.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"leviathan.test.d.ts","sourceRoot":"","sources":["../../src/retrieve/leviathan.test.ts"],"names":[],"mappings":""}

package/dist/retrieve/leviathan.test.js

@@ -0,0 +1,124 @@
+import { describe, it, expect } from "vitest";
+import { tokenOverlap, verifyAnswerLeviathan } from "./leviathan.js";
+import { InMemorySink } from "./stream.js";
+const ev = (hash, subject) => ({
+    hash,
+    shortHash: hash.slice(0, 7),
+    subject,
+});
+describe("verifyAnswerLeviathan — verdicts", () => {
+    it("verifies a hash that is in evidence and contextually matches the subject", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "We fixed the Stripe bigint overflow in `abc1234`.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        expect(result.verifications).toHaveLength(1);
+        expect(result.verifications[0].verdict).toBe("verified");
+        expect(result.trustScore).toBe(1);
+        expect(result.degraded).toBe(false);
+        // Verified spans are NOT wrapped.
+        expect(result.cleanedAnswer).not.toContain("[unverified");
+    });
+    it("flags hash-not-in-evidence and wraps the offending sentence", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "See `bad9999` for details.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        expect(result.verifications[0].verdict).toBe("hash-not-in-evidence");
+        expect(result.cleanedAnswer).toContain("[unverified");
+        expect(result.trustScore).toBe(0);
+        expect(result.degraded).toBe(true);
+    });
+    it("flags claim-not-supported when hash exists but subject overlap is below floor", () => {
+        const result = verifyAnswerLeviathan({
+            // Sentence is about authentication; subject is about a Stripe overflow.
+            answer: "Authentication tokens are rotated every hour, see `abc1234`.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        expect(result.verifications[0].verdict).toBe("claim-not-supported");
+        expect(result.cleanedAnswer).toContain("[unverified");
+    });
+    it("marks no-citation sentences as no-citation but keeps them in the cleaned answer", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "This is the verdict. The history is clear.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        expect(result.verifications.every((v) => v.verdict === "no-citation")).toBe(true);
+        // Both intro/conclusion sentences kept as-is.
+        expect(result.cleanedAnswer).toContain("This is the verdict");
+        expect(result.cleanedAnswer).toContain("The history is clear");
+    });
+    it("trust score is fraction of citation-bearing claims that verified", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "Stripe bigint fix landed in `abc1234`. Auth rotation lives in `bad9999`.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        // 1 verified, 1 hash-not-in-evidence → 0.5
+        expect(result.trustScore).toBe(0.5);
+        expect(result.degraded).toBe(true); // 0.5 < 0.6 floor
+    });
+    it("trustScore = 1.0 when no citations are present (intro/conclusion only)", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "The evidence is mixed. We cannot commit to a verdict.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        expect(result.trustScore).toBe(1.0);
+        expect(result.degraded).toBe(false);
+    });
+    it("matches by hash prefix in either direction (short hash <-> long hash)", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "Stripe bigint fix landed in `abc12345678`.",
+            evidence: [ev("abc1234", "Fix Stripe bigint overflow")],
+        });
+        expect(result.verifications[0].verdict).toBe("verified");
+    });
+    it("emits verify events to the sink", () => {
+        const sink = new InMemorySink();
+        verifyAnswerLeviathan({
+            answer: "Stripe bigint fix landed in `abc1234`. See `bad9999` for unrelated.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+            events: sink,
+        });
+        const verifies = sink.byKind("verify");
+        expect(verifies).toHaveLength(2);
+        expect(verifies[0].ok).toBe(true);
+        expect(verifies[1].ok).toBe(false);
+        expect(verifies[1].reason).toContain("not in the evidence pool");
+    });
+    it("degraded flag flips when too many rejections accumulate", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "See `dead0001`. Also `dead0002`. Lastly `abc1234`.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        // 1 of 3 verified → 0.33 → degraded.
+        expect(result.degraded).toBe(true);
+        expect(result.trustScore).toBeLessThan(0.6);
+    });
+    it("preserves verified sentences verbatim in cleanedAnswer", () => {
+        const result = verifyAnswerLeviathan({
+            answer: "We fixed the Stripe bigint overflow in `abc1234`.",
+            evidence: [ev("abc1234567890abc", "Fix Stripe bigint overflow")],
+        });
+        expect(result.cleanedAnswer).toContain("Stripe bigint overflow");
+        expect(result.cleanedAnswer).toContain("`abc1234`");
+    });
+});
+describe("tokenOverlap", () => {
+    it("returns 1 for identical sentences", () => {
+        expect(tokenOverlap("stripe bigint overflow", "stripe bigint overflow")).toBe(1);
+    });
+    it("returns 0 for disjoint token sets", () => {
+        expect(tokenOverlap("authentication tokens", "Stripe bigint")).toBe(0);
+    });
+    it("ignores stopwords and the cited hash itself", () => {
+        // Only 'stripe' overlaps; everything else is stopwords or the hash.
+        const overlap = tokenOverlap("This is the stripe fix `abc1234`.", "Stripe bigint");
+        expect(overlap).toBeGreaterThan(0);
+    });
+    it("is symmetric", () => {
+        const a = "stripe bigint overflow";
+        const b = "fix overflow in stripe";
+        expect(tokenOverlap(a, b)).toBeCloseTo(tokenOverlap(b, a), 6);
+    });
+});
+//# sourceMappingURL=leviathan.test.js.map

package/dist/retrieve/leviathan.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leviathan.test.js","sourceRoot":"","sources":["../../src/retrieve/leviathan.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI;IACJ,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO;CACR,CAAC,CAAC;AAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EAAE,mDAAmD;YAC3D,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,kCAAkC;QAClC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EAAE,4BAA4B;YACpC,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,wEAAwE;YACxE,MAAM,EAAE,8DAA8D;YACtE,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACrE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EAAE,4CAA4C;YACpD,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,8CAA8C;QAC9C,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EACJ,0EAA0E;YAC5E,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,2CAA2C;QAC3C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EAAE,uDAAuD;YAC/D,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EAAE,4CAA4C;YACpD,QAAQ,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,4BAA4B,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAI,YAAY,EAAE,CAAC;QAChC,qBAAqB,CAAC;YACpB,MAAM,EACJ,qEAAqE;YACvE,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;YAChE,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EACJ,oDAAoD;YACtD,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,qCAAqC;QACrC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACnC,MAAM,EAAE,mDAAmD;YAC3D,QAAQ,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,YAAY,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,YAAY,CAAC,uBAAuB,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,oEAAoE;QACpE,MAAM,OAAO,GAAG,YAAY,CAAC,mCAAmC,EAAE,eAAe,CAAC,CAAC;QACnF,MAAM,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,wBAAwB,CAAC;QACnC,MAAM,CAAC,GAAG,wBAAwB,CAAC;QACnC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/retrieve/search.d.ts

@@ -1,5 +1,6 @@
 import type { AskResult, CommitChunk, EmbeddingProvider, RepoMeta, SearchResult } from "../types.js";
 import type { MnemeStore } from "../store/sqlite.js";
+import type { EventSink } from "./stream.js";
 export interface SearchOptions {
     store: MnemeStore;
     embedder?: EmbeddingProvider;
@@ -20,6 +21,12 @@ export interface SearchOptions {
         minFtsHits: number;
         minSemCosine: number;
     };
+    /**
+     * Speculative-reasoning event sink. When provided, search emits
+     * `consider` / `accept` / `prune` events as it scores candidates so callers
+     * can render a live trace. Defaults to a no-op sink — zero cost when unused.
+     */
+    events?: EventSink;
 }
 /** Thresholds used when confidenceFloor === "auto". Calibrated from the eval set. */
 export declare const DEFAULT_CONFIDENCE: {

package/dist/retrieve/search.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../src/retrieve/search.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EAGT,WAAW,EACX,iBAAiB,EACjB,QAAQ,EACR,YAAY,EACb,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,UAAU,CAAC;IAClB,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,4EAA4E;IAC5E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,GAAG;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CACjF;AAED,qFAAqF;AACrF,eAAO,MAAM,kBAAkB,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAG1E,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;AAEjE;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,eAAe,CAmB3E;AAED;;;GAGG;AACH,wBAAsB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CA6ExF;AAED,wBAAsB,GAAG,CACvB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,aAAa,GAClB,OAAO,CAAC,SAAS,CAAC,CAQpB;AAiDD,wBAAgB,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,MAAM,CAc/D;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAED,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EAAE,EACf,GAAG,EAAE,QAAQ,EAAE,EACf,GAAG,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAChE,KAAK,CAAC;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAW9C"}
+{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../src/retrieve/search.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EAGT,WAAW,EACX,iBAAiB,EACjB,QAAQ,EACR,YAAY,EACb,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,UAAU,CAAC;IAClB,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,4EAA4E;IAC5E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,GAAG;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAChF;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;CACpB;AAED,qFAAqF;AACrF,eAAO,MAAM,kBAAkB,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAG1E,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;AAEjE;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,eAAe,CAmB3E;AAED;;;GAGG;AACH,wBAAsB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CA2GxF;AAED,wBAAsB,GAAG,CACvB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,aAAa,GAClB,OAAO,CAAC,SAAS,CAAC,CAQpB;AAiDD,wBAAgB,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,MAAM,CAc/D;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAED,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EAAE,EACf,GAAG,EAAE,QAAQ,EAAE,EACf,GAAG,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAChE,KAAK,CAAC;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAW9C"}

package/dist/retrieve/search.js

@@ -111,9 +111,37 @@ export async function search(query, opts) {
             });
         }
     }
-    return Array.from(byCommit.values())
-        .sort((a, b) => b.score - a.score)
-        .slice(0, topK);
+    const ranked = Array.from(byCommit.values()).sort((a, b) => b.score - a.score);
+    // Speculative-reasoning trace: every candidate emits `consider`; the topK
+    // emit `accept` and the rest emit `prune` so the caller can render the
+    // model's elimination process. Cheap when no sink is attached.
+    if (opts.events) {
+        const sink = opts.events;
+        const accepted = ranked.slice(0, topK);
+        const pruned = ranked.slice(topK);
+        for (const r of ranked) {
+            sink.emit({
+                kind: "consider",
+                commit: { shortHash: r.commit.shortHash, subject: r.commit.subject },
+                score: r.score,
+            });
+        }
+        for (const r of accepted) {
+            sink.emit({
+                kind: "accept",
+                commit: { shortHash: r.commit.shortHash, subject: r.commit.subject },
+                reason: "above score floor",
+            });
+        }
+        for (const r of pruned) {
+            sink.emit({
+                kind: "prune",
+                commit: { shortHash: r.commit.shortHash, subject: r.commit.subject },
+                reason: "below topK cut",
+            });
+        }
+    }
+    return ranked.slice(0, topK);
 }
 export async function ask(question, opts) {
     const results = await search(question, opts);

package/dist/retrieve/search.js.map

@@ -1 +1 @@
-{"version":3,"file":"search.js","sourceRoot":"","sources":["../../src/retrieve/search.ts"],"names":[],"mappings":"AA8BA,qFAAqF;AACrF,MAAM,CAAC,MAAM,kBAAkB,GAAiD;IAC9E,UAAU,EAAE,CAAC;IACb,YAAY,EAAE,GAAG;CAClB,CAAC;AAKF;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAuB;IACxD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;IAE9B,mEAAmE;IACnE,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,MAAM,CAAC;IAE/B,oEAAoE;IACpE,2EAA2E;IAC3E,4CAA4C;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,QAAQ,CAAC;IAEzD,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAClE,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpE,IAAI,GAAG,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAa,EAAE,IAAmB;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7B,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAA2B,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAiB;QAC/G,IAAI,EAAE,CAAC,GAAG,CAAC;QACX,GAAG,EAAE,CAAC,CAAC,IAAI;KACZ,CAAC,CAAC,CAAC;IAEJ,IAAI,cAAc,GAA6D,EAAE,CAAC;IAClF,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,GAAG,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAClD,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,IAAI,GAA+C,EAAE,CAAC;gBAC5D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,CAAC;oBAChD,iEAAiE;oBACjE,iEAAiE;oBACjE,gEAAgE;oBAChE,8CAA8C;oBAC9C,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;wBAAE,SAAS;oBAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,CAAC,IAAI,CAAC;wBACR,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAA2B,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAiB;wBAC/G,GAAG;qBACJ,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBACnC,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;gBACjC,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACxG,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,oEAAoE;YACpE,iEAAiE;YACjE,cAAc,GAAG,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,gEAAgE;IAChE,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,IAAI,MAAM,CAAC;IAC7C,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC;QAChD,MAAM,KAAK,GAAG,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAC9C,IAAI,KAAK,IAAI,KAAK;YAAE,OAAO,EAAE,CAAC;IAChC,CAAC;IAED,MAAM,KAAK,GAAG,oBAAoB,CAAC,SAAS,EAAE,cAAc,EAAE;QAC5D,aAAa,EAAE,CAAC,GAAG,cAAc;QACjC,cAAc;QACd,CAAC,EAAE,EAAE;KACN,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACnD,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE;gBAC/B,MAAM;gBACN,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,aAAa,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;SACjC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SACjC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,GAAG,CACvB,QAAgB,EAChB,IAAmB;IAEnB,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,QAAQ;QACR,OAAO,EAAE,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC;QAC7C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACrF,aAAa,EAAE,OAAO;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,IAAe;IACxD,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,KAAK,EAAE,MAAM,CAAC,OAAO;QACrB,GAAG,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;QACtC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC;KACtD,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE;YACzB,KAAK,EAAE,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO;YACvC,GAAG,EAAE,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,SAAS,MAAM,CAAC,QAAQ,EAAE;YAC5E,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;SACrD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,IAAe;IACnD,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,WAAW,IAAI,EAAE,CAAC;IAClG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,aAAa,IAAI,EAAE,CAAC;IACpG,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,yBAAyB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,YAAY,IAAI,EAAE,CAAC;IACzG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB,EAAE,OAAuB;IAClE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpB,OAAO,+CAA+C,QAAQ,iIAAiI,CAAC;IAClM,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;QAChF,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,IAAI,KAAK,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,OAAO;QACL,SAAS,OAAO,CAAC,MAAM,6BAA6B,QAAQ,IAAI;QAChE,cAAc;QACd,GAAG,KAAK;KACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAe,EAAE,CAAe;IACrD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACpC,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,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACjB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACjB,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;QACf,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACd,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC;AACvC,CAAC;AAQD,MAAM,UAAU,oBAAoB,CAClC,GAAe,EACf,GAAe,EACf,GAAiE;IAEjE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAiD,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,GAAG,CAAC,aAAa,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,MAAM,CACb,GAAuD,EACvD,KAAkB,EAClB,GAAW;IAEX,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,GAAG;QAAE,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC;;QACrB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAC5B,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;AACjC,CAAC;AAED,SAAS,KAAK,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;IAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC"}
+{"version":3,"file":"search.js","sourceRoot":"","sources":["../../src/retrieve/search.ts"],"names":[],"mappings":"AAqCA,qFAAqF;AACrF,MAAM,CAAC,MAAM,kBAAkB,GAAiD;IAC9E,UAAU,EAAE,CAAC;IACb,YAAY,EAAE,GAAG;CAClB,CAAC;AAKF;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAuB;IACxD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;IAE9B,mEAAmE;IACnE,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,MAAM,CAAC;IAE/B,oEAAoE;IACpE,2EAA2E;IAC3E,4CAA4C;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,QAAQ,CAAC;IAEzD,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAClE,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpE,IAAI,GAAG,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAa,EAAE,IAAmB;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7B,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAA2B,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAiB;QAC/G,IAAI,EAAE,CAAC,GAAG,CAAC;QACX,GAAG,EAAE,CAAC,CAAC,IAAI;KACZ,CAAC,CAAC,CAAC;IAEJ,IAAI,cAAc,GAA6D,EAAE,CAAC;IAClF,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,GAAG,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAClD,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,IAAI,GAA+C,EAAE,CAAC;gBAC5D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,CAAC;oBAChD,iEAAiE;oBACjE,iEAAiE;oBACjE,gEAAgE;oBAChE,8CAA8C;oBAC9C,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;wBAAE,SAAS;oBAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,CAAC,IAAI,CAAC;wBACR,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAA2B,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAiB;wBAC/G,GAAG;qBACJ,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBACnC,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;gBACjC,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACxG,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,oEAAoE;YACpE,iEAAiE;YACjE,cAAc,GAAG,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,gEAAgE;IAChE,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,IAAI,MAAM,CAAC;IAC7C,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC;QAChD,MAAM,KAAK,GAAG,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAC9C,IAAI,KAAK,IAAI,KAAK;YAAE,OAAO,EAAE,CAAC;IAChC,CAAC;IAED,MAAM,KAAK,GAAG,oBAAoB,CAAC,SAAS,EAAE,cAAc,EAAE;QAC5D,aAAa,EAAE,CAAC,GAAG,cAAc;QACjC,cAAc;QACd,CAAC,EAAE,EAAE;KACN,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACnD,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE;gBAC/B,MAAM;gBACN,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,aAAa,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAE/E,0EAA0E;IAC1E,uEAAuE;IACvE,+DAA+D;IAC/D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE;gBACpE,KAAK,EAAE,CAAC,CAAC,KAAK;aACf,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE;gBACpE,MAAM,EAAE,mBAAmB;aAC5B,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE;gBACpE,MAAM,EAAE,gBAAgB;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,GAAG,CACvB,QAAgB,EAChB,IAAmB;IAEnB,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,QAAQ;QACR,OAAO,EAAE,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC;QAC7C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACrF,aAAa,EAAE,OAAO;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,IAAe;IACxD,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,KAAK,EAAE,MAAM,CAAC,OAAO;QACrB,GAAG,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;QACtC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC;KACtD,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE;YACzB,KAAK,EAAE,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO;YACvC,GAAG,EAAE,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,SAAS,MAAM,CAAC,QAAQ,EAAE;YAC5E,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;SACrD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,IAAe;IACnD,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,WAAW,IAAI,EAAE,CAAC;IAClG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,aAAa,IAAI,EAAE,CAAC;IACpG,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,yBAAyB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,YAAY,IAAI,EAAE,CAAC;IACzG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB,EAAE,OAAuB;IAClE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpB,OAAO,+CAA+C,QAAQ,iIAAiI,CAAC;IAClM,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;QAChF,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,IAAI,KAAK,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,OAAO;QACL,SAAS,OAAO,CAAC,MAAM,6BAA6B,QAAQ,IAAI;QAChE,cAAc;QACd,GAAG,KAAK;KACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAe,EAAE,CAAe;IACrD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACpC,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,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACjB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACjB,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;QACf,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACd,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC;AACvC,CAAC;AAQD,MAAM,UAAU,oBAAoB,CAClC,GAAe,EACf,GAAe,EACf,GAAiE;IAEjE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAiD,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,GAAG,CAAC,aAAa,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,MAAM,CACb,GAAuD,EACvD,KAAkB,EAClB,GAAW;IAEX,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,GAAG;QAAE,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC;;QACrB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAC5B,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;AACjC,CAAC;AAED,SAAS,KAAK,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;IAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC"}

package/dist/retrieve/stream.d.ts

@@ -0,0 +1,93 @@
+/**
+ * Speculative-reasoning event stream — pub/sub layer for the retrieval
+ * pipeline so callers (CLI, MCP, audit logs) can render the model's "thought
+ * trace" in real time, not just the final answer.
+ *
+ * Inspired by the KAT-0B Try / Accept / Contradiction / Backtrack / Solved
+ * trace. In Mneme's flavor:
+ *   - `consider`   — a candidate commit was scored
+ *   - `accept`     — the candidate cleared the score floor
+ *   - `prune`      — the candidate was rejected (with a human reason)
+ *   - `contradict` — two commits disagree on the verdict
+ *   - `backtrack`  — the synthesizer abandoned a hypothesis
+ *   - `synthesize` — the LLM was invoked with N citations
+ *   - `verify`     — Leviathan verified (or rejected) a single claim
+ *   - `done`       — the pipeline finished (with total wallclock)
+ *
+ * Sinks are intentionally trivial. The `EventSink` interface keeps core
+ * dependency-free; callers wire in callbacks (CLI), arrays (tests), or null
+ * (production-quiet).
+ */
+export type StreamEvent = {
+    kind: "consider";
+    commit: {
+        shortHash: string;
+        subject: string;
+    };
+    score: number;
+} | {
+    kind: "accept";
+    commit: {
+        shortHash: string;
+        subject: string;
+    };
+    reason: string;
+} | {
+    kind: "prune";
+    commit: {
+        shortHash: string;
+        subject: string;
+    };
+    reason: string;
+} | {
+    kind: "contradict";
+    commit: {
+        shortHash: string;
+        subject: string;
+    };
+    against: string;
+} | {
+    kind: "backtrack";
+    from: string;
+    to: string;
+} | {
+    kind: "synthesize";
+    citationsCount: number;
+} | {
+    kind: "verify";
+    claim: string;
+    ok: boolean;
+    reason?: string;
+} | {
+    kind: "done";
+    durationMs: number;
+};
+/**
+ * Output port for stream events. Implementations decide where events go —
+ * stdout, an array, a websocket, or /dev/null.
+ */
+export interface EventSink {
+    emit(ev: StreamEvent): void;
+}
+/** Quiet sink — drops everything. The default. */
+export declare class NullSink implements EventSink {
+    emit(_: StreamEvent): void;
+}
+/** Test-friendly sink — appends to an in-memory array for assertions. */
+export declare class InMemorySink implements EventSink {
+    events: StreamEvent[];
+    emit(ev: StreamEvent): void;
+    /** Convenience: filter events by kind, useful in tests. */
+    byKind<K extends StreamEvent["kind"]>(kind: K): Array<Extract<StreamEvent, {
+        kind: K;
+    }>>;
+    /** Reset between test cases without re-allocating the sink. */
+    clear(): void;
+}
+/** Callback sink — bridge to external transports (CLI renderer, MCP). */
+export declare class CallbackSink implements EventSink {
+    private readonly cb;
+    constructor(cb: (e: StreamEvent) => void);
+    emit(ev: StreamEvent): void;
+}
+//# sourceMappingURL=stream.d.ts.map

package/dist/retrieve/stream.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stream.d.ts","sourceRoot":"","sources":["../../src/retrieve/stream.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACjF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACvF;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzC;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,CAAC,EAAE,EAAE,WAAW,GAAG,IAAI,CAAC;CAC7B;AAED,kDAAkD;AAClD,qBAAa,QAAS,YAAW,SAAS;IACxC,IAAI,CAAC,CAAC,EAAE,WAAW,GAAG,IAAI;CAG3B;AAED,yEAAyE;AACzE,qBAAa,YAAa,YAAW,SAAS;IAC5C,MAAM,EAAE,WAAW,EAAE,CAAM;IAC3B,IAAI,CAAC,EAAE,EAAE,WAAW,GAAG,IAAI;IAI3B,2DAA2D;IAC3D,MAAM,CAAC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAMxF,+DAA+D;IAC/D,KAAK,IAAI,IAAI;CAGd;AAED,yEAAyE;AACzE,qBAAa,YAAa,YAAW,SAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAAF,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,KAAK,IAAI;IACzD,IAAI,CAAC,EAAE,EAAE,WAAW,GAAG,IAAI;CAG5B"}

package/dist/retrieve/stream.js

@@ -0,0 +1,52 @@
+/**
+ * Speculative-reasoning event stream — pub/sub layer for the retrieval
+ * pipeline so callers (CLI, MCP, audit logs) can render the model's "thought
+ * trace" in real time, not just the final answer.
+ *
+ * Inspired by the KAT-0B Try / Accept / Contradiction / Backtrack / Solved
+ * trace. In Mneme's flavor:
+ *   - `consider`   — a candidate commit was scored
+ *   - `accept`     — the candidate cleared the score floor
+ *   - `prune`      — the candidate was rejected (with a human reason)
+ *   - `contradict` — two commits disagree on the verdict
+ *   - `backtrack`  — the synthesizer abandoned a hypothesis
+ *   - `synthesize` — the LLM was invoked with N citations
+ *   - `verify`     — Leviathan verified (or rejected) a single claim
+ *   - `done`       — the pipeline finished (with total wallclock)
+ *
+ * Sinks are intentionally trivial. The `EventSink` interface keeps core
+ * dependency-free; callers wire in callbacks (CLI), arrays (tests), or null
+ * (production-quiet).
+ */
+/** Quiet sink — drops everything. The default. */
+export class NullSink {
+    emit(_) {
+        /* intentionally empty */
+    }
+}
+/** Test-friendly sink — appends to an in-memory array for assertions. */
+export class InMemorySink {
+    events = [];
+    emit(ev) {
+        this.events.push(ev);
+    }
+    /** Convenience: filter events by kind, useful in tests. */
+    byKind(kind) {
+        return this.events.filter((e) => e.kind === kind);
+    }
+    /** Reset between test cases without re-allocating the sink. */
+    clear() {
+        this.events = [];
+    }
+}
+/** Callback sink — bridge to external transports (CLI renderer, MCP). */
+export class CallbackSink {
+    cb;
+    constructor(cb) {
+        this.cb = cb;
+    }
+    emit(ev) {
+        this.cb(ev);
+    }
+}
+//# sourceMappingURL=stream.js.map

package/dist/retrieve/stream.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stream.js","sourceRoot":"","sources":["../../src/retrieve/stream.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAoBH,kDAAkD;AAClD,MAAM,OAAO,QAAQ;IACnB,IAAI,CAAC,CAAc;QACjB,yBAAyB;IAC3B,CAAC;CACF;AAED,yEAAyE;AACzE,MAAM,OAAO,YAAY;IACvB,MAAM,GAAkB,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAe;QAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IAED,2DAA2D;IAC3D,MAAM,CAAgC,IAAO;QAC3C,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAE/C,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,KAAK;QACH,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;IACnB,CAAC;CACF;AAED,yEAAyE;AACzE,MAAM,OAAO,YAAY;IACM;IAA7B,YAA6B,EAA4B;QAA5B,OAAE,GAAF,EAAE,CAA0B;IAAG,CAAC;IAC7D,IAAI,CAAC,EAAe;QAClB,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACd,CAAC;CACF"}

package/dist/retrieve/stream.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=stream.test.d.ts.map

package/dist/retrieve/stream.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stream.test.d.ts","sourceRoot":"","sources":["../../src/retrieve/stream.test.ts"],"names":[],"mappings":""}