@galileodev/verify 0.1.0

package/dist/solve/agent.js

@@ -0,0 +1,151 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import { resolve, relative, isAbsolute, sep } from 'node:path';
+import { execFileSync } from 'node:child_process';
+import { StagedPipeline } from './staged-pipeline.js';
+export class SolveAgent {
+    async remediate(report, context) {
+        const resolved = [];
+        const unresolved = [];
+        const attempts = [];
+        let tokensUsed = 0;
+        if (!Number.isFinite(context.maxRetriesPerFinding) || context.maxRetriesPerFinding < 1) {
+            throw new Error('maxRetriesPerFinding must be a finite number >= 1.');
+        }
+        // Group findings by file
+        const groups = this.groupByFile(report.findings.filter((f) => f.severity === 'error'));
+        for (const [rawFile, findings] of groups) {
+            if (context.budget.exhausted()) {
+                unresolved.push(...findings);
+                continue;
+            }
+            // Sanitize path: ensure it's within workingDir
+            const file = this.safePath(context.workingDir, rawFile);
+            if (!file) {
+                unresolved.push(...findings);
+                continue;
+            }
+            const findingId = `${findings[0].ruleId}:${file}:${findings[0].line}`;
+            const history = [];
+            let retries = 0;
+            let fixed = false;
+            while (retries < context.maxRetriesPerFinding && !context.budget.exhausted()) {
+                retries++;
+                // Read current file content
+                let fileContent;
+                try {
+                    fileContent = await readFile(resolve(context.workingDir, file), 'utf-8');
+                }
+                catch {
+                    fileContent = '';
+                }
+                // Build prompt
+                const prompt = this.buildPrompt(findings, fileContent, context);
+                // Get LLM response
+                let response;
+                try {
+                    response = await context.llm.complete(prompt, undefined, history.length > 0 ? history : undefined);
+                }
+                catch {
+                    break;
+                }
+                const responseTokens = response.length; // approximate
+                try {
+                    context.budget.consume(responseTokens);
+                }
+                catch {
+                    unresolved.push(...findings);
+                    break;
+                }
+                tokensUsed += responseTokens;
+                // Parse response
+                let hypothesis;
+                let patch;
+                try {
+                    const parsed = JSON.parse(response);
+                    hypothesis = parsed.hypothesis ?? 'No hypothesis provided';
+                    patch = parsed.patch ?? '';
+                }
+                catch {
+                    hypothesis = 'Failed to parse LLM response';
+                    patch = '';
+                }
+                // Apply patch
+                if (patch) {
+                    try {
+                        await writeFile(resolve(context.workingDir, file), patch, 'utf-8');
+                    }
+                    catch {
+                        // Can't write file
+                    }
+                }
+                // Re-verify with relevant verifier
+                const reFindings = await context.verifier.runSingle(findings[0].verifierId, {
+                    workingDir: context.workingDir,
+                    files: [file],
+                    sandbox: context.sandbox,
+                });
+                const stillFailing = reFindings.some((f) => f.severity === 'error' && f.file === file);
+                attempts.push({
+                    findingId,
+                    attempt: retries,
+                    hypothesis,
+                    patch,
+                    verificationPassed: !stillFailing,
+                    tokensUsed: responseTokens,
+                });
+                if (!stillFailing) {
+                    fixed = true;
+                    resolved.push(...findings);
+                    break;
+                }
+                // Add to history for multi-turn
+                history.push({ role: 'user', content: prompt }, { role: 'assistant', content: response }, { role: 'user', content: `Fix attempt ${retries} failed. Remaining errors: ${reFindings.map((f) => f.message).join('; ')}` });
+            }
+            if (!fixed && !unresolved.includes(findings[0])) {
+                unresolved.push(...findings);
+                // Revert this file to original
+                try {
+                    execFileSync('git', ['checkout', '--', file], { cwd: context.workingDir });
+                }
+                catch {
+                    // Best effort revert
+                }
+            }
+        }
+        return {
+            resolved,
+            unresolved,
+            attempts,
+            reverted: unresolved.length > 0 && resolved.length === 0,
+            tokensUsed,
+        };
+    }
+    safePath(workingDir, file) {
+        // Convert absolute paths to relative, then verify containment
+        const relFile = isAbsolute(file) ? relative(workingDir, file) : file;
+        const resolved = resolve(workingDir, relFile);
+        const resolvedDir = resolve(workingDir);
+        if (!resolved.startsWith(resolvedDir + sep) && resolved !== resolvedDir) {
+            return null; // Path escapes workingDir
+        }
+        return relFile;
+    }
+    groupByFile(findings) {
+        const groups = new Map();
+        for (const finding of findings) {
+            const group = groups.get(finding.file) ?? [];
+            group.push(finding);
+            groups.set(finding.file, group);
+        }
+        return groups;
+    }
+    buildPrompt(findings, fileContent, context) {
+        const pipeline = new StagedPipeline({
+            staged: context.staged ?? true,
+            autoFixTrivial: context.autoFixTrivial ?? false,
+            certificates: context.certificates ?? true,
+        });
+        return pipeline.buildEnrichedPrompt(findings, fileContent);
+    }
+}
+//# sourceMappingURL=agent.js.map

