@principles/core 1.73.0

package/dist/runtime-v2/runner/__tests__/dual-track-e2e.test.js

@@ -0,0 +1,320 @@
+/**
+ * Dual-Track E2E Tests — M4 Exit Criteria Verification
+ *
+ * Tests the DiagnosticianRunner using TestDoubleRuntimeAdapter with real
+ * RuntimeStateManager (in-memory SQLite). Verifies all M4 exit criteria.
+ *
+ * Exit Criteria Covered:
+ *   #1: Task completes through explicit run + validation WITHOUT heartbeat prompt injection
+ *   #2: Runner uses SqliteContextAssembler for context building
+ *   #3: Runner uses LeaseManager + RetryPolicy
+ *   #6: Runner handles imported openclaw-history context without errors
+ *   #8: Test coverage >= 80% for new runner code
+ *   #9: No hidden dependence on heartbeat prompt path
+ *  #10: Legacy heartbeat path remains functional (not modified by M4)
+ */
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import * as fs from 'fs';
+import * as path from 'path';
+import * as os from 'os';
+import { RuntimeStateManager } from '../../store/runtime-state-manager.js';
+import { SqliteContextAssembler } from '../../store/context/sqlite-context-assembler.js';
+import { SqliteHistoryQuery } from '../../store/history/sqlite-history-query.js';
+import { StoreEventEmitter } from '../../store/event-emitter.js';
+import { DiagnosticianRunner } from '../diagnostician-runner.js';
+import { PassThroughValidator } from '../diagnostician-validator.js';
+import { TestDoubleRuntimeAdapter } from '../../adapter/test-double-runtime-adapter.js';
+// -- Test fixtures --
+function makeDiagnosticianOutput(taskId) {
+    return {
+        valid: true,
+        diagnosisId: `diag-e2e-${Date.now()}`,
+        taskId,
+        summary: 'E2E test diagnosis summary',
+        rootCause: 'E2E test root cause analysis',
+        violatedPrinciples: [],
+        evidence: [],
+        recommendations: [],
+        confidence: 0.85,
+    };
+}
+function makeDiagnosticianTaskInput(options) {
+    const { taskId, workspaceDir, diagnostic, overrides } = options;
+    const diagnosticJson = JSON.stringify({
+        workspaceDir,
+        reasonSummary: diagnostic?.reasonSummary ?? 'E2E test task',
+        sourcePainId: diagnostic?.sourcePainId,
+        severity: diagnostic?.severity,
+        source: diagnostic?.source,
+    });
+    return {
+        taskId,
+        taskKind: 'diagnostician',
+        status: 'pending',
+        attemptCount: 0,
+        maxAttempts: 3,
+        ...overrides,
+        diagnosticJson,
+    };
+}
+// -- AlwaysInvalidValidator for Scenario 3 --
+class AlwaysInvalidValidator {
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    async validate(_output, _taskId) {
+        return {
+            valid: false,
+            errors: ['E2E test: always invalid'],
+            errorCategory: 'output_invalid',
+        };
+    }
+}
+// -- Test setup --
+const TMP_ROOT = path.join(os.tmpdir(), `pd-dual-track-e2e-${process.pid}`);
+describe('DiagnosticianRunner Dual-Track E2E', () => {
+    // eslint-disable-next-line @typescript-eslint/init-declarations
+    let testDir;
+    // eslint-disable-next-line @typescript-eslint/init-declarations
+    let stateManager;
+    // eslint-disable-next-line @typescript-eslint/init-declarations
+    let contextAssembler;
+    // eslint-disable-next-line @typescript-eslint/init-declarations
+    let historyQuery;
+    // eslint-disable-next-line @typescript-eslint/init-declarations
+    let eventEmitter;
+    beforeEach(async () => {
+        testDir = path.join(TMP_ROOT, `e2e-${Date.now()}-${Math.random().toString(36).slice(2)}`);
+        fs.mkdirSync(testDir, { recursive: true });
+        stateManager = new RuntimeStateManager({ workspaceDir: testDir });
+        await stateManager.initialize();
+        const sqliteConn = stateManager.connection;
+        historyQuery = new SqliteHistoryQuery(sqliteConn);
+        const taskStore = stateManager.taskStore;
+        const runStore = stateManager.runStore;
+        contextAssembler = new SqliteContextAssembler(taskStore, historyQuery, runStore);
+        eventEmitter = new StoreEventEmitter();
+    });
+    afterEach(() => {
+        stateManager.close();
+        try {
+            fs.rmSync(TMP_ROOT, { recursive: true, force: true });
+        }
+        catch {
+            // ignore cleanup errors on Windows
+        }
+    });
+    function createRunner(runtimeAdapter, validator = new PassThroughValidator(), committer = { commit: async () => ({ commitId: "mock-commit-id", artifactId: "mock-artifact-id", candidateCount: 0 }) }) {
+        return new DiagnosticianRunner({
+            stateManager,
+            contextAssembler,
+            runtimeAdapter,
+            eventEmitter,
+            validator,
+            committer,
+        }, {
+            owner: 'dual-track-e2e-runner',
+            runtimeKind: 'test-double',
+            pollIntervalMs: 50,
+            timeoutMs: 3000,
+        });
+    }
+    // ═══════════════════════════════════════════════════════════════
+    // SCENARIO 1: Happy Path (EXIT CRITERIA #1, #2, #3, #9, #10)
+    // ═══════════════════════════════════════════════════════════════
+    describe('Scenario 1: Happy Path', () => {
+        it('completes task through explicit run + validation flow', async () => {
+            const taskId = 'e2e-happy-001';
+            // Create task with diagnostic_json
+            await stateManager.createTask(makeDiagnosticianTaskInput({
+                taskId,
+                workspaceDir: testDir,
+                diagnostic: {
+                    reasonSummary: 'E2E happy path test',
+                    sourcePainId: 'pain-e2e-001',
+                    severity: 'medium',
+                    source: 'e2e-test',
+                },
+            }));
+            // Configure TestDoubleRuntimeAdapter to return success on first poll
+            const successfulOutput = makeDiagnosticianOutput(taskId);
+            const runtimeAdapter = new TestDoubleRuntimeAdapter({
+                onPollRun: (_runId) => ({ runId: 'td-poll-1', status: 'succeeded', startedAt: new Date().toISOString(), endedAt: new Date().toISOString() }),
+                onFetchOutput: (_runId) => ({ runId: 'td-fetch-1', payload: successfulOutput }),
+            });
+            const runner = createRunner(runtimeAdapter, new PassThroughValidator());
+            const result = await runner.run(taskId);
+            // Assertion 1: result.status === 'succeeded'
+            expect(result.status).toBe('succeeded');
+            // Assertion 2: task in store has status 'succeeded'
+            const task = await stateManager.getTask(taskId);
+            expect(task).not.toBeNull();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(task.status).toBe('succeeded');
+            // Assertion 3: output.payload.diagnosisId is set
+            expect(result.output).toBeDefined();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(result.output.diagnosisId).toBe(successfulOutput.diagnosisId);
+            // Assertion 4: contextHash is present (proves context assembly ran)
+            expect(result.contextHash).toBeDefined();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(result.contextHash.length).toBeGreaterThan(0);
+            // Assertion 5: runs exist with outputPayload
+            const runs = await stateManager.getRunsByTask(taskId);
+            expect(runs.length).toBeGreaterThan(0);
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            const latestRun = runs[runs.length - 1];
+            expect(latestRun.outputPayload).toBeDefined();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            const parsed = JSON.parse(latestRun.outputPayload);
+            expect(parsed.diagnosisId).toBe(successfulOutput.diagnosisId);
+        });
+    });
+    // ═══════════════════════════════════════════════════════════════
+    // SCENARIO 2: Runtime Failure -> retry_wait (EXIT CRITERIA #3)
+    // ═══════════════════════════════════════════════════════════════
+    describe('Scenario 2: Runtime Failure -> retry_wait', () => {
+        it('transitions task to retry_wait on runtime failure', async () => {
+            const taskId = 'e2e-runtime-fail-001';
+            await stateManager.createTask(makeDiagnosticianTaskInput({
+                taskId,
+                workspaceDir: testDir,
+                diagnostic: { reasonSummary: 'E2E runtime failure test' },
+            }));
+            // Configure TestDoubleRuntimeAdapter.pollRun to return 'failed'
+            const runtimeAdapter = new TestDoubleRuntimeAdapter({
+                onPollRun: (_runId) => ({ runId: 'td-fail-1', status: 'failed', startedAt: new Date().toISOString(), endedAt: new Date().toISOString() }),
+                onFetchOutput: () => null,
+            });
+            const runner = createRunner(runtimeAdapter, new PassThroughValidator());
+            const result = await runner.run(taskId);
+            // Assertion 1: result.status === 'retried'
+            expect(result.status).toBe('retried');
+            // Assertion 2: result.errorCategory === 'execution_failed'
+            expect(result.errorCategory).toBe('execution_failed');
+            // Assertion 3: Verify task in store has status 'retry_wait'
+            const task = await stateManager.getTask(taskId);
+            expect(task).not.toBeNull();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(task.status).toBe('retry_wait');
+            // Assertion 4: Verify task attemptCount incremented
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(task.attemptCount).toBe(1);
+            // Assertion 5: Verify run record has errorCategory 'execution_failed'
+            const runs = await stateManager.getRunsByTask(taskId);
+            expect(runs.length).toBeGreaterThan(0);
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            const latestRun = runs[runs.length - 1];
+            expect(latestRun.errorCategory).toBe('execution_failed');
+            // Assertion 6: Verify failureReason is present
+            expect(result.failureReason).toBeDefined();
+        });
+    });
+    // ═══════════════════════════════════════════════════════════════
+    // SCENARIO 3: Validation Failure (EXIT CRITERIA #4)
+    // ═══════════════════════════════════════════════════════════════
+    describe('Scenario 3: Validation Failure', () => {
+        it('transitions task to retry_wait on validation failure', async () => {
+            const taskId = 'e2e-validation-fail-001';
+            await stateManager.createTask(makeDiagnosticianTaskInput({
+                taskId,
+                workspaceDir: testDir,
+                diagnostic: { reasonSummary: 'E2E validation failure test' },
+            }));
+            // Configure TestDoubleRuntimeAdapter to return output that will fail validation
+            const validOutput = makeDiagnosticianOutput(taskId);
+            const runtimeAdapter = new TestDoubleRuntimeAdapter({
+                onPollRun: (_runId) => ({ runId: 'td-val-1', status: 'succeeded', startedAt: new Date().toISOString(), endedAt: new Date().toISOString() }),
+                onFetchOutput: (_runId) => ({ runId: 'td-val-fetch-1', payload: validOutput }),
+            });
+            // Use AlwaysInvalidValidator that always rejects output
+            const runner = createRunner(runtimeAdapter, new AlwaysInvalidValidator());
+            const result = await runner.run(taskId);
+            // Assertion 1: result.status === 'retried' (shouldRetry=true by default)
+            expect(result.status).toBe('retried');
+            // Assertion 2: result.errorCategory === 'output_invalid'
+            expect(result.errorCategory).toBe('output_invalid');
+            // Assertion 3: Verify task in store has status 'retry_wait'
+            const task = await stateManager.getTask(taskId);
+            expect(task).not.toBeNull();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(task.status).toBe('retry_wait');
+            // Assertion 4: Verify task attemptCount is 1
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(task.attemptCount).toBe(1);
+            // Assertion 5: Verify failureReason mentions validation
+            expect(result.failureReason).toBeDefined();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(result.failureReason.toLowerCase()).toContain('validation');
+            // Assertion 6: Verify run record has errorCategory 'output_invalid'
+            const runs = await stateManager.getRunsByTask(taskId);
+            expect(runs.length).toBeGreaterThan(0);
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            const latestRun = runs[runs.length - 1];
+            expect(latestRun.errorCategory).toBe('output_invalid');
+            expect(latestRun.executionStatus).toBe('failed');
+        });
+    });
+    // ═══════════════════════════════════════════════════════════════
+    // SCENARIO 4: OpenClaw-History Compatibility (EXIT CRITERIA #6)
+    // ═══════════════════════════════════════════════════════════════
+    describe('Scenario 4: OpenClaw-History Compatibility', () => {
+        it('handles imported openclaw-history context without errors', async () => {
+            const taskId = 'e2e-openclaw-001';
+            // Create task
+            await stateManager.createTask(makeDiagnosticianTaskInput({
+                taskId,
+                workspaceDir: testDir,
+                diagnostic: { reasonSummary: 'E2E openclaw-history compat test' },
+            }));
+            // Acquire lease to create a real run record first (mimics imported history)
+            await stateManager.acquireLease({
+                taskId,
+                owner: 'setup-agent',
+                runtimeKind: 'openclaw-history',
+            });
+            // Mark as succeeded to have a completed run with output
+            await stateManager.markTaskSucceeded(taskId, 'run://setup-run');
+            // Now set up for runner: create a fresh task state
+            await stateManager.updateTask(taskId, {
+                status: 'pending',
+                attemptCount: 0,
+                lastError: null,
+                resultRef: null,
+            });
+            // Verify openclaw-history run exists
+            const runsBefore = await stateManager.getRunsByTask(taskId);
+            expect(runsBefore.length).toBeGreaterThan(0);
+            // Configure TestDoubleRuntimeAdapter for success
+            const successOutput = makeDiagnosticianOutput(taskId);
+            const runtimeAdapter = new TestDoubleRuntimeAdapter({
+                onPollRun: (_runId) => ({ runId: 'td-oc-1', status: 'succeeded', startedAt: new Date().toISOString(), endedAt: new Date().toISOString() }),
+                onFetchOutput: (_runId) => ({ runId: 'td-oc-fetch-1', payload: successOutput }),
+            });
+            const runner = createRunner(runtimeAdapter, new PassThroughValidator());
+            const result = await runner.run(taskId);
+            // Assertion 1: result.status === 'succeeded' (no errors from mixed runtime_kind)
+            expect(result.status).toBe('succeeded');
+            // Assertion 2: contextHash is present (context assembly succeeded)
+            expect(result.contextHash).toBeDefined();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(result.contextHash.length).toBeGreaterThan(0);
+            // Assertion 3: Verify task in store has status 'succeeded'
+            const task = await stateManager.getTask(taskId);
+            expect(task).not.toBeNull();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(task.status).toBe('succeeded');
+            // Assertion 4: Verify output is valid
+            expect(result.output).toBeDefined();
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(result.output.valid).toBe(true);
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            expect(result.output.diagnosisId).toBe(successOutput.diagnosisId);
+            // Assertion 5: Verify openclaw-history run is in store (compatibility)
+            const allRuns = await stateManager.getRunsByTask(taskId);
+            const openclawHistoryRuns = allRuns.filter((r) => r.runtimeKind === 'openclaw-history');
+            expect(openclawHistoryRuns.length).toBeGreaterThan(0);
+            // Assertion 6: Verify result.taskId matches
+            expect(result.taskId).toBe(taskId);
+        });
+    });
+});
+//# sourceMappingURL=dual-track-e2e.test.js.map

