harness-engineering-agent 0.1.8 → 0.2.0

package/dist/domain/run.d.ts

@@ -80,6 +80,7 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
     status: z.ZodEnum<{
         paused: "paused";
         failed: "failed";
+        blocked: "blocked";
         plan_ready: "plan_ready";
         executing: "executing";
         verifying: "verifying";
@@ -102,13 +103,20 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
             status: z.ZodEnum<{
                 paused: "paused";
                 failed: "failed";
+                blocked: "blocked";
                 completed: "completed";
                 planned: "planned";
                 ready: "ready";
                 in_progress: "in_progress";
-                blocked: "blocked";
             }>;
             allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            acceptanceCriterionIds: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+            executionCategory: z.ZodDefault<z.ZodEnum<{
+                quick: "quick";
+                deep: "deep";
+                "visual-engineering": "visual-engineering";
+                ultrabrain: "ultrabrain";
+            }>>;
             verificationPlan: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                 name: z.ZodString;
                 command: z.ZodString;
@@ -129,6 +137,7 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
                     config: "config";
                     planner: "planner";
                     worker: "worker";
+                    "failure-analyzer": "failure-analyzer";
                     repair: "repair";
                 }>>;
                 requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -163,13 +172,16 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
     schemaVersion: z.ZodLiteral<"1.0.0">;
     runId: z.core.$ZodBranded<z.ZodString, "RunId">;
     eventCursor: z.ZodOptional<z.ZodString>;
-    requirement: z.ZodReadonly<z.ZodObject<{
+    requirement: z.ZodPipe<z.ZodTransform<unknown, unknown>, 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>>;
+        acceptanceCriteria: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            criterionId: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strip>>>>;
+    }, 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">;
@@ -213,6 +225,7 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
                 config: "config";
                 planner: "planner";
                 worker: "worker";
+                "failure-analyzer": "failure-analyzer";
                 repair: "repair";
             }>>;
             requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -498,25 +511,315 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
             harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>]>;
     }, z.core.$strip>>>;
