@jmtrin/opencode-kevin 1.0.0 → 1.2.0

package/dist/migrations/004_v03_knowledge.sql

@@ -1,138 +1,138 @@
--- ============================================================
--- Kevin 0.3.0 — Migration 004: Knowledge + Causality (additive)
--- ============================================================
--- Backward-compatible, additive only. All new columns are
--- nullable or carry a NOT NULL DEFAULT so legacy rows keep
--- working without a destructive rebuild.
--- ============================================================
-
--- 1. memories: evidence + lifecycle columns.
---    evidence_count — how many times this fingerprint was confirmed as fixed.
---    last_verified_at — timestamp of the most recent causal confirmation.
---    status — lifecycle state; default 'active'. Superseded rows are hidden.
-ALTER TABLE memories ADD COLUMN evidence_count INTEGER NOT NULL DEFAULT 0;
-ALTER TABLE memories ADD COLUMN last_verified_at TEXT;
-ALTER TABLE memories ADD COLUMN status TEXT NOT NULL DEFAULT 'active'
-  CHECK (status IN ('active', 'superseded', 'stale', 'archived'));
-
--- 2. tool_calls: causal link + feedback-loop link columns.
---    fix_for_fingerprint — set when this successful call resolved a prior failure
---    with the given fingerprint. NULL for tool calls that were not fixes.
---    error_fingerprint — set by Reflector (via onLinkError callback) when a call
---    FAILS, to the stderr-based fingerprint the matching error memory uses.
---    This fixes the v0.2.0/v0.3.0 feedback-loop fingerprint mismatch bug:
---    tool_calls.fingerprint is hashed from "tool|args|success" by ToolCallObserver,
---    while memories.fingerprint is hashed from stderr text by Reflector — they
---    never agreed, so boost/penalize queries silently mismatched. The new column
---    stores the SAME identity dimension the error memory uses.
-ALTER TABLE tool_calls ADD COLUMN fix_for_fingerprint TEXT;
-ALTER TABLE tool_calls ADD COLUMN error_fingerprint TEXT;
-
--- 3. Index: causal linkage by fingerprint. Used by CausalChain.onSuccess
---    and kevin_why to materialize traces.
-CREATE INDEX IF NOT EXISTS idx_tool_calls_fix_fp
-  ON tool_calls(fix_for_fingerprint)
-  WHERE fix_for_fingerprint IS NOT NULL;
-
--- 3b. Index: feedback-loop linkage by error_fingerprint. Used by
---     boostPositiveReflectors / penalizeRecurringReflectors to count
---     recurrences by the same identity dimension the error memory uses.
-CREATE INDEX IF NOT EXISTS idx_tool_calls_error_fp
-  ON tool_calls(error_fingerprint)
-  WHERE error_fingerprint IS NOT NULL;
-
--- 4. Index: memories by fingerprint for promotion + supersede queries.
-CREATE INDEX IF NOT EXISTS idx_memories_fp
-  ON memories(fingerprint)
-  WHERE fingerprint IS NOT NULL;
-
--- 5. kevin_metrics: seed new v0.3 counters.
-INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
-  ('patterns_causal',     0),
-  ('causal_links',        0),
-  ('memories_superseded', 0);
-
--- 6. kevin_settings: seed new opt-in flags.
-INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
-  ('llm_reflection_enabled', '0'),
-  ('cross_project_enabled',  '0');
-
--- 7. Seed version 004.
-INSERT OR IGNORE INTO schema_version (version) VALUES ('004');
-
--- ============================================================
--- 8. Rebuild memories table with expanded CHECK constraints.
---    v0.3.0 introduces new types (rule, solution) and origins
---    (causal, imported). SQLite cannot ALTER a CHECK constraint,
---    so we rebuild via a temporary table. FTS5 external-content
---    table references the content table by name, so we drop+recreate
---    the FTS5 triggers after the rebuild.
--- ============================================================
-
--- Step 1: Create new table with correct constraints
-CREATE TABLE memories_v04 (
-  id TEXT PRIMARY KEY,
-  type TEXT NOT NULL CHECK(type IN ('error','pattern','decision','context','rule','solution')),
-  content TEXT NOT NULL,
-  scope TEXT NOT NULL DEFAULT 'project' CHECK(scope IN ('project','session')),
-  relevance_score REAL DEFAULT 0.5,
-  source_tool TEXT,
-  source_session TEXT,
-  metadata TEXT,
-  created_at TEXT NOT NULL DEFAULT (datetime('now')),
-  updated_at TEXT NOT NULL DEFAULT (datetime('now')),
-  expires_at TEXT,
-  project_id TEXT,
-  fingerprint TEXT,
-  origin TEXT NOT NULL DEFAULT 'agent'
-    CHECK(origin IN ('reflector','agent','pattern','retrospective','causal','imported')),
-  evidence_count INTEGER NOT NULL DEFAULT 0,
-  last_verified_at TEXT,
-  status TEXT NOT NULL DEFAULT 'active'
-    CHECK(status IN ('active','superseded','stale','archived'))
-);
-
--- Step 2: Copy data preserving rowids (FTS5 content sync relies on rowid)
-INSERT INTO memories_v04
-  (rowid, id, type, content, scope, relevance_score, source_tool,
-   source_session, metadata, created_at, updated_at, expires_at,
-   project_id, fingerprint, origin, evidence_count, last_verified_at, status)
-  SELECT rowid, id, type, content, scope, relevance_score, source_tool,
-         source_session, metadata, created_at, updated_at, expires_at,
-         project_id, fingerprint, origin, evidence_count, last_verified_at, status
-  FROM memories;
-
--- Step 3: Drop old table and FTS triggers
-DROP TRIGGER IF EXISTS memories_ai;
-DROP TRIGGER IF EXISTS memories_ad;
-DROP TRIGGER IF EXISTS memories_au;
-DROP TABLE memories;
-
--- Step 4: Rename new table
-ALTER TABLE memories_v04 RENAME TO memories;
-
--- Step 5: Recreate FTS triggers (memories_fts is content=external, survives DROP of content table)
-CREATE TRIGGER IF NOT EXISTS memories_ai AFTER INSERT ON memories BEGIN
-  INSERT INTO memories_fts(rowid, content) VALUES (new.rowid, new.content);
-END;
-
-CREATE TRIGGER IF NOT EXISTS memories_ad AFTER DELETE ON memories BEGIN
-  INSERT INTO memories_fts(memories_fts, rowid, content) VALUES ('delete', old.rowid, old.content);
-END;
-
-CREATE TRIGGER IF NOT EXISTS memories_au AFTER UPDATE ON memories BEGIN
-  INSERT INTO memories_fts(memories_fts, rowid, content) VALUES ('delete', old.rowid, old.content);
-  INSERT INTO memories_fts(rowid, content) VALUES (new.rowid, new.content);
-END;
-
--- Step 6: Recreate indexes
-CREATE INDEX IF NOT EXISTS idx_memories_type ON memories(type);
-CREATE INDEX IF NOT EXISTS idx_memories_scope ON memories(scope);
-CREATE INDEX IF NOT EXISTS idx_memories_relevance ON memories(relevance_score DESC);
-CREATE INDEX IF NOT EXISTS idx_memories_created ON memories(created_at);
-CREATE UNIQUE INDEX IF NOT EXISTS uq_memories_error_fp
-  ON memories(project_id, fingerprint)
-  WHERE type = 'error' AND fingerprint IS NOT NULL AND origin = 'reflector';
-CREATE INDEX IF NOT EXISTS idx_memories_fp
-  ON memories(fingerprint)
-  WHERE fingerprint IS NOT NULL;
+-- ============================================================
+-- Kevin 0.3.0 — Migration 004: Knowledge + Causality (additive)
+-- ============================================================
+-- Backward-compatible, additive only. All new columns are
+-- nullable or carry a NOT NULL DEFAULT so legacy rows keep
+-- working without a destructive rebuild.
+-- ============================================================
+
+-- 1. memories: evidence + lifecycle columns.
+--    evidence_count — how many times this fingerprint was confirmed as fixed.
+--    last_verified_at — timestamp of the most recent causal confirmation.
+--    status — lifecycle state; default 'active'. Superseded rows are hidden.
+ALTER TABLE memories ADD COLUMN evidence_count INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE memories ADD COLUMN last_verified_at TEXT;
+ALTER TABLE memories ADD COLUMN status TEXT NOT NULL DEFAULT 'active'
+  CHECK (status IN ('active', 'superseded', 'stale', 'archived'));
+
+-- 2. tool_calls: causal link + feedback-loop link columns.
+--    fix_for_fingerprint — set when this successful call resolved a prior failure
+--    with the given fingerprint. NULL for tool calls that were not fixes.
+--    error_fingerprint — set by Reflector (via onLinkError callback) when a call
+--    FAILS, to the stderr-based fingerprint the matching error memory uses.
+--    This fixes the v0.2.0/v0.3.0 feedback-loop fingerprint mismatch bug:
+--    tool_calls.fingerprint is hashed from "tool|args|success" by ToolCallObserver,
+--    while memories.fingerprint is hashed from stderr text by Reflector — they
+--    never agreed, so boost/penalize queries silently mismatched. The new column
+--    stores the SAME identity dimension the error memory uses.
+ALTER TABLE tool_calls ADD COLUMN fix_for_fingerprint TEXT;
+ALTER TABLE tool_calls ADD COLUMN error_fingerprint TEXT;
+
+-- 3. Index: causal linkage by fingerprint. Used by CausalChain.onSuccess
+--    and kevin_why to materialize traces.
+CREATE INDEX IF NOT EXISTS idx_tool_calls_fix_fp
+  ON tool_calls(fix_for_fingerprint)
+  WHERE fix_for_fingerprint IS NOT NULL;
+
+-- 3b. Index: feedback-loop linkage by error_fingerprint. Used by
+--     boostPositiveReflectors / penalizeRecurringReflectors to count
+--     recurrences by the same identity dimension the error memory uses.
+CREATE INDEX IF NOT EXISTS idx_tool_calls_error_fp
+  ON tool_calls(error_fingerprint)
+  WHERE error_fingerprint IS NOT NULL;
+
+-- 4. Index: memories by fingerprint for promotion + supersede queries.
+CREATE INDEX IF NOT EXISTS idx_memories_fp
+  ON memories(fingerprint)
+  WHERE fingerprint IS NOT NULL;
+
+-- 5. kevin_metrics: seed new v0.3 counters.
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
+  ('patterns_causal',     0),
+  ('causal_links',        0),
+  ('memories_superseded', 0);
+
+-- 6. kevin_settings: seed new opt-in flags.
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
+  ('llm_reflection_enabled', '0'),
+  ('cross_project_enabled',  '0');
+
+-- 7. Seed version 004.
+INSERT OR IGNORE INTO schema_version (version) VALUES ('004');
+
+-- ============================================================
+-- 8. Rebuild memories table with expanded CHECK constraints.
+--    v0.3.0 introduces new types (rule, solution) and origins
+--    (causal, imported). SQLite cannot ALTER a CHECK constraint,
+--    so we rebuild via a temporary table. FTS5 external-content
+--    table references the content table by name, so we drop+recreate
+--    the FTS5 triggers after the rebuild.
+-- ============================================================
+
+-- Step 1: Create new table with correct constraints
+CREATE TABLE memories_v04 (
+  id TEXT PRIMARY KEY,
+  type TEXT NOT NULL CHECK(type IN ('error','pattern','decision','context','rule','solution')),
+  content TEXT NOT NULL,
+  scope TEXT NOT NULL DEFAULT 'project' CHECK(scope IN ('project','session')),
+  relevance_score REAL DEFAULT 0.5,
+  source_tool TEXT,
+  source_session TEXT,
+  metadata TEXT,
+  created_at TEXT NOT NULL DEFAULT (datetime('now')),
+  updated_at TEXT NOT NULL DEFAULT (datetime('now')),
+  expires_at TEXT,
+  project_id TEXT,
+  fingerprint TEXT,
+  origin TEXT NOT NULL DEFAULT 'agent'
+    CHECK(origin IN ('reflector','agent','pattern','retrospective','causal','imported')),
+  evidence_count INTEGER NOT NULL DEFAULT 0,
+  last_verified_at TEXT,
+  status TEXT NOT NULL DEFAULT 'active'
+    CHECK(status IN ('active','superseded','stale','archived'))
+);
+
+-- Step 2: Copy data preserving rowids (FTS5 content sync relies on rowid)
+INSERT INTO memories_v04
+  (rowid, id, type, content, scope, relevance_score, source_tool,
+   source_session, metadata, created_at, updated_at, expires_at,
+   project_id, fingerprint, origin, evidence_count, last_verified_at, status)
+  SELECT rowid, id, type, content, scope, relevance_score, source_tool,
+         source_session, metadata, created_at, updated_at, expires_at,
+         project_id, fingerprint, origin, evidence_count, last_verified_at, status
+  FROM memories;
+
+-- Step 3: Drop old table and FTS triggers
+DROP TRIGGER IF EXISTS memories_ai;
+DROP TRIGGER IF EXISTS memories_ad;
+DROP TRIGGER IF EXISTS memories_au;
+DROP TABLE memories;
+
+-- Step 4: Rename new table
+ALTER TABLE memories_v04 RENAME TO memories;
+
+-- Step 5: Recreate FTS triggers (memories_fts is content=external, survives DROP of content table)
+CREATE TRIGGER IF NOT EXISTS memories_ai AFTER INSERT ON memories BEGIN
+  INSERT INTO memories_fts(rowid, content) VALUES (new.rowid, new.content);
+END;
+
+CREATE TRIGGER IF NOT EXISTS memories_ad AFTER DELETE ON memories BEGIN
+  INSERT INTO memories_fts(memories_fts, rowid, content) VALUES ('delete', old.rowid, old.content);
+END;
+
+CREATE TRIGGER IF NOT EXISTS memories_au AFTER UPDATE ON memories BEGIN
+  INSERT INTO memories_fts(memories_fts, rowid, content) VALUES ('delete', old.rowid, old.content);
+  INSERT INTO memories_fts(rowid, content) VALUES (new.rowid, new.content);
+END;
+
+-- Step 6: Recreate indexes
+CREATE INDEX IF NOT EXISTS idx_memories_type ON memories(type);
+CREATE INDEX IF NOT EXISTS idx_memories_scope ON memories(scope);
+CREATE INDEX IF NOT EXISTS idx_memories_relevance ON memories(relevance_score DESC);
+CREATE INDEX IF NOT EXISTS idx_memories_created ON memories(created_at);
+CREATE UNIQUE INDEX IF NOT EXISTS uq_memories_error_fp
+  ON memories(project_id, fingerprint)
+  WHERE type = 'error' AND fingerprint IS NOT NULL AND origin = 'reflector';
+CREATE INDEX IF NOT EXISTS idx_memories_fp
+  ON memories(fingerprint)
+  WHERE fingerprint IS NOT NULL;

