tryassay 0.28.2 → 0.30.1

package/dist/lib/learned-rules/validation-harness.js

@@ -0,0 +1,260 @@
+/**
+ * Validation Harness — tests learned rules before promotion to the formal catalog.
+ *
+ * Every auto-generated rule must pass validation:
+ * 1. Fires correctly on the ORIGINAL code that triggered it
+ * 2. Fires correctly on synthetic "known-bad" variations
+ * 3. Does NOT fire on synthetic "known-good" variations
+ *
+ * Only rules with precision >= 0.8 and recall >= 0.5 are promoted.
+ */
+import { executeRule } from './rule-codifier.js';
+// ── Thresholds ───────────────────────────────────────────────
+const MIN_PRECISION = 0.8; // At most 20% false positive rate
+const MIN_RECALL = 0.5; // Catch at least half the real bugs
+const MIN_TEST_CASES = 3; // At least 3 test cases required
+// ── Synthetic Test Case Generation ───────────────────────────
+/**
+ * Generate synthetic test cases from the original source finding.
+ * Creates variations of the original code that should and shouldn't
+ * trigger the rule.
+ */
+function generateTestCases(rule) {
+    const cases = [];
+    const pattern = rule.pattern;
+    // Test 1: Original code should trigger the rule
+    for (const finding of rule.sourceFindings) {
+        cases.push({
+            description: `Original finding: ${finding.claimDescription}`,
+            code: finding.codeSnippet,
+            shouldMatch: pattern.matchBehavior === 'presence_is_bad',
+            didMatch: false, // Will be filled during validation
+        });
+    }
+    // Test 2: Generate "fixed" version that should NOT trigger
+    for (const finding of rule.sourceFindings) {
+        const fixedCode = generateFixedCode(finding.codeSnippet, pattern, finding.language);
+        if (fixedCode) {
+            cases.push({
+                description: `Fixed version of: ${finding.claimDescription}`,
+                code: fixedCode,
+                shouldMatch: false,
+                didMatch: false,
+            });
+        }
+    }
+    // Test 3: Generate additional "bad" variations
+    for (const finding of rule.sourceFindings) {
+        const variation = generateBadVariation(finding.codeSnippet, pattern, finding.language);
+        if (variation) {
+            cases.push({
+                description: `Bad variation of: ${finding.claimDescription}`,
+                code: variation,
+                shouldMatch: pattern.matchBehavior === 'presence_is_bad',
+                didMatch: false,
+            });
+        }
+    }
+    // Test 4: Known-good code that should never trigger
+    const safeCode = generateSafeCode(pattern, rule.sourceFindings[0]?.language ?? 'typescript');
+    if (safeCode) {
+        cases.push({
+            description: 'Known-good code (should not trigger)',
+            code: safeCode,
+            shouldMatch: false,
+            didMatch: false,
+        });
+    }
+    return cases;
+}
+/**
+ * Generate a "fixed" version of buggy code.
+ * Applies the obvious fix based on the pattern category.
+ */
+function generateFixedCode(code, pattern, language) {
+    const lang = language.toLowerCase();
+    const category = pattern.claimCategory;
+    if (category === 'error-handling') {
+        // Wrap in try/catch
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            return `try {\n${code}\n} catch (error) {\n  console.error('Operation failed:', error);\n  throw error;\n}`;
+        }
+        if (['py', 'python'].includes(lang)) {
+            const indented = code.split('\n').map(l => '    ' + l).join('\n');
+            return `try:\n${indented}\nexcept Exception as e:\n    raise`;
+        }
+    }
+    if (category === 'security' && pattern.regexPattern?.includes('SELECT|INSERT|UPDATE|DELETE')) {
+        // Replace string interpolation with parameterized query
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            return code
+                .replace(/`([^`]*)\$\{(\w+)\}([^`]*)`/g, "'$1?' + ',$3'")
+                .replace(/(['"])([^'"]*)\1\s*\+\s*(\w+)/g, "'$2?'")
+                + '\n// Parameters passed separately: [userId]';
+        }
+    }
+    if (category === 'edge-case' || category === 'correctness') {
+        // Add null check before the function body
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            const funcMatch = code.match(/(function\s+\w+\s*\([^)]*\)\s*\{)/);
+            if (funcMatch) {
+                return code.replace(funcMatch[1], funcMatch[1] + '\n  if (arguments[0] === null || arguments[0] === undefined) throw new Error("Invalid input");');
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Generate a "bad" variation of buggy code.
+ * Creates a similar but different instance of the same bug class.
+ */
+function generateBadVariation(code, pattern, language) {
+    const lang = language.toLowerCase();
+    if (pattern.claimCategory === 'error-handling') {
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            // Generate another async call without error handling
+            return `async function processData(input: unknown) {\n  const result = await fetch('/api/data');\n  return result.json();\n}`;
+        }
+    }
+    if (pattern.claimCategory === 'security') {
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            return 'const query = `SELECT * FROM users WHERE id = ${userId}`;';
+        }
+    }
+    return null;
+}
+/**
+ * Generate known-good code that should never trigger the rule.
+ */
+function generateSafeCode(pattern, language) {
+    const lang = language.toLowerCase();
+    if (pattern.claimCategory === 'error-handling') {
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            return `async function safeOp() {\n  try {\n    const result = await fetch('/api/data');\n    return await result.json();\n  } catch (error) {\n    console.error('Failed:', error);\n    throw error;\n  }\n}`;
+        }
+    }
+    if (pattern.claimCategory === 'security') {
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            return "const result = await db.query('SELECT * FROM users WHERE id = ?', [userId]);";
+        }
+    }
+    if (pattern.claimCategory === 'edge-case' || pattern.claimCategory === 'correctness') {
+        if (['ts', 'tsx', 'typescript', 'js', 'jsx', 'javascript'].includes(lang)) {
+            return `function safeProcess(input: string | null) {\n  if (input === null || input === undefined) {\n    throw new Error('Input required');\n  }\n  return input.trim();\n}`;
+        }
+    }
+    return null;
+}
+// ── Validation Execution ─────────────────────────────────────
+/**
+ * Validate a learned rule against synthetic test cases.
+ *
+ * @param rule - The candidate rule to validate.
+ * @returns The validation result with precision/recall metrics.
+ */
+export function validateRule(rule) {
+    const testCases = generateTestCases(rule);
+    // PR-sourced rules: if we have fewer synthetic cases but the regex fires on
+    // the original buggy code, accept it. The merged PR is the human confirmation.
+    if (testCases.length < MIN_TEST_CASES && rule.source === 'pr') {
+        return validatePRRule(rule, testCases);
+    }
+    if (testCases.length < MIN_TEST_CASES) {
+        return {
+            passed: false,
+            truePositives: 0,
+            falsePositives: 0,
+            trueNegatives: 0,
+            falseNegatives: 0,
+            precision: 0,
+            recall: 0,
+            validatedAt: new Date().toISOString(),
+            testCases,
+        };
+    }
+    // Run each test case
+    const language = rule.sourceFindings[0]?.language ?? 'typescript';
+    const executedCases = [];
+    let tp = 0, fp = 0, tn = 0, fn = 0;
+    for (const testCase of testCases) {
+        const { fires } = executeRule(rule, testCase.code, language);
+        const executed = {
+            ...testCase,
+            didMatch: fires,
+        };
+        executedCases.push(executed);
+        if (testCase.shouldMatch && fires)
+            tp++;
+        else if (testCase.shouldMatch && !fires)
+            fn++;
+        else if (!testCase.shouldMatch && fires)
+            fp++;
+        else
+            tn++;
+    }
+    const precision = tp + fp > 0 ? tp / (tp + fp) : 0;
+    const recall = tp + fn > 0 ? tp / (tp + fn) : 0;
+    const passed = precision >= MIN_PRECISION && recall >= MIN_RECALL;
+    return {
+        passed,
+        truePositives: tp,
+        falsePositives: fp,
+        trueNegatives: tn,
+        falseNegatives: fn,
+        precision,
+        recall,
+        validatedAt: new Date().toISOString(),
+        testCases: executedCases,
+    };
+}
+/**
+ * Lightweight validation for PR-sourced rules.
+ * The merged PR is the human confirmation — we just need to verify
+ * the regex actually fires on the buggy code from the diff.
+ */
+function validatePRRule(rule, testCases) {
+    const language = rule.sourceFindings[0]?.language ?? 'typescript';
+    let firesOnOriginal = false;
+    // Test: does the regex fire on any source finding's code snippet?
+    for (const finding of rule.sourceFindings) {
+        if (!finding.codeSnippet || finding.codeSnippet.startsWith('PR #'))
+            continue;
+        const { fires } = executeRule(rule, finding.codeSnippet, language);
+        if (fires) {
+            firesOnOriginal = true;
+            break;
+        }
+    }
+    // Also check: does it compile as valid regex?
+    let regexValid = false;
+    try {
+        if (rule.pattern.regexPattern) {
+            new RegExp(rule.pattern.regexPattern, 'gi');
+            regexValid = true;
+        }
+    }
+    catch { /* invalid */ }
+    const passed = firesOnOriginal && regexValid;
+    return {
+        passed,
+        truePositives: firesOnOriginal ? 1 : 0,
+        falsePositives: 0,
+        trueNegatives: 0,
+        falseNegatives: firesOnOriginal ? 0 : 1,
+        precision: firesOnOriginal ? 1.0 : 0,
+        recall: firesOnOriginal ? 1.0 : 0,
+        validatedAt: new Date().toISOString(),
+        testCases,
+    };
+}
+/**
+ * Get the validation thresholds.
+ */
+export function getValidationThresholds() {
+    return {
+        minPrecision: MIN_PRECISION,
+        minRecall: MIN_RECALL,
+        minTestCases: MIN_TEST_CASES,
+    };
+}
+//# sourceMappingURL=validation-harness.js.map

