@djibrilm/lazy-review 0.0.1

package/dist/modules/ai-agent/review-pipeline/finding-verifier.js

@@ -0,0 +1,130 @@
+import { extractJson } from '../ai-agent.utils.js';
+import { runAgentLoop } from './agent-loop.js';
+/**
+ * Adversarial finding verifier.
+ *
+ * Given a candidate finding, the verifier DELIBERATELY attempts to DISPROVE it
+ * by searching for cleanup elsewhere, timeout mechanisms, lifecycle handlers,
+ * guarantees, or callers that prevent the failure. Only evidence that survives
+ * this adversarial search is approved.
+ */
+export async function verifyFinding(opts, candidate) {
+    const evidenceText = candidate.evidence.map((e) => `- ${e.fact} (${e.source})`).join('\n') ||
+        'No evidence provided.';
+    const locationText = candidate.location
+        ? ` at ${candidate.location.file}${candidate.location.line ? `:${candidate.location.line}` : ''}`
+        : '';
+    const system = `You are an adversarial finding verifier for code review.
+
+Your job is to ATTEMPT TO DISPROVE a candidate finding. Do not argue in its favor.
+
+SEARCH FOR:
+- cleanup performed elsewhere that makes the problem impossible
+- timeout or retry mechanisms that prevent the failure
+- lifecycle handlers that restore correctness
+- guarantees or callers that prevent the invalid state
+- code outside the diff that already handles the situation
+
+PROCEDURE:
+1. Ask the explorer targeted questions to look for counter-evidence.
+2. If your adversarial search finds protection, return { "verdict": "disproven" }.
+3. If the evidence still supports the finding, return { "verdict": "confirmed" }.
+4. If genuinely uncertain, use confidence to reflect uncertainty.
+
+Output ONLY JSON:
+{
+  "verdict": "confirmed" | "disproven",
+  "confidence": 0.0-1.0,
+  "supportingEvidence": ["string"],
+  "counterEvidence": ["string"],
+  "recommendation": "fix suggestion (if confirmed)",
+  "invariant": "the invariant that should hold (if confirmed)"
+}`;
+    const tools = [
+        {
+            name: 'ask_explorer',
+            description: 'Ask the Repository Explorer a precise adversarial question. Returns evidence facts.',
+            handler: async (a) => {
+                const q = String(a.question ?? a.q ?? '');
+                if (!q)
+                    return { error: 'question required' };
+                const ans = await opts.askExplorer(q);
+                return {
+                    question: ans.question,
+                    facts: ans.facts,
+                    confidence: ans.confidence,
+                    missingEvidence: ans.missingEvidence,
+                };
+            },
+        },
+    ];
+    const userMessage = `## Candidate Finding (category: ${candidate.category})${locationText}
+${candidate.hypothesis}
+${candidate.impactDescription ? `\nImpact: ${candidate.impactDescription}` : ''}
+
+Evidence:
+${evidenceText}
+
+Attempt to DISPROVE this finding. Ask the explorer to look for:
+- cleanup elsewhere
+- timeouts
+- lifecycle handlers
+- callers that prevent the issue
+
+Output the JSON verdict when done.`;
+    const result = await runAgentLoop({
+        modelId: opts.modelId,
+        systemPrompt: system,
+        userMessage,
+        tools,
+        maxIterations: 4,
+        maxToolCalls: 5,
+        maxSourceTokens: 8_000,
+        kvCacheId: opts.kvCacheId,
+        progress: (m) => opts.progress?.('[Verifier] ' + m),
+        finalize: `Output ONLY a JSON verdict:
+{
+  "verdict": "confirmed" | "disproven",
+  "confidence": 0.0-1.0,
+  "supportingEvidence": ["string"],
+  "counterEvidence": ["string"],
+  "recommendation": "string",
+  "invariant": "string"
+}
+No markdown.`,
+    });
+    try {
+        const p = extractJson(result.text);
+        const v = {
+            verdict: p.verdict === 'confirmed' ? 'confirmed' : 'disproven',
+            confidence: clamp(p.confidence, 0.5),
+        };
+        const se = arr(p.supportingEvidence);
+        if (se)
+            v.supportingEvidence = se;
+        const ce = arr(p.counterEvidence);
+        if (ce)
+            v.counterEvidence = ce;
+        const rec = str(p.recommendation);
+        if (rec)
+            v.recommendation = rec;
+        const inv = str(p.invariant);
+        if (inv)
+            v.invariant = inv;
+        return v;
+    }
+    catch {
+        return { verdict: 'disproven', confidence: 0.1 };
+    }
+}
+function clamp(n, fallback) {
+    const v = Number(n);
+    return Number.isFinite(v) ? Math.min(1, Math.max(0, v)) : fallback;
+}
+function arr(v) {
+    return Array.isArray(v) ? v.map(String) : undefined;
+}
+function str(v) {
+    return v ? String(v) : undefined;
+}
+//# sourceMappingURL=finding-verifier.js.map

