@principles/core 1.73.0

package/dist/runtime-v2/runner/diagnostician-runner-options.js

@@ -0,0 +1,19 @@
+/** Default option values. */
+export const DEFAULT_RUNNER_OPTIONS = {
+    pollIntervalMs: 5_000,
+    timeoutMs: 300_000,
+    defaultMaxAttempts: 3,
+    agentId: 'main',
+};
+/** Resolve options by applying defaults. */
+export function resolveRunnerOptions(options) {
+    return {
+        pollIntervalMs: options.pollIntervalMs ?? DEFAULT_RUNNER_OPTIONS.pollIntervalMs,
+        timeoutMs: options.timeoutMs ?? DEFAULT_RUNNER_OPTIONS.timeoutMs,
+        defaultMaxAttempts: options.defaultMaxAttempts ?? DEFAULT_RUNNER_OPTIONS.defaultMaxAttempts,
+        owner: options.owner,
+        runtimeKind: options.runtimeKind,
+        agentId: options.agentId ?? DEFAULT_RUNNER_OPTIONS.agentId,
+    };
+}
+//# sourceMappingURL=diagnostician-runner-options.js.map

package/dist/runtime-v2/runner/diagnostician-runner-options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostician-runner-options.js","sourceRoot":"","sources":["../../../src/runtime-v2/runner/diagnostician-runner-options.ts"],"names":[],"mappings":"AAkCA,6BAA6B;AAC7B,MAAM,CAAC,MAAM,sBAAsB,GAAgF;IACjH,cAAc,EAAE,KAAK;IACrB,SAAS,EAAE,OAAO;IAClB,kBAAkB,EAAE,CAAC;IACrB,OAAO,EAAE,MAAM;CACP,CAAC;AAEX,4CAA4C;AAC5C,MAAM,UAAU,oBAAoB,CAAC,OAAmC;IACtE,OAAO;QACL,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,sBAAsB,CAAC,cAAc;QAC/E,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,sBAAsB,CAAC,SAAS;QAChE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,IAAI,sBAAsB,CAAC,kBAAkB;QAC3F,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,sBAAsB,CAAC,OAAO;KAC3D,CAAC;AACJ,CAAC"}

package/dist/runtime-v2/runner/diagnostician-runner.d.ts

@@ -0,0 +1,87 @@
+/**
+ * DiagnosticianRunner -- explicit runner-driven diagnostician execution.
+ *
+ * Replaces heartbeat-prompt-driven execution with a deterministic pipeline:
+ *   lease -> build context -> invoke runtime -> poll -> fetch output -> validate -> succeed/fail
+ *
+ * Per D-01: Phase-based step pipeline, each phase is independent method.
+ * Per D-02: Polling loop with configurable interval and timeout.
+ * Per D-03: Retry with backoff on transient errors, fail on permanent.
+ * Per D-04: All store operations through RuntimeStateManager.
+ *
+ * Runner does NOT:
+ *   - Import from evolution-worker.ts or prompt.ts
+ *   - Write artifact files (M5 scope)
+ *   - Emit principle candidates (M5 scope)
+ *   - Persist RunnerPhase to TaskStore
+ */
+import type { RuntimeStateManager } from '../store/runtime-state-manager.js';
+import type { ContextAssembler } from '../store/context/context-assembler.js';
+import type { PDRuntimeAdapter } from '../runtime-protocol.js';
+import type { StoreEventEmitter } from '../store/event-emitter.js';
+import type { DiagnosticianRunnerOptions } from './diagnostician-runner-options.js';
+import type { DiagnosticianValidator } from './diagnostician-validator.js';
+import type { RunnerResult } from './runner-result.js';
+import type { DiagnosticianCommitter } from '../store/commit/diagnostician-committer.js';
+import { RunnerPhase } from './runner-phase.js';
+/** Dependencies injected into DiagnosticianRunner. */
+export interface DiagnosticianRunnerDeps {
+    readonly stateManager: RuntimeStateManager;
+    readonly contextAssembler: ContextAssembler;
+    readonly runtimeAdapter: PDRuntimeAdapter;
+    readonly eventEmitter: StoreEventEmitter;
+    readonly validator: DiagnosticianValidator;
+    readonly committer: DiagnosticianCommitter;
+}
+export declare class DiagnosticianRunner {
+    private phase;
+    private readonly resolvedOptions;
+    private readonly stateManager;
+    private readonly contextAssembler;
+    private readonly runtimeAdapter;
+    private readonly eventEmitter;
+    private readonly validator;
+    private readonly committer;
+    constructor(deps: DiagnosticianRunnerDeps, options: DiagnosticianRunnerOptions);
+    /** Get the current internal phase. For testing/observability only. */
+    get currentPhase(): RunnerPhase;
+    /**
+     * Emit a diagnostician telemetry event via the store event emitter.
+     */
+    private emitDiagnosticianEvent;
+    /**
+     * Execute the full diagnostician lifecycle for a task.
+     *
+     * The runner does NOT hold mutable state between run() calls.
+     * Each invocation is independent.
+     */
+    run(taskId: string): Promise<RunnerResult>;
+    /**
+     * Handle errors that occur after a successful lease acquisition.
+     * Uses the real leasedTask (with actual attemptCount/maxAttempts) — never synthetic.
+     * lease_conflict is NOT handled here because it cannot occur after a successful lease.
+     */
+    private handlePostLeaseError;
+    private buildContext;
+    /**
+     * Resolve the store's runId for the latest run of a task.
+     * acquireLease creates a RunRecord with a deterministic ID (run_{taskId}_{attempt}).
+     * The adapter's RunHandle.runId is separate -- we need the store's ID for
+     * updateRunOutput and other store operations.
+     */
+    private resolveStoreRunId;
+    private invokeRuntime;
+    private pollUntilTerminal;
+    private fetchAndParseOutput;
+    private succeedTask;
+    private handleRuntimeFailure;
+    private handleValidationError;
+    private handleLeaseOrPhaseError;
+    private retryOrFail;
+    private readonly PERMANENT_ERROR_CATEGORIES;
+    private isPermanentError;
+    private classifyError;
+    private mapRunStatusToErrorCategory;
+    private sleep;
+}
+//# sourceMappingURL=diagnostician-runner.d.ts.map

