attocode 0.2.4 → 0.2.6

package/dist/src/integrations/tasks/verification-gate.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Verification Gate - Opt-in Completion Verification
+ *
+ * Prevents premature completion by checking if required verification
+ * steps (like running tests) have been performed before allowing
+ * the agent to stop.
+ *
+ * Configuration:
+ * - TUI mode: off by default
+ * - Eval mode: auto-configured from FAIL_TO_PASS tests
+ * - Swarm mode: set by orchestrator per worker
+ */
+export interface VerificationCriteria {
+    /** Tests that must be run (e.g., pytest test paths) */
+    requiredTests?: string[];
+    /** Must have edited at least one file */
+    requireFileChanges?: boolean;
+    /** Max nudges before giving up and allowing completion */
+    maxAttempts?: number;
+    /** Require TypeScript compilation to pass before completion */
+    requireCompilation?: boolean;
+    /** Max compilation-specific nudges before giving up (default: 8) */
+    compilationMaxAttempts?: number;
+}
+export interface VerificationState {
+    /** Tests that have been detected as run */
+    testsRun: Set<string>;
+    /** Whether any test passed */
+    anyTestPassed: boolean;
+    /** Whether file changes were made */
+    hasFileChanges: boolean;
+    /** Number of verification nudges already sent */
+    nudgeCount: number;
+    /** Whether TypeScript compilation passed */
+    compilationPassed: boolean;
+    /** Number of TypeScript compilation errors */
+    compilationErrorCount: number;
+    /** Number of compilation-specific nudges sent */
+    compilationNudgeCount: number;
+}
+export interface VerificationCheckResult {
+    /** Whether verification criteria are satisfied */
+    satisfied: boolean;
+    /** If not satisfied, a nudge message to inject */
+    nudge?: string;
+    /** If max attempts exceeded, allow anyway */
+    forceAllow: boolean;
+    /** What's still missing */
+    missing: string[];
+}
+export declare class VerificationGate {
+    private criteria;
+    private state;
+    constructor(criteria: VerificationCriteria);
+    /**
+     * Record that a bash command was executed.
+     * Detects test execution from command patterns and output.
+     */
+    recordBashExecution(command: string, output: string, exitCode: number | null): void;
+    /**
+     * Record that a file was modified.
+     */
+    recordFileChange(): void;
+    /**
+     * Record the result of a TypeScript compilation check.
+     */
+    recordCompilationResult(passed: boolean, errorCount: number): void;
+    /**
+     * Increment the compilation nudge counter.
+     * Called from the TSC gate in the execution loop (which uses `continue`
+     * and therefore never reaches verificationGate.check()).
+     */
+    incrementCompilationNudge(): void;
+    /**
+     * Check if the agent can complete.
+     * Returns satisfied=true if criteria are met, or a nudge message if not.
+     */
+    check(): VerificationCheckResult;
+    /**
+     * Get the current verification state.
+     */
+    getState(): {
+        testsRun: number;
+        anyTestPassed: boolean;
+        hasFileChanges: boolean;
+        nudgeCount: number;
+        maxAttempts: number;
+        compilationPassed: boolean;
+        compilationErrorCount: number;
+        compilationNudgeCount: number;
+    };
+    /**
+     * Reset the gate state (for reuse).
+     */
+    reset(): void;
+    private buildNudge;
+}
+/**
+ * Create a verification gate from criteria.
+ * Returns null if no criteria provided (gate disabled).
+ */
+export declare function createVerificationGate(criteria?: VerificationCriteria | null): VerificationGate | null;
+//# sourceMappingURL=verification-gate.d.ts.map