package/dist/modules/ai-agent/review-pipeline/finding-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"finding-verifier.js","sourceRoot":"","sources":["../../../../src/modules/ai-agent/review-pipeline/finding-verifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAuB,MAAM,iBAAiB,CAAC;AAUpE;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAkB,EAClB,SAMC;IAED,MAAM,YAAY,GAChB,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACrE,uBAAuB,CAAC;IAE1B,MAAM,YAAY,GAAG,SAAS,CAAC,QAAQ;QACrC,CAAC,CAAC,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACjG,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;EAyBf,CAAC;IAED,MAAM,KAAK,GAAqB;QAC9B;YACE,IAAI,EAAE,cAAc;YACpB,WAAW,EACT,qFAAqF;YACvF,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;gBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1C,IAAI,CAAC,CAAC;oBAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;gBAC9C,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,GAAG,CAAC,QAAQ;oBACtB,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,UAAU,EAAE,GAAG,CAAC,UAAU;oBAC1B,eAAe,EAAE,GAAG,CAAC,eAAe;iBACrC,CAAC;YACJ,CAAC;SACF;KACF,CAAC;IAEF,MAAM,WAAW,GAAG,mCAAmC,SAAS,CAAC,QAAQ,IAAI,YAAY;EACzF,SAAS,CAAC,UAAU;EACpB,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,aAAa,SAAS,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE;;;EAG7E,YAAY;;;;;;;;mCAQqB,CAAC;IAElC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,YAAY,EAAE,MAAM;QACpB,WAAW;QACX,KAAK;QACL,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;QACf,eAAe,EAAE,KAAK;QACtB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,aAAa,GAAG,CAAC,CAAC;QACnD,QAAQ,EAAE;;;;;;;;;aASD;KACV,CAAC,CAAC;IAEH,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,GAAoB;YACzB,OAAO,EAAE,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;YAC9D,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;SACrC,CAAC;QACF,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;QACrC,IAAI,EAAE;YAAE,CAAC,CAAC,kBAAkB,GAAG,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;QAClC,IAAI,EAAE;YAAE,CAAC,CAAC,eAAe,GAAG,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAClC,IAAI,GAAG;YAAE,CAAC,CAAC,cAAc,GAAG,GAAG,CAAC;QAChC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7B,IAAI,GAAG;YAAE,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;QAC3B,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,CAAU,EAAE,QAAgB;IACzC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACrE,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACnC,CAAC"}

package/dist/modules/ai-agent/review-pipeline/repository-explorer.d.ts

@@ -0,0 +1,21 @@
+import type { ExplorerAnswer } from './types.js';
+interface Opts {
+    basePath: string;
+    modelId: string;
+    kvCacheId?: string | undefined;
+    progress?: ((m: string) => void) | undefined;
+    semanticSearch?: ((q: string) => Promise<string>) | undefined;
+}
+export declare class RepositoryExplorer {
+    private opts;
+    private root;
+    constructor(opts: Opts);
+    private safe;
+    private read;
+    private doSearch;
+    private tools;
+    /** Ask the explorer a precise question; it returns compact evidence facts. */
+    ask(question: string): Promise<ExplorerAnswer>;
+}
+export {};
+//# sourceMappingURL=repository-explorer.d.ts.map

package/dist/modules/ai-agent/review-pipeline/repository-explorer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repository-explorer.d.ts","sourceRoot":"","sources":["../../../../src/modules/ai-agent/review-pipeline/repository-explorer.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAY,cAAc,EAAE,MAAM,YAAY,CAAC;AAK3D,UAAU,IAAI;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;IAC7C,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;CAC/D;AAED,qBAAa,kBAAkB;IAGjB,OAAO,CAAC,IAAI;IAFxB,OAAO,CAAC,IAAI,CAAS;gBAED,IAAI,EAAE,IAAI;IAI9B,OAAO,CAAC,IAAI;YAME,IAAI;YAqBJ,QAAQ;IA2CtB,OAAO,CAAC,KAAK;IAoGb,8EAA8E;IACxE,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC;CAuDrD"}

package/dist/modules/ai-agent/review-pipeline/repository-explorer.js

