contradiction-mcp 0.1.0

package/dist/services/schedulerService.js

@@ -0,0 +1,89 @@
+import { logger } from '../utils/logger.js';
+export class SchedulerService {
+    syncService;
+    discoveryService;
+    tasks = new Map();
+    taskCallbacks = new Map();
+    timerHandles = new Map();
+    isRunning = false;
+    constructor(syncService, discoveryService) {
+        this.syncService = syncService;
+        this.discoveryService = discoveryService;
+    }
+    registerTask(id, name, intervalMs, fn) {
+        if (this.tasks.has(id)) {
+            throw new Error(`Scheduled task with id '${id}' is already registered`);
+        }
+        const task = {
+            id,
+            name,
+            intervalMs,
+            nextRun: new Date(Date.now() + intervalMs),
+            runCount: 0,
+            isRunning: false,
+        };
+        this.tasks.set(id, task);
+        this.taskCallbacks.set(id, fn);
+        if (this.isRunning) {
+            this.scheduleTask(task, fn);
+        }
+    }
+    start() {
+        if (this.isRunning)
+            return;
+        this.isRunning = true;
+        for (const [id, task] of this.tasks.entries()) {
+            const fn = this.taskCallbacks.get(id);
+            if (fn && !this.timerHandles.has(id)) {
+                this.scheduleTask(task, fn);
+            }
+        }
+        logger.info('In-process task scheduler started', { activeTasks: this.tasks.size });
+    }
+    stop() {
+        this.isRunning = false;
+        for (const [, handle] of this.timerHandles.entries()) {
+            clearTimeout(handle);
+        }
+        this.timerHandles.clear();
+        logger.info('In-process task scheduler stopped');
+    }
+    scheduleTask(task, fn) {
+        if (!this.isRunning)
+            return;
+        const timer = setTimeout(async () => {
+            if (!this.isRunning || task.isRunning)
+                return;
+            task.isRunning = true;
+            task.lastRun = new Date();
+            try {
+                logger.info(`Executing scheduled task: ${task.name}`, { taskId: task.id });
+                await fn();
+                task.lastStatus = 'success';
+                task.lastError = undefined;
+            }
+            catch (err) {
+                const msg = err instanceof Error ? err.message : String(err);
+                task.lastStatus = 'failed';
+                task.lastError = msg;
+                logger.error(`Scheduled task '${task.name}' failed`, { taskId: task.id, error: msg });
+            }
+            finally {
+                task.isRunning = false;
+                task.runCount++;
+                task.nextRun = new Date(Date.now() + task.intervalMs);
+                if (this.isRunning) {
+                    this.scheduleTask(task, fn);
+                }
+            }
+        }, task.intervalMs);
+        this.timerHandles.set(task.id, timer);
+    }
+    getStatus() {
+        return {
+            isRunning: this.isRunning,
+            tasks: Array.from(this.tasks.values()),
+        };
+    }
+}
+//# sourceMappingURL=schedulerService.js.map

package/dist/services/schedulerService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schedulerService.js","sourceRoot":"","sources":["../../src/services/schedulerService.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAc5C,MAAM,OAAO,gBAAgB;IAOR;IACA;IAPF,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzC,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,YAAY,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC1D,SAAS,GAAG,KAAK,CAAC;IAE1B,YACmB,WAAyB,EACzB,gBAAmC;QADnC,gBAAW,GAAX,WAAW,CAAc;QACzB,qBAAgB,GAAhB,gBAAgB,CAAmB;IACnD,CAAC;IAEG,YAAY,CAAC,EAAU,EAAE,IAAY,EAAE,UAAkB,EAAE,EAAuB;QACvF,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,2BAA2B,EAAE,yBAAyB,CAAC,CAAC;QAC1E,CAAC;QAED,MAAM,IAAI,GAAkB;YAC1B,EAAE;YACF,IAAI;YACJ,UAAU;YACV,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;YAC1C,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,KAAK;SACjB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAE/B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAEM,KAAK;QACV,IAAI,IAAI,CAAC,SAAS;YAAE,OAAO;QAC3B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,mCAAmC,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;IAEM,IAAI;QACT,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;QACvB,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YACrD,YAAY,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACnD,CAAC;IAEO,YAAY,CAAC,IAAmB,EAAE,EAAuB;QAC/D,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,OAAO;QAE5B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,IAAI,EAAE;YAClC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS;gBAAE,OAAO;YAC9C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;YACtB,IAAI,CAAC,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;YAE1B,IAAI,CAAC;gBACH,MAAM,CAAC,IAAI,CAAC,6BAA6B,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3E,MAAM,EAAE,EAAE,CAAC;gBACX,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;gBAC5B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;YAC7B,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC;gBAC3B,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC;gBACrB,MAAM,CAAC,KAAK,CAAC,mBAAmB,IAAI,CAAC,IAAI,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACxF,CAAC;oBAAS,CAAC;gBACT,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;gBACvB,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChB,IAAI,CAAC,OAAO,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;gBACtD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBACnB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAEpB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAEM,SAAS;QACd,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;SACvC,CAAC;IACJ,CAAC;CACF"}

