harness-engineering-agent 0.1.8 → 0.2.0

package/dist/domain/report.d.ts

@@ -1,8 +1,9 @@
 import { z } from "zod";
 export declare const AcceptanceSummarySchema: z.ZodReadonly<z.ZodObject<{
     status: z.ZodEnum<{
-        blocked: "blocked";
+        unknown: "unknown";
         accepted: "accepted";
+        blocked: "blocked";
         waived: "waived";
     }>;
     summary: z.ZodString;
@@ -14,15 +15,18 @@ export declare const AcceptanceTraceSchema: z.ZodReadonly<z.ZodObject<{
     requirementId: z.ZodString;
     criterion: z.ZodString;
     status: z.ZodEnum<{
-        blocked: "blocked";
+        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>>;
     changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
     verificationEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
     agentResultIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
     failureIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    waiverIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
 }, z.core.$strip>>;
 export declare const ReportTaskSummarySchema: z.ZodReadonly<z.ZodObject<{
     taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
@@ -64,6 +68,7 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
         status: z.ZodEnum<{
             paused: "paused";
             failed: "failed";
+            blocked: "blocked";
             plan_ready: "plan_ready";
             executing: "executing";
             verifying: "verifying";
@@ -86,13 +91,20 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                 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;
@@ -113,6 +125,7 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                         config: "config";
                         planner: "planner";
                         worker: "worker";
+                        "failure-analyzer": "failure-analyzer";
                         repair: "repair";
                     }>>;
                     requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -147,13 +160,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
         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">;
@@ -197,6 +213,7 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                     config: "config";
                     planner: "planner";
                     worker: "worker";
+                    "failure-analyzer": "failure-analyzer";
                     repair: "repair";
                 }>>;
                 requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -482,25 +499,315 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                 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">;
@@ -544,6 +851,7 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                     config: "config";
                     planner: "planner";
                     worker: "worker";
+                    "failure-analyzer": "failure-analyzer";
                     repair: "repair";
                 }>>;
                 requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -829,12 +1137,298 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                 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>>]>>;
     generatedAt: z.ZodString;
     acceptance: z.ZodReadonly<z.ZodObject<{
         status: z.ZodEnum<{
-            blocked: "blocked";
+            unknown: "unknown";
             accepted: "accepted";
+            blocked: "blocked";
             waived: "waived";
         }>;
         summary: z.ZodString;
@@ -846,15 +1440,18 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
         requirementId: z.ZodString;
         criterion: z.ZodString;
         status: z.ZodEnum<{
-            blocked: "blocked";
+            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>>;
         changedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         verificationEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
         agentResultIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         failureIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        waiverIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
     }, z.core.$strip>>>>>;
     tasks: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
         taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;