package/dist/src/integrations/tasks/verification-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../../../../src/integrations/tasks/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH,MAAM,WAAW,oBAAoB;IACnC,uDAAuD;IACvD,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,yCAAyC;IACzC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,0DAA0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+DAA+D;IAC/D,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,oEAAoE;IACpE,sBAAsB,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,8BAA8B;IAC9B,aAAa,EAAE,OAAO,CAAC;IACvB,qCAAqC;IACrC,cAAc,EAAE,OAAO,CAAC;IACxB,iDAAiD;IACjD,UAAU,EAAE,MAAM,CAAC;IACnB,4CAA4C;IAC5C,iBAAiB,EAAE,OAAO,CAAC;IAC3B,8CAA8C;IAC9C,qBAAqB,EAAE,MAAM,CAAC;IAC9B,iDAAiD;IACjD,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACtC,kDAAkD;IAClD,SAAS,EAAE,OAAO,CAAC;IACnB,kDAAkD;IAClD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6CAA6C;IAC7C,UAAU,EAAE,OAAO,CAAC;IACpB,2BAA2B;IAC3B,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAuB;IACvC,OAAO,CAAC,KAAK,CAAoB;gBAErB,QAAQ,EAAE,oBAAoB;IAoB1C;;;OAGG;IACH,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI;IAoBnF;;OAEG;IACH,gBAAgB,IAAI,IAAI;IAIxB;;OAEG;IACH,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI;IAKlE;;;;OAIG;IACH,yBAAyB,IAAI,IAAI;IAIjC;;;OAGG;IACH,KAAK,IAAI,uBAAuB;IAyDhC;;OAEG;IACH,QAAQ,IAAI;QACV,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,EAAE,OAAO,CAAC;QACvB,cAAc,EAAE,OAAO,CAAC;QACxB,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,CAAC;QACpB,iBAAiB,EAAE,OAAO,CAAC;QAC3B,qBAAqB,EAAE,MAAM,CAAC;QAC9B,qBAAqB,EAAE,MAAM,CAAC;KAC/B;IAaD;;OAEG;IACH,KAAK,IAAI,IAAI;IAgBb,OAAO,CAAC,UAAU;CAoBnB;AAMD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,GACrC,gBAAgB,GAAG,IAAI,CAUzB"}

package/dist/src/integrations/tasks/verification-gate.js