package/dist/migrations/005_v04_signal.sql

@@ -1,57 +1,57 @@
--- ============================================================
--- Kevin 0.4.0 — Migration 005: Signal over Noise (additive)
--- ============================================================
--- Backward-compatible, additive only. All new columns are
--- nullable or carry a NOT NULL DEFAULT so legacy rows keep
--- working without a destructive rebuild.
--- ============================================================
-
--- 1. memories: positive/negative evidence split (D4-03).
---    recurrence_count — how many times this fingerprint recurred AFTER
---                       injection (negative evidence; lowers confidence).
---    fix_args — deterministic capture of the linked success call's
---               args_summary ("Fixed by:" raw material, D4-07).
---    last_injected_at — timestamp of the most recent injection of this memory.
-ALTER TABLE memories ADD COLUMN recurrence_count INTEGER NOT NULL DEFAULT 0;
-ALTER TABLE memories ADD COLUMN fix_args TEXT;
-ALTER TABLE memories ADD COLUMN last_injected_at TEXT;
-
--- 2. kevin_injections: the injection ledger (D4-04). One row per injected
---    memory per prompt/compaction, settled at session.idle.
-CREATE TABLE IF NOT EXISTS kevin_injections (
-  id          TEXT PRIMARY KEY,
-  memory_id   TEXT NOT NULL,
-  fingerprint TEXT NOT NULL,
-  session_id  TEXT NOT NULL,
-  hook        TEXT NOT NULL CHECK (hook IN ('pre_prompt', 'compacting')),
-  tokens      INTEGER NOT NULL,
-  injected_at TEXT NOT NULL DEFAULT (datetime('now')),
-  outcome     TEXT CHECK (outcome IN ('unmeasured', 'effective', 'ineffective'))
-              NOT NULL DEFAULT 'unmeasured'
-);
-
--- 2b. Indexes: settlement by session, recurrence lookups by fingerprint,
---     and outcome rollups for precision_rate.
-CREATE INDEX IF NOT EXISTS idx_injections_fp
-  ON kevin_injections(fingerprint);
-CREATE INDEX IF NOT EXISTS idx_injections_session
-  ON kevin_injections(session_id);
-CREATE INDEX IF NOT EXISTS idx_injections_outcome
-  ON kevin_injections(outcome);
-
--- 3. kevin_metrics: seed new v0.4 counters.
---    patterns_promoted_new replaces patterns_causal (which was inflated by
---    idempotent refreshes); the latter stays for compat but is frozen.
-INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
-  ('injections_total',        0),
-  ('injections_effective',    0),
-  ('injections_ineffective',  0),
-  ('patterns_promoted_new',   0);
-
--- 4. kevin_settings: seed new v0.4 flags.
-INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
-  ('quality_gate_enabled',    '1'),
-  ('lesson_snippet_injection','1');
-
--- 5. Seed version 005.
-INSERT OR IGNORE INTO schema_version (version) VALUES ('005');
+-- ============================================================
+-- Kevin 0.4.0 — Migration 005: Signal over Noise (additive)
+-- ============================================================
+-- Backward-compatible, additive only. All new columns are
+-- nullable or carry a NOT NULL DEFAULT so legacy rows keep
+-- working without a destructive rebuild.
+-- ============================================================
+
+-- 1. memories: positive/negative evidence split (D4-03).
+--    recurrence_count — how many times this fingerprint recurred AFTER
+--                       injection (negative evidence; lowers confidence).
+--    fix_args — deterministic capture of the linked success call's
+--               args_summary ("Fixed by:" raw material, D4-07).
+--    last_injected_at — timestamp of the most recent injection of this memory.
+ALTER TABLE memories ADD COLUMN recurrence_count INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE memories ADD COLUMN fix_args TEXT;
+ALTER TABLE memories ADD COLUMN last_injected_at TEXT;
+
+-- 2. kevin_injections: the injection ledger (D4-04). One row per injected
+--    memory per prompt/compaction, settled at session.idle.
+CREATE TABLE IF NOT EXISTS kevin_injections (
+  id          TEXT PRIMARY KEY,
+  memory_id   TEXT NOT NULL,
+  fingerprint TEXT NOT NULL,
+  session_id  TEXT NOT NULL,
+  hook        TEXT NOT NULL CHECK (hook IN ('pre_prompt', 'compacting')),
+  tokens      INTEGER NOT NULL,
+  injected_at TEXT NOT NULL DEFAULT (datetime('now')),
+  outcome     TEXT CHECK (outcome IN ('unmeasured', 'effective', 'ineffective'))
+              NOT NULL DEFAULT 'unmeasured'
+);
+
+-- 2b. Indexes: settlement by session, recurrence lookups by fingerprint,
+--     and outcome rollups for precision_rate.
+CREATE INDEX IF NOT EXISTS idx_injections_fp
+  ON kevin_injections(fingerprint);
+CREATE INDEX IF NOT EXISTS idx_injections_session
+  ON kevin_injections(session_id);
+CREATE INDEX IF NOT EXISTS idx_injections_outcome
+  ON kevin_injections(outcome);
+
+-- 3. kevin_metrics: seed new v0.4 counters.
+--    patterns_promoted_new replaces patterns_causal (which was inflated by
+--    idempotent refreshes); the latter stays for compat but is frozen.
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
+  ('injections_total',        0),
+  ('injections_effective',    0),
+  ('injections_ineffective',  0),
+  ('patterns_promoted_new',   0);
+
+-- 4. kevin_settings: seed new v0.4 flags.
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
+  ('quality_gate_enabled',    '1'),
+  ('lesson_snippet_injection','1');
+
+-- 5. Seed version 005.
+INSERT OR IGNORE INTO schema_version (version) VALUES ('005');

