harness-engineering-agent 0.1.0

package/dist/domain/report.d.ts

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