package/dist/lib/learned-rules/validation-harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-harness.js","sourceRoot":"","sources":["../../../src/lib/learned-rules/validation-harness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAOH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,gEAAgE;AAEhE,MAAM,aAAa,GAAG,GAAG,CAAC,CAAG,kCAAkC;AAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,CAAM,oCAAoC;AACjE,MAAM,cAAc,GAAG,CAAC,CAAC,CAAI,iCAAiC;AAE9D,gEAAgE;AAEhE;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAiB;IAC1C,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,gDAAgD;IAChD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC;YACT,WAAW,EAAE,qBAAqB,OAAO,CAAC,gBAAgB,EAAE;YAC5D,IAAI,EAAE,OAAO,CAAC,WAAW;YACzB,WAAW,EAAE,OAAO,CAAC,aAAa,KAAK,iBAAiB;YACxD,QAAQ,EAAE,KAAK,EAAE,mCAAmC;SACrD,CAAC,CAAC;IACL,CAAC;IAED,2DAA2D;IAC3D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpF,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC;gBACT,WAAW,EAAE,qBAAqB,OAAO,CAAC,gBAAgB,EAAE;gBAC5D,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvF,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC;gBACT,WAAW,EAAE,qBAAqB,OAAO,CAAC,gBAAgB,EAAE;gBAC5D,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,OAAO,CAAC,aAAa,KAAK,iBAAiB;gBACxD,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,YAAY,CAAC,CAAC;IAC7F,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,CAAC,IAAI,CAAC;YACT,WAAW,EAAE,sCAAsC;YACnD,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,KAAK;YAClB,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,IAAY,EACZ,OAAyD,EACzD,QAAgB;IAEhB,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC;IAEvC,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QAClC,oBAAoB;QACpB,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,UAAU,IAAI,sFAAsF,CAAC;QAC9G,CAAC;QACD,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,OAAO,SAAS,QAAQ,qCAAqC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,6BAA6B,CAAC,EAAE,CAAC;QAC7F,wDAAwD;QACxD,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,IAAI;iBACR,OAAO,CAAC,8BAA8B,EAAE,eAAe,CAAC;iBACxD,OAAO,CAAC,gCAAgC,EAAE,OAAO,CAAC;kBACjD,6CAA6C,CAAC;QACpD,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,KAAK,WAAW,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC3D,0CAA0C;QAC1C,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAClE,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,IAAI,CAAC,OAAO,CACjB,SAAS,CAAC,CAAC,CAAC,EACZ,SAAS,CAAC,CAAC,CAAC,GAAG,gGAAgG,CAChH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,IAAY,EACZ,OAAkC,EAClC,QAAgB;IAEhB,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IAEpC,IAAI,OAAO,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,qDAAqD;YACrD,OAAO,sHAAsH,CAAC;QAChI,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,KAAK,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,2DAA2D,CAAC;QACrE,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACvB,OAAkC,EAClC,QAAgB;IAEhB,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IAEpC,IAAI,OAAO,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,wMAAwM,CAAC;QAClN,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,KAAK,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,8EAA8E,CAAC;QACxF,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,KAAK,WAAW,IAAI,OAAO,CAAC,aAAa,KAAK,aAAa,EAAE,CAAC;QACrF,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,sKAAsK,CAAC;QAChL,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gEAAgE;AAEhE;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAiB;IAC5C,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAE1C,4EAA4E;IAC5E,+EAA+E;IAC/E,IAAI,SAAS,CAAC,MAAM,GAAG,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9D,OAAO,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,KAAK;YACb,aAAa,EAAE,CAAC;YAChB,cAAc,EAAE,CAAC;YACjB,aAAa,EAAE,CAAC;YAChB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,CAAC;YACZ,MAAM,EAAE,CAAC;YACT,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACrC,SAAS;SACV,CAAC;IACJ,CAAC;IAED,qBAAqB;IACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,YAAY,CAAC;IAClE,MAAM,aAAa,GAAe,EAAE,CAAC;IACrC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAEnC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAE7D,MAAM,QAAQ,GAAa;YACzB,GAAG,QAAQ;YACX,QAAQ,EAAE,KAAK;SAChB,CAAC;QACF,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE7B,IAAI,QAAQ,CAAC,WAAW,IAAI,KAAK;YAAE,EAAE,EAAE,CAAC;aACnC,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,KAAK;YAAE,EAAE,EAAE,CAAC;aACzC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,KAAK;YAAE,EAAE,EAAE,CAAC;;YACzC,EAAE,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,SAAS,IAAI,aAAa,IAAI,MAAM,IAAI,UAAU,CAAC;IAElE,OAAO;QACL,MAAM;QACN,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,EAAE;QAClB,SAAS;QACT,MAAM;QACN,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,SAAS,EAAE,aAAa;KACzB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,IAAiB,EAAE,SAAqB;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,YAAY,CAAC;IAClE,IAAI,eAAe,GAAG,KAAK,CAAC;IAE5B,kEAAkE;IAClE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QAC7E,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACnE,IAAI,KAAK,EAAE,CAAC;YACV,eAAe,GAAG,IAAI,CAAC;YACvB,MAAM;QACR,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAC5C,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,aAAa,CAAC,CAAC;IAEzB,MAAM,MAAM,GAAG,eAAe,IAAI,UAAU,CAAC;IAE7C,OAAO;QACL,MAAM;QACN,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,cAAc,EAAE,CAAC;QACjB,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB;IAKrC,OAAO;QACL,YAAY,EAAE,aAAa;QAC3B,SAAS,EAAE,UAAU;QACrB,YAAY,EAAE,cAAc;KAC7B,CAAC;AACJ,CAAC"}

