@pella-labs/pinakes 0.3.15 → 0.4.0

package/dist/cli/claims.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Topic-claim extraction for the audit-wiki v2 contradiction pipeline (D41).
+ *
+ * Phase A of the two-phase pipeline:
+ * 1. For each wiki file, send content to LLM → extract {topic, claims[]} pairs
+ * 2. Persist claims to `pinakes_claims` table
+ * 3. Skip unchanged files (incremental via source_sha comparison)
+ */
+import type { Database as BetterSqliteDatabase } from 'better-sqlite3';
+import type { LlmProvider } from '../llm/provider.js';
+export interface ExtractedClaim {
+    topic: string;
+    claim: string;
+    source_uri: string;
+}
+interface TopicClaims {
+    topic: string;
+    claims: string[];
+}
+export interface ClaimExtractionResult {
+    files_processed: number;
+    files_skipped: number;
+    claims_extracted: number;
+}
+/**
+ * Extract topics and claims from a single file's content via LLM.
+ */
+export declare function extractClaimsFromFile(content: string, sourceUri: string, llmProvider: LlmProvider): Promise<ExtractedClaim[]>;
+/**
+ * Parse LLM response, handling JSON wrapped in markdown code fences.
+ */
+export declare function parseExtractionResponse(response: string): TopicClaims[] | null;
+/**
+ * Extract claims from all wiki files in a scope, persisting to DB.
+ * Skips files whose source_sha hasn't changed since last extraction.
+ */
+export declare function extractAllClaims(writer: BetterSqliteDatabase, scope: string, llmProvider: LlmProvider, onTick?: (sourceUri: string, detail: string) => void): Promise<ClaimExtractionResult>;
+/**
+ * Query all persisted claims for a scope, optionally filtered by topic.
+ */
+export declare function queryClaims(reader: BetterSqliteDatabase, scope: string, topic?: string): Array<{
+    id: number;
+    source_uri: string;
+    topic: string;
+    claim: string;
+    extracted_at: number;
+}>;
+export {};
+//# sourceMappingURL=claims.d.ts.map

package/dist/cli/claims.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../src/cli/claims.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,IAAI,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAOtD,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,UAAU,WAAW;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,qBAAqB;IACpC,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAuBD;;GAEG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,cAAc,EAAE,CAAC,CAwB3B;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,EAAE,GAAG,IAAI,CAwB9E;AAMD;;;GAGG;AACH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,WAAW,EACxB,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,GACnD,OAAO,CAAC,qBAAqB,CAAC,CAsFhC;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM,GACb,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAAC,CAkB/F"}

package/dist/cli/claims.js

