harness-engineering-agent 0.1.8 → 0.2.0

package/dist/controller/task-agent-schemas.d.ts

@@ -1,4 +1,6 @@
 import { z } from "zod";
+export type { FailureAnalyzerOutput } from "./failure-analyzer-schemas.js";
+export { FailureAnalyzerOutputSchema } from "./failure-analyzer-schemas.js";
 export declare const WorkerOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
     summary: z.ZodString;
@@ -41,12 +43,466 @@ export declare const VerifierOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion
     status: z.ZodLiteral<"passed">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    taskReview: z.ZodOptional<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.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
     role: z.ZodLiteral<"verifier">;
     status: z.ZodLiteral<"failed">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    taskReview: z.ZodOptional<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.$strict>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"verifier">;
+    status: z.ZodLiteral<"approved">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    planReview: 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>>;
+}, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"verifier">;
+    status: z.ZodLiteral<"rejected">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    planReview: 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>>;
 }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
     role: z.ZodLiteral<"verifier">;
@@ -61,22 +517,184 @@ export declare const VerifierOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion
         approval: "approval";
         "artifact-summary": "artifact-summary";
     }>>>;
+    taskReview: z.ZodOptional<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.$strict>>]>>;
-export declare const AcceptanceOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+export declare const TaskReviewVerifierOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
-    role: z.ZodLiteral<"acceptance">;
-    status: z.ZodLiteral<"accepted">;
+    role: z.ZodLiteral<"verifier">;
+    status: z.ZodLiteral<"passed">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    taskReview: 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.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
-    role: z.ZodLiteral<"acceptance">;
+    role: z.ZodLiteral<"verifier">;
     status: z.ZodLiteral<"failed">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    taskReview: 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.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
-    role: z.ZodLiteral<"acceptance">;
+    role: z.ZodLiteral<"verifier">;
     status: z.ZodLiteral<"evidence_gap">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
@@ -88,43 +706,140 @@ export declare const AcceptanceOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUni
         approval: "approval";
         "artifact-summary": "artifact-summary";
     }>>>;
+    taskReview: 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.$strict>>]>>;
-export declare const FailureAnalyzerOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+export declare const PlannerContextOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"planner">;
+    status: z.ZodLiteral<"completed">;
+    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>>;
+}, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
-    role: z.ZodLiteral<"failure-analyzer">;
-    action: z.ZodLiteral<"repair">;
+    role: z.ZodLiteral<"planner">;
+    status: z.ZodLiteral<"evidence_gap">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
-    category: z.ZodLiteral<"implementation-defect">;
+    missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
 }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
-    role: z.ZodLiteral<"failure-analyzer">;
-    action: z.ZodLiteral<"clarify">;
+    role: z.ZodLiteral<"planner">;
+    status: z.ZodLiteral<"clarification_required">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
-    category: z.ZodEnum<{
-        "context-gap": "context-gap";
-        "requirement-ambiguity": "requirement-ambiguity";
-    }>;
     missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>>]>>;
+export declare const AcceptanceOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"acceptance">;
+    status: z.ZodLiteral<"accepted">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
 }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
-    role: z.ZodLiteral<"failure-analyzer">;
-    action: z.ZodLiteral<"wait">;
+    role: z.ZodLiteral<"acceptance">;
+    status: z.ZodLiteral<"failed">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
-    category: z.ZodLiteral<"dependency-blocked">;
-    blockedDependency: z.ZodString;
 }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
-    role: z.ZodLiteral<"failure-analyzer">;
-    action: z.ZodLiteral<"terminate">;
+    role: z.ZodLiteral<"acceptance">;
+    status: z.ZodLiteral<"evidence_gap">;
     summary: z.ZodString;
     evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
-    category: z.ZodEnum<{
-        "verification-environment": "verification-environment";
-        "model-failure": "model-failure";
-    }>;
+    missingEvidenceKinds: z.ZodReadonly<z.ZodArray<z.ZodEnum<{
+        verification: "verification";
+        red: "red";
+        green: "green";
+        refactor: "refactor";
+        approval: "approval";
+        "artifact-summary": "artifact-summary";
+    }>>>;
 }, z.core.$strict>>]>>;
 export declare const RepairWorkerOutputSchema: z.ZodReadonly<z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1.0.0">;
@@ -141,6 +856,7 @@ export declare const RepairWorkerOutputSchema: z.ZodReadonly<z.ZodObject<{
         rootCauseFingerprint: z.ZodString;
         summary: z.ZodString;
         allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        acceptanceCriterionIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         retryBudget: z.ZodReadonly<z.ZodObject<{
             maxAttempts: z.ZodNumber;
             maxRepairAttempts: z.ZodNumber;
@@ -167,6 +883,7 @@ export declare const RepairWorkerOutputSchema: z.ZodReadonly<z.ZodObject<{
                     config: "config";
                     planner: "planner";
                     worker: "worker";
+                    "failure-analyzer": "failure-analyzer";
                     repair: "repair";
                 }>>;
                 requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -196,6 +913,7 @@ export declare const RepairWorkerOutputSchema: z.ZodReadonly<z.ZodObject<{
                     config: "config";
                     planner: "planner";
                     worker: "worker";
+                    "failure-analyzer": "failure-analyzer";
                     repair: "repair";
                 }>>;
                 requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
@@ -210,8 +928,9 @@ export declare const RepairWorkerOutputSchema: z.ZodReadonly<z.ZodObject<{
     }, z.core.$strip>>;
 }, z.core.$strict>>;
 export type WorkerOutput = z.infer<typeof WorkerOutputSchema>;
+export type PlannerContextOutput = z.infer<typeof PlannerContextOutputSchema>;
 export type VerifierOutput = z.infer<typeof VerifierOutputSchema>;
+export type TaskReviewVerifierOutput = z.infer<typeof TaskReviewVerifierOutputSchema>;
 export type AcceptanceOutput = z.infer<typeof AcceptanceOutputSchema>;
-export type FailureAnalyzerOutput = z.infer<typeof FailureAnalyzerOutputSchema>;
 export type RepairWorkerOutput = z.infer<typeof RepairWorkerOutputSchema>;
 //# sourceMappingURL=task-agent-schemas.d.ts.map