package/dist/storage/backupService.d.ts

@@ -0,0 +1,14 @@
+import { DatabaseManager } from './database.js';
+export interface BackupVerificationResult {
+    valid: boolean;
+    tablesCount: number;
+    integrity: string[];
+    error?: string;
+}
+export declare class BackupService {
+    private readonly dbManager;
+    constructor(dbManager: DatabaseManager);
+    createBackup(targetDirectory: string): Promise<string>;
+    verifyBackup(backupPath: string): BackupVerificationResult;
+    restoreBackup(backupPath: string, destinationDbPath: string): void;
+}

package/dist/storage/backupService.js

@@ -0,0 +1,90 @@
+import fs from 'node:fs';
+import path from 'node:path';
+import Database from 'better-sqlite3';
+import { DatabaseError } from '../domain/types/common.js';
+import { logger } from '../utils/logger.js';
+export class BackupService {
+    dbManager;
+    constructor(dbManager) {
+        this.dbManager = dbManager;
+    }
+    async createBackup(targetDirectory) {
+        if (!fs.existsSync(targetDirectory)) {
+            fs.mkdirSync(targetDirectory, { recursive: true });
+        }
+        const timestamp = new Date().toISOString().replace(/[:.]/g, '-');
+        const backupFileName = `contradiction-backup-${timestamp}.db`;
+        const targetPath = path.resolve(targetDirectory, backupFileName);
+        logger.info('Initiating database backup', { targetPath });
+        try {
+            await this.dbManager.backup(targetPath);
+            logger.info('Database backup completed successfully', { targetPath });
+            return targetPath;
+        }
+        catch (error) {
+            const msg = error instanceof Error ? error.message : String(error);
+            logger.error('Failed to create database backup', { targetPath, error: msg });
+            throw new DatabaseError(`Backup failed: ${msg}`, error);
+        }
+    }
+    verifyBackup(backupPath) {
+        if (!fs.existsSync(backupPath)) {
+            return {
+                valid: false,
+                tablesCount: 0,
+                integrity: [],
+                error: `Backup file does not exist: ${backupPath}`,
+            };
+        }
+        let tempDb = null;
+        try {
+            tempDb = new Database(backupPath, { readonly: true });
+            const integrityRows = tempDb.pragma('integrity_check');
+            const integrity = integrityRows.map((r) => r.integrity_check);
+            const isIntegrityOk = integrity.length === 1 && integrity[0] === 'ok';
+            const tablesRow = tempDb
+                .prepare("SELECT count(*) as count FROM sqlite_master WHERE type='table' AND name NOT LIKE 'sqlite_%'")
+                .get();
+            return {
+                valid: isIntegrityOk,
+                tablesCount: tablesRow.count,
+                integrity,
+            };
+        }
+        catch (error) {
+            const msg = error instanceof Error ? error.message : String(error);
+            return {
+                valid: false,
+                tablesCount: 0,
+                integrity: [],
+                error: msg,
+            };
+        }
+        finally {
+            if (tempDb && tempDb.open) {
+                tempDb.close();
+            }
+        }
+    }
+    restoreBackup(backupPath, destinationDbPath) {
+        const verification = this.verifyBackup(backupPath);
+        if (!verification.valid) {
+            throw new DatabaseError(`Cannot restore invalid backup at ${backupPath}: ${verification.error || 'Integrity check failed'}`);
+        }
+        logger.warn('Restoring database from verified backup', { backupPath, destinationDbPath });
+        try {
+            // Create destination folder if needed
+            const destDir = path.dirname(destinationDbPath);
+            if (!fs.existsSync(destDir)) {
+                fs.mkdirSync(destDir, { recursive: true });
+            }
+            fs.copyFileSync(backupPath, destinationDbPath);
+            logger.info('Database restored successfully', { backupPath, destinationDbPath });
+        }
+        catch (error) {
+            const msg = error instanceof Error ? error.message : String(error);
+            throw new DatabaseError(`Failed to restore database from ${backupPath}: ${msg}`, error);
+        }
+    }
+}
+//# sourceMappingURL=backupService.js.map