@@ -0,0 +1,247 @@
+import * as fs from 'node:fs/promises';
+import * as path from 'node:path';
+import { extractSymbolsWithAST, extractJson } from '../ai-agent.utils.js';
+import { runAgentLoop } from './agent-loop.js';
+const LIMIT_BYTES = 60 * 1024;
+const LIMIT_HITS = 20;
+export class RepositoryExplorer {
+    opts;
+    root;
+    constructor(opts) {
+        this.opts = opts;
+        this.root = path.resolve(opts.basePath);
+    }
+    safe(p) {
+        const r = path.resolve(this.root, p);
+        if (!r.startsWith(this.root))
+            throw new Error(`Path "${p}" outside repo root.`);
+        return r;
+    }
+    async read(p) {
+        try {
+            const r = this.safe(p);
+            const st = await fs.stat(r);
+            if (!st.isFile())
+                return null;
+            if (st.size > LIMIT_BYTES) {
+                const fd = await fs.open(r, 'r');
+                try {
+                    const buf = Buffer.alloc(LIMIT_BYTES);
+                    const { bytesRead } = await fd.read(buf, 0, buf.length, 0);
+                    return buf.subarray(0, bytesRead).toString('utf-8');
+                }
+                finally {
+                    await fd.close();
+                }
+            }
+            return await fs.readFile(r, 'utf-8');
+        }
+        catch {
+            return null;
+        }
+    }
+    async doSearch(kw, ext) {
+        if (!kw)
+            return { error: 'keyword required' };
+        const k = kw.toLowerCase();
+        const results = [];
+        const walk = async (dir) => {
+            if (results.length >= LIMIT_HITS)
+                return;
+            let entries;
+            try {
+                entries = await fs.readdir(path.join(this.root, dir), { withFileTypes: true });
+            }
+            catch {
+                return;
+            }
+            for (const ent of entries) {
+                if (results.length >= LIMIT_HITS)
+                    return;
+                if (ent.isDirectory()) {
+                    if (['node_modules', '.git', 'dist', 'build', '.next', '.cache', 'coverage'].includes(ent.name))
+                        continue;
+                    await walk(path.join(dir, ent.name));
+                    continue;
+                }
+                if (!ent.isFile())
+                    continue;
+                const rel = path.join(dir, ent.name);
+                if (ext && !rel.endsWith(ext))
+                    continue;
+                const c = await this.read(rel);
+                if (!c || c.length > 400 * 1024)
+                    continue;
+                const ls = c.split('\n');
+                for (let i = 0; i < ls.length && results.length < LIMIT_HITS; i++) {
+                    if (ls[i]?.toLowerCase().includes(k)) {
+                        results.push({ file: rel, line: i + 1, content: ls[i].trim() });
+                    }
+                }
+            }
+        };
+        await walk('');
+        return { matches: results, total: results.length, capped: results.length >= LIMIT_HITS };
+    }
+    tools() {
+        return [
+            {
+                name: 'search_symbol',
+                description: 'Search the repo for a symbol/keyword. Returns up to 20 matches.',
+                handler: async (a) => this.doSearch(String(a.keyword ?? ''), a.fileExtension ? String(a.fileExtension) : undefined),
+            },
+            {
+                name: 'read_file',
+                description: 'Read a repository file (relative path). Large files are truncated.',
+                handler: async (a) => {
+                    const p = String(a.filePath ?? a.file_path ?? '');
+                    if (!p)
+                        return { error: 'filePath required' };
+                    const c = await this.read(p);
+                    if (c === null)
+                        return { error: `File ${p} not found` };
+                    return { file: p, content: c };
+                },
+            },
+            {
+                name: 'read_file_lines',
+                description: 'Read a line range from a file (1-based inclusive).',
+                handler: async (a) => {
+                    const p = String(a.filePath ?? a.file_path ?? '');
+                    const start = Number(a.startLine ?? 1);
+                    const end = a.endLine !== undefined ? Number(a.endLine) : start + 80;
+                    if (!p)
+                        return { error: 'filePath required' };
+                    const c = await this.read(p);
+                    if (c === null)
+                        return { error: `File ${p} not found` };
+                    const ls = c.split('\n');
+                    const s = Math.max(1, start);
+                    const e = Math.min(end, ls.length);
+                    return {
+                        file: p,
+                        lines: `${s}-${e} of ${ls.length}`,
+                        content: ls
+                            .slice(s - 1, e)
+                            .map((l, i) => `${s + i}\t${l}`)
+                            .join('\n'),
+                    };
+                },
+            },
+            {
+                name: 'file_outline',
+                description: 'List symbols (functions/classes) in a file with line ranges.',
+                handler: async (a) => {
+                    const p = String(a.filePath ?? a.file_path ?? '');
+                    if (!p)
+                        return { error: 'filePath required' };
+                    const c = await this.read(p);
+                    if (c === null)
+                        return { error: `File ${p} not found` };
+                    const syms = await extractSymbolsWithAST(this.safe(p), c);
+                    return {
+                        file: p,
+                        symbols: syms.map((s) => ({
+                            name: s.symbol.name,
+                            kind: s.symbol.kind,
+                            startLine: s.symbol.startLine,
+                            endLine: s.symbol.endLine,
+                        })),
+                    };
+                },
+            },
+            {
+                name: 'read_symbol',
+                description: 'Read the exact source of a named symbol from a file.',
+                handler: async (a) => {
+                    const p = String(a.filePath ?? a.file_path ?? '');
+                    const n = String(a.symbolName ?? a.symbol ?? '');
+                    if (!p || !n)
+                        return { error: 'filePath and symbolName required' };
+                    const c = await this.read(p);
+                    if (c === null)
+                        return { error: `File ${p} not found` };
+                    const sym = (await extractSymbolsWithAST(this.safe(p), c)).find((s) => s.symbol.name === n || s.symbol.name.endsWith('.' + n));
+                    if (!sym)
+                        return { error: `Symbol ${n} not found in ${p}` };
+                    return {
+                        file: p,
+                        symbol: sym.symbol.name,
+                        startLine: sym.symbol.startLine,
+                        endLine: sym.symbol.endLine,
+                        content: sym.content,
+                    };
+                },
+            },
+            {
+                name: 'semantic_search',
+                description: 'Search indexed semantic facts for architecture and data-flow context.',
+                handler: async (a) => {
+                    const q = String(a.query ?? '');
+                    if (!q)
+                        return { error: 'query required' };
+                    const r = await this.opts.semanticSearch?.(q);
+                    return r ? { result: r } : { result: 'No semantic facts available.' };
+                },
+            },
+        ];
+    }
+    /** Ask the explorer a precise question; it returns compact evidence facts. */
+    async ask(question) {
+        const system = `You are a focused repository investigator.
+
+Answer ONE precise question by gathering observable evidence from the repository.
+Do NOT review or judge quality — collect ONLY facts.
+RULES:
+- Use tools to find symbols, read files, search for writes/deletes/handlers.
+- Every fact must have a source (file:line when possible).
+- Prefer symbols and short reads over full-file reads.
+- Do NOT speculate. If code does not reveal the answer, set missingEvidence=true.
+- When confident, output ONLY a JSON object:
+{
+  "facts": [{ "fact": "observable behavior", "source": "file:line" }],
+  "confidence": 0.0-1.0,
+  "missingEvidence": false
+}
+
+QUESTION:
+${question}`;
+        const tools = this.tools();
+        const result = await runAgentLoop({
+            modelId: this.opts.modelId,
+            systemPrompt: system,
+            userMessage: `Answer this question with repository evidence:\n"${question}"`,
+            tools,
+            maxIterations: 6,
+            maxToolCalls: 14,
+            maxSourceTokens: 10_000,
+            kvCacheId: this.opts.kvCacheId,
+            progress: (m) => this.opts.progress?.('[Explorer] ' + m),
+            finalize: `Output ONLY a JSON object:
+{
+  "facts": [{ "fact": "observable behavior", "source": "file:line" }],
+  "confidence": 0.0-1.0,
+  "missingEvidence": true/false
+}
+No markdown.`,
+        });
+        let facts = [];
+        let confidence = 0;
+        let missing = true;
+        try {
+            const p = extractJson(result.text);
+            if (Array.isArray(p.facts))
+                facts = p.facts;
+            if (typeof p.confidence === 'number')
+                confidence = Math.min(1, Math.max(0, p.confidence));
+            if (typeof p.missingEvidence === 'boolean')
+                missing = p.missingEvidence;
+        }
+        catch {
+            if (result.text.trim())
+                facts = [{ fact: result.text.trim().slice(0, 2000), source: 'explorer-response' }];
+        }
+        return { question, facts, confidence: missing ? 0 : confidence, missingEvidence: missing };
+    }
+}
+//# sourceMappingURL=repository-explorer.js.map

