@jmtrin/opencode-kevin 0.3.0 → 0.4.0

package/dist/plugin/ContextInjector.js

@@ -1,110 +1,133 @@
-import { formatMemories } from "./memory-format.js";
+import { QualityGate } from "./QualityGate.js";
+import { formatMemories, formatMemorySnippets } from "./memory-format.js";
 import { estimateTokens } from "./metrics.js";
+import { STOP_WORDS } from "./query-tokenizer.js";
+export const QUALITY_GATE_SETTING = "quality_gate_enabled";
+export const SNIPPET_INJECTION_SETTING = "lesson_snippet_injection";
 const SYSTEM_TRANSFORM_TOKENS = 1500;
 const COMPACTING_TOKENS = 2000;
-const STOP_WORDS = new Set([
-    "a",
-    "an",
-    "and",
-    "are",
-    "at",
-    "be",
-    "been",
-    "but",
-    "by",
-    "did",
-    "do",
-    "does",
-    "el",
-    "eso",
-    "for",
-    "how",
-    "i",
-    "if",
-    "in",
-    "is",
-    "it",
-    "la",
-    "las",
-    "los",
-    "mi",
-    "my",
-    "o",
-    "of",
-    "on",
-    "or",
-    "para",
-    "por",
-    "que",
-    "she",
-    "su",
-    "that",
-    "the",
-    "this",
-    "to",
-    "tu",
-    "un",
-    "una",
-    "we",
-    "were",
-    "what",
-    "when",
-    "where",
-    "which",
-    "who",
-    "why",
-    "with",
-    "y",
-    "you",
-    "como",
-    "con",
-    "de",
-    "en",
-    "he",
-    "they",
-    "was",
-    "sin",
-]);
 function isWordChar(ch) {
     return /[a-z0-9áéíóúüñ]/i.test(ch);
 }
