contradiction-mcp 0.1.0

package/bin/cli.js

@@ -0,0 +1,182 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import os from 'node:os';
+import { fileURLToPath } from 'node:url';
+import { execSync } from 'node:child_process';
+
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = path.dirname(__filename);
+const projectRoot = path.resolve(__dirname, '..');
+const serverDist = path.join(projectRoot, 'dist', 'index.js');
+
+const args = process.argv.slice(2);
+const command = args[0] || 'start';
+
+if (
+  command === 'start' ||
+  command === 'run' ||
+  (command && !['install', 'setup', '--help', '-h', 'help'].includes(command))
+) {
+  // If invoked as standard MCP server (e.g. npx -y contradiction-mcp)
+  await import('../dist/index.js');
+} else if (command === '--help' || command === '-h' || command === 'help') {
+  console.log(`
+Contradiction MCP - Cross-Source Inconsistency & Contradiction Engine
+
+Usage:
+  npx contradiction-mcp                     Start MCP server (stdio default)
+  npx contradiction-mcp install [ide]       Auto-configure MCP server in specified IDE/client
+
+Supported IDEs:
+  antigravity    Configure Google Antigravity (~/.gemini/config/mcp_config.json)
+  cursor         Configure Cursor IDE (~/.cursor/mcp.json or workspace)
+  claude         Configure Claude Desktop App
+  claude-code    Configure Claude Code CLI (~/.claude.json or via claude mcp add)
+  windsurf       Configure Windsurf IDE (~/.codeium/windsurf/mcp_config.json)
+  all            Configure all detected environments (default)
+
+Examples:
+  npx contradiction-mcp install antigravity
+  npx contradiction-mcp install cursor
+  npx contradiction-mcp install claude
+  npx contradiction-mcp install claude-code
+  npx contradiction-mcp install all
+`);
+  process.exit(0);
+} else if (command === 'install' || command === 'setup') {
+  const requestedIde = (args[1] || 'all').toLowerCase();
+  const home = os.homedir();
+  const cwd = process.cwd();
+
+  const nodeExecutable = process.execPath;
+  const isGlobalNpx = !fs.existsSync(serverDist);
+
+  // If installed via npm global or npx, use npx contradiction-mcp as command, else point to local dist/index.js
+  const serverConfig = isGlobalNpx
+    ? {
+        command: 'npx',
+        args: ['-y', 'contradiction-mcp'],
+        env: {
+          NODE_ENV: 'production',
+          MCP_TRANSPORT: 'stdio',
+        },
+      }
+    : {
+        command: nodeExecutable,
+        args: [serverDist],
+        env: {
+          NODE_ENV: 'production',
+          DATABASE_PATH: path.join(projectRoot, 'data', 'contradiction.db'),
+          MCP_TRANSPORT: 'stdio',
+          LOG_LEVEL: 'error',
+        },
+      };
+
+  console.log(
+    `\n=== Installing Contradiction MCP for target: [${requestedIde.toUpperCase()}] ===\n`,
+  );
+
+  function updateJsonConfig(filePath, serverKey = 'contradiction', format = 'mcpServers') {
+    try {
+      const dir = path.dirname(filePath);
+      fs.mkdirSync(dir, { recursive: true });
+
+      let data = {};
+      if (fs.existsSync(filePath)) {
+        try {
+          data = JSON.parse(fs.readFileSync(filePath, 'utf-8'));
+        } catch {
+          data = {};
+        }
+      }
+
+      if (format === 'mcpServers') {
+        if (!data.mcpServers || typeof data.mcpServers !== 'object') {
+          data.mcpServers = {};
+        }
+        data.mcpServers[serverKey] = serverConfig;
+      } else if (format === 'claudeCode') {
+        // Claude Code CLI format in ~/.claude.json
+        if (!data.mcpServers || typeof data.mcpServers !== 'object') {
+          data.mcpServers = {};
+        }
+        data.mcpServers[serverKey] = serverConfig;
+      }
+
+      fs.writeFileSync(filePath, JSON.stringify(data, null, 2), 'utf-8');
+      console.log(`✔ Configured: ${filePath}`);
+      return true;
+    } catch (err) {
+      console.warn(`⚠ Failed configuring ${filePath}: ${err.message}`);
+      return false;
+    }
+  }
+
+  let count = 0;
+
+  // 1. Antigravity
+  if (['antigravity', 'all'].includes(requestedIde)) {
+    const globalGemini = path.join(home, '.gemini', 'config', 'mcp_config.json');
+    if (updateJsonConfig(globalGemini)) count++;
+
+    const workspaceAgents = path.join(cwd, '.agents', 'mcp_config.json');
+    if (updateJsonConfig(workspaceAgents)) count++;
+  }
+
+  // 2. Cursor
+  if (['cursor', 'all'].includes(requestedIde)) {
+    const globalCursor = path.join(home, '.cursor', 'mcp.json');
+    if (updateJsonConfig(globalCursor)) count++;
+
+    const workspaceCursor = path.join(cwd, '.cursor', 'mcp.json');
+    if (updateJsonConfig(workspaceCursor)) count++;
+  }
+
+  // 3. Claude Desktop
+  if (['claude', 'claude-desktop', 'all'].includes(requestedIde)) {
+    const claudePath =
+      process.platform === 'darwin'
+        ? path.join(home, 'Library', 'Application Support', 'Claude', 'claude_desktop_config.json')
+        : process.platform === 'win32'
+          ? path.join(process.env.APPDATA || '', 'Claude', 'claude_desktop_config.json')
+          : path.join(home, '.config', 'Claude', 'claude_desktop_config.json');
+
+    if (updateJsonConfig(claudePath)) count++;
+  }
+
+  // 4. Claude Code CLI
+  if (['claude-code', 'claudecode', 'all'].includes(requestedIde)) {
+    const claudeCodeJson = path.join(home, '.claude.json');
+    if (updateJsonConfig(claudeCodeJson, 'contradiction', 'claudeCode')) count++;
+
+    // Also attempt native `claude mcp add` if claude cli is in PATH
+    try {
+      const checkClaude = execSync('which claude 2>/dev/null || true', {
+        encoding: 'utf-8',
+      }).trim();
+      if (checkClaude) {
+        try {
+          execSync(
+            `claude mcp add contradiction -- ${serverConfig.command} ${serverConfig.args.join(' ')}`,
+            { stdio: 'ignore' },
+          );
+          console.log(`✔ Registered via Claude CLI: claude mcp add contradiction`);
+        } catch {
+          // ignore if already added
+        }
+      }
+    } catch {
+      // ignore
+    }
+  }
+
+  // 5. Windsurf
+  if (['windsurf', 'all'].includes(requestedIde)) {
+    const windsurfPath = path.join(home, '.codeium', 'windsurf', 'mcp_config.json');
+    if (updateJsonConfig(windsurfPath)) count++;
+  }
+
+  console.log(`\n🎉 Installation finished! Successfully configured in ${count} location(s).`);
+  console.log(`Restart your IDE / Agent (${requestedIde}) to begin using Contradiction MCP.\n`);
+}

