cc-devflow 4.5.11 → 4.5.12

package/lib/skill-runtime/schemas.js

@@ -1,746 +0,0 @@
-/**
- * [INPUT]: 依赖 zod 进行运行时 schema 校验，依赖调用方提供 manifest/report/runtime 原始对象。
- * [OUTPUT]: 对外提供 Manifest/Task/ReportCard/Runtime approval schema 与 parse 校验函数。
- * [POS]: skill runtime 的类型边界层，被 planner/dispatcher/verifier/release 复用。
- * [PROTOCOL]: 变更时更新此头部，然后检查 CLAUDE.md
- */
-
-const { z } = require('zod');
-const { isTaskCompletedStatus } = require('./lifecycle');
-const { CHANGE_ID_PATTERN } = require('./paths');
-
-const TASK_ID_PATTERN = /^[A-Z][A-Z0-9_-]{1,31}$/;
-
-const ChangeIdSchema = z.string().regex(CHANGE_ID_PATTERN, 'Invalid changeId format');
-
-const TaskStatusSchema = z.enum(['pending', 'running', 'passed', 'failed', 'skipped']);
-const ReviewDecisionStatusSchema = z.enum(['pending', 'pass', 'fail', 'blocked', 'skipped']);
-
-function normalizeTouch(value) {
-  return String(value)
-    .replace(/\\/g, '/')
-    .replace(/\/+/g, '/')
-    .replace(/^\.\//, '')
-    .replace(/\/$/, '');
-}
-
-function overlappingTouch(left, right) {
-  if (left === right) return left;
-  if (left && right.startsWith(`${left}/`)) return left;
-  if (right && left.startsWith(`${right}/`)) return right;
-  return '';
-}
-
-function taskTouches(task) {
-  return [...new Set([...(task.touches || []), ...(task.files || [])].map(normalizeTouch).filter(Boolean))];
-}
-
-const RuntimeStatusSchema = z.enum(['initialized', 'planned', 'in_progress', 'verified', 'released']);
-const ApprovalStatusSchema = z.enum(['pending', 'approved']);
-const ExecutionModeSchema = z.enum(['direct', 'delegate', 'team']);
-
-const RuntimeApprovalSchema = z.object({
-  status: ApprovalStatusSchema.default('pending'),
-  executionMode: ExecutionModeSchema.default('delegate'),
-  planVersion: z.number().int().min(1).optional(),
-  approvedAt: z.string().datetime().optional()
-});
-
-const RuntimeStateSchema = z.object({
-  changeId: ChangeIdSchema,
-  changeKey: z.string().min(1).optional(),
-  slug: z.string().min(1).optional(),
-  createdAt: z.string().datetime().optional(),
-  goal: z.string().min(1),
-  status: RuntimeStatusSchema,
-  initializedAt: z.string().datetime(),
-  plannedAt: z.string().datetime().optional(),
-  verifiedAt: z.string().datetime().optional(),
-  releasedAt: z.string().datetime().optional(),
-  approval: RuntimeApprovalSchema.optional(),
-  updatedAt: z.string().datetime()
-});
-
-const TaskContextSchema = z.object({
-  readFiles: z.array(z.string().min(1)).default([]),
-  commands: z.array(z.string().min(1)).default([]),
-  notes: z.array(z.string().min(1)).default([])
-}).default({
-  readFiles: [],
-  commands: [],
-  notes: []
-});
-
-const TaskReviewStateSchema = z.object({
-  spec: ReviewDecisionStatusSchema.default('pending'),
-  code: ReviewDecisionStatusSchema.default('pending')
-}).default({
-  spec: 'pending',
-  code: 'pending'
-});
-
-const TaskSchema = z.object({
-  id: z.string().regex(TASK_ID_PATTERN, 'Invalid task id'),
-  title: z.string().min(1, 'Task title is required'),
-  type: z.enum(['TEST', 'IMPL', 'OTHER', 'REFACTOR', 'VERIFY']).default('OTHER'),
-  phase: z.number().int().min(1).default(1),
-  parallel: z.boolean().default(false),
-  dependsOn: z.array(z.string().regex(TASK_ID_PATTERN)).default([]),
-  touches: z.array(z.string().min(1)).default([]),
-  files: z.array(z.string().min(1)).default([]),
-  run: z.array(z.string().min(1)).min(1, 'At least one run command is required'),
-  checks: z.array(z.string().min(1)).default([]),
-  acceptance: z.array(z.string().min(1)).default([]),
-  verification: z.array(z.string().min(1)).default([]),
-  evidence: z.array(z.string().min(1)).default([]),
-  context: TaskContextSchema,
-  reviews: TaskReviewStateSchema,
-  status: TaskStatusSchema.default('pending'),
-  attempts: z.number().int().min(0).default(0),
-  maxRetries: z.number().int().min(0).default(1),
-  lastError: z.string().optional()
-});
-
-const ManifestSchema = z.object({
-  changeId: ChangeIdSchema,
-  goal: z.string().min(1).default('Deliver planned requirement changes safely.'),
-  createdAt: z.string().datetime(),
-  updatedAt: z.string().datetime(),
-  currentTaskId: z.string().regex(TASK_ID_PATTERN).nullable().default(null),
-  activePhase: z.number().int().min(1).nullable().optional(),
-  tasks: z.array(TaskSchema),
-  metadata: z.object({
-    source: z.enum(['tasks.md', 'planning/tasks.md', 'default']).default('default'),
-    generatedBy: z.string().min(1).default('skill:cc-plan'),
-    planVersion: z.number().int().min(1).default(1)
-  }).default({ source: 'default', generatedBy: 'skill:cc-plan', planVersion: 1 })
-}).superRefine((manifest, ctx) => {
-  const taskIds = new Set();
-  const taskMap = new Map();
-
-  for (let index = 0; index < manifest.tasks.length; index += 1) {
-    const task = manifest.tasks[index];
-
-    if (taskIds.has(task.id)) {
-      ctx.addIssue({
-        code: z.ZodIssueCode.custom,
-        path: ['tasks', index, 'id'],
-        message: `Duplicate task id: ${task.id}`
-      });
-      continue;
-    }
-
-    taskIds.add(task.id);
-    taskMap.set(task.id, task);
-  }
-
-  for (let index = 0; index < manifest.tasks.length; index += 1) {
-    const task = manifest.tasks[index];
-
-    for (const depId of task.dependsOn) {
-      if (!taskMap.has(depId)) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', index, 'dependsOn'],
-          message: `Task ${task.id} depends on missing task ${depId}`
-        });
-      }
-
-      if (depId === task.id) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', index, 'dependsOn'],
-          message: `Task ${task.id} cannot depend on itself`
-        });
-      }
-    }
-  }
-
-  const unfinished = manifest.tasks.filter((task) => !isTaskCompletedStatus(task.status));
-  const derivedActivePhase = unfinished.length > 0
-    ? Math.min(...unfinished.map((task) => task.phase || 1))
-    : null;
-
-  if (manifest.activePhase !== undefined && manifest.activePhase !== null && manifest.activePhase !== derivedActivePhase) {
-    ctx.addIssue({
-      code: z.ZodIssueCode.custom,
-      path: ['activePhase'],
-      message: `activePhase ${manifest.activePhase} does not match derived active phase ${derivedActivePhase}`
-    });
-  }
-
-  if (manifest.currentTaskId !== null) {
-    const currentTask = taskMap.get(manifest.currentTaskId);
-    if (!currentTask) {
-      ctx.addIssue({
-        code: z.ZodIssueCode.custom,
-        path: ['currentTaskId'],
-        message: `currentTaskId ${manifest.currentTaskId} is not present in tasks`
-      });
-    } else if (derivedActivePhase !== null && currentTask.phase !== derivedActivePhase) {
-      ctx.addIssue({
-        code: z.ZodIssueCode.custom,
-        path: ['currentTaskId'],
-        message: `currentTaskId ${manifest.currentTaskId} is not in active phase ${derivedActivePhase}`
-      });
-    }
-  }
-
-  const taskSourceIsTasksMarkdown = manifest.metadata?.source === 'tasks.md';
-
-  for (let index = 0; index < manifest.tasks.length; index += 1) {
-    const task = manifest.tasks[index];
-
-    if (taskSourceIsTasksMarkdown && task.type !== 'OTHER') {
-      if (task.acceptance.length === 0) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', index, 'acceptance'],
-          message: `${task.id} must include acceptance criteria`
-        });
-      }
-
-      if (task.verification.length === 0) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', index, 'verification'],
-          message: `${task.id} must include verification commands`
-        });
-      }
-
-      if (task.evidence.length === 0) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', index, 'evidence'],
-          message: `${task.id} must include evidence expectations`
-        });
-      }
-
-      if (task.context.readFiles.length === 0) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', index, 'context', 'readFiles'],
-          message: `${task.id} must include readFiles for context injection`
-        });
-      }
-    }
-  }
-
-  for (let leftIndex = 0; leftIndex < manifest.tasks.length; leftIndex += 1) {
-    const left = manifest.tasks[leftIndex];
-    if (!left.parallel) {
-      continue;
-    }
-
-    const leftTouches = taskTouches(left);
-
-    for (let rightIndex = leftIndex + 1; rightIndex < manifest.tasks.length; rightIndex += 1) {
-      const right = manifest.tasks[rightIndex];
-
-      if (!right.parallel || left.phase !== right.phase) {
-        continue;
-      }
-
-      const dependsOnEachOther =
-        left.dependsOn.includes(right.id) || right.dependsOn.includes(left.id);
-
-      if (dependsOnEachOther) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', rightIndex, 'parallel'],
-          message: `Tasks ${left.id} and ${right.id} cannot both be parallel when one depends on the other`
-        });
-      }
-
-      const rightTouches = taskTouches(right);
-      const sharedTouches = [
-        ...new Set(
-          leftTouches.flatMap((leftTouch) =>
-            rightTouches.map((rightTouch) => overlappingTouch(leftTouch, rightTouch)).filter(Boolean)
-          )
-        )
-      ];
-
-      if (sharedTouches.length > 0) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          path: ['tasks', rightIndex, 'touches'],
-          message: `Parallel tasks ${left.id} and ${right.id} share touches: ${sharedTouches.join(', ')}`
-        });
-      }
-    }
-  }
-});
-
-const TddCheckpointEvidenceSchema = z.object({
-  red: z.record(z.any()).optional(),
-  green: z.record(z.any()).optional(),
-  refactor: z.record(z.any()).optional(),
-  feedbackLoop: z.record(z.any()).optional(),
-  testQuality: z.record(z.any()).optional()
-}).passthrough();
-
-const CheckpointSchema = z.object({
-  changeId: ChangeIdSchema,
-  taskId: z.string().regex(TASK_ID_PATTERN),
-  sessionId: z.string().min(1),
-  planVersion: z.number().int().min(1).default(1),
-  status: TaskStatusSchema,
-  summary: z.string().min(1),
-  error: z.string().default(''),
-  outputExcerpt: z.string().default(''),
-  timestamp: z.string().datetime(),
-  attempt: z.number().int().min(0).default(0),
-  tdd: TddCheckpointEvidenceSchema.optional(),
-  tddException: z.record(z.any()).optional()
-});
-
-const GateResultSchema = z.object({
-  name: z.string().min(1),
-  status: z.enum(['pass', 'fail', 'skipped']),
-  command: z.string().min(1),
-  durationMs: z.number().int().min(0),
-  details: z.string().default('')
-});
-
-const ReviewSeveritySchema = z.enum(['critical', 'important', 'minor', 'info']);
-const ReviewActionSchema = z.enum([
-  'fix_now',
-  'follow_up',
-  'cc-investigate',
-  'reroute-cc-do',
-  'reroute-cc-plan',
-  'reroute-cc-investigate',
-  'document-follow-up',
-  'none'
-]);
-const ReviewFindingStatusSchema = z.enum([
-  'open',
-  'resolved',
-  'accepted',
-  'informational',
-  'accepted-fixed',
-  'rejected-with-evidence',
-  'deferred-minor',
-  'clarification-needed'
-]);
-
-const ReviewEvidenceSchema = z.object({
-  kind: z.enum(['command', 'file', 'note']),
-  label: z.string().min(1),
-  ref: z.string().default(''),
-  observation: z.string().default('')
-});
-
-const ReviewFindingSchema = z.object({
-  id: z.string().min(1),
-  source: z.string().min(1),
-  scope: z.enum(['task', 'requirement']),
-  category: z.string().min(1),
-  severity: ReviewSeveritySchema,
-  summary: z.string().min(1),
-  details: z.string().default(''),
-  file: z.string().optional(),
-  line: z.number().int().min(1).optional(),
-  action: ReviewActionSchema.default('none'),
-  status: ReviewFindingStatusSchema.default('open'),
-  fingerprint: z.string().optional(),
-  confidence: z.enum(['high', 'medium', 'low']).optional(),
-  confidenceScore: z.number().min(1).max(10).optional(),
-  displayTier: z.enum(['blocking', 'warning', 'info', 'suppressed']).optional(),
-  suppressionReason: z.string().nullable().optional()
-});
-
-const ReviewerResultSchema = z.object({
-  key: z.string().min(1),
-  scope: z.enum(['task', 'requirement']),
-  mode: z.enum(['spec', 'code', 'coverage', 'structured', 'adversarial']),
-  source: z.enum(['manifest', 'runtime', 'codex', 'shell']),
-  status: ReviewDecisionStatusSchema,
-  summary: z.string().default(''),
-  evidence: z.array(ReviewEvidenceSchema).default([]),
-  findings: z.array(ReviewFindingSchema).default([])
-});
-
-const ReviewSectionSchema = z.object({
-  status: ReviewDecisionStatusSchema.default('skipped'),
-  required: z.boolean().default(false),
-  summary: z.string().default(''),
-  reviewers: z.array(ReviewerResultSchema).default([]),
-  findings: z.array(ReviewFindingSchema).default([])
-});
-
-const ReviewFreshnessSchema = z.object({
-  status: z.enum(['fresh', 'stale', 'unknown', 'not-applicable']).default('unknown'),
-  reviewedCommit: z.string().default(''),
-  currentCommit: z.string().default(''),
-  commitsSinceReview: z.number().int().min(0).nullable().default(null),
-  staleReason: z.string().default('')
-});
-
-const RecordReviewSchema = ReviewSectionSchema.extend({
-  source: z.string().min(1).default('review-records'),
-  freshness: ReviewFreshnessSchema.default({
-    status: 'unknown',
-    reviewedCommit: '',
-    currentCommit: '',
-    commitsSinceReview: null,
-    staleReason: ''
-  }),
-  errors: z.array(z.string()).default([])
-});
-
-const ReportReviewSchema = z.object({
-  status: ReviewDecisionStatusSchema.default('skipped'),
-  summary: z.string().default(''),
-  details: z.string().default(''),
-  freshness: ReviewFreshnessSchema.default({
-    status: 'unknown',
-    reviewedCommit: '',
-    currentCommit: '',
-    commitsSinceReview: null,
-    staleReason: ''
-  }),
-  qualityScore: z.number().min(0).max(10).nullable().default(null),
-  specialistReviews: z.array(z.object({
-    name: z.string().min(1),
-    status: ReviewDecisionStatusSchema,
-    required: z.boolean().default(false),
-    summary: z.string().default(''),
-    skipReason: z.string().default(''),
-    findings: z.array(ReviewFindingSchema).default([])
-  })).default([]),
-  taskReviews: ReviewSectionSchema.default({
-    status: 'skipped',
-    required: false,
-    summary: '',
-    reviewers: [],
-    findings: []
-  }),
-  recordReview: RecordReviewSchema.default({
-    source: 'review-records',
-    status: 'skipped',
-    required: false,
-    summary: '',
-    reviewers: [],
-    findings: [],
-    freshness: {
-      status: 'unknown',
-      reviewedCommit: '',
-      currentCommit: '',
-      commitsSinceReview: null,
-      staleReason: ''
-    },
-    errors: []
-  }),
-  diffReview: ReviewSectionSchema.default({
-    status: 'skipped',
-    required: false,
-    summary: '',
-    reviewers: [],
-    findings: []
-  }),
-  findings: z.array(ReviewFindingSchema).default([])
-});
-
-const ClaimEvidenceSchema = z.object({
-  claim: z.string().min(1),
-  requiredProof: z.string().min(1),
-  commandOrArtifact: z.string().min(1),
-  exitStatus: z.number().int().nullable().optional(),
-  keyObservation: z.string().default(''),
-  status: ReviewDecisionStatusSchema
-});
-
-const RuntimeFailureOwnershipSchema = z.object({
-  failure: z.string().min(1),
-  classification: z.enum(['in-branch', 'pre-existing', 'environment', 'ambiguous']),
-  touchedByDiff: z.boolean().optional(),
-  evidence: z.string().default(''),
-  action: z.string().default(''),
-  status: z.string().default('open')
-});
-
-const ReportRuntimeSchema = z.object({
-  status: ReviewDecisionStatusSchema.default('skipped'),
-  failureOwnership: z.array(RuntimeFailureOwnershipSchema).default([])
-}).default({
-  status: 'skipped',
-  failureOwnership: []
-});
-
-const QaSchema = z.object({
-  status: ReviewDecisionStatusSchema.default('skipped'),
-  regressionProof: z.array(z.record(z.any())).default([]),
-  testQuality: z.array(z.record(z.any())).default([]),
-  coverageAudit: z.object({
-    status: ReviewDecisionStatusSchema.default('skipped'),
-    coveragePct: z.number().nullable().default(null),
-    pathMap: z.array(z.string()).default([]),
-    gaps: z.array(z.string()).default([]),
-    testsAdded: z.array(z.string()).default([]),
-    e2eRequired: z.boolean().default(false),
-    evalRequired: z.boolean().default(false),
-    qualityStars: z.string().default('')
-  }).default({
-    status: 'skipped',
-    coveragePct: null,
-    pathMap: [],
-    gaps: [],
-    testsAdded: [],
-    e2eRequired: false,
-    evalRequired: false,
-    qualityStars: ''
-  }),
-  browserEvidence: z.object({
-    status: ReviewDecisionStatusSchema.default('skipped'),
-    mode: z.string().default('not-applicable'),
-    affectedRoutes: z.array(z.string()).default([]),
-    screenshots: z.array(z.string()).default([]),
-    consoleErrors: z.array(z.string()).default([]),
-    healthScore: z.number().nullable().default(null),
-    issues: z.array(z.record(z.any())).default([]),
-    skipReason: z.string().default('')
-  }).default({
-    status: 'skipped',
-    mode: 'not-applicable',
-    affectedRoutes: [],
-    screenshots: [],
-    consoleErrors: [],
-    healthScore: null,
-    issues: [],
-    skipReason: ''
-  }),
-  tddException: z.string().nullable().default(null)
-}).default({
-  status: 'skipped',
-  regressionProof: [],
-  testQuality: [],
-  coverageAudit: {
-    status: 'skipped',
-    coveragePct: null,
-    pathMap: [],
-    gaps: [],
-    testsAdded: [],
-    e2eRequired: false,
-    evalRequired: false,
-    qualityStars: ''
-  },
-  browserEvidence: {
-    status: 'skipped',
-    mode: 'not-applicable',
-    affectedRoutes: [],
-    screenshots: [],
-    consoleErrors: [],
-    healthScore: null,
-    issues: [],
-    skipReason: ''
-  },
-  tddException: null
-});
-
-const ReportCardSchema = z.object({
-  changeId: ChangeIdSchema,
-  verdict: z.enum(['pass', 'fail', 'blocked']).optional(),
-  overall: z.enum(['pass', 'fail']),
-  summary: z.string().default(''),
-  specAlignment: z.enum(['pass', 'fail', 'blocked']).default('blocked'),
-  specDeltaVerified: z.boolean().default(false),
-  specSyncReady: z.boolean().default(false),
-  runtime: ReportRuntimeSchema,
-  claimEvidence: z.array(ClaimEvidenceSchema).default([]),
-  qa: QaSchema,
-  quickGates: z.array(GateResultSchema),
-  strictGates: z.array(GateResultSchema),
-  review: ReportReviewSchema,
-  blockingFindings: z.array(z.string()),
-  gaps: z.array(z.string()).default([]),
-  reroute: z.enum(['none', 'cc-do', 'cc-investigate', 'cc-plan']).default('none'),
-  timestamp: z.string().datetime()
-});
-
-/* ============================================================
- *  Review-ledger event schemas (REQ-003 minimize-workflow-artifacts)
- *  Source: devflow/changes/REQ-003-minimize-workflow-artifacts/
- *  planning/design.md §Interface & Data Contract
- * ============================================================ */
-
-const REVIEW_LEDGER_SCHEMA = z.literal('review-ledger.v2');
-const REVIEW_FINDINGS_SCHEMA = z.literal('review-findings.v2');
-const ReviewLedgerRouteSchema = z.enum(['cc-do', 'cc-check', 'cc-plan', 'cc-act', 'no-op']);
-const ReviewLedgerModeSchema = z.enum(['plan', 'implementation', 'mixed']);
-const ReviewLedgerSeveritySchema = z.enum(['critical', 'important', 'advisory']);
-const ReviewLedgerDisplayTierSchema = z.enum(['blocking', 'warning', 'info', 'suppressed']);
-const ReviewLedgerFreshnessStatusSchema = z.enum(['fresh', 'stale', 'unknown']);
-const ReviewLedgerSummaryStatusSchema = z.enum(['clean', 'findings', 'blocked']);
-
-const reviewLedgerEventCommon = {
-  schema: REVIEW_LEDGER_SCHEMA,
-  change: z.string().min(1),
-  reviewId: z.string().min(1),
-  createdAt: z.string().datetime(),
-  createdBy: z.string().min(1)
-};
-
-const ReviewLedgerStartedEventSchema = z.object({
-  ...reviewLedgerEventCommon,
-  event: z.literal('review-started'),
-  mode: ReviewLedgerModeSchema,
-  scope: z.string().min(1),
-  baseSha: z.string().min(1),
-  headSha: z.string().min(1),
-  selectedNodes: z.array(z.string().min(1)).default([]),
-  skippedNodes: z.array(z.object({
-    node: z.string().min(1),
-    reason: z.string().default('')
-  })).default([]),
-  riskLanes: z.array(z.string().min(1)).default([])
-});
-
-const ReviewLedgerNodeCheckedEventSchema = z.object({
-  ...reviewLedgerEventCommon,
-  event: z.literal('review-node-checked'),
-  nodeId: z.string().min(1),
-  mode: ReviewLedgerModeSchema,
-  target: z.string().min(1),
-  status: z.enum(['checked', 'skipped', 'blocked']),
-  coverage: z.array(z.string().min(1)).default([]),
-  evidenceRefs: z.array(z.string().min(1)).default([]),
-  findings: z.array(z.string().min(1)).default([]),
-  next: ReviewLedgerRouteSchema
-});
-
-const ReviewLedgerFindingAddedEventSchema = z.object({
-  ...reviewLedgerEventCommon,
-  event: z.literal('review-finding-added'),
-  findingId: z.string().min(1),
-  severity: ReviewLedgerSeveritySchema,
-  confidence: z.number().min(0).max(10),
-  displayTier: ReviewLedgerDisplayTierSchema,
-  fingerprint: z.string().min(1),
-  scope: z.string().min(1),
-  path: z.string().min(1),
-  evidence: z.string().min(1),
-  recommendation: z.string().min(1),
-  route: ReviewLedgerRouteSchema
-});
-
-const ReviewLedgerClosedEventSchema = z.object({
-  ...reviewLedgerEventCommon,
-  event: z.literal('review-closed'),
-  status: ReviewLedgerSummaryStatusSchema,
-  blockingCount: z.number().int().min(0),
-  warningCount: z.number().int().min(0),
-  next: ReviewLedgerRouteSchema
-});
-
-const ReviewLedgerEventSchema = z.discriminatedUnion('event', [
-  ReviewLedgerStartedEventSchema,
-  ReviewLedgerNodeCheckedEventSchema,
-  ReviewLedgerFindingAddedEventSchema,
-  ReviewLedgerClosedEventSchema
-]);
-
-const ReviewLedgerFindingEntrySchema = z.object({
-  id: z.string().min(1),
-  severity: ReviewLedgerSeveritySchema,
-  confidence: z.number().min(0).max(10),
-  displayTier: ReviewLedgerDisplayTierSchema,
-  fingerprint: z.string().min(1),
-  scope: z.string().min(1),
-  path: z.string().min(1),
-  evidence: z.string().min(1),
-  recommendation: z.string().min(1),
-  route: ReviewLedgerRouteSchema
-});
-
-const ReviewFindingsDocSchema = z.object({
-  schema: REVIEW_FINDINGS_SCHEMA,
-  change: z.string().min(1),
-  reviewId: z.string().min(1),
-  headSha: z.string().min(1),
-  freshness: z.object({
-    status: ReviewLedgerFreshnessStatusSchema,
-    reviewedCommit: z.string().min(1),
-    currentCommit: z.string().min(1),
-    commitsSinceReview: z.number().int().min(0)
-  }),
-  summary: z.object({
-    status: ReviewLedgerSummaryStatusSchema,
-    blockingCount: z.number().int().min(0),
-    warningCount: z.number().int().min(0),
-    next: ReviewLedgerRouteSchema
-  }),
-  findings: z.array(ReviewLedgerFindingEntrySchema).default([])
-});
-
-function parseWithSchema(schema, input, label) {
-  const parsed = schema.safeParse(input);
-  if (parsed.success) {
-    return parsed.data;
-  }
-
-  const issues = parsed.error.issues
-    .map((issue) => `${issue.path.join('.') || '<root>'}: ${issue.message}`)
-    .join('; ');
-  throw new Error(`${label} validation failed: ${issues}`);
-}
-
-function parseManifest(input) {
-  const manifest = parseWithSchema(ManifestSchema, input, 'Manifest');
-  delete manifest.activePhase;
-  return manifest;
-}
-
-function parseCheckpoint(input) {
-  return parseWithSchema(CheckpointSchema, input, 'Checkpoint');
-}
-
-function parseReportCard(input) {
-  return parseWithSchema(ReportCardSchema, input, 'ReportCard');
-}
-
-function parseRuntimeState(input) {
-  return parseWithSchema(RuntimeStateSchema, input, 'RuntimeState');
-}
-
-function parseReviewLedgerEvent(input) {
-  return parseWithSchema(ReviewLedgerEventSchema, input, 'ReviewLedgerEvent');
-}
-
-function parseReviewFindingsDoc(input) {
-  return parseWithSchema(ReviewFindingsDocSchema, input, 'ReviewFindingsDoc');
-}
-
-module.exports = {
-  ChangeIdSchema,
-  TaskSchema,
-  TaskStatusSchema,
-  RuntimeStatusSchema,
-  ApprovalStatusSchema,
-  ExecutionModeSchema,
-  RuntimeApprovalSchema,
-  RuntimeStateSchema,
-  ManifestSchema,
-  CheckpointSchema,
-  GateResultSchema,
-  ReviewDecisionStatusSchema,
-  ReviewFindingSchema,
-  ReviewerResultSchema,
-  ReviewSectionSchema,
-  ReportReviewSchema,
-  ReportCardSchema,
-  ReviewLedgerEventSchema,
-  ReviewLedgerStartedEventSchema,
-  ReviewLedgerNodeCheckedEventSchema,
-  ReviewLedgerFindingAddedEventSchema,
-  ReviewLedgerClosedEventSchema,
-  ReviewLedgerFindingEntrySchema,
-  ReviewFindingsDocSchema,
-  parseManifest,
-  parseCheckpoint,
-  parseReportCard,
-  parseRuntimeState,
-  parseReviewLedgerEvent,
-  parseReviewFindingsDoc
-};