@jmtrin/opencode-kevin 0.4.0 → 0.6.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

@@ -0,0 +1,95 @@
+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`.
+ *
+ * Pure SQL over `memories`, `kevin_injections`, `kevin_metrics`,
+ * `memory_feedback`. No writes, no LLM, no filesystem access.
+ *
+ * There is deliberately **no `kevin_context_ratio`** (D5-09): Kevin cannot
+ * observe total session input tokens, so any such figure would be fabricated.
+ *
+ * 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.
+ */
+export interface AuditReport {
+    memories: {
+        total: number;
+        by_status: Record<string, number>;
+        by_origin: Record<string, number>;
+        by_type: Record<string, number>;
+        ignored: number;
+        archived: number;
+        with_feedback: number;
+        superseded_with_target: number;
+    };
+    injections: {
+        total: number;
+        effective: number;
+        ineffective: number;
+        inconclusive: number;
+        unmeasured: number;
+        precision_rate: number;
+        coverage_rate: number;
+    };
+    blocked: Record<string, number>;
+    feedback: {
+        positive: number;
+        negative: number;
+        by_verdict: Record<string, number>;
+    };
+    tokens: {
+        pre_prompt: number;
+        compacting: number;
+    };
+    settings: Record<string, string>;
+    channels?: ChannelReport;
+    curation?: CurationReport;
+    partial: boolean;
+}
+/**
+ * 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>;
+}
+export declare function buildAudit(store: Store, metrics: Metrics, capabilities?: Capabilities): AuditReport;

package/dist/plugin/kevin_audit.js

@@ -0,0 +1,233 @@
+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}`)
+        .all();
+    const out = {};
+    for (const r of rows) {
+        out[r.k ?? "unknown"] = r.n;
+    }
+    return out;
+}
+function scalar(store, sql) {
+    const row = store.prepare(sql).get();
+    return row.n ?? 0;
+}
+export function buildAudit(store, metrics, capabilities = ALL_FALSE_CAPABILITIES) {
+    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.
+    let memories = {
+        total: 0,
+        by_status: {},
+        by_origin: {},
+        by_type: {},
+        ignored: 0,
+        archived: 0,
+        with_feedback: 0,
+        superseded_with_target: 0,
+    };
+    try {
+        memories = {
+            ...memories,
+            total: scalar(store, "SELECT COUNT(*) AS n FROM memories"),
+            by_status: groupCounts(store, "status"),
+            by_origin: groupCounts(store, "origin"),
+            by_type: groupCounts(store, "type"),
+        };
+    }
+    catch {
+        partial = true;
+    }
+    try {
+        memories = {
+            ...memories,
+            ignored: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE ignored = 1"),
+            archived: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE status = 'archived'"),
+            with_feedback: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE feedback_positive > 0 OR feedback_negative > 0"),
+            superseded_with_target: scalar(store, "SELECT COUNT(*) AS n FROM memories WHERE status = 'superseded' AND superseded_by IS NOT NULL"),
+        };
+    }
+    catch {
+        partial = true;
+    }
+    // Injections block: grouped rollup over the ledger (same query the
+    // InjectionLedger.outcomeCounts() runs), rates from the metric cache.
+    let injections = {
+        total: 0,
+        effective: 0,
+        ineffective: 0,
+        inconclusive: 0,
+        unmeasured: 0,
+        precision_rate: 0,
+        coverage_rate: 0,
+    };
+    try {
+        const rows = store
+            .prepare("SELECT outcome, COUNT(*) AS n FROM kevin_injections GROUP BY outcome")
+            .all();
+        const counts = {
+            unmeasured: 0,
+            effective: 0,
+            ineffective: 0,
+            inconclusive: 0,
+        };
+        for (const r of rows) {
+            counts[r.outcome] = r.n;
+        }
+        injections = {
+            total: rows.reduce((acc, r) => acc + r.n, 0),
+            effective: counts.effective,
+            ineffective: counts.ineffective,
+            inconclusive: counts.inconclusive,
+            unmeasured: counts.unmeasured,
+            precision_rate: metrics.precisionRate(),
+            coverage_rate: metrics.coverageRate(),
+        };
+    }
+    catch {
+        partial = true;
+    }
+    // Feedback block: verdict rollup from the table, totals from the cache.
+    let feedback = {
+        positive: 0,
+        negative: 0,
+        by_verdict: {},
+    };
+    try {
+        const rows = store
+            .prepare("SELECT verdict, COUNT(*) AS n FROM memory_feedback GROUP BY verdict")
+            .all();
+        const byVerdict = {};
+        for (const r of rows) {
+            byVerdict[r.verdict] = r.n;
+        }
+        feedback = {
+            positive: metrics.get("feedback_positive_total"),
+            negative: metrics.get("feedback_negative_total"),
+            by_verdict: byVerdict,
+        };
+    }
+    catch {
+        partial = true;
+    }
+    const blocked = metrics.blockedSnapshot();
+    const tokens = {
+        pre_prompt: metrics.get("tokens_injected_pre_prompt"),
+        compacting: metrics.get("tokens_injected_compacting"),
+    };
+    let settings = {};
+    try {
+        const rows = store
+            .prepare("SELECT key, value FROM kevin_settings")
+            .all();
+        settings = {};
+        for (const r of rows) {
+            settings[r.key] = r.value;
+        }
+    }
+    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 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;
+    }
+    return {
+        memories,
+        injections,
+        blocked,
+        feedback,
+        tokens,
+        settings,
+        channels,
+        curation,
+        partial,
+    };
+}
+//# sourceMappingURL=kevin_audit.js.map

