@neuraloom/contracts 0.0.0-stage → 0.1.22

package/dist/schemas/workflow/tasks-unblock-implement-handoff.schema.d.ts

@@ -0,0 +1,210 @@
+import { z } from 'zod';
+export declare const TasksUnblockImplementHandoffResponseSchema: z.ZodObject<{
+    statusRepair: z.ZodObject<{
+        checked: z.ZodNumber;
+        repaired: z.ZodNumber;
+        leftImplementing: z.ZodNumber;
+        activeClaimedTasks: z.ZodNumber;
+        newStatusCounts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        skippedActiveExecution: z.ZodBoolean;
+        changes: z.ZodArray<z.ZodObject<{
+            taskId: z.ZodString;
+            fromStatus: z.ZodString;
+            toStatus: z.ZodEnum<["todo", "ready"]>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }, {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }>, "many">;
+        repairedCount: z.ZodOptional<z.ZodNumber>;
+        leftImplementingCount: z.ZodOptional<z.ZodNumber>;
+        skippedActivePatchCount: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    }, {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    }>;
+    evidenceEnriched: z.ZodNumber;
+    evidenceSkipped: z.ZodNumber;
+    statusRepairAfterEnrich: z.ZodObject<{
+        checked: z.ZodNumber;
+        repaired: z.ZodNumber;
+        leftImplementing: z.ZodNumber;
+        activeClaimedTasks: z.ZodNumber;
+        newStatusCounts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        skippedActiveExecution: z.ZodBoolean;
+        changes: z.ZodArray<z.ZodObject<{
+            taskId: z.ZodString;
+            fromStatus: z.ZodString;
+            toStatus: z.ZodEnum<["todo", "ready"]>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }, {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }>, "many">;
+        repairedCount: z.ZodOptional<z.ZodNumber>;
+        leftImplementingCount: z.ZodOptional<z.ZodNumber>;
+        skippedActivePatchCount: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    }, {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    }>;
+    statusHistogram: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    selectableCount: z.ZodNumber;
+    implementableCount: z.ZodNumber;
+    releasedSkippedTaskCount: z.ZodOptional<z.ZodNumber>;
+}, "strict", z.ZodTypeAny, {
+    statusHistogram: Record<string, number>;
+    implementableCount: number;
+    statusRepair: {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    };
+    evidenceEnriched: number;
+    evidenceSkipped: number;
+    statusRepairAfterEnrich: {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    };
+    selectableCount: number;
+    releasedSkippedTaskCount?: number | undefined;
+}, {
+    statusHistogram: Record<string, number>;
+    implementableCount: number;
+    statusRepair: {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    };
+    evidenceEnriched: number;
+    evidenceSkipped: number;
+    statusRepairAfterEnrich: {
+        changes: {
+            reason: string;
+            taskId: string;
+            fromStatus: string;
+            toStatus: "ready" | "todo";
+        }[];
+        repaired: number;
+        checked: number;
+        leftImplementing: number;
+        activeClaimedTasks: number;
+        newStatusCounts: Record<string, number>;
+        skippedActiveExecution: boolean;
+        repairedCount?: number | undefined;
+        leftImplementingCount?: number | undefined;
+        skippedActivePatchCount?: number | undefined;
+    };
+    selectableCount: number;
+    releasedSkippedTaskCount?: number | undefined;
+}>;
+export type TasksUnblockImplementHandoffResponse = z.infer<typeof TasksUnblockImplementHandoffResponseSchema>;

package/dist/schemas/workflow/tasks-unblock-implement-handoff.schema.js

