harness-engineering-agent 0.1.0

package/dist/domain/run.d.ts

@@ -0,0 +1,857 @@
+import { z } from "zod";
+declare const RunBudgetStateSchema: z.ZodReadonly<z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+    intake: "intake";
+    planner: "planner";
+    task: "task";
+    repair: "repair";
+    overall: "overall";
+}>, z.ZodReadonly<z.ZodObject<{
+    limit: z.ZodNumber;
+    used: z.ZodNumber;
+}, z.core.$strip>>>>>;
+declare const RunActorSchema: z.ZodReadonly<z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodLiteral<"user">;
+}, z.core.$strip>>;
+declare const RunAnswerRecordSchema: z.ZodReadonly<z.ZodObject<{
+    answerId: z.ZodString;
+    questionId: z.ZodString;
+    answer: z.ZodString;
+    actor: z.ZodReadonly<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodLiteral<"user">;
+    }, z.core.$strip>>;
+    answeredAt: z.ZodString;
+}, z.core.$strip>>;
+declare const RunWaiverRecordSchema: z.ZodReadonly<z.ZodObject<{
+    waiverId: z.ZodString;
+    requirementId: z.ZodString;
+    actor: z.ZodReadonly<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodLiteral<"user">;
+    }, z.core.$strip>>;
+    reason: z.ZodString;
+    residualRisk: z.ZodString;
+    waivedAt: z.ZodString;
+}, z.core.$strip>>;
+declare const RunPauseRecordSchema: z.ZodReadonly<z.ZodObject<{
+    pauseId: z.ZodString;
+    actor: z.ZodReadonly<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodLiteral<"user">;
+    }, z.core.$strip>>;
+    reason: z.ZodString;
+    pausedAt: z.ZodString;
+}, z.core.$strip>>;
+declare const RunGovernanceSchema: z.ZodReadonly<z.ZodDefault<z.ZodObject<{
+    blockingQuestionId: z.ZodNullable<z.ZodString>;
+    answers: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        answerId: z.ZodString;
+        questionId: z.ZodString;
+        answer: z.ZodString;
+        actor: z.ZodReadonly<z.ZodObject<{
+            id: z.ZodString;
+            type: z.ZodLiteral<"user">;
+        }, z.core.$strip>>;
+        answeredAt: z.ZodString;
+    }, z.core.$strip>>>>;
+    waivers: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        waiverId: z.ZodString;
+        requirementId: z.ZodString;
+        actor: z.ZodReadonly<z.ZodObject<{
+            id: z.ZodString;
+            type: z.ZodLiteral<"user">;
+        }, z.core.$strip>>;
+        reason: z.ZodString;
+        residualRisk: z.ZodString;
+        waivedAt: z.ZodString;
+    }, z.core.$strip>>>>;
+    paused: z.ZodNullable<z.ZodReadonly<z.ZodObject<{
+        pauseId: z.ZodString;
+        actor: z.ZodReadonly<z.ZodObject<{
+            id: z.ZodString;
+            type: z.ZodLiteral<"user">;
+        }, z.core.$strip>>;
+        reason: z.ZodString;
+        pausedAt: z.ZodString;
+    }, z.core.$strip>>>;
+}, z.core.$strip>>>;
+export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
+    status: z.ZodEnum<{
+        paused: "paused";
+        failed: "failed";
+        plan_ready: "plan_ready";
+        executing: "executing";
+        verifying: "verifying";
+        evidence_gap: "evidence_gap";
+        cancelled: "cancelled";
+        completed: "completed";
+    }>;
+    taskGraph: z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        graphId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        version: z.ZodNumber;
+        tasks: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            schemaVersion: z.ZodLiteral<"1.0.0">;
+            taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+            runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+            requirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            title: z.ZodString;
+            summary: z.ZodString;
+            status: z.ZodEnum<{
+                paused: "paused";
+                failed: "failed";
+                completed: "completed";
+                planned: "planned";
+                ready: "ready";
+                in_progress: "in_progress";
+                blocked: "blocked";
+            }>;
+            allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            verificationPlan: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                name: z.ZodString;
+                command: z.ZodString;
+                args: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+                workingDirectory: z.ZodString;
+                scope: z.ZodEnum<{
+                    task: "task";
+                    project: "project";
+                    integration: "integration";
+                }>;
+                sideEffectLevel: z.ZodEnum<{
+                    read_only: "read_only";
+                    workspace_write: "workspace_write";
+                    external_side_effect: "external_side_effect";
+                }>;
+                timeoutMs: z.ZodNumber;
+                origin: z.ZodOptional<z.ZodEnum<{
+                    config: "config";
+                    planner: "planner";
+                    worker: "worker";
+                    repair: "repair";
+                }>>;
+                requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
+                confirmation: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+                    approvedBy: z.ZodString;
+                    reason: z.ZodString;
+                }, z.core.$strip>>>;
+                allowedEnv: z.ZodOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
+            }, z.core.$strip>>>>;
+            retryBudget: z.ZodReadonly<z.ZodObject<{
+                maxAttempts: z.ZodNumber;
+                maxRepairAttempts: z.ZodNumber;
+            }, z.core.$strip>>;
+            dependencies: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+            evidenceRefs: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+            repairEnabled: z.ZodDefault<z.ZodBoolean>;
+            assignedAgentRole: z.ZodEnum<{
+                intake: "intake";
+                planner: "planner";
+                worker: "worker";
+                verifier: "verifier";
+                "failure-analyzer": "failure-analyzer";
+                "repair-worker": "repair-worker";
+                acceptance: "acceptance";
+            }>;
+        }, z.core.$strip>>>>;
+        edges: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            fromTaskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+            toTaskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        }, z.core.$strip>>>>;
+    }, z.core.$strip>>;
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    eventCursor: z.ZodOptional<z.ZodString>;
+    requirement: z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        requirementId: z.ZodString;
+        title: z.ZodString;
+        summary: z.ZodString;
+        acceptanceCriteria: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    evidence: z.ZodReadonly<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        evidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        kind: z.ZodEnum<{
+            verification: "verification";
+            red: "red";
+            green: "green";
+            refactor: "refactor";
+            approval: "approval";
+            "artifact-summary": "artifact-summary";
+        }>;
+        summary: z.ZodString;
+        summaryDigest: z.ZodString;
+        redaction: z.ZodReadonly<z.ZodObject<{
+            applied: z.ZodBoolean;
+            ruleIds: z.ZodReadonly<z.ZodArray<z.ZodEnum<{
+                credential: "credential";
+                prompt: "prompt";
+                source: "source";
+            }>>>;
+        }, z.core.$strip>>;
+        verificationCommand: z.ZodReadonly<z.ZodObject<{
+            name: z.ZodString;
+            command: z.ZodString;
+            args: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+            workingDirectory: z.ZodString;
+            scope: z.ZodEnum<{
+                task: "task";
+                project: "project";
+                integration: "integration";
+            }>;
+            sideEffectLevel: z.ZodEnum<{
+                read_only: "read_only";
+                workspace_write: "workspace_write";
+                external_side_effect: "external_side_effect";
+            }>;
+            timeoutMs: z.ZodNumber;
+            origin: z.ZodOptional<z.ZodEnum<{
+                config: "config";
+                planner: "planner";
+                worker: "worker";
+                repair: "repair";
+            }>>;
+            requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
+            confirmation: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+                approvedBy: z.ZodString;
+                reason: z.ZodString;
+            }, z.core.$strip>>>;
+            allowedEnv: z.ZodOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
+        }, z.core.$strip>>;
+        changedPaths: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+        outcome: z.ZodReadonly<z.ZodObject<{
+            status: z.ZodEnum<{
+                failed: "failed";
+                passed: "passed";
+                skipped: "skipped";
+            }>;
+            exitCode: z.ZodNumber;
+            durationMs: z.ZodNumber;
+            outputDigest: z.ZodString;
+            outputRef: z.ZodString;
+        }, z.core.$strip>>;
+        relatedRequirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        relatedTaskIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+        acceptanceCriterionIds: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+    }, z.core.$strip>>>>>;
+    failures: z.ZodReadonly<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"context-gap">;
+        missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"requirement-ambiguity">;
+        blockingQuestionId: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"dependency-blocked">;
+        blockedDependency: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"implementation-defect">;
+        failingEvidenceId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "EvidenceId">>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"verification-environment">;
+        verificationCommandName: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"scope-drift">;
+        driftedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"merge-conflict">;
+        conflictingPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"model-failure">;
+        provider: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"acceptance-failure">;
+        failingEvidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
+    }, z.core.$strip>>]>>>>;
+    agentResults: z.ZodReadonly<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"completed">;
+        changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"blocked">;
+        blockingReason: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"evidence_gap">;
+        missingEvidenceKinds: z.ZodReadonly<z.ZodArray<z.ZodEnum<{
+            verification: "verification";
+            red: "red";
+            green: "green";
+            refactor: "refactor";
+            approval: "approval";
+            "artifact-summary": "artifact-summary";
+        }>>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"failed">;
+        failureId: z.ZodString;
+    }, z.core.$strip>>]>>>>;
+    budgets: z.ZodReadonly<z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+        intake: "intake";
+        planner: "planner";
+        task: "task";
+        repair: "repair";
+        overall: "overall";
+    }>, z.ZodReadonly<z.ZodObject<{
+        limit: z.ZodNumber;
+        used: z.ZodNumber;
+    }, z.core.$strip>>>>>;
+    governance: z.ZodReadonly<z.ZodDefault<z.ZodObject<{
+        blockingQuestionId: z.ZodNullable<z.ZodString>;
+        answers: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            answerId: z.ZodString;
+            questionId: z.ZodString;
+            answer: z.ZodString;
+            actor: z.ZodReadonly<z.ZodObject<{
+                id: z.ZodString;
+                type: z.ZodLiteral<"user">;
+            }, z.core.$strip>>;
+            answeredAt: z.ZodString;
+        }, z.core.$strip>>>>;
+        waivers: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            waiverId: z.ZodString;
+            requirementId: z.ZodString;
+            actor: z.ZodReadonly<z.ZodObject<{
+                id: z.ZodString;
+                type: z.ZodLiteral<"user">;
+            }, z.core.$strip>>;
+            reason: z.ZodString;
+            residualRisk: z.ZodString;
+            waivedAt: z.ZodString;
+        }, z.core.$strip>>>>;
+        paused: z.ZodNullable<z.ZodReadonly<z.ZodObject<{
+            pauseId: z.ZodString;
+            actor: z.ZodReadonly<z.ZodObject<{
+                id: z.ZodString;
+                type: z.ZodLiteral<"user">;
+            }, z.core.$strip>>;
+            reason: z.ZodString;
+            pausedAt: z.ZodString;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>>;
+    workspace: z.ZodDefault<z.ZodReadonly<z.ZodObject<{
+        git: z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
+            mode: z.ZodLiteral<"git">;
+            headRef: z.ZodNullable<z.ZodString>;
+            baselineDiffDigest: z.ZodString;
+            managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+            initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            dirtyAllowed: z.ZodBoolean;
+            harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+            mode: z.ZodLiteral<"non-git">;
+            headRef: z.ZodNull;
+            baselineDiffDigest: z.ZodString;
+            managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+            initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            dirtyAllowed: z.ZodBoolean;
+            harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>]>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    status: z.ZodEnum<{
+        created: "created";
+        failed: "failed";
+        analyzing: "analyzing";
+        planning: "planning";
+        clarification_required: "clarification_required";
+        cancelled: "cancelled";
+    }>;
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    eventCursor: z.ZodOptional<z.ZodString>;
+    requirement: z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        requirementId: z.ZodString;
+        title: z.ZodString;
+        summary: z.ZodString;
+        acceptanceCriteria: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    evidence: z.ZodReadonly<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        evidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        kind: z.ZodEnum<{
+            verification: "verification";
+            red: "red";
+            green: "green";
+            refactor: "refactor";
+            approval: "approval";
+            "artifact-summary": "artifact-summary";
+        }>;
+        summary: z.ZodString;
+        summaryDigest: z.ZodString;
+        redaction: z.ZodReadonly<z.ZodObject<{
+            applied: z.ZodBoolean;
+            ruleIds: z.ZodReadonly<z.ZodArray<z.ZodEnum<{
+                credential: "credential";
+                prompt: "prompt";
+                source: "source";
+            }>>>;
+        }, z.core.$strip>>;
+        verificationCommand: z.ZodReadonly<z.ZodObject<{
+            name: z.ZodString;
+            command: z.ZodString;
+            args: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+            workingDirectory: z.ZodString;
+            scope: z.ZodEnum<{
+                task: "task";
+                project: "project";
+                integration: "integration";
+            }>;
+            sideEffectLevel: z.ZodEnum<{
+                read_only: "read_only";
+                workspace_write: "workspace_write";
+                external_side_effect: "external_side_effect";
+            }>;
+            timeoutMs: z.ZodNumber;
+            origin: z.ZodOptional<z.ZodEnum<{
+                config: "config";
+                planner: "planner";
+                worker: "worker";
+                repair: "repair";
+            }>>;
+            requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
+            confirmation: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+                approvedBy: z.ZodString;
+                reason: z.ZodString;
+            }, z.core.$strip>>>;
+            allowedEnv: z.ZodOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
+        }, z.core.$strip>>;
+        changedPaths: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+        outcome: z.ZodReadonly<z.ZodObject<{
+            status: z.ZodEnum<{
+                failed: "failed";
+                passed: "passed";
+                skipped: "skipped";
+            }>;
+            exitCode: z.ZodNumber;
+            durationMs: z.ZodNumber;
+            outputDigest: z.ZodString;
+            outputRef: z.ZodString;
+        }, z.core.$strip>>;
+        relatedRequirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        relatedTaskIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+        acceptanceCriterionIds: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+    }, z.core.$strip>>>>>;
+    failures: z.ZodReadonly<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"context-gap">;
+        missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"requirement-ambiguity">;
+        blockingQuestionId: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"dependency-blocked">;
+        blockedDependency: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"implementation-defect">;
+        failingEvidenceId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "EvidenceId">>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"verification-environment">;
+        verificationCommandName: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"scope-drift">;
+        driftedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"merge-conflict">;
+        conflictingPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"model-failure">;
+        provider: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        failureId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        summary: z.ZodString;
+        detail: z.ZodString;
+        recoveryPlan: z.ZodString;
+        confidence: z.ZodNumber;
+        relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+        category: z.ZodLiteral<"acceptance-failure">;
+        failingEvidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
+    }, z.core.$strip>>]>>>>;
+    agentResults: z.ZodReadonly<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"completed">;
+        changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"blocked">;
+        blockingReason: z.ZodString;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"evidence_gap">;
+        missingEvidenceKinds: z.ZodReadonly<z.ZodArray<z.ZodEnum<{
+            verification: "verification";
+            red: "red";
+            green: "green";
+            refactor: "refactor";
+            approval: "approval";
+            "artifact-summary": "artifact-summary";
+        }>>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        resultId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        role: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+        summary: z.ZodString;
+        evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        status: z.ZodLiteral<"failed">;
+        failureId: z.ZodString;
+    }, z.core.$strip>>]>>>>;
+    budgets: z.ZodReadonly<z.ZodDefault<z.ZodRecord<z.ZodEnum<{
+        intake: "intake";
+        planner: "planner";
+        task: "task";
+        repair: "repair";
+        overall: "overall";
+    }>, z.ZodReadonly<z.ZodObject<{
+        limit: z.ZodNumber;
+        used: z.ZodNumber;
+    }, z.core.$strip>>>>>;
+    governance: z.ZodReadonly<z.ZodDefault<z.ZodObject<{
+        blockingQuestionId: z.ZodNullable<z.ZodString>;
+        answers: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            answerId: z.ZodString;
+            questionId: z.ZodString;
+            answer: z.ZodString;
+            actor: z.ZodReadonly<z.ZodObject<{
+                id: z.ZodString;
+                type: z.ZodLiteral<"user">;
+            }, z.core.$strip>>;
+            answeredAt: z.ZodString;
+        }, z.core.$strip>>>>;
+        waivers: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            waiverId: z.ZodString;
+            requirementId: z.ZodString;
+            actor: z.ZodReadonly<z.ZodObject<{
+                id: z.ZodString;
+                type: z.ZodLiteral<"user">;
+            }, z.core.$strip>>;
+            reason: z.ZodString;
+            residualRisk: z.ZodString;
+            waivedAt: z.ZodString;
+        }, z.core.$strip>>>>;
+        paused: z.ZodNullable<z.ZodReadonly<z.ZodObject<{
+            pauseId: z.ZodString;
+            actor: z.ZodReadonly<z.ZodObject<{
+                id: z.ZodString;
+                type: z.ZodLiteral<"user">;
+            }, z.core.$strip>>;
+            reason: z.ZodString;
+            pausedAt: z.ZodString;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>>;
+    workspace: z.ZodDefault<z.ZodReadonly<z.ZodObject<{
+        git: z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
+            mode: z.ZodLiteral<"git">;
+            headRef: z.ZodNullable<z.ZodString>;
+            baselineDiffDigest: z.ZodString;
+            managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+            initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            dirtyAllowed: z.ZodBoolean;
+            harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+            mode: z.ZodLiteral<"non-git">;
+            headRef: z.ZodNull;
+            baselineDiffDigest: z.ZodString;
+            managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+            initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            dirtyAllowed: z.ZodBoolean;
+            harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>]>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>>]>>;
+export type Run = z.infer<typeof RunSchema>;
+export type RunActor = z.infer<typeof RunActorSchema>;
+export type RunAnswerRecord = z.infer<typeof RunAnswerRecordSchema>;
+export type RunWaiverRecord = z.infer<typeof RunWaiverRecordSchema>;
+export type RunPauseRecord = z.infer<typeof RunPauseRecordSchema>;
+export type RunGovernance = z.infer<typeof RunGovernanceSchema>;
+export type RunBudgetState = z.infer<typeof RunBudgetStateSchema>;
+export {};
+//# sourceMappingURL=run.d.ts.map