@jmtrin/opencode-kevin 0.6.0 → 0.8.0

package/dist/migrations/008_v07_truth.sql

@@ -0,0 +1,124 @@
+-- ============================================================
+-- Kevin 0.7.0 — Migration 008: Project Truth (additive)
+-- ============================================================
+-- Backward-compatible, additive only. Two new tables, two new
+-- nullable/defaulted columns on `memories`, one index, five
+-- metric seeds, four setting seeds. NO table rebuild: nothing
+-- here widens a CHECK constraint on an existing table.
+--
+-- Section 1: repo_facts — the ground-truth store.
+-- Section 2: memory_conflicts — surfaced, never auto-resolved.
+-- Section 3: memories truth columns.
+-- Section 4: metric seeds.
+-- Section 5: setting seeds.
+-- Section 6: schema_version.
+-- ============================================================
+
+-- ------------------------------------------------------------
+-- 1. repo_facts — facts extracted from package.json and
+--    tsconfig.json. Both are JSON, parsed with JSON.parse; this
+--    release adds NO parser and NO runtime dependency.
+--
+--    The UNIQUE index INCLUDES project_id and that is load-
+--    bearing (D7-02). Kevin's DB is global
+--    (~/.opencode-kevin/kevin.db, projectId =
+--    fingerprint(process.cwd())). Without project_id, project A's
+--    packageManager=npm would overwrite project B's
+--    packageManager=pnpm and contradictions() would then flag A's
+--    memories against B's repository.
+--
+--    source_mtime lets scan() skip re-parsing an unchanged file.
+-- ------------------------------------------------------------
+CREATE TABLE IF NOT EXISTS repo_facts (
+  id           TEXT PRIMARY KEY,
+  project_id   TEXT NOT NULL,
+  file         TEXT NOT NULL,
+  key_path     TEXT NOT NULL,
+  value        TEXT NOT NULL,
+  fingerprint  TEXT NOT NULL,
+  source_mtime TEXT,
+  scanned_at   TEXT NOT NULL DEFAULT (datetime('now'))
+);
+CREATE UNIQUE INDEX IF NOT EXISTS uq_repo_facts    ON repo_facts(project_id, file, key_path);
+CREATE INDEX        IF NOT EXISTS idx_repo_facts_fp ON repo_facts(fingerprint);
+
+-- ------------------------------------------------------------
+-- 2. memory_conflicts — detection only. status moves
+--    open → acknowledged → resolved, and ONLY the kevin_conflicts
+--    tool may move it to 'resolved' (D7-06). No session.idle path
+--    writes 'resolved'.
+--
+--    memory_a / memory_b / fact_id carry NO REFERENCES clause on
+--    purpose: Store sets PRAGMA foreign_keys = ON, and a hard FK
+--    would block deleting a memory that participates in a
+--    conflict.
+-- ------------------------------------------------------------
+CREATE TABLE IF NOT EXISTS memory_conflicts (
+  id          TEXT PRIMARY KEY,
+  project_id  TEXT NOT NULL,
+  memory_a    TEXT NOT NULL,
+  memory_b    TEXT,
+  fact_id     TEXT,
+  kind        TEXT NOT NULL CHECK (kind IN ('repo_truth','decision_pair','temporal')),
+  detail      TEXT,
+  status      TEXT NOT NULL DEFAULT 'open' CHECK (status IN ('open','acknowledged','resolved')),
+  detected_at TEXT NOT NULL DEFAULT (datetime('now')),
+  resolved_at TEXT
+);
+
+CREATE INDEX IF NOT EXISTS idx_conflicts_status ON memory_conflicts(status);
+CREATE INDEX IF NOT EXISTS idx_conflicts_memory ON memory_conflicts(memory_a);
+
+-- ------------------------------------------------------------
+-- 3. memories: the de-ranking column and its timestamp.
+--
+--    truth_penalty is clamped by application code to [0, 0.5] and
+--    multiplies rankScore as (1 - truth_penalty), AFTER the
+--    existing BM25 × origin_boost × recency_decay chain. At 0.0
+--    the v0.6.0 ranking is reproduced exactly (D7-04).
+--
+--    There is deliberately no status transition here. Contra-
+--    diction de-ranks; it never deletes (Principle 24, D7-03).
+-- ------------------------------------------------------------
+ALTER TABLE memories ADD COLUMN truth_penalty   REAL NOT NULL DEFAULT 0.0;
+ALTER TABLE memories ADD COLUMN contradicted_at TEXT;
+
+CREATE INDEX IF NOT EXISTS idx_memories_truth_penalty ON memories(truth_penalty);
+
+-- ------------------------------------------------------------
+-- 4. Metric seeds. Order matches the additions to METRIC_KEYS
+--    in metrics.ts (28 → 33).
+-- ------------------------------------------------------------
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
+  ('repo_facts_scanned',       0),
+  ('memories_contradicted',    0),
+  ('conventions_mined',        0),
+  ('conflicts_detected',       0),
+  ('error_lessons_suppressed', 0);
+
+-- ------------------------------------------------------------
+-- 5. Setting seeds. Values are TEXT, always. Read them with an
+--    explicit string comparison or an explicit Number() parse —
+--    never `=== 1`, and never for truthiness.
+--
+--    error_lesson_mode is a TEXT ENUM ('all' | 'triage_only').
+--    `if (mode)` is true for BOTH values and would put every
+--    installation into triage mode on upgrade. Compare with
+--    === "triage_only" (D7-12). Defaults to 'all', preserving
+--    v0.6.0 behaviour exactly.
+--
+--    The three feature flags default to '0' (off): a release that
+--    changes nothing until asked must not silently start scanning
+--    the repository or mining conventions on upgrade. They are
+--    opted into explicitly. (Task K7-001 / plan §5 & §12.)
+-- ------------------------------------------------------------
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
+  ('repo_truth_enabled',         '0'),
+  ('convention_mining_enabled',  '0'),
+  ('conflict_detection_enabled', '0'),
+  ('error_lesson_mode',          'all');
+
+-- ------------------------------------------------------------
+-- 6. Version marker.
+-- ------------------------------------------------------------
+INSERT OR IGNORE INTO schema_version (version) VALUES ('008');

