@jmtrin/opencode-kevin 1.2.0 → 1.3.0

package/dist/plugin/DashboardHtml.js

@@ -1,180 +0,0 @@
-// v1.2.0 (K12-017 / plan §4.4 R2, D12-10) — static dashboard generator.
-// Single self-contained file: inline CSS/JS, snapshot data embedded as const DATA.
-// Zero network: no fetch, no XHR, no WebSocket, no external asset.
-import { createHash } from "node:crypto";
-import { mkdirSync, renameSync, writeFileSync } from "node:fs";
-import { join } from "node:path";
-const CAP_BYTES = 512 * 1024;
-function byteLen(s) {
-    return Buffer.byteLength(s, "utf8");
-}
-// HTML escaping — mirrors escapeInjectedText discipline (C-09 family).
-export function escapeHtml(text) {
-    return text
-        .replace(/&/g, "&")
-        .replace(/</g, "&lt;")
-        .replace(/>/g, "&gt;")
-        .replace(/"/g, "&quot;");
-}
-export function proposalToken(proposalId, proposedText) {
-    return createHash("sha256")
-        .update(`${proposalId}\0${proposedText}`, "utf8")
-        .digest("hex")
-        .slice(0, 16);
-}
-function truncateForHtml(views, cap) {
-    // Estimate html size; if over cap, truncate diffs progressively.
-    let html = renderDashboardInner(views, false);
-    if (byteLen(html) <= cap)
-        return views;
-    // First pass: cap diffs to 2000 chars
-    let truncated = {
-        ...views,
-        proposals: views.proposals.map((p) => {
-            if (p.diff.length <= 2000)
-                return p;
-            return {
-                ...p,
-                diff: `${p.diff.slice(0, 2000)}\n…[truncated]`,
-                truncated: true,
-            };
-        }),
-    };
-    html = renderDashboardInner(truncated, false);
-    if (byteLen(html) <= cap)
-        return truncated;
-    // Second: 800 chars
-    truncated = {
-        ...views,
-        proposals: views.proposals.map((p) => ({
-            ...p,
-            diff: p.diff.length > 800 ? `${p.diff.slice(0, 800)}\n…[truncated]` : p.diff,
-            truncated: p.diff.length > 800 ? true : p.truncated,
-        })),
-        conflicts: views.conflicts.map((c) => ({
-            ...c,
-            a_summary: c.a_summary.slice(0, 200),
-            b_summary: c.b_summary.slice(0, 200),
-        })),
-    };
-    html = renderDashboardInner(truncated, false);
-    if (byteLen(html) <= cap)
-        return truncated;
-    // Third: drop diffs to 400 chars
-    truncated = {
-        ...views,
-        proposals: views.proposals.map((p) => ({
-            ...p,
-            diff: `${p.diff.slice(0, 400)}\n…[truncated]`,
-            truncated: true,
-        })),
-    };
-    return truncated;
-}
-function renderDashboardInner(views, _withTruncation) {
-    const css = "*{box-sizing:border-box}body{font-family:ui-monospace,monospace;margin:0;padding:16px;background:#0f1115;color:#e6e6e6}a{color:#8ab4ff}header{border-bottom:1px solid #2a2e39;padding-bottom:12px;margin-bottom:16px}h1{margin:0;font-size:20px}h2{font-size:16px;margin:24px 0 8px;border-bottom:1px solid #222;padding-bottom:4px}.card{border:1px solid #2a2e39;border-radius:8px;padding:12px;margin:8px 0;background:#151821}.muted{color:#9aa0b2;font-size:12px}.badge{display:inline-block;padding:2px 6px;border-radius:999px;font-size:11px;border:1px solid #2a2e39}.badge-healthy{background:#12331a;color:#8ef0a0}.badge-degraded{background:#331a1a;color:#f0a0a0}.badge-unknown{background:#2a2a33;color:#c0c0d0}pre{white-space:pre-wrap;word-break:break-word;background:#0b0d12;padding:8px;border-radius:6px;overflow:auto;max-height:320px;font-size:12px}table{width:100%;border-collapse:collapse;font-size:12px}th,td{border:1px solid #2a2e39;padding:4px 6px;text-align:left}button{cursor:pointer;background:#1f2330;color:#e6e6e6;border:1px solid #2a2e39;border-radius:6px;padding:4px 8px;font-size:12px}button:hover{background:#2a3045}.grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:8px}.cols{display:grid;grid-template-columns:1fr 1fr;gap:12px}.count{font-size:11px;color:#9aa0b2}";
-    // Build proposals HTML server-side
-    const proposalsHtml = views.proposals.length === 0
-        ? `<div class="muted">No pending proposals.</div>`
-        : views.proposals
-            .map((p) => {
-            const token = p.token ?? proposalToken(p.id, p.diff);
-            const approveCmd = `/kevin-approve ${p.id} ${token}`;
-            const rejectCmd = `/kevin-reject ${p.id} ${token}`;
-            return `<div class="card">
-<div><strong>${escapeHtml(p.kind)}</strong> <span class="muted">${escapeHtml(p.id)}</span> <span class="badge">${escapeHtml(p.target_path)}</span> <span class="muted">${escapeHtml(p.created_at)}</span>${p.truncated ? ` <span class="badge">truncated</span>` : ""}</div>
-<div class="muted">memories: ${escapeHtml(p.memory_ids.join(", "))}</div>
-<pre>${escapeHtml(p.diff)}</pre>
-<div style="display:flex;gap:8px;margin-top:8px">
-<button data-copy="${escapeHtml(approveCmd)}" onclick="copyCmd(this)">Copy approve</button>
-<button data-copy="${escapeHtml(rejectCmd)}" onclick="copyCmd(this)">Copy reject</button>
-</div>
-<div class="muted copy-hint"></div>
-</div>`;
-        })
-            .join("\n");
-    const conflictsHtml = views.conflicts.length === 0
-        ? `<div class="muted">No open conflicts.</div>`
-        : views.conflicts
-            .map((c) => {
-            const ackCmd = `/kevin-ack ${c.id}`;
-            return `<div class="card">
-<div><strong>${escapeHtml(c.kind)}</strong> <span class="muted">${escapeHtml(c.id)}</span> <span class="muted">${escapeHtml(c.opened_at)}</span></div>
-<div class="cols"><div><div class="muted">A</div><pre>${escapeHtml(c.a_summary)}</pre></div><div><div class="muted">B</div><pre>${escapeHtml(c.b_summary)}</pre></div></div>
-<div style="margin-top:8px"><button data-copy="${escapeHtml(ackCmd)}" onclick="copyCmd(this)">Copy ack</button> <span class="muted copy-hint"></span></div>
-</div>`;
-        })
-            .join("\n");
-    const verdictClass = views.health.verdict === "healthy"
-        ? "badge-healthy"
-        : views.health.verdict === "degraded"
-            ? "badge-degraded"
-            : "badge-unknown";
-    const hooksRows = views.health.hooks.length === 0
-        ? `<tr><td colspan="4" class="muted">No hooks</td></tr>`
-        : views.health.hooks
-            .map((h) => `<tr><td>${escapeHtml(h.hook)}</td><td>${escapeHtml(h.state)}</td><td>${h.fire_count}</td><td>${h.expected_count}</td></tr>`)
-            .join("\n");
-    const perfRows = views.health.perf.length === 0
-        ? `<tr><td colspan="4" class="muted">No perf data</td></tr>`
-        : views.health.perf
-            .map((p) => `<tr><td>${escapeHtml(p.scope)}</td><td>${p.p95}</td><td>${p.budget_p95}</td><td>${p.within_budget ? "yes" : "no"}</td></tr>`)
-            .join("\n");
-    const countersHtml = Object.keys(views.health.counters).length === 0
-        ? `<div class="muted">No counters</div>`
-        : `<div class="grid">${Object.entries(views.health.counters)
-            .map(([k, v]) => `<div class="card"><div class="muted">${escapeHtml(k)}</div><div><strong>${v}</strong></div></div>`)
-            .join("\n")}</div>`;
-    // Embedded DATA — escape every "<" to \u003c so hostile "<script>" can never appear verbatim inside the <script> block.
-    const dataJson = JSON.stringify(views).replace(/</g, "\\u003c");
-    const js = `function copyCmd(btn){var cmd=btn.getAttribute('data-copy');var hint=btn.parentElement.nextElementSibling;function done(t){if(hint)hint.textContent=t;setTimeout(function(){if(hint)hint.textContent='';},2500);}if(navigator.clipboard&&navigator.clipboard.writeText){navigator.clipboard.writeText(cmd).then(function(){done('Copied: '+cmd+' — paste into your opencode session');},function(){fallback(cmd,done);});}else{fallback(cmd,done);}}function fallback(cmd,done){var ta=document.createElement('textarea');ta.value=cmd;ta.style.position='fixed';ta.style.opacity='0';document.body.appendChild(ta);ta.select();try{document.execCommand('copy');done('Copied: '+cmd+' — paste into your opencode session');}catch(e){done('Copy failed — manually copy: '+cmd);}document.body.removeChild(ta);}`;
-    return `<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8">
-<meta name="viewport" content="width=device-width,initial-scale=1">
-<title>Kevin — Dashboard</title>
-<style>${css}</style>
-</head>
-<body>
-<header>
-<h1>Kevin — Surface Dashboard</h1>
-<div class="muted">Generated at ${escapeHtml(views.generatedAt)} · <span class="badge ${verdictClass}">${escapeHtml(views.health.verdict)}</span> ${escapeHtml(views.health.reason)} · contract ${escapeHtml(views.health.contract_digest)}</div>
-<div class="muted">Proposals ${views.proposals.length} · Conflicts ${views.conflicts.length} · Paste copied <code>/kevin-*</code> commands into your opencode session (Desktop or CLI).</div>
-</header>
-
-<section>
-<h2>Proposals</h2>
-${proposalsHtml}
-</section>
-
-<section>
-<h2>Conflicts</h2>
-${conflictsHtml}
-</section>
-
-<section>
-<h2>Health</h2>
-<table><thead><tr><th>hook</th><th>state</th><th>fires</th><th>expected</th></tr></thead><tbody>${hooksRows}</tbody></table>
-<table style="margin-top:12px"><thead><tr><th>scope</th><th>p95 ms</th><th>budget p95</th><th>within</th></tr></thead><tbody>${perfRows}</tbody></table>
-<div style="margin-top:12px">${countersHtml}</div>
-</section>
-
-<script>const DATA=${dataJson};${js}</script>
-</body>
-</html>`;
-}
-export function renderDashboard(views) {
-    const capped = truncateForHtml(views, CAP_BYTES);
-    return renderDashboardInner(capped, true);
-}
-export function writeDashboard(root, views) {
-    const dir = join(root, "tui");
-    mkdirSync(dir, { recursive: true });
-    const html = renderDashboard(views);
-    const target = join(dir, "dashboard.html");
-    const tmp = `${target}.tmp`;
-    writeFileSync(tmp, html, "utf8");
-    renameSync(tmp, target);
-    return target;
-}

package/dist/plugin/Feedback.d.ts

@@ -1,67 +0,0 @@
-import type { Store } from "./Store.js";
-import type { Metrics } from "./metrics.js";
-/**
- * v0.5.0 Feedback (K5-009 / plan §5.3, D5-02).
- *
- * The human-judgement half of the glassbox: the agent can report whether a
- * memory was useful, wrong, outdated, or should be ignored. Verdicts are
- * stored in `memory_feedback` (migration 006_v05_glassbox.sql) and folded
- * into the memory's `feedback_positive` / `feedback_negative` counters —
- * kept SEPARATE from `evidence_count` / `recurrence_count` by design: human
- * judgement is evidence about the memory, causal counters are evidence
- * about the world (the confidence-poisoning defect closed in v0.4.0).
- *
- * D5-07 — the `ignore` verdict is a hard lifecycle action, not a soft
- * signal: the memory is stamped `ignored = 1`, which excludes it from
- * retrieval (K5-008) and from the quality gate (K5-007).
- *
- * Schema:
- *   memory_feedback(id PK, memory_id, verdict, session_id, note, created_at)
- *   memories(feedback_positive, feedback_negative, ignored)
- */
-export type FeedbackVerdict = "useful" | "wrong" | "outdated" | "ignore";
-export interface FeedbackRecordInput {
-    memoryId: string;
-    verdict: FeedbackVerdict;
-    sessionId?: string | null;
-    note?: string | null;
-}
-export interface FeedbackRow {
-    id: string;
-    memoryId: string;
-    verdict: FeedbackVerdict;
-    sessionId: string | null;
-    note: string | null;
-    createdAt: string;
-}
-export interface FeedbackCounts {
-    positive: number;
-    negative: number;
-}
-export declare class Feedback {
-    private readonly store;
-    private readonly metrics;
-    private readonly now;
-    constructor(store: Store, metrics?: Metrics | null, now?: () => Date);
-    /**
-     * Records one human verdict and folds it into the memory's counters.
-     * Counters are RECOMPUTED from the table (never incremented) so rows
-     * deleted in tests or by hand cannot drift them.
-     *
-     * The `ignore` verdict also stamps `memories.ignored = 1` (D5-07).
-     * Returns the feedback row id.
-     */
-    record(input: FeedbackRecordInput): string;
-    /** Human-judgement counters for one memory (from the row, not the table). */
-    countsFor(memoryId: string): FeedbackCounts;
-    /**
-     * Raw verdict history, newest first. Used by `kevin_feedback` (K5-011)
-     * and by the audit tool (K5-016).
-     */
-    list(memoryId?: string, limit?: number): FeedbackRow[];
-    /**
-     * Recompute a memory's positive/negative counters straight from the
-     * verdict table. Kept private — `record` is the only mutation path.
-     */
-    private recomputeCounters;
-}

package/dist/plugin/Feedback.js

@@ -1,120 +0,0 @@
-import { hasFeedbackTable } from "./columns.js";
-import { uuidv7 } from "./uuid.js";
-const POSITIVE_VERDICTS = ["useful"];
-const NEGATIVE_VERDICTS = [
-    "wrong",
-    "outdated",
-    "ignore",
-];
-// v1.1.0 (K11-011) — table probe delegates to columns registry
-export class Feedback {
-    store;
-    metrics;
-    now;
-    constructor(store, metrics, now = () => new Date()) {
-        this.store = store;
-        this.metrics = metrics ?? null;
-        this.now = now;
-    }
-    /**
-     * Records one human verdict and folds it into the memory's counters.
-     * Counters are RECOMPUTED from the table (never incremented) so rows
-     * deleted in tests or by hand cannot drift them.
-     *
-     * The `ignore` verdict also stamps `memories.ignored = 1` (D5-07).
-     * Returns the feedback row id.
-     */
-    record(input) {
-        if (!hasFeedbackTable(this.store)) {
-            throw new Error("kevin_feedback requires migration 006_v05_glassbox.sql (missing table memory_feedback)");
-        }
-        const id = uuidv7();
-        this.store
-            .prepare(`INSERT INTO memory_feedback
-				   (id, memory_id, verdict, session_id, note)
-				 VALUES (?, ?, ?, ?, ?)`)
-            .run(id, input.memoryId, input.verdict, input.sessionId ?? null, input.note ?? null);
-        this.recomputeCounters(input.memoryId);
-        if (input.verdict === "ignore") {
-            this.store
-                .prepare("UPDATE memories SET ignored = 1 WHERE id = ?")
-                .run(input.memoryId);
-        }
-        // v0.5.0 (K5-023 / plan §5.3, D5-06) — lifecycle action of a
-        // negative verdict. `wrong` is an opinion and deserves a second
-        // opinion: it demotes only at feedback_negative >= 2. `outdated`
-        // is a self-verifying claim about the world and acts at once.
-        // `useful` confirms the memory and refreshes its verification.
-        if (input.verdict === "outdated") {
-            this.store
-                .prepare("UPDATE memories SET status = 'stale' WHERE id = ?")
-                .run(input.memoryId);
-        }
-        else if (input.verdict === "wrong") {
-            const counts = this.countsFor(input.memoryId);
-            if (counts.negative >= 2) {
-                this.store
-                    .prepare("UPDATE memories SET status = 'stale' WHERE id = ?")
-                    .run(input.memoryId);
-            }
-        }
-        else if (input.verdict === "useful") {
-            this.store
-                .prepare("UPDATE memories SET last_verified_at = datetime('now') WHERE id = ?")
-                .run(input.memoryId);
-        }
-        if (POSITIVE_VERDICTS.includes(input.verdict)) {
-            this.metrics?.incr("feedback_positive_total", 1);
-        }
-        else if (NEGATIVE_VERDICTS.includes(input.verdict)) {
-            this.metrics?.incr("feedback_negative_total", 1);
-        }
-        return id;
-    }
-    /** Human-judgement counters for one memory (from the row, not the table). */
-    countsFor(memoryId) {
-        const row = this.store
-            .prepare("SELECT feedback_positive, feedback_negative FROM memories WHERE id = ?")
-            .get(memoryId);
-        if (!row)
-            return { positive: 0, negative: 0 };
-        return { positive: row.feedback_positive, negative: row.feedback_negative };
-    }
-    /**
-     * Raw verdict history, newest first. Used by `kevin_feedback` (K5-011)
-     * and by the audit tool (K5-016).
-     */
-    list(memoryId, limit = 50) {
-        const rows = this.store
-            .prepare(`SELECT id, memory_id, verdict, session_id, note, created_at
-				   FROM memory_feedback
-				  ${memoryId ? "WHERE memory_id = ?" : ""}
-				  ORDER BY created_at DESC, rowid DESC
-				  LIMIT ?`)
-            .all(...(memoryId ? [memoryId, limit] : [limit]));
-        return rows.map((r) => ({
-            id: r.id,
-            memoryId: r.memory_id,
-            verdict: r.verdict,
-            sessionId: r.session_id,
-            note: r.note,
-            createdAt: r.created_at,
-        }));
-    }
-    /**
-     * Recompute a memory's positive/negative counters straight from the
-     * verdict table. Kept private — `record` is the only mutation path.
-     */
-    recomputeCounters(memoryId) {
-        this.store
-            .prepare(`UPDATE memories SET
-				   feedback_positive = (
-				     SELECT COUNT(*) FROM memory_feedback
-				      WHERE memory_id = ? AND verdict = 'useful'),
-				   feedback_negative = (
-				     SELECT COUNT(*) FROM memory_feedback
-				      WHERE memory_id = ? AND verdict IN ('wrong','outdated','ignore'))
-				 WHERE id = ?`)
-            .run(memoryId, memoryId, memoryId);
-    }
-}

package/dist/plugin/HookLiveness.d.ts

@@ -1,88 +0,0 @@
-import { HOOK_NAMES } from "./Migrate.js";
-import type { Store } from "./Store.js";
-export type HookName = (typeof HOOK_NAMES)[number];
-export type LivenessState = "live" | "dead" | "unknown";
-export interface HookReport {
-    hook: HookName;
-    experimental: boolean;
-    state: LivenessState;
-    firstSeenAt: string | null;
-    lastSeenAt: string | null;
-    fireCount: number;
-    expectedCount: number;
-    /** v0.9.0 (K9-012) — set once when the hook went dead; never cleared. */
-    deadSince: string | null;
-}
-/**
- * v0.9.0 (K9-010 / plan §5.3, D9-09) — parse the TEXT setting
- * `dead_hook_report_threshold` into the [1, 1000] clamp. NaN and empty
- * fall back to 3 (never 0: a zero threshold would report every hook dead
- * before a single session completes a checkpoint).
- */
-export declare function parseThreshold(text: string | null | undefined): number;
-interface HookLivenessOptions {
-    /** `hook_liveness_enabled === "1"` (TEXT comparison, decided at construction). */
-    enabled: boolean;
-    /** Raw TEXT of `dead_hook_report_threshold`; parsed+clamped in report(). */
-    thresholdText: string | null | undefined;
-    /** `host.pluginVersion` at construction, stored on every flushed row. */
-    pluginVersion: string | null;
-}
-/**
- * v0.9.0 (K9-009/K9-010 / plan §5.3) — wraps the plugin's hooks with a
- * success-path recorder, dedups per-session checkpoints, and reports each
- * hook's liveness state. Persistence is machine-scoped: the hook_liveness
- * table carries no project_id or repo_id (D9-08).
- */
-export declare class HookLiveness {
-    private readonly store;
-    private readonly options;
-    excessArityCount: number;
-    private readonly counters;
-    private readonly seenSessions;
-    private readonly suppressedSessions;
-    private readonly threshold;
-    private readonly pluginVersion;
-    constructor(store: Store, options: HookLivenessOptions);
-    /**
-     * Returns a new object with the same keys; function values are replaced
-     * by delegating wrappers, non-function values (the tool map) pass by
-     * reference. When liveness is disabled, returns the argument unchanged —
-     * the same object, not a copy.
-     */
-    wrap<T>(hooks: T): T;
-    /**
-     * v0.9.0 (K9-010 / plan §5.3) — a checkpoint: the session reached a
-     * model turn (tool.execute.after fired), so the system prompt was
-     * assembled and `experimental.chat.system.transform` MUST have been
-     * offered. Deduped per session: 20 tool calls in one session count
-     * exactly one expectation.
-     */
-    expect(hook: HookName, sessionID: string): void;
-    /**
-     * Per-hook liveness verdicts in canonical HOOK_NAMES order.
-     * A hook that fired once is live forever; dead requires both zero fires
-     * and `expectedCount >= threshold`; everything else is unknown — and
-     * unknown is never rounded to healthy (D9-09).
-     */
-    report(): HookReport[];
-    /** Persists every counter row. Called on the metrics.flush() cadence. */
-    flush(): void;
-    private makeWrapper;
-    /**
-     * v1.0.0 (K10-013 / plan §5.3) — records the `dispose` fire and
-     * flushes immediately, from inside the dispose delegate: this is the
-     * last write of the process, and nothing after it can persist.
-     */
-    recordDispose(): void;
-    private recordSuccess;
-    private recordError;
-    private loadFromDb;
-}
-export type HostVerdict = "healthy" | "degraded" | "unknown";
-export interface HostVerdictResult {
-    verdict: HostVerdict;
-    reason: string;
-}
-export declare function reduceVerdict(reports: readonly HookReport[]): HostVerdictResult;
-export {};