package/dist/lib/llm-provider.d.ts

@@ -10,6 +10,13 @@ export declare class ClaudeCliProvider implements LLMProvider {
     readonly type: LLMProviderType;
     complete(opts: LLMCompletionOptions): Promise<LLMResult>;
 }
+export declare class OllamaProvider implements LLMProvider {
+    readonly type: LLMProviderType;
+    private readonly baseUrl;
+    private readonly model;
+    constructor(baseUrl?: string, model?: string);
+    complete(opts: LLMCompletionOptions): Promise<LLMResult>;
+}
 /**
  * Get the configured LLM provider.
  *

package/dist/lib/llm-provider.js

@@ -1,6 +1,6 @@
 // ============================================================
-// LLM Provider — Abstraction over Anthropic API and Claude CLI
-// Toggle via ASSAY_LLM_PROVIDER env var (api|cli|auto).
+// LLM Provider — Abstraction over Anthropic API, Claude CLI, and Ollama
+// Toggle via ASSAY_LLM_PROVIDER env var (api|cli|ollama|auto).
 // ============================================================
 import Anthropic from '@anthropic-ai/sdk';
 import { safeExecWithStdin } from '../runtime/safe-executor.js';
@@ -131,6 +131,92 @@ export class ClaudeCliProvider {
         };
     }
 }
+// ── Ollama Provider (OpenAI-compatible) ──────────────────────
+export class OllamaProvider {
+    type = 'ollama';
+    baseUrl;
+    model;
+    constructor(baseUrl, model) {
+        this.baseUrl = baseUrl ?? process.env.ASSAY_OLLAMA_BASE_URL ?? 'http://localhost:11434';
+        this.model = model ?? process.env.ASSAY_OLLAMA_MODEL ?? 'qwen3.5:9b';
+    }
+    async complete(opts) {
+        const start = Date.now();
+        // Use native Ollama API (not OpenAI-compatible) for think:false support
+        const url = `${this.baseUrl}/api/chat`;
+        // Detect if the prompt expects JSON output (intent extraction, claim verification, etc.)
+        // and use Ollama's constrained decoding to force valid JSON.
+        const wantsJson = opts.systemPrompt.includes('Return ONLY a JSON')
+            || opts.systemPrompt.includes('JSON object')
+            || opts.systemPrompt.includes('Respond with JSON')
+            || opts.userPrompt.includes('Return ONLY a JSON')
+            || opts.userPrompt.includes('respond with a JSON');
+        const body = {
+            model: this.model,
+            messages: [
+                { role: 'system', content: opts.systemPrompt },
+                { role: 'user', content: opts.userPrompt },
+            ],
+            stream: false,
+            think: false, // Disable thinking mode — Assay needs direct answers
+            options: {
+                num_predict: opts.maxTokens ?? 16_000,
+                ...(opts.temperature !== undefined && { temperature: opts.temperature }),
+            },
+        };
+        // Local models can take 10+ minutes on large prompts.
+        // Node's undici has a default headers timeout (~300s) separate from AbortSignal.
+        // Use keepalive:false and a generous AbortSignal to avoid premature timeouts.
+        const timeoutMs = 30 * 60 * 1000; // 30min for local models
+        const controller = new AbortController();
+        const timer = setTimeout(() => controller.abort(), timeoutMs);
+        let res;
+        try {
+            res = await fetch(url, {
+                method: 'POST',
+                headers: {
+                    'Content-Type': 'application/json',
+                    'Connection': 'keep-alive',
+                },
+                body: JSON.stringify(body),
+                signal: controller.signal,
+                // @ts-expect-error -- Node undici dispatcher options
+                dispatcher: new (await import('undici')).Agent({
+                    headersTimeout: timeoutMs,
+                    bodyTimeout: timeoutMs,
+                    connectTimeout: 30_000,
+                }),
+            });
+        }
+        finally {
+            clearTimeout(timer);
+        }
+        if (!res.ok) {
+            const text = await res.text().catch(() => '');
+            throw new Error(`Ollama API error ${res.status}: ${text}`);
+        }
+        const data = await res.json();
+        // Native API returns message.content directly
+        // Fall back to thinking field if content is empty (model used thinking despite think:false)
+        let content = data.message?.content || data.message?.thinking || '';
+        // Tuned models may wrap JSON in markdown formatting (bold, code blocks).
+        // Strip markdown artifacts so downstream JSON parsers can handle the output.
+        content = content
+            .replace(/\*\*/g, '') // Remove bold markers
+            .replace(/^```(?:json)?\s*\n?/gm, '') // Remove opening code fences
+            .replace(/\n?```\s*$/gm, '') // Remove closing code fences
+            .trim();
+        const promptTokens = data.prompt_eval_count ?? null;
+        const completionTokens = data.eval_count ?? null;
+        return {
+            content,
+            inputTokens: promptTokens,
+            outputTokens: completionTokens,
+            provider: 'ollama',
+            durationMs: Date.now() - start,
+        };
+    }
+}
 // ── Factory ──────────────────────────────────────────────────
 let cachedProvider = null;
 /**
@@ -143,7 +229,10 @@ export function getProvider() {
     if (cachedProvider)
         return cachedProvider;
     const explicit = process.env.ASSAY_LLM_PROVIDER;
-    if (explicit === 'cli') {
+    if (explicit === 'ollama') {
+        cachedProvider = new OllamaProvider();
+    }
+    else if (explicit === 'cli') {
         if (isInsideClaudeCode()) {
             throw new Error('ASSAY_LLM_PROVIDER=cli but running inside Claude Code (deadlock).\n' +
                 'Set ANTHROPIC_API_KEY and use ASSAY_LLM_PROVIDER=api, or run from a regular terminal.');
@@ -154,15 +243,19 @@ export function getProvider() {
         cachedProvider = new AnthropicApiProvider();
     }
     else {
-        // Auto-detect: use API if key is available, otherwise CLI
+        // Auto-detect: Ollama if configured, API if key available, else CLI
         // Never auto-select CLI when inside Claude Code (causes deadlock)
-        if (process.env.ANTHROPIC_API_KEY) {
+        if (process.env.ASSAY_OLLAMA_MODEL) {
+            cachedProvider = new OllamaProvider();
+        }
+        else if (process.env.ANTHROPIC_API_KEY) {
             cachedProvider = new AnthropicApiProvider();
         }
         else if (isInsideClaudeCode()) {
             throw new Error('No ANTHROPIC_API_KEY set and running inside Claude Code.\n' +
                 'The CLI provider deadlocks when spawned from Claude Code.\n' +
-                'Export ANTHROPIC_API_KEY or run Assay from a regular terminal.');
+                'Export ANTHROPIC_API_KEY or run Assay from a regular terminal.\n' +
+                'Or set ASSAY_LLM_PROVIDER=ollama to use a local model.');
         }
         else {
             cachedProvider = new ClaudeCliProvider();

package/dist/lib/llm-provider.js.map

@@ -1 +1 @@
-{"version":3,"file":"llm-provider.js","sourceRoot":"","sources":["../../src/lib/llm-provider.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAE/D,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGhE,gEAAgE;AAEhE,MAAM,OAAO,oBAAoB;IACtB,IAAI,GAAoB,KAAK,CAAC;IACtB,MAAM,CAAS;IACf,OAAO,CAAS;IAEjC,YAAY,MAAe,EAAE,OAAgB;QAC3C,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACpD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACb,sDAAsD;gBACtD,iEAAiE;gBACjE,wEAAwE,CACzE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC;QAClB,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAA0B;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAE7E,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;YACpC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,IAAI,CAAC,SAAS,IAAI,MAAM;YACpC,MAAM,EAAE,IAAI,CAAC,YAAY;YACzB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;YACtD,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;SACzE,CAAC,CAAC;QAEH,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;QAEjD,OAAO;YACL,OAAO;YACP,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY;YAC5C,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa;YAC9C,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;CACF;AAED,gEAAgE;AAEhE;;;GAGG;AACH,SAAS,kBAAkB;IACzB,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,OAAO,iBAAiB;IACnB,IAAI,GAAoB,KAAK,CAAC;IAEvC,KAAK,CAAC,QAAQ,CAAC,IAA0B;QACvC,IAAI,kBAAkB,EAAE,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,6EAA6E;gBAC7E,8FAA8F,CAC/F,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE;YAC/C,IAAI;YACJ,iBAAiB,EAAE,MAAM;YACzB,SAAS,EAAE,IAAI,CAAC,KAAK;YACrB,aAAa,EAAE,GAAG;YAClB,mBAAmB,EAAE,gEAAgE;YACrF,0BAA0B;YAC1B,iBAAiB,EAAE,IAAI,CAAC,YAAY;SACrC,EAAE,IAAI,CAAC,UAAU,EAAE;YAClB,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI;YACtB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE;SACxC,CAAC,CAAC;QAEH,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,QAAQ,MAAM,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CACjF,CAAC;QACJ,CAAC;QAED,8EAA8E;QAC9E,IAAI,OAAe,CAAC;QACpB,IAAI,WAAW,GAAkB,IAAI,CAAC;QACtC,IAAI,YAAY,GAAkB,IAAI,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACzC,0FAA0F;YAC1F,yDAAyD;YACzD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACtC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC1B,CAAC;iBAAM,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAC9C,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;YAC3B,CAAC;iBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzC,yEAAyE;gBACzE,OAAO,GAAG,MAAM,CAAC,OAAO;qBACrB,MAAM,CAAC,CAAC,CAA0B,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;qBACzD,GAAG,CAAC,CAAC,CAA0B,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC3C,IAAI,CAAC,EAAE,CAAC,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,sCAAsC;gBACtC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC1B,CAAC;YACD,gDAAgD;YAChD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC;YAChD,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,KAAK,CAAC,YAAY,IAAI,IAAI,EAAE,CAAC;oBAC/B,WAAW,GAAG,KAAK,CAAC,YAAY,CAAC;oBACjC,YAAY,GAAG,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC;gBAC7C,CAAC;qBAAM,CAAC;oBACN,qEAAqE;oBACrE,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAuC,CAAC;oBACjF,IAAI,UAAU,EAAE,CAAC;wBACf,WAAW,GAAG,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC;wBAC7C,YAAY,GAAG,UAAU,CAAC,YAAY,IAAI,IAAI,CAAC;oBACjD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,4DAA4D;YAC5D,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;QAC1B,CAAC;QAED,OAAO;YACL,OAAO;YACP,WAAW;YACX,YAAY;YACZ,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;CACF;AAED,gEAAgE;AAEhE,IAAI,cAAc,GAAuB,IAAI,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,UAAU,WAAW;IACzB,IAAI,cAAc;QAAE,OAAO,cAAc,CAAC;IAE1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAiD,CAAC;IAE/E,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,IAAI,kBAAkB,EAAE,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,qEAAqE;gBACrE,uFAAuF,CACxF,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAC3C,CAAC;SAAM,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC9B,cAAc,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,0DAA0D;QAC1D,kEAAkE;QAClE,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;YAClC,cAAc,GAAG,IAAI,oBAAoB,EAAE,CAAC;QAC9C,CAAC;aAAM,IAAI,kBAAkB,EAAE,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,4DAA4D;gBAC5D,6DAA6D;gBAC7D,gEAAgE,CACjE,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,cAAc,GAAG,IAAI,iBAAiB,EAAE,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa;IAC3B,cAAc,GAAG,IAAI,CAAC;AACxB,CAAC"}
+{"version":3,"file":"llm-provider.js","sourceRoot":"","sources":["../../src/lib/llm-provider.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,wEAAwE;AACxE,+DAA+D;AAC/D,+DAA+D;AAE/D,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGhE,gEAAgE;AAEhE,MAAM,OAAO,oBAAoB;IACtB,IAAI,GAAoB,KAAK,CAAC;IACtB,MAAM,CAAS;IACf,OAAO,CAAS;IAEjC,YAAY,MAAe,EAAE,OAAgB;QAC3C,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACpD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACb,sDAAsD;gBACtD,iEAAiE;gBACjE,wEAAwE,CACzE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC;QAClB,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAA0B;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAE7E,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;YACpC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,IAAI,CAAC,SAAS,IAAI,MAAM;YACpC,MAAM,EAAE,IAAI,CAAC,YAAY;YACzB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;YACtD,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;SACzE,CAAC,CAAC;QAEH,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;QAEjD,OAAO;YACL,OAAO;YACP,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY;YAC5C,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa;YAC9C,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;CACF;AAED,gEAAgE;AAEhE;;;GAGG;AACH,SAAS,kBAAkB;IACzB,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,OAAO,iBAAiB;IACnB,IAAI,GAAoB,KAAK,CAAC;IAEvC,KAAK,CAAC,QAAQ,CAAC,IAA0B;QACvC,IAAI,kBAAkB,EAAE,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,6EAA6E;gBAC7E,8FAA8F,CAC/F,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE;YAC/C,IAAI;YACJ,iBAAiB,EAAE,MAAM;YACzB,SAAS,EAAE,IAAI,CAAC,KAAK;YACrB,aAAa,EAAE,GAAG;YAClB,mBAAmB,EAAE,gEAAgE;YACrF,0BAA0B;YAC1B,iBAAiB,EAAE,IAAI,CAAC,YAAY;SACrC,EAAE,IAAI,CAAC,UAAU,EAAE;YAClB,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI;YACtB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE;SACxC,CAAC,CAAC;QAEH,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,QAAQ,MAAM,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CACjF,CAAC;QACJ,CAAC;QAED,8EAA8E;QAC9E,IAAI,OAAe,CAAC;QACpB,IAAI,WAAW,GAAkB,IAAI,CAAC;QACtC,IAAI,YAAY,GAAkB,IAAI,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACzC,0FAA0F;YAC1F,yDAAyD;YACzD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACtC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC1B,CAAC;iBAAM,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAC9C,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;YAC3B,CAAC;iBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzC,yEAAyE;gBACzE,OAAO,GAAG,MAAM,CAAC,OAAO;qBACrB,MAAM,CAAC,CAAC,CAA0B,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;qBACzD,GAAG,CAAC,CAAC,CAA0B,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC3C,IAAI,CAAC,EAAE,CAAC,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,sCAAsC;gBACtC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC1B,CAAC;YACD,gDAAgD;YAChD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC;YAChD,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,KAAK,CAAC,YAAY,IAAI,IAAI,EAAE,CAAC;oBAC/B,WAAW,GAAG,KAAK,CAAC,YAAY,CAAC;oBACjC,YAAY,GAAG,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC;gBAC7C,CAAC;qBAAM,CAAC;oBACN,qEAAqE;oBACrE,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAuC,CAAC;oBACjF,IAAI,UAAU,EAAE,CAAC;wBACf,WAAW,GAAG,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC;wBAC7C,YAAY,GAAG,UAAU,CAAC,YAAY,IAAI,IAAI,CAAC;oBACjD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,4DAA4D;YAC5D,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;QAC1B,CAAC;QAED,OAAO;YACL,OAAO;YACP,WAAW;YACX,YAAY;YACZ,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;CACF;AAED,gEAAgE;AAEhE,MAAM,OAAO,cAAc;IAChB,IAAI,GAAoB,QAAQ,CAAC;IACzB,OAAO,CAAS;IAChB,KAAK,CAAS;IAE/B,YAAY,OAAgB,EAAE,KAAc;QAC1C,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,qBAAqB,IAAI,wBAAwB,CAAC;QACxF,IAAI,CAAC,KAAK,GAAG,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,YAAY,CAAC;IACvE,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAA0B;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,wEAAwE;QACxE,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,OAAO,WAAW,CAAC;QAEvC,yFAAyF;QACzF,6DAA6D;QAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,oBAAoB,CAAC;eAC7D,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC;eACzC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,mBAAmB,CAAC;eAC/C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,oBAAoB,CAAC;eAC9C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC;QAErD,MAAM,IAAI,GAA4B;YACpC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE;gBAC9C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE;aAC3C;YACD,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,KAAK,EAAG,qDAAqD;YACpE,OAAO,EAAE;gBACP,WAAW,EAAE,IAAI,CAAC,SAAS,IAAI,MAAM;gBACrC,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;aACzE;SACF,CAAC;QAEF,sDAAsD;QACtD,iFAAiF;QACjF,8EAA8E;QAC9E,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAE,yBAAyB;QAC5D,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,SAAS,CAAC,CAAC;QAE9D,IAAI,GAAa,CAAC;QAClB,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;gBACrB,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACP,cAAc,EAAE,kBAAkB;oBAClC,YAAY,EAAE,YAAY;iBAC3B;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;gBAC1B,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,qDAAqD;gBACrD,UAAU,EAAE,IAAI,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC7C,cAAc,EAAE,SAAS;oBACzB,WAAW,EAAE,SAAS;oBACtB,cAAc,EAAE,MAAM;iBACvB,CAAC;aACH,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,YAAY,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,oBAAoB,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAI1B,CAAC;QAEF,8CAA8C;QAC9C,4FAA4F;QAC5F,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC;QAEpE,yEAAyE;QACzE,6EAA6E;QAC7E,OAAO,GAAG,OAAO;aACd,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAoB,sBAAsB;aAC9D,OAAO,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAG,6BAA6B;aACpE,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAa,6BAA6B;aACrE,IAAI,EAAE,CAAC;QACV,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC;QACpD,MAAM,gBAAgB,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC;QAEjD,OAAO;YACL,OAAO;YACP,WAAW,EAAE,YAAY;YACzB,YAAY,EAAE,gBAAgB;YAC9B,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;CACF;AAED,gEAAgE;AAEhE,IAAI,cAAc,GAAuB,IAAI,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,UAAU,WAAW;IACzB,IAAI,cAAc;QAAE,OAAO,cAAc,CAAC;IAE1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAiD,CAAC;IAE/E,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,cAAc,GAAG,IAAI,cAAc,EAAE,CAAC;IACxC,CAAC;SAAM,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC9B,IAAI,kBAAkB,EAAE,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,qEAAqE;gBACrE,uFAAuF,CACxF,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAC3C,CAAC;SAAM,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC9B,cAAc,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,oEAAoE;QACpE,kEAAkE;QAClE,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC;YACnC,cAAc,GAAG,IAAI,cAAc,EAAE,CAAC;QACxC,CAAC;aAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;YACzC,cAAc,GAAG,IAAI,oBAAoB,EAAE,CAAC;QAC9C,CAAC;aAAM,IAAI,kBAAkB,EAAE,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,4DAA4D;gBAC5D,6DAA6D;gBAC7D,kEAAkE;gBAClE,wDAAwD,CACzD,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,cAAc,GAAG,IAAI,iBAAiB,EAAE,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa;IAC3B,cAAc,GAAG,IAAI,CAAC;AACxB,CAAC"}

package/dist/lib/rule-harvester/diff-parser.d.ts

@@ -0,0 +1,9 @@
+import type { DiffHunk } from '../learned-rules/types.js';
+/**
+ * Parse a GitHub PR file `patch` string (unified diff format) into typed hunks.
+ */
+export declare function parsePatch(filePath: string, patch: string): DiffHunk[];
+/**
+ * Filter out noise hunks: import-only, comment-only, whitespace-only, <2 meaningful lines.
+ */
+export declare function filterHunks(hunks: DiffHunk[]): DiffHunk[];