@@ -0,0 +1,17 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TasksUnblockImplementHandoffResponseSchema = void 0;
+const zod_1 = require("zod");
+const tasks_repair_stale_implementing_schema_1 = require("./tasks-repair-stale-implementing.schema");
+exports.TasksUnblockImplementHandoffResponseSchema = zod_1.z
+    .object({
+    statusRepair: tasks_repair_stale_implementing_schema_1.TasksRepairStaleImplementingResponseSchema,
+    evidenceEnriched: zod_1.z.number().int().nonnegative(),
+    evidenceSkipped: zod_1.z.number().int().nonnegative(),
+    statusRepairAfterEnrich: tasks_repair_stale_implementing_schema_1.TasksRepairStaleImplementingResponseSchema,
+    statusHistogram: zod_1.z.record(zod_1.z.string(), zod_1.z.number().int().nonnegative()),
+    selectableCount: zod_1.z.number().int().nonnegative(),
+    implementableCount: zod_1.z.number().int().nonnegative(),
+    releasedSkippedTaskCount: zod_1.z.number().int().nonnegative().optional(),
+})
+    .strict();

package/dist/schemas/workflow/test-obligation-manifest.schema.d.ts

@@ -0,0 +1,306 @@
+/**
+ * TestObligationManifest — payload schema for workflow_artifacts rows with
+ * artifact_type='testObligationManifest'.
+ *
+ * Every generated or modified production surface must create, update, satisfy,
+ * or explicitly waive a test obligation. No workflow step, PR, deployment review,
+ * or publication package may be marked complete while blocking test obligations
+ * are missing (Test Obligation Law — Constitution v2.3).
+ *
+ * Produced by: Tasks step (attached to TaskCapsule) and updated during PatchReview.
+ * Consumed by: PatchReview gate, PR gate, Guardian, CI.
+ * Persisted in: workflow_artifacts (is_current=true per project/PR).
+ *
+ * Risk tiers:
+ *   critical  — hard required; blocks completion without explicit waiver + approver
+ *   important — required unless waived with reason
+ *   low-risk  — smoke/story/coverage is acceptable; waiver allowed without approver
+ */
+import { z } from 'zod';
+export declare const TestObligationTierSchema: z.ZodEnum<["critical", "important", "low-risk"]>;
+export type TestObligationTier = z.infer<typeof TestObligationTierSchema>;
+export declare const TestSurfaceKindSchema: z.ZodEnum<["api-route", "workflow-step", "registry-dispatch", "db-migration", "provider-integration", "auth-flow", "publication-readiness", "generated-artifact", "page", "ui-component", "feature-panel", "data-display", "form-flow", "client-method", "presentational-component", "static-asset", "layout-wrapper"]>;
+export type TestSurfaceKind = z.infer<typeof TestSurfaceKindSchema>;
+export declare const AuditModeSchema: z.ZodEnum<["phase1", "phase2", "phase3"]>;
+export type AuditMode = z.infer<typeof AuditModeSchema>;
+/** Structured waiver envelope (additive; legacy `waiverReason` / `waiverApprovedBy` remain). */
+export declare const TestObligationWaiverSchema: z.ZodObject<{
+    reason: z.ZodString;
+    approvedBy: z.ZodString;
+    expiresAt: z.ZodString;
+    remediationIssueUrl: z.ZodString;
+    riskLevel: z.ZodEnum<["low", "medium", "high", "critical"]>;
+}, "strip", z.ZodTypeAny, {
+    reason: string;
+    approvedBy: string;
+    expiresAt: string;
+    riskLevel: "critical" | "low" | "medium" | "high";
+    remediationIssueUrl: string;
+}, {
+    reason: string;
+    approvedBy: string;
+    expiresAt: string;
+    riskLevel: "critical" | "low" | "medium" | "high";
+    remediationIssueUrl: string;
+}>;
+export type TestObligationWaiver = z.infer<typeof TestObligationWaiverSchema>;
+export declare const TestObligationStatusSchema: z.ZodEnum<["pending", "satisfied", "waived", "failed"]>;
+export type TestObligationStatus = z.infer<typeof TestObligationStatusSchema>;
+export declare const TestObligationSchema: z.ZodObject<{
+    /** Stable identifier for this obligation (e.g. "route.POST /api/projects/[id]/workflow/tasks/capsule"). */
+    obligationId: z.ZodString;
+    /** The file or entity this obligation protects. */
+    surfacePath: z.ZodString;
+    surfaceKind: z.ZodEnum<["api-route", "workflow-step", "registry-dispatch", "db-migration", "provider-integration", "auth-flow", "publication-readiness", "generated-artifact", "page", "ui-component", "feature-panel", "data-display", "form-flow", "client-method", "presentational-component", "static-asset", "layout-wrapper"]>;
+    tier: z.ZodEnum<["critical", "important", "low-risk"]>;
+    status: z.ZodEnum<["pending", "satisfied", "waived", "failed"]>;
+    /** Type of test required: unit | integration | e2e | smoke | contract | accessibility | visual */
+    requiredTestType: z.ZodString;
+    /** The test file path (if satisfied). */
+    testFilePath: z.ZodOptional<z.ZodString>;
+    /** Waiver reason (required when status=waived). */
+    waiverReason: z.ZodOptional<z.ZodString>;
+    /** GitHub username of approver for critical waivers. */
+    waiverApprovedBy: z.ZodOptional<z.ZodString>;
+    waiver: z.ZodOptional<z.ZodObject<{
+        reason: z.ZodString;
+        approvedBy: z.ZodString;
+        expiresAt: z.ZodString;
+        remediationIssueUrl: z.ZodString;
+        riskLevel: z.ZodEnum<["low", "medium", "high", "critical"]>;
+    }, "strip", z.ZodTypeAny, {
+        reason: string;
+        approvedBy: string;
+        expiresAt: string;
+        riskLevel: "critical" | "low" | "medium" | "high";
+        remediationIssueUrl: string;
+    }, {
+        reason: string;
+        approvedBy: string;
+        expiresAt: string;
+        riskLevel: "critical" | "low" | "medium" | "high";
+        remediationIssueUrl: string;
+    }>>;
+    /** Task capsule ID that generated this obligation. */
+    taskCapsuleId: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "satisfied" | "failed" | "pending" | "waived";
+    tier: "critical" | "important" | "low-risk";
+    obligationId: string;
+    surfacePath: string;
+    surfaceKind: "page" | "data-display" | "api-route" | "workflow-step" | "registry-dispatch" | "db-migration" | "provider-integration" | "auth-flow" | "publication-readiness" | "generated-artifact" | "ui-component" | "feature-panel" | "form-flow" | "client-method" | "presentational-component" | "static-asset" | "layout-wrapper";
+    requiredTestType: string;
+    waiver?: {
+        reason: string;
+        approvedBy: string;
+        expiresAt: string;
+        riskLevel: "critical" | "low" | "medium" | "high";
+        remediationIssueUrl: string;
+    } | undefined;
+    testFilePath?: string | undefined;
+    waiverReason?: string | undefined;
+    waiverApprovedBy?: string | undefined;
+    taskCapsuleId?: string | undefined;
+}, {
+    status: "satisfied" | "failed" | "pending" | "waived";
+    tier: "critical" | "important" | "low-risk";
+    obligationId: string;
+    surfacePath: string;
+    surfaceKind: "page" | "data-display" | "api-route" | "workflow-step" | "registry-dispatch" | "db-migration" | "provider-integration" | "auth-flow" | "publication-readiness" | "generated-artifact" | "ui-component" | "feature-panel" | "form-flow" | "client-method" | "presentational-component" | "static-asset" | "layout-wrapper";
+    requiredTestType: string;
+    waiver?: {
+        reason: string;
+        approvedBy: string;
+        expiresAt: string;
+        riskLevel: "critical" | "low" | "medium" | "high";
+        remediationIssueUrl: string;
+    } | undefined;
+    testFilePath?: string | undefined;
+    waiverReason?: string | undefined;
+    waiverApprovedBy?: string | undefined;
+    taskCapsuleId?: string | undefined;
+}>;
+export type TestObligation = z.infer<typeof TestObligationSchema>;
+export declare const TestObligationManifestPayloadSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    generatedAt: z.ZodString;
+    projectId: z.ZodString;
+    /** The PR branch or run context this manifest belongs to. */
+    context: z.ZodOptional<z.ZodString>;
+    obligations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        /** Stable identifier for this obligation (e.g. "route.POST /api/projects/[id]/workflow/tasks/capsule"). */
+        obligationId: z.ZodString;
+        /** The file or entity this obligation protects. */
+        surfacePath: z.ZodString;
+        surfaceKind: z.ZodEnum<["api-route", "workflow-step", "registry-dispatch", "db-migration", "provider-integration", "auth-flow", "publication-readiness", "generated-artifact", "page", "ui-component", "feature-panel", "data-display", "form-flow", "client-method", "presentational-component", "static-asset", "layout-wrapper"]>;
+        tier: z.ZodEnum<["critical", "important", "low-risk"]>;
+        status: z.ZodEnum<["pending", "satisfied", "waived", "failed"]>;
+        /** Type of test required: unit | integration | e2e | smoke | contract | accessibility | visual */
+        requiredTestType: z.ZodString;
+        /** The test file path (if satisfied). */
+        testFilePath: z.ZodOptional<z.ZodString>;
+        /** Waiver reason (required when status=waived). */
+        waiverReason: z.ZodOptional<z.ZodString>;
+        /** GitHub username of approver for critical waivers. */
+        waiverApprovedBy: z.ZodOptional<z.ZodString>;
+        waiver: z.ZodOptional<z.ZodObject<{
+            reason: z.ZodString;
+            approvedBy: z.ZodString;
+            expiresAt: z.ZodString;
+            remediationIssueUrl: z.ZodString;
+            riskLevel: z.ZodEnum<["low", "medium", "high", "critical"]>;
+        }, "strip", z.ZodTypeAny, {
+            reason: string;
+            approvedBy: string;
+            expiresAt: string;
+            riskLevel: "critical" | "low" | "medium" | "high";
+            remediationIssueUrl: string;
+        }, {
+            reason: string;
+            approvedBy: string;
+            expiresAt: string;
+            riskLevel: "critical" | "low" | "medium" | "high";
+            remediationIssueUrl: string;
+        }>>;
+        /** Task capsule ID that generated this obligation. */
+        taskCapsuleId: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "satisfied" | "failed" | "pending" | "waived";
+        tier: "critical" | "important" | "low-risk";
+        obligationId: string;
+        surfacePath: string;
+        surfaceKind: "page" | "data-display" | "api-route" | "workflow-step" | "registry-dispatch" | "db-migration" | "provider-integration" | "auth-flow" | "publication-readiness" | "generated-artifact" | "ui-component" | "feature-panel" | "form-flow" | "client-method" | "presentational-component" | "static-asset" | "layout-wrapper";
+        requiredTestType: string;
+        waiver?: {
+            reason: string;
+            approvedBy: string;
+            expiresAt: string;
+            riskLevel: "critical" | "low" | "medium" | "high";
+            remediationIssueUrl: string;
+        } | undefined;
+        testFilePath?: string | undefined;
+        waiverReason?: string | undefined;
+        waiverApprovedBy?: string | undefined;
+        taskCapsuleId?: string | undefined;
+    }, {
+        status: "satisfied" | "failed" | "pending" | "waived";
+        tier: "critical" | "important" | "low-risk";
+        obligationId: string;
+        surfacePath: string;
+        surfaceKind: "page" | "data-display" | "api-route" | "workflow-step" | "registry-dispatch" | "db-migration" | "provider-integration" | "auth-flow" | "publication-readiness" | "generated-artifact" | "ui-component" | "feature-panel" | "form-flow" | "client-method" | "presentational-component" | "static-asset" | "layout-wrapper";
+        requiredTestType: string;
+        waiver?: {
+            reason: string;
+            approvedBy: string;
+            expiresAt: string;
+            riskLevel: "critical" | "low" | "medium" | "high";
+            remediationIssueUrl: string;
+        } | undefined;
+        testFilePath?: string | undefined;
+        waiverReason?: string | undefined;
+        waiverApprovedBy?: string | undefined;
+        taskCapsuleId?: string | undefined;
+    }>, "many">>;
+    /** Counts by status for quick gating. */
+    summary: z.ZodObject<{
+        total: z.ZodNumber;
+        satisfied: z.ZodNumber;
+        pending: z.ZodNumber;
+        waived: z.ZodNumber;
+        failed: z.ZodNumber;
+        /** Obligations that are blocking (pending/failed critical or important). */
+        blocking: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        satisfied: number;
+        failed: number;
+        pending: number;
+        total: number;
+        blocking: number;
+        waived: number;
+    }, {
+        satisfied: number;
+        failed: number;
+        pending: number;
+        total: number;
+        blocking: number;
+        waived: number;
+    }>;
+    /** Whether all blocking obligations are resolved (satisfied or waived with approval). */
+    allBlockingResolved: z.ZodBoolean;
+    auditMode: z.ZodDefault<z.ZodOptional<z.ZodEnum<["phase1", "phase2", "phase3"]>>>;
+}, "strip", z.ZodTypeAny, {
+    schemaVersion: "1.0.0";
+    projectId: string;
+    summary: {
+        satisfied: number;
+        failed: number;
+        pending: number;
+        total: number;
+        blocking: number;
+        waived: number;
+    };
+    generatedAt: string;
+    obligations: {
+        status: "satisfied" | "failed" | "pending" | "waived";
+        tier: "critical" | "important" | "low-risk";
+        obligationId: string;
+        surfacePath: string;
+        surfaceKind: "page" | "data-display" | "api-route" | "workflow-step" | "registry-dispatch" | "db-migration" | "provider-integration" | "auth-flow" | "publication-readiness" | "generated-artifact" | "ui-component" | "feature-panel" | "form-flow" | "client-method" | "presentational-component" | "static-asset" | "layout-wrapper";
+        requiredTestType: string;
+        waiver?: {
+            reason: string;
+            approvedBy: string;
+            expiresAt: string;
+            riskLevel: "critical" | "low" | "medium" | "high";
+            remediationIssueUrl: string;
+        } | undefined;
+        testFilePath?: string | undefined;
+        waiverReason?: string | undefined;
+        waiverApprovedBy?: string | undefined;
+        taskCapsuleId?: string | undefined;
+    }[];
+    allBlockingResolved: boolean;
+    auditMode: "phase1" | "phase2" | "phase3";
+    context?: string | undefined;
+}, {
+    schemaVersion: "1.0.0";
+    projectId: string;
+    summary: {
+        satisfied: number;
+        failed: number;
+        pending: number;
+        total: number;
+        blocking: number;
+        waived: number;
+    };
+    generatedAt: string;
+    allBlockingResolved: boolean;
+    context?: string | undefined;
+    obligations?: {
+        status: "satisfied" | "failed" | "pending" | "waived";
+        tier: "critical" | "important" | "low-risk";
+        obligationId: string;
+        surfacePath: string;
+        surfaceKind: "page" | "data-display" | "api-route" | "workflow-step" | "registry-dispatch" | "db-migration" | "provider-integration" | "auth-flow" | "publication-readiness" | "generated-artifact" | "ui-component" | "feature-panel" | "form-flow" | "client-method" | "presentational-component" | "static-asset" | "layout-wrapper";
+        requiredTestType: string;
+        waiver?: {
+            reason: string;
+            approvedBy: string;
+            expiresAt: string;
+            riskLevel: "critical" | "low" | "medium" | "high";
+            remediationIssueUrl: string;
+        } | undefined;
+        testFilePath?: string | undefined;
+        waiverReason?: string | undefined;
+        waiverApprovedBy?: string | undefined;
+        taskCapsuleId?: string | undefined;
+    }[] | undefined;
+    auditMode?: "phase1" | "phase2" | "phase3" | undefined;
+}>;
+export type TestObligationManifestPayload = z.infer<typeof TestObligationManifestPayloadSchema>;
+export declare function computeTestObligationSummary(obligations: TestObligation[]): TestObligationManifestPayload['summary'];
+export declare function areAllBlockingObligationsResolved(obligations: TestObligation[]): boolean;
+/** Prefer structured waiver detail when present. */
+export declare function getEffectiveWaiverApprover(o: TestObligation): string | undefined;
+/** Prefer structured waiver reason when present. */
+export declare function getEffectiveWaiverReason(o: TestObligation): string | undefined;

