@galileodev/verify 0.1.0

package/dist/guide/composer.d.ts

@@ -0,0 +1,10 @@
+import type { PlaybookStore } from '@galileodev/core';
+import type { GuideContext, GuideOptions } from '../types.js';
+export declare class GuideComposer {
+    private readonly store;
+    private readonly galileoDir;
+    private readonly templateRenderer?;
+    constructor(store: PlaybookStore, galileoDir: string, templateRenderer?: (() => Promise<string>) | undefined);
+    compose(taskId: string, options?: GuideOptions): Promise<GuideContext>;
+}
+//# sourceMappingURL=composer.d.ts.map

package/dist/guide/composer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"composer.d.ts","sourceRoot":"","sources":["../../src/guide/composer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAoB,MAAM,kBAAkB,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAuB,MAAM,aAAa,CAAC;AAInF,qBAAa,aAAa;IAEtB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBAFjB,KAAK,EAAE,aAAa,EACpB,UAAU,EAAE,MAAM,EAClB,gBAAgB,CAAC,GAAE,MAAM,OAAO,CAAC,MAAM,CAAC,aAAA;IAGrD,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;CAyC7E"}

package/dist/guide/composer.js

@@ -0,0 +1,48 @@
+import { loadConstraints } from './constraints.js';
+import { scanFileTree } from './file-tree.js';
+export class GuideComposer {
+    store;
+    galileoDir;
+    templateRenderer;
+    constructor(store, galileoDir, templateRenderer) {
+        this.store = store;
+        this.galileoDir = galileoDir;
+        this.templateRenderer = templateRenderer;
+    }
+    async compose(taskId, options) {
+        const maxEntries = options?.maxPlaybookEntries ?? 20;
+        const includeFileTree = options?.includeFileTree ?? true;
+        const fileTreeDepth = options?.fileTreeDepth ?? 3;
+        const allEntries = await this.store.getActiveEntries();
+        const limitedEntries = allEntries.slice(-maxEntries);
+        const playbook = {
+            entries: limitedEntries,
+            takenAt: new Date().toISOString(),
+        };
+        const template = this.templateRenderer ? await this.templateRenderer() : '';
+        const verificationHistory = allEntries
+            .filter((e) => e.kind === 'verification-failure')
+            .map((e) => ({
+            verifierId: e.metadata.verifierId ?? 'unknown',
+            severity: e.metadata.severity ?? 'error',
+            ruleId: e.metadata.ruleId ?? 'unknown',
+            message: e.content,
+            file: e.metadata.file ?? 'unknown',
+            line: e.metadata.line ?? 0,
+            column: e.metadata.column,
+            suggestedFix: e.metadata.suggestedFix,
+        }));
+        const projectConstraints = await loadConstraints(this.galileoDir);
+        const fileTree = includeFileTree
+            ? await scanFileTree(this.galileoDir, fileTreeDepth)
+            : undefined;
+        return {
+            playbook,
+            template,
+            verificationHistory,
+            projectConstraints,
+            fileTree,
+        };
+    }
+}
+//# sourceMappingURL=composer.js.map