package/dist/analysis/claimMatcher.d.ts

@@ -0,0 +1,48 @@
+export interface ClaimMatchResult {
+    matches: boolean;
+    subjectSimilarity: number;
+    predicateSimilarity: number;
+    normalizedSubjectA: string;
+    normalizedSubjectB: string;
+    normalizedPredicateA: string;
+    normalizedPredicateB: string;
+    reason: string;
+}
+export interface ClaimMatcherOptions {
+    subjectThreshold?: number;
+    predicateThreshold?: number;
+}
+/**
+ * Normalizes text for deterministic entity/property matching:
+ * - Lowercase & trim
+ * - Replaces separators (hyphens, underscores, slashes, dots) with spaces
+ * - Removes non-alphanumeric characters (except spaces)
+ * - Collapses consecutive whitespace
+ */
+export declare function normalizeText(input: string): string;
+/**
+ * Calculates Token Jaccard Similarity between two normalized strings.
+ * Returns a value between 0.0 and 1.0.
+ */
+export declare function calculateTokenSimilarity(a: string, b: string): number;
+/**
+ * Levenshtein distance-based string similarity for single-token or exact variations.
+ */
+export declare function calculateLevenshteinSimilarity(s1: string, s2: string): number;
+/**
+ * Combined similarity score leveraging token overlap and string distance.
+ */
+export declare function calculateCompositeSimilarity(strA: string, strB: string): number;
+export declare class ClaimMatcher {
+    private readonly subjectThreshold;
+    private readonly predicateThreshold;
+    constructor(options?: ClaimMatcherOptions);
+    match(claimA: {
+        subject: string;
+        predicate: string;
+    }, claimB: {
+        subject: string;
+        predicate: string;
+    }): ClaimMatchResult;
+}
+export declare const claimMatcher: ClaimMatcher;

