@jmtrin/opencode-kevin 0.5.0 → 0.7.0

package/dist/plugin/inferability.js

@@ -0,0 +1,89 @@
+/**
+ * K6-010 — v0.6.0 pull — deterministic error-knowledge classifier (plan §5.3).
+ *
+ * Pure module: no DB, no clock, no filesystem, no RNG. Fully unit-testable in
+ * isolation, and therefore fully unit-tested.
+ */
+/**
+ * The `Reflector` dispatch surface of §3.4, restated as data: error codes whose
+ * payload IS the knowledge — no project-specific interpretation required.
+ */
+export const SELF_DESCRIBING_CODES = new Set([
+    "TS2304",
+    "TS2307",
+    "TS2322",
+    "TS2339",
+    "TS2305",
+    "TS2552",
+    "TS2740",
+    "TS6133",
+    "TS18047",
+    "E0433",
+    "E0432",
+    "command_not_found",
+]);
+/**
+ * Rule 4 detector — deliberately conservative. Errs toward `non_inferable`,
+ * because a false `inferable` silently withholds real knowledge from curation
+ * forever, while a false `non_inferable` costs one line a human rejects.
+ */
+const NPM_RUN_RE = /\b(?:npm|pnpm|yarn|bun)(?:\s+(?:run|exec))?\s+[\w@:/-]+/;
+const RELATIVE_PATH_RE = /\.{1,2}\/[\w./@-]+/;
+const FLAG_RE = /(?:^|\s)--[\w-]+/;
+const FILE_EXT_RE = /\b[\w./@-]+\.[a-zA-Z][a-zA-Z0-9]{0,7}\b/;
+function namesProjectSpecific(content) {
+    return (NPM_RUN_RE.test(content) ||
+        RELATIVE_PATH_RE.test(content) ||
+        FLAG_RE.test(content) ||
+        FILE_EXT_RE.test(content));
+}
+function dispatchCode(metadata) {
+    if (metadata === null || typeof metadata !== "object")
+        return null;
+    const dispatch = metadata.dispatch;
+    if (dispatch === null || typeof dispatch !== "object")
+        return null;
+    const code = dispatch.code;
+    return typeof code === "string" && code.length > 0 ? code : null;
+}
+/**
+ * Rules from plan §5.3, evaluated in order — the ordering is the specification:
+ *
+ *  1. `type` ∈ decision / rule / solution → `non_inferable`
+ *  2. `type` = pattern → `non_inferable`
+ *  3. `type` = error and `metadata.dispatch.code` ∈ SELF_DESCRIBING_CODES → `inferable`
+ *  4. `type` = error and content names a project-specific path, script or flag → `non_inferable`
+ *  5. otherwise → `unknown`
+ *
+ * Rule 4 beats rule 3: a TS2304 is inferable, but "TS2304 on
+ * `./scripts/gen-routes.ts` because the generator must run before tsc" is not —
+ * the project-specific script name is the payload, not the code. Rule 3's
+ * condition (code membership) is evaluated first for the bare case; rule 4
+ * catches what rule 3 does not.
+ */
+export function classify(memory) {
+    // Rule 1 — authored knowledge is never re-derived.
+    if (memory.type === "decision" ||
+        memory.type === "rule" ||
+        memory.type === "solution") {
+        return "non_inferable";
+    }
+    // Rule 2 — a mined sequence is project-specific by construction.
+    if (memory.type === "pattern") {
+        return "non_inferable";
+    }
+    if (memory.type === "error") {
+        const code = dispatchCode(memory.metadata);
+        // Rule 4 — content naming a project-specific path, script or flag.
+        if (namesProjectSpecific(memory.content)) {
+            return "non_inferable";
+        }
+        // Rule 3 — a bare self-describing code is inferable.
+        if (code !== null && SELF_DESCRIBING_CODES.has(code)) {
+            return "inferable";
+        }
+    }
+    // Rule 5.
+    return "unknown";
+}
+//# sourceMappingURL=inferability.js.map

package/dist/plugin/inferability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inferability.js","sourceRoot":"","sources":["../../plugin/inferability.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACjE,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,OAAO;IACP,OAAO;IACP,mBAAmB;CACnB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,GAAG,yDAAyD,CAAC;AAC7E,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAC9C,MAAM,OAAO,GAAG,kBAAkB,CAAC;AACnC,MAAM,WAAW,GAAG,yCAAyC,CAAC;AAE9D,SAAS,oBAAoB,CAAC,OAAe;IAC5C,OAAO,CACN,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;QACxB,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QACrB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CACzB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,QAAiB;IACtC,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,QAAQ,GAAI,QAAmC,CAAC,QAAQ,CAAC;IAC/D,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,IAAI,GAAI,QAA+B,CAAC,IAAI,CAAC;IACnD,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,QAAQ,CAAC,MAIxB;IACA,mDAAmD;IACnD,IACC,MAAM,CAAC,IAAI,KAAK,UAAU;QAC1B,MAAM,CAAC,IAAI,KAAK,MAAM;QACtB,MAAM,CAAC,IAAI,KAAK,UAAU,EACzB,CAAC;QACF,OAAO,eAAe,CAAC;IACxB,CAAC;IACD,iEAAiE;IACjE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,eAAe,CAAC;IACxB,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC3C,mEAAmE;QACnE,IAAI,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,OAAO,eAAe,CAAC;QACxB,CAAC;QACD,qDAAqD;QACrD,IAAI,IAAI,KAAK,IAAI,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,OAAO,WAAW,CAAC;QACpB,CAAC;IACF,CAAC;IACD,UAAU;IACV,OAAO,SAAS,CAAC;AAClB,CAAC"}