@@ -0,0 +1,169 @@
+/**
+ * Topic-claim extraction for the audit-wiki v2 contradiction pipeline (D41).
+ *
+ * Phase A of the two-phase pipeline:
+ * 1. For each wiki file, send content to LLM → extract {topic, claims[]} pairs
+ * 2. Persist claims to `pinakes_claims` table
+ * 3. Skip unchanged files (incremental via source_sha comparison)
+ */
+import { logger } from '../observability/logger.js';
+// ----------------------------------------------------------------------------
+// Extraction prompt
+// ----------------------------------------------------------------------------
+const EXTRACTION_SYSTEM = `You are a claim extractor for a knowledge wiki. Given the content of a wiki page, identify the key topics discussed and extract factual claims made about each topic.
+
+Return ONLY valid JSON in this format:
+{"topics":[{"topic":"topic name","claims":["claim 1","claim 2"]}]}
+
+Rules:
+- Use the most canonical, commonly-used name for each topic (e.g., "authentication" not "auth flow")
+- Each claim should be a single, self-contained factual statement
+- Only extract concrete claims (numbers, versions, choices, constraints), not vague descriptions
+- Group related subtopics under their parent topic
+- Limit to the 5-10 most important topics per page
+- Each topic should have 1-5 claims`;
+// ----------------------------------------------------------------------------
+// Core extraction
+// ----------------------------------------------------------------------------
+/**
+ * Extract topics and claims from a single file's content via LLM.
+ */
+export async function extractClaimsFromFile(content, sourceUri, llmProvider) {
+    const prompt = `Extract topics and claims from this wiki page:\n\n---\n${content.slice(0, 12000)}\n---`;
+    const response = await llmProvider.complete({
+        system: EXTRACTION_SYSTEM,
+        prompt,
+        maxTokens: 2000,
+    });
+    const parsed = parseExtractionResponse(response);
+    if (!parsed)
+        return [];
+    const claims = [];
+    for (const tc of parsed) {
+        for (const claim of tc.claims) {
+            claims.push({
+                topic: tc.topic.toLowerCase().trim(),
+                claim: claim.trim(),
+                source_uri: sourceUri,
+            });
+        }
+    }
+    return claims;
+}
+/**
+ * Parse LLM response, handling JSON wrapped in markdown code fences.
+ */
+export function parseExtractionResponse(response) {
+    try {
+        // Try extracting JSON from code fences first
+        const fenceMatch = response.match(/```(?:json)?\s*\n?([\s\S]*?)\n?```/);
+        const jsonStr = fenceMatch ? fenceMatch[1] : response;
+        // Find the JSON object
+        const objMatch = jsonStr.match(/\{[\s\S]*\}/);
+        if (!objMatch)
+            return null;
+        const parsed = JSON.parse(objMatch[0]);
+        if (!Array.isArray(parsed.topics))
+            return null;
+        // Validate structure
+        return parsed.topics.filter((t) => typeof t.topic === 'string' &&
+            t.topic.length > 0 &&
+            Array.isArray(t.claims) &&
+            t.claims.every((c) => typeof c === 'string'));
+    }
+    catch {
+        return null;
+    }
+}
+// ----------------------------------------------------------------------------
+// Persistence + incremental extraction
+// ----------------------------------------------------------------------------
+/**
+ * Extract claims from all wiki files in a scope, persisting to DB.
+ * Skips files whose source_sha hasn't changed since last extraction.
+ */
+export async function extractAllClaims(writer, scope, llmProvider, onTick) {
+    // Get all wiki files with their content and hashes
+    const files = writer
+        .prepare(`SELECT source_uri, source_sha FROM pinakes_nodes WHERE scope = ? GROUP BY source_uri`)
+        .all(scope);
+    const result = {
+        files_processed: 0,
+        files_skipped: 0,
+        claims_extracted: 0,
+    };
+    for (const file of files) {
+        // Check if this file was already extracted with the same sha
+        const lastExtracted = writer
+            .prepare(`SELECT value FROM pinakes_meta WHERE key = ?`)
+            .get(`claims_sha:${scope}:${file.source_uri}`);
+        if (lastExtracted?.value === file.source_sha) {
+            result.files_skipped++;
+            onTick?.(file.source_uri, 'skipped (unchanged)');
+            continue;
+        }
+        // Get the full content for this file's chunks
+        const chunks = writer
+            .prepare(`SELECT c.text FROM pinakes_chunks c
+         JOIN pinakes_nodes n ON c.node_id = n.id
+         WHERE n.scope = ? AND n.source_uri = ?
+         ORDER BY c.chunk_index`)
+            .all(scope, file.source_uri);
+        const content = chunks.map((c) => c.text).join('\n\n');
+        if (!content.trim()) {
+            onTick?.(file.source_uri, 'skipped (empty)');
+            continue;
+        }
+        try {
+            const claims = await extractClaimsFromFile(content, file.source_uri, llmProvider);
+            // Delete old claims for this file and insert new ones
+            const now = Date.now();
+            writer.exec('BEGIN');
+            try {
+                writer
+                    .prepare(`DELETE FROM pinakes_claims WHERE scope = ? AND source_uri = ?`)
+                    .run(scope, file.source_uri);
+                const insertStmt = writer.prepare(`INSERT INTO pinakes_claims (scope, source_uri, topic, claim, extracted_at)
+           VALUES (?, ?, ?, ?, ?)`);
+                for (const claim of claims) {
+                    insertStmt.run(scope, file.source_uri, claim.topic, claim.claim, now);
+                }
+                // Record the sha so we can skip this file next time
+                writer
+                    .prepare(`INSERT OR REPLACE INTO pinakes_meta (key, value) VALUES (?, ?)`)
+                    .run(`claims_sha:${scope}:${file.source_uri}`, file.source_sha);
+                writer.exec('COMMIT');
+            }
+            catch (err) {
+                writer.exec('ROLLBACK');
+                throw err;
+            }
+            result.files_processed++;
+            result.claims_extracted += claims.length;
+            onTick?.(file.source_uri, `${claims.length} claims from ${new Set(claims.map((c) => c.topic)).size} topics`);
+        }
+        catch (err) {
+            logger.warn({ err, source_uri: file.source_uri }, 'claim extraction failed for file');
+            onTick?.(file.source_uri, `failed: ${err instanceof Error ? err.message.slice(0, 60) : err}`);
+        }
+    }
+    return result;
+}
+/**
+ * Query all persisted claims for a scope, optionally filtered by topic.
+ */
+export function queryClaims(reader, scope, topic) {
+    if (topic) {
+        return reader
+            .prepare(`SELECT id, source_uri, topic, claim, extracted_at
+         FROM pinakes_claims WHERE scope = ? AND topic = ?
+         ORDER BY source_uri`)
+            .all(scope, topic);
+    }
+    return reader
+        .prepare(`SELECT id, source_uri, topic, claim, extracted_at
+       FROM pinakes_claims WHERE scope = ?
+       ORDER BY topic, source_uri`)
+        .all(scope);
+}
+//# sourceMappingURL=claims.js.map