package/dist/solve/agent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.js","sourceRoot":"","sources":["../../src/solve/agent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAStD,MAAM,OAAO,UAAU;IACrB,KAAK,CAAC,SAAS,CACb,MAA0B,EAC1B,OAAqB;QAErB,MAAM,QAAQ,GAA0B,EAAE,CAAC;QAC3C,MAAM,UAAU,GAA0B,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAyB,EAAE,CAAC;QAC1C,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,OAAO,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QAED,yBAAyB;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC;QAEvF,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;YACzC,IAAI,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;gBAC/B,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;gBAC7B,SAAS;YACX,CAAC;YAED,+CAA+C;YAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;gBAC7B,SAAS;YACX,CAAC;YAED,MAAM,SAAS,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACtE,MAAM,OAAO,GAAkB,EAAE,CAAC;YAClC,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,IAAI,KAAK,GAAG,KAAK,CAAC;YAElB,OAAO,OAAO,GAAG,OAAO,CAAC,oBAAoB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;gBAC7E,OAAO,EAAE,CAAC;gBAEV,4BAA4B;gBAC5B,IAAI,WAAmB,CAAC;gBACxB,IAAI,CAAC;oBACH,WAAW,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC3E,CAAC;gBAAC,MAAM,CAAC;oBACP,WAAW,GAAG,EAAE,CAAC;gBACnB,CAAC;gBAED,eAAe;gBACf,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAEhE,mBAAmB;gBACnB,IAAI,QAAgB,CAAC;gBACrB,IAAI,CAAC;oBACH,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBACrG,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM;gBACR,CAAC;gBAED,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,cAAc;gBACtD,IAAI,CAAC;oBACH,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;gBACzC,CAAC;gBAAC,MAAM,CAAC;oBACP,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;oBAC7B,MAAM;gBACR,CAAC;gBACD,UAAU,IAAI,cAAc,CAAC;gBAE7B,iBAAiB;gBACjB,IAAI,UAAkB,CAAC;gBACvB,IAAI,KAAa,CAAC;gBAClB,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBACpC,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,wBAAwB,CAAC;oBAC3D,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC7B,CAAC;gBAAC,MAAM,CAAC;oBACP,UAAU,GAAG,8BAA8B,CAAC;oBAC5C,KAAK,GAAG,EAAE,CAAC;gBACb,CAAC;gBAED,cAAc;gBACd,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,CAAC;wBACH,MAAM,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;oBACrE,CAAC;oBAAC,MAAM,CAAC;wBACP,mBAAmB;oBACrB,CAAC;gBACH,CAAC;gBAED,mCAAmC;gBACnC,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE;oBAC1E,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,KAAK,EAAE,CAAC,IAAI,CAAC;oBACb,OAAO,EAAE,OAAO,CAAC,OAAO;iBACzB,CAAC,CAAC;gBAEH,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACzC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAC1C,CAAC;gBAEF,QAAQ,CAAC,IAAI,CAAC;oBACZ,SAAS;oBACT,OAAO,EAAE,OAAO;oBAChB,UAAU;oBACV,KAAK;oBACL,kBAAkB,EAAE,CAAC,YAAY;oBACjC,UAAU,EAAE,cAAc;iBAC3B,CAAC,CAAC;gBAEH,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,KAAK,GAAG,IAAI,CAAC;oBACb,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;oBAC3B,MAAM;gBACR,CAAC;gBAED,gCAAgC;gBAChC,OAAO,CAAC,IAAI,CACV,EAAE,IAAI,EAAE,MAAe,EAAE,OAAO,EAAE,MAAM,EAAE,EAC1C,EAAE,IAAI,EAAE,WAAoB,EAAE,OAAO,EAAE,QAAQ,EAAE,EACjD,EAAE,IAAI,EAAE,MAAe,EAAE,OAAO,EAAE,eAAe,OAAO,8BAA8B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CACtI,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChD,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;gBAC7B,+BAA+B;gBAC/B,IAAI,CAAC;oBACH,YAAY,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC7E,CAAC;gBAAC,MAAM,CAAC;oBACP,qBAAqB;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,QAAQ;YACR,UAAU;YACV,QAAQ;YACR,QAAQ,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YACxD,UAAU;SACX,CAAC;IACJ,CAAC;IAEO,QAAQ,CAAC,UAAkB,EAAE,IAAY;QAC/C,8DAA8D;QAC9D,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,GAAG,GAAG,CAAC,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,CAAC,0BAA0B;QACzC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,WAAW,CAAC,QAA+B;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAC;QACxD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,WAAW,CACjB,QAA+B,EAC/B,WAAmB,EACnB,OAAqB;QAErB,MAAM,QAAQ,GAAG,IAAI,cAAc,CAAC;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI;YAC9B,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;YAC/C,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI;SAC3C,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC7D,CAAC;CACF"}