package/dist/runtime-v2/runner/__tests__/dual-track-e2e.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dual-track-e2e.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/runner/__tests__/dual-track-e2e.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAMrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,8CAA8C,CAAC;AAGxF,sBAAsB;AAEtB,SAAS,uBAAuB,CAAC,MAAc;IAC7C,OAAO;QACL,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,YAAY,IAAI,CAAC,GAAG,EAAE,EAAE;QACrC,MAAM;QACN,OAAO,EAAE,4BAA4B;QACrC,SAAS,EAAE,8BAA8B;QACzC,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,EAAE;QACZ,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,IAAI;KACjB,CAAC;AACJ,CAAC;AAgBD,SAAS,0BAA0B,CACjC,OAA4B;IAE5B,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;IAChE,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;QACpC,YAAY;QACZ,aAAa,EAAE,UAAU,EAAE,aAAa,IAAI,eAAe;QAC3D,YAAY,EAAE,UAAU,EAAE,YAAY;QACtC,QAAQ,EAAE,UAAU,EAAE,QAAQ;QAC9B,MAAM,EAAE,UAAU,EAAE,MAAM;KAC3B,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,eAAe;QACzB,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,GAAG,SAAS;QACZ,cAAc;KACf,CAAC;AACJ,CAAC;AAED,8CAA8C;AAE9C,MAAM,sBAAsB;IAC1B,qEAAqE;IACrE,KAAK,CAAC,QAAQ,CACZ,OAA0D,EAC1D,OAAe;QAEf,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,CAAC,0BAA0B,CAAC;YACpC,aAAa,EAAE,gBAAgB;SAChC,CAAC;IACJ,CAAC;CACF;AAED,mBAAmB;AAEnB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,qBAAqB,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;AAE5E,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,gEAAgE;IAChE,IAAI,OAAe,CAAC;IACpB,gEAAgE;IAChE,IAAI,YAAiC,CAAC;IACtC,gEAAgE;IAChE,IAAI,gBAAwC,CAAC;IAC7C,gEAAgE;IAChE,IAAI,YAAgC,CAAC;IACrC,gEAAgE;IAChE,IAAI,YAA+B,CAAC;IAEpC,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1F,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE3C,YAAY,GAAG,IAAI,mBAAmB,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;QAClE,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC;QAEhC,MAAM,UAAU,GAAI,YAAmD,CAAC,UAAmB,CAAC;QAC5F,YAAY,GAAG,IAAI,kBAAkB,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,SAAS,GAAI,YAAkD,CAAC,SAAkB,CAAC;QACzF,MAAM,QAAQ,GAAI,YAAiD,CAAC,QAAiB,CAAC;QACtF,gBAAgB,GAAG,IAAI,sBAAsB,CAAC,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QAEjF,YAAY,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,YAAY,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;QAAC,MAAM,CAAC;YACP,mCAAmC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,SAAS,YAAY,CACnB,cAAwC,EACxC,YAAoC,IAAI,oBAAoB,EAAE,EAC9D,YAAoC,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,EAAE;QAE/I,OAAO,IAAI,mBAAmB,CAC5B;YACE,YAAY;YACZ,gBAAgB;YAChB,cAAc;YACd,YAAY;YACZ,SAAS;YACX,SAAS;SACR,EACD;YACE,KAAK,EAAE,uBAAuB;YAC9B,WAAW,EAAE,aAAa;YAC1B,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;SAChB,CACF,CAAC;IACJ,CAAC;IAED,kEAAkE;IAClE,6DAA6D;IAC7D,kEAAkE;IAElE,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;YACrE,MAAM,MAAM,GAAG,eAAe,CAAC;YAE/B,mCAAmC;YACnC,MAAM,YAAY,CAAC,UAAU,CAC3B,0BAA0B,CAAC;gBACzB,MAAM;gBACN,YAAY,EAAE,OAAO;gBACrB,UAAU,EAAE;oBACV,aAAa,EAAE,qBAAqB;oBACpC,YAAY,EAAE,cAAc;oBAC5B,QAAQ,EAAE,QAAQ;oBAClB,MAAM,EAAE,UAAU;iBACnB;aACF,CAAC,CACH,CAAC;YAEF,qEAAqE;YACrE,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;YACzD,MAAM,cAAc,GAAG,IAAI,wBAAwB,CAAC;gBAClD,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC5I,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;aAChF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,EAAE,IAAI,oBAAoB,EAAE,CAAC,CAAC;YACxE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAExC,6CAA6C;YAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAExC,oDAAoD;YACpD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC5B,oEAAoE;YACpE,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAEvC,iDAAiD;YACjD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;YACpC,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,MAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;YAEtE,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;YACzC,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,WAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAEtD,6CAA6C;YAC7C,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACvC,oEAAoE;YACpE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;YAC9C,oEAAoE;YACpE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,aAAc,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,kEAAkE;IAClE,+DAA+D;IAC/D,kEAAkE;IAElE,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACzD,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,MAAM,GAAG,sBAAsB,CAAC;YAEtC,MAAM,YAAY,CAAC,UAAU,CAC3B,0BAA0B,CAAC;gBACzB,MAAM;gBACN,YAAY,EAAE,OAAO;gBACrB,UAAU,EAAE,EAAE,aAAa,EAAE,0BAA0B,EAAE;aAC1D,CAAC,CACH,CAAC;YAEF,gEAAgE;YAChE,MAAM,cAAc,GAAG,IAAI,wBAAwB,CAAC;gBAClD,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;gBACzI,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI;aAC1B,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,EAAE,IAAI,oBAAoB,EAAE,CAAC,CAAC;YACxE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAExC,2CAA2C;YAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEtC,2DAA2D;YAC3D,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAEtD,4DAA4D;YAC5D,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC5B,oEAAoE;YACpE,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAExC,oDAAoD;YACpD,oEAAoE;YACpE,MAAM,CAAC,IAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEnC,sEAAsE;YACtE,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACvC,oEAAoE;YACpE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAEzD,+CAA+C;YAC/C,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,kEAAkE;IAClE,oDAAoD;IACpD,kEAAkE;IAElE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,MAAM,GAAG,yBAAyB,CAAC;YAEzC,MAAM,YAAY,CAAC,UAAU,CAC3B,0BAA0B,CAAC;gBACzB,MAAM;gBACN,YAAY,EAAE,OAAO;gBACrB,UAAU,EAAE,EAAE,aAAa,EAAE,6BAA6B,EAAE;aAC7D,CAAC,CACH,CAAC;YAEF,gFAAgF;YAChF,MAAM,WAAW,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;YACpD,MAAM,cAAc,GAAG,IAAI,wBAAwB,CAAC;gBAClD,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC3I,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;aAC/E,CAAC,CAAC;YAEH,wDAAwD;YACxD,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,EAAE,IAAI,sBAAsB,EAAE,CAAC,CAAC;YAC1E,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAExC,yEAAyE;YACzE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEtC,yDAAyD;YACzD,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAEpD,4DAA4D;YAC5D,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC5B,oEAAoE;YACpE,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAExC,6CAA6C;YAC7C,oEAAoE;YACpE,MAAM,CAAC,IAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEnC,wDAAwD;YACxD,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3C,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,aAAc,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAEpE,oEAAoE;YACpE,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACvC,oEAAoE;YACpE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACvD,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,kEAAkE;IAClE,gEAAgE;IAChE,kEAAkE;IAElE,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAC1D,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAElC,cAAc;YACd,MAAM,YAAY,CAAC,UAAU,CAC3B,0BAA0B,CAAC;gBACzB,MAAM;gBACN,YAAY,EAAE,OAAO;gBACrB,UAAU,EAAE,EAAE,aAAa,EAAE,kCAAkC,EAAE;aAClE,CAAC,CACH,CAAC;YAEF,4EAA4E;YAC5E,MAAM,YAAY,CAAC,YAAY,CAAC;gBAC9B,MAAM;gBACN,KAAK,EAAE,aAAa;gBACpB,WAAW,EAAE,kBAAkB;aAChC,CAAC,CAAC;YAEH,wDAAwD;YACxD,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;YAEhE,mDAAmD;YACnD,MAAM,YAAY,CAAC,UAAU,CAAC,MAAM,EAAE;gBACpC,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,CAAC;gBACf,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;aAChB,CAAC,CAAC;YAEH,qCAAqC;YACrC,MAAM,UAAU,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC5D,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAE7C,iDAAiD;YACjD,MAAM,aAAa,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,cAAc,GAAG,IAAI,wBAAwB,CAAC;gBAClD,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC1I,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;aAChF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,EAAE,IAAI,oBAAoB,EAAE,CAAC,CAAC;YACxE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAExC,iFAAiF;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAExC,mEAAmE;YACnE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;YACzC,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,WAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAEtD,2DAA2D;YAC3D,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC5B,oEAAoE;YACpE,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAEvC,sCAAsC;YACtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;YACpC,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,MAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,MAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;YAEnE,uEAAuE;YACvE,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACzD,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,kBAAkB,CAAC,CAAC;YACxF,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAEtD,4CAA4C;YAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/runner/__tests__/lease-expiration-recovery.integration.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=lease-expiration-recovery.integration.test.d.ts.map