package/dist/plugin/kevin_audit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kevin_audit.js","sourceRoot":"","sources":["../../plugin/kevin_audit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAqG7D,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;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,CACzB,KAAY,EACZ,OAAgB,EAChB,eAA6B,sBAAsB;IAEnD,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,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;IAED,OAAO;QACN,QAAQ;QACR,UAAU;QACV,OAAO;QACP,QAAQ;QACR,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,OAAO;KACP,CAAC;AACH,CAAC"}

package/dist/plugin/kevin_propose.d.ts

@@ -0,0 +1,23 @@
+import type { ArtifactWriter } from "./ArtifactWriter.js";
+import type { Curator, ProposalKind } from "./Curator.js";
+/**
+ * K6-014 — v0.6.0 pull — `kevin_propose` tool logic.
+ *
+ * Strict dry run in the exact sense of v0.5 `kevin_trace` (D5-08): creates
+ * `pending` rows and returns their unified diffs. No disk write, no `curated`
+ * flag, no metric beyond `proposals_created` (which `Curator.propose()`
+ * itself increments).
+ */
+export interface ProposedChange {
+    readonly id: string;
+    readonly kind: ProposalKind;
+    readonly targetPath: string;
+    readonly memoryIds: readonly string[];
+    readonly status: "pending";
+    readonly createdAt: string;
+    readonly diff: string;
+}
+export interface ProposeResult {
+    readonly proposals: readonly ProposedChange[];
+}
+export declare function kevinPropose(curator: Curator, writer: ArtifactWriter, kind: ProposalKind): ProposeResult;

package/dist/plugin/kevin_propose.js

@@ -0,0 +1,15 @@
+export function kevinPropose(curator, writer, kind) {
+    const proposals = curator.propose(kind, writer);
+    return {
+        proposals: proposals.map((p) => ({
+            id: p.id,
+            kind: p.kind,
+            targetPath: p.targetPath,
+            memoryIds: [...p.memoryIds],
+            status: "pending",
+            createdAt: p.createdAt,
+            diff: p.diff,
+        })),
+    };
+}
+//# sourceMappingURL=kevin_propose.js.map