+    contextPackage: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        contextPackageId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        requirementId: z.ZodString;
+        summary: z.ZodString;
+        repositoryReferences: z.ZodReadonly<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+            path: z.ZodString;
+            reason: z.ZodString;
+            kind: z.ZodLiteral<"file">;
+        }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+            symbol: z.ZodString;
+            path: z.ZodString;
+            reason: z.ZodString;
+            kind: z.ZodLiteral<"symbol">;
+        }, z.core.$strip>>]>>>;
+        externalReferences: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            title: z.ZodString;
+            sourceType: z.ZodEnum<{
+                spec: "spec";
+                doc: "doc";
+                repo: "repo";
+                issue: "issue";
+            }>;
+            locator: z.ZodString;
+            reason: z.ZodString;
+        }, z.core.$strip>>>>;
+        unresolvedQuestions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            questionId: z.ZodString;
+            question: z.ZodString;
+            impact: z.ZodString;
+        }, z.core.$strip>>>>;
+        constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+    planReview: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        reviewId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        graphId: z.ZodString;
+        requirementId: z.ZodString;
+        status: z.ZodEnum<{
+            approved: "approved";
+            rejected: "rejected";
+        }>;
+        summary: z.ZodString;
+        requirement: z.ZodPipe<z.ZodTransform<unknown, unknown>, 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.ZodReadonly<z.ZodObject<{
+                criterionId: z.ZodString;
+                text: z.ZodString;
+            }, z.core.$strip>>>>;
+        }, z.core.$strip>>>;
+        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";
+                    blocked: "blocked";
+                    completed: "completed";
+                    planned: "planned";
+                    ready: "ready";
+                    in_progress: "in_progress";
+                }>;
+                allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+                acceptanceCriterionIds: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+                executionCategory: z.ZodDefault<z.ZodEnum<{
+                    quick: "quick";
+                    deep: "deep";
+                    "visual-engineering": "visual-engineering";
+                    ultrabrain: "ultrabrain";
+                }>>;
+                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";
+                        "failure-analyzer": "failure-analyzer";
+                        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>>;
+        contextPackage: z.ZodReadonly<z.ZodObject<{
+            schemaVersion: z.ZodLiteral<"1.0.0">;
+            contextPackageId: z.ZodString;
+            runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+            requirementId: z.ZodString;
+            summary: z.ZodString;
+            repositoryReferences: z.ZodReadonly<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+                path: z.ZodString;
+                reason: z.ZodString;
+                kind: z.ZodLiteral<"file">;
+            }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+                symbol: z.ZodString;
+                path: z.ZodString;
+                reason: z.ZodString;
+                kind: z.ZodLiteral<"symbol">;
+            }, z.core.$strip>>]>>>;
+            externalReferences: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                title: z.ZodString;
+                sourceType: z.ZodEnum<{
+                    spec: "spec";
+                    doc: "doc";
+                    repo: "repo";
+                    issue: "issue";
+                }>;
+                locator: z.ZodString;
+                reason: z.ZodString;
+            }, z.core.$strip>>>>;
+            unresolvedQuestions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                questionId: z.ZodString;
+                question: z.ZodString;
+                impact: z.ZodString;
+            }, z.core.$strip>>>>;
+            constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>;
+        coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            criterionId: z.ZodString;
+            criterion: z.ZodString;
+            coveredByTaskIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+            verificationCommandNames: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>>;
+        findings: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            severity: z.ZodEnum<{
+                critical: "critical";
+                important: "important";
+                advisory: "advisory";
+            }>;
+            message: z.ZodString;
+            taskId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "TaskId">>;
+            criterionId: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>>;
+        reviewedTasks: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+            executionCategory: z.ZodEnum<{
+                quick: "quick";
+                deep: "deep";
+                "visual-engineering": "visual-engineering";
+                ultrabrain: "ultrabrain";
+            }>;
+            requirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            acceptanceCriterionIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            dependencies: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+            verificationCommandNames: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>>;
+    }, z.core.$strip>>>;
+    runAcceptance: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        acceptanceId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        status: z.ZodEnum<{
+            unknown: "unknown";
+            accepted: "accepted";
+            blocked: "blocked";
+            waived: "waived";
+        }>;
+        summary: z.ZodString;
+        criterionDecisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            criterionId: z.ZodString;
+            requirementId: z.ZodString;
+            status: z.ZodEnum<{
+                unknown: "unknown";
+                accepted: "accepted";
+                blocked: "blocked";
+                waived: "waived";
+            }>;
+            taskIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+            taskReviewIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+            failureIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            waiverIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            summary: z.ZodString;
+        }, z.core.$strip>>>>;
+        legacyCompletedWithoutTrustworthyAcceptance: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>>;
+    taskReviews: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        reviewId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        requirementId: z.ZodString;
+        acceptanceCriterionIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        status: z.ZodEnum<{
+            failed: "failed";
+            passed: "passed";
+        }>;
+        summary: z.ZodString;
+        changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        specCompliance: z.ZodReadonly<z.ZodObject<{
+            verdict: z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+            }>;
+            summary: z.ZodString;
+            findings: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                severity: z.ZodEnum<{
+                    critical: "critical";
+                    important: "important";
+                    advisory: "advisory";
+                }>;
+                category: z.ZodEnum<{
+                    "spec-compliance": "spec-compliance";
+                    "code-quality": "code-quality";
+                }>;
+                message: z.ZodString;
+                changedPath: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>>;
+        }, z.core.$strip>>;
+        codeQuality: z.ZodReadonly<z.ZodObject<{
+            verdict: z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+            }>;
+            summary: z.ZodString;
+            findings: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                severity: z.ZodEnum<{
+                    critical: "critical";
+                    important: "important";
+                    advisory: "advisory";
+                }>;
+                category: z.ZodEnum<{
+                    "spec-compliance": "spec-compliance";
+                    "code-quality": "code-quality";
+                }>;
+                message: z.ZodString;
+                changedPath: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>>>;
 }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
     status: z.ZodEnum<{
         created: "created";
         failed: "failed";
+        blocked: "blocked";
         analyzing: "analyzing";
         planning: "planning";
+        evidence_gap: "evidence_gap";
         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<{
+    requirement: z.ZodPipe<z.ZodTransform<unknown, unknown>, 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>>;
+        acceptanceCriteria: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            criterionId: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strip>>>>;
+    }, 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">;
@@ -560,6 +863,7 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
                 config: "config";
                 planner: "planner";
                 worker: "worker";
+                "failure-analyzer": "failure-analyzer";
                 repair: "repair";
             }>>;
             requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -845,6 +1149,291 @@ export declare const RunSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.Zo
             harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>]>;
     }, z.core.$strip>>>;