package/dist/schemas/workflow/test-obligation-manifest.schema.js

@@ -0,0 +1,131 @@
+"use strict";
+/**
+ * TestObligationManifest — payload schema for workflow_artifacts rows with
+ * artifact_type='testObligationManifest'.
+ *
+ * Every generated or modified production surface must create, update, satisfy,
+ * or explicitly waive a test obligation. No workflow step, PR, deployment review,
+ * or publication package may be marked complete while blocking test obligations
+ * are missing (Test Obligation Law — Constitution v2.3).
+ *
+ * Produced by: Tasks step (attached to TaskCapsule) and updated during PatchReview.
+ * Consumed by: PatchReview gate, PR gate, Guardian, CI.
+ * Persisted in: workflow_artifacts (is_current=true per project/PR).
+ *
+ * Risk tiers:
+ *   critical  — hard required; blocks completion without explicit waiver + approver
+ *   important — required unless waived with reason
+ *   low-risk  — smoke/story/coverage is acceptable; waiver allowed without approver
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TestObligationManifestPayloadSchema = exports.TestObligationSchema = exports.TestObligationStatusSchema = exports.TestObligationWaiverSchema = exports.AuditModeSchema = exports.TestSurfaceKindSchema = exports.TestObligationTierSchema = void 0;
+exports.computeTestObligationSummary = computeTestObligationSummary;
+exports.areAllBlockingObligationsResolved = areAllBlockingObligationsResolved;
+exports.getEffectiveWaiverApprover = getEffectiveWaiverApprover;
+exports.getEffectiveWaiverReason = getEffectiveWaiverReason;
+const zod_1 = require("zod");
+// ── Risk tier ────────────────────────────────────────────────────────────────
+exports.TestObligationTierSchema = zod_1.z.enum(['critical', 'important', 'low-risk']);
+// ── Surface kind (what type of code surface is being tested) ─────────────────
+exports.TestSurfaceKindSchema = zod_1.z.enum([
+    'api-route',
+    'workflow-step',
+    'registry-dispatch',
+    'db-migration',
+    'provider-integration',
+    'auth-flow',
+    'publication-readiness',
+    'generated-artifact',
+    'page',
+    'ui-component',
+    'feature-panel',
+    'data-display',
+    'form-flow',
+    'client-method',
+    'presentational-component',
+    'static-asset',
+    'layout-wrapper',
+]);
+exports.AuditModeSchema = zod_1.z.enum(['phase1', 'phase2', 'phase3']);
+/** Structured waiver envelope (additive; legacy `waiverReason` / `waiverApprovedBy` remain). */
+exports.TestObligationWaiverSchema = zod_1.z.object({
+    reason: zod_1.z.string().min(1),
+    approvedBy: zod_1.z.string().min(1),
+    expiresAt: zod_1.z.string().datetime(),
+    remediationIssueUrl: zod_1.z.string().url(),
+    riskLevel: zod_1.z.enum(['low', 'medium', 'high', 'critical']),
+});
+// ── Obligation status ─────────────────────────────────────────────────────────
+exports.TestObligationStatusSchema = zod_1.z.enum([
+    'pending', // obligation declared, not yet satisfied
+    'satisfied', // test exists and passes
+    'waived', // explicitly waived with reason + optional approver
+    'failed', // test exists but is failing
+]);
+// ── Single obligation entry ──────────────────────────────────────────────────
+exports.TestObligationSchema = zod_1.z.object({
+    /** Stable identifier for this obligation (e.g. "route.POST /api/projects/[id]/workflow/tasks/capsule"). */
+    obligationId: zod_1.z.string(),
+    /** The file or entity this obligation protects. */
+    surfacePath: zod_1.z.string(),
+    surfaceKind: exports.TestSurfaceKindSchema,
+    tier: exports.TestObligationTierSchema,
+    status: exports.TestObligationStatusSchema,
+    /** Type of test required: unit | integration | e2e | smoke | contract | accessibility | visual */
+    requiredTestType: zod_1.z.string(),
+    /** The test file path (if satisfied). */
+    testFilePath: zod_1.z.string().optional(),
+    /** Waiver reason (required when status=waived). */
+    waiverReason: zod_1.z.string().optional(),
+    /** GitHub username of approver for critical waivers. */
+    waiverApprovedBy: zod_1.z.string().optional(),
+    waiver: exports.TestObligationWaiverSchema.optional(),
+    /** Task capsule ID that generated this obligation. */
+    taskCapsuleId: zod_1.z.string().uuid().optional(),
+});
+// ── Manifest ─────────────────────────────────────────────────────────────────
+exports.TestObligationManifestPayloadSchema = zod_1.z.object({
+    schemaVersion: zod_1.z.literal('1.0.0'),
+    generatedAt: zod_1.z.string().datetime(),
+    projectId: zod_1.z.string().uuid(),
+    /** The PR branch or run context this manifest belongs to. */
+    context: zod_1.z.string().optional(),
+    obligations: zod_1.z.array(exports.TestObligationSchema).default([]),
+    /** Counts by status for quick gating. */
+    summary: zod_1.z.object({
+        total: zod_1.z.number().int().min(0),
+        satisfied: zod_1.z.number().int().min(0),
+        pending: zod_1.z.number().int().min(0),
+        waived: zod_1.z.number().int().min(0),
+        failed: zod_1.z.number().int().min(0),
+        /** Obligations that are blocking (pending/failed critical or important). */
+        blocking: zod_1.z.number().int().min(0),
+    }),
+    /** Whether all blocking obligations are resolved (satisfied or waived with approval). */
+    allBlockingResolved: zod_1.z.boolean(),
+    auditMode: exports.AuditModeSchema.optional().default('phase2'),
+});
+// ── Helpers ───────────────────────────────────────────────────────────────────
+function computeTestObligationSummary(obligations) {
+    const satisfied = obligations.filter(o => o.status === 'satisfied').length;
+    const pending = obligations.filter(o => o.status === 'pending').length;
+    const waived = obligations.filter(o => o.status === 'waived').length;
+    const failed = obligations.filter(o => o.status === 'failed').length;
+    const blocking = obligations.filter(o => (o.tier === 'critical' || o.tier === 'important') &&
+        (o.status === 'pending' || o.status === 'failed')).length;
+    return { total: obligations.length, satisfied, pending, waived, failed, blocking };
+}
+function areAllBlockingObligationsResolved(obligations) {
+    return obligations
+        .filter(o => o.tier === 'critical' || o.tier === 'important')
+        .every(o => o.status === 'satisfied' ||
+        (o.status === 'waived' && (o.tier === 'important' || Boolean(o.waiverApprovedBy))));
+}
+/** Prefer structured waiver detail when present. */
+function getEffectiveWaiverApprover(o) {
+    return o.waiver?.approvedBy ?? o.waiverApprovedBy;
+}
+/** Prefer structured waiver reason when present. */
+function getEffectiveWaiverReason(o) {
+    return o.waiver?.reason ?? o.waiverReason;
+}