package/dist/lib/rule-harvester/diff-parser.js

@@ -0,0 +1,77 @@
+/**
+ * Parse a GitHub PR file `patch` string (unified diff format) into typed hunks.
+ */
+export function parsePatch(filePath, patch) {
+    if (!patch)
+        return [];
+    const hunks = [];
+    const lines = patch.split('\n');
+    let currentHunk = null;
+    for (const line of lines) {
+        const headerMatch = line.match(/^@@ -(\d+)/);
+        if (headerMatch) {
+            if (currentHunk) {
+                hunks.push(makeHunk(filePath, currentHunk));
+            }
+            currentHunk = {
+                removed: [],
+                added: [],
+                context: [],
+                startLine: parseInt(headerMatch[1], 10),
+            };
+            continue;
+        }
+        if (!currentHunk)
+            continue;
+        if (line.startsWith('-')) {
+            currentHunk.removed.push(line.slice(1));
+        }
+        else if (line.startsWith('+')) {
+            currentHunk.added.push(line.slice(1));
+        }
+        else if (line.startsWith(' ')) {
+            currentHunk.context.push(line);
+        }
+    }
+    if (currentHunk) {
+        hunks.push(makeHunk(filePath, currentHunk));
+    }
+    return hunks;
+}
+function makeHunk(file, raw) {
+    return {
+        file,
+        removedLines: raw.removed,
+        addedLines: raw.added,
+        context: raw.context,
+        startLine: raw.startLine,
+    };
+}
+/**
+ * Filter out noise hunks: import-only, comment-only, whitespace-only, <2 meaningful lines.
+ */
+export function filterHunks(hunks) {
+    return hunks.filter((hunk) => {
+        const removed = hunk.removedLines;
+        const added = hunk.addedLines;
+        if (Math.max(removed.length, added.length) < 2)
+            return false;
+        const allImports = [...removed, ...added].every((l) => l.trim().startsWith('import ') || (l.trim().startsWith('export ') && l.includes('from')));
+        if (allImports)
+            return false;
+        const allComments = [...removed, ...added].every((l) => {
+            const trimmed = l.trim();
+            return trimmed.startsWith('//') || trimmed.startsWith('/*') || trimmed.startsWith('*') || trimmed === '';
+        });
+        if (allComments)
+            return false;
+        const removedNormalized = removed.map((l) => l.replace(/\s+/g, ' ').trim());
+        const addedNormalized = added.map((l) => l.replace(/\s+/g, ' ').trim());
+        if (removedNormalized.length === addedNormalized.length &&
+            removedNormalized.every((l, i) => l === addedNormalized[i])) {
+            return false;
+        }
+        return true;
+    });
+}
+//# sourceMappingURL=diff-parser.js.map