package/dist/guide/composer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composer.js","sourceRoot":"","sources":["../../src/guide/composer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,MAAM,OAAO,aAAa;IAEL;IACA;IACA;IAHnB,YACmB,KAAoB,EACpB,UAAkB,EAClB,gBAAwC;QAFxC,UAAK,GAAL,KAAK,CAAe;QACpB,eAAU,GAAV,UAAU,CAAQ;QAClB,qBAAgB,GAAhB,gBAAgB,CAAwB;IACxD,CAAC;IAEJ,KAAK,CAAC,OAAO,CAAC,MAAc,EAAE,OAAsB;QAClD,MAAM,UAAU,GAAG,OAAO,EAAE,kBAAkB,IAAI,EAAE,CAAC;QACrD,MAAM,eAAe,GAAG,OAAO,EAAE,eAAe,IAAI,IAAI,CAAC;QACzD,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,CAAC,CAAC;QAElD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACvD,MAAM,cAAc,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;QACrD,MAAM,QAAQ,GAAqB;YACjC,OAAO,EAAE,cAAc;YACvB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SAClC,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE5E,MAAM,mBAAmB,GAAG,UAAU;aACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC;aAChD,GAAG,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC;YAChC,UAAU,EAAG,CAAC,CAAC,QAAQ,CAAC,UAAqB,IAAI,SAAS;YAC1D,QAAQ,EAAG,CAAC,CAAC,QAAQ,CAAC,QAA4C,IAAI,OAAO;YAC7E,MAAM,EAAG,CAAC,CAAC,QAAQ,CAAC,MAAiB,IAAI,SAAS;YAClD,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAG,CAAC,CAAC,QAAQ,CAAC,IAAe,IAAI,SAAS;YAC9C,IAAI,EAAG,CAAC,CAAC,QAAQ,CAAC,IAAe,IAAI,CAAC;YACtC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,MAA4B;YAC/C,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAkC;SAC5D,CAAC,CAAC,CAAC;QAEN,MAAM,kBAAkB,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAElE,MAAM,QAAQ,GAAG,eAAe;YAC9B,CAAC,CAAC,MAAM,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;YACpD,CAAC,CAAC,SAAS,CAAC;QAEd,OAAO;YACL,QAAQ;YACR,QAAQ;YACR,mBAAmB;YACnB,kBAAkB;YAClB,QAAQ;SACT,CAAC;IACJ,CAAC;CACF"}

package/dist/guide/constraints.d.ts

@@ -0,0 +1,3 @@
+import type { ProjectConstraint } from '../types.js';
+export declare function loadConstraints(galileoDir: string): Promise<ProjectConstraint[]>;
+//# sourceMappingURL=constraints.d.ts.map

package/dist/guide/constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.d.ts","sourceRoot":"","sources":["../../src/guide/constraints.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAErD,wBAAsB,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAOtF"}

package/dist/guide/constraints.js

@@ -0,0 +1,12 @@
+import { readFile } from 'node:fs/promises';
+import { existsSync } from 'node:fs';
+import { join } from 'node:path';
+export async function loadConstraints(galileoDir) {
+    const constraintsPath = join(galileoDir, 'constraints.json');
+    if (!existsSync(constraintsPath)) {
+        return [];
+    }
+    const raw = await readFile(constraintsPath, 'utf-8');
+    return JSON.parse(raw);
+}
+//# sourceMappingURL=constraints.js.map

package/dist/guide/constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.js","sourceRoot":"","sources":["../../src/guide/constraints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,UAAkB;IACtD,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC7D,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAwB,CAAC;AAChD,CAAC"}

package/dist/guide/file-tree.d.ts

@@ -0,0 +1,2 @@
+export declare function scanFileTree(rootDir: string, maxDepth?: number): Promise<string[]>;
+//# sourceMappingURL=file-tree.d.ts.map

package/dist/guide/file-tree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-tree.d.ts","sourceRoot":"","sources":["../../src/guide/file-tree.ts"],"names":[],"mappings":"AAGA,wBAAsB,YAAY,CAChC,OAAO,EAAE,MAAM,EACf,QAAQ,GAAE,MAAU,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAInB"}

package/dist/guide/file-tree.js

@@ -0,0 +1,24 @@
+import { readdir } from 'node:fs/promises';
+import { join, relative } from 'node:path';
+export async function scanFileTree(rootDir, maxDepth = 3) {
+    const files = [];
+    await walk(rootDir, rootDir, 0, maxDepth, files);
+    return files.sort();
+}
+async function walk(rootDir, currentDir, depth, maxDepth, files) {
+    if (depth > maxDepth)
+        return;
+    const entries = await readdir(currentDir, { withFileTypes: true });
+    for (const entry of entries) {
+        if (entry.name.startsWith('.') || entry.name === 'node_modules' || entry.name === 'dist') {
+            continue;
+        }
+        const fullPath = join(currentDir, entry.name);
+        const relPath = relative(rootDir, fullPath);
+        files.push(relPath);
+        if (entry.isDirectory()) {
+            await walk(rootDir, fullPath, depth + 1, maxDepth, files);
+        }
+    }
+}
+//# sourceMappingURL=file-tree.js.map

