tryassay 0.28.2 → 0.30.1

package/dist/lib/claim-extractor.js

@@ -1,5 +1,11 @@
 import { MODEL } from './anthropic.js';
 import { getProvider } from './llm-provider.js';
+// ── Multi-Pass Configuration ────────────────────────────────────
+// Proven in LUCID audit: multi-pass extraction eliminates 0-claim dead zones.
+// Single-pass: 46 claims across 5 files (3 files returned 0).
+// Multi-pass (3x): 165 claims across 5 files (0 files returned 0).
+const EXTRACT_PASSES = parseInt(process.env.ASSAY_EXTRACT_PASSES ?? '3');
+const SIMILARITY_THRESHOLD = parseFloat(process.env.ASSAY_SIMILARITY_THRESHOLD ?? '0.6');
 const EXTRACTION_SYSTEM_PROMPT = `You are a legal and technical claim extractor. Your job is to read a document (Terms of Service, Privacy Policy, API documentation, or user manual) and extract every declarative promise, commitment, or factual claim the document makes.
 
 EXTRACTION RULES:
@@ -68,17 +74,46 @@ function validateClaim(raw, index) {
         testable: typeof raw.testable === 'boolean' ? raw.testable : true,
     };
 }
-export async function extractClaims(document, onProgress) {
-    onProgress?.('Sending document to Claude for claim extraction...');
-    const result = await getProvider().complete({
-        model: MODEL,
-        maxTokens: 32_000,
-        systemPrompt: EXTRACTION_SYSTEM_PROMPT,
-        userPrompt: `Extract all claims from this document:\n\n${document}`,
-    });
-    const rawText = result.content;
-    onProgress?.('Parsing extraction results...');
-    // Strip markdown code fences if present, then find the JSON array
+// ── Claim Deduplication (from LUCID multi-pass pattern) ─────────
+function normalizeForComparison(s) {
+    return s.toLowerCase().replace(/[^a-z0-9]/g, ' ').replace(/\s+/g, ' ').trim();
+}
+function stringSimilarity(a, b) {
+    if (a === b)
+        return 1.0;
+    const aWords = new Set(a.split(' '));
+    const bWords = new Set(b.split(' '));
+    const intersection = new Set([...aWords].filter(w => bWords.has(w)));
+    const union = new Set([...aWords, ...bWords]);
+    return union.size > 0 ? intersection.size / union.size : 0;
+}
+function deduplicateClaims(allPasses) {
+    const merged = [];
+    const signatures = [];
+    for (const passClaims of allPasses) {
+        for (const claim of passClaims) {
+            const sig = normalizeForComparison(claim.text);
+            let isDuplicate = false;
+            for (const existingSig of signatures) {
+                if (stringSimilarity(sig, existingSig) > SIMILARITY_THRESHOLD) {
+                    isDuplicate = true;
+                    break;
+                }
+            }
+            if (!isDuplicate) {
+                const newClaim = {
+                    ...claim,
+                    id: `CLAIM-${String(merged.length + 1).padStart(3, '0')}`,
+                };
+                merged.push(newClaim);
+                signatures.push(sig);
+            }
+        }
+    }
+    return merged;
+}
+// ── Single-pass extraction (internal) ───────────────────────────
+function parseExtractionResponse(rawText, onProgress) {
     let jsonText = rawText.trim();
     // Remove opening code fence
     if (jsonText.startsWith('```')) {