package/dist/analysis/claimMatcher.js

@@ -0,0 +1,131 @@
+/**
+ * Normalizes text for deterministic entity/property matching:
+ * - Lowercase & trim
+ * - Replaces separators (hyphens, underscores, slashes, dots) with spaces
+ * - Removes non-alphanumeric characters (except spaces)
+ * - Collapses consecutive whitespace
+ */
+export function normalizeText(input) {
+    if (!input)
+        return '';
+    return input
+        .toLowerCase()
+        .replace(/[_\-./\\:]+/g, ' ')
+        .replace(/[^\p{L}\p{N}\s]/gu, '')
+        .replace(/\s+/g, ' ')
+        .trim();
+}
+/**
+ * Calculates Token Jaccard Similarity between two normalized strings.
+ * Returns a value between 0.0 and 1.0.
+ */
+export function calculateTokenSimilarity(a, b) {
+    if (a === b)
+        return 1.0;
+    if (!a || !b)
+        return 0.0;
+    const tokensA = new Set(a.split(' ').filter(Boolean));
+    const tokensB = new Set(b.split(' ').filter(Boolean));
+    if (tokensA.size === 0 || tokensB.size === 0)
+        return 0.0;
+    let intersectionCount = 0;
+    for (const token of tokensA) {
+        if (tokensB.has(token)) {
+            intersectionCount++;
+        }
+    }
+    const unionCount = tokensA.size + tokensB.size - intersectionCount;
+    return unionCount === 0 ? 0.0 : intersectionCount / unionCount;
+}
+/**
+ * Levenshtein distance-based string similarity for single-token or exact variations.
+ */
+export function calculateLevenshteinSimilarity(s1, s2) {
+    if (s1 === s2)
+        return 1.0;
+    if (!s1 || !s2)
+        return 0.0;
+    const l1 = s1.length;
+    const l2 = s2.length;
+    const maxLen = Math.max(l1, l2);
+    if (maxLen === 0)
+        return 1.0;
+    const dp = Array.from({ length: l1 + 1 }, () => Array(l2 + 1).fill(0));
+    for (let i = 0; i <= l1; i++)
+        dp[i][0] = i;
+    for (let j = 0; j <= l2; j++)
+        dp[0][j] = j;
+    for (let i = 1; i <= l1; i++) {
+        for (let j = 1; j <= l2; j++) {
+            const cost = s1[i - 1] === s2[j - 1] ? 0 : 1;
+            dp[i][j] = Math.min(dp[i - 1][j] + 1, dp[i][j - 1] + 1, dp[i - 1][j - 1] + cost);
+        }
+    }
+    const distance = dp[l1][l2];
+    return 1 - distance / maxLen;
+}
+/**
+ * Combined similarity score leveraging token overlap and string distance.
+ */
+export function calculateCompositeSimilarity(strA, strB) {
+    const normA = normalizeText(strA);
+    const normB = normalizeText(strB);
+    if (normA === normB)
+        return 1.0;
+    if (!normA || !normB)
+        return 0.0;
+    const tokenSim = calculateTokenSimilarity(normA, normB);
+    const editSim = calculateLevenshteinSimilarity(normA, normB);
+    // If one contains the other as substring (e.g. "api server" and "api server cluster")
+    if (normA.includes(normB) || normB.includes(normA)) {
+        const minLen = Math.min(normA.length, normB.length);
+        const maxLen = Math.max(normA.length, normB.length);
+        const inclusionScore = minLen / maxLen;
+        return Math.max(tokenSim, editSim, inclusionScore * 0.9);
+    }
+    return Math.max(tokenSim, editSim);
+}
+export class ClaimMatcher {
+    subjectThreshold;
+    predicateThreshold;
+    constructor(options) {
+        this.subjectThreshold = options?.subjectThreshold ?? 0.75;
+        this.predicateThreshold = options?.predicateThreshold ?? 0.8;
+    }
+    match(claimA, claimB) {
+        const normSubA = normalizeText(claimA.subject);
+        const normSubB = normalizeText(claimB.subject);
+        const normPredA = normalizeText(claimA.predicate);
+        const normPredB = normalizeText(claimB.predicate);
+        const subjectSimilarity = calculateCompositeSimilarity(claimA.subject, claimB.subject);
+        const predicateSimilarity = calculateCompositeSimilarity(claimA.predicate, claimB.predicate);
+        const subjectMatches = subjectSimilarity >= this.subjectThreshold;
+        const predicateMatches = predicateSimilarity >= this.predicateThreshold;
+        const matches = subjectMatches && predicateMatches;
+        let reason;
+        if (!subjectMatches && !predicateMatches) {
+            reason = `Both subject ('${normSubA}' vs '${normSubB}') and predicate ('${normPredA}' vs '${normPredB}') refer to different concepts`;
+        }
+        else if (!subjectMatches) {
+            reason = `Subjects '${normSubA}' and '${normSubB}' do not match (similarity: ${subjectSimilarity.toFixed(2)})`;
+        }
+        else if (!predicateMatches) {
+            reason = `Predicates '${normPredA}' and '${normPredB}' do not match (similarity: ${predicateSimilarity.toFixed(2)})`;
+        }
+        else {
+            reason = `Matches same conceptual fact on subject '${normSubA}' and predicate '${normPredA}'`;
+        }
+        return {
+            matches,
+            subjectSimilarity,
+            predicateSimilarity,
+            normalizedSubjectA: normSubA,
+            normalizedSubjectB: normSubB,
+            normalizedPredicateA: normPredA,
+            normalizedPredicateB: normPredB,
+            reason,
+        };
+    }
+}
+export const claimMatcher = new ClaimMatcher();
+//# sourceMappingURL=claimMatcher.js.map