package/dist/solve/hint-matcher.d.ts

@@ -0,0 +1,8 @@
+import type { VerificationFinding } from '../types.js';
+export interface FixHint {
+    type: 'ADD_IMPORT' | 'TYPE_MISMATCH' | 'REMOVE_UNUSED' | 'ARITY_MISMATCH';
+    finding: VerificationFinding;
+    details: Record<string, string | number>;
+}
+export declare function matchHints(findings: VerificationFinding[]): FixHint[];
+//# sourceMappingURL=hint-matcher.d.ts.map

package/dist/solve/hint-matcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hint-matcher.d.ts","sourceRoot":"","sources":["../../src/solve/hint-matcher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,YAAY,GAAG,eAAe,GAAG,eAAe,GAAG,gBAAgB,CAAC;IAC1E,OAAO,EAAE,mBAAmB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC;CAC1C;AA+BD,wBAAgB,UAAU,CAAC,QAAQ,EAAE,mBAAmB,EAAE,GAAG,OAAO,EAAE,CAYrE"}

package/dist/solve/hint-matcher.js

@@ -0,0 +1,36 @@
+const PATTERNS = [
+    {
+        regex: /Cannot find module '([^']+)'/,
+        type: 'ADD_IMPORT',
+        extract: (m) => ({ module: m[1] }),
+    },
+    {
+        regex: /Property '([^']+)' does not exist on type '([^']+)'/,
+        type: 'TYPE_MISMATCH',
+        extract: (m) => ({ property: m[1], expectedType: m[2] }),
+    },
+    {
+        regex: /'([^']+)' is declared but (?:its value is )?never (?:read|used)/,
+        type: 'REMOVE_UNUSED',
+        extract: (m) => ({ identifier: m[1] }),
+    },
+    {
+        regex: /Expected (\d+) arguments?, but got (\d+)/,
+        type: 'ARITY_MISMATCH',
+        extract: (m) => ({ expected: parseInt(m[1], 10), got: parseInt(m[2], 10) }),
+    },
+];
+export function matchHints(findings) {
+    const hints = [];
+    for (const finding of findings) {
+        for (const pattern of PATTERNS) {
+            const match = finding.message.match(pattern.regex);
+            if (match) {
+                hints.push({ type: pattern.type, finding, details: pattern.extract(match) });
+                break;
+            }
+        }
+    }
+    return hints;
+}
+//# sourceMappingURL=hint-matcher.js.map

package/dist/solve/hint-matcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hint-matcher.js","sourceRoot":"","sources":["../../src/solve/hint-matcher.ts"],"names":[],"mappings":"AAcA,MAAM,QAAQ,GAAkB;IAC9B;QACE,KAAK,EAAE,8BAA8B;QACrC,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACnC;IACD;QACE,KAAK,EAAE,qDAAqD;QAC5D,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACzD;IACD;QACE,KAAK,EAAE,iEAAiE;QACxE,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACvC;IACD;QACE,KAAK,EAAE,0CAA0C;QACjD,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;KAC5E;CACF,CAAC;AAEF,MAAM,UAAU,UAAU,CAAC,QAA+B;IACxD,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACnD,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/solve/staged-pipeline.d.ts