package/dist/modules/ai-agent/review-pipeline/repository-explorer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repository-explorer.js","sourceRoot":"","sources":["../../../../src/modules/ai-agent/review-pipeline/repository-explorer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAuB,MAAM,iBAAiB,CAAC;AAGpE,MAAM,WAAW,GAAG,EAAE,GAAG,IAAI,CAAC;AAC9B,MAAM,UAAU,GAAG,EAAE,CAAC;AAUtB,MAAM,OAAO,kBAAkB;IAGT;IAFZ,IAAI,CAAS;IAErB,YAAoB,IAAU;QAAV,SAAI,GAAJ,IAAI,CAAM;QAC5B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAEO,IAAI,CAAC,CAAS;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAChF,OAAO,CAAC,CAAC;IACX,CAAC;IAEO,KAAK,CAAC,IAAI,CAAC,CAAS;QAC1B,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC9B,IAAI,EAAE,CAAC,IAAI,GAAG,WAAW,EAAE,CAAC;gBAC1B,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACjC,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;oBACtC,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;oBAC3D,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACtD,CAAC;wBAAS,CAAC;oBACT,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,OAAO,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,QAAQ,CAAC,EAAU,EAAE,GAAY;QAC7C,IAAI,CAAC,EAAE;YAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAsD,EAAE,CAAC;QAEtE,MAAM,IAAI,GAAG,KAAK,EAAE,GAAW,EAAiB,EAAE;YAChD,IAAI,OAAO,CAAC,MAAM,IAAI,UAAU;gBAAE,OAAO;YACzC,IAAI,OAAsE,CAAC;YAC3E,IAAI,CAAC;gBACH,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;YACjF,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO;YACT,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,IAAI,OAAO,CAAC,MAAM,IAAI,UAAU;oBAAE,OAAO;gBACzC,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;oBACtB,IACE,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAC/E,GAAG,CAAC,IAAI,CACT;wBAED,SAAS;oBACX,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;oBACrC,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE;oBAAE,SAAS;gBAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACxC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,GAAG,IAAI;oBAAE,SAAS;gBAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;oBAClE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;wBACrC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACnE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,UAAU,EAAE,CAAC;IAC3F,CAAC;IAEO,KAAK;QACX,OAAO;YACL;gBACE,IAAI,EAAE,eAAe;gBACrB,WAAW,EAAE,iEAAiE;gBAC9E,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CACnB,IAAI,CAAC,QAAQ,CACX,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EACvB,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CACtD;aACJ;YACD;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,oEAAoE;gBACjF,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;oBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;oBAClD,IAAI,CAAC,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;oBAC9C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC7B,IAAI,CAAC,KAAK,IAAI;wBAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;oBACxD,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;gBACjC,CAAC;aACF;YACD;gBACE,IAAI,EAAE,iBAAiB;gBACvB,WAAW,EAAE,oDAAoD;gBACjE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;oBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;oBAClD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;oBACvC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACrE,IAAI,CAAC,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;oBAC9C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC7B,IAAI,CAAC,KAAK,IAAI;wBAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;oBACxD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;oBACnC,OAAO;wBACL,IAAI,EAAE,CAAC;wBACP,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE;wBAClC,OAAO,EAAE,EAAE;6BACR,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;6BACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;6BAC/B,IAAI,CAAC,IAAI,CAAC;qBACd,CAAC;gBACJ,CAAC;aACF;YACD;gBACE,IAAI,EAAE,cAAc;gBACpB,WAAW,EAAE,8DAA8D;gBAC3E,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;oBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;oBAClD,IAAI,CAAC,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;oBAC9C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC7B,IAAI,CAAC,KAAK,IAAI;wBAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;oBACxD,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAC1D,OAAO;wBACL,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC;4BAC7B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI;4BACnB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI;4BACnB,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS;4BAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO;yBAC1B,CAAC,CAAC;qBACJ,CAAC;gBACJ,CAAC;aACF;YACD;gBACE,IAAI,EAAE,aAAa;gBACnB,WAAW,EAAE,sDAAsD;gBACnE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;oBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;oBAClD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;oBACjD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;oBACnE,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC7B,IAAI,CAAC,KAAK,IAAI;wBAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;oBACxD,MAAM,GAAG,GAAG,CAAC,MAAM,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7D,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CACnE,CAAC;oBACF,IAAI,CAAC,GAAG;wBAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC;oBAC5D,OAAO;wBACL,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACvB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS;wBAC/B,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO;wBAC3B,OAAO,EAAE,GAAG,CAAC,OAAO;qBACrB,CAAC;gBACJ,CAAC;aACF;YACD;gBACE,IAAI,EAAE,iBAAiB;gBACvB,WAAW,EAAE,uEAAuE;gBACpF,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;oBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;oBAChC,IAAI,CAAC,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;oBAC3C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC9C,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;gBACxE,CAAC;aACF;SACF,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,KAAK,CAAC,GAAG,CAAC,QAAgB;QACxB,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;EAiBjB,QAAQ,EAAE,CAAC;QAET,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;YAChC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO;YAC1B,YAAY,EAAE,MAAM;YACpB,WAAW,EAAE,oDAAoD,QAAQ,GAAG;YAC5E,KAAK;YACL,aAAa,EAAE,CAAC;YAChB,YAAY,EAAE,EAAE;YAChB,eAAe,EAAE,MAAM;YACvB,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS;YAC9B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,aAAa,GAAG,CAAC,CAAC;YACxD,QAAQ,EAAE;;;;;;aAMH;SACR,CAAC,CAAC;QAEH,IAAI,KAAK,GAAe,EAAE,CAAC;QAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;YAC5C,IAAI,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;gBAAE,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YAC1F,IAAI,OAAO,CAAC,CAAC,eAAe,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC,CAAC,eAAe,CAAC;QAC1E,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;gBACpB,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC;QACvF,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC;IAC7F,CAAC;CACF"}