package/dist/runtime-v2/runner/__tests__/lease-expiration-recovery.integration.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lease-expiration-recovery.integration.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/runner/__tests__/lease-expiration-recovery.integration.test.ts"],"names":[],"mappings":""}

package/dist/runtime-v2/runner/__tests__/lease-expiration-recovery.integration.test.js

@@ -0,0 +1,261 @@
+/**
+ * Lease expiration recovery integration tests.
+ *
+ * Verifies forceExpire allows another runner to acquire a task whose lease became stale:
+ *   1. forceExpire clears the lease and returns task to 'pending'
+ *   2. Another runner can acquireLease without lease_conflict
+ *   3. Only one runner can hold a lease at any time (lease conflict)
+ *   4. The new runner's attempt completes successfully
+ */
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import * as fs from 'fs';
+import * as path from 'path';
+import * as os from 'os';
+import { RuntimeStateManager } from '../../store/runtime-state-manager.js';
+import { SqliteContextAssembler } from '../../store/context/sqlite-context-assembler.js';
+import { SqliteHistoryQuery } from '../../store/history/sqlite-history-query.js';
+import { StoreEventEmitter } from '../../store/event-emitter.js';
+import { DiagnosticianRunner } from '../diagnostician-runner.js';
+import { PassThroughValidator } from '../diagnostician-validator.js';
+import { PDRuntimeError } from '../../error-categories.js';
+/* eslint-disable @typescript-eslint/no-non-null-assertion */
+// -- Test fixtures --
+function makeDiagnosticianOutput(taskId) {
+    return {
+        valid: true,
+        diagnosisId: `diag-${Date.now()}`,
+        taskId,
+        summary: 'Integration test diagnosis summary',
+        rootCause: 'Test root cause analysis',
+        violatedPrinciples: [],
+        evidence: [],
+        recommendations: [],
+        confidence: 0.85,
+    };
+}
+function makeDiagnosticianTaskInput(options) {
+    const { taskId, workspaceDir, diagnostic, overrides } = options;
+    const diagnosticJson = JSON.stringify({
+        workspaceDir,
+        reasonSummary: diagnostic?.reasonSummary ?? 'Integration test task',
+        sourcePainId: diagnostic?.sourcePainId,
+        severity: diagnostic?.severity,
+        source: diagnostic?.source,
+    });
+    return {
+        taskId,
+        taskKind: 'diagnostician',
+        status: 'pending',
+        attemptCount: 0,
+        maxAttempts: 3,
+        ...overrides,
+        diagnosticJson,
+    };
+}
+// -- StubRuntimeAdapter --
+/* eslint-disable @typescript-eslint/class-methods-use-this */
+class StubRuntimeAdapter {
+    kindValue;
+    nextOutput = null;
+    nextStatus = 'succeeded';
+    constructor(kindValue = 'test-double') {
+        this.kindValue = kindValue;
+    }
+    setOutput(output) {
+        this.nextOutput = output;
+    }
+    setRunStatus(status) {
+        this.nextStatus = status;
+    }
+    kind() {
+        return this.kindValue;
+    }
+    async getCapabilities() {
+        return {
+            supportsStructuredJsonOutput: true,
+            supportsToolUse: false,
+            supportsWorkingDirectory: false,
+            supportsModelSelection: false,
+            supportsLongRunningSessions: false,
+            supportsCancellation: true,
+            supportsArtifactWriteBack: false,
+            supportsConcurrentRuns: false,
+            supportsStreaming: false,
+        };
+    }
+    async healthCheck() {
+        return {
+            healthy: true,
+            degraded: false,
+            warnings: [],
+            lastCheckedAt: new Date().toISOString(),
+        };
+    }
+    async startRun(_input) {
+        const runId = `stub-run-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
+        return {
+            runId,
+            runtimeKind: this.kindValue,
+            startedAt: new Date().toISOString(),
+        };
+    }
+    async pollRun(runId) {
+        return {
+            runId,
+            status: this.nextStatus,
+            startedAt: new Date().toISOString(),
+            endedAt: new Date().toISOString(),
+        };
+    }
+    async cancelRun(_runId) { }
+    async fetchOutput(runId) {
+        if (this.nextOutput === null)
+            return null;
+        return { runId, payload: this.nextOutput };
+    }
+    async fetchArtifacts(_runId) {
+        return [];
+    }
+}
+/* eslint-enable @typescript-eslint/class-methods-use-this */
+// -- Integration test setup --
+const TMP_ROOT = path.join(os.tmpdir(), `pd-m4-04-lease-expire-${process.pid}`);
+describe('lease expiration recovery integration', () => {
+    let testDir = '';
+    let stateManager = null;
+    let contextAssembler = null;
+    let historyQuery = null;
+    let eventEmitter = null;
+    let runtimeAdapter = null;
+    beforeEach(async () => {
+        testDir = path.join(TMP_ROOT, `test-${Date.now()}-${Math.random().toString(36).slice(2)}`);
+        fs.mkdirSync(testDir, { recursive: true });
+        stateManager = new RuntimeStateManager({ workspaceDir: testDir });
+        await stateManager.initialize();
+        const sqliteConn = stateManager.connection;
+        historyQuery = new SqliteHistoryQuery(sqliteConn);
+        const { taskStore } = stateManager;
+        const { runStore } = stateManager;
+        contextAssembler = new SqliteContextAssembler(taskStore, historyQuery, runStore);
+        eventEmitter = new StoreEventEmitter();
+        runtimeAdapter = new StubRuntimeAdapter();
+    });
+    afterEach(() => {
+        stateManager.close();
+        try {
+            fs.rmSync(TMP_ROOT, { recursive: true, force: true });
+        }
+        catch {
+            // ignore cleanup errors on Windows
+        }
+    });
+    function createRunner(validator = new PassThroughValidator(), committer = { commit: async () => ({ commitId: "mock-commit-id", artifactId: "mock-artifact-id", candidateCount: 0 }) }) {
+        return new DiagnosticianRunner({
+            stateManager,
+            contextAssembler,
+            runtimeAdapter,
+            eventEmitter,
+            validator,
+            committer,
+        }, {
+            owner: 'integration-test-runner',
+            runtimeKind: 'test-double',
+            pollIntervalMs: 50,
+            timeoutMs: 2000,
+        });
+    }
+    it('forceExpire clears stale lease allowing another runner to acquire', async () => {
+        const taskId = 'lease-expire-task-001';
+        // Create task with maxAttempts=3
+        await stateManager.createTask(makeDiagnosticianTaskInput({
+            taskId,
+            workspaceDir: testDir,
+            diagnostic: { reasonSummary: 'lease expiration recovery test' },
+            overrides: { maxAttempts: 3 },
+        }));
+        // Runner A acquires lease (attemptCount 0 → 1)
+        await stateManager.acquireLease({
+            taskId,
+            owner: 'runner-A',
+            runtimeKind: 'test-double',
+        });
+        let task = await stateManager.getTask(taskId);
+        expect(task.status).toBe('leased');
+        expect(task.leaseOwner).toBe('runner-A');
+        expect(task.attemptCount).toBe(1);
+        // Force-expire the lease (simulates runner-A crash)
+        await stateManager.forceExpireLease(taskId);
+        task = await stateManager.getTask(taskId);
+        expect(task.status).toBe('pending');
+        expect(task.leaseOwner).toBeFalsy();
+        expect(task.leaseExpiresAt).toBeFalsy();
+        // Runner B acquires the same task — should succeed without lease_conflict
+        await stateManager.acquireLease({
+            taskId,
+            owner: 'runner-B',
+            runtimeKind: 'test-double',
+        });
+        task = await stateManager.getTask(taskId);
+        expect(task.status).toBe('leased');
+        expect(task.leaseOwner).toBe('runner-B');
+        expect(task.attemptCount).toBe(2);
+        // Verify 2 run records (one from Runner A, one from Runner B)
+        const runs = await stateManager.getRunsByTask(taskId);
+        expect(runs).toHaveLength(2);
+    });
+    it('runner completes task after forceExpire recovery', async () => {
+        const taskId = 'lease-expire-task-002';
+        await stateManager.createTask(makeDiagnosticianTaskInput({
+            taskId,
+            workspaceDir: testDir,
+            diagnostic: { reasonSummary: 'runner recovery after force expire' },
+            overrides: { maxAttempts: 3 },
+        }));
+        // Runner A acquires lease then crashes
+        await stateManager.acquireLease({
+            taskId,
+            owner: 'runner-A',
+            runtimeKind: 'test-double',
+        });
+        await stateManager.forceExpireLease(taskId);
+        // Set up adapter for Runner B's successful attempt
+        const output = makeDiagnosticianOutput(taskId);
+        runtimeAdapter.setOutput(output);
+        // Runner B picks up the task via DiagnosticianRunner.run()
+        const runner = createRunner();
+        const result = await runner.run(taskId);
+        expect(result.status).toBe('succeeded');
+        expect(result.taskId).toBe(taskId);
+        const task = await stateManager.getTask(taskId);
+        expect(task.status).toBe('succeeded');
+    });
+    it('prevents concurrent lease holders — lease conflict enforced', async () => {
+        const taskId = 'lease-expire-task-003';
+        await stateManager.createTask(makeDiagnosticianTaskInput({
+            taskId,
+            workspaceDir: testDir,
+            diagnostic: { reasonSummary: 'concurrent lease conflict test' },
+            overrides: { maxAttempts: 3 },
+        }));
+        // Runner A acquires lease
+        await stateManager.acquireLease({
+            taskId,
+            owner: 'runner-A',
+            runtimeKind: 'test-double',
+        });
+        // Runner B tries to acquire while Runner A holds the lease → lease_conflict
+        await expect(stateManager.acquireLease({ taskId, owner: 'runner-B', runtimeKind: 'test-double' })).rejects.toThrow();
+        try {
+            await stateManager.acquireLease({ taskId, owner: 'runner-B', runtimeKind: 'test-double' });
+        }
+        catch (err) {
+            expect(err).toBeInstanceOf(PDRuntimeError);
+            expect(err.category).toBe('lease_conflict');
+        }
+        // Verify Runner A still holds the lease
+        const task = await stateManager.getTask(taskId);
+        expect(task.status).toBe('leased');
+        expect(task.leaseOwner).toBe('runner-A');
+    });
+});
+//# sourceMappingURL=lease-expiration-recovery.integration.test.js.map

package/dist/runtime-v2/runner/__tests__/lease-expiration-recovery.integration.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lease-expiration-recovery.integration.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/runner/__tests__/lease-expiration-recovery.integration.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAerE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAE3D,6DAA6D;AAE7D,sBAAsB;AAEtB,SAAS,uBAAuB,CAAC,MAAc;IAC7C,OAAO;QACL,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,EAAE;QACjC,MAAM;QACN,OAAO,EAAE,oCAAoC;QAC7C,SAAS,EAAE,0BAA0B;QACrC,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,EAAE;QACZ,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,IAAI;KACjB,CAAC;AACJ,CAAC;AAgBD,SAAS,0BAA0B,CACjC,OAA4B;IAE5B,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;IAChE,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;QACpC,YAAY;QACZ,aAAa,EAAE,UAAU,EAAE,aAAa,IAAI,uBAAuB;QACnE,YAAY,EAAE,UAAU,EAAE,YAAY;QACtC,QAAQ,EAAE,UAAU,EAAE,QAAQ;QAC9B,MAAM,EAAE,UAAU,EAAE,MAAM;KAC3B,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,eAAe;QACzB,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,GAAG,SAAS;QACZ,cAAc;KACf,CAAC;AACJ,CAAC;AAED,2BAA2B;AAE3B,8DAA8D;AAC9D,MAAM,kBAAkB;IAIO;IAHrB,UAAU,GAAmC,IAAI,CAAC;IAClD,UAAU,GAAwB,WAAW,CAAC;IAEtD,YAA6B,YAAyB,aAAa;QAAtC,cAAS,GAAT,SAAS,CAA6B;IAAG,CAAC;IAEvE,SAAS,CAAC,MAAsC;QAC9C,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC;IAC3B,CAAC;IAED,YAAY,CAAC,MAA2B;QACtC,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC;IAC3B,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,eAAe;QACnB,OAAO;YACL,4BAA4B,EAAE,IAAI;YAClC,eAAe,EAAE,KAAK;YACtB,wBAAwB,EAAE,KAAK;YAC/B,sBAAsB,EAAE,KAAK;YAC7B,2BAA2B,EAAE,KAAK;YAClC,oBAAoB,EAAE,IAAI;YAC1B,yBAAyB,EAAE,KAAK;YAChC,sBAAsB,EAAE,KAAK;YAC7B,iBAAiB,EAAE,KAAK;SACzB,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,WAAW;QACf,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,EAAE;YACZ,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACxC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,MAAqB;QAClC,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACjF,OAAO;YACL,KAAK;YACL,WAAW,EAAE,IAAI,CAAC,SAAS;YAC3B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,KAAa;QACzB,OAAO;YACL,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,UAAU;YACvB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SAClC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,MAAc,IAA+B,CAAC;IAE9D,KAAK,CAAC,WAAW,CAAC,KAAa;QAC7B,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1C,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,MAAc;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;CACF;AACD,6DAA6D;AAE7D,+BAA+B;AAE/B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,yBAAyB,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;AAEhF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,YAAY,GAAwB,IAAsC,CAAC;IAC/E,IAAI,gBAAgB,GAA2B,IAAyC,CAAC;IACzF,IAAI,YAAY,GAAuB,IAAqC,CAAC;IAC7E,IAAI,YAAY,GAAsB,IAAoC,CAAC;IAC3E,IAAI,cAAc,GAAuB,IAAqC,CAAC;IAE/E,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3F,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE3C,YAAY,GAAG,IAAI,mBAAmB,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;QAClE,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC;QAEhC,MAAM,UAAU,GAAI,YAAmD,CAAC,UAAU,CAAC;QACnF,YAAY,GAAG,IAAI,kBAAkB,CAAC,UAAmB,CAAC,CAAC;QAE3D,MAAM,EAAE,SAAS,EAAE,GAAI,YAAkD,CAAC;QAC1E,MAAM,EAAE,QAAQ,EAAE,GAAI,YAAiD,CAAC;QACxE,gBAAgB,GAAG,IAAI,sBAAsB,CAC3C,SAAkB,EAClB,YAAY,EACZ,QAAiB,CAClB,CAAC;QAEF,YAAY,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACvC,cAAc,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,YAAY,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;QAAC,MAAM,CAAC;YACP,mCAAmC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,SAAS,YAAY,CAAC,YAAoC,IAAI,oBAAoB,EAAE,EAClF,YAAoC,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,EAAE;QAC/I,OAAO,IAAI,mBAAmB,CAC5B;YACE,YAAY;YACZ,gBAAgB;YAChB,cAAc;YACd,YAAY;YACZ,SAAS;YACX,SAAS;SACR,EACD;YACE,KAAK,EAAE,yBAAyB;YAChC,WAAW,EAAE,aAAa;YAC1B,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;SAChB,CACF,CAAC;IACJ,CAAC;IAED,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,MAAM,GAAG,uBAAuB,CAAC;QAEvC,iCAAiC;QACjC,MAAM,YAAY,CAAC,UAAU,CAC3B,0BAA0B,CAAC;YACzB,MAAM;YACN,YAAY,EAAE,OAAO;YACrB,UAAU,EAAE,EAAE,aAAa,EAAE,gCAAgC,EAAE;YAC/D,SAAS,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE;SAC9B,CAAC,CACH,CAAC;QAEF,+CAA+C;QAC/C,MAAM,YAAY,CAAC,YAAY,CAAC;YAC9B,MAAM;YACN,KAAK,EAAE,UAAU;YACjB,WAAW,EAAE,aAAa;SAC3B,CAAC,CAAC;QAEH,IAAI,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,CAAC,IAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnC,oDAAoD;QACpD,MAAM,YAAY,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAE5C,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,CAAC,IAAK,CAAC,UAAU,CAAC,CAAC,SAAS,EAAE,CAAC;QACrC,MAAM,CAAC,IAAK,CAAC,cAAc,CAAC,CAAC,SAAS,EAAE,CAAC;QAEzC,0EAA0E;QAC1E,MAAM,YAAY,CAAC,YAAY,CAAC;YAC9B,MAAM;YACN,KAAK,EAAE,UAAU;YACjB,WAAW,EAAE,aAAa;SAC3B,CAAC,CAAC;QAEH,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,CAAC,IAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnC,8DAA8D;QAC9D,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,MAAM,GAAG,uBAAuB,CAAC;QAEvC,MAAM,YAAY,CAAC,UAAU,CAC3B,0BAA0B,CAAC;YACzB,MAAM;YACN,YAAY,EAAE,OAAO;YACrB,UAAU,EAAE,EAAE,aAAa,EAAE,oCAAoC,EAAE;YACnE,SAAS,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE;SAC9B,CAAC,CACH,CAAC;QAEF,uCAAuC;QACvC,MAAM,YAAY,CAAC,YAAY,CAAC;YAC9B,MAAM;YACN,KAAK,EAAE,UAAU;YACjB,WAAW,EAAE,aAAa;SAC3B,CAAC,CAAC;QAEH,MAAM,YAAY,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAE5C,mDAAmD;QACnD,MAAM,MAAM,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC/C,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAEjC,2DAA2D;QAC3D,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAExC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAEnC,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,MAAM,GAAG,uBAAuB,CAAC;QAEvC,MAAM,YAAY,CAAC,UAAU,CAC3B,0BAA0B,CAAC;YACzB,MAAM;YACN,YAAY,EAAE,OAAO;YACrB,UAAU,EAAE,EAAE,aAAa,EAAE,gCAAgC,EAAE;YAC/D,SAAS,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE;SAC9B,CAAC,CACH,CAAC;QAEF,0BAA0B;QAC1B,MAAM,YAAY,CAAC,YAAY,CAAC;YAC9B,MAAM;YACN,KAAK,EAAE,UAAU;YACjB,WAAW,EAAE,aAAa;SAC3B,CAAC,CAAC;QAEH,4EAA4E;QAC5E,MAAM,MAAM,CACV,YAAY,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CACrF,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAEpB,IAAI,CAAC;YACH,MAAM,YAAY,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;QAC7F,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC;YAC3C,MAAM,CAAE,GAAsB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClE,CAAC;QAED,wCAAwC;QACxC,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,CAAC,IAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/runner/__tests__/m5-05-e2e.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=m5-05-e2e.test.d.ts.map

package/dist/runtime-v2/runner/__tests__/m5-05-e2e.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"m5-05-e2e.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/runner/__tests__/m5-05-e2e.test.ts"],"names":[],"mappings":""}