@@ -0,0 +1,12 @@
+import type { VerificationFinding } from '../types.js';
+export interface StagedPipelineConfig {
+    staged: boolean;
+    autoFixTrivial: boolean;
+    certificates: boolean;
+}
+export declare class StagedPipeline {
+    private readonly config;
+    constructor(config: StagedPipelineConfig);
+    buildEnrichedPrompt(findings: VerificationFinding[], fileContent: string): string;
+}
+//# sourceMappingURL=staged-pipeline.d.ts.map

package/dist/solve/staged-pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"staged-pipeline.d.ts","sourceRoot":"","sources":["../../src/solve/staged-pipeline.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAGvD,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,qBAAa,cAAc;IACb,OAAO,CAAC,QAAQ,CAAC,MAAM;gBAAN,MAAM,EAAE,oBAAoB;IAEzD,mBAAmB,CACjB,QAAQ,EAAE,mBAAmB,EAAE,EAC/B,WAAW,EAAE,MAAM,GAClB,MAAM;CA8CV"}

package/dist/solve/staged-pipeline.js

@@ -0,0 +1,51 @@
+import { matchHints } from './hint-matcher.js';
+export class StagedPipeline {
+    config;
+    constructor(config) {
+        this.config = config;
+    }
+    buildEnrichedPrompt(findings, fileContent) {
+        const parts = [
+            'You are a code repair agent. Fix the following verification errors.',
+            '',
+            '## File Content',
+            '```',
+            fileContent,
+            '```',
+            '',
+        ];
+        if (this.config.staged) {
+            const hints = matchHints(findings);
+            const hintMap = new Map();
+            for (const hint of hints) {
+                hintMap.set(hint.finding, hint);
+            }
+            parts.push('## Errors to Fix');
+            for (const finding of findings) {
+                const hint = hintMap.get(finding);
+                if (hint) {
+                    parts.push(`- [${finding.ruleId}] Line ${finding.line}: ${finding.message}`);
+                    parts.push(`  HINT: ${hint.type} — ${JSON.stringify(hint.details)}`);
+                }
+                else {
+                    parts.push(`- [${finding.ruleId}] Line ${finding.line}: ${finding.message}`);
+                }
+            }
+        }
+        else {
+            parts.push('## Errors to Fix');
+            for (const finding of findings) {
+                parts.push(`- [${finding.ruleId}] Line ${finding.line}: ${finding.message}`);
+            }
+        }
+        parts.push('', '## Instructions');
+        parts.push('Respond with a JSON object: { "hypothesis": "what you think is wrong", "patch": "the complete fixed file content" }');
+        parts.push('The patch must be the ENTIRE file content, not a diff.');
+        if (this.config.certificates) {
+            parts.push('');
+            parts.push('IMPORTANT: For each change you make, include a `// CERT: <reason>` comment explaining WHY this change fixes the specific error. Changes without certificates will be flagged for human review.');
+        }
+        return parts.join('\n');
+    }
+}
+//# sourceMappingURL=staged-pipeline.js.map

package/dist/solve/staged-pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"staged-pipeline.js","sourceRoot":"","sources":["../../src/solve/staged-pipeline.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAQ/C,MAAM,OAAO,cAAc;IACI;IAA7B,YAA6B,MAA4B;QAA5B,WAAM,GAAN,MAAM,CAAsB;IAAG,CAAC;IAE7D,mBAAmB,CACjB,QAA+B,EAC/B,WAAmB;QAEnB,MAAM,KAAK,GAAa;YACtB,qEAAqE;YACrE,EAAE;YACF,iBAAiB;YACjB,KAAK;YACL,WAAW;YACX,KAAK;YACL,EAAE;SACH,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwC,CAAC;YAChE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClC,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAClC,IAAI,IAAI,EAAE,CAAC;oBACT,KAAK,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;oBAC7E,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACvE,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,KAAK,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,qHAAqH,CAAC,CAAC;QAClI,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QAErE,IAAI,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,gMAAgM,CAAC,CAAC;QAC/M,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF"}