@@ -95,7 +130,6 @@ export async function extractClaims(document, onProgress) {
     jsonText = jsonText.trim();
     // If response was truncated (no closing ]), try to repair by closing the array
     if (!jsonText.endsWith(']')) {
-        // Find the last complete object (ends with })
         const lastCloseBrace = jsonText.lastIndexOf('}');
         if (lastCloseBrace !== -1) {
             jsonText = jsonText.slice(0, lastCloseBrace + 1) + '\n]';
@@ -107,11 +141,33 @@ export async function extractClaims(document, onProgress) {
         parsed = JSON.parse(jsonText);
     }
     catch {
-        throw new Error(`Failed to parse Claude's response as JSON.\n` +
-            `First 200 chars: ${jsonText.slice(0, 200)}`);
+        // Try to extract array from wrapped object (e.g. {"claims": [...]})
+        try {
+            const obj = JSON.parse(jsonText.replace(/^\{/, '').replace(/\}$/, ''));
+            if (Array.isArray(obj))
+                parsed = obj;
+        }
+        catch {
+            // Fall through
+        }
+        if (!parsed) {
+            throw new Error(`Failed to parse response as JSON.\n` +
+                `First 200 chars: ${jsonText.slice(0, 200)}`);
+        }
     }
     if (!Array.isArray(parsed)) {
-        throw new Error('Expected a JSON array of claims from Claude.');
+        // Check if it's a wrapper object with an array inside
+        if (parsed && typeof parsed === 'object') {
+            for (const val of Object.values(parsed)) {
+                if (Array.isArray(val)) {
+                    parsed = val;
+                    break;
+                }
+            }
+        }
+        if (!Array.isArray(parsed)) {
+            throw new Error('Expected a JSON array of claims.');
+        }
     }
     const claims = [];
     for (let i = 0; i < parsed.length; i++) {
@@ -120,10 +176,55 @@ export async function extractClaims(document, onProgress) {
             claims.push(validated);
         }
     }
+    return claims;
+}
+async function singlePassExtract(document, onProgress) {
+    const result = await getProvider().complete({
+        model: MODEL,
+        maxTokens: 32_000,
+        systemPrompt: EXTRACTION_SYSTEM_PROMPT,
+        userPrompt: `Extract all claims from this document:\n\n${document}`,
+    });
+    const claims = parseExtractionResponse(result.content, onProgress);
     return {
         claims,
         inputTokens: result.inputTokens ?? 0,
         outputTokens: result.outputTokens ?? 0,
     };
 }
+// ── Public API: Multi-Pass Extraction ───────────────────────────
+export async function extractClaims(document, onProgress) {
+    const passes = EXTRACT_PASSES;
+    let totalInput = 0;
+    let totalOutput = 0;
+    const allPasses = [];
+    const passDetails = [];
+    for (let pass = 0; pass < passes; pass++) {
+        onProgress?.(`Extraction pass ${pass + 1}/${passes}...`);
+        try {
+            let result = await singlePassExtract(document, onProgress);
+            // Retry once if 0 claims (model inconsistency — proven in LUCID audit)
+            if (result.claims.length === 0 && pass < passes - 1) {
+                onProgress?.(`Pass ${pass + 1} returned 0 claims, retrying...`);
+                result = await singlePassExtract(document, onProgress);
+            }
+            allPasses.push(result.claims);
+            passDetails.push(result.claims.length);
+            totalInput += result.inputTokens;
+            totalOutput += result.outputTokens;
+            onProgress?.(`Pass ${pass + 1}: ${result.claims.length} claims extracted`);
+        }
+        catch (err) {
+            onProgress?.(`Pass ${pass + 1} failed: ${err.message}`);
+            allPasses.push([]);
+            passDetails.push(0);
+        }
+    }
+    // Deduplicate across all passes → locked claim set
+    const claims = passes > 1
+        ? deduplicateClaims(allPasses)
+        : allPasses[0] ?? [];
+    onProgress?.(`Locked claim set: ${claims.length} claims (from ${passDetails.join('+')} across ${passes} passes)`);
+    return { claims, inputTokens: totalInput, outputTokens: totalOutput, passDetails };
+}
 //# sourceMappingURL=claim-extractor.js.map

package/dist/lib/claim-extractor.js.map

@@ -1 +1 @@
-{"version":3,"file":"claim-extractor.js","sourceRoot":"","sources":["../../src/lib/claim-extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,MAAM,wBAAwB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+DA2C8B,CAAC;AAWhE,MAAM,gBAAgB,GAAoB;IACxC,cAAc,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa,EAAE,OAAO;CACpE,CAAC;AAEF,MAAM,gBAAgB,GAAoB;IACxC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK;CACpC,CAAC;AAEF,SAAS,aAAa,CAAC,GAAa,EAAE,KAAa;IACjD,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAyB,CAAC;QACvE,CAAC,CAAE,GAAG,CAAC,QAA0B;QACjC,CAAC,CAAC,eAAe,CAAC;IAEpB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAyB,CAAC;QACvE,CAAC,CAAE,GAAG,CAAC,QAA0B;QACjC,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QAC3D,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,SAAS;QACjC,QAAQ;QACR,QAAQ;QACR,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;QACrB,QAAQ,EAAE,OAAO,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;KAClE,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,QAAgB,EAChB,UAAkC;IAElC,UAAU,EAAE,CAAC,oDAAoD,CAAC,CAAC;IAEnE,MAAM,MAAM,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;QAC1C,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,MAAM;QACjB,YAAY,EAAE,wBAAwB;QACtC,UAAU,EAAE,6CAA6C,QAAQ,EAAE;KACpE,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAE/B,UAAU,EAAE,CAAC,+BAA+B,CAAC,CAAC;IAE9C,kEAAkE;IAClE,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,+EAA+E;IAC/E,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,8CAA8C;QAC9C,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;YACzD,UAAU,EAAE,CAAC,yDAAyD,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,8CAA8C;YAC9C,oBAAoB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC7C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAa,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM;QACN,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,CAAC;QACpC,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,CAAC;KACvC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"claim-extractor.js","sourceRoot":"","sources":["../../src/lib/claim-extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,mEAAmE;AACnE,8EAA8E;AAC9E,8DAA8D;AAC9D,mEAAmE;AACnE,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,GAAG,CAAC,CAAC;AACzE,MAAM,oBAAoB,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,0BAA0B,IAAI,KAAK,CAAC,CAAC;AAEzF,MAAM,wBAAwB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+DA2C8B,CAAC;AAWhE,MAAM,gBAAgB,GAAoB;IACxC,cAAc,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa,EAAE,OAAO;CACpE,CAAC;AAEF,MAAM,gBAAgB,GAAoB;IACxC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK;CACpC,CAAC;AAEF,SAAS,aAAa,CAAC,GAAa,EAAE,KAAa;IACjD,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAyB,CAAC;QACvE,CAAC,CAAE,GAAG,CAAC,QAA0B;QACjC,CAAC,CAAC,eAAe,CAAC;IAEpB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAyB,CAAC;QACvE,CAAC,CAAE,GAAG,CAAC,QAA0B;QACjC,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QAC3D,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,SAAS;QACjC,QAAQ;QACR,QAAQ;QACR,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;QACrB,QAAQ,EAAE,OAAO,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;KAClE,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE,SAAS,sBAAsB,CAAC,CAAS;IACvC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAS,EAAE,CAAS;IAC5C,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAoB;IAC7C,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,UAAU,IAAI,SAAS,EAAE,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,WAAW,GAAG,KAAK,CAAC;YACxB,KAAK,MAAM,WAAW,IAAI,UAAU,EAAE,CAAC;gBACrC,IAAI,gBAAgB,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,oBAAoB,EAAE,CAAC;oBAC9D,WAAW,GAAG,IAAI,CAAC;oBACnB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,MAAM,QAAQ,GAAG;oBACf,GAAG,KAAK;oBACR,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;iBAC1D,CAAC;gBACF,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACtB,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,mEAAmE;AAEnE,SAAS,uBAAuB,CAAC,OAAe,EAAE,UAAkC;IAClF,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,+EAA+E;IAC/E,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;YACzD,UAAU,EAAE,CAAC,yDAAyD,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,oEAAoE;QACpE,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;YACvE,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,MAAM,GAAG,GAAG,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,eAAe;QACjB,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,qCAAqC;gBACrC,oBAAoB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC7C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,sDAAsD;QACtD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,MAAiC,CAAC,EAAE,CAAC;gBACnE,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvB,MAAM,GAAG,GAAG,CAAC;oBACb,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAI,MAAoB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,MAAM,SAAS,GAAG,aAAa,CAAE,MAAoB,CAAC,CAAC,CAAa,EAAE,CAAC,CAAC,CAAC;QACzE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,QAAgB,EAChB,UAAkC;IAElC,MAAM,MAAM,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;QAC1C,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,MAAM;QACjB,YAAY,EAAE,wBAAwB;QACtC,UAAU,EAAE,6CAA6C,QAAQ,EAAE;KACpE,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,uBAAuB,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAEnE,OAAO;QACL,MAAM;QACN,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,CAAC;QACpC,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,QAAgB,EAChB,UAAkC;IAElC,MAAM,MAAM,GAAG,cAAc,CAAC;IAC9B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,SAAS,GAAc,EAAE,CAAC;IAChC,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACzC,UAAU,EAAE,CAAC,mBAAmB,IAAI,GAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC;QAEzD,IAAI,CAAC;YACH,IAAI,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAE3D,uEAAuE;YACvE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpD,UAAU,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC,iCAAiC,CAAC,CAAC;gBAChE,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YACzD,CAAC;YAED,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvC,UAAU,IAAI,MAAM,CAAC,WAAW,CAAC;YACjC,WAAW,IAAI,MAAM,CAAC,YAAY,CAAC;YAEnC,UAAU,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC;QAC7E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,UAAU,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC,YAAa,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YACnE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnB,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAC9B,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEvB,UAAU,EAAE,CACV,qBAAqB,MAAM,CAAC,MAAM,iBAAiB,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,MAAM,UAAU,CACpG,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;AACrF,CAAC"}

package/dist/lib/code-verifier.d.ts

@@ -1,7 +1,18 @@
 import type { CodebaseIndex } from './codebase-indexer.js';
-import type { Claim, ClaimVerification } from '../types.js';
+import type { Claim, ClaimVerification, Verdict } from '../types.js';
 export declare function verifyClaims(claims: Claim[], index: CodebaseIndex, onProgress?: (msg: string) => void): Promise<{
     verifications: ClaimVerification[];
     inputTokens: number;
     outputTokens: number;
+    voteDetails?: {
+        passes: number;
+        minConfidence: number;
+        votes: Array<{
+            claimId: string;
+            finalVerdict: Verdict;
+            confidence: number;
+            votes: Verdict[];
+            unanimous: boolean;
+        }>;
+    };
 }>;

package/dist/lib/code-verifier.js

@@ -1,6 +1,11 @@
 import { MODEL } from './anthropic.js';
 import { getProvider } from './llm-provider.js';
 import { readFileContent } from './codebase-indexer.js';
+// ── Multi-Pass Configuration ────────────────────────────────────
+// Proven in LUCID audit: majority-vote verification filters verifier noise.
+// Single-pass: 5 unfiltered findings. Multi-pass (3x): 35 confident findings.
+const VERIFY_PASSES = parseInt(process.env.ASSAY_VERIFY_PASSES ?? '3');
+const MIN_CONFIDENCE = parseFloat(process.env.ASSAY_MIN_CONFIDENCE ?? '0.67');
 const VALID_VERDICTS = ['PASS', 'PARTIAL', 'FAIL', 'N/A'];
 // Step 1: Ask Claude which files to examine for a batch of claims
 const FILE_SELECTION_SYSTEM = `You are a code auditor. Given a list of claims and a codebase file tree, identify which files are most likely to contain evidence for or against each claim.
@@ -117,7 +122,50 @@ function parseFileSelectionResponse(rawText) {
 // Larger batches = fewer API round-trips. 25 is the sweet spot:
 // still fits comfortably in context, but cuts batch count ~40% vs 15.
 const BATCH_SIZE = 25;
-export async function verifyClaims(claims, index, onProgress) {
+function majorityVote(claimId, allPassResults) {
+    const votes = [];
+    const reasonings = new Map();
+    for (const passResults of allPassResults) {
+        const v = passResults.find((r) => r.claimId === claimId);
+        if (v) {
+            votes.push(v.verdict);
+            reasonings.set(v.verdict, v.reasoning);
+        }
+    }
+    if (votes.length === 0) {
+        return {
+            claimId,
+            finalVerdict: 'N/A',
+            confidence: 0,
+            votes: [],
+            reasoning: 'No verification data',
+            unanimous: false,
+        };
+    }
+    const counts = { PASS: 0, PARTIAL: 0, FAIL: 0, 'N/A': 0 };
+    for (const v of votes)
+        counts[v]++;
+    let finalVerdict = 'N/A';
+    let maxCount = 0;
+    for (const [verdict, count] of Object.entries(counts)) {
+        if (count > maxCount) {
+            maxCount = count;
+            finalVerdict = verdict;
+        }
+    }
+    const confidence = maxCount / votes.length;
+    const unanimous = maxCount === votes.length && votes.length > 1;
+    return {
+        claimId,
+        finalVerdict,
+        confidence,
+        votes,
+        reasoning: reasonings.get(finalVerdict) ?? 'No reasoning available',
+        unanimous,
+    };
+}
+// ── Single-Pass Verification (internal) ─────────────────────────
+async function singlePassVerify(claims, index, passLabel, onProgress) {
     const testableClaims = claims.filter((c) => c.testable);
     const verifications = [];
     let totalInputTokens = 0;
@@ -141,7 +189,7 @@ export async function verifyClaims(claims, index, onProgress) {
         const batch = testableClaims.slice(i, i + BATCH_SIZE);
         const batchNum = Math.floor(i / BATCH_SIZE) + 1;
         const totalBatches = Math.ceil(testableClaims.length / BATCH_SIZE);
-        onProgress?.(`Batch ${batchNum}/${totalBatches}: selecting files for ${batch.length} claims...`);
+        onProgress?.(`${passLabel} Batch ${batchNum}/${totalBatches}: selecting files for ${batch.length} claims...`);
         // Step 1: Ask which files to examine
         const claimList = batch
             .map((c) => `${c.id}: ${c.text} [${c.category}]`)
@@ -159,7 +207,6 @@ export async function verifyClaims(claims, index, onProgress) {
             fileSelections = parseFileSelectionResponse(fileSelResult.content);
         }
         catch {
-            // If parsing fails, use key files as fallback
             fileSelections = {};
             for (const claim of batch) {
                 fileSelections[claim.id] = index.keyFiles.slice(0, 5).map((f) => f.path);
@@ -171,7 +218,7 @@ export async function verifyClaims(claims, index, onProgress) {
             for (const f of files)
                 uniqueFiles.add(f);
         }
-        onProgress?.(`Batch ${batchNum}/${totalBatches}: reading ${uniqueFiles.size} files...`);
+        onProgress?.(`${passLabel} Batch ${batchNum}/${totalBatches}: reading ${uniqueFiles.size} files...`);
         const fileContents = new Map();
         for (const filePath of uniqueFiles) {
             const content = await readFileContent(index.rootPath, filePath);
@@ -180,17 +227,14 @@ export async function verifyClaims(claims, index, onProgress) {
             }
         }
         // Step 3: Verify claims against file contents
-        onProgress?.(`Batch ${batchNum}/${totalBatches}: verifying ${batch.length} claims...`);
-        // Build context with file contents for this batch
+        onProgress?.(`${passLabel} Batch ${batchNum}/${totalBatches}: verifying ${batch.length} claims...`);
         let evidenceContext = '';
         for (const [path, content] of fileContents) {
-            // Limit each file to keep total context manageable
             const truncated = content.length > 10_000
                 ? content.slice(0, 10_000) + '\n[... truncated]'
                 : content;
             evidenceContext += `\n--- FILE: ${path} ---\n${truncated}\n`;
         }
-        // If total context is too large, truncate
         if (evidenceContext.length > 100_000) {
             evidenceContext = evidenceContext.slice(0, 100_000) + '\n[... context truncated]';
         }
@@ -204,7 +248,6 @@ export async function verifyClaims(claims, index, onProgress) {
         totalOutputTokens += verifyResult.outputTokens ?? 0;
         try {
             const batchResults = parseVerificationResponse(verifyResult.content);
-            // Attach claim text
             for (const result of batchResults) {
                 const claim = batch.find((c) => c.id === result.claimId);
                 if (claim) {
@@ -212,7 +255,6 @@ export async function verifyClaims(claims, index, onProgress) {
                     verifications.push(result);
                 }
             }
-            // Any claims not covered in response get N/A
             for (const claim of batch) {
                 if (!batchResults.some((r) => r.claimId === claim.id)) {
                     verifications.push({
@@ -226,7 +268,6 @@ export async function verifyClaims(claims, index, onProgress) {
             }
         }
         catch {
-            // If verification parsing fails, mark batch as N/A
             for (const claim of batch) {
                 verifications.push({
                     claimId: claim.id,
@@ -238,7 +279,6 @@ export async function verifyClaims(claims, index, onProgress) {
             }
         }
     }
-    // Sort by claim ID
     verifications.sort((a, b) => a.claimId.localeCompare(b.claimId));
     return {
         verifications,
@@ -246,4 +286,107 @@ export async function verifyClaims(claims, index, onProgress) {
         outputTokens: totalOutputTokens,
     };
 }
+// ── Public API: Multi-Pass Verification with Majority Vote ──────
+export async function verifyClaims(claims, index, onProgress) {
+    const passes = VERIFY_PASSES;
+    let totalInput = 0;
+    let totalOutput = 0;
+    if (passes <= 1) {
+        // Single-pass mode (backward compatible)
+        onProgress?.('Running single-pass verification...');
+        const result = await singlePassVerify(claims, index, '', onProgress);
+        return {
+            verifications: result.verifications,
+            inputTokens: result.inputTokens,
+            outputTokens: result.outputTokens,
+        };
+    }
+    // Multi-pass mode: verify N times, then majority vote
+    const allPassResults = [];
+    for (let pass = 0; pass < passes; pass++) {
+        const passLabel = `[Pass ${pass + 1}/${passes}]`;
+        onProgress?.(`Verification pass ${pass + 1}/${passes}...`);
+        try {
+            const result = await singlePassVerify(claims, index, passLabel, onProgress);
+            allPassResults.push(result.verifications);
+            totalInput += result.inputTokens;
+            totalOutput += result.outputTokens;
+            const passCount = result.verifications.filter((v) => v.verdict === 'PASS').length;
+            const failCount = result.verifications.filter((v) => v.verdict === 'FAIL').length;
+            onProgress?.(`Pass ${pass + 1}: ${result.verifications.length} results (${passCount} pass, ${failCount} fail)`);
+        }
+        catch (err) {
+            onProgress?.(`Verification pass ${pass + 1} failed: ${err.message}`);
+            allPassResults.push([]);
+        }
+    }
+    // Majority vote across all passes
+    const testableClaims = claims.filter((c) => c.testable);
+    const nonTestableClaims = claims.filter((c) => !c.testable);
+    const voteResults = [];
+    for (const claim of testableClaims) {
+        voteResults.push(majorityVote(claim.id, allPassResults));
+    }
+    // Build final verifications from vote results
+    const verifications = [];
+    // Non-testable claims
+    for (const claim of nonTestableClaims) {
+        verifications.push({
+            claimId: claim.id,
+            claim: claim.text,
+            verdict: 'N/A',
+            evidence: [],
+            reasoning: 'Claim is not testable against code.',
+        });
+    }
+    // Voted claims — use evidence from the pass that matches the majority verdict
+    for (const vote of voteResults) {
+        const claim = claims.find((c) => c.id === vote.claimId);
+        if (!claim)
+            continue;
+        // Find the best evidence from a pass that agreed with the majority
+        let bestEvidence = [];
+        let bestReasoning = vote.reasoning;
+        for (const passResults of allPassResults) {
+            const match = passResults.find((r) => r.claimId === vote.claimId && r.verdict === vote.finalVerdict);
+            if (match && match.evidence.length > bestEvidence.length) {
+                bestEvidence = match.evidence;
+                bestReasoning = match.reasoning;
+            }
+        }
+        // Apply confidence filtering: low-confidence results get downgraded
+        let finalVerdict = vote.finalVerdict;
+        if (vote.confidence < MIN_CONFIDENCE && finalVerdict !== 'PASS') {
+            // Low confidence non-PASS → treat as noise, upgrade to N/A
+            finalVerdict = 'N/A';
+            bestReasoning = `Low confidence (${(vote.confidence * 100).toFixed(0)}%) — ${vote.votes.join('/')} — filtered as noise. Original: ${bestReasoning}`;
+        }
+        verifications.push({
+            claimId: vote.claimId,
+            claim: claim.text,
+            verdict: finalVerdict,
+            evidence: bestEvidence,
+            reasoning: bestReasoning,
+        });
+    }
+    verifications.sort((a, b) => a.claimId.localeCompare(b.claimId));
+    const confidentFindings = voteResults.filter((v) => v.finalVerdict !== 'PASS' && v.confidence >= MIN_CONFIDENCE).length;
+    onProgress?.(`Majority vote complete: ${confidentFindings} confident findings (>=${(MIN_CONFIDENCE * 100).toFixed(0)}% confidence)`);
+    return {
+        verifications,
+        inputTokens: totalInput,
+        outputTokens: totalOutput,
+        voteDetails: {
+            passes,
+            minConfidence: MIN_CONFIDENCE,
+            votes: voteResults.map((v) => ({
+                claimId: v.claimId,
+                finalVerdict: v.finalVerdict,
+                confidence: v.confidence,
+                votes: v.votes,
+                unanimous: v.unanimous,
+            })),
+        },
+    };
+}
 //# sourceMappingURL=code-verifier.js.map

package/dist/lib/code-verifier.js.map

@@ -1 +1 @@
-{"version":3,"file":"code-verifier.js","sourceRoot":"","sources":["../../src/lib/code-verifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AASxD,MAAM,cAAc,GAAc,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAErE,kEAAkE;AAClE,MAAM,qBAAqB,GAAG;;;;;;;;;;;;gHAYkF,CAAC;AAEjH,+DAA+D;AAC/D,MAAM,mBAAmB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gDAiCoB,CAAC;AAcjD,SAAS,yBAAyB,CAAC,OAAe;IAChD,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,qBAAqB;IACrB,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IACD,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,oBAAoB;IACpB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAsB,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,OAAO,EAAE,CAAC,CAAC,OAAQ;QACnB,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAkB,CAAC;YACpD,CAAC,CAAE,CAAC,CAAC,OAAmB;YACxB,CAAC,CAAC,KAAK;QACT,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;aACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAK;YACb,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,OAAO,EAAE,CAAC,CAAC,OAAQ;YACnB,UAAU,EAAE,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG;SAClE,CAAC,CAAC;QACL,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,EAAE;KAC7B,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,0BAA0B,CAAC,OAAe;IACjD,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC;YAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC9D,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,gCAAgC;IAChC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,KAAK,CAAC,CAAC;YAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAA6B,CAAC;AAC1D,CAAC;AAED,6DAA6D;AAC7D,gEAAgE;AAChE,sEAAsE;AACtE,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAe,EACf,KAAoB,EACpB,UAAkC;IAMlC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,aAAa,GAAwB,EAAE,CAAC;IAC9C,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAE1B,8CAA8C;IAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpB,aAAa,CAAC,IAAI,CAAC;gBACjB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO,EAAE,KAAK;gBACd,QAAQ,EAAE,EAAE;gBACZ,SAAS,EAAE,qCAAqC;aACjD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzD,qCAAqC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC;QAEnE,UAAU,EAAE,CACV,SAAS,QAAQ,IAAI,YAAY,yBAAyB,KAAK,CAAC,MAAM,YAAY,CACnF,CAAC;QAEF,qCAAqC;QACrC,MAAM,SAAS,GAAG,KAAK;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC;aAChD,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,MAAM,aAAa,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;YACjD,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,qBAAqB;YACnC,UAAU,EAAE,sBAAsB,SAAS,4BAA4B,OAAO,EAAE;SACjF,CAAC,CAAC;QAEH,gBAAgB,IAAI,aAAa,CAAC,WAAW,IAAI,CAAC,CAAC;QACnD,iBAAiB,IAAI,aAAa,CAAC,YAAY,IAAI,CAAC,CAAC;QAErD,IAAI,cAAwC,CAAC;QAC7C,IAAI,CAAC;YACH,cAAc,GAAG,0BAA0B,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACrE,CAAC;QAAC,MAAM,CAAC;YACP,8CAA8C;YAC9C,cAAc,GAAG,EAAE,CAAC;YACpB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QAED,UAAU,EAAE,CACV,SAAS,QAAQ,IAAI,YAAY,aAAa,WAAW,CAAC,IAAI,WAAW,CAC1E,CAAC;QAEF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAChE,IAAI,OAAO,EAAE,CAAC;gBACZ,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,UAAU,EAAE,CACV,SAAS,QAAQ,IAAI,YAAY,eAAe,KAAK,CAAC,MAAM,YAAY,CACzE,CAAC;QAEF,kDAAkD;QAClD,IAAI,eAAe,GAAG,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3C,mDAAmD;YACnD,MAAM,SAAS,GACb,OAAO,CAAC,MAAM,GAAG,MAAM;gBACrB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,mBAAmB;gBAChD,CAAC,CAAC,OAAO,CAAC;YACd,eAAe,IAAI,eAAe,IAAI,SAAS,SAAS,IAAI,CAAC;QAC/D,CAAC;QAED,0CAA0C;QAC1C,IAAI,eAAe,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;YACrC,eAAe,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,2BAA2B,CAAC;QACpF,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;YAChD,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,mBAAmB;YACjC,UAAU,EAAE,sBAAsB,SAAS,uBAAuB,eAAe,EAAE;SACpF,CAAC,CAAC;QAEH,gBAAgB,IAAI,YAAY,CAAC,WAAW,IAAI,CAAC,CAAC;QAClD,iBAAiB,IAAI,YAAY,CAAC,YAAY,IAAI,CAAC,CAAC;QAEpD,IAAI,CAAC;YACH,MAAM,YAAY,GAAG,yBAAyB,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACrE,oBAAoB;YACpB,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC;gBACzD,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;oBAC1B,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YAED,6CAA6C;YAC7C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;oBACtD,aAAa,CAAC,IAAI,CAAC;wBACjB,OAAO,EAAE,KAAK,CAAC,EAAE;wBACjB,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,OAAO,EAAE,KAAK;wBACd,QAAQ,EAAE,EAAE;wBACZ,SAAS,EAAE,kCAAkC;qBAC9C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,mDAAmD;YACnD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,aAAa,CAAC,IAAI,CAAC;oBACjB,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,OAAO,EAAE,KAAK;oBACd,QAAQ,EAAE,EAAE;oBACZ,SAAS,EAAE,wCAAwC;iBACpD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAEjE,OAAO;QACL,aAAa;QACb,WAAW,EAAE,gBAAgB;QAC7B,YAAY,EAAE,iBAAiB;KAChC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"code-verifier.js","sourceRoot":"","sources":["../../src/lib/code-verifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AASxD,mEAAmE;AACnE,4EAA4E;AAC5E,8EAA8E;AAC9E,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,IAAI,GAAG,CAAC,CAAC;AACvE,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,MAAM,CAAC,CAAC;AAE9E,MAAM,cAAc,GAAc,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAErE,kEAAkE;AAClE,MAAM,qBAAqB,GAAG;;;;;;;;;;;;gHAYkF,CAAC;AAEjH,+DAA+D;AAC/D,MAAM,mBAAmB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gDAiCoB,CAAC;AAcjD,SAAS,yBAAyB,CAAC,OAAe;IAChD,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,qBAAqB;IACrB,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IACD,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,oBAAoB;IACpB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAsB,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,OAAO,EAAE,CAAC,CAAC,OAAQ;QACnB,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAkB,CAAC;YACpD,CAAC,CAAE,CAAC,CAAC,OAAmB;YACxB,CAAC,CAAC,KAAK;QACT,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;aACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAK;YACb,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,OAAO,EAAE,CAAC,CAAC,OAAQ;YACnB,UAAU,EAAE,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG;SAClE,CAAC,CAAC;QACL,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,EAAE;KAC7B,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,0BAA0B,CAAC,OAAe;IACjD,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC;YAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC9D,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,gCAAgC;IAChC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,KAAK,CAAC,CAAC;YAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAA6B,CAAC;AAC1D,CAAC;AAED,6DAA6D;AAC7D,gEAAgE;AAChE,sEAAsE;AACtE,MAAM,UAAU,GAAG,EAAE,CAAC;AAatB,SAAS,YAAY,CACnB,OAAe,EACf,cAAqC;IAErC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE9C,KAAK,MAAM,WAAW,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,EAAE,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO;YACP,YAAY,EAAE,KAAK;YACnB,UAAU,EAAE,CAAC;YACb,KAAK,EAAE,EAAE;YACT,SAAS,EAAE,sBAAsB;YACjC,SAAS,EAAE,KAAK;SACjB,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAA4B,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACnF,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAEnC,IAAI,YAAY,GAAY,KAAK,CAAC;IAClC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;YACrB,QAAQ,GAAG,KAAK,CAAC;YACjB,YAAY,GAAG,OAAkB,CAAC;QACpC,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3C,MAAM,SAAS,GAAG,QAAQ,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAEhE,OAAO;QACL,OAAO;QACP,YAAY;QACZ,UAAU;QACV,KAAK;QACL,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,wBAAwB;QACnE,SAAS;KACV,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE,KAAK,UAAU,gBAAgB,CAC7B,MAAe,EACf,KAAoB,EACpB,SAAiB,EACjB,UAAkC;IAMlC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,aAAa,GAAwB,EAAE,CAAC;IAC9C,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAE1B,8CAA8C;IAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpB,aAAa,CAAC,IAAI,CAAC;gBACjB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO,EAAE,KAAK;gBACd,QAAQ,EAAE,EAAE;gBACZ,SAAS,EAAE,qCAAqC;aACjD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzD,qCAAqC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC;QAEnE,UAAU,EAAE,CACV,GAAG,SAAS,UAAU,QAAQ,IAAI,YAAY,yBAAyB,KAAK,CAAC,MAAM,YAAY,CAChG,CAAC;QAEF,qCAAqC;QACrC,MAAM,SAAS,GAAG,KAAK;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC;aAChD,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,MAAM,aAAa,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;YACjD,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,qBAAqB;YACnC,UAAU,EAAE,sBAAsB,SAAS,4BAA4B,OAAO,EAAE;SACjF,CAAC,CAAC;QAEH,gBAAgB,IAAI,aAAa,CAAC,WAAW,IAAI,CAAC,CAAC;QACnD,iBAAiB,IAAI,aAAa,CAAC,YAAY,IAAI,CAAC,CAAC;QAErD,IAAI,cAAwC,CAAC;QAC7C,IAAI,CAAC;YACH,cAAc,GAAG,0BAA0B,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACrE,CAAC;QAAC,MAAM,CAAC;YACP,cAAc,GAAG,EAAE,CAAC;YACpB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QAED,UAAU,EAAE,CACV,GAAG,SAAS,UAAU,QAAQ,IAAI,YAAY,aAAa,WAAW,CAAC,IAAI,WAAW,CACvF,CAAC;QAEF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAChE,IAAI,OAAO,EAAE,CAAC;gBACZ,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,UAAU,EAAE,CACV,GAAG,SAAS,UAAU,QAAQ,IAAI,YAAY,eAAe,KAAK,CAAC,MAAM,YAAY,CACtF,CAAC;QAEF,IAAI,eAAe,GAAG,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3C,MAAM,SAAS,GACb,OAAO,CAAC,MAAM,GAAG,MAAM;gBACrB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,mBAAmB;gBAChD,CAAC,CAAC,OAAO,CAAC;YACd,eAAe,IAAI,eAAe,IAAI,SAAS,SAAS,IAAI,CAAC;QAC/D,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;YACrC,eAAe,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,2BAA2B,CAAC;QACpF,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;YAChD,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,mBAAmB;YACjC,UAAU,EAAE,sBAAsB,SAAS,uBAAuB,eAAe,EAAE;SACpF,CAAC,CAAC;QAEH,gBAAgB,IAAI,YAAY,CAAC,WAAW,IAAI,CAAC,CAAC;QAClD,iBAAiB,IAAI,YAAY,CAAC,YAAY,IAAI,CAAC,CAAC;QAEpD,IAAI,CAAC;YACH,MAAM,YAAY,GAAG,yBAAyB,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACrE,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC;gBACzD,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;oBAC1B,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;oBACtD,aAAa,CAAC,IAAI,CAAC;wBACjB,OAAO,EAAE,KAAK,CAAC,EAAE;wBACjB,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,OAAO,EAAE,KAAK;wBACd,QAAQ,EAAE,EAAE;wBACZ,SAAS,EAAE,kCAAkC;qBAC9C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,aAAa,CAAC,IAAI,CAAC;oBACjB,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,OAAO,EAAE,KAAK;oBACd,QAAQ,EAAE,EAAE;oBACZ,SAAS,EAAE,wCAAwC;iBACpD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAEjE,OAAO;QACL,aAAa;QACb,WAAW,EAAE,gBAAgB;QAC7B,YAAY,EAAE,iBAAiB;KAChC,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAe,EACf,KAAoB,EACpB,UAAkC;IAiBlC,MAAM,MAAM,GAAG,aAAa,CAAC;IAC7B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,yCAAyC;QACzC,UAAU,EAAE,CAAC,qCAAqC,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACrE,OAAO;YACL,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,CAAC;IACJ,CAAC;IAED,sDAAsD;IACtD,MAAM,cAAc,GAA0B,EAAE,CAAC;IAEjD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,SAAS,IAAI,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC;QACjD,UAAU,EAAE,CAAC,qBAAqB,IAAI,GAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC;QAE3D,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YAC5E,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YAC1C,UAAU,IAAI,MAAM,CAAC,WAAW,CAAC;YACjC,WAAW,IAAI,MAAM,CAAC,YAAY,CAAC;YAEnC,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YAClF,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YAClF,UAAU,EAAE,CACV,QAAQ,IAAI,GAAG,CAAC,KAAK,MAAM,CAAC,aAAa,CAAC,MAAM,aAAa,SAAS,UAAU,SAAS,QAAQ,CAClG,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,UAAU,EAAE,CACV,qBAAqB,IAAI,GAAG,CAAC,YAAa,GAAa,CAAC,OAAO,EAAE,CAClE,CAAC;YACF,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAE5D,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,8CAA8C;IAC9C,MAAM,aAAa,GAAwB,EAAE,CAAC;IAE9C,sBAAsB;IACtB,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACtC,aAAa,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,qCAAqC;SACjD,CAAC,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK;YAAE,SAAS;QAErB,mEAAmE;QACnE,IAAI,YAAY,GAAe,EAAE,CAAC;QAClC,IAAI,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC;QACnC,KAAK,MAAM,WAAW,IAAI,cAAc,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,YAAY,CACrE,CAAC;YACF,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBACzD,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC;gBAC9B,aAAa,GAAG,KAAK,CAAC,SAAS,CAAC;YAClC,CAAC;QACH,CAAC;QAED,oEAAoE;QACpE,IAAI,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACrC,IAAI,IAAI,CAAC,UAAU,GAAG,cAAc,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;YAChE,2DAA2D;YAC3D,YAAY,GAAG,KAAK,CAAC;YACrB,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,mCAAmC,aAAa,EAAE,CAAC;QACtJ,CAAC;QAED,aAAa,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,OAAO,EAAE,YAAY;YACrB,QAAQ,EAAE,YAAY;YACtB,SAAS,EAAE,aAAa;SACzB,CAAC,CAAC;IACL,CAAC;IAED,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAEjE,MAAM,iBAAiB,GAAG,WAAW,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,IAAI,cAAc,CACnE,CAAC,MAAM,CAAC;IAET,UAAU,EAAE,CACV,2BAA2B,iBAAiB,0BAA0B,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CACvH,CAAC;IAEF,OAAO;QACL,aAAa;QACb,WAAW,EAAE,UAAU;QACvB,YAAY,EAAE,WAAW;QACzB,WAAW,EAAE;YACX,MAAM;YACN,aAAa,EAAE,cAAc;YAC7B,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,SAAS,EAAE,CAAC,CAAC,SAAS;aACvB,CAAC,CAAC;SACJ;KACF,CAAC;AACJ,CAAC"}

package/dist/lib/learned-rules/category-map.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Canonical Category Map — normalizes the fragmented claim categories
+ * (37 variants) down to ~12 canonical categories.
+ *
+ * Used in two places:
+ *   1. Rule creation (harvester + pattern extractor) — new rules get canonical categories
+ *   2. Rule loading (catalog) — existing rules get mapped at load time
+ */
+/**
+ * The canonical set of claim categories for all learned rules.
+ */
+export declare const CANONICAL_CATEGORIES: readonly ["security", "error-handling", "data-validation", "async", "resource-management", "api-contract", "state-management", "i18n", "performance", "type-safety", "ui-logic", "code-quality"];
+export type CanonicalCategory = (typeof CANONICAL_CATEGORIES)[number];
+/**
+ * Maps every known raw category string to its canonical form.
+ *
+ * When adding new mappings, keep the keys lowercase and hyphenated.
+ */
+export declare const CATEGORY_MAP: Readonly<Record<string, CanonicalCategory>>;
+/**
+ * Normalize a raw category string to its canonical form.
+ *
+ * Lookup order:
+ *   1. Exact match in CATEGORY_MAP
+ *   2. Lowercase + trim exact match
+ *   3. Fallback to 'code-quality' (the broadest bucket)
+ */
+export declare function normalizeCategory(raw: string): CanonicalCategory;

package/dist/lib/learned-rules/category-map.js

@@ -0,0 +1,110 @@
+/**
+ * Canonical Category Map — normalizes the fragmented claim categories
+ * (37 variants) down to ~12 canonical categories.
+ *
+ * Used in two places:
+ *   1. Rule creation (harvester + pattern extractor) — new rules get canonical categories
+ *   2. Rule loading (catalog) — existing rules get mapped at load time
+ */
+/**
+ * The canonical set of claim categories for all learned rules.
+ */
+export const CANONICAL_CATEGORIES = [
+    'security',
+    'error-handling',
+    'data-validation',
+    'async',
+    'resource-management',
+    'api-contract',
+    'state-management',
+    'i18n',
+    'performance',
+    'type-safety',
+    'ui-logic',
+    'code-quality',
+];
+/**
+ * Maps every known raw category string to its canonical form.
+ *
+ * When adding new mappings, keep the keys lowercase and hyphenated.
+ */
+export const CATEGORY_MAP = {
+    // ── security ────────────────────────────────────────────────
+    'security': 'security',
+    // ── error-handling ──────────────────────────────────────────
+    'error-handling': 'error-handling',
+    'null-safety': 'error-handling',
+    'logging': 'error-handling',
+    // ── data-validation ─────────────────────────────────────────
+    'data-validation': 'data-validation',
+    'validation-safety': 'data-validation',
+    'data-integrity': 'data-validation',
+    'data-accuracy': 'data-validation',
+    'data-consistency': 'data-validation',
+    'database-integrity': 'data-validation',
+    // ── async ───────────────────────────────────────────────────
+    'async': 'async',
+    'concurrency': 'async',
+    'race-condition': 'async',
+    'race-conditions': 'async',
+    // ── resource-management ─────────────────────────────────────
+    'resource-management': 'resource-management',
+    // ── api-contract ────────────────────────────────────────────
+    'api-contract': 'api-contract',
+    'dependency-injection': 'api-contract',
+    // ── state-management ────────────────────────────────────────
+    'state-management': 'state-management',
+    // ── i18n ────────────────────────────────────────────────────
+    'i18n': 'i18n',
+    'i18n-compliance': 'i18n',
+    'i18n-safety': 'i18n',
+    'i18n-support': 'i18n',
+    'internationalization': 'i18n',
+    'localization': 'i18n',
+    // ── performance ─────────────────────────────────────────────
+    'performance': 'performance',
+    'react-optimization': 'performance',
+    // ── type-safety ─────────────────────────────────────────────
+    'type-safety': 'type-safety',
+    // ── ui-logic ────────────────────────────────────────────────
+    'ui-logic': 'ui-logic',
+    'ui-ux': 'ui-logic',
+    'react-antipatterns': 'ui-logic',
+    'react-best-practices': 'ui-logic',
+    'react-patterns': 'ui-logic',
+    // ── code-quality ────────────────────────────────────────────
+    'code-quality': 'code-quality',
+    'code-convention': 'code-quality',
+    'documentation': 'code-quality',
+    'test-reliability': 'code-quality',
+    'test-robustness': 'code-quality',
+    // ── catch-all for logic variants ────────────────────────────
+    'logic': 'error-handling',
+    'logic-error': 'error-handling',
+    'logic-flow': 'error-handling',
+    'logic-control-flow': 'error-handling',
+    'bug-fix': 'error-handling',
+    'business-logic': 'data-validation',
+};
+/**
+ * Normalize a raw category string to its canonical form.
+ *
+ * Lookup order:
+ *   1. Exact match in CATEGORY_MAP
+ *   2. Lowercase + trim exact match
+ *   3. Fallback to 'code-quality' (the broadest bucket)
+ */
+export function normalizeCategory(raw) {
+    // 1. Exact match
+    const exact = CATEGORY_MAP[raw];
+    if (exact)
+        return exact;
+    // 2. Normalized match (lowercase, trimmed)
+    const normalized = raw.toLowerCase().trim();
+    const normMatch = CATEGORY_MAP[normalized];
+    if (normMatch)
+        return normMatch;
+    // 3. Fallback
+    return 'code-quality';
+}
+//# sourceMappingURL=category-map.js.map