package/dist/modules/ai-agent/review-pipeline/review-controller.d.ts

@@ -0,0 +1,22 @@
+import type { PRReviewResult } from '../pr-review.agent.js';
+export interface ReviewControllerOpts {
+    projectId: string;
+    repositoryPath: string;
+    llmId: string;
+    diffText: string;
+    prTitle: string;
+    prBody: string;
+    semanticSearch?: (query: string) => Promise<string>;
+    progress?: (message: string) => void;
+}
+/**
+ * Orchestrates the evidence-driven pipeline:
+ * ChangeAnalyzer → specialist reviewers → verifier → dedup/rank → writer.
+ */
+export declare class ReviewController {
+    private opts;
+    private explorer;
+    constructor(opts: ReviewControllerOpts);
+    run(): Promise<PRReviewResult>;
+}
+//# sourceMappingURL=review-controller.d.ts.map

package/dist/modules/ai-agent/review-pipeline/review-controller.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-controller.d.ts","sourceRoot":"","sources":["../../../../src/modules/ai-agent/review-pipeline/review-controller.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5D,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACtC;AAED;;;GAGG;AACH,qBAAa,gBAAgB;IAGf,OAAO,CAAC,IAAI;IAFxB,OAAO,CAAC,QAAQ,CAAqB;gBAEjB,IAAI,EAAE,oBAAoB;IAUxC,GAAG,IAAI,OAAO,CAAC,cAAc,CAAC;CAmGrC"}