package/dist/trust/trust-evaluator.d.ts

@@ -0,0 +1,9 @@
+import type { TrustEntry } from './types.js';
+import type { VerificationFinding } from '../types.js';
+export declare class TrustEvaluator {
+    findingSeverity(finding: VerificationFinding): number;
+    remediationPriority(finding: VerificationFinding, trust: TrustEntry): number;
+    shouldSkipVerification(trust: TrustEntry, fileChanged: boolean): boolean;
+    prioritize(findings: VerificationFinding[], trustMap: Map<string, TrustEntry>): VerificationFinding[];
+}
+//# sourceMappingURL=trust-evaluator.d.ts.map

package/dist/trust/trust-evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trust-evaluator.d.ts","sourceRoot":"","sources":["../../src/trust/trust-evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAQvD,qBAAa,cAAc;IACzB,eAAe,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM;IAIrD,mBAAmB,CAAC,OAAO,EAAE,mBAAmB,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM;IAI5E,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,GAAG,OAAO;IAKxE,UAAU,CACR,QAAQ,EAAE,mBAAmB,EAAE,EAC/B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAChC,mBAAmB,EAAE;CAYzB"}

package/dist/trust/trust-evaluator.js

@@ -0,0 +1,30 @@
+const SEVERITY_MAP = {
+    error: 1.0,
+    warning: 0.5,
+    info: 0.1,
+};
+export class TrustEvaluator {
+    findingSeverity(finding) {
+        return SEVERITY_MAP[finding.severity] ?? 0.0;
+    }
+    remediationPriority(finding, trust) {
+        return this.findingSeverity(finding) * (1 - trust.trustScore);
+    }
+    shouldSkipVerification(trust, fileChanged) {
+        if (fileChanged)
+            return false;
+        return trust.tier === 'senior' || trust.tier === 'principal';
+    }
+    prioritize(findings, trustMap) {
+        const defaultTrust = {
+            passCount: 0, failCount: 0, trustScore: 0,
+            tier: 'intern', consecutivePasses: 0, lastVerified: 0,
+        };
+        return [...findings].sort((a, b) => {
+            const trustA = trustMap.get(a.file) ?? defaultTrust;
+            const trustB = trustMap.get(b.file) ?? defaultTrust;
+            return this.remediationPriority(b, trustB) - this.remediationPriority(a, trustA);
+        });
+    }
+}
+//# sourceMappingURL=trust-evaluator.js.map

package/dist/trust/trust-evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trust-evaluator.js","sourceRoot":"","sources":["../../src/trust/trust-evaluator.ts"],"names":[],"mappings":"AAGA,MAAM,YAAY,GAA2B;IAC3C,KAAK,EAAE,GAAG;IACV,OAAO,EAAE,GAAG;IACZ,IAAI,EAAE,GAAG;CACV,CAAC;AAEF,MAAM,OAAO,cAAc;IACzB,eAAe,CAAC,OAA4B;QAC1C,OAAO,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC;IAC/C,CAAC;IAED,mBAAmB,CAAC,OAA4B,EAAE,KAAiB;QACjE,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC;IAED,sBAAsB,CAAC,KAAiB,EAAE,WAAoB;QAC5D,IAAI,WAAW;YAAE,OAAO,KAAK,CAAC;QAC9B,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC;IAC/D,CAAC;IAED,UAAU,CACR,QAA+B,EAC/B,QAAiC;QAEjC,MAAM,YAAY,GAAe;YAC/B,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;YACzC,IAAI,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;SACtD,CAAC;QAEF,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC;YACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC;YACpD,OAAO,IAAI,CAAC,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/trust/trust-store.d.ts

@@ -0,0 +1,16 @@
+import type { TrustEntry, TrustStoreConfig } from './types.js';
+export declare class TrustStore {
+    private entries;
+    private readonly filePath;
+    private readonly promotionThreshold;
+    private readonly promotionBonus;
+    private readonly demotionPenalty;
+    constructor(dir: string, config?: TrustStoreConfig);
+    get(file: string): TrustEntry;
+    recordPass(file: string): void;
+    recordFail(file: string): void;
+    getAll(): Map<string, TrustEntry>;
+    save(): Promise<void>;
+    load(): Promise<void>;
+}
+//# sourceMappingURL=trust-store.d.ts.map