package/dist/plugin/kevin_propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kevin_propose.js","sourceRoot":"","sources":["../../plugin/kevin_propose.ts"],"names":[],"mappings":"AA0BA,MAAM,UAAU,YAAY,CAC3B,OAAgB,EAChB,MAAsB,EACtB,IAAkB;IAElB,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChD,OAAO;QACN,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC;YAC3B,MAAM,EAAE,SAAkB;YAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,IAAI,EAAE,CAAC,CAAC,IAAI;SACZ,CAAC,CAAC;KACH,CAAC;AACH,CAAC"}

package/dist/plugin/kevin_publish.d.ts

@@ -0,0 +1,38 @@
+import type { ArtifactWriter } from "./ArtifactWriter.js";
+import type { MaterializedBundle, Materializer } from "./Materializer.js";
+import type { MemoryService } from "./MemoryService.js";
+import type { Capabilities } from "./capabilities.js";
+/**
+ * K6-020 — v0.6.0 pull — `kevin_publish` tool logic.
+ *
+ * Regenerates the pull-channel bundles on demand. Writes only through the
+ * `ArtifactWriter` and only to the Materializer's targets (D6-01, D6-07):
+ * `~/.opencode-kevin/skills/project-knowledge.md` and
+ * `~/.opencode-kevin/refs/<topic>.md`. `agents_md_path` is unreachable
+ * here by construction — the paths come from `bundleTargets()`, never from
+ * a setting — and that is asserted in the integration test even when the
+ * setting points inside `~/.opencode-kevin/`.
+ *
+ * Registration is a session-start concern (K6-018/019), not this tool's:
+ * the output reports the emission state honestly (`"unavailable"` on a v1
+ * host, `"off"` for a '0' setting, `"on"` when session start registers)
+ * instead of pretending success.
+ */
+export type EmissionState = "on" | "off" | "unavailable";
+export interface PublishResult {
+    readonly bundles: readonly {
+        readonly topic: string;
+        readonly outcome: MaterializedBundle["outcome"];
+    }[];
+    readonly emission: {
+        readonly skill: EmissionState;
+        readonly reference: EmissionState;
+    };
+}
+export interface PublishDeps {
+    readonly materializer: Materializer;
+    readonly writer: ArtifactWriter;
+    readonly memoryService: MemoryService;
+    readonly capabilities: Capabilities;
+}
+export declare function kevinPublish(deps: PublishDeps): PublishResult;

package/dist/plugin/kevin_publish.js

@@ -0,0 +1,19 @@
+function emissionState(capable, setting) {
+    if (!capable)
+        return "unavailable";
+    return setting === "1" ? "on" : "off";
+}
+export function kevinPublish(deps) {
+    const bundles = deps.materializer.materialize(deps.writer);
+    return {
+        bundles: bundles.map((b) => ({
+            topic: b.topic,
+            outcome: b.outcome,
+        })),
+        emission: {
+            skill: emissionState(deps.capabilities.skills, deps.memoryService.getSetting("skill_emission_enabled", "0")),
+            reference: emissionState(deps.capabilities.references, deps.memoryService.getSetting("reference_emission_enabled", "0")),
+        },
+    };
+}
+//# sourceMappingURL=kevin_publish.js.map

package/dist/plugin/kevin_publish.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kevin_publish.js","sourceRoot":"","sources":["../../plugin/kevin_publish.ts"],"names":[],"mappings":"AA0CA,SAAS,aAAa,CACrB,OAAgB,EAChB,OAA2B;IAE3B,IAAI,CAAC,OAAO;QAAE,OAAO,aAAa,CAAC;IACnC,OAAO,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAiB;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3D,OAAO;QACN,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5B,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,OAAO,EAAE,CAAC,CAAC,OAAO;SAClB,CAAC,CAAC;QACH,QAAQ,EAAE;YACT,KAAK,EAAE,aAAa,CACnB,IAAI,CAAC,YAAY,CAAC,MAAM,EACxB,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,wBAAwB,EAAE,GAAG,CAAC,CAC5D;YACD,SAAS,EAAE,aAAa,CACvB,IAAI,CAAC,YAAY,CAAC,UAAU,EAC5B,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAChE;SACD;KACD,CAAC;AACH,CAAC"}