package/dist/modules/ai-agent/review-pipeline/review-controller.js

@@ -0,0 +1,102 @@
+import { RepositoryExplorer } from './repository-explorer.js';
+import { analyzeChange } from './change-analyzer.js';
+import { reviewAsSpecialist } from './specialist-reviewer.js';
+import { scanSensitiveFiles } from './secret-scanner.js';
+import { verifyFinding } from './finding-verifier.js';
+import { toRankedFinding, dedupeFindings } from './finding-ranker.js';
+import { writeReview } from './review-writer.js';
+/**
+ * Orchestrates the evidence-driven pipeline:
+ * ChangeAnalyzer → specialist reviewers → verifier → dedup/rank → writer.
+ */
+export class ReviewController {
+    opts;
+    explorer;
+    constructor(opts) {
+        this.opts = opts;
+        this.explorer = new RepositoryExplorer({
+            basePath: opts.repositoryPath,
+            modelId: opts.llmId,
+            kvCacheId: opts.projectId,
+            progress: opts.progress,
+            semanticSearch: opts.semanticSearch,
+        });
+    }
+    async run() {
+        const p = this.opts.progress ?? (() => { });
+        // 1. Classify the change.
+        p('Classifying the change...');
+        const model = await analyzeChange({ modelId: this.opts.llmId, kvCacheId: this.opts.projectId, progress: p }, this.opts.diffText, this.opts.prTitle, this.opts.prBody);
+        // 2. Specialist reviewers form hypotheses via explorer.
+        const reviewers = model.reviewers.length > 0 ? model.reviewers : ['correctness'];
+        p(`Running reviewers: ${reviewers.join(', ')}`);
+        const candidates = [];
+        for (const cat of reviewers) {
+            try {
+                const found = await reviewAsSpecialist(cat, {
+                    modelId: this.opts.llmId,
+                    kvCacheId: this.opts.projectId,
+                    progress: p,
+                    askExplorer: (q) => this.explorer.ask(q),
+                }, this.opts.diffText, model.purpose);
+                candidates.push(...found);
+            }
+            catch (e) {
+                console.warn(`[ReviewController] ${cat} failed:`, e?.message);
+            }
+        }
+        // Secret Scanner: detect sensitive files / leaked secrets not meant for GitHub.
+        p('Scanning for sensitive files and leaked secrets...');
+        try {
+            const secretFindings = await scanSensitiveFiles({
+                modelId: this.opts.llmId,
+                kvCacheId: this.opts.projectId,
+                progress: p,
+            }, this.opts.diffText);
+            candidates.push(...secretFindings);
+        }
+        catch (e) {
+            console.warn('[ReviewController] secret scan failed:', e?.message);
+        }
+        // 3. Adversarial verification.
+        const verified = [];
+        for (const candidate of candidates) {
+            p(`Verifying: ${candidate.hypothesis.slice(0, 70)}...`);
+            const verdict = await verifyFinding({
+                modelId: this.opts.llmId,
+                kvCacheId: this.opts.projectId,
+                progress: p,
+                askExplorer: (q) => this.explorer.ask(q),
+            }, {
+                hypothesis: candidate.hypothesis,
+                category: candidate.category,
+                evidence: candidate.evidence,
+                ...(candidate.location ? { location: candidate.location } : {}),
+                ...(candidate.impactDescription
+                    ? { impactDescription: candidate.impactDescription }
+                    : {}),
+            });
+            if (verdict.verdict === 'confirmed') {
+                verified.push(toRankedFinding({
+                    hypothesis: candidate.hypothesis,
+                    category: candidate.category,
+                    confidence: verdict.confidence,
+                    impactScore: candidate.impactScore,
+                    likelihoodScore: candidate.likelihoodScore,
+                    recommendation: verdict.recommendation ?? candidate.recommendation,
+                    invariant: verdict.invariant ?? candidate.invariant,
+                    evidence: candidate.evidence,
+                    location: candidate.location,
+                    ...(candidate.impactDescription && !verdict.recommendation
+                        ? { impact: candidate.impactDescription }
+                        : {}),
+                }));
+            }
+        }
+        // 4. Dedup + rank; 5. Write review.
+        const ranked = dedupeFindings(verified);
+        p(`Writing review with ${ranked.length} verified finding(s).`);
+        return writeReview(ranked, model.purpose, this.opts.prTitle);
+    }
+}
+//# sourceMappingURL=review-controller.js.map