package/dist/analysis/claimMatcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claimMatcher.js","sourceRoot":"","sources":["../../src/analysis/claimMatcher.ts"],"names":[],"mappings":"AAgBA;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,KAAK;SACT,WAAW,EAAE;SACb,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC;SAC5B,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,CAAS,EAAE,CAAS;IAC3D,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACxB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IAEzB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAEtD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAEzD,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,iBAAiB,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,GAAG,iBAAiB,CAAC;IACnE,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,GAAG,UAAU,CAAC;AACjE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,EAAU,EAAE,EAAU;IACnE,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,GAAG,CAAC;IAC1B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;QAAE,OAAO,GAAG,CAAC;IAE3B,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IACrB,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IACrB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAE7B,MAAM,EAAE,GAAe,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;QAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;QAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,QAAQ,GAAG,MAAM,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAY,EAAE,IAAY;IACrE,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAElC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC;IAChC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,CAAC;IAEjC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,8BAA8B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE7D,sFAAsF;IACtF,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,CAAC;QACvC,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,cAAc,GAAG,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,OAAO,YAAY;IACN,gBAAgB,CAAS;IACzB,kBAAkB,CAAS;IAE5C,YAAY,OAA6B;QACvC,IAAI,CAAC,gBAAgB,GAAG,OAAO,EAAE,gBAAgB,IAAI,IAAI,CAAC;QAC1D,IAAI,CAAC,kBAAkB,GAAG,OAAO,EAAE,kBAAkB,IAAI,GAAG,CAAC;IAC/D,CAAC;IAEM,KAAK,CACV,MAA8C,EAC9C,MAA8C;QAE9C,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAElD,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QACvF,MAAM,mBAAmB,GAAG,4BAA4B,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAE7F,MAAM,cAAc,GAAG,iBAAiB,IAAI,IAAI,CAAC,gBAAgB,CAAC;QAClE,MAAM,gBAAgB,GAAG,mBAAmB,IAAI,IAAI,CAAC,kBAAkB,CAAC;QACxE,MAAM,OAAO,GAAG,cAAc,IAAI,gBAAgB,CAAC;QAEnD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC,cAAc,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACzC,MAAM,GAAG,kBAAkB,QAAQ,SAAS,QAAQ,sBAAsB,SAAS,SAAS,SAAS,gCAAgC,CAAC;QACxI,CAAC;aAAM,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3B,MAAM,GAAG,aAAa,QAAQ,UAAU,QAAQ,+BAA+B,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;QACjH,CAAC;aAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC7B,MAAM,GAAG,eAAe,SAAS,UAAU,SAAS,+BAA+B,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;QACvH,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,4CAA4C,QAAQ,oBAAoB,SAAS,GAAG,CAAC;QAChG,CAAC;QAED,OAAO;YACL,OAAO;YACP,iBAAiB;YACjB,mBAAmB;YACnB,kBAAkB,EAAE,QAAQ;YAC5B,kBAAkB,EAAE,QAAQ;YAC5B,oBAAoB,EAAE,SAAS;YAC/B,oBAAoB,EAAE,SAAS;YAC/B,MAAM;SACP,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC"}