package/dist/cli/claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../src/cli/claims.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAuBpD,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E,MAAM,iBAAiB,GAAG;;;;;;;;;;;oCAWU,CAAC;AAErC,+EAA+E;AAC/E,kBAAkB;AAClB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAe,EACf,SAAiB,EACjB,WAAwB;IAExB,MAAM,MAAM,GAAG,0DAA0D,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC;IAExG,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC;QAC1C,MAAM,EAAE,iBAAiB;QACzB,MAAM;QACN,SAAS,EAAE,IAAI;KAChB,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAEvB,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;gBACpC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;gBACnB,UAAU,EAAE,SAAS;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAgB;IACtD,IAAI,CAAC;QACH,6CAA6C;QAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAEvD,uBAAuB;QACvB,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC9C,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAA+B,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAE/C,qBAAqB;QACrB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CACzB,CAAC,CAAC,EAAoB,EAAE,CACtB,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;YAC3B,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAClB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;YACvB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAC/C,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,uCAAuC;AACvC,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,MAA4B,EAC5B,KAAa,EACb,WAAwB,EACxB,MAAoD;IAEpD,mDAAmD;IACnD,MAAM,KAAK,GAAG,MAAM;SACjB,OAAO,CACN,sFAAsF,CACvF;SACA,GAAG,CAAC,KAAK,CAAC,CAAC;IAEd,MAAM,MAAM,GAA0B;QACpC,eAAe,EAAE,CAAC;QAClB,aAAa,EAAE,CAAC;QAChB,gBAAgB,EAAE,CAAC;KACpB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,6DAA6D;QAC7D,MAAM,aAAa,GAAG,MAAM;aACzB,OAAO,CACN,8CAA8C,CAC/C;aACA,GAAG,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QAEjD,IAAI,aAAa,EAAE,KAAK,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YAC7C,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QAED,8CAA8C;QAC9C,MAAM,MAAM,GAAG,MAAM;aAClB,OAAO,CACN;;;gCAGwB,CACzB;aACA,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAE/B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACpB,MAAM,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QAED,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YAElF,sDAAsD;YACtD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrB,IAAI,CAAC;gBACH,MAAM;qBACH,OAAO,CAAC,+DAA+D,CAAC;qBACxE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBAE/B,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAC/B;kCACwB,CACzB,CAAC;gBACF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACxE,CAAC;gBAED,oDAAoD;gBACpD,MAAM;qBACH,OAAO,CACN,gEAAgE,CACjE;qBACA,GAAG,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBAElE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACxB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACxB,MAAM,GAAG,CAAC;YACZ,CAAC;YAED,MAAM,CAAC,eAAe,EAAE,CAAC;YACzB,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,MAAM,CAAC;YACzC,MAAM,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,MAAM,gBAAgB,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC;QAC/G,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,kCAAkC,CAAC,CAAC;YACtF,MAAM,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,MAA4B,EAC5B,KAAa,EACb,KAAc;IAEd,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,MAAM;aACV,OAAO,CACN;;6BAEqB,CACtB;aACA,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,MAAM;SACV,OAAO,CACN;;kCAE4B,CAC7B;SACA,GAAG,CAAC,KAAK,CAAC,CAAC;AAChB,CAAC"}

package/dist/cli/contradiction.d.ts

@@ -1,59 +1,77 @@
-import type { DbBundle } from '../db/client.js';
-import type { LlmProvider } from '../llm/provider.js';
 /**
- * Contradiction detector CLI command (PRD Phase 8, stretch goal H).
+ * Contradiction detector v2 (D41 — topic-clustered claim comparison).
+ *
+ * Two-phase pipeline:
+ *   Phase A (claims.ts): Per-file LLM extraction of {topic, claims[]}
+ *   Phase B (this file): Group claims by topic, compare cross-file via LLM
  *
- * Scans wiki chunks for contradictory claims using pairwise LLM judge.
- * Rate-limited to 1 scan per hour. Outputs contradictions.md to wiki root.
+ * Topic dedup uses embedding cosine similarity > threshold (default 0.85)
+ * to merge terminology variants like "OAuth2" / "OAuth 2.0".
  */