package/dist/modules/ai-agent/review-pipeline/review-controller.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-controller.js","sourceRoot":"","sources":["../../../../src/modules/ai-agent/review-pipeline/review-controller.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAejD;;;GAGG;AACH,MAAM,OAAO,gBAAgB;IAGP;IAFZ,QAAQ,CAAqB;IAErC,YAAoB,IAA0B;QAA1B,SAAI,GAAJ,IAAI,CAAsB;QAC5C,IAAI,CAAC,QAAQ,GAAG,IAAI,kBAAkB,CAAC;YACrC,QAAQ,EAAE,IAAI,CAAC,cAAc;YAC7B,OAAO,EAAE,IAAI,CAAC,KAAK;YACnB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,cAAc,EAAE,IAAI,CAAC,cAAc;SACpC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,GAAG;QACP,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QAE3C,0BAA0B;QAC1B,CAAC,CAAC,2BAA2B,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAgB,MAAM,aAAa,CAC5C,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,EACzE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAClB,IAAI,CAAC,IAAI,CAAC,OAAO,EACjB,IAAI,CAAC,IAAI,CAAC,MAAM,CACjB,CAAC;QAEF,wDAAwD;QACxD,MAAM,SAAS,GACb,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QACjE,CAAC,CAAC,sBAAsB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEhD,MAAM,UAAU,GAAwB,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,MAAM,kBAAkB,CACpC,GAAG,EACH;oBACE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;oBACxB,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS;oBAC9B,QAAQ,EAAE,CAAC;oBACX,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;iBACzC,EACD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAClB,KAAK,CAAC,OAAO,CACd,CAAC;gBACF,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAC5B,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,OAAO,CAAC,IAAI,CAAC,sBAAsB,GAAG,UAAU,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;QAED,gFAAgF;QAChF,CAAC,CAAC,oDAAoD,CAAC,CAAC;QACxD,IAAI,CAAC;YACH,MAAM,cAAc,GAAG,MAAM,kBAAkB,CAC7C;gBACE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;gBACxB,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS;gBAC9B,QAAQ,EAAE,CAAC;aACZ,EACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CACnB,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACrC,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,wCAAwC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QACrE,CAAC;QAED,+BAA+B;QAC/B,MAAM,QAAQ,GAAG,EAAE,CAAC;QACpB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,CAAC,CAAC,cAAc,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,MAAM,aAAa,CACjC;gBACE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;gBACxB,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS;gBAC9B,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;aACzC,EACD;gBACE,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/D,GAAG,CAAC,SAAS,CAAC,iBAAiB;oBAC7B,CAAC,CAAC,EAAE,iBAAiB,EAAE,SAAS,CAAC,iBAAiB,EAAE;oBACpD,CAAC,CAAC,EAAE,CAAC;aACR,CACF,CAAC;YACF,IAAI,OAAO,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CACX,eAAe,CAAC;oBACd,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;oBAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,eAAe,EAAE,SAAS,CAAC,eAAe;oBAC1C,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,SAAS,CAAC,cAAc;oBAClE,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,SAAS;oBACnD,QAAQ,EAAE,SAAS,CAAC,QAAQ;oBAC5B,QAAQ,EAAE,SAAS,CAAC,QAAQ;oBAC5B,GAAG,CAAC,SAAS,CAAC,iBAAiB,IAAI,CAAC,OAAO,CAAC,cAAc;wBACxD,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,iBAAiB,EAAE;wBACzC,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;QAED,oCAAoC;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QACxC,CAAC,CAAC,uBAAuB,MAAM,CAAC,MAAM,uBAAuB,CAAC,CAAC;QAC/D,OAAO,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC;CACF"}