package/dist/trust/trust-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trust-store.d.ts","sourceRoot":"","sources":["../../src/trust/trust-store.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAa,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAS1E,qBAAa,UAAU;IACrB,OAAO,CAAC,OAAO,CAAiC;IAChD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAClC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAS;IAC5C,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAS;IACxC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;gBAE7B,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,gBAAgB;IAOlD,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU;IAW7B,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAc9B,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAW9B,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;IAI3B,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAYrB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;CAW5B"}

package/dist/trust/trust-store.js

@@ -0,0 +1,86 @@
+import { readFile, writeFile, mkdir } from 'node:fs/promises';
+import { existsSync } from 'node:fs';
+import { join } from 'node:path';
+function tierFromScore(score) {
+    if (score >= 0.75)
+        return 'principal';
+    if (score >= 0.50)
+        return 'senior';
+    if (score >= 0.25)
+        return 'junior';
+    return 'intern';
+}
+export class TrustStore {
+    entries = new Map();
+    filePath;
+    promotionThreshold;
+    promotionBonus;
+    demotionPenalty;
+    constructor(dir, config) {
+        this.filePath = join(dir, 'trust.json');
+        this.promotionThreshold = config?.promotionThreshold ?? 5;
+        this.promotionBonus = config?.promotionBonus ?? 0.1;
+        this.demotionPenalty = config?.demotionPenalty ?? 0.2;
+    }
+    get(file) {
+        const entry = this.entries.get(file);
+        if (entry) {
+            return { ...entry };
+        }
+        return {
+            passCount: 0, failCount: 0, trustScore: 0,
+            tier: 'intern', consecutivePasses: 0, lastVerified: 0,
+        };
+    }
+    recordPass(file) {
+        const entry = this.get(file);
+        entry.passCount++;
+        entry.consecutivePasses++;
+        entry.lastVerified = Date.now();
+        entry.trustScore = entry.passCount / (entry.passCount + entry.failCount + 1);
+        if (entry.consecutivePasses >= this.promotionThreshold) {
+            entry.trustScore = Math.min(1.0, entry.trustScore + this.promotionBonus);
+            entry.consecutivePasses = 0;
+        }
+        entry.tier = tierFromScore(entry.trustScore);
+        this.entries.set(file, entry);
+    }
+    recordFail(file) {
+        const entry = this.get(file);
+        entry.failCount++;
+        entry.consecutivePasses = 0;
+        entry.lastVerified = Date.now();
+        entry.trustScore = entry.passCount / (entry.passCount + entry.failCount + 1);
+        entry.trustScore = Math.max(0.0, entry.trustScore - this.demotionPenalty);
+        entry.tier = tierFromScore(entry.trustScore);
+        this.entries.set(file, entry);
+    }
+    getAll() {
+        return new Map(this.entries);
+    }
+    async save() {
+        const dir = join(this.filePath, '..');
+        if (!existsSync(dir)) {
+            await mkdir(dir, { recursive: true });
+        }
+        const obj = {};
+        for (const [key, val] of this.entries) {
+            obj[key] = val;
+        }
+        await writeFile(this.filePath, JSON.stringify(obj, null, 2), 'utf-8');
+    }
+    async load() {
+        if (!existsSync(this.filePath))
+            return;
+        try {
+            const raw = await readFile(this.filePath, 'utf-8');
+            const obj = JSON.parse(raw);
+            this.entries = new Map(Object.entries(obj));
+        }
+        catch {
+            // Corrupted/partially-written trust file — start fresh rather than crash
+            this.entries = new Map();
+        }
+    }
+}
+//# sourceMappingURL=trust-store.js.map