+    contextPackage: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        contextPackageId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        requirementId: z.ZodString;
+        summary: z.ZodString;
+        repositoryReferences: z.ZodReadonly<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+            path: z.ZodString;
+            reason: z.ZodString;
+            kind: z.ZodLiteral<"file">;
+        }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+            symbol: z.ZodString;
+            path: z.ZodString;
+            reason: z.ZodString;
+            kind: z.ZodLiteral<"symbol">;
+        }, z.core.$strip>>]>>>;
+        externalReferences: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            title: z.ZodString;
+            sourceType: z.ZodEnum<{
+                spec: "spec";
+                doc: "doc";
+                repo: "repo";
+                issue: "issue";
+            }>;
+            locator: z.ZodString;
+            reason: z.ZodString;
+        }, z.core.$strip>>>>;
+        unresolvedQuestions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            questionId: z.ZodString;
+            question: z.ZodString;
+            impact: z.ZodString;
+        }, z.core.$strip>>>>;
+        constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+    planReview: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        reviewId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        graphId: z.ZodString;
+        requirementId: z.ZodString;
+        status: z.ZodEnum<{
+            approved: "approved";
+            rejected: "rejected";
+        }>;
+        summary: z.ZodString;
+        requirement: z.ZodPipe<z.ZodTransform<unknown, unknown>, 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.ZodReadonly<z.ZodObject<{
+                criterionId: z.ZodString;
+                text: z.ZodString;
+            }, z.core.$strip>>>>;
+        }, z.core.$strip>>>;
+        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";
+                    blocked: "blocked";
+                    completed: "completed";
+                    planned: "planned";
+                    ready: "ready";
+                    in_progress: "in_progress";
+                }>;
+                allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+                acceptanceCriterionIds: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+                executionCategory: z.ZodDefault<z.ZodEnum<{
+                    quick: "quick";
+                    deep: "deep";
+                    "visual-engineering": "visual-engineering";
+                    ultrabrain: "ultrabrain";
+                }>>;
+                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";
+                        "failure-analyzer": "failure-analyzer";
+                        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>>;
+        contextPackage: z.ZodReadonly<z.ZodObject<{
+            schemaVersion: z.ZodLiteral<"1.0.0">;
+            contextPackageId: z.ZodString;
+            runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+            requirementId: z.ZodString;
+            summary: z.ZodString;
+            repositoryReferences: z.ZodReadonly<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+                path: z.ZodString;
+                reason: z.ZodString;
+                kind: z.ZodLiteral<"file">;
+            }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+                symbol: z.ZodString;
+                path: z.ZodString;
+                reason: z.ZodString;
+                kind: z.ZodLiteral<"symbol">;
+            }, z.core.$strip>>]>>>;
+            externalReferences: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                title: z.ZodString;
+                sourceType: z.ZodEnum<{
+                    spec: "spec";
+                    doc: "doc";
+                    repo: "repo";
+                    issue: "issue";
+                }>;
+                locator: z.ZodString;
+                reason: z.ZodString;
+            }, z.core.$strip>>>>;
+            unresolvedQuestions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                questionId: z.ZodString;
+                question: z.ZodString;
+                impact: z.ZodString;
+            }, z.core.$strip>>>>;
+            constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>;
+        coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            criterionId: z.ZodString;
+            criterion: z.ZodString;
+            coveredByTaskIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+            verificationCommandNames: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>>;
+        findings: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            severity: z.ZodEnum<{
+                critical: "critical";
+                important: "important";
+                advisory: "advisory";
+            }>;
+            message: z.ZodString;
+            taskId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "TaskId">>;
+            criterionId: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>>;
+        reviewedTasks: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+            executionCategory: z.ZodEnum<{
+                quick: "quick";
+                deep: "deep";
+                "visual-engineering": "visual-engineering";
+                ultrabrain: "ultrabrain";
+            }>;
+            requirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            acceptanceCriterionIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            dependencies: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+            verificationCommandNames: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>>;
+    }, z.core.$strip>>>;
+    runAcceptance: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        acceptanceId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        status: z.ZodEnum<{
+            unknown: "unknown";
+            accepted: "accepted";
+            blocked: "blocked";
+            waived: "waived";
+        }>;
+        summary: z.ZodString;
+        criterionDecisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            criterionId: z.ZodString;
+            requirementId: z.ZodString;
+            status: z.ZodEnum<{
+                unknown: "unknown";
+                accepted: "accepted";
+                blocked: "blocked";
+                waived: "waived";
+            }>;
+            taskIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+            taskReviewIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+            failureIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            waiverIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            summary: z.ZodString;
+        }, z.core.$strip>>>>;
+        legacyCompletedWithoutTrustworthyAcceptance: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>>;
+    taskReviews: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        reviewId: z.ZodString;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        requirementId: z.ZodString;
+        acceptanceCriterionIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        status: z.ZodEnum<{
+            failed: "failed";
+            passed: "passed";
+        }>;
+        summary: z.ZodString;
+        changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        specCompliance: z.ZodReadonly<z.ZodObject<{
+            verdict: z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+            }>;
+            summary: z.ZodString;
+            findings: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                severity: z.ZodEnum<{
+                    critical: "critical";
+                    important: "important";
+                    advisory: "advisory";
+                }>;
+                category: z.ZodEnum<{
+                    "spec-compliance": "spec-compliance";
+                    "code-quality": "code-quality";
+                }>;
+                message: z.ZodString;
+                changedPath: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>>;
+        }, z.core.$strip>>;
+        codeQuality: z.ZodReadonly<z.ZodObject<{
+            verdict: z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+            }>;
+            summary: z.ZodString;
+            findings: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                severity: z.ZodEnum<{
+                    critical: "critical";
+                    important: "important";
+                    advisory: "advisory";
+                }>;
+                category: z.ZodEnum<{
+                    "spec-compliance": "spec-compliance";
+                    "code-quality": "code-quality";
+                }>;
+                message: z.ZodString;
+                changedPath: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>>>;
 }, z.core.$strip>>]>>;
 export type Run = z.infer<typeof RunSchema>;
 export type RunActor = z.infer<typeof RunActorSchema>;