@@ -0,0 +1,195 @@
+/**
+ * Verification Gate - Opt-in Completion Verification
+ *
+ * Prevents premature completion by checking if required verification
+ * steps (like running tests) have been performed before allowing
+ * the agent to stop.
+ *
+ * Configuration:
+ * - TUI mode: off by default
+ * - Eval mode: auto-configured from FAIL_TO_PASS tests
+ * - Swarm mode: set by orchestrator per worker
+ */
+// =============================================================================
+// VERIFICATION GATE
+// =============================================================================
+export class VerificationGate {
+    criteria;
+    state;
+    constructor(criteria) {
+        this.criteria = {
+            requiredTests: criteria.requiredTests,
+            requireFileChanges: criteria.requireFileChanges ?? false,
+            maxAttempts: criteria.maxAttempts ?? 2,
+            requireCompilation: criteria.requireCompilation,
+            compilationMaxAttempts: criteria.compilationMaxAttempts,
+        };
+        this.state = {
+            testsRun: new Set(),
+            anyTestPassed: false,
+            hasFileChanges: false,
+            nudgeCount: 0,
+            compilationPassed: false,
+            compilationErrorCount: 0,
+            compilationNudgeCount: 0,
+        };
+    }
+    /**
+     * Record that a bash command was executed.
+     * Detects test execution from command patterns and output.
+     */
+    recordBashExecution(command, output, exitCode) {
+        // Detect pytest/test runs
+        const isTestRun = /pytest|python\s+-m\s+pytest/.test(command);
+        if (isTestRun) {
+            this.state.testsRun.add(command);
+            if (exitCode === 0) {
+                this.state.anyTestPassed = true;
+            }
+            // Check if specific required tests were run
+            if (this.criteria.requiredTests) {
+                for (const req of this.criteria.requiredTests) {
+                    if (command.includes(req) || output.includes(req)) {
+                        this.state.testsRun.add(req);
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Record that a file was modified.
+     */
+    recordFileChange() {
+        this.state.hasFileChanges = true;
+    }
+    /**
+     * Record the result of a TypeScript compilation check.
+     */
+    recordCompilationResult(passed, errorCount) {
+        this.state.compilationPassed = passed;
+        this.state.compilationErrorCount = errorCount;
+    }
+    /**
+     * Increment the compilation nudge counter.
+     * Called from the TSC gate in the execution loop (which uses `continue`
+     * and therefore never reaches verificationGate.check()).
+     */
+    incrementCompilationNudge() {
+        this.state.compilationNudgeCount++;
+    }
+    /**
+     * Check if the agent can complete.
+     * Returns satisfied=true if criteria are met, or a nudge message if not.
+     */
+    check() {
+        const missing = [];
+        // Check file changes
+        if (this.criteria.requireFileChanges && !this.state.hasFileChanges) {
+            missing.push('No file changes made');
+        }
+        // Check required tests
+        if (this.criteria.requiredTests && this.criteria.requiredTests.length > 0) {
+            if (this.state.testsRun.size === 0) {
+                missing.push('Required tests have not been run');
+            }
+            else if (!this.state.anyTestPassed) {
+                missing.push('Tests ran but none passed');
+            }
+        }
+        // Check TypeScript compilation
+        if (this.criteria.requireCompilation && !this.state.compilationPassed) {
+            missing.push(`TypeScript compilation has ${this.state.compilationErrorCount} error(s)`);
+        }
+        // All criteria met
+        if (missing.length === 0) {
+            return { satisfied: true, forceAllow: false, missing: [] };
+        }
+        // Determine if we should force-allow:
+        // Test nudges and compilation nudges have separate counters and limits.
+        // Force-allow only when ALL exceeded nudge categories have hit their limits.
+        const testNudgesExceeded = this.state.nudgeCount >= (this.criteria.maxAttempts ?? 2);
+        const compilationMaxNudges = this.criteria.compilationMaxAttempts ?? 8;
+        const compilationNudgesExceeded = this.state.compilationNudgeCount >= compilationMaxNudges;
+        const hasTestMissing = missing.some((m) => !m.startsWith('TypeScript compilation'));
+        const hasCompilationMissing = this.criteria.requireCompilation && !this.state.compilationPassed;
+        const allExceeded = (!hasTestMissing || testNudgesExceeded) &&
+            (!hasCompilationMissing || compilationNudgesExceeded);
+        if (allExceeded) {
+            return { satisfied: false, forceAllow: true, missing };
+        }
+        // Increment appropriate nudge counters
+        if (hasTestMissing) {
+            this.state.nudgeCount++;
+        }
+        if (hasCompilationMissing) {
+            this.state.compilationNudgeCount++;
+        }
+        const nudge = this.buildNudge(missing);
+        return { satisfied: false, forceAllow: false, nudge, missing };
+    }
+    /**
+     * Get the current verification state.
+     */
+    getState() {
+        return {
+            testsRun: this.state.testsRun.size,
+            anyTestPassed: this.state.anyTestPassed,
+            hasFileChanges: this.state.hasFileChanges,
+            nudgeCount: this.state.nudgeCount,
+            maxAttempts: this.criteria.maxAttempts ?? 2,
+            compilationPassed: this.state.compilationPassed,
+            compilationErrorCount: this.state.compilationErrorCount,
+            compilationNudgeCount: this.state.compilationNudgeCount,
+        };
+    }
+    /**
+     * Reset the gate state (for reuse).
+     */
+    reset() {
+        this.state = {
+            testsRun: new Set(),
+            anyTestPassed: false,
+            hasFileChanges: false,
+            nudgeCount: 0,
+            compilationPassed: false,
+            compilationErrorCount: 0,
+            compilationNudgeCount: 0,
+        };
+    }
+    // ---------------------------------------------------------------------------
+    // PRIVATE
+    // ---------------------------------------------------------------------------
+    buildNudge(missing) {
+        const parts = ['[System] Verification incomplete:'];
+        for (const m of missing) {
+            parts.push(`- ${m}`);
+        }
+        if (this.criteria.requiredTests && this.criteria.requiredTests.length > 0) {
+            const testCmd = `python -m pytest ${this.criteria.requiredTests.join(' ')} -xvs`;
+            parts.push(`\nRun the required tests now: \`${testCmd}\``);
+        }
+        if (this.criteria.requireCompilation && !this.state.compilationPassed) {
+            parts.push(`\nRun \`npx tsc --noEmit\` and fix the ${this.state.compilationErrorCount} TypeScript error(s).`);
+        }
+        parts.push('Do NOT finish until verification is complete.');
+        return parts.join('\n');
+    }
+}
+// =============================================================================
+// FACTORY
+// =============================================================================
+/**
+ * Create a verification gate from criteria.
+ * Returns null if no criteria provided (gate disabled).
+ */
+export function createVerificationGate(criteria) {
+    if (!criteria)
+        return null;
+    // Only create if there's something to verify
+    if (!criteria.requiredTests?.length &&
+        !criteria.requireFileChanges &&
+        !criteria.requireCompilation)
+        return null;
+    return new VerificationGate(criteria);
+}
+//# sourceMappingURL=verification-gate.js.map

package/dist/src/integrations/tasks/verification-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-gate.js","sourceRoot":"","sources":["../../../../src/integrations/tasks/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AA+CH,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF,MAAM,OAAO,gBAAgB;IACnB,QAAQ,CAAuB;IAC/B,KAAK,CAAoB;IAEjC,YAAY,QAA8B;QACxC,IAAI,CAAC,QAAQ,GAAG;YACd,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,IAAI,KAAK;YACxD,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,CAAC;YACtC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;YAC/C,sBAAsB,EAAE,QAAQ,CAAC,sBAAsB;SACxD,CAAC;QAEF,IAAI,CAAC,KAAK,GAAG;YACX,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,aAAa,EAAE,KAAK;YACpB,cAAc,EAAE,KAAK;YACrB,UAAU,EAAE,CAAC;YACb,iBAAiB,EAAE,KAAK;YACxB,qBAAqB,EAAE,CAAC;YACxB,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,OAAe,EAAE,MAAc,EAAE,QAAuB;QAC1E,0BAA0B;QAC1B,MAAM,SAAS,GAAG,6BAA6B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9D,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;gBACnB,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC;YAClC,CAAC;YAED,4CAA4C;YAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;oBAC9C,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBAClD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,gBAAgB;QACd,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,uBAAuB,CAAC,MAAe,EAAE,UAAkB;QACzD,IAAI,CAAC,KAAK,CAAC,iBAAiB,GAAG,MAAM,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,qBAAqB,GAAG,UAAU,CAAC;IAChD,CAAC;IAED;;;;OAIG;IACH,yBAAyB;QACvB,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC;IACrC,CAAC;IAED;;;OAGG;IACH,KAAK;QACH,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,qBAAqB;QACrB,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;YACnE,OAAO,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACvC,CAAC;QAED,uBAAuB;QACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1E,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;YACnD,CAAC;iBAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;gBACrC,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;YACtE,OAAO,CAAC,IAAI,CAAC,8BAA8B,IAAI,CAAC,KAAK,CAAC,qBAAqB,WAAW,CAAC,CAAC;QAC1F,CAAC;QAED,mBAAmB;QACnB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC7D,CAAC;QAED,sCAAsC;QACtC,wEAAwE;QACxE,6EAA6E;QAC7E,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,oBAAoB,GAAG,IAAI,CAAC,QAAQ,CAAC,sBAAsB,IAAI,CAAC,CAAC;QACvE,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,IAAI,oBAAoB,CAAC;QAE3F,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC;QACpF,MAAM,qBAAqB,GAAG,IAAI,CAAC,QAAQ,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAEhG,MAAM,WAAW,GACf,CAAC,CAAC,cAAc,IAAI,kBAAkB,CAAC;YACvC,CAAC,CAAC,qBAAqB,IAAI,yBAAyB,CAAC,CAAC;QAExD,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QACzD,CAAC;QAED,uCAAuC;QACvC,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,qBAAqB,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC;QACrC,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACvC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACjE,CAAC;IAED;;OAEG;IACH,QAAQ;QAUN,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI;YAClC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;YACvC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc;YACzC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU;YACjC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC;YAC3C,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB;YAC/C,qBAAqB,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB;YACvD,qBAAqB,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB;SACxD,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,KAAK,GAAG;YACX,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,aAAa,EAAE,KAAK;YACpB,cAAc,EAAE,KAAK;YACrB,UAAU,EAAE,CAAC;YACb,iBAAiB,EAAE,KAAK;YACxB,qBAAqB,EAAE,CAAC;YACxB,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,UAAU;IACV,8EAA8E;IAEtE,UAAU,CAAC,OAAiB;QAClC,MAAM,KAAK,GAAG,CAAC,mCAAmC,CAAC,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1E,MAAM,OAAO,GAAG,oBAAoB,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YACjF,KAAK,CAAC,IAAI,CAAC,mCAAmC,OAAO,IAAI,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;YACtE,KAAK,CAAC,IAAI,CACR,0CAA0C,IAAI,CAAC,KAAK,CAAC,qBAAqB,uBAAuB,CAClG,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QAC5D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAsC;IAEtC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,6CAA6C;IAC7C,IACE,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM;QAC/B,CAAC,QAAQ,CAAC,kBAAkB;QAC5B,CAAC,QAAQ,CAAC,kBAAkB;QAE5B,OAAO,IAAI,CAAC;IACd,OAAO,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC;AACxC,CAAC"}

package/dist/src/integrations/tasks/work-log.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Work Log - Compaction-Resilient Structured Summary
+ *
+ * Maintains a persistent structured summary of agent work that survives
+ * context compaction. Auto-populated from tool execution results.
+ *
+ * When context is compacted, the work log is injected as a system message
+ * so the agent doesn't "forget" what it has already done (preventing
+ * re-reading files, re-searching, etc.).
+ */
+export interface WorkLogEntry {
+    timestamp: number;
+    type: 'file_read' | 'file_edit' | 'search' | 'test_run' | 'command' | 'approach';
+    summary: string;
+}
+export interface TestResult {
+    test: string;
+    passed: boolean;
+    error?: string;
+}
+export interface ApproachEntry {
+    approach: string;
+    outcome: 'success' | 'failure' | 'partial';
+    detail?: string;
+}
+export interface WorkLogConfig {
+    /** Maximum number of entries per category before oldest are dropped */
+    maxEntriesPerCategory?: number;
+    /** Maximum token count for compact output */
+    maxCompactTokens?: number;
+}
+export declare class WorkLog {
+    private currentHypothesis;
+    private filesRead;
+    private filesModified;
+    private testResults;
+    private approachesTried;
+    private commands;
+    private config;
+    constructor(config?: WorkLogConfig);
+    /**
+     * Record a tool execution result into the work log.
+     * Called automatically after each tool call in agent.ts.
+     */
+    recordToolExecution(toolName: string, args: Record<string, unknown>, result?: unknown): void;
+    /**
+     * Record an approach the agent tried and its outcome.
+     */
+    recordApproach(approach: string, outcome: ApproachEntry['outcome'], detail?: string): void;
+    /**
+     * Set the current working hypothesis.
+     */
+    setHypothesis(hypothesis: string): void;
+    /**
+     * Generate a compact string representation (~500 tokens) for injection
+     * after context compaction.
+     */
+    toCompactString(): string;
+    /**
+     * Produce a truncated compact string that fits within the character budget.
+     * Keeps fewer entries per category to stay within limits.
+     */
+    private toCompactStringTruncated;
+    /**
+     * Check if the work log has any content worth injecting.
+     */
+    hasContent(): boolean;
+    /**
+     * Get basic stats about the work log.
+     */
+    getStats(): {
+        filesRead: number;
+        filesModified: number;
+        testResults: number;
+        approaches: number;
+        commands: number;
+    };
+    /**
+     * Reset the work log.
+     */
+    reset(): void;
+    private summarizeFileContent;
+    private parseTestResults;
+    private trimMap;
+}
+export declare function createWorkLog(config?: WorkLogConfig): WorkLog;
+//# sourceMappingURL=work-log.d.ts.map

package/dist/src/integrations/tasks/work-log.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-log.d.ts","sourceRoot":"","sources":["../../../../src/integrations/tasks/work-log.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAMH,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,WAAW,GAAG,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;IACjF,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,uEAAuE;IACvE,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,6CAA6C;IAC7C,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAMD,qBAAa,OAAO;IAClB,OAAO,CAAC,iBAAiB,CAAc;IACvC,OAAO,CAAC,SAAS,CAAkC;IACnD,OAAO,CAAC,aAAa,CAAkC;IACvD,OAAO,CAAC,WAAW,CAAoB;IACvC,OAAO,CAAC,eAAe,CAAuB;IAC9C,OAAO,CAAC,QAAQ,CAAgB;IAChC,OAAO,CAAC,MAAM,CAA0B;gBAE5B,MAAM,GAAE,aAAkB;IAOtC;;;OAGG;IACH,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,IAAI;IA0D5F;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;IAO1F;;OAEG;IACH,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAIvC;;;OAGG;IACH,eAAe,IAAI,MAAM;IAyEzB;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAmEhC;;OAEG;IACH,UAAU,IAAI,OAAO;IASrB;;OAEG;IACH,QAAQ,IAAI;QACV,SAAS,EAAE,MAAM,CAAC;QAClB,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;KAClB;IAUD;;OAEG;IACH,KAAK,IAAI,IAAI;IAab,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,gBAAgB;IAwBxB,OAAO,CAAC,OAAO;CAQhB;AAMD,wBAAgB,aAAa,CAAC,MAAM,CAAC,EAAE,aAAa,GAAG,OAAO,CAE7D"}