package/dist/analysis/claimRelationship.d.ts

@@ -0,0 +1,15 @@
+export declare const ClaimRelationshipTypes: readonly ["SAME_FACT", "COMPATIBLE_FACT", "DIFFERENT_SCOPE", "DIFFERENT_ENVIRONMENT", "HISTORICAL", "EXAMPLE", "SET_MEMBERSHIP", "INCOMPATIBLE_FACT", "UNKNOWN"];
+export type ClaimRelationshipType = (typeof ClaimRelationshipTypes)[number];
+export interface ClaimRelationship {
+    type: ClaimRelationshipType;
+    confidence: number;
+    explanation: string;
+    isContradictionEligible: boolean;
+    contextFactors: {
+        environmentMatch: boolean;
+        scopeMatch: boolean;
+        roleMatch: boolean;
+        temporalMatch: boolean;
+        setMembershipMatch: boolean;
+    };
+}

package/dist/analysis/claimRelationship.js

@@ -0,0 +1,12 @@
+export const ClaimRelationshipTypes = [
+    'SAME_FACT',
+    'COMPATIBLE_FACT',
+    'DIFFERENT_SCOPE',
+    'DIFFERENT_ENVIRONMENT',
+    'HISTORICAL',
+    'EXAMPLE',
+    'SET_MEMBERSHIP',
+    'INCOMPATIBLE_FACT',
+    'UNKNOWN',
+];
+//# sourceMappingURL=claimRelationship.js.map