package/dist/lib/rule-harvester/diff-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-parser.js","sourceRoot":"","sources":["../../../src/lib/rule-harvester/diff-parser.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,KAAa;IACxD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAEtB,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,WAAW,GAAwF,IAAI,CAAC;IAE5G,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC7C,IAAI,WAAW,EAAE,CAAC;YAChB,IAAI,WAAW,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;YAC9C,CAAC;YACD,WAAW,GAAG;gBACZ,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,EAAE;gBACT,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;aACxC,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CACf,IAAY,EACZ,GAAiF;IAEjF,OAAO;QACL,IAAI;QACJ,YAAY,EAAE,GAAG,CAAC,OAAO;QACzB,UAAU,EAAE,GAAG,CAAC,KAAK;QACrB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EAAE,GAAG,CAAC,SAAS;KACzB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,KAAiB;IAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;QAE9B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAE7D,MAAM,UAAU,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAChG,CAAC;QACF,IAAI,UAAU;YAAE,OAAO,KAAK,CAAC;QAE7B,MAAM,WAAW,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;YACrD,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,EAAE,CAAC;QAC3G,CAAC,CAAC,CAAC;QACH,IAAI,WAAW;YAAE,OAAO,KAAK,CAAC;QAE9B,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5E,MAAM,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACxE,IACE,iBAAiB,CAAC,MAAM,KAAK,eAAe,CAAC,MAAM;YACnD,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,EAC3D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/lib/rule-harvester/file-selector.d.ts