package/dist/guide/file-tree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-tree.js","sourceRoot":"","sources":["../../src/guide/file-tree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,OAAe,EACf,WAAmB,CAAC;IAEpB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,KAAK,UAAU,IAAI,CACjB,OAAe,EACf,UAAkB,EAClB,KAAa,EACb,QAAgB,EAChB,KAAe;IAEf,IAAI,KAAK,GAAG,QAAQ;QAAE,OAAO;IAE7B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzF,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,MAAM,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,22 @@
+export type { GuideContext, GuideOptions, ProjectConstraint, RenderedTemplate, VerificationFinding, VerificationReport, VerifyTarget, VerifierPlugin, SolveContext, SolveResult, RemediationAttempt, KarpathyMetric, KarpathyConfig, KarpathyResult, KarpathyExperiment, ACDCInput, ACDCResult, } from './types.js';
+export { GuideComposer } from './guide/composer.js';
+export { loadConstraints } from './guide/constraints.js';
+export { scanFileTree } from './guide/file-tree.js';
+export { VerifierRunner } from './verifier/runner.js';
+export { TscVerifier } from './verifier/plugins/tsc.js';
+export { TestRunnerVerifier } from './verifier/plugins/test-runner.js';
+export { EslintVerifier } from './verifier/plugins/eslint.js';
+export { SemgrepVerifier } from './verifier/plugins/semgrep.js';
+export { SolveAgent } from './solve/agent.js';
+export { KarpathyLoop } from './karpathy/loop.js';
+export { ACDCOrchestrator } from './orchestrator/acdc.js';
+export { TrustStore } from './trust/trust-store.js';
+export { TrustEvaluator } from './trust/trust-evaluator.js';
+export type { TrustEntry, TrustTier, TrustStoreConfig } from './trust/types.js';
+export { StagedPipeline } from './solve/staged-pipeline.js';
+export type { StagedPipelineConfig } from './solve/staged-pipeline.js';
+export { matchHints } from './solve/hint-matcher.js';
+export type { FixHint } from './solve/hint-matcher.js';
+export { stripSecrets } from './utils/secret-strip.js';
+export type { StripResult } from './utils/secret-strip.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,YAAY,EACV,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,WAAW,EACX,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,SAAS,EACT,UAAU,GACX,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGpD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGhF,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,YAAY,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,YAAY,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAGvD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/index.js

@@ -0,0 +1,25 @@
+// Guide
+export { GuideComposer } from './guide/composer.js';
+export { loadConstraints } from './guide/constraints.js';
+export { scanFileTree } from './guide/file-tree.js';
+// Verifier
+export { VerifierRunner } from './verifier/runner.js';
+export { TscVerifier } from './verifier/plugins/tsc.js';
+export { TestRunnerVerifier } from './verifier/plugins/test-runner.js';
+export { EslintVerifier } from './verifier/plugins/eslint.js';
+export { SemgrepVerifier } from './verifier/plugins/semgrep.js';
+// Solve
+export { SolveAgent } from './solve/agent.js';
+// Karpathy
+export { KarpathyLoop } from './karpathy/loop.js';
+// Orchestrator
+export { ACDCOrchestrator } from './orchestrator/acdc.js';
+// Trust
+export { TrustStore } from './trust/trust-store.js';
+export { TrustEvaluator } from './trust/trust-evaluator.js';
+// Staged Remediation
+export { StagedPipeline } from './solve/staged-pipeline.js';
+export { matchHints } from './solve/hint-matcher.js';
+// Secret Stripping
+export { stripSecrets } from './utils/secret-strip.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAqBA,QAAQ;AACR,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,WAAW;AACX,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,QAAQ;AACR,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,WAAW;AACX,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,eAAe;AACf,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,QAAQ;AACR,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAG5D,qBAAqB;AACrB,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAE5D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAGrD,mBAAmB;AACnB,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/karpathy/loop.d.ts

@@ -0,0 +1,6 @@
+import type { KarpathyConfig, KarpathyResult } from '../types.js';
+export declare class KarpathyLoop {
+    optimize(config: KarpathyConfig): Promise<KarpathyResult>;
+    private buildPrompt;
+}
+//# sourceMappingURL=loop.d.ts.map