package/dist/runtime-v2/runner/diagnostician-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostician-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/runner/diagnostician-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,KAAK,EACV,gBAAgB,EAIjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAMnE,OAAO,KAAK,EAAE,0BAA0B,EAAsC,MAAM,mCAAmC,CAAC;AACxH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,sBAAsB,EAAgB,MAAM,4CAA4C,CAAC;AAGvG,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,sDAAsD;AACtD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C;AA2BD,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,KAAK,CAAiC;IAC9C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAqC;IACrE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAsB;IACnD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAmB;IACpD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAmB;IAClD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAoB;IACjD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAyB;IACnD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAyB;gBAEvC,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,0BAA0B;IAU9E,sEAAsE;IACtE,IAAI,YAAY,IAAI,WAAW,CAE9B;IAED;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAe9B;;;;;OAKG;IACG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;IAqFhD;;;;OAIG;YACW,oBAAoB;YAoBpB,YAAY;IAI1B;;;;;OAKG;YACW,iBAAiB;YASjB,aAAa;YAgBb,iBAAiB;YAyBjB,mBAAmB;YAQnB,WAAW;YAqGX,oBAAoB;YAgBpB,qBAAqB;YAkBrB,uBAAuB;YAyCvB,WAAW;IA4CzB,OAAO,CAAC,QAAQ,CAAC,0BAA0B,CAEzC;IAEF,OAAO,CAAC,gBAAgB;IAKxB,OAAO,CAAC,aAAa;IAWrB,OAAO,CAAC,2BAA2B;IAUnC,OAAO,CAAC,KAAK;CAGd"}

package/dist/runtime-v2/runner/diagnostician-runner.js