@@ -0,0 +1,10 @@
+export type FileCandidate = {
+    path: string;
+    lineCount: number;
+};
+export type SelectedFile = {
+    path: string;
+    reason: string;
+    priority: number;
+};
+export declare function selectFiles(candidates: FileCandidate[]): SelectedFile[];

package/dist/lib/rule-harvester/file-selector.js

@@ -0,0 +1,59 @@
+const MAX_FILES = 20;
+const MAX_LINE_COUNT = 800;
+const SKIP_PATTERNS = [
+    /\.test\./,
+    /\.spec\./,
+    /__tests__\//,
+    /\.d\.ts$/,
+    /\.config\.(js|ts)$/,
+    /tsconfig/,
+    /package\.json$/,
+    /\/generated\//,
+    /node_modules/,
+    /tailwind\.config/,
+    /next\.config/,
+    /vite\.config/,
+    /jest\.config/,
+    /vitest\.config/,
+    /eslint\.config/,
+    /prettier\.config/,
+    /\.eslintrc/,
+    /\.prettierrc/,
+];
+function shouldSkip(path) {
+    return SKIP_PATTERNS.some((pattern) => pattern.test(path));
+}
+function assignPriority(path) {
+    if (/\/api\/|\/routes\/|\/middleware\//.test(path)) {
+        return { priority: 1, reason: 'API/route/middleware file' };
+    }
+    if (/\/auth/.test(path)) {
+        return { priority: 2, reason: 'Auth-related file' };
+    }
+    if (/\/db\/|\/database\/|\/models\/|\/entities\//.test(path)) {
+        return { priority: 3, reason: 'Database/model file' };
+    }
+    if (/\/services\/|\/handlers\/|\/controllers\//.test(path)) {
+        return { priority: 4, reason: 'Service/handler/controller file' };
+    }
+    if (/\/lib\/|\/utils\/|\/helpers\//.test(path)) {
+        return { priority: 5, reason: 'Library/utility/helper file' };
+    }
+    if (/\.ts$/.test(path)) {
+        return { priority: 6, reason: 'TypeScript file' };
+    }
+    if (/\.tsx$/.test(path)) {
+        return { priority: 7, reason: 'TypeScript React file' };
+    }
+    return { priority: 99, reason: 'Other file' };
+}
+export function selectFiles(candidates) {
+    const filtered = candidates.filter((c) => !shouldSkip(c.path) && c.lineCount <= MAX_LINE_COUNT);
+    const scored = filtered.map((c) => {
+        const { priority, reason } = assignPriority(c.path);
+        return { path: c.path, reason, priority };
+    });
+    scored.sort((a, b) => a.priority - b.priority);
+    return scored.slice(0, MAX_FILES);
+}
+//# sourceMappingURL=file-selector.js.map