+/**
+ * BUG-005 — extract the lesson's `Suggestion:` text (first line after the
+ * marker) when present. Returns null for agent-saved notes that carry no
+ * suggestion payload. Also matches the truncated snippet-style lesson
+ * bodies used by older tests.
+ */
+function extractSuggestionText(content) {
+    const m = content.match(/\nSuggestion:\s*([^\n]+)/);
+    return m ? m[1].trim() : null;
+}
+/**
+ * BUG-005 — extract the `fails with X` slot of a lesson. For lessons
+ * without a dispatched code this equals the coarse errorType that
+ * `QualityGate.evaluate` needs for the strength classification.
+ */
+function extractFailsWithErrorType(content) {
+    const m = content.match(/\bfails with ([^:]+):/i);
+    return m ? m[1].trim() : null;
+}
 export class ContextInjector {
     memoryService;
     metrics;
+    ledger;
     lastRecurrenceCount = 0;
-    constructor(memoryService, metrics = null) {
+    /** v0.4.0 (K4-016) — session that produced the last recurrence set. */
+    lastRecurredSession = null;
+    /** v0.4.0 (K4-017) — per-session seen-set (plan §5.1 rule 3). */
+    seenBySession = new Map();
+    constructor(memoryService, metrics = null, ledger = null) {
         this.memoryService = memoryService;
         this.metrics = metrics;
+        this.ledger = ledger;
+    }
+    /**
+     * v0.4.0 (K4-017) — reset the per-session seen-set when a session is
+     * created (plan §5.1 rule 3). Wired from the `session.created` event.
+     */
+    onSessionCreated(sessionId) {
+        this.seenBySession.delete(sessionId);
     }
     /**
      * v0.3.0 (K3-020) — notify the injector that the negative feedback half
      * fired N times in the last session.idle. The next system.transform or
      * compacting hook will prepend a HITL suggestion block.
+     * v0.4.0 (K4-016) — the session id enables the concrete suggestion:
+     * the most-recurred fingerprint's pattern + its fix_args.
      */
-    setRecurrences(count) {
+    setRecurrences(count, sessionId) {
         this.lastRecurrenceCount = count;
+        this.lastRecurredSession = sessionId ?? null;
     }
     /**
-     * v0.3.0 (K3-020) — generate a HITL suggestion block when recurrences
-     * occurred. Returns the block or empty string. Resets the counter.
+     * v0.4.0 (K4-016) — generate a CONCRETE HITL suggestion block when
+     * recurrences occurred (plan §5.5): names the most-recurred pattern,
+     * its exact recurrence count, observed fix_args and confidence. The
+     * AGENTS.md draft line derives from the lesson's `Suggestion:` text —
+     * never a canned string, and never the anonymous "the same error
+     * pattern" without naming the pattern and count.
+     *
+     * BUG-012 — emits AT MOST ONCE per session: calling it resets the
+     * pending recurrence signal, so whichever hook (system.transform or
+     * compacting) runs first in a session consumes the block. Documented
+     * behavior; wire index.ts to match.
      */
     generateSuggestion() {
-        if (this.lastRecurrenceCount === 0)
+        const count = this.lastRecurrenceCount;
+        const sessionId = this.lastRecurredSession;
+        this.lastRecurrenceCount = 0;
+        this.lastRecurredSession = null;
+        if (count === 0)
             return "";
-        const block = `<kevin-suggestion>
-The same error pattern recurred ${this.lastRecurrenceCount} time(s) this session.
-Consider adding a skill or convention to AGENTS.md to prevent this.
-
-Draft:
-\`\`\`markdown
-## Recurring pattern
-- ${this.lastRecurrenceCount} recurrence(s) this session
-- Kevin's confidence in this pattern is low
-- Consider documenting the fix in AGENTS.md
-\`\`\`
+        const recurrences = this.ledger?.recurrencesFor(sessionId ?? "") ?? new Map();
+        let topFp = null;
+        let topCount = 0;
+        for (const [fp, n] of recurrences) {
+            if (n > topCount) {
+                topFp = fp;
+                topCount = n;
+            }
+        }
+        const pattern = topFp
+            ? this.memoryService.getByFingerprint(topFp, "pattern")
+            : null;
+        // No pattern memory for the recurred fingerprint (or no ledger): a
+        // short fallback that still names the count.
+        if (!pattern) {
+            return `<kevin-suggestion>
+An error pattern recurred ${count} time(s) this session.
+Consider adding a convention to AGENTS.md.
+</kevin-suggestion>`;
+        }
+        const summary = pattern.content
+            .split("\n")[0]
+            .replace(/^Causal pattern:\s*/, "")
+            .trim();
+        const pct = pattern.confidence != null ? Math.round(pattern.confidence * 100) : 0;
+        const evidence = pattern.evidenceCount ?? 0;
+        const fixLine = pattern.fixArgs
+            ? `Observed fix: ${pattern.fixArgs} (${evidence} confirmed fix${evidence === 1 ? "" : "es"}, confidence ${pct}%).`
+            : "";
+        return `<kevin-suggestion>
+The error pattern "${summary}" recurred ${topCount} time(s) this session.
+${fixLine}
+Consider adding this convention to AGENTS.md:
+- ${this.agentsDraftLine(pattern)}
 </kevin-suggestion>`;
-        this.lastRecurrenceCount = 0;
-        return block;
+    }
+    /**
+     * v0.4.0 (K4-016) — the AGENTS.md draft line derives from the lesson's
+     * `Suggestion:` text (kept verbatim in the pattern's `Original:` block).
+     */
+    agentsDraftLine(pattern) {
+        const m = pattern.content.match(/\nSuggestion: ([^\n]+)/);
+        if (m)
+            return m[1].trim();
+        return `${pattern.content
+            .split("\n")[0]
+            .replace(/^Causal pattern:\s*/, "")
+            .trim()} recurred — document the fix in AGENTS.md`;
     }
     /**
      * v0.2.0 (K2-024): origin-aware ranking at injection time is delegated
@@ -114,17 +137,33 @@ Draft:
      * callers. Plan §B6.5: "apply the same multiplier as
      * MemoryService.recall so reflector lessons outrank agent-saved notes
      * at injection time" — satisfied transitively via the getRelevant call.
+     *
+     * v0.4.0 (K4-017): after retrieval, every memory is filtered through
+     * `QualityGate.canInject` (session seen-set + recurrence + strength),
+     * and each admitted memory is recorded in the `InjectionLedger`
+     * (plan §5.2 — one row per injected memory).
      */
-    inject(query, tag, cap, metricKey) {
-        let memories = this.memoryService.getRelevant({ query, maxTokens: cap });
+    inject(query, tag, cap, metricKey, sessionId) {
+        // BUG-016 — probe WITHOUT bumping so the overflow decision and any
+        // retry both see the ORIGINAL ranking. The single relevance bump
+        // (K2-023) is applied exactly once, to the slice that actually
+        // produces the injected block — see below.
+        let memories = this.memoryService.getRelevant({
+            query,
+            maxTokens: cap,
+            bump: false,
+        });
         if (memories.length === 0)
             return "";
-        const firstBlock = formatMemories(memories, tag);
+        const firstBlock = this.format(memories, tag);
         const aggregateTokens = estimateTokens(firstBlock);
         const firstRowProtect = memories[0]
             ?.protect;
         const noProtectAboveTheFold = firstRowProtect === false;
         if (aggregateTokens > 0.8 * cap && noProtectAboveTheFold) {
+            // Retry = a single fetch with the adjusted budget, ranked by
+            // the original scores (the probe never mutated them) — the
+            // equivalent of one getRelevant call with maxTokens=lowerCap.
             const lowerCap = Math.max(1, Math.round(0.8 * cap));
             memories = this.memoryService.getRelevant({
                 query,
@@ -133,10 +172,145 @@ Draft:
             if (memories.length === 0)
                 return "";
         }
-        const block = formatMemories(memories, tag);
+        else {
+            // No retry: the probe slice IS the injected slice — bump it
+            // exactly once here.
+            this.memoryService.bumpRelevance(memories.map((m) => m.id));
+        }
+        const admitted = this.admit(memories, sessionId);
+        if (admitted.length === 0)
+            return "";
+        const block = this.format(admitted, tag);
+        this.recordInjections(admitted, sessionId, tag, block);
         this.metrics?.incr(metricKey, estimateTokens(block));
         return block;
     }
+    /**
+     * v0.4.0 (K4-017) — QualityGate admission: filters the ranked slice to
+     * memories that may be injected this session, updating the session
+     * seen-set.
+     *
+     * BUG-005 — strength/actionability now go through the REAL
+     * `QualityGate.evaluate` semantics (plan §5.1 rules 1-2), which this
+     * class had only re-derived from `metadata.dispatch`:
+     *   - dispatched code → strong + actionable (rescued errorType);
+     *   - generic fallback suggestion + no code → weak, NOT actionable
+     *     (the generic-suggestion ban is now enforced even for legacy
+     *     lessons without dispatch metadata, as long as the `Suggestion:`
+     *     text is available);
+     *   - specific suggestion without code → strong + actionable;
+     *   - no `Suggestion:` text at all (agent-saved note) → strong +
+     *     actionable — the agent explicitly asked to remember it;
+     *   - causal patterns (type='pattern') → always strong + actionable:
+     *     they are the FIXED form of a fingerprint (K4-025).
+     */
+    admit(memories, sessionId) {
+        const qualityGateEnabled = this.memoryService.getSetting(QUALITY_GATE_SETTING, "1") === "1";
+        const seen = this.seenBySession.get(sessionId) ?? new Set();
+        const recurrences = this.ledger?.postInjectionRecurrencesFor(sessionId) ??
+            new Map();
+        const admitted = [];
+        for (const m of memories) {
+            const q = this.lessonQuality(m);
+            if (QualityGate.canInject({
+                id: m.id,
+                status: m.status ?? undefined,
+                strength: q.strength,
+                isActionable: q.isActionable,
+            }, {
+                seenThisSession: seen,
+                // v0.4.0 (K4-025) — plan §5.1 rule 4: a causal pattern
+                // re-admits a lesson that the stale error row cannot.
+                // The recurrence ban (QualityGate rule 3) is scoped to
+                // error lessons — a pattern is the FIXED form of the
+                // fingerprint and is exactly what D4-06 wants back in
+                // the prompt.
+                recurrenceCount: m.type === "pattern"
+                    ? 0
+                    : m.fingerprint
+                        ? (recurrences.get(m.fingerprint) ?? 0)
+                        : 0,
+            }, qualityGateEnabled)) {
+                admitted.push(m);
+                seen.add(m.id);
+            }
+        }
+        this.seenBySession.set(sessionId, seen);
+        return admitted;
+    }
+    /**
+     * BUG-005 — the single source of truth for a memory's lesson quality,
+     * shared by `admit` (the gate) and `format` (the K4-023 `(low
+     * confidence)` marker). Routes lessons through `QualityGate.evaluate`
+     * — the production call site that was previously missing.
+     */
+    lessonQuality(m) {
+        // K4-025: a causal pattern is the fixed form of the fingerprint —
+        // never gated by suggestion text.
+        if (m.type === "pattern") {
+            return { strength: "strong", isActionable: true, weak: false };
+        }
+        const meta = (m.metadata ?? null);
+        const dispatch = meta?.dispatch ?? null;
+        const suggestion = extractSuggestionText(m.content);
+        if (suggestion === null) {
+            // Agent-saved note without a `Suggestion:` line: the agent
+            // explicitly asked to remember it → strong + actionable.
+            return { strength: "strong", isActionable: true, weak: false };
+        }
+        // The lesson's `fails with X` slot holds the displayed errorType;
+        // when no code was dispatched it equals the coarse errorType that
+        // `evaluate` needs for the strength classification.
+        const errorType = extractFailsWithErrorType(m.content);
+        const q = QualityGate.evaluate({ errorType: errorType ?? "unknown", suggestion }, dispatch, errorType ?? "unknown");
+        return {
+            strength: q.strength,
+            isActionable: q.isActionable,
+            weak: q.strength === "weak",
+        };
+    }
+    /**
+     * v0.4.0 (K4-017) — one ledger row per admitted memory (plan §5.2).
+     * Token attribution uses the memory's share of the final block.
+     */
+    recordInjections(admitted, sessionId, tag, block) {
+        if (this.ledger === null)
+            return;
+        const blockTokens = estimateTokens(block);
+        const measurable = admitted.filter((m) => m.fingerprint);
+        const perMemory = Math.max(1, Math.round(blockTokens / admitted.length));
+        const hook = tag === "context" ? "pre_prompt" : "compacting";
+        for (const m of measurable) {
+            this.ledger.record({
+                memoryId: m.id,
+                fingerprint: m.fingerprint,
+                sessionId,
+                hook,
+                tokens: perMemory,
+            });
+        }
+    }
+    /**
+     * v0.4.0 (K4-012) — snippet injection payload (plan §5.1 rule 5,
+     * D4-05): rows show `id:` + first 2 non-empty lines + `<protect>`
+     * instead of the full body. Gated by the `lesson_snippet_injection`
+     * setting (default `'1'`); when `'0'`, full content is restored.
+     * `escapeInjectedText` is applied to snippet content by the formatter.
+     * v0.4.0 (K4-023) — weak lessons admitted in debug mode are flagged so
+     * the formatter renders the `(low confidence)` marker.
+     */
+    format(memories, tag) {
+        const snippetsOn = this.memoryService.getSetting(SNIPPET_INJECTION_SETTING, "1") === "1";
+        const items = memories.map((m) => ({
+            ...m,
+            // BUG-005 — the weak marker must mirror the admission decision
+            // (K4-023 debug mode), not re-derive from dispatch alone.
+            weak: this.lessonQuality(m).weak,
+        }));
+        return snippetsOn
+            ? formatMemorySnippets(items, tag)
+            : formatMemories(items, tag);
+    }
     deriveQuery(messages) {
         let lastUserContent = "";
         for (let i = messages.length - 1; i >= 0; i--) {
@@ -165,7 +339,7 @@ Draft:
         const query = this.deriveQuery(input.messages);
         if (!query)
             return;
-        const block = this.inject(query, "context", SYSTEM_TRANSFORM_TOKENS, "tokens_injected_pre_prompt");
+        const block = this.inject(query, "context", SYSTEM_TRANSFORM_TOKENS, "tokens_injected_pre_prompt", input.sessionID ?? "");
         if (block)
             output.system.push(block);
     }
@@ -173,7 +347,7 @@ Draft:
         const query = this.deriveQuery(input.messages);
         if (!query)
             return;
-        const block = this.inject(query, "memory", COMPACTING_TOKENS, "tokens_injected_compacting");
+        const block = this.inject(query, "memory", COMPACTING_TOKENS, "tokens_injected_compacting", input.sessionID);
         if (block)
             output.context.push(block);
     }

package/dist/plugin/ContextInjector.js.map

@@ -1 +1 @@
-{"version":3,"file":"ContextInjector.js","sourceRoot":"","sources":["../../plugin/ContextInjector.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAgB,cAAc,EAAE,MAAM,cAAc,CAAC;AAyB5D,MAAM,uBAAuB,GAAG,IAAI,CAAC;AACrC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAE/B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS;IAClC,GAAG;IACH,IAAI;IACJ,KAAK;IACL,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,KAAK;IACL,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,MAAM;IACN,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,KAAK;IACL,KAAK;IACL,KAAK;IACL,IAAI;IACJ,MAAM;IACN,KAAK;IACL,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,MAAM;IACN,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,KAAK;IACL,KAAK;IACL,MAAM;IACN,GAAG;IACH,KAAK;IACL,MAAM;IACN,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,KAAK;IACL,KAAK;CACL,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,EAAU;IAC7B,OAAO,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,OAAO,eAAe;IAIlB;IACA;IAJD,mBAAmB,GAAG,CAAC,CAAC;IAEhC,YACS,aAA4B,EAC5B,UAA0B,IAAI;QAD9B,kBAAa,GAAb,aAAa,CAAe;QAC5B,YAAO,GAAP,OAAO,CAAuB;IACpC,CAAC;IAEJ;;;;OAIG;IACH,cAAc,CAAC,KAAa;QAC3B,IAAI,CAAC,mBAAmB,GAAG,KAAK,CAAC;IAClC,CAAC;IAED;;;OAGG;IACH,kBAAkB;QACjB,IAAI,IAAI,CAAC,mBAAmB,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG;kCACkB,IAAI,CAAC,mBAAmB;;;;;;IAMtD,IAAI,CAAC,mBAAmB;;;;oBAIR,CAAC;QACnB,IAAI,CAAC,mBAAmB,GAAG,CAAC,CAAC;QAC7B,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;;;;;;OAQG;IACK,MAAM,CACb,KAAa,EACb,GAAyB,EACzB,GAAW,EACX,SAAsE;QAEtE,IAAI,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,eAAe,GAAI,QAAQ,CAAC,CAAC,CAAgC;YAClE,EAAE,OAAO,CAAC;QACX,MAAM,qBAAqB,GAAG,eAAe,KAAK,KAAK,CAAC;QACxD,IAAI,eAAe,GAAG,GAAG,GAAG,GAAG,IAAI,qBAAqB,EAAE,CAAC;YAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;YACpD,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;gBACzC,KAAK;gBACL,SAAS,EAAE,QAAQ;aACnB,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;QACtC,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,WAAW,CAAC,QAAuB;QAClC,IAAI,eAAe,GAAG,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjC,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBACtC,MAAM;YACP,CAAC;QACF,CAAC;QACD,IAAI,CAAC,eAAe;YAAE,OAAO,EAAE,CAAC;QAEhC,MAAM,MAAM,GAAG,eAAe;aAC5B,WAAW,EAAE;aACb,KAAK,CAAC,KAAK,CAAC;aACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBACpB,IAAI,UAAU,CAAC,EAAE,CAAC;oBAAE,GAAG,IAAI,EAAE,CAAC;YAC/B,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,iBAAiB,CAChB,KAA2B,EAC3B,MAA6B;QAE7B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CACxB,KAAK,EACL,SAAS,EACT,uBAAuB,EACvB,4BAA4B,CAC5B,CAAC;QACF,IAAI,KAAK;YAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,YAAY,CAAC,KAAsB,EAAE,MAAwB;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CACxB,KAAK,EACL,QAAQ,EACR,iBAAiB,EACjB,4BAA4B,CAC5B,CAAC;QACF,IAAI,KAAK;YAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;CACD"}
+{"version":3,"file":"ContextInjector.js","sourceRoot":"","sources":["../../plugin/ContextInjector.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,EAAgB,cAAc,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD,MAAM,CAAC,MAAM,oBAAoB,GAAG,sBAAsB,CAAC;AAE3D,MAAM,CAAC,MAAM,yBAAyB,GAAG,0BAA0B,CAAC;AAyBpE,MAAM,uBAAuB,GAAG,IAAI,CAAC;AACrC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAE/B,SAAS,UAAU,CAAC,EAAU;IAC7B,OAAO,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,OAAe;IAC7C,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACpD,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,SAAS,yBAAyB,CAAC,OAAe;IACjD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAClD,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/B,CAAC;AAED,MAAM,OAAO,eAAe;IAQlB;IACA;IACA;IATD,mBAAmB,GAAG,CAAC,CAAC;IAChC,uEAAuE;IAC/D,mBAAmB,GAAkB,IAAI,CAAC;IAClD,iEAAiE;IAChD,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEhE,YACS,aAA4B,EAC5B,UAA0B,IAAI,EAC9B,SAAiC,IAAI;QAFrC,kBAAa,GAAb,aAAa,CAAe;QAC5B,YAAO,GAAP,OAAO,CAAuB;QAC9B,WAAM,GAAN,MAAM,CAA+B;IAC3C,CAAC;IAEJ;;;OAGG;IACH,gBAAgB,CAAC,SAAiB;QACjC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IAED;;;;;;OAMG;IACH,cAAc,CAAC,KAAa,EAAE,SAAkB;QAC/C,IAAI,CAAC,mBAAmB,GAAG,KAAK,CAAC;QACjC,IAAI,CAAC,mBAAmB,GAAG,SAAS,IAAI,IAAI,CAAC;IAC9C,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,kBAAkB;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC;QAC3C,IAAI,CAAC,mBAAmB,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAE3B,MAAM,WAAW,GAChB,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,IAAI,EAAE,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;QAC3E,IAAI,KAAK,GAAkB,IAAI,CAAC;QAChC,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC;YACnC,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC;gBAClB,KAAK,GAAG,EAAE,CAAC;gBACX,QAAQ,GAAG,CAAC,CAAC;YACd,CAAC;QACF,CAAC;QACD,MAAM,OAAO,GAAG,KAAK;YACpB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC;YACvD,CAAC,CAAC,IAAI,CAAC;QAER,mEAAmE;QACnE,6CAA6C;QAC7C,IAAI,CAAC,OAAO,EAAE,CAAC;YACd,OAAO;4BACkB,KAAK;;oBAEb,CAAC;QACnB,CAAC;QAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO;aAC7B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aACd,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC;aAClC,IAAI,EAAE,CAAC;QACT,MAAM,GAAG,GACR,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO;YAC9B,CAAC,CAAC,iBAAiB,OAAO,CAAC,OAAO,KAAK,QAAQ,iBAC7C,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IACvB,gBAAgB,GAAG,KAAK;YACzB,CAAC,CAAC,EAAE,CAAC;QAEN,OAAO;qBACY,OAAO,cAAc,QAAQ;EAChD,OAAO;;IAEL,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC;oBACb,CAAC;IACpB,CAAC;IAED;;;OAGG;IACK,eAAe,CAAC,OAAe;QACtC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC1D,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1B,OAAO,GAAG,OAAO,CAAC,OAAO;aACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aACd,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC;aAClC,IAAI,EAAE,2CAA2C,CAAC;IACrD,CAAC;IAED;;;;;;;;;;;;;OAaG;IACK,MAAM,CACb,KAAa,EACb,GAAyB,EACzB,GAAW,EACX,SAAsE,EACtE,SAAiB;QAEjB,mEAAmE;QACnE,iEAAiE;QACjE,+DAA+D;QAC/D,2CAA2C;QAC3C,IAAI,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;YAC7C,KAAK;YACL,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,KAAK;SACX,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC9C,MAAM,eAAe,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,eAAe,GAAI,QAAQ,CAAC,CAAC,CAAgC;YAClE,EAAE,OAAO,CAAC;QACX,MAAM,qBAAqB,GAAG,eAAe,KAAK,KAAK,CAAC;QACxD,IAAI,eAAe,GAAG,GAAG,GAAG,GAAG,IAAI,qBAAqB,EAAE,CAAC;YAC1D,6DAA6D;YAC7D,2DAA2D;YAC3D,8DAA8D;YAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;YACpD,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;gBACzC,KAAK;gBACL,SAAS,EAAE,QAAQ;aACnB,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;QACtC,CAAC;aAAM,CAAC;YACP,4DAA4D;YAC5D,qBAAqB;YACrB,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACvD,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACK,KAAK,CAAC,QAAkB,EAAE,SAAiB;QAClD,MAAM,kBAAkB,GACvB,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,oBAAoB,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACpE,MAAM,WAAW,GAChB,IAAI,CAAC,MAAM,EAAE,2BAA2B,CAAC,SAAS,CAAC;YACnD,IAAI,GAAG,EAAkB,CAAC;QAC3B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,IACC,WAAW,CAAC,SAAS,CACpB;gBACC,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,SAAS;gBAC7B,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,YAAY,EAAE,CAAC,CAAC,YAAY;aAC5B,EACD;gBACC,eAAe,EAAE,IAAI;gBACrB,uDAAuD;gBACvD,sDAAsD;gBACtD,uDAAuD;gBACvD,qDAAqD;gBACrD,sDAAsD;gBACtD,cAAc;gBACd,eAAe,EACd,CAAC,CAAC,IAAI,KAAK,SAAS;oBACnB,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,CAAC,CAAC,WAAW;wBACd,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;wBACvC,CAAC,CAAC,CAAC;aACN,EACD,kBAAkB,CAClB,EACA,CAAC;gBACF,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC;QACF,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACK,aAAa,CAAC,CAAS;QAK9B,kEAAkE;QAClE,kCAAkC;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAExB,CAAC;QACT,MAAM,QAAQ,GAAG,IAAI,EAAE,QAAQ,IAAI,IAAI,CAAC;QACxC,MAAM,UAAU,GAAG,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,2DAA2D;YAC3D,yDAAyD;YACzD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC;QACD,kEAAkE;QAClE,kEAAkE;QAClE,oDAAoD;QACpD,MAAM,SAAS,GAAG,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,WAAW,CAAC,QAAQ,CAC7B,EAAE,SAAS,EAAE,SAAS,IAAI,SAAS,EAAE,UAAU,EAAE,EACjD,QAAQ,EACR,SAAS,IAAI,SAAS,CACtB,CAAC;QACF,OAAO;YACN,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,IAAI,EAAE,CAAC,CAAC,QAAQ,KAAK,MAAM;SAC3B,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,gBAAgB,CACvB,QAAkB,EAClB,SAAiB,EACjB,GAAyB,EACzB,KAAa;QAEb,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO;QACjC,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAClB,QAAQ,EAAE,CAAC,CAAC,EAAE;gBACd,WAAW,EAAE,CAAC,CAAC,WAAqB;gBACpC,SAAS;gBACT,IAAI;gBACJ,MAAM,EAAE,SAAS;aACjB,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED;;;;;;;;OAQG;IACK,MAAM,CACb,QAA2B,EAC3B,GAAyB;QAEzB,MAAM,UAAU,GACf,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,yBAAyB,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC;QACvE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClC,GAAG,CAAC;YACJ,+DAA+D;YAC/D,0DAA0D;YAC1D,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAW,CAAC,CAAC,IAAI;SAC1C,CAAC,CAAC,CAAC;QACJ,OAAO,UAAU;YAChB,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,WAAW,CAAC,QAAuB;QAClC,IAAI,eAAe,GAAG,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjC,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBACtC,MAAM;YACP,CAAC;QACF,CAAC;QACD,IAAI,CAAC,eAAe;YAAE,OAAO,EAAE,CAAC;QAEhC,MAAM,MAAM,GAAG,eAAe;aAC5B,WAAW,EAAE;aACb,KAAK,CAAC,KAAK,CAAC;aACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBACpB,IAAI,UAAU,CAAC,EAAE,CAAC;oBAAE,GAAG,IAAI,EAAE,CAAC;YAC/B,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,iBAAiB,CAChB,KAA2B,EAC3B,MAA6B;QAE7B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CACxB,KAAK,EACL,SAAS,EACT,uBAAuB,EACvB,4BAA4B,EAC5B,KAAK,CAAC,SAAS,IAAI,EAAE,CACrB,CAAC;QACF,IAAI,KAAK;YAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,YAAY,CAAC,KAAsB,EAAE,MAAwB;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CACxB,KAAK,EACL,QAAQ,EACR,iBAAiB,EACjB,4BAA4B,EAC5B,KAAK,CAAC,SAAS,CACf,CAAC;QACF,IAAI,KAAK;YAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;CACD"}

package/dist/plugin/InjectionLedger.d.ts

@@ -0,0 +1,85 @@
+import type { Store } from "./Store.js";
+import type { Metrics } from "./metrics.js";
+/**
+ * v0.4.0 InjectionLedger (K4-006/K4-007, plan §5.2, D4-04).
+ *
+ * The measurement half of the closed feedback loop: every lesson injected
+ * into a prompt is recorded in `kevin_injections`, and at `session.idle` the
+ * ledger settles each unmeasured row — if the same fingerprint failed again
+ * after the injection, the lesson is `ineffective`; otherwise `effective`.
+ * `precision_rate = effective / total` is the honest, measured value of the
+ * injection system (replacing Kevin_Token_Impact-style estimates).
+ *
+ * Schema (migration 005_v04_signal.sql):
+ *   kevin_injections(id PK, memory_id, fingerprint, session_id, hook,
+ *                    tokens, injected_at, outcome)
+ *
+ * BUG-015 — a ledger row is only meaningful when its fingerprint can be
+ * matched against failing tool_calls (`COALESCE(error_fingerprint,
+ * fingerprint)`). Memories WITHOUT a fingerprint (agent-saved notes) can
+ * never match, so they are NOT recorded: settle() would otherwise mark
+ * them `effective` forever and inflate `precision_rate`. The caller
+ * (ContextInjector.recordInjections) skips them.
+ */
+export type InjectionHook = "pre_prompt" | "compacting";
+export type InjectionOutcome = "unmeasured" | "effective" | "ineffective";
+export interface InjectionRecordInput {
+    memoryId: string;
+    fingerprint: string;
+    sessionId: string;
+    hook: InjectionHook;
+    tokens: number;
+}
+interface InjectionRow {
+    id: string;
+    memory_id: string;
+    fingerprint: string;
+    session_id: string;
+    hook: InjectionHook;
+    tokens: number;
+    injected_at: string;
+    outcome: InjectionOutcome;
+}
+export declare class InjectionLedger {
+    private readonly store;
+    private readonly metrics;
+    constructor(store: Store, metrics?: Metrics | null);
+    /**
+     * Records one injected memory. Idempotent at the row level (UUID PK);
+     * duplicates are expected only via the caller's per-session seen-set.
+     */
+    record(input: InjectionRecordInput): void;
+    /**
+     * Settles every unmeasured injection of the session: a fingerprint that
+     * failed again (as a failing tool_call) after the injection is
+     * `ineffective`, otherwise `effective`. Idempotent — only
+     * `outcome = 'unmeasured'` rows are flipped, and the recurrence charge
+     * is `MAX(recurrence_count, n)` where n = all failing calls of the
+     * fingerprint after `injected_at` (a later idle re-computes n and
+     * catches up — plan §5.1 rule 4: 3 recurrences → stale).
+     *
+     * An ineffective injection also bumps the target memory's
+     * `recurrence_count` (negative evidence, plan §5.3) and stamps
+     * `last_injected_at`.
+     */
+    settle(sessionId: string): void;
+    /**
+     * Per-fingerprint failing tool-call counts for the session. Feeds
+     * QualityGate.canInject and the HITL suggestion block.
+     */
+    recurrencesFor(sessionId: string): Map<string, number>;
+    /**
+     * v0.4.0 (K4-017) — recurrence counts for the QualityGate at
+     * injection time: only failing calls that happened AFTER the
+     * fingerprint was already injected this session count. The failure
+     * that *created* a lesson is not a recurrence — it precedes any
+     * injection (plan §5.1 rule 4, same `ts >= injected_at` semantics
+     * `settle` uses).
+     */
+    postInjectionRecurrencesFor(sessionId: string): Map<string, number>;
+    /** Number of rows for the session not yet settled (drives tests and settle). */
+    unsettledForSession(sessionId: string): number;
+    /** Latest ledger rows for a session, newest first (used by tests/tools). */
+    rowsForSession(sessionId: string): InjectionRow[];
+}
+export {};