package/dist/karpathy/loop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop.d.ts","sourceRoot":"","sources":["../../src/karpathy/loop.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,cAAc,EACd,cAAc,EAEf,MAAM,aAAa,CAAC;AAErB,qBAAa,YAAY;IACjB,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC;IAyK/D,OAAO,CAAC,WAAW;CA8BpB"}

package/dist/karpathy/loop.js

@@ -0,0 +1,169 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { execFileSync } from 'node:child_process';
+import { RatchetGuard } from '@galileodev/core';
+export class KarpathyLoop {
+    async optimize(config) {
+        const { workingDir, targetFiles, metric, llm, sandbox, verifier, budget, maxExperiments, timeBudgetMs, } = config;
+        if (!Number.isFinite(maxExperiments) || maxExperiments < 1) {
+            throw new Error('maxExperiments must be a finite number >= 1.');
+        }
+        if (targetFiles.length === 0) {
+            throw new Error('targetFiles must contain at least one file.');
+        }
+        if (timeBudgetMs !== undefined && (!Number.isFinite(timeBudgetMs) || timeBudgetMs <= 0)) {
+            throw new Error('timeBudgetMs must be a finite positive number.');
+        }
+        const guard = new RatchetGuard(workingDir);
+        await guard.checkpoint();
+        // 1. Establish baseline
+        const baselineResult = await sandbox.exec(metric.command.split(' ')[0], metric.command.split(' ').slice(1), { workingDir, timeoutMs: 30000 });
+        const baselineScore = metric.parseOutput(baselineResult.stdout);
+        if (!Number.isFinite(baselineScore)) {
+            throw new Error(`Baseline metric measurement returned non-finite value: ${baselineScore}`);
+        }
+        const experiments = [];
+        let bestScore = baselineScore;
+        let tokensUsed = 0;
+        const startTime = Date.now();
+        const history = [];
+        for (let i = 0; i < maxExperiments; i++) {
+            if (budget.exhausted())
+                break;
+            if (timeBudgetMs && Date.now() - startTime >= timeBudgetMs)
+                break;
+            // Read target files
+            const fileContents = {};
+            for (const file of targetFiles) {
+                try {
+                    fileContents[file] = await readFile(join(workingDir, file), 'utf-8');
+                }
+                catch {
+                    fileContents[file] = '';
+                }
+            }
+            // Ask LLM for improvement
+            const prompt = this.buildPrompt(fileContents, metric.name, metric.direction, bestScore, experiments);
+            let response;
+            try {
+                response = await llm.complete(prompt, undefined, history.length > 0 ? history : undefined);
+            }
+            catch {
+                break;
+            }
+            const responseTokens = response.length;
+            try {
+                budget.consume(responseTokens);
+            }
+            catch {
+                break;
+            }
+            tokensUsed += responseTokens;
+            // Parse response
+            let hypothesis;
+            let patch;
+            try {
+                const parsed = JSON.parse(response);
+                hypothesis = parsed.hypothesis ?? '';
+                patch = parsed.patch ?? '';
+            }
+            catch {
+                experiments.push({
+                    id: i + 1, hypothesis: 'Failed to parse response', patch: '',
+                    score: bestScore, verificationPassed: false, kept: false, tokensUsed: responseTokens,
+                });
+                continue;
+            }
+            // Apply patch (assumes single target file for now)
+            const targetFile = targetFiles[0];
+            const originalContent = fileContents[targetFile];
+            if (patch) {
+                await writeFile(join(workingDir, targetFile), patch, 'utf-8');
+            }
+            // Verify — must still pass all checks
+            const verifyReport = await verifier.runAll({ workingDir, sandbox });
+            if (!verifyReport.passed) {
+                await writeFile(join(workingDir, targetFile), originalContent, 'utf-8');
+                experiments.push({
+                    id: i + 1, hypothesis, patch,
+                    score: bestScore, verificationPassed: false, kept: false, tokensUsed: responseTokens,
+                });
+                history.push({ role: 'user', content: prompt }, { role: 'assistant', content: response }, { role: 'user', content: `Experiment ${i + 1} failed verification: ${verifyReport.findings.map((f) => f.message).join('; ')}` });
+                continue;
+            }
+            // Measure metric
+            const metricResult = await sandbox.exec(metric.command.split(' ')[0], metric.command.split(' ').slice(1), { workingDir, timeoutMs: 30000 });
+            const newScore = metric.parseOutput(metricResult.stdout);
+            // Non-finite score means measurement failed — treat as failed experiment
+            if (!Number.isFinite(newScore)) {
+                await writeFile(join(workingDir, targetFile), originalContent, 'utf-8');
+                experiments.push({
+                    id: i + 1, hypothesis, patch,
+                    score: NaN, verificationPassed: true, kept: false, tokensUsed: responseTokens,
+                });
+                continue;
+            }
+            const improved = metric.direction === 'maximize'
+                ? newScore > bestScore
+                : newScore < bestScore;
+            if (improved) {
+                try {
+                    execFileSync('git', ['add', '-A'], { cwd: workingDir });
+                    execFileSync('git', ['commit', '-m', `karpathy: experiment ${i + 1}`], { cwd: workingDir });
+                    bestScore = newScore;
+                    await guard.checkpoint();
+                    experiments.push({
+                        id: i + 1, hypothesis, patch,
+                        score: newScore, verificationPassed: true, kept: true, tokensUsed: responseTokens,
+                    });
+                }
+                catch {
+                    // Git commit failed — revert file and record as not kept
+                    await writeFile(join(workingDir, targetFile), originalContent, 'utf-8');
+                    experiments.push({
+                        id: i + 1, hypothesis, patch,
+                        score: newScore, verificationPassed: true, kept: false, tokensUsed: responseTokens,
+                    });
+                }
+            }
+            else {
+                await writeFile(join(workingDir, targetFile), originalContent, 'utf-8');
+                experiments.push({
+                    id: i + 1, hypothesis, patch,
+                    score: newScore, verificationPassed: true, kept: false, tokensUsed: responseTokens,
+                });
+            }
+            history.push({ role: 'user', content: prompt }, { role: 'assistant', content: response }, { role: 'user', content: `Experiment ${i + 1}: score=${newScore}, ${improved ? 'KEPT' : 'reverted'}` });
+        }
+        return {
+            experiments,
+            bestScore,
+            baselineScore,
+            improved: experiments.some((e) => e.kept),
+            tokensUsed,
+        };
+    }
+    buildPrompt(files, metricName, direction, currentBest, history) {
+        const fileList = Object.entries(files)
+            .map(([path, content]) => `### ${path}\n\`\`\`\n${content}\n\`\`\``)
+            .join('\n\n');
+        const historyList = history.length > 0
+            ? history.map((e) => `- Experiment ${e.id}: ${e.hypothesis} → score=${e.score} (${e.kept ? 'kept' : 'reverted'})`).join('\n')
+            : 'No previous experiments.';
+        return [
+            `You are optimizing code to ${direction} the metric "${metricName}".`,
+            `Current best score: ${currentBest}`,
+            '',
+            '## Target Files',
+            fileList,
+            '',
+            '## Previous Experiments',
+            historyList,
+            '',
+            '## Instructions',
+            `Propose a change to ${direction} "${metricName}". Respond with JSON:`,
+            '{ "hypothesis": "what you think will improve the metric", "patch": "complete file content after your change" }',
+        ].join('\n');
+    }
+}
+//# sourceMappingURL=loop.js.map