package/dist/storage/backupService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backupService.js","sourceRoot":"","sources":["../../src/storage/backupService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AAEtC,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAS5C,MAAM,OAAO,aAAa;IACK;IAA7B,YAA6B,SAA0B;QAA1B,cAAS,GAAT,SAAS,CAAiB;IAAG,CAAC;IAEpD,KAAK,CAAC,YAAY,CAAC,eAAuB;QAC/C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACpC,EAAE,CAAC,SAAS,CAAC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACjE,MAAM,cAAc,GAAG,wBAAwB,SAAS,KAAK,CAAC;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;QAEjE,MAAM,CAAC,IAAI,CAAC,4BAA4B,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,wCAAwC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;YACtE,OAAO,UAAU,CAAC;QACpB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACnE,MAAM,CAAC,KAAK,CAAC,kCAAkC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7E,MAAM,IAAI,aAAa,CAAC,kBAAkB,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAEM,YAAY,CAAC,UAAkB;QACpC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/B,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,CAAC;gBACd,SAAS,EAAE,EAAE;gBACb,KAAK,EAAE,+BAA+B,UAAU,EAAE;aACnD,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,GAA6B,IAAI,CAAC;QAC5C,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,QAAQ,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAuC,CAAC;YAC7F,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YAC9D,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;YAEtE,MAAM,SAAS,GAAG,MAAM;iBACrB,OAAO,CACN,6FAA6F,CAC9F;iBACA,GAAG,EAAuB,CAAC;YAE9B,OAAO;gBACL,KAAK,EAAE,aAAa;gBACpB,WAAW,EAAE,SAAS,CAAC,KAAK;gBAC5B,SAAS;aACV,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACnE,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,CAAC;gBACd,SAAS,EAAE,EAAE;gBACb,KAAK,EAAE,GAAG;aACX,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC1B,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IAEM,aAAa,CAAC,UAAkB,EAAE,iBAAyB;QAChE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YACxB,MAAM,IAAI,aAAa,CACrB,oCAAoC,UAAU,KAAK,YAAY,CAAC,KAAK,IAAI,wBAAwB,EAAE,CACpG,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,yCAAyC,EAAE,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAC1F,IAAI,CAAC;YACH,sCAAsC;YACtC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;YAChD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7C,CAAC;YAED,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,gCAAgC,EAAE,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACnF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACnE,MAAM,IAAI,aAAa,CAAC,mCAAmC,UAAU,KAAK,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;CACF"}

package/dist/storage/database.d.ts