package/dist/plugin/kevin_approve.d.ts

@@ -0,0 +1,34 @@
+import type { ArtifactWriter } from "./ArtifactWriter.js";
+import type { Curator, ProposalStatus } from "./Curator.js";
+import type { MemoryService } from "./MemoryService.js";
+import type { Store } from "./Store.js";
+import type { Metrics } from "./metrics.js";
+/**
+ * K6-014 — v0.6.0 pull — `kevin_approve` tool logic.
+ *
+ * The ONLY code path in the entire plugin that may call
+ * `ArtifactWriter`'s apply method (D6-01; enforced by
+ * tests/unit/single_write_path.test.ts).
+ *
+ * There is deliberately no "trusted mode" and no flag that skips the human:
+ * the approval gate is the release's entire safety model.
+ */
+export interface ApproveArgs {
+    readonly proposalId: string;
+    readonly decision: "approve" | "reject";
+}
+export type ApproveResult = {
+    readonly proposalId: string;
+    readonly status: "rejected";
+} | {
+    readonly proposalId: string;
+    readonly status: "applied";
+    readonly outcome: string;
+    readonly curated: number;
+} | {
+    readonly error: "not_found" | "not_pending";
+    readonly proposalId: string;
+    readonly status?: ProposalStatus;
+    readonly message: string;
+};
+export declare function kevinApprove(store: Store, memoryService: MemoryService, curator: Curator, writer: ArtifactWriter, metrics: Metrics | null, args: ApproveArgs): ApproveResult;

package/dist/plugin/kevin_approve.js

@@ -0,0 +1,50 @@
+export function kevinApprove(store, memoryService, curator, writer, metrics, args) {
+    const row = store
+        .prepare(`SELECT id, kind, target_path, proposed_text, memory_id, status
+			 FROM curation_proposals WHERE id = ?`)
+        .get(args.proposalId);
+    if (!row) {
+        return {
+            error: "not_found",
+            proposalId: args.proposalId,
+            message: `No proposal with id "${args.proposalId}".`,
+        };
+    }
+    if (row.status !== "pending") {
+        return {
+            error: "not_pending",
+            proposalId: args.proposalId,
+            status: row.status,
+            message: `Proposal "${args.proposalId}" is ${row.status}, not pending.`,
+        };
+    }
+    if (args.decision === "reject") {
+        curator.transition(args.proposalId, "reject");
+        metrics?.incr("proposals_rejected", 1);
+        return { proposalId: args.proposalId, status: "rejected" };
+    }
+    // approve → apply → applied (plan §5.5). The proposed_text is re-planned
+    // at approval time against the file as it is now; apply() is atomic and
+    // audits every outcome including noop. The disk write happens BEFORE the
+    // state transitions: if apply() throws (e.g. a filesystem error), the
+    // proposal is still 'pending' and the human can retry or reject — a
+    // row stuck in 'approved' with no file written would be a dead end,
+    // since kevin_approve only accepts pending rows.
+    const plan = writer.plan(row.target_path, row.proposed_text);
+    const outcome = writer.apply(plan, args.proposalId);
+    curator.transition(args.proposalId, "approve");
+    curator.transition(args.proposalId, "apply");
+    const memoryIds = row.memory_id.split(",").filter((s) => s.length > 0);
+    const curated = memoryService.markCurated(memoryIds, sqliteNow());
+    metrics?.incr("proposals_approved", 1);
+    return {
+        proposalId: args.proposalId,
+        status: "applied",
+        outcome,
+        curated,
+    };
+}
+function sqliteNow() {
+    return new Date().toISOString().slice(0, 19).replace("T", " ");
+}
+//# sourceMappingURL=kevin_approve.js.map

package/dist/plugin/kevin_approve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kevin_approve.js","sourceRoot":"","sources":["../../plugin/kevin_approve.ts"],"names":[],"mappings":"AAiDA,MAAM,UAAU,YAAY,CAC3B,KAAY,EACZ,aAA4B,EAC5B,OAAgB,EAChB,MAAsB,EACtB,OAAuB,EACvB,IAAiB;IAEjB,MAAM,GAAG,GAAG,KAAK;SACf,OAAO,CACP;yCACsC,CACtC;SACA,GAAG,CAAC,IAAI,CAAC,UAAU,CAA4B,CAAC;IAClD,IAAI,CAAC,GAAG,EAAE,CAAC;QACV,OAAO;YACN,KAAK,EAAE,WAAW;YAClB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO,EAAE,wBAAwB,IAAI,CAAC,UAAU,IAAI;SACpD,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;YACN,KAAK,EAAE,aAAa;YACpB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,aAAa,IAAI,CAAC,UAAU,QAAQ,GAAG,CAAC,MAAM,gBAAgB;SACvE,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC9C,OAAO,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC;QACvC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC5D,CAAC;IAED,yEAAyE;IACzE,wEAAwE;IACxE,yEAAyE;IACzE,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,iDAAiD;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/C,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;IAClE,OAAO,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC;IACvC,OAAO;QACN,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,MAAM,EAAE,SAAS;QACjB,OAAO;QACP,OAAO;KACP,CAAC;AACH,CAAC;AAED,SAAS,SAAS;IACjB,OAAO,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC"}

package/dist/plugin/kevin_audit.d.ts

@@ -1,4 +1,5 @@
 import type { Store } from "./Store.js";