package/dist/karpathy/loop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop.js","sourceRoot":"","sources":["../../src/karpathy/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAQhD,MAAM,OAAO,YAAY;IACvB,KAAK,CAAC,QAAQ,CAAC,MAAsB;QACnC,MAAM,EACJ,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EACvD,MAAM,EAAE,cAAc,EAAE,YAAY,GACrC,GAAG,MAAM,CAAC;QAEX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,EAAE,CAAC;YACxF,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,KAAK,CAAC,UAAU,EAAE,CAAC;QAEzB,wBAAwB;QACxB,MAAM,cAAc,GAAG,MAAM,OAAO,CAAC,IAAI,CACvC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAC5B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAClC,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CACjC,CAAC;QACF,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,0DAA0D,aAAa,EAAE,CAAC,CAAC;QAC7F,CAAC;QAED,MAAM,WAAW,GAAyB,EAAE,CAAC;QAC7C,IAAI,SAAS,GAAG,aAAa,CAAC;QAC9B,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,SAAS,EAAE;gBAAE,MAAM;YAC9B,IAAI,YAAY,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,IAAI,YAAY;gBAAE,MAAM;YAElE,oBAAoB;YACpB,MAAM,YAAY,GAA2B,EAAE,CAAC;YAChD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACH,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBACvE,CAAC;gBAAC,MAAM,CAAC;oBACP,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,CAAC;YACH,CAAC;YAED,0BAA0B;YAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YACrG,IAAI,QAAgB,CAAC;YACrB,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC7F,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM;YACR,CAAC;YAED,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC;YACvC,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM;YACR,CAAC;YACD,UAAU,IAAI,cAAc,CAAC;YAE7B,iBAAiB;YACjB,IAAI,UAAkB,CAAC;YACvB,IAAI,KAAa,CAAC;YAClB,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACpC,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;gBACrC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,CAAC;YAAC,MAAM,CAAC;gBACP,WAAW,CAAC,IAAI,CAAC;oBACf,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,0BAA0B,EAAE,KAAK,EAAE,EAAE;oBAC5D,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc;iBACrF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,mDAAmD;YACnD,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,eAAe,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;YACjD,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAChE,CAAC;YAED,sCAAsC;YACtC,MAAM,YAAY,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;gBACzB,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;gBACxE,WAAW,CAAC,IAAI,CAAC;oBACf,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK;oBAC5B,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc;iBACrF,CAAC,CAAC;gBACH,OAAO,CAAC,IAAI,CACV,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EACjC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,EACxC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,yBAAyB,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAChI,CAAC;gBACF,SAAS;YACX,CAAC;YAED,iBAAiB;YACjB,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,IAAI,CACrC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAC5B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAClC,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CACjC,CAAC;YACF,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YAEzD,yEAAyE;YACzE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;gBACxE,WAAW,CAAC,IAAI,CAAC;oBACf,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK;oBAC5B,KAAK,EAAE,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc;iBAC9E,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,KAAK,UAAU;gBAC9C,CAAC,CAAC,QAAQ,GAAG,SAAS;gBACtB,CAAC,CAAC,QAAQ,GAAG,SAAS,CAAC;YAEzB,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,CAAC;oBACH,YAAY,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;oBACxD,YAAY,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;oBAC5F,SAAS,GAAG,QAAQ,CAAC;oBACrB,MAAM,KAAK,CAAC,UAAU,EAAE,CAAC;oBACzB,WAAW,CAAC,IAAI,CAAC;wBACf,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK;wBAC5B,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc;qBAClF,CAAC,CAAC;gBACL,CAAC;gBAAC,MAAM,CAAC;oBACP,yDAAyD;oBACzD,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;oBACxE,WAAW,CAAC,IAAI,CAAC;wBACf,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK;wBAC5B,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc;qBACnF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;gBACxE,WAAW,CAAC,IAAI,CAAC;oBACf,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK;oBAC5B,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc;iBACnF,CAAC,CAAC;YACL,CAAC;YAED,OAAO,CAAC,IAAI,CACV,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EACjC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,EACxC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,WAAW,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CACvG,CAAC;QACJ,CAAC;QAED,OAAO;YACL,WAAW;YACX,SAAS;YACT,aAAa;YACb,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACzC,UAAU;SACX,CAAC;IACJ,CAAC;IAEO,WAAW,CACjB,KAA6B,EAC7B,UAAkB,EAClB,SAAkC,EAClC,WAAmB,EACnB,OAA6B;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,IAAI,aAAa,OAAO,UAAU,CAAC;aACnE,IAAI,CAAC,MAAM,CAAC,CAAC;QAEhB,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC;YACpC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,YAAY,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7H,CAAC,CAAC,0BAA0B,CAAC;QAE/B,OAAO;YACL,8BAA8B,SAAS,gBAAgB,UAAU,IAAI;YACrE,uBAAuB,WAAW,EAAE;YACpC,EAAE;YACF,iBAAiB;YACjB,QAAQ;YACR,EAAE;YACF,yBAAyB;YACzB,WAAW;YACX,EAAE;YACF,iBAAiB;YACjB,uBAAuB,SAAS,KAAK,UAAU,uBAAuB;YACtE,gHAAgH;SACjH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;CACF"}