package/dist/analysis/claimRelationship.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claimRelationship.js","sourceRoot":"","sources":["../../src/analysis/claimRelationship.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,WAAW;IACX,iBAAiB;IACjB,iBAAiB;IACjB,uBAAuB;IACvB,YAAY;IACZ,SAAS;IACT,gBAAgB;IAChB,mBAAmB;IACnB,SAAS;CACD,CAAC"}

package/dist/analysis/confidenceScorer.d.ts

@@ -0,0 +1,40 @@
+export interface ConfidenceScoreInputs {
+    subjectSimilarity: number;
+    predicateSimilarity: number;
+    valueComparable: boolean;
+    valueDifferenceStrength: number;
+    claimAConfidence?: number;
+    claimBConfidence?: number;
+    sourceATrust?: number;
+    sourceBTrust?: number;
+    isAmbiguous?: boolean;
+}
+export interface ConfidenceScoreResult {
+    confidence: number;
+    breakdown: {
+        subjectWeight: number;
+        predicateWeight: number;
+        valueDifferenceWeight: number;
+        claimConfidenceWeight: number;
+        sourceTrustWeight: number;
+        ambiguityPenalty: number;
+        rawScore: number;
+    };
+}
+/**
+ * Deterministic Heuristic Confidence Scorer
+ *
+ * Formula:
+ * rawConfidence = (subjectSimilarity * 0.30)
+ *               + (predicateSimilarity * 0.30)
+ *               + (valueDifferenceStrength * 0.20)
+ *               + (avgClaimConfidence * 0.10)
+ *               + (avgSourceTrust * 0.10)
+ *               - ambiguityPenalty (0.25 if ambiguous or unparseable)
+ *
+ * Final score clamped to [0.0, 1.0] and rounded to 2 decimal places.
+ */
+export declare class ConfidenceScorer {
+    calculate(inputs: ConfidenceScoreInputs): ConfidenceScoreResult;
+}
+export declare const confidenceScorer: ConfidenceScorer;

package/dist/analysis/confidenceScorer.js

@@ -0,0 +1,59 @@
+/**
+ * Deterministic Heuristic Confidence Scorer
+ *
+ * Formula:
+ * rawConfidence = (subjectSimilarity * 0.30)
+ *               + (predicateSimilarity * 0.30)
+ *               + (valueDifferenceStrength * 0.20)
+ *               + (avgClaimConfidence * 0.10)
+ *               + (avgSourceTrust * 0.10)
+ *               - ambiguityPenalty (0.25 if ambiguous or unparseable)
+ *
+ * Final score clamped to [0.0, 1.0] and rounded to 2 decimal places.
+ */
+export class ConfidenceScorer {
+    calculate(inputs) {
+        const subSim = Math.max(0, Math.min(1, inputs.subjectSimilarity));
+        const predSim = Math.max(0, Math.min(1, inputs.predicateSimilarity));
+        const diffStrength = inputs.valueComparable
+            ? Math.max(0, Math.min(1, inputs.valueDifferenceStrength))
+            : 0.3;
+        const confA = inputs.claimAConfidence ?? 1.0;
+        const confB = inputs.claimBConfidence ?? 1.0;
+        const avgClaimConfidence = Math.max(0, Math.min(1, (confA + confB) / 2));
+        const trustA = inputs.sourceATrust ?? 1.0;
+        const trustB = inputs.sourceBTrust ?? 1.0;
+        const avgSourceTrust = Math.max(0, Math.min(1, (trustA + trustB) / 2));
+        const subjectWeight = subSim * 0.3;
+        const predicateWeight = predSim * 0.3;
+        const valueDifferenceWeight = diffStrength * 0.2;
+        const claimConfidenceWeight = avgClaimConfidence * 0.1;
+        const sourceTrustWeight = avgSourceTrust * 0.1;
+        let ambiguityPenalty = 0.0;
+        if (inputs.isAmbiguous || !inputs.valueComparable) {
+            ambiguityPenalty = 0.25;
+        }
+        const rawScore = subjectWeight +
+            predicateWeight +
+            valueDifferenceWeight +
+            claimConfidenceWeight +
+            sourceTrustWeight -
+            ambiguityPenalty;
+        const clampedConfidence = Math.max(0.0, Math.min(1.0, rawScore));
+        const roundedConfidence = Number(clampedConfidence.toFixed(2));
+        return {
+            confidence: roundedConfidence,
+            breakdown: {
+                subjectWeight: Number(subjectWeight.toFixed(3)),
+                predicateWeight: Number(predicateWeight.toFixed(3)),
+                valueDifferenceWeight: Number(valueDifferenceWeight.toFixed(3)),
+                claimConfidenceWeight: Number(claimConfidenceWeight.toFixed(3)),
+                sourceTrustWeight: Number(sourceTrustWeight.toFixed(3)),
+                ambiguityPenalty,
+                rawScore: Number(rawScore.toFixed(3)),
+            },
+        };
+    }
+}
+export const confidenceScorer = new ConfidenceScorer();
+//# sourceMappingURL=confidenceScorer.js.map