package/dist/modules/ai-agent/review-pipeline/review-writer.d.ts

@@ -0,0 +1,4 @@
+import type { PRReviewResult } from '../pr-review.agent.js';
+import type { RankedFinding } from './finding-ranker.js';
+export declare function writeReview(rankedFindings: RankedFinding[], changePurpose: string, prTitle: string): PRReviewResult;
+//# sourceMappingURL=review-writer.d.ts.map

package/dist/modules/ai-agent/review-pipeline/review-writer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-writer.d.ts","sourceRoot":"","sources":["../../../../src/modules/ai-agent/review-pipeline/review-writer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAe,MAAM,uBAAuB,CAAC;AACzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,wBAAgB,WAAW,CACzB,cAAc,EAAE,aAAa,EAAE,EAC/B,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM,GACd,cAAc,CAqChB"}

package/dist/modules/ai-agent/review-pipeline/review-writer.js

@@ -0,0 +1,52 @@
+export function writeReview(rankedFindings, changePurpose, prTitle) {
+    const issues = rankedFindings.map((f) => ({
+        severity: f.legacySeverity,
+        title: f.title || f.id,
+        description: buildDesc(f),
+        ...(f.file ? { file: f.file } : {}),
+        ...(f.line !== undefined ? { line: f.line } : {}),
+        ...(f.invariant ? { convention: f.invariant } : {}),
+    }));
+    const c = issues.filter((i) => i.severity === 'critical').length;
+    const w = issues.filter((i) => i.severity === 'warning').length;
+    const s = issues.filter((i) => i.severity === 'suggestion').length;
+    const verdict = c > 0 || w >= 3 ? 'request_changes' : w > 0 ? 'comment' : 'approve';
+    const parts = [
+        changePurpose && changePurpose.trim()
+            ? changePurpose.trim()
+            : `This review examines "${prTitle || 'the pull request'}" through an evidence-driven pipeline: the change was classified, specialist reviewers formed hypotheses, and each finding was adversarially verified before being reported.`,
+    ];
+    if (rankedFindings.length > 0) {
+        const counts = [
+            c > 0 ? `\n- **${c} critical**` : '',
+            w > 0 ? `\n- **${w} warnings**` : '',
+            s > 0 ? `\n- **${s} suggestions**` : '',
+        ]
+            .filter(Boolean)
+            .join('');
+        parts.push(`### Findings${counts}`);
+    }
+    else {
+        parts.push('No verified issues were found.');
+    }
+    return { summary: parts.join('\n\n'), issues, overallVerdict: verdict };
+}
+function buildDesc(f) {
+    const parts = [];
+    if (f.impact)
+        parts.push(f.impact);
+    if (f.recommendation)
+        parts.push(`**Recommendation:** ${f.recommendation}`);
+    if (f.invariant)
+        parts.push(`**Invariant:** ${f.invariant}`);
+    if (f.evidence.length > 0) {
+        parts.push('\n**Evidence:**\n' +
+            f.evidence
+                .slice(0, 5)
+                .map((e) => `- ${e.fact}${e.source ? ` (${e.source})` : ''}`)
+                .join('\n'));
+    }
+    parts.push(`\n**Confidence:** ${Math.round(f.confidence * 100)}%`);
+    return parts.join('\n');
+}
+//# sourceMappingURL=review-writer.js.map

package/dist/modules/ai-agent/review-pipeline/review-writer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-writer.js","sourceRoot":"","sources":["../../../../src/modules/ai-agent/review-pipeline/review-writer.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,WAAW,CACzB,cAA+B,EAC/B,aAAqB,EACrB,OAAe;IAEf,MAAM,MAAM,GAAkB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvD,QAAQ,EAAE,CAAC,CAAC,cAAc;QAC1B,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE;QACtB,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;QACzB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC,CAAC,CAAC;IAEJ,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACjE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAChE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;IAEnE,MAAM,OAAO,GACX,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAEtE,MAAM,KAAK,GAAa;QACtB,aAAa,IAAI,aAAa,CAAC,IAAI,EAAE;YACnC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE;YACtB,CAAC,CAAC,yBAAyB,OAAO,IAAI,kBAAkB,8KAA8K;KACzO,CAAC;IAEF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG;YACb,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE;YACpC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE;YACpC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE;SACxC;aACE,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,EAAE,CAAC,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,cAAc;QAAE,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;IAC5E,IAAI,CAAC,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IAC7D,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,mBAAmB;YACjB,CAAC,CAAC,QAAQ;iBACP,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;iBAC5D,IAAI,CAAC,IAAI,CAAC,CAChB,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}