package/dist/trust/trust-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trust-store.js","sourceRoot":"","sources":["../../src/trust/trust-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,SAAS,aAAa,CAAC,KAAa;IAClC,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,WAAW,CAAC;IACtC,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,QAAQ,CAAC;IACnC,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,QAAQ,CAAC;IACnC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,OAAO,UAAU;IACb,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/B,QAAQ,CAAS;IACjB,kBAAkB,CAAS;IAC3B,cAAc,CAAS;IACvB,eAAe,CAAS;IAEzC,YAAY,GAAW,EAAE,MAAyB;QAChD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACxC,IAAI,CAAC,kBAAkB,GAAG,MAAM,EAAE,kBAAkB,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,cAAc,GAAG,MAAM,EAAE,cAAc,IAAI,GAAG,CAAC;QACpD,IAAI,CAAC,eAAe,GAAG,MAAM,EAAE,eAAe,IAAI,GAAG,CAAC;IACxD,CAAC;IAED,GAAG,CAAC,IAAY;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;QACtB,CAAC;QACD,OAAO;YACL,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;YACzC,IAAI,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;SACtD,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,CAAC,SAAS,EAAE,CAAC;QAClB,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAChC,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;QAC7E,IAAI,KAAK,CAAC,iBAAiB,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACvD,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC;YACzE,KAAK,CAAC,iBAAiB,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,KAAK,CAAC,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,CAAC,SAAS,EAAE,CAAC;QAClB,KAAK,CAAC,iBAAiB,GAAG,CAAC,CAAC;QAC5B,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAChC,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;QAC7E,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,IAAI;QACR,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,GAAG,GAA+B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACtC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QACjB,CAAC;QACD,MAAM,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,KAAK,CAAC,IAAI;QACR,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO;QACvC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACnD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA+B,CAAC;YAC1D,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;QAAC,MAAM,CAAC;YACP,yEAAyE;YACzE,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;QAC3B,CAAC;IACH,CAAC;CACF"}

package/dist/trust/types.d.ts