@@ -0,0 +1,119 @@
+import Database from 'better-sqlite3';
+import { Source, CreateSourceInput, UpdateSourceInput } from '../domain/entities/source.js';
+import { Claim, ClaimHistoryEntry, CreateClaimInput } from '../domain/entities/claim.js';
+import { Contradiction, ContradictionHistoryEntry, CreateContradictionInput, ContradictionStatus, ContradictionSeverity } from '../domain/entities/contradiction.js';
+export interface ListContradictionsOptions {
+    status?: ContradictionStatus;
+    severity?: ContradictionSeverity;
+    type?: string;
+    minConfidence?: number;
+    limit?: number;
+    offset?: number;
+}
+export interface DatabaseHealth {
+    status: 'connected' | 'unreachable';
+    latencyMs: number;
+    tablesCount: number;
+    error?: string;
+}
+export declare class DatabaseManager {
+    private db;
+    private readonly dbPath;
+    constructor(dbPath?: string);
+    initialize(): void;
+    getRawDb(): Database.Database;
+    runMigrations(): void;
+    checkHealth(): DatabaseHealth;
+    close(): void;
+    createSource(input: CreateSourceInput): Source;
+    getSourceById(id: string): Source | null;
+    getSourceByExternalId(externalId: string): Source | null;
+    upsertSource(input: CreateSourceInput): {
+        source: Source;
+        isNew: boolean;
+    };
+    listSources(options?: {
+        type?: string;
+        limit?: number;
+    }): Source[];
+    updateSource(id: string, input: UpdateSourceInput): Source;
+    deleteSource(id: string): boolean;
+    createClaim(input: CreateClaimInput): Claim;
+    getClaimById(id: string): Claim | null;
+    getClaimByExternalId(externalId: string): Claim | null;
+    updateClaim(id: string, updates: Partial<{
+        value: string;
+        valueType: string;
+        normalizedValue: string | null;
+        confidence: number;
+        environment: string | null;
+        scope: string | null;
+        sourceRole: string | null;
+        isHistorical: boolean;
+        validFrom: Date | null;
+        validUntil: Date | null;
+        valueConstraint: string | null;
+        multiValueContext: string | null;
+        observedAt: Date;
+        firstSeenAt: Date | null;
+        lastSeenAt: Date | null;
+        supersededBy: string | null;
+        metadata: Record<string, unknown>;
+    }>): Claim;
+    upsertClaim(input: CreateClaimInput): {
+        claim: Claim;
+        isNew: boolean;
+        updated: boolean;
+    };
+    listClaims(options?: {
+        sourceId?: string;
+        subject?: string;
+        limit?: number;
+    }): Claim[];
+    deleteClaim(id: string): boolean;
+    recordClaimHistory(claimId: string, value: string, normalizedValue: string | null, sourceId: string, observedAt: Date, firstSeenAt: Date, lastSeenAt: Date, supersededAt?: Date | null, supersededBy?: string | null, metadata?: Record<string, unknown>): ClaimHistoryEntry;
+    getClaimHistory(claimId: string): ClaimHistoryEntry[];
+    createContradiction(input: CreateContradictionInput): Contradiction;
+    getContradictionById(id: string): Contradiction | null;
+    findContradictionByClaimPair(claimAId: string, claimBId: string): Contradiction | null;
+    saveDiscoveredContradiction(input: CreateContradictionInput): {
+        contradiction: Contradiction;
+        isNew: boolean;
+    };
+    listContradictions(options?: ListContradictionsOptions): Contradiction[];
+    getContradictionWithDetails(id: string): {
+        contradiction: Contradiction;
+        claimA: Claim;
+        claimB: Claim;
+        sourceA: Source | null;
+        sourceB: Source | null;
+    } | null;
+    updateContradictionStatus(id: string, status: ContradictionStatus, details?: {
+        reason?: string | null;
+        resolvedBy?: string | null;
+        resolutionSource?: string | null;
+        chosenClaimId?: string | null;
+        auditNotes?: string | null;
+        resolvedAt?: Date | null;
+    }): Contradiction;
+    recordContradictionAudit(input: {
+        contradictionId: string;
+        action: 'REVIEWED' | 'RESOLVED' | 'DISMISSED' | 'REOPENED';
+        previousStatus: ContradictionStatus;
+        newStatus: ContradictionStatus;
+        performedBy: string;
+        reason?: string | null;
+        chosenClaimId?: string | null;
+        notes?: string | null;
+    }): ContradictionHistoryEntry;
+    getContradictionHistory(contradictionId: string): ContradictionHistoryEntry[];
+    backup(targetPath: string): Promise<void>;
+    checkIntegrity(): {
+        ok: boolean;
+        details: string[];
+    };
+    deleteContradiction(id: string): boolean;
+    private mapRowToSource;
+    private mapRowToClaim;
+    private mapRowToContradiction;
+}