+import type { DbBundle } from '../db/client.js';
+import type { LlmProvider } from '../llm/provider.js';
+import type { Embedder } from '../retrieval/embedder.js';
+import type { ProgressReporter } from './progress.js';
 export interface ContradictionScanOpts {
     bundle: DbBundle;
     scope: 'project' | 'personal';
     llmProvider: LlmProvider;
     wikiRoot: string;
+    embedder?: Embedder;
+    topicSimilarity?: number;
+    progress?: ProgressReporter;
 }
 export interface Contradiction {
-    chunkA: {
-        id: string;
+    topic: string;
+    claimA: {
+        claim: string;
         source_uri: string;
-        text: string;
     };
-    chunkB: {
-        id: string;
+    claimB: {
+        claim: string;
         source_uri: string;
-        text: string;
     };
     explanation: string;
     confidence: 'high' | 'medium';
 }
 export interface ContradictionResult {
     scanned_pairs: number;
+    topics_scanned: number;
+    claims_extracted: number;
     contradictions: Contradiction[];
     rate_limited: boolean;
 }
 /**
- * Run a contradiction scan. Returns immediately if rate-limited.
+ * Run contradiction scan using topic-clustered claim comparison (D41).
+ * Requires claims to be extracted first (via extractAllClaims).
  */
 export declare function contradictionScan(opts: ContradictionScanOpts): Promise<ContradictionResult>;
-interface ChunkInfo {
-    id: string;
-    source_uri: string;
-    text: string;
-}
-interface CandidatePair {
-    a: ChunkInfo;
-    b: ChunkInfo;
+interface TopicGroup {
+    topic: string;
+    claims: Array<{
+        claim: string;
+        source_uri: string;
+    }>;
 }
+declare function groupByTopic(claims: Array<{
+    topic: string;
+    claim: string;
+    source_uri: string;
+}>): TopicGroup[];
 /**
- * Find candidate pairs for contradiction checking.
- * Uses vector similarity to find chunks that are semantically similar
- * (which is a prerequisite for them to potentially contradict).
+ * Merge topic groups whose topic strings are semantically similar
+ * (cosine similarity > threshold). Handles "OAuth2" / "OAuth 2.0" merging.
  */
-declare function findCandidatePairs(bundle: DbBundle, scope: string): CandidatePair[];
-declare function parseJudgment(response: string): {
-    contradicts: boolean;
+export declare function deduplicateTopics(groups: TopicGroup[], embedder: Embedder, threshold: number): Promise<TopicGroup[]>;
+declare function cosineSimilarity(a: Float32Array, b: Float32Array): number;
+interface ParsedContradiction {
+    claim_a: string;
+    source_a: string;
+    claim_b: string;
+    source_b: string;
     explanation: string;
     confidence: string;
-} | null;
-export { findCandidatePairs as _findCandidatePairs, parseJudgment as _parseJudgment };
+}
+export declare function parseContradictionResponse(response: string): ParsedContradiction[];
+export { groupByTopic as _groupByTopic, cosineSimilarity as _cosineSimilarity };
 //# sourceMappingURL=contradiction.d.ts.map

package/dist/cli/contradiction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contradiction.d.ts","sourceRoot":"","sources":["../../src/cli/contradiction.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGtD;;;;;GAKG;AAEH,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,SAAS,GAAG,UAAU,CAAC;IAC9B,WAAW,EAAE,WAAW,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC/B;AAED,MAAM,WAAW,mBAAmB;IAClC,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,YAAY,EAAE,OAAO,CAAC;CACvB;AAQD;;GAEG;AACH,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,mBAAmB,CAAC,CAmE9B;AAMD,UAAU,SAAS;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,aAAa;IACrB,CAAC,EAAE,SAAS,CAAC;IACb,CAAC,EAAE,SAAS,CAAC;CACd;AAED;;;;GAIG;AACH,iBAAS,kBAAkB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAwD5E;AAED,iBAAS,aAAa,CACpB,QAAQ,EAAE,MAAM,GACf;IAAE,WAAW,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAkB1E;AAwDD,OAAO,EAAE,kBAAkB,IAAI,mBAAmB,EAAE,aAAa,IAAI,cAAc,EAAE,CAAC"}
+{"version":3,"file":"contradiction.d.ts","sourceRoot":"","sources":["../../src/cli/contradiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAMtD,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,SAAS,GAAG,UAAU,CAAC;IAC9B,WAAW,EAAE,WAAW,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC/B;AAED,MAAM,WAAW,mBAAmB;IAClC,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,YAAY,EAAE,OAAO,CAAC;CACvB;AAoBD;;;GAGG;AACH,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,mBAAmB,CAAC,CAmG9B;AAMD,UAAU,UAAU;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACtD;AAED,iBAAS,YAAY,CACnB,MAAM,EAAE,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC,GAClE,UAAU,EAAE,CAYd;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,UAAU,EAAE,EACpB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,UAAU,EAAE,CAAC,CA6CvB;AAED,iBAAS,gBAAgB,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,MAAM,CASlE;AAcD,UAAU,mBAAmB;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,mBAAmB,EAAE,CAqBlF;AAqCD,OAAO,EAAE,YAAY,IAAI,aAAa,EAAE,gBAAgB,IAAI,iBAAiB,EAAE,CAAC"}