package/dist/orchestrator/acdc.d.ts

@@ -0,0 +1,14 @@
+import type { Pipeline } from '@galileodev/core';
+import type { GuideComposer } from '../guide/composer.js';
+import type { VerifierRunner } from '../verifier/runner.js';
+import type { SolveAgent } from '../solve/agent.js';
+import type { ACDCInput, ACDCResult } from '../types.js';
+export declare class ACDCOrchestrator {
+    private readonly pipeline;
+    private readonly guideComposer;
+    private readonly verifier;
+    private readonly solveAgent;
+    constructor(pipeline: Pipeline, guideComposer: GuideComposer, verifier: VerifierRunner, solveAgent: SolveAgent);
+    run(input: ACDCInput): Promise<ACDCResult>;
+}
+//# sourceMappingURL=acdc.d.ts.map

package/dist/orchestrator/acdc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acdc.d.ts","sourceRoot":"","sources":["../../src/orchestrator/acdc.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAoC,MAAM,kBAAkB,CAAC;AAEnF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAmC,MAAM,aAAa,CAAC;AAE1F,qBAAa,gBAAgB;IAEzB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,UAAU;gBAHV,QAAQ,EAAE,QAAQ,EAClB,aAAa,EAAE,aAAa,EAC5B,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,UAAU;IAGnC,GAAG,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC;CAsFjD"}