@@ -0,0 +1,15 @@
+export type TrustTier = 'intern' | 'junior' | 'senior' | 'principal';
+export interface TrustEntry {
+    passCount: number;
+    failCount: number;
+    trustScore: number;
+    tier: TrustTier;
+    consecutivePasses: number;
+    lastVerified: number;
+}
+export interface TrustStoreConfig {
+    promotionThreshold?: number;
+    promotionBonus?: number;
+    demotionPenalty?: number;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/trust/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/trust/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAErE,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,SAAS,CAAC;IAChB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B"}

package/dist/trust/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/trust/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/trust/types.ts"],"names":[],"mappings":""}

package/dist/types.d.ts

@@ -0,0 +1,132 @@
+import type { PlaybookSnapshot } from '@galileodev/core';
+export type RenderedTemplate = string;
+export interface GuideContext {
+    playbook: PlaybookSnapshot;
+    template: RenderedTemplate;
+    verificationHistory: VerificationFinding[];
+    projectConstraints: ProjectConstraint[];
+    fileTree?: string[];
+}
+export interface ProjectConstraint {
+    id: string;
+    rule: string;
+    severity: 'error' | 'warning';
+    scope?: string;
+}
+export interface GuideOptions {
+    maxPlaybookEntries?: number;
+    includeFileTree?: boolean;
+    fileTreeDepth?: number;
+}
+export interface VerificationFinding {
+    verifierId: string;
+    severity: 'error' | 'warning' | 'info';
+    ruleId: string;
+    message: string;
+    file: string;
+    line: number;
+    column?: number;
+    suggestedFix?: string;
+    risk?: number;
+}
+export interface VerificationReport {
+    passed: boolean;
+    findings: VerificationFinding[];
+    summary: {
+        errors: number;
+        warnings: number;
+        info: number;
+    };
+    duration: number;
+    overallRisk?: number;
+    trustSnapshot?: Record<string, import('./trust/types.js').TrustEntry>;
+}
+export interface VerifyTarget {
+    workingDir: string;
+    files?: string[];
+    sandbox: import('@galileodev/core').ExecutionSandbox;
+}
+export interface VerifierPlugin {
+    id: string;
+    name: string;
+    available(): Promise<boolean>;
+    run(target: VerifyTarget): Promise<VerificationFinding[]>;
+}
+export interface SolveContext {
+    workingDir: string;
+    guideContext: GuideContext;
+    llm: import('@galileodev/core').LLMProvider;
+    sandbox: import('@galileodev/core').ExecutionSandbox;
+    verifier: import('./verifier/runner.js').VerifierRunner;
+    budget: import('@galileodev/core').TokenBudget;
+    maxRetriesPerFinding: number;
+    staged?: boolean;
+    autoFixTrivial?: boolean;
+    certificates?: boolean;
+}
+export interface SolveResult {
+    resolved: VerificationFinding[];
+    unresolved: VerificationFinding[];
+    attempts: RemediationAttempt[];
+    reverted: boolean;
+    tokensUsed: number;
+}
+export interface RemediationAttempt {
+    findingId: string;
+    attempt: number;
+    hypothesis: string;
+    patch: string;
+    verificationPassed: boolean;
+    tokensUsed: number;
+}
+export interface KarpathyMetric {
+    name: string;
+    command: string;
+    parseOutput(stdout: string): number;
+    direction: 'minimize' | 'maximize';
+}
+export interface KarpathyConfig {
+    workingDir: string;
+    targetFiles: string[];
+    metric: KarpathyMetric;
+    llm: import('@galileodev/core').LLMProvider;
+    sandbox: import('@galileodev/core').ExecutionSandbox;
+    verifier: import('./verifier/runner.js').VerifierRunner;
+    budget: import('@galileodev/core').TokenBudget;
+    maxExperiments: number;
+    timeBudgetMs?: number;
+}
+export interface KarpathyResult {
+    experiments: KarpathyExperiment[];
+    bestScore: number;
+    baselineScore: number;
+    improved: boolean;
+    tokensUsed: number;
+}
+export interface KarpathyExperiment {
+    id: number;
+    hypothesis: string;
+    patch: string;
+    score: number;
+    verificationPassed: boolean;
+    kept: boolean;
+    tokensUsed: number;
+}
+export interface ACDCInput {
+    taskId: string;
+    instruction: string;
+    projectDir: string;
+    llm: import('@galileodev/core').LLMProvider;
+    maxCycles: number;
+    budget: import('@galileodev/core').TokenBudget;
+}
+export interface ACDCResult {
+    taskId: string;
+    generation: import('@galileodev/core').GenerationResult;
+    verification: VerificationReport;
+    remediation?: SolveResult;
+    cycles: number;
+    passed: boolean;
+    tokensUsed: number;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAIzD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEtC,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,mBAAmB,EAAE,mBAAmB,EAAE,CAAC;IAC3C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5D,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC;CACvE;AAED,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,OAAO,kBAAkB,EAAE,gBAAgB,CAAC;CACtD;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;CAC3D;AAID,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,YAAY,CAAC;IAC3B,GAAG,EAAE,OAAO,kBAAkB,EAAE,WAAW,CAAC;IAC5C,OAAO,EAAE,OAAO,kBAAkB,EAAE,gBAAgB,CAAC;IACrD,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IACxD,MAAM,EAAE,OAAO,kBAAkB,EAAE,WAAW,CAAC;IAC/C,oBAAoB,EAAE,MAAM,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,kBAAkB,EAAE,OAAO,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACpC,SAAS,EAAE,UAAU,GAAG,UAAU,CAAC;CACpC;AAED,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,EAAE,cAAc,CAAC;IACvB,GAAG,EAAE,OAAO,kBAAkB,EAAE,WAAW,CAAC;IAC5C,OAAO,EAAE,OAAO,kBAAkB,EAAE,gBAAgB,CAAC;IACrD,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IACxD,MAAM,EAAE,OAAO,kBAAkB,EAAE,WAAW,CAAC;IAC/C,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,kBAAkB,EAAE,OAAO,CAAC;IAC5B,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,GAAG,EAAE,OAAO,kBAAkB,EAAE,WAAW,CAAC;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,OAAO,kBAAkB,EAAE,WAAW,CAAC;CAChD;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,OAAO,kBAAkB,EAAE,gBAAgB,CAAC;IACxD,YAAY,EAAE,kBAAkB,CAAC;IACjC,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/dist/utils/secret-strip.d.ts

@@ -0,0 +1,6 @@
+export interface StripResult {
+    stripped: string;
+    restorationMap?: Record<string, string>;
+}
+export declare function stripSecrets(content: string, mode?: 'context' | 'remediation'): StripResult;
+//# sourceMappingURL=secret-strip.d.ts.map

package/dist/utils/secret-strip.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"secret-strip.d.ts","sourceRoot":"","sources":["../../src/utils/secret-strip.ts"],"names":[],"mappings":"AAYA,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzC;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,MAAM,EACf,IAAI,GAAE,SAAS,GAAG,aAA6B,GAC9C,WAAW,CA8Bb"}