package/dist/analysis/confidenceScorer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confidenceScorer.js","sourceRoot":"","sources":["../../src/analysis/confidenceScorer.ts"],"names":[],"mappings":"AAyBA;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,gBAAgB;IACpB,SAAS,CAAC,MAA6B;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACrE,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe;YACzC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,uBAAuB,CAAC,CAAC;YAC1D,CAAC,CAAC,GAAG,CAAC;QAER,MAAM,KAAK,GAAG,MAAM,CAAC,gBAAgB,IAAI,GAAG,CAAC;QAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,gBAAgB,IAAI,GAAG,CAAC;QAC7C,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAEzE,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,IAAI,GAAG,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,IAAI,GAAG,CAAC;QAC1C,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAEvE,MAAM,aAAa,GAAG,MAAM,GAAG,GAAG,CAAC;QACnC,MAAM,eAAe,GAAG,OAAO,GAAG,GAAG,CAAC;QACtC,MAAM,qBAAqB,GAAG,YAAY,GAAG,GAAG,CAAC;QACjD,MAAM,qBAAqB,GAAG,kBAAkB,GAAG,GAAG,CAAC;QACvD,MAAM,iBAAiB,GAAG,cAAc,GAAG,GAAG,CAAC;QAE/C,IAAI,gBAAgB,GAAG,GAAG,CAAC;QAC3B,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;YAClD,gBAAgB,GAAG,IAAI,CAAC;QAC1B,CAAC;QAED,MAAM,QAAQ,GACZ,aAAa;YACb,eAAe;YACf,qBAAqB;YACrB,qBAAqB;YACrB,iBAAiB;YACjB,gBAAgB,CAAC;QAEnB,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QACjE,MAAM,iBAAiB,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/D,OAAO;YACL,UAAU,EAAE,iBAAiB;YAC7B,SAAS,EAAE;gBACT,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC/C,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACnD,qBAAqB,EAAE,MAAM,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC/D,qBAAqB,EAAE,MAAM,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC/D,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACvD,gBAAgB;gBAChB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;aACtC;SACF,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,EAAE,CAAC"}

package/dist/analysis/contextAnalyzer.d.ts

@@ -0,0 +1,13 @@
+import { Claim } from '../domain/entities/claim.js';
+import { ClaimRelationship } from './claimRelationship.js';
+export interface ContextAnalysisResult {
+    relationship: ClaimRelationship;
+    isContextCompatible: boolean;
+    compatibilityScore: number;
+    reason: string;
+    divergenceDimensions: string[];
+}
+export declare class ContextAnalyzer {
+    analyze(claimA: Claim, claimB: Claim): ContextAnalysisResult;
+}
+export declare const contextAnalyzer: ContextAnalyzer;