package/dist/orchestrator/acdc.js

@@ -0,0 +1,91 @@
+import { ExecutionSandbox } from '@galileodev/core';
+export class ACDCOrchestrator {
+    pipeline;
+    guideComposer;
+    verifier;
+    solveAgent;
+    constructor(pipeline, guideComposer, verifier, solveAgent) {
+        this.pipeline = pipeline;
+        this.guideComposer = guideComposer;
+        this.verifier = verifier;
+        this.solveAgent = solveAgent;
+    }
+    async run(input) {
+        if (!Number.isFinite(input.maxCycles) || input.maxCycles < 1) {
+            throw new Error('maxCycles must be a finite number >= 1.');
+        }
+        const sandbox = new ExecutionSandbox();
+        let cycles = 0;
+        let generation;
+        let verification;
+        let remediation;
+        let tokensUsed = 0;
+        while (cycles < input.maxCycles && !input.budget.exhausted()) {
+            cycles++;
+            // 1. Guide — assemble context
+            const guideContext = await this.guideComposer.compose(input.taskId);
+            // 2. Generate — run Level 1 pipeline
+            const pipelineResult = await this.pipeline.run({
+                taskId: input.taskId,
+                instruction: input.instruction,
+            });
+            generation = pipelineResult.generation;
+            // 3. Verify
+            verification = await this.verifier.runAll({
+                workingDir: input.projectDir,
+                sandbox,
+            });
+            if (verification.passed) {
+                return {
+                    taskId: input.taskId,
+                    generation,
+                    verification,
+                    remediation,
+                    cycles,
+                    passed: true,
+                    tokensUsed,
+                };
+            }
+            // 4. Solve — attempt remediation
+            remediation = await this.solveAgent.remediate(verification, {
+                workingDir: input.projectDir,
+                guideContext,
+                llm: input.llm,
+                sandbox,
+                verifier: this.verifier,
+                budget: input.budget,
+                maxRetriesPerFinding: 3,
+            });
+            tokensUsed += remediation.tokensUsed;
+            // Re-verify after solve
+            if (remediation.unresolved.length === 0) {
+                const finalVerification = await this.verifier.runAll({
+                    workingDir: input.projectDir,
+                    sandbox,
+                });
+                if (finalVerification.passed) {
+                    return {
+                        taskId: input.taskId,
+                        generation,
+                        verification: finalVerification,
+                        remediation,
+                        cycles,
+                        passed: true,
+                        tokensUsed,
+                    };
+                }
+                verification = finalVerification;
+            }
+        }
+        return {
+            taskId: input.taskId,
+            generation: generation,
+            verification: verification,
+            remediation,
+            cycles,
+            passed: false,
+            tokensUsed,
+        };
+    }
+}
+//# sourceMappingURL=acdc.js.map

