@neuraloom/contracts 0.0.0-stage → 0.1.22

package/dist/schemas/review/review-coverage.schema.d.ts

@@ -0,0 +1,2238 @@
+import { z } from "zod";
+export declare const REVIEW_MS03_COVERAGE_SHIP_THRESHOLD_PCT: 95;
+export declare const REVIEW_MS03_RUNTIME_PROBE_PASS_RATE_THRESHOLD: 0.95;
+export declare const ReviewReleaseBlockerCodeSchema: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+export declare const RequirementCoverageItemSchema: z.ZodObject<{
+    requirementId: z.ZodString;
+    title: z.ZodString;
+    status: z.ZodEnum<["covered", "partial", "uncovered"]>;
+    missing: z.ZodArray<z.ZodEnum<["file", "test", "probe", "pr", "deployment", "approval"]>, "many">;
+    evidence: z.ZodObject<{
+        files: z.ZodObject<{
+            present: z.ZodBoolean;
+            nodeIds: z.ZodArray<z.ZodString, "many">;
+            passing: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }>;
+        tests: z.ZodObject<{
+            present: z.ZodBoolean;
+            nodeIds: z.ZodArray<z.ZodString, "many">;
+            passing: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }>;
+        prs: z.ZodObject<{
+            present: z.ZodBoolean;
+            nodeIds: z.ZodArray<z.ZodString, "many">;
+            passing: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }>;
+        deployments: z.ZodObject<{
+            present: z.ZodBoolean;
+            nodeIds: z.ZodArray<z.ZodString, "many">;
+            passing: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }>;
+        probes: z.ZodObject<{
+            present: z.ZodBoolean;
+            nodeIds: z.ZodArray<z.ZodString, "many">;
+            passing: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }>;
+        approvals: z.ZodObject<{
+            present: z.ZodBoolean;
+            nodeIds: z.ZodArray<z.ZodString, "many">;
+            passing: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }, {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        deployments: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        files: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        probes: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        prs: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        tests: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        approvals: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+    }, {
+        deployments: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        files: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        probes: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        prs: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        tests: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        approvals: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+    }>;
+    graphPathsTruncated: z.ZodOptional<z.ZodBoolean>;
+}, "strict", z.ZodTypeAny, {
+    title: string;
+    status: "covered" | "partial" | "uncovered";
+    missing: ("test" | "file" | "pr" | "deployment" | "probe" | "approval")[];
+    evidence: {
+        deployments: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        files: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        probes: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        prs: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        tests: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        approvals: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+    };
+    requirementId: string;
+    graphPathsTruncated?: boolean | undefined;
+}, {
+    title: string;
+    status: "covered" | "partial" | "uncovered";
+    missing: ("test" | "file" | "pr" | "deployment" | "probe" | "approval")[];
+    evidence: {
+        deployments: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        files: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        probes: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        prs: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        tests: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+        approvals: {
+            nodeIds: string[];
+            present: boolean;
+            passing?: boolean | undefined;
+        };
+    };
+    requirementId: string;
+    graphPathsTruncated?: boolean | undefined;
+}>;
+export declare const ReviewReleaseDecisionSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    workflowRunId: z.ZodOptional<z.ZodString>;
+    coveragePct: z.ZodNumber;
+    unmetCriteria: z.ZodArray<z.ZodObject<{
+        blockerCode: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+        detail: z.ZodString;
+        evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }, {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }>, "many">;
+    findings: z.ZodObject<{
+        security: z.ZodObject<{
+            critical: z.ZodNumber;
+            high: z.ZodNumber;
+            medium: z.ZodNumber;
+            low: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        }, {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        }>;
+        drift: z.ZodObject<{
+            blocking: z.ZodNumber;
+            warning: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            warning: number;
+            blocking: number;
+        }, {
+            warning: number;
+            blocking: number;
+        }>;
+    } & {
+        blockingSecurityNodeIds: z.ZodArray<z.ZodString, "many">;
+        blockingDriftNodeIds: z.ZodArray<z.ZodString, "many">;
+        securityGraphEvidencePresent: z.ZodBoolean;
+        driftGraphEvidencePresent: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+        blockingSecurityNodeIds: string[];
+        blockingDriftNodeIds: string[];
+        securityGraphEvidencePresent: boolean;
+        driftGraphEvidencePresent: boolean;
+    }, {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+        blockingSecurityNodeIds: string[];
+        blockingDriftNodeIds: string[];
+        securityGraphEvidencePresent: boolean;
+        driftGraphEvidencePresent: boolean;
+    }>;
+    runtimeProbePassRate: z.ZodNullable<z.ZodNumber>;
+    /** Canonical per-probe summaries for MS-03 surfaces (#732). */
+    runtimeProbeEvidenceSummaries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        probeId: z.ZodString;
+        category: z.ZodEnum<["api", "ui", "flow", "browser", "log", "a11y"]>;
+        status: z.ZodEnum<["pass", "fail", "error", "skipped", "missing"]>;
+        name: z.ZodString;
+        kgStableKey: z.ZodOptional<z.ZodString>;
+        lastRunId: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        status: "error" | "missing" | "skipped" | "fail" | "pass";
+        name: string;
+        category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+        probeId: string;
+        kgStableKey?: string | undefined;
+        lastRunId?: string | undefined;
+    }, {
+        status: "error" | "missing" | "skipped" | "fail" | "pass";
+        name: string;
+        category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+        probeId: string;
+        kgStableKey?: string | undefined;
+        lastRunId?: string | undefined;
+    }>, "many">>;
+    humanApproval: z.ZodObject<{
+        guardianReviewGateApproved: z.ZodBoolean;
+        graphAcceptedByEdgeCount: z.ZodNumber;
+        satisfied: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        satisfied: boolean;
+        guardianReviewGateApproved: boolean;
+        graphAcceptedByEdgeCount: number;
+    }, {
+        satisfied: boolean;
+        guardianReviewGateApproved: boolean;
+        graphAcceptedByEdgeCount: number;
+    }>;
+    status: z.ZodEnum<["ship", "block"]>;
+    blockers: z.ZodArray<z.ZodObject<{
+        code: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+        detail: z.ZodString;
+        evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        detail: string;
+        evidenceNodeIds: string[];
+    }, {
+        code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        detail: string;
+        evidenceNodeIds: string[];
+    }>, "many">;
+    computedAt: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    status: "ship" | "block";
+    projectId: string;
+    coveragePct: number;
+    blockers: {
+        code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        detail: string;
+        evidenceNodeIds: string[];
+    }[];
+    findings: {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+        blockingSecurityNodeIds: string[];
+        blockingDriftNodeIds: string[];
+        securityGraphEvidencePresent: boolean;
+        driftGraphEvidencePresent: boolean;
+    };
+    computedAt: string;
+    unmetCriteria: {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }[];
+    runtimeProbePassRate: number | null;
+    humanApproval: {
+        satisfied: boolean;
+        guardianReviewGateApproved: boolean;
+        graphAcceptedByEdgeCount: number;
+    };
+    workflowRunId?: string | undefined;
+    runtimeProbeEvidenceSummaries?: {
+        status: "error" | "missing" | "skipped" | "fail" | "pass";
+        name: string;
+        category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+        probeId: string;
+        kgStableKey?: string | undefined;
+        lastRunId?: string | undefined;
+    }[] | undefined;
+}, {
+    status: "ship" | "block";
+    projectId: string;
+    coveragePct: number;
+    blockers: {
+        code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        detail: string;
+        evidenceNodeIds: string[];
+    }[];
+    findings: {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+        blockingSecurityNodeIds: string[];
+        blockingDriftNodeIds: string[];
+        securityGraphEvidencePresent: boolean;
+        driftGraphEvidencePresent: boolean;
+    };
+    computedAt: string;
+    unmetCriteria: {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }[];
+    runtimeProbePassRate: number | null;
+    humanApproval: {
+        satisfied: boolean;
+        guardianReviewGateApproved: boolean;
+        graphAcceptedByEdgeCount: number;
+    };
+    workflowRunId?: string | undefined;
+    runtimeProbeEvidenceSummaries?: {
+        status: "error" | "missing" | "skipped" | "fail" | "pass";
+        name: string;
+        category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+        probeId: string;
+        kgStableKey?: string | undefined;
+        lastRunId?: string | undefined;
+    }[] | undefined;
+}>;
+export declare const ReviewCoverageSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    workflowRunId: z.ZodOptional<z.ZodString>;
+    totalRequirements: z.ZodNumber;
+    covered: z.ZodNumber;
+    partial: z.ZodNumber;
+    uncovered: z.ZodNumber;
+    coveragePct: z.ZodNumber;
+    requirements: z.ZodArray<z.ZodObject<{
+        requirementId: z.ZodString;
+        title: z.ZodString;
+        status: z.ZodEnum<["covered", "partial", "uncovered"]>;
+        missing: z.ZodArray<z.ZodEnum<["file", "test", "probe", "pr", "deployment", "approval"]>, "many">;
+        evidence: z.ZodObject<{
+            files: z.ZodObject<{
+                present: z.ZodBoolean;
+                nodeIds: z.ZodArray<z.ZodString, "many">;
+                passing: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }>;
+            tests: z.ZodObject<{
+                present: z.ZodBoolean;
+                nodeIds: z.ZodArray<z.ZodString, "many">;
+                passing: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }>;
+            prs: z.ZodObject<{
+                present: z.ZodBoolean;
+                nodeIds: z.ZodArray<z.ZodString, "many">;
+                passing: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }>;
+            deployments: z.ZodObject<{
+                present: z.ZodBoolean;
+                nodeIds: z.ZodArray<z.ZodString, "many">;
+                passing: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }>;
+            probes: z.ZodObject<{
+                present: z.ZodBoolean;
+                nodeIds: z.ZodArray<z.ZodString, "many">;
+                passing: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }>;
+            approvals: z.ZodObject<{
+                present: z.ZodBoolean;
+                nodeIds: z.ZodArray<z.ZodString, "many">;
+                passing: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }, {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            deployments: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            files: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            probes: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            prs: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            tests: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            approvals: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+        }, {
+            deployments: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            files: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            probes: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            prs: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            tests: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            approvals: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+        }>;
+        graphPathsTruncated: z.ZodOptional<z.ZodBoolean>;
+    }, "strict", z.ZodTypeAny, {
+        title: string;
+        status: "covered" | "partial" | "uncovered";
+        missing: ("test" | "file" | "pr" | "deployment" | "probe" | "approval")[];
+        evidence: {
+            deployments: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            files: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            probes: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            prs: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            tests: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            approvals: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+        };
+        requirementId: string;
+        graphPathsTruncated?: boolean | undefined;
+    }, {
+        title: string;
+        status: "covered" | "partial" | "uncovered";
+        missing: ("test" | "file" | "pr" | "deployment" | "probe" | "approval")[];
+        evidence: {
+            deployments: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            files: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            probes: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            prs: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            tests: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            approvals: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+        };
+        requirementId: string;
+        graphPathsTruncated?: boolean | undefined;
+    }>, "many">;
+    unmetCriteria: z.ZodArray<z.ZodObject<{
+        blockerCode: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+        detail: z.ZodString;
+        evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }, {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }>, "many">;
+    findingSummary: z.ZodObject<{
+        security: z.ZodObject<{
+            critical: z.ZodNumber;
+            high: z.ZodNumber;
+            medium: z.ZodNumber;
+            low: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        }, {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        }>;
+        drift: z.ZodObject<{
+            blocking: z.ZodNumber;
+            warning: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            warning: number;
+            blocking: number;
+        }, {
+            warning: number;
+            blocking: number;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+    }, {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+    }>;
+    releaseDecision: z.ZodObject<{
+        projectId: z.ZodString;
+        workflowRunId: z.ZodOptional<z.ZodString>;
+        coveragePct: z.ZodNumber;
+        unmetCriteria: z.ZodArray<z.ZodObject<{
+            blockerCode: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }>, "many">;
+        findings: z.ZodObject<{
+            security: z.ZodObject<{
+                critical: z.ZodNumber;
+                high: z.ZodNumber;
+                medium: z.ZodNumber;
+                low: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }>;
+            drift: z.ZodObject<{
+                blocking: z.ZodNumber;
+                warning: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                warning: number;
+                blocking: number;
+            }, {
+                warning: number;
+                blocking: number;
+            }>;
+        } & {
+            blockingSecurityNodeIds: z.ZodArray<z.ZodString, "many">;
+            blockingDriftNodeIds: z.ZodArray<z.ZodString, "many">;
+            securityGraphEvidencePresent: z.ZodBoolean;
+            driftGraphEvidencePresent: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }>;
+        runtimeProbePassRate: z.ZodNullable<z.ZodNumber>;
+        /** Canonical per-probe summaries for MS-03 surfaces (#732). */
+        runtimeProbeEvidenceSummaries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            probeId: z.ZodString;
+            category: z.ZodEnum<["api", "ui", "flow", "browser", "log", "a11y"]>;
+            status: z.ZodEnum<["pass", "fail", "error", "skipped", "missing"]>;
+            name: z.ZodString;
+            kgStableKey: z.ZodOptional<z.ZodString>;
+            lastRunId: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }>, "many">>;
+        humanApproval: z.ZodObject<{
+            guardianReviewGateApproved: z.ZodBoolean;
+            graphAcceptedByEdgeCount: z.ZodNumber;
+            satisfied: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }>;
+        status: z.ZodEnum<["ship", "block"]>;
+        blockers: z.ZodArray<z.ZodObject<{
+            code: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }>, "many">;
+        computedAt: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }>;
+    generatedAt: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    projectId: string;
+    coveragePct: number;
+    covered: number;
+    partial: number;
+    uncovered: number;
+    generatedAt: string;
+    requirements: {
+        title: string;
+        status: "covered" | "partial" | "uncovered";
+        missing: ("test" | "file" | "pr" | "deployment" | "probe" | "approval")[];
+        evidence: {
+            deployments: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            files: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            probes: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            prs: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            tests: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            approvals: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+        };
+        requirementId: string;
+        graphPathsTruncated?: boolean | undefined;
+    }[];
+    releaseDecision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+    unmetCriteria: {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }[];
+    totalRequirements: number;
+    findingSummary: {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+    };
+    workflowRunId?: string | undefined;
+}, {
+    projectId: string;
+    coveragePct: number;
+    covered: number;
+    partial: number;
+    uncovered: number;
+    generatedAt: string;
+    requirements: {
+        title: string;
+        status: "covered" | "partial" | "uncovered";
+        missing: ("test" | "file" | "pr" | "deployment" | "probe" | "approval")[];
+        evidence: {
+            deployments: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            files: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            probes: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            prs: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            tests: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+            approvals: {
+                nodeIds: string[];
+                present: boolean;
+                passing?: boolean | undefined;
+            };
+        };
+        requirementId: string;
+        graphPathsTruncated?: boolean | undefined;
+    }[];
+    releaseDecision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+    unmetCriteria: {
+        detail: string;
+        evidenceNodeIds: string[];
+        blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+    }[];
+    totalRequirements: number;
+    findingSummary: {
+        security: {
+            critical: number;
+            low: number;
+            medium: number;
+            high: number;
+        };
+        drift: {
+            warning: number;
+            blocking: number;
+        };
+    };
+    workflowRunId?: string | undefined;
+}>;
+export declare const ReviewCoverageQuerySchema: z.ZodObject<{
+    requirementNodeIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strict", z.ZodTypeAny, {
+    requirementNodeIds?: string[] | undefined;
+}, {
+    requirementNodeIds?: string[] | undefined;
+}>;
+export declare const ReviewDecisionApiResponseSchema: z.ZodObject<{
+    decision: z.ZodObject<{
+        projectId: z.ZodString;
+        workflowRunId: z.ZodOptional<z.ZodString>;
+        coveragePct: z.ZodNumber;
+        unmetCriteria: z.ZodArray<z.ZodObject<{
+            blockerCode: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }>, "many">;
+        findings: z.ZodObject<{
+            security: z.ZodObject<{
+                critical: z.ZodNumber;
+                high: z.ZodNumber;
+                medium: z.ZodNumber;
+                low: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }>;
+            drift: z.ZodObject<{
+                blocking: z.ZodNumber;
+                warning: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                warning: number;
+                blocking: number;
+            }, {
+                warning: number;
+                blocking: number;
+            }>;
+        } & {
+            blockingSecurityNodeIds: z.ZodArray<z.ZodString, "many">;
+            blockingDriftNodeIds: z.ZodArray<z.ZodString, "many">;
+            securityGraphEvidencePresent: z.ZodBoolean;
+            driftGraphEvidencePresent: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }>;
+        runtimeProbePassRate: z.ZodNullable<z.ZodNumber>;
+        /** Canonical per-probe summaries for MS-03 surfaces (#732). */
+        runtimeProbeEvidenceSummaries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            probeId: z.ZodString;
+            category: z.ZodEnum<["api", "ui", "flow", "browser", "log", "a11y"]>;
+            status: z.ZodEnum<["pass", "fail", "error", "skipped", "missing"]>;
+            name: z.ZodString;
+            kgStableKey: z.ZodOptional<z.ZodString>;
+            lastRunId: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }>, "many">>;
+        humanApproval: z.ZodObject<{
+            guardianReviewGateApproved: z.ZodBoolean;
+            graphAcceptedByEdgeCount: z.ZodNumber;
+            satisfied: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }>;
+        status: z.ZodEnum<["ship", "block"]>;
+        blockers: z.ZodArray<z.ZodObject<{
+            code: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }>, "many">;
+        computedAt: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    decision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+}, {
+    decision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+}>;
+export declare const ReviewApprovalRequestSchema: z.ZodObject<{
+    requirementNodeIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    note: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    note?: string | undefined;
+    requirementNodeIds?: string[] | undefined;
+}, {
+    note?: string | undefined;
+    requirementNodeIds?: string[] | undefined;
+}>;
+export declare const ReviewApprovalResponseSchema: z.ZodObject<{
+    approvalNodeId: z.ZodString;
+    approvedRequirementNodeIds: z.ZodArray<z.ZodString, "many">;
+    decision: z.ZodObject<{
+        projectId: z.ZodString;
+        workflowRunId: z.ZodOptional<z.ZodString>;
+        coveragePct: z.ZodNumber;
+        unmetCriteria: z.ZodArray<z.ZodObject<{
+            blockerCode: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }>, "many">;
+        findings: z.ZodObject<{
+            security: z.ZodObject<{
+                critical: z.ZodNumber;
+                high: z.ZodNumber;
+                medium: z.ZodNumber;
+                low: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }>;
+            drift: z.ZodObject<{
+                blocking: z.ZodNumber;
+                warning: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                warning: number;
+                blocking: number;
+            }, {
+                warning: number;
+                blocking: number;
+            }>;
+        } & {
+            blockingSecurityNodeIds: z.ZodArray<z.ZodString, "many">;
+            blockingDriftNodeIds: z.ZodArray<z.ZodString, "many">;
+            securityGraphEvidencePresent: z.ZodBoolean;
+            driftGraphEvidencePresent: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }>;
+        runtimeProbePassRate: z.ZodNullable<z.ZodNumber>;
+        /** Canonical per-probe summaries for MS-03 surfaces (#732). */
+        runtimeProbeEvidenceSummaries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            probeId: z.ZodString;
+            category: z.ZodEnum<["api", "ui", "flow", "browser", "log", "a11y"]>;
+            status: z.ZodEnum<["pass", "fail", "error", "skipped", "missing"]>;
+            name: z.ZodString;
+            kgStableKey: z.ZodOptional<z.ZodString>;
+            lastRunId: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }>, "many">>;
+        humanApproval: z.ZodObject<{
+            guardianReviewGateApproved: z.ZodBoolean;
+            graphAcceptedByEdgeCount: z.ZodNumber;
+            satisfied: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }>;
+        status: z.ZodEnum<["ship", "block"]>;
+        blockers: z.ZodArray<z.ZodObject<{
+            code: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }>, "many">;
+        computedAt: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    decision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+    approvalNodeId: string;
+    approvedRequirementNodeIds: string[];
+}, {
+    decision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+    approvalNodeId: string;
+    approvedRequirementNodeIds: string[];
+}>;
+export declare const ReviewExportFormatSchema: z.ZodEnum<["markdown", "pdf"]>;
+export declare const ReviewExportRequestSchema: z.ZodObject<{
+    format: z.ZodDefault<z.ZodEnum<["markdown", "pdf"]>>;
+}, "strict", z.ZodTypeAny, {
+    format: "markdown" | "pdf";
+}, {
+    format?: "markdown" | "pdf" | undefined;
+}>;
+export declare const ReviewExportResponseSchema: z.ZodObject<{
+    status: z.ZodEnum<["ready", "unsupported"]>;
+    format: z.ZodEnum<["markdown", "pdf"]>;
+    fileName: z.ZodString;
+    content: z.ZodNullable<z.ZodString>;
+    mimeType: z.ZodOptional<z.ZodString>;
+    generatedAt: z.ZodString;
+    decision: z.ZodObject<{
+        projectId: z.ZodString;
+        workflowRunId: z.ZodOptional<z.ZodString>;
+        coveragePct: z.ZodNumber;
+        unmetCriteria: z.ZodArray<z.ZodObject<{
+            blockerCode: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }, {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }>, "many">;
+        findings: z.ZodObject<{
+            security: z.ZodObject<{
+                critical: z.ZodNumber;
+                high: z.ZodNumber;
+                medium: z.ZodNumber;
+                low: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }, {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            }>;
+            drift: z.ZodObject<{
+                blocking: z.ZodNumber;
+                warning: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                warning: number;
+                blocking: number;
+            }, {
+                warning: number;
+                blocking: number;
+            }>;
+        } & {
+            blockingSecurityNodeIds: z.ZodArray<z.ZodString, "many">;
+            blockingDriftNodeIds: z.ZodArray<z.ZodString, "many">;
+            securityGraphEvidencePresent: z.ZodBoolean;
+            driftGraphEvidencePresent: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }, {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        }>;
+        runtimeProbePassRate: z.ZodNullable<z.ZodNumber>;
+        /** Canonical per-probe summaries for MS-03 surfaces (#732). */
+        runtimeProbeEvidenceSummaries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            probeId: z.ZodString;
+            category: z.ZodEnum<["api", "ui", "flow", "browser", "log", "a11y"]>;
+            status: z.ZodEnum<["pass", "fail", "error", "skipped", "missing"]>;
+            name: z.ZodString;
+            kgStableKey: z.ZodOptional<z.ZodString>;
+            lastRunId: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }, {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }>, "many">>;
+        humanApproval: z.ZodObject<{
+            guardianReviewGateApproved: z.ZodBoolean;
+            graphAcceptedByEdgeCount: z.ZodNumber;
+            satisfied: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }, {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        }>;
+        status: z.ZodEnum<["ship", "block"]>;
+        blockers: z.ZodArray<z.ZodObject<{
+            code: z.ZodEnum<["coverage_below_threshold", "unmet_acceptance_criteria", "blocking_security_findings", "blocking_drift_findings", "runtime_probe_failed", "runtime_probe_missing", "human_approval_missing", "graph_evidence_missing", "release_decision_missing", "deployment_verification_failed", "deployment_not_verified"]>;
+            detail: z.ZodString;
+            evidenceNodeIds: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }, {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }>, "many">;
+        computedAt: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }, {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    status: "ready" | "unsupported";
+    decision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+    generatedAt: string;
+    content: string | null;
+    fileName: string;
+    format: "markdown" | "pdf";
+    mimeType?: string | undefined;
+}, {
+    status: "ready" | "unsupported";
+    decision: {
+        status: "ship" | "block";
+        projectId: string;
+        coveragePct: number;
+        blockers: {
+            code: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+            detail: string;
+            evidenceNodeIds: string[];
+        }[];
+        findings: {
+            security: {
+                critical: number;
+                low: number;
+                medium: number;
+                high: number;
+            };
+            drift: {
+                warning: number;
+                blocking: number;
+            };
+            blockingSecurityNodeIds: string[];
+            blockingDriftNodeIds: string[];
+            securityGraphEvidencePresent: boolean;
+            driftGraphEvidencePresent: boolean;
+        };
+        computedAt: string;
+        unmetCriteria: {
+            detail: string;
+            evidenceNodeIds: string[];
+            blockerCode: "deployment_not_verified" | "release_decision_missing" | "coverage_below_threshold" | "unmet_acceptance_criteria" | "blocking_security_findings" | "blocking_drift_findings" | "runtime_probe_failed" | "runtime_probe_missing" | "human_approval_missing" | "graph_evidence_missing" | "deployment_verification_failed";
+        }[];
+        runtimeProbePassRate: number | null;
+        humanApproval: {
+            satisfied: boolean;
+            guardianReviewGateApproved: boolean;
+            graphAcceptedByEdgeCount: number;
+        };
+        workflowRunId?: string | undefined;
+        runtimeProbeEvidenceSummaries?: {
+            status: "error" | "missing" | "skipped" | "fail" | "pass";
+            name: string;
+            category: "api" | "ui" | "log" | "flow" | "browser" | "a11y";
+            probeId: string;
+            kgStableKey?: string | undefined;
+            lastRunId?: string | undefined;
+        }[] | undefined;
+    };
+    generatedAt: string;
+    content: string | null;
+    fileName: string;
+    format: "markdown" | "pdf";
+    mimeType?: string | undefined;
+}>;
+export type ReviewCoverage = z.infer<typeof ReviewCoverageSchema>;
+export type RequirementCoverageItem = ReviewCoverage["requirements"][number];
+export type RequirementEvidenceBuckets = RequirementCoverageItem["evidence"];
+export type RequirementEvidenceBucket = RequirementEvidenceBuckets["files"];
+export type RequirementCoverageStatus = RequirementCoverageItem["status"];
+export type RequirementCoverageMissingCategory = RequirementCoverageItem["missing"][number];
+export type ReviewReleaseDecision = ReviewCoverage["releaseDecision"];
+export type ReviewGateFindings = ReviewReleaseDecision["findings"];
+export type ReviewHumanApprovalState = ReviewReleaseDecision["humanApproval"];
+export type ReviewUnmetCriterion = ReviewCoverage["unmetCriteria"][number];
+export type ReviewReleaseBlocker = ReviewReleaseDecision["blockers"][number];
+export type ReviewReleaseBlockerCode = ReviewReleaseBlocker["code"];
+export type ReviewCoverageQuery = z.infer<typeof ReviewCoverageQuerySchema>;
+export type ReviewDecisionApiResponse = z.infer<typeof ReviewDecisionApiResponseSchema>;
+export type ReviewApprovalRequest = z.infer<typeof ReviewApprovalRequestSchema>;
+export type ReviewApprovalResponse = z.infer<typeof ReviewApprovalResponseSchema>;
+export type ReviewExportFormat = z.infer<typeof ReviewExportFormatSchema>;
+export type ReviewExportRequest = z.infer<typeof ReviewExportRequestSchema>;
+export type ReviewExportResponse = z.infer<typeof ReviewExportResponseSchema>;