+import type { Capabilities } from "./capabilities.js";
 import type { Metrics } from "./metrics.js";
 /**
  * v0.5.0 (K5-016 / plan §5.7) — `kevin_audit`.
@@ -12,6 +13,19 @@ import type { Metrics } from "./metrics.js";
  * Pre-006 databases degrade gracefully: any block that fails (missing column
  * or table) falls back to its zero value and the report is flagged
  * `"partial": true` instead of throwing.
+ *
+ * v0.6.0 (K6-023 / plan §5.8) — the `channels` and `curation` blocks are the
+ * release's own scoreboard. On a pre-007 database they are **omitted** (not
+ * zero-valued) and `"partial": true` is set: a report that cannot answer
+ * "do the pull channels beat push?" must say so rather than suggest it can.
+ *
+ * v0.7.0 (K7-019 / plan §5.3, K7-006) — the `truth` block is project-scoped:
+ * facts scanned, penalized memory count and the truncation flag for the
+ * current project. It is omitted (and `"partial": true` set) on a pre-008
+ * database, exactly like the conflicts block. `facts_scanned` counts every
+ * `repo_facts` row for the project — the same COUNT(*) semantics as the
+ * `repo_facts_scanned` metric — while `truncated` reports the scan cap
+ * separately, mirroring `kevin_facts`.
  */
 export interface AuditReport {
     memories: {
@@ -44,6 +58,78 @@ export interface AuditReport {
         compacting: number;
     };
     settings: Record<string, string>;
+    conflicts?: {
+        by_kind: Record<string, number>;
+        by_status: Record<string, number>;
+    };
+    truth?: TruthReport;
+    mix?: {
+        injected_by_type: Record<string, number>;
+        injected_total: number;
+        non_error_injected: number;
+        non_error_share: number;
+        precision_error: number;
+        precision_non_error: number;
+        meets_exit_criterion: boolean;
+        reason?: "immature_db";
+    };
+    channels?: ChannelReport;
+    curation?: CurationReport;
     partial: boolean;
 }
-export declare function buildAudit(store: Store, metrics: Metrics): AuditReport;
+/**
+ * v0.6.0 (K6-023 / plan §5.8) — three-channel comparison on the same axes.
+ * `skill_emission` / `reference_emission` distinguish the three states a
+ * channel can be in: "unavailable" (v1 host, no domain on the plugin input),
+ * "off" (capable host, setting '0'), "on" (capable host, setting '1').
+ * Collapsing "unavailable" and "off" would make "my host is too old"
+ * indistinguishable from "I turned it off".
+ */
+export type EmissionState = "on" | "off" | "unavailable";
+export interface ChannelReport {
+    push: {
+        tokens_pre_prompt: number;
+        tokens_compacting: number;
+        injections_total: number;
+        precision_rate: number;
+        coverage_rate: number;
+        budget_tokens: number;
+    };
+    pull: {
+        proposals_created: number;
+        proposals_approved: number;
+        proposals_rejected: number;
+        artifact_writes_total: number;
+        artifact_writes_noop: number;
+        references_registered: number;
+        skills_registered: number;
+        skill_emission: EmissionState;
+        reference_emission: EmissionState;
+    };
+}
+export interface CurationReport {
+    eligible: number;
+    curated: number;
+    inferable: number;
+    non_inferable: number;
+    unknown: number;
+    proposals_by_status: Record<string, number>;
+}
+/**
+ * v0.7.0 (K7-019 / plan §5.3) — the Project Truth block. The same shape
+ * `kevin_facts` exposes: `facts_scanned` counts every repo_facts row for the
+ * project (COUNT(*) semantics, matching the `repo_facts_scanned` metric),
+ * `penalized_memories` counts memories with `truth_penalty > 0`, and
+ * `truncated` reports the 500-fact scan cap from the `_truncated` marker row.
+ */
+export interface TruthReport {
+    facts_scanned: number;
+    penalized_memories: number;
+    truncated: {
+        is_truncated: true;
+        count: number;
+    } | {
+        is_truncated: false;
+    };
+}
+export declare function buildAudit(store: Store, metrics: Metrics, capabilities?: Capabilities, projectId?: string): AuditReport;

package/dist/plugin/kevin_audit.js

@@ -1,3 +1,9 @@
+import { effectivePrePromptCap } from "./ContextInjector.js";
+const ALL_FALSE_CAPABILITIES = {
+    skills: false,
+    references: false,
+    apiVersion: null,
+};
 function groupCounts(store, column) {
     const rows = store
         .prepare(`SELECT ${column} AS k, COUNT(*) AS n FROM memories GROUP BY ${column}`)
@@ -8,11 +14,11 @@ function groupCounts(store, column) {
     }
     return out;
 }
-function scalar(store, sql) {
-    const row = store.prepare(sql).get();
+function scalar(store, sql, ...params) {
+    const row = store.prepare(sql).get(...params);
     return row.n ?? 0;
 }
-export function buildAudit(store, metrics) {
+export function buildAudit(store, metrics, capabilities = ALL_FALSE_CAPABILITIES, projectId) {
     let partial = false;
     // Memories block: `total` + the three GROUP BYs are pre-006 safe; the
     // lifecycle counters need the 006 columns and fall back separately.
@@ -128,6 +134,182 @@ export function buildAudit(store, metrics) {
     catch {
         partial = true;
     }
+    // v0.6.0 (K6-023 / plan §5.8) — channels + curation. Both blocks are
+    // gated on migration 007's schema: on a pre-007 database they are
+    // OMITTED (not zero-valued) and `partial` is set, so the release's
+    // scoreboard is never presented as computed when it cannot be.
+    let channels;
+    let curation;
+    let conflicts;
+    let mix;
+    let hasSchema007 = false;
+    try {
+        store.prepare("SELECT 1 FROM curation_proposals LIMIT 1").get();
+        hasSchema007 = true;
+    }
+    catch {
+        hasSchema007 = false;
+    }
+    if (hasSchema007) {
+        try {
+            const emission = (capable, key) => {
+                if (!capable)
+                    return "unavailable";
+                return settings[key] === "1" ? "on" : "off";
+            };
+            const registered = (key) => {
+                const row = store
+                    .prepare("SELECT value FROM kevin_metrics WHERE key = ?")
+                    .get(key);
+                return row?.value ?? 0;
+            };
+            channels = {
+                push: {
+                    tokens_pre_prompt: metrics.get("tokens_injected_pre_prompt"),
+                    tokens_compacting: metrics.get("tokens_injected_compacting"),
+                    injections_total: metrics.get("injections_total"),
+                    precision_rate: metrics.precisionRate(),
+                    coverage_rate: metrics.coverageRate(),
+                    // The EFFECTIVE cap (K6-021 clamp semantics), not the raw
+                    // setting: the channel comparison must use the budget the
+                    // push channel actually charges against.
+                    budget_tokens: effectivePrePromptCap(settings.pre_prompt_budget_tokens),
+                },
+                pull: {
+                    proposals_created: metrics.get("proposals_created"),
+                    // "approved" is the human decision: approved + applied.
+                    proposals_approved: metrics.get("proposals_approved"),
+                    proposals_rejected: metrics.get("proposals_rejected"),
+                    artifact_writes_total: metrics.get("artifact_writes_total"),
+                    artifact_writes_noop: metrics.get("artifact_writes_noop"),
+                    references_registered: registered("references_registered"),
+                    skills_registered: registered("skills_registered"),
+                    skill_emission: emission(capabilities.skills, "skill_emission_enabled"),
+                    reference_emission: emission(capabilities.references, "reference_emission_enabled"),
+                },
+            };
+        }
+        catch {
+            partial = true;
+            channels = undefined;
+        }
+        try {
+            const proposalRows = store
+                .prepare("SELECT status, COUNT(*) AS n FROM curation_proposals GROUP BY status")
+                .all();
+            const byStatus = {};
+            for (const r of proposalRows) {
+                byStatus[r.status] = r.n;
+            }
+            curation = {
+                // The Curator predicate is `inferable != 1` (plan §5.5): an
+                // unclassified (NULL) memory must not be silently withheld.
+                eligible: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE inferable IS NOT 1"),
+                curated: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE curated = 1"),
+                inferable: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE inferable = 1"),
+                non_inferable: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE inferable = 0"),
+                unknown: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE inferable IS NULL"),
+                proposals_by_status: byStatus,
+            };
+        }
+        catch {
+            partial = true;
+            curation = undefined;
+        }
+    }
+    else {
+        partial = true;
+    }
+    try {
+        const rows = store
+            .prepare("SELECT kind, status, COUNT(*) AS n FROM memory_conflicts GROUP BY kind, status")
+            .all();
+        const byKind = {};
+        const byStatus = {};
+        for (const row of rows) {
+            byKind[row.kind] = (byKind[row.kind] ?? 0) + row.n;
+            byStatus[row.status] = (byStatus[row.status] ?? 0) + row.n;
+        }
+        conflicts = { by_kind: byKind, by_status: byStatus };
+    }
+    catch {
+        partial = true;
+    }
+    // v0.7.0 (K7-019 / plan §5.3, K7-006) — the `truth` block is
+    // project-scoped. On a pre-008 database the repo_facts query throws, so
+    // the block is omitted and `partial` set — a report that cannot answer
+    // "how many facts does this project have?" must say so.
+    let truth;
+    if (projectId) {
+        try {
+            const truncatedRow = store
+                .prepare("SELECT value FROM repo_facts WHERE project_id = ? AND key_path = '_truncated'")
+                .get(projectId);
+            truth = {
+                facts_scanned: scalar(store, "SELECT COUNT(*) AS n FROM repo_facts WHERE project_id = ?", projectId),
+                penalized_memories: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE project_id = ? AND truth_penalty > 0", projectId),
+                truncated: truncatedRow
+                    ? { is_truncated: true, count: Number(truncatedRow.value) || 0 }
+                    : { is_truncated: false },
+            };
+        }
+        catch {
+            partial = true;
+            truth = undefined;
+        }
+    }
+    try {
+        const typeRows = store
+            .prepare(`SELECT m.type, COUNT(*) AS n
+				 FROM kevin_injections i JOIN memories m ON m.id = i.memory_id
+				 GROUP BY m.type`)
+            .all();
+        const injectedByType = {
+            error: 0,
+            rule: 0,
+            decision: 0,
+            pattern: 0,
+            solution: 0,
+            context: 0,
+        };
+        for (const row of typeRows)
+            injectedByType[row.type] = row.n;
+        const total = typeRows.reduce((sum, row) => sum + row.n, 0);
+        const nonError = total - (injectedByType.error ?? 0);
+        const precisionFor = (isError) => {
+            const row = store
+                .prepare(`SELECT
+					 SUM(CASE WHEN i.outcome = 'effective' THEN 1 ELSE 0 END) AS effective,
+					 SUM(CASE WHEN i.outcome = 'ineffective' THEN 1 ELSE 0 END) AS ineffective
+					 FROM kevin_injections i JOIN memories m ON m.id = i.memory_id
+					 WHERE ${isError ? "m.type = 'error'" : "m.type <> 'error'"}`)
+                .get();
+            const effective = row.effective ?? 0;
+            const measured = effective + (row.ineffective ?? 0);
+            return measured > 0 ? effective / measured : 0;
+        };
+        const precisionError = precisionFor(true);
+        const precisionNonError = precisionFor(false);
+        const memoryCount = scalar(store, "SELECT COUNT(*) AS n FROM memories");
+        const settled = scalar(store, "SELECT COUNT(*) AS n FROM kevin_injections WHERE outcome IN ('effective','ineffective')");
+        const mature = memoryCount >= 100 && settled >= 50;
+        const meets = mature &&
+            nonError / Math.max(total, 1) >= 0.5 &&
+            precisionNonError > precisionError;
+        mix = {
+            injected_by_type: injectedByType,
+            injected_total: total,
+            non_error_injected: nonError,
+            non_error_share: total > 0 ? nonError / total : 0,
+            precision_error: precisionError,
+            precision_non_error: precisionNonError,
+            meets_exit_criterion: meets,
+            ...(mature ? {} : { reason: "immature_db" }),
+        };
+    }
+    catch {
+        partial = true;
+    }
     return {
         memories,
         injections,
@@ -135,6 +317,11 @@ export function buildAudit(store, metrics) {
         feedback,
         tokens,
         settings,
+        conflicts,
+        truth,
+        mix,
+        channels,
+        curation,
         partial,
     };
 }

package/dist/plugin/kevin_audit.js.map

@@ -1 +1 @@
-{"version":3,"file":"kevin_audit.js","sourceRoot":"","sources":["../../plugin/kevin_audit.ts"],"names":[],"mappings":"AAmDA,SAAS,WAAW,CAAC,KAAY,EAAE,MAAc;IAChD,MAAM,IAAI,GAAG,KAAK;SAChB,OAAO,CACP,UAAU,MAAM,+CAA+C,MAAM,EAAE,CACvE;SACA,GAAG,EAAuC,CAAC;IAC7C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,MAAM,CAAC,KAAY,EAAE,GAAW;IACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAmB,CAAC;IACtD,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAY,EAAE,OAAgB;IACxD,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,sEAAsE;IACtE,oEAAoE;IACpE,IAAI,QAAQ,GAA4B;QACvC,KAAK,EAAE,CAAC;QACR,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,CAAC;QACV,QAAQ,EAAE,CAAC;QACX,aAAa,EAAE,CAAC;QAChB,sBAAsB,EAAE,CAAC;KACzB,CAAC;IACF,IAAI,CAAC;QACJ,QAAQ,GAAG;YACV,GAAG,QAAQ;YACX,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,oCAAoC,CAAC;YAC1D,SAAS,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC;YACvC,SAAS,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC;YACvC,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;SACnC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,CAAC;QACJ,QAAQ,GAAG;YACV,GAAG,QAAQ;YACX,OAAO,EAAE,MAAM,CACd,KAAK,EACL,sDAAsD,CACtD;YACD,QAAQ,EAAE,MAAM,CACf,KAAK,EACL,8DAA8D,CAC9D;YACD,aAAa,EAAE,MAAM,CACpB,KAAK,EACL,yFAAyF,CACzF;YACD,sBAAsB,EAAE,MAAM,CAC7B,KAAK,EACL,8FAA8F,CAC9F;SACD,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,IAAI,UAAU,GAA8B;QAC3C,KAAK,EAAE,CAAC;QACR,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,UAAU,EAAE,CAAC;QACb,cAAc,EAAE,CAAC;QACjB,aAAa,EAAE,CAAC;KAChB,CAAC;IACF,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,KAAK;aAChB,OAAO,CACP,sEAAsE,CACtE;aACA,GAAG,EAAsC,CAAC;QAC5C,MAAM,MAAM,GAA2B;YACtC,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,CAAC;YACZ,WAAW,EAAE,CAAC;YACd,YAAY,EAAE,CAAC;SACf,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACtB,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;QACD,UAAU,GAAG;YACZ,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5C,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,cAAc,EAAE,OAAO,CAAC,aAAa,EAAE;YACvC,aAAa,EAAE,OAAO,CAAC,YAAY,EAAE;SACrC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,wEAAwE;IACxE,IAAI,QAAQ,GAA4B;QACvC,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,EAAE;KACd,CAAC;IACF,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,KAAK;aAChB,OAAO,CACP,qEAAqE,CACrE;aACA,GAAG,EAAsC,CAAC;QAC5C,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACtB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;QACD,QAAQ,GAAG;YACV,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC;YAChD,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC;YAChD,UAAU,EAAE,SAAS;SACrB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;IAE1C,MAAM,MAAM,GAAG;QACd,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;QACrD,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;KACrD,CAAC;IAEF,IAAI,QAAQ,GAA2B,EAAE,CAAC;IAC1C,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,KAAK;aAChB,OAAO,CAAC,uCAAuC,CAAC;aAChD,GAAG,EAAsC,CAAC;QAC5C,QAAQ,GAAG,EAAE,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACtB,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAC3B,CAAC;IACF,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,OAAO;QACN,QAAQ;QACR,UAAU;QACV,OAAO;QACP,QAAQ;QACR,MAAM;QACN,QAAQ;QACR,OAAO;KACP,CAAC;AACH,CAAC"}
+{"version":3,"file":"kevin_audit.js","sourceRoot":"","sources":["../../plugin/kevin_audit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAyI7D,MAAM,sBAAsB,GAAiB;IAC5C,MAAM,EAAE,KAAK;IACb,UAAU,EAAE,KAAK;IACjB,UAAU,EAAE,IAAI;CAChB,CAAC;AAEF,SAAS,WAAW,CAAC,KAAY,EAAE,MAAc;IAChD,MAAM,IAAI,GAAG,KAAK;SAChB,OAAO,CACP,UAAU,MAAM,+CAA+C,MAAM,EAAE,CACvE;SACA,GAAG,EAAuC,CAAC;IAC7C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,MAAM,CAAC,KAAY,EAAE,GAAW,EAAE,GAAG,MAAiB;IAC9D,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAkB,CAAC;IAC/D,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,UAAU,CACzB,KAAY,EACZ,OAAgB,EAChB,eAA6B,sBAAsB,EACnD,SAAkB;IAElB,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,sEAAsE;IACtE,oEAAoE;IACpE,IAAI,QAAQ,GAA4B;QACvC,KAAK,EAAE,CAAC;QACR,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,CAAC;QACV,QAAQ,EAAE,CAAC;QACX,aAAa,EAAE,CAAC;QAChB,sBAAsB,EAAE,CAAC;KACzB,CAAC;IACF,IAAI,CAAC;QACJ,QAAQ,GAAG;YACV,GAAG,QAAQ;YACX,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,oCAAoC,CAAC;YAC1D,SAAS,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC;YACvC,SAAS,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC;YACvC,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;SACnC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,CAAC;QACJ,QAAQ,GAAG;YACV,GAAG,QAAQ;YACX,OAAO,EAAE,MAAM,CACd,KAAK,EACL,sDAAsD,CACtD;YACD,QAAQ,EAAE,MAAM,CACf,KAAK,EACL,8DAA8D,CAC9D;YACD,aAAa,EAAE,MAAM,CACpB,KAAK,EACL,yFAAyF,CACzF;YACD,sBAAsB,EAAE,MAAM,CAC7B,KAAK,EACL,8FAA8F,CAC9F;SACD,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,IAAI,UAAU,GAA8B;QAC3C,KAAK,EAAE,CAAC;QACR,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,UAAU,EAAE,CAAC;QACb,cAAc,EAAE,CAAC;QACjB,aAAa,EAAE,CAAC;KAChB,CAAC;IACF,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,KAAK;aAChB,OAAO,CACP,sEAAsE,CACtE;aACA,GAAG,EAAsC,CAAC;QAC5C,MAAM,MAAM,GAA2B;YACtC,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,CAAC;YACZ,WAAW,EAAE,CAAC;YACd,YAAY,EAAE,CAAC;SACf,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACtB,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;QACD,UAAU,GAAG;YACZ,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5C,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,cAAc,EAAE,OAAO,CAAC,aAAa,EAAE;YACvC,aAAa,EAAE,OAAO,CAAC,YAAY,EAAE;SACrC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,wEAAwE;IACxE,IAAI,QAAQ,GAA4B;QACvC,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,EAAE;KACd,CAAC;IACF,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,KAAK;aAChB,OAAO,CACP,qEAAqE,CACrE;aACA,GAAG,EAAsC,CAAC;QAC5C,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACtB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;QACD,QAAQ,GAAG;YACV,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC;YAChD,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC;YAChD,UAAU,EAAE,SAAS;SACrB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;IAE1C,MAAM,MAAM,GAAG;QACd,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;QACrD,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;KACrD,CAAC;IAEF,IAAI,QAAQ,GAA2B,EAAE,CAAC;IAC1C,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,KAAK;aAChB,OAAO,CAAC,uCAAuC,CAAC;aAChD,GAAG,EAAsC,CAAC;QAC5C,QAAQ,GAAG,EAAE,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACtB,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAC3B,CAAC;IACF,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,+DAA+D;IAC/D,IAAI,QAAmC,CAAC;IACxC,IAAI,QAAoC,CAAC;IACzC,IAAI,SAAmC,CAAC;IACxC,IAAI,GAAuB,CAAC;IAC5B,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACJ,KAAK,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC,GAAG,EAAE,CAAC;QAChE,YAAY,GAAG,IAAI,CAAC;IACrB,CAAC;IAAC,MAAM,CAAC;QACR,YAAY,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,YAAY,EAAE,CAAC;QAClB,IAAI,CAAC;YACJ,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAAE,GAAW,EAAiB,EAAE;gBACjE,IAAI,CAAC,OAAO;oBAAE,OAAO,aAAa,CAAC;gBACnC,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC7C,CAAC,CAAC;YACF,MAAM,UAAU,GAAG,CAAC,GAAW,EAAU,EAAE;gBAC1C,MAAM,GAAG,GAAG,KAAK;qBACf,OAAO,CAAC,+CAA+C,CAAC;qBACxD,GAAG,CAAC,GAAG,CAAkC,CAAC;gBAC5C,OAAO,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC;YACxB,CAAC,CAAC;YACF,QAAQ,GAAG;gBACV,IAAI,EAAE;oBACL,iBAAiB,EAAE,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;oBAC5D,iBAAiB,EAAE,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;oBAC5D,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;oBACjD,cAAc,EAAE,OAAO,CAAC,aAAa,EAAE;oBACvC,aAAa,EAAE,OAAO,CAAC,YAAY,EAAE;oBACrC,0DAA0D;oBAC1D,0DAA0D;oBAC1D,yCAAyC;oBACzC,aAAa,EAAE,qBAAqB,CACnC,QAAQ,CAAC,wBAAwB,CACjC;iBACD;gBACD,IAAI,EAAE;oBACL,iBAAiB,EAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;oBACnD,wDAAwD;oBACxD,kBAAkB,EAAE,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC;oBACrD,kBAAkB,EAAE,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC;oBACrD,qBAAqB,EAAE,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;oBAC3D,oBAAoB,EAAE,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;oBACzD,qBAAqB,EAAE,UAAU,CAAC,uBAAuB,CAAC;oBAC1D,iBAAiB,EAAE,UAAU,CAAC,mBAAmB,CAAC;oBAClD,cAAc,EAAE,QAAQ,CACvB,YAAY,CAAC,MAAM,EACnB,wBAAwB,CACxB;oBACD,kBAAkB,EAAE,QAAQ,CAC3B,YAAY,CAAC,UAAU,EACvB,4BAA4B,CAC5B;iBACD;aACD,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,GAAG,IAAI,CAAC;YACf,QAAQ,GAAG,SAAS,CAAC;QACtB,CAAC;QACD,IAAI,CAAC;YACJ,MAAM,YAAY,GAAG,KAAK;iBACxB,OAAO,CACP,sEAAsE,CACtE;iBACA,GAAG,EAAqC,CAAC;YAC3C,MAAM,QAAQ,GAA2B,EAAE,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC9B,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC;YACD,QAAQ,GAAG;gBACV,4DAA4D;gBAC5D,4DAA4D;gBAC5D,QAAQ,EAAE,MAAM,CACf,KAAK,EACL,6DAA6D,CAC7D;gBACD,OAAO,EAAE,MAAM,CACd,KAAK,EACL,sDAAsD,CACtD;gBACD,SAAS,EAAE,MAAM,CAChB,KAAK,EACL,wDAAwD,CACxD;gBACD,aAAa,EAAE,MAAM,CACpB,KAAK,EACL,wDAAwD,CACxD;gBACD,OAAO,EAAE,MAAM,CACd,KAAK,EACL,4DAA4D,CAC5D;gBACD,mBAAmB,EAAE,QAAQ;aAC7B,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,GAAG,IAAI,CAAC;YACf,QAAQ,GAAG,SAAS,CAAC;QACtB,CAAC;IACF,CAAC;SAAM,CAAC;QACP,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,KAAK;aAChB,OAAO,CACP,gFAAgF,CAChF;aACA,GAAG,EAAmD,CAAC;QACzD,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACnD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,SAAS,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,6DAA6D;IAC7D,wEAAwE;IACxE,uEAAuE;IACvE,wDAAwD;IACxD,IAAI,KAA2B,CAAC;IAChC,IAAI,SAAS,EAAE,CAAC;QACf,IAAI,CAAC;YACJ,MAAM,YAAY,GAAG,KAAK;iBACxB,OAAO,CACP,+EAA+E,CAC/E;iBACA,GAAG,CAAC,SAAS,CAAkC,CAAC;YAClD,KAAK,GAAG;gBACP,aAAa,EAAE,MAAM,CACpB,KAAK,EACL,2DAA2D,EAC3D,SAAS,CACT;gBACD,kBAAkB,EAAE,MAAM,CACzB,KAAK,EACL,+EAA+E,EAC/E,SAAS,CACT;gBACD,SAAS,EAAE,YAAY;oBACtB,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;oBAChE,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE;aAC1B,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,GAAG,IAAI,CAAC;YACf,KAAK,GAAG,SAAS,CAAC;QACnB,CAAC;IACF,CAAC;IACD,IAAI,CAAC;QACJ,MAAM,QAAQ,GAAG,KAAK;aACpB,OAAO,CACP;;qBAEiB,CACjB;aACA,GAAG,EAAmC,CAAC;QACzC,MAAM,cAAc,GAA2B;YAC9C,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,CAAC;YACP,QAAQ,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;YACV,QAAQ,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;SACV,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,QAAQ;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,CAAC,OAAgB,EAAU,EAAE;YACjD,MAAM,GAAG,GAAG,KAAK;iBACf,OAAO,CACP;;;;cAIS,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAC7D;iBACA,GAAG,EAA8D,CAAC;YACpE,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,SAAS,GAAG,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC;YACpD,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC;QACF,MAAM,cAAc,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,iBAAiB,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,EAAE,oCAAoC,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,MAAM,CACrB,KAAK,EACL,yFAAyF,CACzF,CAAC;QACF,MAAM,MAAM,GAAG,WAAW,IAAI,GAAG,IAAI,OAAO,IAAI,EAAE,CAAC;QACnD,MAAM,KAAK,GACV,MAAM;YACN,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,GAAG;YACpC,iBAAiB,GAAG,cAAc,CAAC;QACpC,GAAG,GAAG;YACL,gBAAgB,EAAE,cAAc;YAChC,cAAc,EAAE,KAAK;YACrB,kBAAkB,EAAE,QAAQ;YAC5B,eAAe,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACjD,eAAe,EAAE,cAAc;YAC/B,mBAAmB,EAAE,iBAAiB;YACtC,oBAAoB,EAAE,KAAK;YAC3B,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,aAAsB,EAAE,CAAC;SACrD,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,OAAO;QACN,QAAQ;QACR,UAAU;QACV,OAAO;QACP,QAAQ;QACR,MAAM;QACN,QAAQ;QACR,SAAS;QACT,KAAK;QACL,GAAG;QACH,QAAQ;QACR,QAAQ;QACR,OAAO;KACP,CAAC;AACH,CAAC"}

package/dist/plugin/kevin_conflicts.d.ts

@@ -0,0 +1,9 @@
+import type { ConflictDetector } from "./ConflictDetector.js";
+import type { Store } from "./Store.js";
+export interface KevinConflictsDeps {
+    store: Store;
+    detector: ConflictDetector;
+    projectId: string;
+}
+export type ConflictAction = "list" | "acknowledge" | "resolve";
+export declare function executeKevinConflicts(deps: KevinConflictsDeps, action: ConflictAction, id?: string, keep?: string, requestedStatus?: "open" | "acknowledged" | "resolved"): Record<string, unknown>;

package/dist/plugin/kevin_conflicts.js

@@ -0,0 +1,51 @@
+export function executeKevinConflicts(deps, action, id, keep, requestedStatus) {
+    if (action === "acknowledge") {
+        if (!id)
+            return { error: "missing_id" };
+        // Mirror resolve()'s honesty: acknowledging a nonexistent or foreign id
+        // must not be reported as a success.
+        const row = deps.store
+            .prepare("SELECT id FROM memory_conflicts WHERE id = ? AND project_id = ?")
+            .get(id, deps.projectId);
+        if (!row)
+            return { error: "not_found", id };
+        deps.detector.acknowledge(id);
+        return { id, status: "acknowledged" };
+    }
+    if (action === "resolve") {
+        if (!id || !keep)
+            return { error: "missing_id_or_keep" };
+        const row = deps.store
+            .prepare("SELECT memory_a, memory_b FROM memory_conflicts WHERE id = ? AND project_id = ?")
+            .get(id, deps.projectId);
+        if (!row)
+            return { error: "not_found", id };
+        if (keep !== row.memory_a && keep !== row.memory_b) {
+            return { error: "invalid_keep", id, keep };
+        }
+        deps.detector.resolve(id, keep);
+        return {
+            id,
+            status: "resolved",
+            kept: keep,
+            other: keep === row.memory_a ? row.memory_b : row.memory_a,
+        };
+    }
+    const status = requestedStatus ?? "open";
+    const rows = deps.store
+        .prepare(`SELECT id, kind, memory_a, memory_b, fact_id, detail, status, detected_at
+			 FROM memory_conflicts WHERE project_id = ? AND status = ?
+			 ORDER BY detected_at, id`)
+        .all(deps.projectId, status);
+    const counts = deps.store
+        .prepare(`SELECT status, COUNT(*) AS n FROM memory_conflicts
+			 WHERE project_id = ? GROUP BY status`)
+        .all(deps.projectId);
+    return {
+        open: counts.find((row) => row.status === "open")?.n ?? 0,
+        acknowledged: counts.find((row) => row.status === "acknowledged")?.n ?? 0,
+        resolved: counts.find((row) => row.status === "resolved")?.n ?? 0,
+        conflicts: rows,
+    };
+}
+//# sourceMappingURL=kevin_conflicts.js.map

package/dist/plugin/kevin_conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kevin_conflicts.js","sourceRoot":"","sources":["../../plugin/kevin_conflicts.ts"],"names":[],"mappings":"AAWA,MAAM,UAAU,qBAAqB,CACpC,IAAwB,EACxB,MAAsB,EACtB,EAAW,EACX,IAAa,EACb,eAAsD;IAEtD,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,EAAE;YAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QACxC,wEAAwE;QACxE,qCAAqC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK;aACpB,OAAO,CACP,iEAAiE,CACjE;aACA,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAC9B,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACvC,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK;aACpB,OAAO,CACP,iFAAiF,CACjF;aACA,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAEZ,CAAC;QACb,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,GAAG,CAAC,QAAQ,IAAI,IAAI,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;YACpD,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAChC,OAAO;YACN,EAAE;YACF,MAAM,EAAE,UAAU;YAClB,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ;SAC1D,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,IAAI,MAAM,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK;SACrB,OAAO,CACP;;6BAE0B,CAC1B;SACA,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAmC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK;SACvB,OAAO,CACP;yCACsC,CACtC;SACA,GAAG,CAAC,IAAI,CAAC,SAAS,CAAoC,CAAC;IACzD,OAAO;QACN,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;QACzD,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC;QACzE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC;QACjE,SAAS,EAAE,IAAI;KACf,CAAC;AACH,CAAC"}

package/dist/plugin/kevin_facts.d.ts

@@ -0,0 +1,42 @@
+import type { MemoryService } from "./MemoryService.js";
+import type { RepoTruth } from "./RepoTruth.js";
+import type { Store } from "./Store.js";
+/**
+ * v0.7.0 (K7-009 / plan §5.7) — `kevin_facts`.
+ *
+ * The user-facing answer to "why did Kevin stop suggesting that?". Lists the
+ * repository facts the current project was scanned for and every memory that
+ * was de-ranked by a contradiction, with its `truth_penalty`, `contradicted_at`
+ * and the human-readable reasons. Pure read apart from the optional re-scan. No
+ * LLM, no network, no hot-path cost.
+ */
+export interface KevinFactsDeps {
+    store: Store;
+    memoryService: MemoryService;
+    repoTruth: RepoTruth;
+    projectId: string;
+}
+export interface PenalizedMemory {
+    id: string;
+    type: string;
+    truth_penalty: number;
+    contradicted_at: string | null;
+    reasons: string[];
+}
+export interface KevinFactsResult {
+    project_id: string;
+    scanned_at: string | null;
+    truncated: {
+        is_truncated: true;
+        count: number;
+    } | {
+        is_truncated: false;
+    };
+    facts: {
+        file: string;
+        key_path: string;
+        value: string;
+    }[];
+    penalized: PenalizedMemory[];
+}
+export declare function buildKevinFacts(deps: KevinFactsDeps, refresh: boolean): KevinFactsResult;