package/dist/migrations/009_v08_team.sql

@@ -0,0 +1,100 @@
+-- ============================================================
+-- Kevin 0.8.0 - Migration 009: Team (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.
+--
+-- Scope note: this migration introduces `repo_id`, a SECOND
+-- scoping dimension. `project_id` is retained on every table,
+-- unchanged, as local-path provenance (D8-02). Nothing that
+-- reads `project_id` today stops working.
+-- ============================================================
+
+-- 1. shared_entries: the local projection of the committed OKF file.
+--    One row per (repo_id, entry_id). Rewritten by SharedLayer.import(),
+--    never edited by hand, never the source of truth - the file is.
+--    No REFERENCES to memories: an entry may arrive from a teammate
+--    before any local memory corresponds to it (D8-12).
+CREATE TABLE IF NOT EXISTS shared_entries (
+  id           TEXT PRIMARY KEY,
+  repo_id      TEXT NOT NULL,
+  entry_id     TEXT NOT NULL,
+  type         TEXT NOT NULL CHECK (type IN ('decision', 'rule', 'pattern', 'solution')),
+  statement    TEXT NOT NULL,
+  scope        TEXT,
+  confidence   REAL NOT NULL DEFAULT 0.0,
+  evidence     INTEGER NOT NULL DEFAULT 0,
+  origin       TEXT NOT NULL DEFAULT 'shared',
+  author_hash  TEXT,
+  op           TEXT NOT NULL CHECK (op IN ('assert', 'tombstone')) DEFAULT 'assert',
+  supersedes   TEXT,
+  created_at   TEXT NOT NULL,
+  imported_at  TEXT NOT NULL DEFAULT (datetime('now'))
+);
+
+-- 1b. Identity is (repo_id, entry_id). The UNIQUE index is what makes
+--     import() an idempotent upsert instead of an append.
+CREATE UNIQUE INDEX IF NOT EXISTS uq_shared_entries
+  ON shared_entries(repo_id, entry_id);
+CREATE INDEX IF NOT EXISTS idx_shared_entries_op
+  ON shared_entries(op);
+CREATE INDEX IF NOT EXISTS idx_shared_entries_type
+  ON shared_entries(type);
+
+-- 2. okf_imports: append-only audit of every read of the shared file,
+--    including no-op reads and refusals. `file_hash` drives the skip
+--    path in SharedLayer.import() (D8-14).
+CREATE TABLE IF NOT EXISTS okf_imports (
+  id               TEXT PRIMARY KEY,
+  repo_id          TEXT NOT NULL,
+  path             TEXT NOT NULL,
+  file_hash        TEXT,
+  entries_parsed   INTEGER NOT NULL DEFAULT 0,
+  entries_folded   INTEGER NOT NULL DEFAULT 0,
+  entries_rejected INTEGER NOT NULL DEFAULT 0,
+  skipped          INTEGER NOT NULL DEFAULT 0,
+  imported_at      TEXT NOT NULL DEFAULT (datetime('now'))
+);
+
+CREATE INDEX IF NOT EXISTS idx_okf_imports_repo
+  ON okf_imports(repo_id, imported_at);
+
+-- 3. memories: the second scoping dimension and the layer marker.
+--    repo_id is NULLABLE and back-filled by the post-apply hook, not by
+--    a DEFAULT: the value depends on the row's existing project_id and
+--    SQLite cannot express that in a column default.
+--    layer carries NO CHECK constraint - widening it later would force
+--    the migration-004 rebuild path (D8-07). Enforced in TypeScript.
+ALTER TABLE memories ADD COLUMN repo_id TEXT;
+ALTER TABLE memories ADD COLUMN layer TEXT NOT NULL DEFAULT 'local';
+ALTER TABLE memories ADD COLUMN shared_entry_id TEXT;
+
+CREATE INDEX IF NOT EXISTS idx_memories_repo_id
+  ON memories(repo_id, status);
+CREATE INDEX IF NOT EXISTS idx_memories_layer
+  ON memories(layer);
+
+-- 4. kevin_metrics: seed the six v0.8 counters (33 -> 39).
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES
+  ('shared_entries_total',    0),
+  ('shared_entries_imported', 0),
+  ('shared_entries_exported', 0),
+  ('okf_merge_folds',         0),
+  ('rekey_events',            0),
+  ('injections_from_shared',  0);
+
+-- 5. kevin_settings: seed the five v0.8 flags (18 -> 23).
+--    shared_layer_enabled defaults OFF: this release must be opted into,
+--    because its first side effect is a new file in the user's repository.
+--    shared_confidence_floor (0.7) is deliberately STRICTER than
+--    injection_confidence_floor (0.6) - see 5.7.
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES
+  ('shared_layer_enabled',     '0'),
+  ('okf_path',                 '.kevin/knowledge.okf'),
+  ('share_requires_approval',  '1'),
+  ('author_identity_mode',     'hashed'),
+  ('shared_confidence_floor',  '0.7');
+
+-- 6. Seed version 009.
+INSERT OR IGNORE INTO schema_version (version) VALUES ('009');

package/dist/plugin/ArtifactWriter.d.ts

@@ -3,6 +3,27 @@ import type { Metrics } from "./metrics.js";
 export declare const MARKER_BEGIN = "<!-- kevin:begin \u2014 curated by opencode-kevin, safe to edit -->";
 export declare const MARKER_END = "<!-- kevin:end -->";
 export type WriteOutcome = "written" | "noop" | "refused";
+/**
+ * v0.8.0 (K8-019 / D8-08) — the two write modes. `markers` is the
+ * v0.6.0 behaviour, byte for byte: a splice between the two marker
+ * comments, used for `AGENTS.md`, a file humans edit. `whole` replaces
+ * the entire file and is used only for Kevin-owned paths such as
+ * `.kevin/knowledge.okf` — a file humans do not hand-edit.
+ */
+export type WriteMode = "markers" | "whole";
+export interface WriteRequest {
+    readonly path: string;
+    readonly mode: WriteMode;
+    /** marker block body ("markers"), or whole-file content ("whole"). */
+    readonly content: string;
+    /**
+     * Caller-side refusal reason (K8-020 / D6-03): when present, the plan
+     * is refused — nothing is written, and the refusal is audited with
+     * both hashes. The refusal conditions belong to the caller; the
+     * writer only records them.
+     */
+    readonly refusal?: string;
+}
 export interface WritePlan {
     readonly path: string;
     readonly before: string;
@@ -44,6 +65,13 @@ export declare class ArtifactWriter {
     private readonly metrics;
     constructor(store: Store, projectId: string, metrics?: Metrics | null);
     plan(path: string, body: string): WritePlan;
+    plan(request: WriteRequest): WritePlan;
+    /**
+     * K8-019 (D8-08) — the single write funnel: every file Kevin writes
+     * goes through this method, which is the ONLY call site of `apply()`
+     * in the plugin (asserted by tests/unit/single_write_path.test.ts).
+     */
+    write(request: WriteRequest, proposalId?: string): WriteOutcome;
     apply(plan: WritePlan, proposalId?: string): WriteOutcome;
     private renameTemp;
     private audit;

package/dist/plugin/ArtifactWriter.js

@@ -84,7 +84,11 @@ export class ArtifactWriter {
         this.projectId = projectId;
         this.metrics = metrics ?? null;
     }
-    plan(path, body) {
+    plan(pathOrRequest, body) {
+        const request = typeof pathOrRequest === "string"
+            ? { path: pathOrRequest, mode: "markers", content: body ?? "" }
+            : pathOrRequest;
+        const { path, mode, content } = request;
         let before;
         try {
             // Read as Buffer, not as utf8 text: readFileSync's text decoding
@@ -100,10 +104,31 @@ export class ArtifactWriter {
                 throw err;
             }
         }
+        if (mode === "whole") {
+            // K8-019 (D8-08) — the whole-file path. The file is Kevin-owned,
+            // so there are no markers, no sanitization and no EOL
+            // normalization: the rendered bytes are written as-is, which is
+            // what makes a re-render of the same content a `noop`. A
+            // caller-side refusal leaves the file untouched and is audited
+            // like any other refusal: after = before, both hashes recorded.
+            const refusal = request.refusal;
+            const refused = refusal !== undefined;
+            const after = refused ? before : content;
+            return {
+                path,
+                before,
+                after,
+                diff: unifiedDiff(path, before, after),
+                outcome: refused ? "refused" : after === before ? "noop" : "written",
+                ...(refusal !== undefined ? { reason: refusal } : {}),
+                hashBefore: sha256(before),
+                hashAfter: sha256(after),
+            };
+        }
         const eol = detectEol(before);
         // Rule 9 — sanitation happens in plan(), before hashing, so the hashes
         // describe what was actually written.
-        const bodyEol = normalizeEol(sanitizeArtifactBody(body), eol);
+        const bodyEol = normalizeEol(sanitizeArtifactBody(content), eol);
         const firstBegin = before.indexOf(MARKER_BEGIN);
         const firstEnd = before.indexOf(MARKER_END);
         let after;
@@ -176,6 +201,14 @@ export class ArtifactWriter {
             hashAfter: sha256(after),
         };
     }
+    /**
+     * K8-019 (D8-08) — the single write funnel: every file Kevin writes
+     * goes through this method, which is the ONLY call site of `apply()`
+     * in the plugin (asserted by tests/unit/single_write_path.test.ts).
+     */
+    write(request, proposalId) {
+        return this.apply(this.plan(request), proposalId);
+    }
     // v0.6.0 (K6-007 / plan §5.1, rules 7–8) — atomic write + audit row.
     apply(plan, proposalId) {
         // Rule 8 — refusals and noops still leave an audit trail; a refusal

package/dist/plugin/ArtifactWriter.js.map

@@ -1 +1 @@
-{"version":3,"file":"ArtifactWriter.js","sourceRoot":"","sources":["../../plugin/ArtifactWriter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACN,SAAS,EACT,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,UAAU,EACV,SAAS,GACT,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC,6EAA6E;AAC7E,+EAA+E;AAC/E,2BAA2B;AAC3B,MAAM,CAAC,MAAM,YAAY,GACxB,gEAAgE,CAAC;AAClE,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAAC;AAe/C,SAAS,MAAM,CAAC,IAAY;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,IAAY;IAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,EAAE,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,OAAO,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,IAAY,EAAE,GAAkB;IACrD,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACrC,OAAO,IAAI;SACT,OAAO,CAAC,yBAAyB,EAAE,OAAO,CAAC;SAC3C,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAChD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO;SAClB,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACtD,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,cAAc;IACT,KAAK,CAAQ;IACb,SAAS,CAAS;IAClB,OAAO,CAAiB;IAEzC,YAAY,KAAY,EAAE,SAAiB,EAAE,OAAwB;QACpE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC;IAChC,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,IAAY;QAC9B,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACJ,iEAAiE;YACjE,iEAAiE;YACjE,kEAAkE;YAClE,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACd,IAAI,GAAG,YAAY,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACpE,MAAM,GAAG,EAAE,CAAC;YACb,CAAC;iBAAM,CAAC;gBACP,MAAM,GAAG,CAAC;YACX,CAAC;QACF,CAAC;QAED,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,uEAAuE;QACvE,sCAAsC;QACtC,MAAM,OAAO,GAAG,YAAY,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,KAAa,CAAC;QAClB,IAAI,OAAO,GAAiB,SAAS,CAAC;QACtC,IAAI,MAA0B,CAAC;QAE/B,IAAI,UAAU,KAAK,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1C,oEAAoE;YACpE,oEAAoE;YACpE,gEAAgE;YAChE,gCAAgC;YAChC,MAAM,SAAS,GACd,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC;YAC9D,KAAK;gBACJ,MAAM;oBACN,SAAS;oBACT,YAAY;oBACZ,GAAG;oBACH,OAAO;oBACP,GAAG;oBACH,UAAU;oBACV,GAAG,CAAC;QACN,CAAC;aAAM,IAAI,UAAU,KAAK,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;YACjD,uCAAuC;YACvC,KAAK,GAAG,MAAM,CAAC;YACf,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM;gBACL,UAAU,KAAK,CAAC,CAAC;oBAChB,CAAC,CAAC,8CAA8C;oBAChD,CAAC,CAAC,8CAA8C,CAAC;QACpD,CAAC;aAAM,IAAI,QAAQ,GAAG,UAAU,EAAE,CAAC;YAClC,6CAA6C;YAC7C,KAAK,GAAG,MAAM,CAAC;YACf,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM,GAAG,sCAAsC,CAAC;QACjD,CAAC;aAAM,IACN,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACrE,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAC9D,CAAC;YACF,kEAAkE;YAClE,KAAK,GAAG,MAAM,CAAC;YACf,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM,GAAG,mCAAmC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACP,iEAAiE;YACjE,kEAAkE;YAClE,wCAAwC;YACxC,MAAM,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC;YAC9C,KAAK;gBACJ,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;oBAC3B,YAAY;oBACZ,GAAG;oBACH,OAAO;oBACP,GAAG;oBACH,UAAU;oBACV,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACxB,uDAAuD;YACvD,OAAO,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QACjD,CAAC;QAED,OAAO;YACN,IAAI;YACJ,MAAM;YACN,KAAK;YACL,oEAAoE;YACpE,0CAA0C;YAC1C,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC;YACtC,OAAO;YACP,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;YAC1B,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;SACxB,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,IAAe,EAAE,UAAmB;QACzC,oEAAoE;QACpE,oEAAoE;QACpE,qEAAqE;QACrE,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3D,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC7B,OAAO,IAAI,CAAC,OAAO,CAAC;QACrB,CAAC;QAED,mEAAmE;QACnE,uEAAuE;QACvE,2EAA2E;QAC3E,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,YAAY,CAAC;QACzC,IAAI,EAAsB,CAAC;QAC3B,IAAI,CAAC;YACJ,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC5B,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACxC,SAAS,CAAC,EAAE,CAAC,CAAC;YACd,SAAS,CAAC,EAAE,CAAC,CAAC;YACd,EAAE,GAAG,SAAS,CAAC;YACf,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACd,yDAAyD;YACzD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACtB,IAAI,CAAC;oBACJ,SAAS,CAAC,EAAE,CAAC,CAAC;gBACf,CAAC;gBAAC,MAAM,CAAC;oBACR,0DAA0D;gBAC3D,CAAC;YACF,CAAC;YACD,IAAI,CAAC;gBACJ,UAAU,CAAC,OAAO,CAAC,CAAC;YACrB,CAAC;YAAC,MAAM,CAAC;gBACR,sBAAsB;YACvB,CAAC;YACD,MAAM,GAAG,CAAC;QACX,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,uBAAuB,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7B,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,uEAAuE;IACvE,0EAA0E;IAClE,UAAU,CAAC,OAAe,EAAE,MAAc;QACjD,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IAEO,KAAK,CAAC,IAAe,EAAE,UAA8B;QAC5D,IAAI,CAAC,KAAK;aACR,OAAO,CACP;;;2CAGuC,CACvC;aACA,GAAG,CACH,MAAM,EAAE,EACR,UAAU,IAAI,IAAI,EAClB,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,IAAI,EACT,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EACtC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EACrC,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,MAAM,IAAI,IAAI,CACnB,CAAC;IACJ,CAAC;CACD"}
+{"version":3,"file":"ArtifactWriter.js","sourceRoot":"","sources":["../../plugin/ArtifactWriter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACN,SAAS,EACT,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,UAAU,EACV,SAAS,GACT,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC,6EAA6E;AAC7E,+EAA+E;AAC/E,2BAA2B;AAC3B,MAAM,CAAC,MAAM,YAAY,GACxB,gEAAgE,CAAC;AAClE,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAAC;AAsC/C,SAAS,MAAM,CAAC,IAAY;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,IAAY;IAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,EAAE,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,OAAO,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,IAAY,EAAE,GAAkB;IACrD,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACrC,OAAO,IAAI;SACT,OAAO,CAAC,yBAAyB,EAAE,OAAO,CAAC;SAC3C,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAChD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO;SAClB,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACtD,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,cAAc;IACT,KAAK,CAAQ;IACb,SAAS,CAAS;IAClB,OAAO,CAAiB;IAEzC,YAAY,KAAY,EAAE,SAAiB,EAAE,OAAwB;QACpE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC;IAChC,CAAC;IAQD,IAAI,CAAC,aAAoC,EAAE,IAAa;QACvD,MAAM,OAAO,GACZ,OAAO,aAAa,KAAK,QAAQ;YAChC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,EAAE;YAC/D,CAAC,CAAC,aAAa,CAAC;QAClB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;QACxC,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACJ,iEAAiE;YACjE,iEAAiE;YACjE,kEAAkE;YAClE,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACd,IAAI,GAAG,YAAY,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACpE,MAAM,GAAG,EAAE,CAAC;YACb,CAAC;iBAAM,CAAC;gBACP,MAAM,GAAG,CAAC;YACX,CAAC;QACF,CAAC;QAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACtB,iEAAiE;YACjE,sDAAsD;YACtD,gEAAgE;YAChE,yDAAyD;YACzD,+DAA+D;YAC/D,gEAAgE;YAChE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC;YACtC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YACzC,OAAO;gBACN,IAAI;gBACJ,MAAM;gBACN,KAAK;gBACL,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC;gBACtC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;gBACpE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBAC1B,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;aACxB,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,uEAAuE;QACvE,sCAAsC;QACtC,MAAM,OAAO,GAAG,YAAY,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,KAAa,CAAC;QAClB,IAAI,OAAO,GAAiB,SAAS,CAAC;QACtC,IAAI,MAA0B,CAAC;QAE/B,IAAI,UAAU,KAAK,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1C,oEAAoE;YACpE,oEAAoE;YACpE,gEAAgE;YAChE,gCAAgC;YAChC,MAAM,SAAS,GACd,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC;YAC9D,KAAK;gBACJ,MAAM;oBACN,SAAS;oBACT,YAAY;oBACZ,GAAG;oBACH,OAAO;oBACP,GAAG;oBACH,UAAU;oBACV,GAAG,CAAC;QACN,CAAC;aAAM,IAAI,UAAU,KAAK,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;YACjD,uCAAuC;YACvC,KAAK,GAAG,MAAM,CAAC;YACf,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM;gBACL,UAAU,KAAK,CAAC,CAAC;oBAChB,CAAC,CAAC,8CAA8C;oBAChD,CAAC,CAAC,8CAA8C,CAAC;QACpD,CAAC;aAAM,IAAI,QAAQ,GAAG,UAAU,EAAE,CAAC;YAClC,6CAA6C;YAC7C,KAAK,GAAG,MAAM,CAAC;YACf,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM,GAAG,sCAAsC,CAAC;QACjD,CAAC;aAAM,IACN,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACrE,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAC9D,CAAC;YACF,kEAAkE;YAClE,KAAK,GAAG,MAAM,CAAC;YACf,OAAO,GAAG,SAAS,CAAC;YACpB,MAAM,GAAG,mCAAmC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACP,iEAAiE;YACjE,kEAAkE;YAClE,wCAAwC;YACxC,MAAM,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC;YAC9C,KAAK;gBACJ,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;oBAC3B,YAAY;oBACZ,GAAG;oBACH,OAAO;oBACP,GAAG;oBACH,UAAU;oBACV,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACxB,uDAAuD;YACvD,OAAO,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QACjD,CAAC;QAED,OAAO;YACN,IAAI;YACJ,MAAM;YACN,KAAK;YACL,oEAAoE;YACpE,0CAA0C;YAC1C,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC;YACtC,OAAO;YACP,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;YAC1B,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;SACxB,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,OAAqB,EAAE,UAAmB;QAC/C,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,IAAe,EAAE,UAAmB;QACzC,oEAAoE;QACpE,oEAAoE;QACpE,qEAAqE;QACrE,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3D,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC7B,OAAO,IAAI,CAAC,OAAO,CAAC;QACrB,CAAC;QAED,mEAAmE;QACnE,uEAAuE;QACvE,2EAA2E;QAC3E,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,YAAY,CAAC;QACzC,IAAI,EAAsB,CAAC;QAC3B,IAAI,CAAC;YACJ,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC5B,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACxC,SAAS,CAAC,EAAE,CAAC,CAAC;YACd,SAAS,CAAC,EAAE,CAAC,CAAC;YACd,EAAE,GAAG,SAAS,CAAC;YACf,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACd,yDAAyD;YACzD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACtB,IAAI,CAAC;oBACJ,SAAS,CAAC,EAAE,CAAC,CAAC;gBACf,CAAC;gBAAC,MAAM,CAAC;oBACR,0DAA0D;gBAC3D,CAAC;YACF,CAAC;YACD,IAAI,CAAC;gBACJ,UAAU,CAAC,OAAO,CAAC,CAAC;YACrB,CAAC;YAAC,MAAM,CAAC;gBACR,sBAAsB;YACvB,CAAC;YACD,MAAM,GAAG,CAAC;QACX,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,uBAAuB,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7B,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,uEAAuE;IACvE,0EAA0E;IAClE,UAAU,CAAC,OAAe,EAAE,MAAc;QACjD,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IAEO,KAAK,CAAC,IAAe,EAAE,UAA8B;QAC5D,IAAI,CAAC,KAAK;aACR,OAAO,CACP;;;2CAGuC,CACvC;aACA,GAAG,CACH,MAAM,EAAE,EACR,UAAU,IAAI,IAAI,EAClB,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,IAAI,EACT,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EACtC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EACrC,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,MAAM,IAAI,IAAI,CACnB,CAAC;IACJ,CAAC;CACD"}

package/dist/plugin/ConflictDetector.d.ts

@@ -0,0 +1,35 @@
+import type { MemoryService } from "./MemoryService.js";
+import type { RepoTruth } from "./RepoTruth.js";
+import type { Store } from "./Store.js";
+import type { Metrics } from "./metrics.js";
+export type ConflictKind = "repo_truth" | "decision_pair" | "temporal";
+export interface Conflict {
+    readonly id: string;
+    readonly kind: ConflictKind;
+    readonly memoryA: string;
+    readonly memoryB?: string;
+    readonly factId?: string;
+    readonly detail: string;
+}
+export interface RepoTruthConflictInput {
+    readonly memoryId: string;
+    readonly factId?: string | null;
+    readonly reasons: readonly string[];
+}
+export declare class ConflictDetector {
+    private readonly store;
+    private readonly projectId;
+    private readonly repoTruth?;
+    private readonly memoryService?;
+    private readonly metrics;
+    constructor(store: Store, projectId: string, metrics?: Metrics | null, repoTruth?: RepoTruth | undefined, memoryService?: MemoryService | undefined);
+    detect(repoTruthInput?: readonly RepoTruthConflictInput[]): Conflict[];
+    acknowledge(id: string): void;
+    /** Human-only operation. It resolves the conflict row, never a memory. */
+    resolve(id: string, keepMemoryId: string): void;
+    private detectRepoTruth;
+    private repoTruthInputs;
+    private detectDecisionPairs;
+    private detectTemporal;
+    private insertIfNew;
+}

package/dist/plugin/ConflictDetector.js

@@ -0,0 +1,283 @@
+import { normalize } from "./fingerprint.js";
+import { uuidv7 } from "./uuid.js";
+const POLARITY_RULES = [
+    {
+        positive: ["use"],
+        negative: [
+            ["do", "not", "use"],
+            ["don't", "use"],
+            ["never", "use"],
+        ],
+    },
+    { positive: ["always"], negative: [["never"]] },
+    { positive: ["required"], negative: [["forbidden"], ["not", "required"]] },
+    { positive: ["enable"], negative: [["disable"]] },
+    { positive: ["prefer"], negative: [["avoid"]] },
+];
+const STOP_WORDS = new Set([
+    "a",
+    "an",
+    "and",
+    "are",
+    "as",
+    "at",
+    "be",
+    "by",
+    "for",
+    "from",
+    "in",
+    "is",
+    "it",
+    "of",
+    "on",
+    "or",
+    "that",
+    "the",
+    "this",
+    "to",
+    "with",
+    "we",
+    "when",
+    "where",
+    "you",
+]);
+const POLARITY_WORDS = new Set([
+    "use",
+    "do",
+    "not",
+    // "don't" tokenizes to ["don", "t"] (see tokens()); the lexicon phrase
+    // ["don't","use"] is matched by tokenizing the phrase the same way, so
+    // both fragments must be excluded from subjects() too (K7-014).
+    "don",
+    "t",
+    "never",
+    "always",
+    "required",
+    "forbidden",
+    "enable",
+    "disable",
+    "prefer",
+    "avoid",
+]);
+export class ConflictDetector {
+    store;
+    projectId;
+    repoTruth;
+    memoryService;
+    metrics;
+    constructor(store, projectId, metrics, repoTruth, memoryService) {
+        this.store = store;
+        this.projectId = projectId;
+        this.repoTruth = repoTruth;
+        this.memoryService = memoryService;
+        this.metrics = metrics ?? null;
+    }
+    detect(repoTruthInput) {
+        const detected = [];
+        detected.push(...this.detectRepoTruth(repoTruthInput));
+        detected.push(...this.detectDecisionPairs());
+        detected.push(...this.detectTemporal());
+        return detected;
+    }
+    acknowledge(id) {
+        this.store
+            .prepare("UPDATE memory_conflicts SET status = 'acknowledged' WHERE id = ? AND project_id = ? AND status = 'open'")
+            .run(id, this.projectId);
+    }
+    /** Human-only operation. It resolves the conflict row, never a memory. */
+    resolve(id, keepMemoryId) {
+        const row = this.store
+            .prepare(`SELECT memory_a, memory_b FROM memory_conflicts
+				 WHERE id = ? AND project_id = ? AND status <> 'resolved'`)
+            .get(id, this.projectId);
+        if (!row)
+            throw new Error(`conflict not found: ${id}`);
+        if (keepMemoryId !== row.memory_a && keepMemoryId !== row.memory_b) {
+            throw new Error("keep must identify one of the conflict memories");
+        }
+        this.store
+            .prepare("UPDATE memory_conflicts SET status = 'resolved', resolved_at = datetime('now') WHERE id = ? AND project_id = ?")
+            .run(id, this.projectId);
+    }
+    detectRepoTruth(input) {
+        const items = input ?? this.repoTruthInputs();
+        const out = [];
+        for (const item of items) {
+            for (const reason of item.reasons) {
+                this.memoryService?.applyTruthPenalty(item.memoryId, 0.5, reason);
+                const id = this.insertIfNew({
+                    kind: "repo_truth",
+                    memoryA: item.memoryId,
+                    memoryB: null,
+                    factId: item.factId ?? null,
+                    detail: reason,
+                });
+                if (id)
+                    out.push({
+                        id,
+                        kind: "repo_truth",
+                        memoryA: item.memoryId,
+                        factId: item.factId ?? undefined,
+                        detail: reason,
+                    });
+            }
+        }
+        // v0.7.0 (D7-03) — "recoverable by re-scanning": a memory whose
+        // contradiction has lapsed (the repo no longer contradicts it) is
+        // de-ranked no longer. The conflict row stays open — resolution is
+        // human-initiated only (D7-06) — but the score penalty lifts, so
+        // fixing the repo genuinely recovers the memory. Runs only on the
+        // production path (no explicit input): explicit-input callers control
+        // every write themselves.
+        if (!input && this.repoTruth && this.memoryService) {
+            const penalized = this.store
+                .prepare("SELECT id FROM memories WHERE project_id = ? AND truth_penalty > 0 AND status = 'active'")
+                .all(this.projectId);
+            for (const row of penalized) {
+                const memory = this.memoryService.getById(row.id);
+                if (!memory)
+                    continue;
+                if ((this.repoTruth.contradictions(memory) ?? []).length === 0) {
+                    this.memoryService.applyTruthPenalty(row.id, 0, "");
+                }
+            }
+        }
+        return out;
+    }
+    repoTruthInputs() {
+        if (!this.repoTruth)
+            return [];
+        const rows = this.store
+            .prepare(`SELECT 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, fix_args, ignored, superseded_by, feedback_positive,
+				 feedback_negative, curated, curated_at, inferable,
+				 truth_penalty, contradicted_at
+				 FROM memories WHERE project_id = ? AND status = 'active'`)
+            .all(this.projectId);
+        return rows.flatMap((row) => {
+            const memory = row;
+            const reasons = this.repoTruth?.contradictions(memory) ?? [];
+            return reasons.length > 0 ? [{ memoryId: row.id, reasons }] : [];
+        });
+    }
+    detectDecisionPairs() {
+        const rows = this.store
+            .prepare(`SELECT id, type, content, fingerprint FROM memories
+				 WHERE project_id = ? AND status = 'active'
+				 AND type IN ('decision', 'rule') ORDER BY id`)
+            .all(this.projectId);
+        const out = [];
+        for (let i = 0; i < rows.length; i++) {
+            for (let j = i + 1; j < rows.length; j++) {
+                const a = rows[i];
+                const b = rows[j];
+                if (!a || !b || a.fingerprint === b.fingerprint)
+                    continue;
+                const pair = oppositePair(a.content, b.content);
+                if (!pair)
+                    continue;
+                const id = this.insertIfNew({
+                    kind: "decision_pair",
+                    memoryA: a.id,
+                    memoryB: b.id,
+                    factId: null,
+                    detail: pair,
+                });
+                if (id)
+                    out.push({
+                        id,
+                        kind: "decision_pair",
+                        memoryA: a.id,
+                        memoryB: b.id,
+                        detail: pair,
+                    });
+            }
+        }
+        return out;
+    }
+    detectTemporal() {
+        const rows = this.store
+            .prepare(`SELECT m.id,
+				 MAX(CASE WHEN i.outcome = 'effective' THEN i.injected_at END) AS effective_at,
+				 MAX(CASE WHEN i.outcome = 'ineffective' THEN i.injected_at END) AS ineffective_at
+				 FROM memories m JOIN kevin_injections i ON i.memory_id = m.id
+				 WHERE m.project_id = ? AND m.status = 'active'
+				 GROUP BY m.id
+				 HAVING effective_at IS NOT NULL AND ineffective_at IS NOT NULL
+				 AND ineffective_at > effective_at`)
+            .all(this.projectId);
+        const out = [];
+        for (const row of rows) {
+            const detail = `memory was effective at ${row.effective_at} and became ineffective at ${row.ineffective_at}`;
+            const id = this.insertIfNew({
+                kind: "temporal",
+                memoryA: row.id,
+                memoryB: null,
+                factId: null,
+                detail,
+            });
+            if (id)
+                out.push({ id, kind: "temporal", memoryA: row.id, detail });
+        }
+        return out;
+    }
+    insertIfNew(input) {
+        const existing = this.store
+            .prepare(`SELECT id FROM memory_conflicts
+				 WHERE project_id = ? AND kind = ? AND memory_a = ?
+				 AND (memory_b IS ? OR (memory_b IS NULL AND ? IS NULL))
+				 AND (fact_id IS ? OR (fact_id IS NULL AND ? IS NULL))
+				 AND status = 'open' LIMIT 1`)
+            .get(this.projectId, input.kind, input.memoryA, input.memoryB, input.memoryB, input.factId, input.factId);
+        if (existing)
+            return null;
+        const id = uuidv7();
+        this.store
+            .prepare(`INSERT INTO memory_conflicts
+				 (id, project_id, memory_a, memory_b, fact_id, kind, detail)
+				 VALUES (?, ?, ?, ?, ?, ?, ?)`)
+            .run(id, this.projectId, input.memoryA, input.memoryB, input.factId, input.kind, input.detail);
+        this.metrics?.incr("conflicts_detected", 1);
+        return id;
+    }
+}
+function tokens(text) {
+    return normalize(text).match(/[a-z0-9@._/-]+/g) ?? [];
+}
+function hasPhrase(words, phrase) {
+    if (phrase.length === 1)
+        return words.includes(phrase[0] ?? "");
+    for (let i = 0; i <= words.length - phrase.length; i++) {
+        if (phrase.every((word, offset) => words[i + offset] === word))
+            return true;
+    }
+    return false;
+}
+function polarity(text, rule) {
+    const words = tokens(text);
+    // Lexicon phrases are run through the same tokenizer as the text: "don't
+    // use" → ["don","t","use"], which is exactly how the text's own apostrophe
+    // is split, so a phrase never becomes unreachable (K7-014).
+    const match = (phrase) => hasPhrase(words, tokens(phrase.join(" ")));
+    const negative = rule.negative.some(match);
+    return { positive: !negative && match(rule.positive), negative };
+}
+function subjects(text) {
+    return new Set(tokens(text).filter((token) => !STOP_WORDS.has(token) && !POLARITY_WORDS.has(token)));
+}
+function oppositePair(a, b) {
+    const shared = [...subjects(a)].some((token) => subjects(b).has(token));
+    if (!shared)
+        return null;
+    for (const rule of POLARITY_RULES) {
+        const pa = polarity(a, rule);
+        const pb = polarity(b, rule);
+        if ((pa.positive && pb.negative) || (pa.negative && pb.positive)) {
+            return `statements carry opposite ${rule.positive.join(" ")} polarity for shared subject ${shared}`;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=ConflictDetector.js.map