package/dist/migrations/006_v05_glassbox.sql

@@ -1,118 +1,118 @@
--- ============================================================================
--- 006_v05_glassbox.sql — v0.5.0 "Glass Box"
---
--- Honest measurement, human feedback, lifecycle completion.
---
--- Section 1: rebuild kevin_injections to admit a fourth outcome.
--- Section 2: human feedback storage.
--- Section 3: memory lifecycle columns.
--- Section 4: metric seeds.
--- Section 5: setting seeds.
--- Section 6: schema_version.
--- ============================================================================
-
--- ---------------------------------------------------------------------------
--- 1. kevin_injections: add 'inconclusive'.
---
--- SQLite cannot ALTER a CHECK constraint, so the table must be rebuilt.
--- Migration 004 set this precedent. kevin_injections has no FTS5 triggers,
--- so unlike 004 this is a straight four-step rebuild.
---
--- Existing rows with outcome='effective' are remapped to 'inconclusive'.
--- This is not data loss: v0.4's 'effective' meant "the error did not recur",
--- which is the exact definition of the new 'inconclusive' bucket. Rows that
--- genuinely earned the new 'effective' will be re-settled naturally, and the
--- post-apply hook re-derives the counters from the table.
--- ---------------------------------------------------------------------------
-CREATE TABLE IF NOT EXISTS kevin_injections_new (
-  id          TEXT PRIMARY KEY,
-  memory_id   TEXT NOT NULL,
-  fingerprint TEXT NOT NULL,
-  session_id  TEXT NOT NULL,
-  hook        TEXT NOT NULL CHECK (hook IN ('pre_prompt','compacting')),
-  tokens      INTEGER NOT NULL,
-  injected_at TEXT NOT NULL DEFAULT (datetime('now')),
-  outcome     TEXT NOT NULL DEFAULT 'unmeasured'
-              CHECK (outcome IN ('unmeasured','effective','ineffective','inconclusive'))
-);
-
-INSERT INTO kevin_injections_new
-  (id, memory_id, fingerprint, session_id, hook, tokens, injected_at, outcome)
-SELECT
-  id, memory_id, fingerprint, session_id, hook, tokens, injected_at,
-  CASE WHEN outcome = 'effective' THEN 'inconclusive' ELSE outcome END
-FROM kevin_injections;
-
-DROP TABLE kevin_injections;
-ALTER TABLE kevin_injections_new RENAME TO kevin_injections;
-
-CREATE INDEX IF NOT EXISTS idx_injections_fp      ON kevin_injections(fingerprint);
-CREATE INDEX IF NOT EXISTS idx_injections_session ON kevin_injections(session_id);
-CREATE INDEX IF NOT EXISTS idx_injections_outcome ON kevin_injections(outcome);
-
--- ---------------------------------------------------------------------------
--- 2. Human feedback. Append-only audit trail; the hot path reads the
---    denormalized counters on `memories` (section 3), never this table.
--- ---------------------------------------------------------------------------
-CREATE TABLE IF NOT EXISTS memory_feedback (
-  id         TEXT PRIMARY KEY,
-  memory_id  TEXT NOT NULL,
-  verdict    TEXT NOT NULL CHECK (verdict IN ('useful','wrong','outdated','ignore')),
-  session_id TEXT,
-  note       TEXT,
-  created_at TEXT NOT NULL DEFAULT (datetime('now'))
-);
-
-CREATE INDEX IF NOT EXISTS idx_feedback_memory  ON memory_feedback(memory_id);
-CREATE INDEX IF NOT EXISTS idx_feedback_created ON memory_feedback(created_at);
-
--- ---------------------------------------------------------------------------
--- 3. Memory lifecycle and feedback columns.
---
---    feedback_positive / feedback_negative are SEPARATE from evidence_count
---    and recurrence_count by design: human judgement is evidence about the
---    memory, causal counters are evidence about the world. Mixing them was
---    the confidence-poisoning defect closed in v0.4.0.
---
---    superseded_by has no REFERENCES clause on purpose. Store enables
---    PRAGMA foreign_keys=ON, and a hard FK would block deletion of a memory
---    that superseded another.
--- ---------------------------------------------------------------------------
-ALTER TABLE memories ADD COLUMN feedback_positive INTEGER NOT NULL DEFAULT 0;
-ALTER TABLE memories ADD COLUMN feedback_negative INTEGER NOT NULL DEFAULT 0;
-ALTER TABLE memories ADD COLUMN ignored           INTEGER NOT NULL DEFAULT 0;
-ALTER TABLE memories ADD COLUMN superseded_by     TEXT;
-ALTER TABLE memories ADD COLUMN archived_at       TEXT;
-
-CREATE INDEX IF NOT EXISTS idx_memories_ignored  ON memories(ignored);
-CREATE INDEX IF NOT EXISTS idx_memories_archived ON memories(archived_at);
-
--- ---------------------------------------------------------------------------
--- 4. Metric seeds. Order matches the additions to METRIC_KEYS in metrics.ts.
--- ---------------------------------------------------------------------------
-INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
-  ('injections_inconclusive',      0),
-  ('injections_blocked_seen',      0),
-  ('injections_blocked_weak',      0),
-  ('injections_blocked_recurrence',0),
-  ('injections_blocked_stale',     0),
-  ('injections_blocked_ignored',   0),
-  ('feedback_positive_total',      0),
-  ('feedback_negative_total',      0),
-  ('memories_archived',            0);
-
--- ---------------------------------------------------------------------------
--- 5. Setting seeds. Values are TEXT, always. Read them with an explicit
---    string comparison or an explicit Number() parse — never `=== 1`.
---    (That exact mistake kept cross_project_enabled unreachable for the
---    whole of v0.3.0.)
--- ---------------------------------------------------------------------------
-INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
-  ('deterministic_retrieval',    '0'),
-  ('pre_prompt_budget_tokens', '900'),
-  ('archive_after_days',        '30');
-
--- ---------------------------------------------------------------------------
--- 6. Version marker.
--- ---------------------------------------------------------------------------
-INSERT OR IGNORE INTO schema_version (version) VALUES ('006');
+-- ============================================================================
+-- 006_v05_glassbox.sql — v0.5.0 "Glass Box"
+--
+-- Honest measurement, human feedback, lifecycle completion.
+--
+-- Section 1: rebuild kevin_injections to admit a fourth outcome.
+-- Section 2: human feedback storage.
+-- Section 3: memory lifecycle columns.
+-- Section 4: metric seeds.
+-- Section 5: setting seeds.
+-- Section 6: schema_version.
+-- ============================================================================
+
+-- ---------------------------------------------------------------------------
+-- 1. kevin_injections: add 'inconclusive'.
+--
+-- SQLite cannot ALTER a CHECK constraint, so the table must be rebuilt.
+-- Migration 004 set this precedent. kevin_injections has no FTS5 triggers,
+-- so unlike 004 this is a straight four-step rebuild.
+--
+-- Existing rows with outcome='effective' are remapped to 'inconclusive'.
+-- This is not data loss: v0.4's 'effective' meant "the error did not recur",
+-- which is the exact definition of the new 'inconclusive' bucket. Rows that
+-- genuinely earned the new 'effective' will be re-settled naturally, and the
+-- post-apply hook re-derives the counters from the table.
+-- ---------------------------------------------------------------------------
+CREATE TABLE IF NOT EXISTS kevin_injections_new (
+  id          TEXT PRIMARY KEY,
+  memory_id   TEXT NOT NULL,
+  fingerprint TEXT NOT NULL,
+  session_id  TEXT NOT NULL,
+  hook        TEXT NOT NULL CHECK (hook IN ('pre_prompt','compacting')),
+  tokens      INTEGER NOT NULL,
+  injected_at TEXT NOT NULL DEFAULT (datetime('now')),
+  outcome     TEXT NOT NULL DEFAULT 'unmeasured'
+              CHECK (outcome IN ('unmeasured','effective','ineffective','inconclusive'))
+);
+
+INSERT INTO kevin_injections_new
+  (id, memory_id, fingerprint, session_id, hook, tokens, injected_at, outcome)
+SELECT
+  id, memory_id, fingerprint, session_id, hook, tokens, injected_at,
+  CASE WHEN outcome = 'effective' THEN 'inconclusive' ELSE outcome END
+FROM kevin_injections;
+
+DROP TABLE kevin_injections;
+ALTER TABLE kevin_injections_new RENAME TO kevin_injections;
+
+CREATE INDEX IF NOT EXISTS idx_injections_fp      ON kevin_injections(fingerprint);
+CREATE INDEX IF NOT EXISTS idx_injections_session ON kevin_injections(session_id);
+CREATE INDEX IF NOT EXISTS idx_injections_outcome ON kevin_injections(outcome);
+
+-- ---------------------------------------------------------------------------
+-- 2. Human feedback. Append-only audit trail; the hot path reads the
+--    denormalized counters on `memories` (section 3), never this table.
+-- ---------------------------------------------------------------------------
+CREATE TABLE IF NOT EXISTS memory_feedback (
+  id         TEXT PRIMARY KEY,
+  memory_id  TEXT NOT NULL,
+  verdict    TEXT NOT NULL CHECK (verdict IN ('useful','wrong','outdated','ignore')),
+  session_id TEXT,
+  note       TEXT,
+  created_at TEXT NOT NULL DEFAULT (datetime('now'))
+);
+
+CREATE INDEX IF NOT EXISTS idx_feedback_memory  ON memory_feedback(memory_id);
+CREATE INDEX IF NOT EXISTS idx_feedback_created ON memory_feedback(created_at);
+
+-- ---------------------------------------------------------------------------
+-- 3. Memory lifecycle and feedback columns.
+--
+--    feedback_positive / feedback_negative are SEPARATE from evidence_count
+--    and recurrence_count by design: human judgement is evidence about the
+--    memory, causal counters are evidence about the world. Mixing them was
+--    the confidence-poisoning defect closed in v0.4.0.
+--
+--    superseded_by has no REFERENCES clause on purpose. Store enables
+--    PRAGMA foreign_keys=ON, and a hard FK would block deletion of a memory
+--    that superseded another.
+-- ---------------------------------------------------------------------------
+ALTER TABLE memories ADD COLUMN feedback_positive INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE memories ADD COLUMN feedback_negative INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE memories ADD COLUMN ignored           INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE memories ADD COLUMN superseded_by     TEXT;
+ALTER TABLE memories ADD COLUMN archived_at       TEXT;
+
+CREATE INDEX IF NOT EXISTS idx_memories_ignored  ON memories(ignored);
+CREATE INDEX IF NOT EXISTS idx_memories_archived ON memories(archived_at);
+
+-- ---------------------------------------------------------------------------
+-- 4. Metric seeds. Order matches the additions to METRIC_KEYS in metrics.ts.
+-- ---------------------------------------------------------------------------
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
+  ('injections_inconclusive',      0),
+  ('injections_blocked_seen',      0),
+  ('injections_blocked_weak',      0),
+  ('injections_blocked_recurrence',0),
+  ('injections_blocked_stale',     0),
+  ('injections_blocked_ignored',   0),
+  ('feedback_positive_total',      0),
+  ('feedback_negative_total',      0),
+  ('memories_archived',            0);
+
+-- ---------------------------------------------------------------------------
+-- 5. Setting seeds. Values are TEXT, always. Read them with an explicit
+--    string comparison or an explicit Number() parse — never `=== 1`.
+--    (That exact mistake kept cross_project_enabled unreachable for the
+--    whole of v0.3.0.)
+-- ---------------------------------------------------------------------------
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
+  ('deterministic_retrieval',    '0'),
+  ('pre_prompt_budget_tokens', '900'),
+  ('archive_after_days',        '30');
+
+-- ---------------------------------------------------------------------------
+-- 6. Version marker.
+-- ---------------------------------------------------------------------------
+INSERT OR IGNORE INTO schema_version (version) VALUES ('006');