package/dist/lib/rule-harvester/file-selector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-selector.js","sourceRoot":"","sources":["../../../src/lib/rule-harvester/file-selector.ts"],"names":[],"mappings":"AAWA,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,cAAc,GAAG,GAAG,CAAC;AAE3B,MAAM,aAAa,GAAa;IAC9B,UAAU;IACV,UAAU;IACV,aAAa;IACb,UAAU;IACV,oBAAoB;IACpB,UAAU;IACV,gBAAgB;IAChB,eAAe;IACf,cAAc;IACd,kBAAkB;IAClB,cAAc;IACd,cAAc;IACd,cAAc;IACd,gBAAgB;IAChB,gBAAgB;IAChB,kBAAkB;IAClB,YAAY;IACZ,cAAc;CACf,CAAC;AAEF,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IAC9D,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,6CAA6C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,iCAAiC,EAAE,CAAC;IACpE,CAAC;IACD,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,UAA2B;IACrD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,cAAc,CAC5D,CAAC;IAEF,MAAM,MAAM,GAAmB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IAE/C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACpC,CAAC"}

package/dist/lib/rule-harvester/ground-truth.d.ts

@@ -0,0 +1,19 @@
+export interface ClaimForConfirmation {
+    claimId: string;
+    category: string;
+    description: string;
+    verdict: string;
+}
+export interface GroundTruthResult {
+    claimId: string;
+    confirmed: boolean;
+    method: 'compiler' | 'test' | 'grep';
+    evidence: string;
+}
+export declare function runTscCheck(repoDir: string): {
+    errors: string;
+    exitCode: number;
+} | null;
+export declare function tscReportsErrorInFile(tscOutput: string, filePath: string): boolean;
+export declare function confirmByGrep(code: string, claim: ClaimForConfirmation): GroundTruthResult;
+export declare function parseConfirmation(code: string, claim: ClaimForConfirmation, tscOutput: string | null, filePath: string): GroundTruthResult;