package/dist/orchestrator/acdc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"acdc.js","sourceRoot":"","sources":["../../src/orchestrator/acdc.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAMpD,MAAM,OAAO,gBAAgB;IAER;IACA;IACA;IACA;IAJnB,YACmB,QAAkB,EAClB,aAA4B,EAC5B,QAAwB,EACxB,UAAsB;QAHtB,aAAQ,GAAR,QAAQ,CAAU;QAClB,kBAAa,GAAb,aAAa,CAAe;QAC5B,aAAQ,GAAR,QAAQ,CAAgB;QACxB,eAAU,GAAV,UAAU,CAAY;IACtC,CAAC;IAEJ,KAAK,CAAC,GAAG,CAAC,KAAgB;QACxB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACvC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,UAAwC,CAAC;QAC7C,IAAI,YAA4C,CAAC;QACjD,IAAI,WAAoC,CAAC;QACzC,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,OAAO,MAAM,GAAG,KAAK,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;YAC7D,MAAM,EAAE,CAAC;YAET,8BAA8B;YAC9B,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAEpE,qCAAqC;YACrC,MAAM,cAAc,GAAmB,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC7D,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,WAAW,EAAE,KAAK,CAAC,WAAW;aAC/B,CAAC,CAAC;YACH,UAAU,GAAG,cAAc,CAAC,UAAU,CAAC;YAEvC,YAAY;YACZ,YAAY,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACxC,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,OAAO;aACR,CAAC,CAAC;YAEH,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;gBACxB,OAAO;oBACL,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,UAAU;oBACV,YAAY;oBACZ,WAAW;oBACX,MAAM;oBACN,MAAM,EAAE,IAAI;oBACZ,UAAU;iBACX,CAAC;YACJ,CAAC;YAED,iCAAiC;YACjC,WAAW,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,YAAY,EAAE;gBAC1D,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,YAAY;gBACZ,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,OAAO;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,oBAAoB,EAAE,CAAC;aACxB,CAAC,CAAC;YACH,UAAU,IAAI,WAAW,CAAC,UAAU,CAAC;YAErC,wBAAwB;YACxB,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxC,MAAM,iBAAiB,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;oBACnD,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,OAAO;iBACR,CAAC,CAAC;gBACH,IAAI,iBAAiB,CAAC,MAAM,EAAE,CAAC;oBAC7B,OAAO;wBACL,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,UAAU;wBACV,YAAY,EAAE,iBAAiB;wBAC/B,WAAW;wBACX,MAAM;wBACN,MAAM,EAAE,IAAI;wBACZ,UAAU;qBACX,CAAC;gBACJ,CAAC;gBACD,YAAY,GAAG,iBAAiB,CAAC;YACnC,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,UAAU,EAAE,UAAW;YACvB,YAAY,EAAE,YAAa;YAC3B,WAAW;YACX,MAAM;YACN,MAAM,EAAE,KAAK;YACb,UAAU;SACX,CAAC;IACJ,CAAC;CACF"}

package/dist/solve/agent.d.ts

@@ -0,0 +1,8 @@
+import type { VerificationReport, SolveContext, SolveResult } from '../types.js';
+export declare class SolveAgent {
+    remediate(report: VerificationReport, context: SolveContext): Promise<SolveResult>;
+    private safePath;
+    private groupByFile;
+    private buildPrompt;
+}
+//# sourceMappingURL=agent.d.ts.map

package/dist/solve/agent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.d.ts","sourceRoot":"","sources":["../../src/solve/agent.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,kBAAkB,EAElB,YAAY,EACZ,WAAW,EAEZ,MAAM,aAAa,CAAC;AAErB,qBAAa,UAAU;IACf,SAAS,CACb,MAAM,EAAE,kBAAkB,EAC1B,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC,WAAW,CAAC;IAyIvB,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,WAAW;CAYpB"}