@@ -0,0 +1,417 @@
+import { DiagnosticianPromptBuilder } from '../diagnostician-prompt-builder.js';
+import { PDRuntimeError } from '../error-categories.js';
+import { RunnerPhase } from './runner-phase.js';
+import { resolveRunnerOptions } from './diagnostician-runner-options.js';
+export class DiagnosticianRunner {
+    phase = RunnerPhase.Idle;
+    resolvedOptions;
+    stateManager;
+    contextAssembler;
+    runtimeAdapter;
+    eventEmitter;
+    validator;
+    committer;
+    constructor(deps, options) {
+        this.stateManager = deps.stateManager;
+        this.contextAssembler = deps.contextAssembler;
+        this.runtimeAdapter = deps.runtimeAdapter;
+        this.eventEmitter = deps.eventEmitter;
+        this.validator = deps.validator;
+        this.committer = deps.committer;
+        this.resolvedOptions = resolveRunnerOptions(options);
+    }
+    /** Get the current internal phase. For testing/observability only. */
+    get currentPhase() {
+        return this.phase;
+    }
+    /**
+     * Emit a diagnostician telemetry event via the store event emitter.
+     */
+    emitDiagnosticianEvent(eventType, taskId, payload) {
+        this.eventEmitter.emitTelemetry({
+            eventType: eventType,
+            traceId: taskId,
+            timestamp: new Date().toISOString(),
+            sessionId: this.resolvedOptions.owner,
+            agentId: this.resolvedOptions.agentId,
+            payload,
+        });
+    }
+    /**
+     * Execute the full diagnostician lifecycle for a task.
+     *
+     * The runner does NOT hold mutable state between run() calls.
+     * Each invocation is independent.
+     */
+    async run(taskId) {
+        this.phase = RunnerPhase.Idle;
+        // 1. Acquire lease — isolated try/catch so lease_conflict never uses synthetic TaskRecord
+        // eslint-disable-next-line @typescript-eslint/init-declarations
+        let leasedTask;
+        try {
+            leasedTask = await this.stateManager.acquireLease({
+                taskId,
+                owner: this.resolvedOptions.owner,
+                runtimeKind: this.resolvedOptions.runtimeKind,
+            });
+        }
+        catch (error) {
+            return await this.handleLeaseOrPhaseError(taskId, error);
+        }
+        // Emit: diagnostician_task_leased (only on successful lease)
+        this.emitDiagnosticianEvent('diagnostician_task_leased', taskId, {
+            taskKind: leasedTask.taskKind,
+            attemptCount: leasedTask.attemptCount,
+        });
+        // All subsequent errors use the real leasedTask — no synthetic TaskRecord allowed
+        try {
+            // Look up the store's runId for this attempt (acquireLease creates it).
+            // The adapter's RunHandle.runId is separate from the store's runId.
+            const storeRunId = await this.resolveStoreRunId(taskId);
+            // 2. Build context
+            this.phase = RunnerPhase.BuildingContext;
+            const context = await this.buildContext(taskId);
+            const contextHash = context.contextHash;
+            // Emit: diagnostician_context_built
+            this.emitDiagnosticianEvent('diagnostician_context_built', taskId, {
+                contextHash,
+                sourceCount: context.sourceRefs.length,
+            });
+            // 3. Invoke runtime (skip CreatingRun -- acquireLease already created it)
+            this.phase = RunnerPhase.Invoking;
+            const runHandle = await this.invokeRuntime(context, taskId);
+            // Emit: diagnostician_run_started
+            this.emitDiagnosticianEvent('diagnostician_run_started', taskId, {
+                runtimeKind: this.resolvedOptions.runtimeKind,
+            });
+            // 4. Poll until terminal
+            this.phase = RunnerPhase.Polling;
+            const finalStatus = await this.pollUntilTerminal(runHandle);
+            // 5. Handle non-success terminal states
+            if (finalStatus.status !== 'succeeded') {
+                return await this.handleRuntimeFailure(taskId, leasedTask, finalStatus);
+            }
+            // 6. Fetch output
+            this.phase = RunnerPhase.FetchingOutput;
+            const output = await this.fetchAndParseOutput(runHandle.runId);
+            // 7. Validate (delegate to validator)
+            this.phase = RunnerPhase.Validating;
+            const validationResult = await this.validator.validate(output, taskId);
+            if (!validationResult.valid) {
+                return await this.handleValidationError({
+                    taskId, task: leasedTask, errors: validationResult.errors, errorCategory: validationResult.errorCategory,
+                });
+            }
+            // TELE-04: output_validation_succeeded — validator returned valid: true
+            this.emitDiagnosticianEvent('output_validation_succeeded', taskId, {
+                runtimeKind: this.resolvedOptions.runtimeKind,
+                outputValid: validationResult.valid,
+            });
+            // 8. Succeed task -- store output and mark succeeded using store's runId
+            return await this.succeedTask({ taskId, runId: storeRunId, output, task: leasedTask, contextHash });
+        }
+        catch (error) {
+            // handleLeaseOrPhaseError is only used for lease errors (before lease).
+            // Post-lease errors use retryOrFail with the real leasedTask.
+            return await this.handlePostLeaseError(taskId, leasedTask, error);
+        }
+    }
+    /**
+     * Handle errors that occur after a successful lease acquisition.
+     * Uses the real leasedTask (with actual attemptCount/maxAttempts) — never synthetic.
+     * lease_conflict is NOT handled here because it cannot occur after a successful lease.
+     */
+    async handlePostLeaseError(taskId, task, error) {
+        const classified = this.classifyError(error);
+        // Emit: diagnostician_run_failed
+        this.emitDiagnosticianEvent('diagnostician_run_failed', taskId, {
+            errorCategory: classified.category,
+            errorMessage: classified.message,
+        });
+        // Post-lease errors always go through retryOrFail with the real task record.
+        // This ensures attemptCount/maxAttempts from the store are respected.
+        return this.retryOrFail({ taskId, task, errorCategory: classified.category, failureReason: classified.message });
+    }
+    // -- Phase methods (each independently testable) --
+    async buildContext(taskId) {
+        return this.contextAssembler.assemble(taskId);
+    }
+    /**
+     * Resolve the store's runId for the latest run of a task.
+     * acquireLease creates a RunRecord with a deterministic ID (run_{taskId}_{attempt}).
+     * The adapter's RunHandle.runId is separate -- we need the store's ID for
+     * updateRunOutput and other store operations.
+     */
+    async resolveStoreRunId(taskId) {
+        const runs = await this.stateManager.getRunsByTask(taskId);
+        const latestRun = runs[runs.length - 1];
+        if (!latestRun) {
+            throw new PDRuntimeError('execution_failed', `No run record found for task ${taskId} after lease acquisition`);
+        }
+        return latestRun.runId;
+    }
+    async invokeRuntime(context, taskId) {
+        const builder = new DiagnosticianPromptBuilder();
+        const { message } = builder.buildPrompt(context);
+        const startInput = {
+            agentSpec: { agentId: this.resolvedOptions.agentId, schemaVersion: 'v1' },
+            taskRef: { taskId },
+            inputPayload: message,
+            contextItems: [],
+            outputSchemaRef: 'diagnostician-output-v1',
+            timeoutMs: this.resolvedOptions.timeoutMs,
+        };
+        return this.runtimeAdapter.startRun(startInput);
+    }
+    async pollUntilTerminal(runHandle) {
+        const deadline = Date.now() + this.resolvedOptions.timeoutMs;
+        const terminalStatuses = ['succeeded', 'failed', 'timed_out', 'cancelled'];
+        while (Date.now() < deadline) {
+            const status = await this.runtimeAdapter.pollRun(runHandle.runId);
+            if (terminalStatuses.includes(status.status)) {
+                return status;
+            }
+            await this.sleep(this.resolvedOptions.pollIntervalMs);
+        }
+        // Timeout -- cancel the run gracefully, preserving the timeout error
+        try {
+            await this.runtimeAdapter.cancelRun(runHandle.runId);
+        }
+        catch (cancelErr) {
+            // Log but do not throw — timeout error is the primary failure to report
+            this.emitDiagnosticianEvent('diagnostician_cancel_run_failed', 'timeout-task', {
+                runId: runHandle.runId,
+                errorMessage: cancelErr instanceof Error ? cancelErr.message : String(cancelErr),
+            });
+        }
+        throw new PDRuntimeError('timeout', `Run ${runHandle.runId} timed out after ${this.resolvedOptions.timeoutMs}ms`);
+    }
+    async fetchAndParseOutput(runId) {
+        const result = await this.runtimeAdapter.fetchOutput(runId);
+        if (!result || !result.payload) {
+            throw new PDRuntimeError('output_invalid', `No output available for run ${runId}`);
+        }
+        return result.payload;
+    }
+    async succeedTask(ctx) {
+        // Lineage strip contract invariant: adapter should have stripped lineage
+        // fields (taskId, sourcePainId, etc.) from LLM output. If they survive,
+        // the adapter violated its contract — emit telemetry but don't crash.
+        const outputRecord = ctx.output;
+        if (typeof outputRecord === 'object' && outputRecord !== null &&
+            Object.hasOwn(outputRecord, 'taskId')) {
+            this.emitDiagnosticianEvent('lineage_strip_contract_violation', ctx.taskId, {
+                reason: 'output_contained_taskId_after_strip',
+                expectedAdapter: 'pi-ai-runtime-adapter',
+            });
+        }
+        // Store output before commit so run record reflects output on disk
+        try {
+            await this.stateManager.updateRunOutput(ctx.runId, JSON.stringify(ctx.output));
+        }
+        catch (updateErr) {
+            this.emitDiagnosticianEvent('diagnostician_update_output_failed', ctx.taskId, {
+                runId: ctx.runId,
+                errorMessage: updateErr instanceof Error ? updateErr.message : String(updateErr),
+            });
+            throw updateErr;
+        }
+        // Commit artifact + candidates before marking task succeeded
+        this.phase = RunnerPhase.Committing;
+        // eslint-disable-next-line @typescript-eslint/init-declarations
+        let commitResult;
+        try {
+            commitResult = await this.committer.commit({
+                runId: ctx.runId,
+                taskId: ctx.taskId,
+                output: ctx.output,
+                idempotencyKey: `${ctx.taskId}:${ctx.runId}`,
+            });
+        }
+        catch (commitErr) {
+            // Emit: diagnostician_artifact_commit_failed (TELE-02)
+            this.emitDiagnosticianEvent('diagnostician_artifact_commit_failed', ctx.taskId, {
+                taskId: ctx.taskId,
+                runId: ctx.runId,
+                errorCategory: commitErr instanceof PDRuntimeError ? commitErr.category : 'artifact_commit_failed',
+                errorMessage: commitErr instanceof Error ? commitErr.message : String(commitErr),
+            });
+            throw commitErr; // Re-throw so outer try/catch in run() handles it
+        }
+        // Emit: principle_candidate_registered per candidate (TELE-03)
+        const principleRecs = ctx.output.recommendations.filter((r) => r.kind === 'principle');
+        for (let i = 0; i < principleRecs.length; i++) {
+            const rec = principleRecs[i]; // eslint-disable-line @typescript-eslint/no-non-null-assertion
+            this.emitDiagnosticianEvent('principle_candidate_registered', ctx.taskId, {
+                candidateIndex: i,
+                commitId: commitResult.commitId,
+                kind: 'principle',
+                description: rec.description,
+                sourceRunId: ctx.runId,
+            });
+        }
+        // Emit: diagnostician_artifact_committed (TELE-01)
+        this.emitDiagnosticianEvent('diagnostician_artifact_committed', ctx.taskId, {
+            commitId: commitResult.commitId,
+            artifactId: commitResult.artifactId,
+            candidateCount: commitResult.candidateCount,
+            taskId: ctx.taskId,
+            runId: ctx.runId,
+        });
+        // Use commit URI as resultRef
+        const resultRef = `commit://${commitResult.commitId}`;
+        try {
+            await this.stateManager.markTaskSucceeded(ctx.taskId, resultRef);
+        }
+        catch (stateErr) {
+            // markTaskSucceeded failed after commit succeeded — emit error event so this is observable
+            this.emitDiagnosticianEvent('diagnostician_mark_succeeded_failed', ctx.taskId, {
+                taskId: ctx.taskId,
+                runId: ctx.runId,
+                commitId: commitResult.commitId,
+                errorMessage: stateErr instanceof Error ? stateErr.message : String(stateErr),
+            });
+            throw stateErr;
+        }
+        // Emit: diagnostician_task_succeeded
+        this.emitDiagnosticianEvent('diagnostician_task_succeeded', ctx.taskId, {
+            attemptCount: ctx.task.attemptCount,
+            resultRef,
+            commitId: commitResult.commitId,
+            candidateCount: commitResult.candidateCount,
+        });
+        this.phase = RunnerPhase.Completed;
+        return {
+            status: 'succeeded',
+            taskId: ctx.taskId,
+            contextHash: ctx.contextHash,
+            output: ctx.output,
+            attemptCount: ctx.task.attemptCount,
+        };
+    }
+    async handleRuntimeFailure(taskId, task, runStatus) {
+        const errorCategory = this.mapRunStatusToErrorCategory(runStatus.status, runStatus.reason);
+        // Emit: diagnostician_run_failed
+        this.emitDiagnosticianEvent('diagnostician_run_failed', taskId, {
+            runStatus: runStatus.status,
+            errorCategory,
+        });
+        return this.retryOrFail({ taskId, task, errorCategory, failureReason: `Runtime execution ended with status: ${runStatus.status}` });
+    }
+    async handleValidationError(ctx) {
+        const category = ctx.errorCategory ?? 'output_invalid';
+        // Emit: diagnostician_output_invalid
+        this.emitDiagnosticianEvent('diagnostician_output_invalid', ctx.taskId, {
+            errorCount: ctx.errors.length,
+            errorCategory: category,
+        });
+        // TELE-04: output_validation_failed — validator returned valid: false
+        this.emitDiagnosticianEvent('output_validation_failed', ctx.taskId, {
+            errorCount: ctx.errors.length,
+            errorCategory: category,
+        });
+        return this.retryOrFail({ taskId: ctx.taskId, task: ctx.task, errorCategory: category, failureReason: `Validation failed: ${ctx.errors.join('; ')}` });
+    }
+    async handleLeaseOrPhaseError(taskId, error) {
+        const classified = this.classifyError(error);
+        // lease_conflict is a concurrent-access conflict, not a state change.
+        // No mutation methods (markTaskFailed/markTaskRetryWait) are called.
+        if (classified.category === 'lease_conflict') {
+            this.emitDiagnosticianEvent('diagnostician_run_failed', taskId, {
+                errorCategory: 'lease_conflict',
+                errorMessage: classified.message,
+            });
+            return {
+                status: 'failed',
+                taskId,
+                errorCategory: 'lease_conflict',
+                failureReason: classified.message,
+                attemptCount: 1,
+            };
+        }
+        // Non-lease errors (e.g. storage_unavailable before lease) also must not
+        // use synthetic TaskRecord. Build one with real defaults from options.
+        this.emitDiagnosticianEvent('diagnostician_run_failed', taskId, {
+            errorCategory: classified.category,
+            errorMessage: classified.message,
+        });
+        const task = {
+            taskId,
+            taskKind: 'diagnostician',
+            status: 'leased',
+            createdAt: new Date().toISOString(),
+            updatedAt: new Date().toISOString(),
+            attemptCount: 1,
+            maxAttempts: this.resolvedOptions.defaultMaxAttempts,
+        };
+        return this.retryOrFail({ taskId, task, errorCategory: classified.category, failureReason: classified.message });
+    }
+    async retryOrFail(ctx) {
+        // Check if error is permanent (never retry)
+        if (this.isPermanentError(ctx.errorCategory)) {
+            await this.stateManager.markTaskFailed(ctx.taskId, ctx.errorCategory);
+            this.emitDiagnosticianEvent('diagnostician_task_failed', ctx.taskId, {
+                errorCategory: ctx.errorCategory,
+                attemptCount: ctx.task.attemptCount,
+                failureReason: ctx.failureReason,
+            });
+            this.phase = RunnerPhase.Failed;
+            return { status: 'failed', taskId: ctx.taskId, errorCategory: ctx.errorCategory, failureReason: ctx.failureReason, attemptCount: ctx.task.attemptCount };
+        }
+        // Check retry policy
+        const shouldRetry = this.stateManager.getRetryPolicy().shouldRetry(ctx.task);
+        if (shouldRetry) {
+            await this.stateManager.markTaskRetryWait(ctx.taskId, ctx.errorCategory);
+            this.emitDiagnosticianEvent('diagnostician_task_retried', ctx.taskId, {
+                errorCategory: ctx.errorCategory,
+                attemptCount: ctx.task.attemptCount,
+            });
+            this.phase = RunnerPhase.RetryWaiting;
+            return { status: 'retried', taskId: ctx.taskId, errorCategory: ctx.errorCategory, failureReason: ctx.failureReason, attemptCount: ctx.task.attemptCount };
+        }
+        // Max attempts exceeded
+        await this.stateManager.markTaskFailed(ctx.taskId, 'max_attempts_exceeded');
+        this.emitDiagnosticianEvent('diagnostician_task_failed', ctx.taskId, {
+            errorCategory: 'max_attempts_exceeded',
+            attemptCount: ctx.task.attemptCount,
+            failureReason: `Max attempts exceeded: ${ctx.failureReason}`,
+        });
+        this.phase = RunnerPhase.Failed;
+        return {
+            status: 'failed',
+            taskId: ctx.taskId,
+            errorCategory: 'max_attempts_exceeded',
+            failureReason: `Max attempts exceeded: ${ctx.failureReason}`,
+            attemptCount: ctx.task.attemptCount,
+        };
+    }
+    // -- Error classification --
+    PERMANENT_ERROR_CATEGORIES = new Set(Object.freeze(['storage_unavailable', 'workspace_invalid', 'workspace_dirty', 'capability_missing']));
+    isPermanentError(category) {
+        return this.PERMANENT_ERROR_CATEGORIES.has(category);
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    classifyError(error) {
+        if (error instanceof PDRuntimeError) {
+            return { category: error.category, message: error.message };
+        }
+        if (error instanceof Error) {
+            return { category: 'execution_failed', message: error.message };
+        }
+        return { category: 'execution_failed', message: String(error) };
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    mapRunStatusToErrorCategory(status, _reason) {
+        switch (status) {
+            case 'failed': return 'execution_failed';
+            case 'timed_out': return 'timeout';
+            case 'cancelled': return 'cancelled';
+            default: return 'execution_failed';
+        }
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    sleep(ms) {
+        return new Promise((resolve) => setTimeout(resolve, ms));
+    }
+}
+//# sourceMappingURL=diagnostician-runner.js.map

package/dist/runtime-v2/runner/diagnostician-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostician-runner.js","sourceRoot":"","sources":["../../../src/runtime-v2/runner/diagnostician-runner.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAQhF,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAqCzE,MAAM,OAAO,mBAAmB;IACtB,KAAK,GAAgB,WAAW,CAAC,IAAI,CAAC;IAC7B,eAAe,CAAqC;IACpD,YAAY,CAAsB;IAClC,gBAAgB,CAAmB;IACnC,cAAc,CAAmB;IACjC,YAAY,CAAoB;IAChC,SAAS,CAAyB;IAClC,SAAS,CAAyB;IAEnD,YAAY,IAA6B,EAAE,OAAmC;QAC5E,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACtC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC9C,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;QAC1C,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACtC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,eAAe,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,sEAAsE;IACtE,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,sBAAsB,CAC5B,SAAiB,EACjB,MAAc,EACd,OAAgC;QAEhC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC;YAC9B,SAAS,EAAE,SAAwC;YACnD,OAAO,EAAE,MAAM;YACf,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK;YACrC,OAAO,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO;YACrC,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAG,CAAC,MAAc;QACtB,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC;QAE9B,0FAA0F;QAC1F,gEAAgE;QAChE,IAAI,UAAsB,CAAC;QAC3B,IAAI,CAAC;YACH,UAAU,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC;gBAChD,MAAM;gBACN,KAAK,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK;gBACjC,WAAW,EAAE,IAAI,CAAC,eAAe,CAAC,WAAW;aAC9C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,MAAM,IAAI,CAAC,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3D,CAAC;QAED,6DAA6D;QAC7D,IAAI,CAAC,sBAAsB,CAAC,2BAA2B,EAAE,MAAM,EAAE;YAC/D,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,YAAY,EAAE,UAAU,CAAC,YAAY;SACtC,CAAC,CAAC;QAEH,kFAAkF;QAClF,IAAI,CAAC;YACH,wEAAwE;YACxE,oEAAoE;YACpE,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAExD,mBAAmB;YACnB,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,eAAe,CAAC;YACzC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,WAAW,GAAW,OAAO,CAAC,WAAW,CAAC;YAEhD,oCAAoC;YACpC,IAAI,CAAC,sBAAsB,CAAC,6BAA6B,EAAE,MAAM,EAAE;gBACjE,WAAW;gBACX,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM;aACvC,CAAC,CAAC;YAEH,0EAA0E;YAC1E,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC;YAClC,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAE5D,kCAAkC;YAClC,IAAI,CAAC,sBAAsB,CAAC,2BAA2B,EAAE,MAAM,EAAE;gBAC/D,WAAW,EAAE,IAAI,CAAC,eAAe,CAAC,WAAW;aAC9C,CAAC,CAAC;YAEH,yBAAyB;YACzB,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC;YACjC,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAE5D,wCAAwC;YACxC,IAAI,WAAW,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBACvC,OAAO,MAAM,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;YAC1E,CAAC;YAED,kBAAkB;YAClB,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,cAAc,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAE/D,sCAAsC;YACtC,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC;YACpC,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACvE,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;gBAC5B,OAAO,MAAM,IAAI,CAAC,qBAAqB,CAAC;oBACtC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,gBAAgB,CAAC,aAAa;iBACzG,CAAC,CAAC;YACL,CAAC;YAED,wEAAwE;YACxE,IAAI,CAAC,sBAAsB,CAAC,6BAA6B,EAAE,MAAM,EAAE;gBACjE,WAAW,EAAE,IAAI,CAAC,eAAe,CAAC,WAAW;gBAC7C,WAAW,EAAE,gBAAgB,CAAC,KAAK;aACpC,CAAC,CAAC;YAEH,yEAAyE;YACzE,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;QACtG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,wEAAwE;YACxE,8DAA8D;YAC9D,OAAO,MAAM,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,oBAAoB,CAChC,MAAc,EACd,IAAgB,EAChB,KAAc;QAEd,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAE7C,iCAAiC;QACjC,IAAI,CAAC,sBAAsB,CAAC,0BAA0B,EAAE,MAAM,EAAE;YAC9D,aAAa,EAAE,UAAU,CAAC,QAAQ;YAClC,YAAY,EAAE,UAAU,CAAC,OAAO;SACjC,CAAC,CAAC;QAEH,6EAA6E;QAC7E,sEAAsE;QACtE,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,CAAC,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IACnH,CAAC;IAED,oDAAoD;IAE5C,KAAK,CAAC,YAAY,CAAC,MAAc;QACvC,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,iBAAiB,CAAC,MAAc;QAC5C,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,IAAI,cAAc,CAAC,kBAAkB,EAAE,gCAAgC,MAAM,0BAA0B,CAAC,CAAC;QACjH,CAAC;QACD,OAAO,SAAS,CAAC,KAAK,CAAC;IACzB,CAAC;IAEO,KAAK,CAAC,aAAa,CAAC,OAAoC,EAAE,MAAc;QAC9E,MAAM,OAAO,GAAG,IAAI,0BAA0B,EAAE,CAAC;QACjD,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAEjD,MAAM,UAAU,GAAkB;YAChC,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;YACzE,OAAO,EAAE,EAAE,MAAM,EAAE;YACnB,YAAY,EAAE,OAAO;YACrB,YAAY,EAAE,EAAE;YAChB,eAAe,EAAE,yBAAyB;YAC1C,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,SAAS;SAC1C,CAAC;QAEF,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;IAEO,KAAK,CAAC,iBAAiB,CAAC,SAAoB;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC;QAC7D,MAAM,gBAAgB,GAAsB,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QAE9F,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAClE,IAAI,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7C,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QACxD,CAAC;QAED,qEAAqE;QACrE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,wEAAwE;YACxE,IAAI,CAAC,sBAAsB,CAAC,iCAAiC,EAAE,cAAc,EAAE;gBAC7E,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,YAAY,EAAE,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;aACjF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,IAAI,cAAc,CAAC,SAAS,EAAE,OAAO,SAAS,CAAC,KAAK,oBAAoB,IAAI,CAAC,eAAe,CAAC,SAAS,IAAI,CAAC,CAAC;IACpH,CAAC;IAEO,KAAK,CAAC,mBAAmB,CAAC,KAAa;QAC7C,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,IAAI,cAAc,CAAC,gBAAgB,EAAE,+BAA+B,KAAK,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,MAAM,CAAC,OAAgC,CAAC;IACjD,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,GAAmB;QAC3C,yEAAyE;QACzE,wEAAwE;QACxE,sEAAsE;QACtE,MAAM,YAAY,GAAG,GAAG,CAAC,MAA4C,CAAC;QACtE,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,YAAY,KAAK,IAAI;YACzD,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,sBAAsB,CAAC,kCAAkC,EAAE,GAAG,CAAC,MAAM,EAAE;gBAC1E,MAAM,EAAE,qCAAqC;gBAC7C,eAAe,EAAE,uBAAuB;aACzC,CAAC,CAAC;QACL,CAAC;QAED,mEAAmE;QACnE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACjF,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,sBAAsB,CAAC,oCAAoC,EAAE,GAAG,CAAC,MAAM,EAAE;gBAC5E,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,YAAY,EAAE,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;aACjF,CAAC,CAAC;YACH,MAAM,SAAS,CAAC;QAClB,CAAC;QAED,6DAA6D;QAC7D,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC;QACpC,gEAAgE;QAChE,IAAI,YAAsC,CAAC;QAC3C,IAAI,CAAC;YACH,YAAY,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;gBACzC,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,cAAc,EAAE,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE;aAC7C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,uDAAuD;YACvD,IAAI,CAAC,sBAAsB,CAAC,sCAAsC,EAAE,GAAG,CAAC,MAAM,EAAE;gBAC9E,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,aAAa,EAAE,SAAS,YAAY,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,wBAAwB;gBAClG,YAAY,EAAE,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;aACjF,CAAC,CAAC;YACH,MAAM,SAAS,CAAC,CAAC,kDAAkD;QACrE,CAAC;QAED,+DAA+D;QAC/D,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QACvF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC,CAAC,+DAA+D;YAC9F,IAAI,CAAC,sBAAsB,CAAC,gCAAgC,EAAE,GAAG,CAAC,MAAM,EAAE;gBACxE,cAAc,EAAE,CAAC;gBACjB,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,WAAW,EAAE,GAAG,CAAC,KAAK;aACvB,CAAC,CAAC;QACL,CAAC;QAED,mDAAmD;QACnD,IAAI,CAAC,sBAAsB,CAAC,kCAAkC,EAAE,GAAG,CAAC,MAAM,EAAE;YAC1E,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,cAAc,EAAE,YAAY,CAAC,cAAc;YAC3C,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,KAAK,EAAE,GAAG,CAAC,KAAK;SACjB,CAAC,CAAC;QAEH,8BAA8B;QAC9B,MAAM,SAAS,GAAG,YAAY,YAAY,CAAC,QAAQ,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACnE,CAAC;QAAC,OAAO,QAAQ,EAAE,CAAC;YAClB,2FAA2F;YAC3F,IAAI,CAAC,sBAAsB,CAAC,qCAAqC,EAAE,GAAG,CAAC,MAAM,EAAE;gBAC7E,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,YAAY,EAAE,QAAQ,YAAY,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;aAC9E,CAAC,CAAC;YACH,MAAM,QAAQ,CAAC;QACjB,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,sBAAsB,CAAC,8BAA8B,EAAE,GAAG,CAAC,MAAM,EAAE;YACtE,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY;YACnC,SAAS;YACT,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,cAAc,EAAE,YAAY,CAAC,cAAc;SAC5C,CAAC,CAAC;QAEH,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC;QACnC,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY;SACpC,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,oBAAoB,CAChC,MAAc,EACd,IAAgB,EAChB,SAAoB;QAEpB,MAAM,aAAa,GAAG,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QAE3F,iCAAiC;QACjC,IAAI,CAAC,sBAAsB,CAAC,0BAA0B,EAAE,MAAM,EAAE;YAC9D,SAAS,EAAE,SAAS,CAAC,MAAM;YAC3B,aAAa;SACd,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,wCAAwC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACtI,CAAC;IAEO,KAAK,CAAC,qBAAqB,CAAC,GAA2B;QAC7D,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC;QAEvD,qCAAqC;QACrC,IAAI,CAAC,sBAAsB,CAAC,8BAA8B,EAAE,GAAG,CAAC,MAAM,EAAE;YACtE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM;YAC7B,aAAa,EAAE,QAAQ;SACxB,CAAC,CAAC;QAEH,sEAAsE;QACtE,IAAI,CAAC,sBAAsB,CAAC,0BAA0B,EAAE,GAAG,CAAC,MAAM,EAAE;YAClE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM;YAC7B,aAAa,EAAE,QAAQ;SACxB,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,sBAAsB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACzJ,CAAC;IAEO,KAAK,CAAC,uBAAuB,CACnC,MAAc,EACd,KAAc;QAEd,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAE7C,sEAAsE;QACtE,qEAAqE;QACrE,IAAI,UAAU,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;YAC7C,IAAI,CAAC,sBAAsB,CAAC,0BAA0B,EAAE,MAAM,EAAE;gBAC9D,aAAa,EAAE,gBAAgB;gBAC/B,YAAY,EAAE,UAAU,CAAC,OAAO;aACjC,CAAC,CAAC;YACH,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM;gBACN,aAAa,EAAE,gBAAgB;gBAC/B,aAAa,EAAE,UAAU,CAAC,OAAO;gBACjC,YAAY,EAAE,CAAC;aAChB,CAAC;QACJ,CAAC;QAED,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,CAAC,sBAAsB,CAAC,0BAA0B,EAAE,MAAM,EAAE;YAC9D,aAAa,EAAE,UAAU,CAAC,QAAQ;YAClC,YAAY,EAAE,UAAU,CAAC,OAAO;SACjC,CAAC,CAAC;QAEH,MAAM,IAAI,GAAe;YACvB,MAAM;YACN,QAAQ,EAAE,eAAe;YACzB,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,YAAY,EAAE,CAAC;YACf,WAAW,EAAE,IAAI,CAAC,eAAe,CAAC,kBAAkB;SACrD,CAAC;QACF,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,CAAC,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IACnH,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,GAAmB;QAC3C,4CAA4C;QAC5C,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;YACtE,IAAI,CAAC,sBAAsB,CAAC,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE;gBACnE,aAAa,EAAE,GAAG,CAAC,aAAa;gBAChC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY;gBACnC,aAAa,EAAE,GAAG,CAAC,aAAa;aACjC,CAAC,CAAC;YACH,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC;YAChC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QAC3J,CAAC;QAED,qBAAqB;QACrB,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;YACzE,IAAI,CAAC,sBAAsB,CAAC,4BAA4B,EAAE,GAAG,CAAC,MAAM,EAAE;gBACpE,aAAa,EAAE,GAAG,CAAC,aAAa;gBAChC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY;aACpC,CAAC,CAAC;YACH,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,YAAY,CAAC;YACtC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QAC5J,CAAC;QAED,wBAAwB;QACxB,MAAM,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;QAC5E,IAAI,CAAC,sBAAsB,CAAC,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE;YACnE,aAAa,EAAE,uBAAuB;YACtC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY;YACnC,aAAa,EAAE,0BAA0B,GAAG,CAAC,aAAa,EAAE;SAC7D,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC;QAChC,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,aAAa,EAAE,uBAAuB;YACtC,aAAa,EAAE,0BAA0B,GAAG,CAAC,aAAa,EAAE;YAC5D,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY;SACpC,CAAC;IACJ,CAAC;IAED,6BAA6B;IAEZ,0BAA0B,GAAiC,IAAI,GAAG,CACjF,MAAM,CAAC,MAAM,CAAC,CAAC,qBAAqB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,oBAAoB,CAAU,CAAC,CAC9G,CAAC;IAEM,gBAAgB,CAAC,QAAyB;QAChD,OAAO,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED,qEAAqE;IAC7D,aAAa,CAAC,KAAc;QAClC,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YACpC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9D,CAAC;QACD,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC3B,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAClE,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAClE,CAAC;IAED,qEAAqE;IAC7D,2BAA2B,CAAC,MAAc,EAAE,OAAgB;QAClE,QAAQ,MAAM,EAAE,CAAC;YACf,KAAK,QAAQ,CAAC,CAAC,OAAO,kBAAkB,CAAC;YACzC,KAAK,WAAW,CAAC,CAAC,OAAO,SAAS,CAAC;YACnC,KAAK,WAAW,CAAC,CAAC,OAAO,WAAW,CAAC;YACrC,OAAO,CAAC,CAAC,OAAO,kBAAkB,CAAC;QACrC,CAAC;IACH,CAAC;IAED,qEAAqE;IAC7D,KAAK,CAAC,EAAU;QACtB,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;CACF"}

package/dist/runtime-v2/runner/diagnostician-validator.d.ts

@@ -0,0 +1,56 @@
+import type { PDErrorCategory } from '../error-categories.js';
+import type { DiagnosticianOutputV1 } from '../diagnostician-output.js';
+/**
+ * Result of validating a DiagnosticianOutputV1.
+ *
+ * Concrete implementation is m4-03 scope. This interface is the contract
+ * that DiagnosticianRunner depends on via dependency injection.
+ */
+export interface DiagnosticianValidationResult {
+    /** Whether the output passed all validation checks. */
+    readonly valid: boolean;
+    /** List of validation failure descriptions (empty when valid=true). */
+    readonly errors: readonly string[];
+    /** Error category for the validation failure (set when valid=false). */
+    readonly errorCategory?: PDErrorCategory;
+}
+/**
+ * Options for DiagnosticianValidator.validate().
+ */
+export interface DiagnosticianValidateOptions {
+    /**
+     * When true, collect all errors before returning (verbose mode).
+     * When false/undefined, return immediately on first error (fail-fast).
+     */
+    readonly verbose?: boolean;
+    /**
+     * Valid sourceRef values from DiagnosticianContextPayload.sourceRefs.
+     * Used for evidence sourceRef existence check in verbose mode.
+     */
+    readonly sourceRefs?: readonly string[];
+}
+/**
+ * Validator interface consumed by DiagnosticianRunner.
+ *
+ * m4-01 uses a pass-through implementation.
+ * m4-03 implements the full schema + semantic + evidence validation.
+ */
+export interface DiagnosticianValidator {
+    /**
+     * Validate a diagnostician output against schema and semantic rules.
+     *
+     * @param output - The raw diagnostician output to validate
+     * @param taskId - Expected taskId for identity verification
+     * @param options - Optional options (verbose mode, sourceRefs for evidence back-check)
+     * @returns Validation result with valid flag and any errors
+     */
+    validate(output: DiagnosticianOutputV1, taskId: string, options?: DiagnosticianValidateOptions): Promise<DiagnosticianValidationResult>;
+}
+/**
+ * Pass-through validator for m4-01 (accepts all output).
+ * m4-03 replaces this with full DiagnosticianOutputV1 validation.
+ */
+export declare class PassThroughValidator implements DiagnosticianValidator {
+    validate(_output: DiagnosticianOutputV1, _taskId: string): Promise<DiagnosticianValidationResult>;
+}
+//# sourceMappingURL=diagnostician-validator.d.ts.map

package/dist/runtime-v2/runner/diagnostician-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostician-validator.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/runner/diagnostician-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAExE;;;;;GAKG;AACH,MAAM,WAAW,6BAA6B;IAC5C,uDAAuD;IACvD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,wEAAwE;IACxE,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;;OAOG;IACH,QAAQ,CACN,MAAM,EAAE,qBAAqB,EAC7B,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,4BAA4B,GACrC,OAAO,CAAC,6BAA6B,CAAC,CAAC;CAC3C;AAED;;;GAGG;AACH,qBAAa,oBAAqB,YAAW,sBAAsB;IAE3D,QAAQ,CAAC,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,6BAA6B,CAAC;CAGxG"}

package/dist/runtime-v2/runner/diagnostician-validator.js

@@ -0,0 +1,11 @@
+/**
+ * Pass-through validator for m4-01 (accepts all output).
+ * m4-03 replaces this with full DiagnosticianOutputV1 validation.
+ */
+export class PassThroughValidator {
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    async validate(_output, _taskId) {
+        return { valid: true, errors: [] };
+    }
+}
+//# sourceMappingURL=diagnostician-validator.js.map

package/dist/runtime-v2/runner/diagnostician-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostician-validator.js","sourceRoot":"","sources":["../../../src/runtime-v2/runner/diagnostician-validator.ts"],"names":[],"mappings":"AAwDA;;;GAGG;AACH,MAAM,OAAO,oBAAoB;IAC/B,qEAAqE;IACrE,KAAK,CAAC,QAAQ,CAAC,OAA8B,EAAE,OAAe;QAC5D,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACrC,CAAC;CACF"}