okstra 0.146.0 → 0.147.0

package/runtime/schemas/final-report-v2.0.schema.json

@@ -0,0 +1,3923 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://okstra.dev/schemas/final-report-v2.0.json",
+  "title": "OKSTRA Final Report Data (v2.0)",
+  "description": "JSON SSOT for okstra final reports. Written by report-writer-worker in Phase 6, then consumed independently by the AI handoff Markdown renderer and the task-specific human HTML renderer.",
+  "type": "object",
+  "required": [
+    "schemaVersion",
+    "humanSummary",
+    "meta",
+    "frontmatter",
+    "header",
+    "verdictCard",
+    "rationale",
+    "summary",
+    "executionStatus",
+    "tokenUsage",
+    "crossVerification",
+    "finalVerdict",
+    "evidence",
+    "missingInformation",
+    "clarificationItems",
+    "recommendedNextSteps",
+    "followUpTasks"
+  ],
+  "additionalProperties": false,
+  "properties": {
+    "schemaVersion": {
+      "const": "2.0",
+      "description": "Schema version. Renderer refuses to process unknown versions."
+    },
+
+    "humanSummary": { "$ref": "#/$defs/HumanSummary" },
+
+    "meta": {
+      "type": "object",
+      "additionalProperties": true,
+      "required": ["reportLanguage"],
+      "properties": {
+        "reportLanguage": {
+          "type": "string",
+          "enum": ["en", "ko"],
+          "description": "Resolved language used for prose + i18n dictionary. 'auto' must be resolved to 'en' or 'ko' by the lead before the report-writer worker writes data.json."
+        }
+      }
+    },
+
+    "frontmatter": {
+      "type": "object",
+      "required": [
+        "title",
+        "id",
+        "tags",
+        "status",
+        "aliases",
+        "date",
+        "taskId",
+        "taskGroup",
+        "projectId",
+        "taskType",
+        "workerId",
+        "approved"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "title": { "type": "string", "minLength": 1 },
+        "id": { "type": "string", "minLength": 1 },
+        "tags": {
+          "type": "array",
+          "items": { "type": "string" },
+          "minItems": 1
+        },
+        "status": { "enum": ["in-progress", "completed", "draft"] },
+        "aliases": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "date": {
+          "type": "string",
+          "description": "ISO 8601 date or datetime. Renderer emits verbatim."
+        },
+        "taskId": { "type": "string", "minLength": 1 },
+        "taskGroup": { "type": "string", "minLength": 1 },
+        "projectId": { "type": "string", "minLength": 1 },
+        "taskType": { "$ref": "#/$defs/TaskType" },
+        "workerId": { "const": "report-writer" },
+        "approved": {
+          "type": "boolean",
+          "description": "사용자 승인 플래그. report-writer 는 항상 false 로 발행하고, 사용자가 `--approve` 또는 직접 편집으로 true 로 토글합니다. `implementation` task-type 의 prepare 단계가 `--approved-plan` 으로 지정된 보고서의 이 필드를 읽어 진입 여부를 결정합니다. 다른 task-type 에서는 의미 없이 false 로 유지됩니다."
+        },
+        "implementationOption": {
+          "type": "string",
+          "description": "유저가 implementation-planning final-report 에서 고른 Option Candidate 이름. report-writer 는 항상 빈 문자열로 발행하고, 사용자가 `--implementation-option <name>` 또는 직접 편집으로 채웁니다. `implementation` task-type 이 이 값으로 진행하며, 비어 있으면 plan 의 `Recommended Option` 으로 폴백합니다. 다른 task-type 에서는 의미 없이 빈 값으로 유지됩니다."
+        }
+      }
+    },
+
+    "header": {
+      "type": "object",
+      "required": [
+        "taskKey",
+        "createdAt",
+        "taskType",
+        "reportOwner",
+        "reportAuthor",
+        "leadModel",
+        "okstraVersion"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "taskKey": { "type": "string", "minLength": 1 },
+        "createdAt": { "type": "string", "minLength": 1 },
+        "taskType": { "$ref": "#/$defs/TaskType" },
+        "reportOwner": { "const": "Claude lead" },
+        "reportAuthor": {
+          "enum": ["Report writer worker", "Claude lead"],
+          "description": "Lead-authored fallback is only valid for release-handoff or recorded report-writer dispatch failure."
+        },
+        "leadModel": { "type": "string", "minLength": 1 },
+        "okstraVersion": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "verificationScope": { "enum": ["whole-task", "single-stage"] },
+
+    "clarificationCarryIn": {
+      "type": "object",
+      "description": "RENDER_IF non-empty. Carry-in clarifications from the previous run.",
+      "required": ["sourceFile"],
+      "additionalProperties": false,
+      "properties": {
+        "sourceFile": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Project-relative path to the prior run's clarification-response sidecar."
+        }
+      }
+    },
+
+    "verdictCard": {
+      "type": "object",
+      "description": "Top-of-report at-a-glance card. Values MUST byte-match finalVerdict and recommendedNextSteps[0]; renderer fills both from this data structure so divergence is impossible.",
+      "required": [
+        "finalConclusion",
+        "verdictToken",
+        "direction",
+        "approvalRequired",
+        "nextStep"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "finalConclusion": { "type": "string", "minLength": 1, "description": "Conclusion SSOT for the whole report: at most 3 sentences. Other prose blocks reference this instead of restating it." },
+        "verdictToken": { "$ref": "#/$defs/VerdictToken" },
+        "direction": { "$ref": "#/$defs/Direction" },
+        "approvalRequired": { "type": "boolean" },
+        "nextStep": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "rationale": {
+      "type": "object",
+      "description": "## 작업 배경과 근거 — reviewer-facing narrative answering the four questions in order. Each field is prose (not a table) and MUST carry at least one evidence reference (path:line, a report ID such as C-001/F-013/§5.4, or another cited source) OR an explicit insufficiency marker (e.g. '근거 불충분'). validate-run.py fails a field with neither. Required for every task-type. Prose budget: at most 2 sentences per field; reference verdictCard.finalConclusion and row IDs instead of restating them.",
+      "required": ["motivation", "problem", "approach", "justification"],
+      "additionalProperties": false,
+      "properties": {
+        "motivation": { "type": "string", "minLength": 1, "description": "왜 이 작업을 하는가 — 목표·맥락. ≤2 sentences." },
+        "problem": { "type": "string", "minLength": 1, "description": "왜 이게 문제인가 — 현재 상태의 결함을 증거로. ≤2 sentences." },
+        "approach": { "type": "string", "minLength": 1, "description": "그래서 어떤 작업이 필요한가 — 택한 방향. ≤2 sentences." },
+        "justification": { "type": "string", "minLength": 1, "description": "왜 이게 합리적 선택인가 — 대안 대비 근거. ≤2 sentences." }
+      }
+    },
+
+    "summary": {
+      "type": "array",
+      "description": "## Summary of the Problem or Verification Target. 3-5 rows.",
+      "minItems": 1,
+      "maxItems": 8,
+      "items": { "$ref": "#/$defs/SummaryRow" }
+    },
+
+    "ticketCoverage": {
+      "oneOf": [
+        {
+          "type": "object",
+          "description": "Single-ticket run: one-line `- Single ticket run: <ticket>`.",
+          "required": ["singleTicket"],
+          "additionalProperties": false,
+          "properties": {
+            "singleTicket": { "type": "string", "minLength": 1 }
+          }
+        },
+        {
+          "type": "object",
+          "description": "Multi-ticket run: reverse index table.",
+          "required": ["rows"],
+          "additionalProperties": false,
+          "properties": {
+            "rows": {
+              "type": "array",
+              "minItems": 1,
+              "items": { "$ref": "#/$defs/TicketCoverageRow" }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "description": "Omit Ticket Coverage entirely (release-handoff / final-verification).",
+          "required": ["omit"],
+          "additionalProperties": false,
+          "properties": {
+            "omit": { "const": true }
+          }
+        }
+      ]
+    },
+
+    "executionStatus": {
+      "type": "array",
+      "description": "## Execution Status by Agent. One row per worker incl. lead. Token cells stay null until Phase 7 token-usage step fills them.",
+      "minItems": 1,
+      "items": { "$ref": "#/$defs/ExecutionStatusRow" }
+    },
+
+    "tokenUsage": {
+      "type": "object",
+      "description": "## Token Usage Summary. All numeric cells are null in Phase 6 and filled by Phase 7 token-usage step.",
+      "required": ["lead", "worker", "grand", "cli"],
+      "additionalProperties": false,
+      "properties": {
+        "lead": { "$ref": "#/$defs/TokenUsageRow" },
+        "worker": { "$ref": "#/$defs/TokenUsageRow" },
+        "grand": { "$ref": "#/$defs/TokenUsageRow" },
+        "workerDetails": {
+          "type": "array",
+          "description": "Optional Phase 7 expansion rows rendered under the Worker subtotal.",
+          "items": { "$ref": "#/$defs/TokenUsageWorkerDetailRow" }
+        },
+        "cli": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["costUsd"],
+          "properties": {
+            "costUsd": {
+              "oneOf": [
+                { "type": "number", "minimum": 0 },
+                { "type": "null" }
+              ]
+            }
+          }
+        }
+      }
+    },
+
+    "crossVerification": {
+      "type": "object",
+      "required": ["consensus", "differences"],
+      "additionalProperties": false,
+      "properties": {
+        "roundHistory": {
+          "oneOf": [
+            {
+              "type": "object",
+              "description": "Convergence-enabled run.",
+              "required": ["rounds", "round2SkippedReason"],
+              "additionalProperties": false,
+              "properties": {
+                "rounds": {
+                  "type": "array",
+                  "items": { "$ref": "#/$defs/RoundHistoryRow" }
+                },
+                "round2SkippedReason": {
+                  "enum": [
+                    "queue-empty",
+                    "max-rounds-1",
+                    "all-reverify-non-result",
+                    "not-skipped",
+                    "convergence-disabled",
+                    "single-analyser-only"
+                  ]
+                }
+              }
+            },
+            {
+              "type": "object",
+              "description": "Convergence disabled (omit the sub-table entirely).",
+              "required": ["disabled"],
+              "additionalProperties": false,
+              "properties": {
+                "disabled": { "const": true }
+              }
+            }
+          ]
+        },
+        "criticGaps": {
+          "type": "object",
+          "description": "Coverage-critic gap accounting. `proposed - merged - unverified` is the count the voters judged and rejected, so a gap that vanished shows up as a mismatch instead of as nothing. Every `unverified` gap needs a matching `missingInformation` row with source `critic-unverified` (prompts/lead/convergence.md \"Gap verification\").",
+          "required": ["proposed", "merged", "unverified"],
+          "additionalProperties": false,
+          "properties": {
+            "proposed": { "type": "integer", "minimum": 0 },
+            "merged": { "type": "integer", "minimum": 0 },
+            "unverified": { "type": "integer", "minimum": 0 }
+          }
+        },
+        "consensus": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ConsensusRow" }
+        },
+        "differences": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/DifferenceRow" }
+        }
+      }
+    },
+
+    "finalVerdict": {
+      "type": "object",
+      "required": [
+        "finalConclusion",
+        "verdictToken",
+        "direction",
+        "rationaleRowIds",
+        "nextStep"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "finalConclusion": { "type": "string", "minLength": 1 },
+        "verdictToken": { "$ref": "#/$defs/VerdictToken" },
+        "direction": { "$ref": "#/$defs/Direction" },
+        "rationaleRowIds": {
+          "type": "array",
+          "items": { "type": "string" },
+          "minItems": 1
+        },
+        "nextStep": { "type": "string", "minLength": 1 },
+        "conditionalAcceptanceConditions": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ConditionalAcceptanceConditionRow" }
+        }
+      }
+    },
+
+    "evidence": {
+      "type": "object",
+      "required": ["primary"],
+      "additionalProperties": false,
+      "properties": {
+        "primary": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/PrimaryEvidenceRow" }
+        },
+        "secondary": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/SecondaryEvidenceRow" }
+        }
+      }
+    },
+
+    "endStateCoverage": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/EndStateCoverageRow" },
+      "description": "One row per brief end-state id. Optional at the schema layer; validate-run.py requires it when the run's brief carries the end-state sections."
+    },
+
+    "missingInformation": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/RiskRow" }
+    },
+
+    "requirementsDiscovery": { "$ref": "#/$defs/RequirementsDiscovery" },
+
+    "improvementDiscovery": { "$ref": "#/$defs/ImprovementDiscovery" },
+
+    "errorAnalysis": { "$ref": "#/$defs/ErrorAnalysis" },
+
+    "analysisCommon": {
+      "$ref": "#/$defs/AnalysisCommon"
+    },
+
+    "projectAnalysis": {
+      "$ref": "#/$defs/ProjectAnalysis"
+    },
+
+    "featureAnalysis": {
+      "$ref": "#/$defs/FeatureAnalysis"
+    },
+
+    "changeImpactAnalysis": {
+      "$ref": "#/$defs/ChangeImpactAnalysis"
+    },
+
+    "implementationPlanning": {
+      "type": "object",
+      "description": "RENDER_IF taskType == implementation-planning. §5.5 deliverables.",
+      "required": [
+        "optionCandidates",
+        "tradeoffMatrix",
+        "recommendedOption",
+        "stageMap",
+        "stages",
+        "dependencyMigrationRisk",
+        "validationChecklist",
+        "rollbackStrategy",
+        "requirementCoverage",
+        "planBodyVerification",
+        "crossProjectDependencies",
+        "decisionDrafts",
+        "skippedAdrCandidates",
+        "variationPointAnalysis",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "optionCandidates": {
+          "type": "array",
+          "minItems": 2,
+          "items": { "$ref": "#/$defs/OptionCandidate" }
+        },
+        "tradeoffMatrix": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/TradeoffRow" }
+        },
+        "recommendedOption": { "$ref": "#/$defs/RecommendedOption" },
+        "userNarrative": { "$ref": "#/$defs/PlanningUserNarrative" },
+        "stageMap": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/StageMapRow" }
+        },
+        "stages": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/ImplementationPlanStage" }
+        },
+        "designPreparation": { "$ref": "#/$defs/DesignPreparation" },
+        "variationPointAnalysis": { "$ref": "#/$defs/VariationPointAnalysis" },
+        "stepwiseExecution": {
+          "description": "Legacy flat summary kept for compatibility only. New reports use stageMap/stages.",
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/StepRow" }
+        },
+        "dependencyMigrationRisk": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/DependencyRow" }
+        },
+        "validationChecklist": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/ValidationCheckRow" }
+        },
+        "rollbackStrategy": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/RollbackRow" }
+        },
+        "requirementCoverage": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/ImplementationRequirementCoverageRow" }
+        },
+        "planBodyVerification": { "$ref": "#/$defs/PlanBodyVerification" },
+        "supersessionLedger": {
+          "type": "array",
+          "description": "One entry per clarification this run answered, recording which plan statements the answer invalidated. Incorporating an answer by adding the new decision while leaving the contradicting sentence in place is what produces two opposite instructions for the same symbol in one plan.",
+          "items": { "$ref": "#/$defs/SupersessionEntry" }
+        },
+        "crossProjectDependencies": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/CrossProjectDependency" }
+        },
+        "decisionDrafts": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/DecisionDraft" }
+        },
+        "skippedAdrCandidates": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/SkippedAdrCandidate" }
+        },
+        "incrementalDecision": {
+          "type": "object",
+          "description": "Verbatim `okstra incremental-scope` output for a clarification re-run. Present only when this implementation-planning run scoped itself against a prior run; drives the Section 0 incremental audit block.",
+          "required": ["mode", "reverifyStages", "carryStages", "reason"],
+          "additionalProperties": false,
+          "properties": {
+            "mode": { "type": "string", "enum": ["incremental", "full"] },
+            "reverifyStages": {
+              "type": "array",
+              "items": { "type": "integer" }
+            },
+            "carryStages": {
+              "type": "array",
+              "items": { "type": "integer" }
+            },
+            "reason": { "type": "string", "minLength": 1 }
+          }
+        }
+      }
+    },
+
+    "releaseHandoff": {
+      "type": "object",
+      "description": "RENDER_IF taskType == release-handoff. §5.6 deliverables.",
+      "required": [
+        "sourceVerificationReport",
+        "featureBranchState",
+        "userSelections",
+        "executedCommands",
+        "commitList",
+        "mergeConflictProbe",
+        "pullRequestOutcome",
+        "routingRecommendation",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "sourceVerificationReport": {
+          "type": "object",
+          "required": ["path", "verdictTokenQuote"],
+          "additionalProperties": false,
+          "properties": {
+            "path": { "type": "string", "minLength": 1 },
+            "verdictTokenQuote": { "type": "string", "minLength": 1 }
+          }
+        },
+        "featureBranchState": {
+          "type": "object",
+          "required": ["branchName", "gitStatusShort", "existingPrUrl"],
+          "additionalProperties": false,
+          "properties": {
+            "branchName": { "type": "string", "minLength": 1 },
+            "gitStatusShort": { "type": "string" },
+            "existingPrUrl": { "type": "string" }
+          }
+        },
+        "userSelections": {
+          "type": "object",
+          "required": ["h1", "h2b", "h3"],
+          "additionalProperties": false,
+          "properties": {
+            "h1": { "enum": ["local checkout", "push + PR", "skip"] },
+            "h1c": { "type": "string" },
+            "h2": { "type": "string" },
+            "h2b": {
+              "enum": ["not-run", "clean", "proceed anyway", "change base branch", "cancel"]
+            },
+            "h3": { "enum": ["use as-is", "edit then proceed", "cancel"] }
+          }
+        },
+        "executedCommands": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ExecutedCommandRow" }
+        },
+        "commitList": {
+          "oneOf": [
+            {
+              "type": "array",
+              "items": { "$ref": "#/$defs/CommitRow" }
+            },
+            {
+              "type": "object",
+              "required": ["empty"],
+              "additionalProperties": false,
+              "properties": { "empty": { "const": true } }
+            }
+          ]
+        },
+        "mergeConflictProbe": {
+          "type": "object",
+          "required": ["kind"],
+          "additionalProperties": false,
+          "properties": {
+            "kind": {
+              "enum": ["not-run", "clean", "conflicts"]
+            },
+            "baseBranch": { "type": "string" },
+            "baseSha": { "type": "string" },
+            "userChoice": { "type": "string" },
+            "conflictingPaths": {
+              "type": "array",
+              "items": { "type": "string" }
+            }
+          }
+        },
+        "pullRequestOutcome": {
+          "type": "object",
+          "required": ["kind"],
+          "additionalProperties": false,
+          "properties": {
+            "kind": {
+              "enum": ["no-action", "created", "reused", "skipped"]
+            },
+            "url": { "type": "string" },
+            "title": { "type": "string" },
+            "baseBranch": { "type": "string" },
+            "reason": { "type": "string" }
+          }
+        },
+        "routingRecommendation": { "type": "string", "minLength": 1 },
+        "userNarrative": { "$ref": "#/$defs/ReleaseHandoffUserNarrative" }
+      }
+    },
+
+    "implementation": {
+      "type": "object",
+      "description": "RENDER_IF taskType == implementation. §5.7 deliverables.",
+      "required": [
+        "approvedPlanReference",
+        "commitList",
+        "diffSummary",
+        "outOfPlanEdits",
+        "stageSidecarEvidence",
+        "validationEvidence",
+        "verifierResults",
+        "rollbackVerification",
+        "manualUserTest",
+        "requirementCoverage",
+        "routingRecommendation",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "approvedPlanReference": {
+          "type": "object",
+          "required": ["planFile", "approvalEvidence", "executorWorktreePath", "baseRefSha"],
+          "additionalProperties": false,
+          "properties": {
+            "planFile": { "type": "string", "minLength": 1 },
+            "approvalEvidence": { "type": "string", "minLength": 1 },
+            "executorWorktreePath": { "type": "string", "minLength": 1 },
+            "baseRefSha": { "type": "string", "minLength": 1 }
+          }
+        },
+        "commitList": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/CommitWithStepRow" }
+        },
+        "diffSummary": {
+          "type": "object",
+          "required": ["rawStat", "files"],
+          "additionalProperties": false,
+          "properties": {
+            "rawStat": { "type": "string" },
+            "files": {
+              "type": "array",
+              "items": { "$ref": "#/$defs/DiffFileRow" }
+            }
+          },
+          "$comment": "rawStat(git diff --stat 원문)이 비어있지 않으면(=변경 있음) files 표는 최소 1행이어야 한다. 변경을 stat 으로는 보고하면서 files 표를 비워 미선언-surface conformance 게이트를 우회하는 fail-open(SUSP-1)을 차단. 0파일 변경은 rawStat 이 빈 문자열이라 허용된다.",
+          "if": { "required": ["rawStat"], "properties": { "rawStat": { "minLength": 1 } } },
+          "then": { "properties": { "files": { "minItems": 1 } } }
+        },
+        "outOfPlanEdits": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/OutOfPlanEditRow" }
+        },
+        "stageSidecarEvidence": { "$ref": "#/$defs/StageSidecarEvidence" },
+        "validationEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/ValidationEvidenceRow" }
+        },
+        "verifierResults": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/VerifierResultBlock" }
+        },
+        "rollbackVerification": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/RollbackVerificationRow" }
+        },
+        "manualUserTest": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["applicable"],
+          "properties": {
+            "applicable": { "type": "boolean" },
+            "exemptionReason": { "type": "string" },
+            "items": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["target", "environmentSetup", "steps", "expectedResult"],
+                "properties": {
+                  "target": { "type": "string" },
+                  "environmentSetup": { "type": "string" },
+                  "steps": { "type": "array", "items": { "type": "string" } },
+                  "expectedResult": { "type": "string" }
+                }
+              }
+            }
+          }
+        },
+        "requirementCoverage": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/ImplementationRequirementCoverageRow" }
+        },
+        "routingRecommendation": { "type": "string", "minLength": 1 },
+        "userNarrative": { "$ref": "#/$defs/ImplementationUserNarrative" }
+      }
+    },
+
+    "finalVerification": {
+      "type": "object",
+      "description": "RENDER_IF taskType == final-verification. §5.8 deliverables.",
+      "required": [
+        "sourceImplementationReport",
+        "acceptanceBlockers",
+        "residualRisk",
+        "validationEvidence",
+        "readonlyCommandLog",
+        "manualUserTest",
+        "routingRecommendation",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "sourceImplementationReport": {
+          "type": "object",
+          "required": ["path", "commitListQuote", "diffSummaryQuote", "worktreePath", "implementationBaseRef", "capturedHeadSha", "gitStatusShort", "gitDiffStat"],
+          "additionalProperties": false,
+          "properties": {
+            "path": { "type": "string" },
+            "commitListQuote": { "type": "string" },
+            "diffSummaryQuote": { "type": "string" },
+            "worktreePath": { "type": "string" },
+            "implementationBaseRef": { "type": "string" },
+            "capturedHeadSha": { "type": "string" },
+            "gitStatusShort": { "type": "string" },
+            "gitDiffStat": { "type": "string" }
+          }
+        },
+        "stageReports": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["stage", "reportPath"],
+            "properties": {
+              "stage": { "type": "integer" },
+              "reportPath": { "type": "string" }
+            }
+          }
+        },
+        "acceptanceBlockers": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AcceptanceBlockerRow" }
+        },
+        "residualRisk": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ResidualRiskRow" }
+        },
+        "validationEvidence": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/RequirementCoverageRow" }
+        },
+        "readonlyCommandLog": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ReadonlyCommandRow" }
+        },
+        "manualUserTest": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["applicable"],
+          "properties": {
+            "applicable": { "type": "boolean" },
+            "exemptionReaffirm": { "type": "string" },
+            "results": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["target", "performed", "result", "observed"],
+                "properties": {
+                  "target": { "type": "string" },
+                  "performed": { "type": "string" },
+                  "result": { "enum": ["pass", "fail", "blocked"] },
+                  "observed": { "type": "string" }
+                }
+              }
+            }
+          }
+        },
+        "routingRecommendation": { "type": "string", "minLength": 1 },
+        "userNarrative": { "$ref": "#/$defs/FinalVerificationUserNarrative" }
+      }
+    },
+
+    "fixCycle": {
+      "type": "object",
+      "description": "RENDER_IF fixCycle present — the post-release bug-fix cycle this run belongs to.",
+      "required": ["cycle", "targetReport", "symptom"],
+      "additionalProperties": false,
+      "properties": {
+        "cycle": { "type": "string", "pattern": "^fc-[0-9]{2,}$" },
+        "targetReport": { "type": "string" },
+        "symptom": { "type": "string" },
+        "runs": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["taskType", "runSeq"],
+            "additionalProperties": false,
+            "properties": {
+              "taskType": { "type": "string" },
+              "runSeq": { "type": "integer" },
+              "runManifest": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+
+    "clarificationItems": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/ClarificationRow" }
+    },
+
+    "recommendedNextSteps": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "$ref": "#/$defs/RecommendedStep" }
+    },
+
+    "followUpTasks": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/FollowUpRow" }
+    }
+  },
+
+  "allOf": [
+    {
+      "description": "requirements-discovery requires a structured requirements block.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "requirements-discovery" } } } },
+        "required": ["header"]
+      },
+      "then": { "required": ["requirementsDiscovery"] }
+    },
+    {
+      "description": "improvement-discovery requires a structured improvement block.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "improvement-discovery" } } } },
+        "required": ["header"]
+      },
+      "then": { "required": ["improvementDiscovery"] }
+    },
+    {
+      "description": "error-analysis task-type requires a structured diagnosis block.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "error-analysis" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["errorAnalysis"]
+      }
+    },
+    {
+      "description": "project-analysis requires analysisCommon and only projectAnalysis.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "project-analysis" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["analysisCommon", "projectAnalysis"],
+        "allOf": [
+          { "not": { "required": ["featureAnalysis"] } },
+          { "not": { "required": ["changeImpactAnalysis"] } }
+        ]
+      }
+    },
+    {
+      "description": "feature-analysis requires analysisCommon and only featureAnalysis.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "feature-analysis" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["analysisCommon", "featureAnalysis"],
+        "allOf": [
+          { "not": { "required": ["projectAnalysis"] } },
+          { "not": { "required": ["changeImpactAnalysis"] } }
+        ]
+      }
+    },
+    {
+      "description": "change-impact-analysis requires analysisCommon and only changeImpactAnalysis.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "change-impact-analysis" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["analysisCommon", "changeImpactAnalysis"],
+        "allOf": [
+          { "not": { "required": ["projectAnalysis"] } },
+          { "not": { "required": ["featureAnalysis"] } }
+        ]
+      }
+    },
+    {
+      "description": "implementation-planning task-type requires §5.5 block.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "implementation-planning" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["implementationPlanning"]
+      }
+    },
+    {
+      "description": "release-handoff task-type requires §5.6 block.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "release-handoff" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["releaseHandoff"]
+      }
+    },
+    {
+      "description": "implementation task-type requires §5.7 block.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "implementation" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["implementation"]
+      }
+    },
+    {
+      "description": "final-verification task-type requires §5.8 block.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "final-verification" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "required": ["finalVerification"]
+      }
+    },
+    {
+      "description": "Non-terminal task-types MUST emit one phase-continuation row in followUpTasks.",
+      "if": {
+        "properties": {
+          "header": {
+            "properties": {
+              "taskType": {
+                "enum": [
+                  "requirements-discovery",
+                  "project-analysis",
+                  "feature-analysis",
+                  "change-impact-analysis",
+                  "implementation-planning",
+                  "error-analysis",
+                  "implementation",
+                  "final-verification"
+                ]
+              }
+            }
+          }
+        },
+        "required": ["header"]
+      },
+      "then": {
+        "properties": {
+          "followUpTasks": {
+            "type": "array",
+            "minItems": 1,
+            "contains": {
+              "type": "object",
+              "properties": {
+                "origin": { "const": "phase-continuation" }
+              },
+              "required": ["origin"]
+            }
+          }
+        }
+      }
+    },
+    {
+      "description": "Analysis verdict tokens describe analysis completeness, not user acceptance.",
+      "if": {
+        "properties": {
+          "header": {
+            "properties": {
+              "taskType": {
+                "enum": [
+                  "project-analysis",
+                  "feature-analysis",
+                  "change-impact-analysis"
+                ]
+              }
+            }
+          }
+        },
+        "required": ["header"]
+      },
+      "then": {
+        "properties": {
+          "verdictCard": {
+            "properties": {
+              "verdictToken": {
+                "enum": ["analysis-complete", "analysis-partial", "blocked"]
+              }
+            }
+          },
+          "finalVerdict": {
+            "not": { "required": ["conditionalAcceptanceConditions"] },
+            "properties": {
+              "verdictToken": {
+                "enum": ["analysis-complete", "analysis-partial", "blocked"]
+              }
+            }
+          }
+        }
+      }
+    },
+    {
+      "description": "final-verification verdict token must be one of accepted / conditional-accept / blocked and must explicitly list conditional acceptance conditions.",
+      "if": {
+        "properties": { "header": { "properties": { "taskType": { "const": "final-verification" } } } },
+        "required": ["header"]
+      },
+      "then": {
+        "properties": {
+          "finalVerdict": {
+            "required": ["conditionalAcceptanceConditions"],
+            "properties": {
+              "verdictToken": { "enum": ["accepted", "conditional-accept", "blocked"] }
+            }
+          }
+        }
+      }
+    },
+    {
+      "description": "Non-analysis, non-final-verification verdict token must be `not-applicable`.",
+      "if": {
+        "properties": {
+          "header": {
+            "properties": {
+              "taskType": {
+                "enum": [
+                  "requirements-discovery",
+                  "error-analysis",
+                  "implementation-planning",
+                  "implementation",
+                  "release-handoff",
+                  "quick"
+                ]
+              }
+            }
+          }
+        },
+        "required": ["header"]
+      },
+      "then": {
+        "properties": {
+          "finalVerdict": {
+            "not": { "required": ["conditionalAcceptanceConditions"] },
+            "properties": {
+              "verdictToken": { "const": "not-applicable" }
+            }
+          }
+        }
+      }
+    }
+  ],
+
+  "oneOf": [
+    {
+      "required": ["requirementsDiscovery"],
+      "allOf": [
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["improvementDiscovery"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["errorAnalysis"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["projectAnalysis"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["featureAnalysis"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["changeImpactAnalysis"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["implementationPlanning"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["implementation"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["finalVerification"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["finalVerification"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["releaseHandoff"] } }
+      ]
+    },
+    {
+      "required": ["releaseHandoff"],
+      "allOf": [
+        { "not": { "required": ["requirementsDiscovery"] } },
+        { "not": { "required": ["improvementDiscovery"] } },
+        { "not": { "required": ["errorAnalysis"] } },
+        { "not": { "required": ["projectAnalysis"] } },
+        { "not": { "required": ["featureAnalysis"] } },
+        { "not": { "required": ["changeImpactAnalysis"] } },
+        { "not": { "required": ["implementationPlanning"] } },
+        { "not": { "required": ["implementation"] } },
+        { "not": { "required": ["finalVerification"] } }
+      ]
+    }
+  ],
+
+  "$defs": {
+    "TaskType": {
+      "enum": [
+        "requirements-discovery",
+        "improvement-discovery",
+        "error-analysis",
+        "project-analysis",
+        "feature-analysis",
+        "change-impact-analysis",
+        "implementation-planning",
+        "implementation",
+        "final-verification",
+        "release-handoff"
+      ]
+    },
+
+    "HumanSummary": {
+      "type": "object",
+      "required": ["headline", "outcome", "whyItMatters", "decisions", "actions", "blockers"],
+      "additionalProperties": false,
+      "properties": {
+        "headline": { "type": "string", "minLength": 1 },
+        "outcome": { "type": "string", "minLength": 1 },
+        "whyItMatters": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "decisions": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "actions": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "blockers": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "HumanNarrative": {
+      "type": "object",
+      "required": ["text", "evidenceRefs"],
+      "additionalProperties": false,
+      "properties": {
+        "text": { "type": "string", "minLength": 1 },
+        "evidenceRefs": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "ProjectUserNarrative": {
+      "type": "object",
+      "required": ["projectOverview", "architectureExplanation", "hotspotExplanation", "qualityExplanation"],
+      "additionalProperties": false,
+      "properties": {
+        "projectOverview": { "$ref": "#/$defs/HumanNarrative" },
+        "architectureExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "hotspotExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "qualityExplanation": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "RequirementsUserNarrative": {
+      "type": "object",
+      "required": ["requestUnderstanding", "confirmedRequirements", "unresolvedRequirements", "routingExplanation"],
+      "additionalProperties": false,
+      "properties": {
+        "requestUnderstanding": { "$ref": "#/$defs/HumanNarrative" },
+        "confirmedRequirements": { "$ref": "#/$defs/HumanNarrative" },
+        "unresolvedRequirements": { "$ref": "#/$defs/HumanNarrative" },
+        "routingExplanation": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "ImprovementUserNarrative": {
+      "type": "object",
+      "required": ["opportunityOverview", "prioritizationExplanation", "selectionGuidance"],
+      "additionalProperties": false,
+      "properties": {
+        "opportunityOverview": { "$ref": "#/$defs/HumanNarrative" },
+        "prioritizationExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "selectionGuidance": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "ErrorUserNarrative": {
+      "type": "object",
+      "required": ["symptomExplanation", "causeExplanation", "uncertaintyExplanation", "diagnosticGuidance"],
+      "additionalProperties": false,
+      "properties": {
+        "symptomExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "causeExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "uncertaintyExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "diagnosticGuidance": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "FeatureUserNarrative": {
+      "type": "object",
+      "required": ["userBehaviorExplanation", "flowExplanation", "rulesAndStateExplanation", "testGapExplanation"],
+      "additionalProperties": false,
+      "properties": {
+        "userBehaviorExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "flowExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "rulesAndStateExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "testGapExplanation": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "ChangeImpactUserNarrative": {
+      "type": "object",
+      "required": ["changeExplanation", "impactExplanation", "unaffectedExplanation", "planningReadiness"],
+      "additionalProperties": false,
+      "properties": {
+        "changeExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "impactExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "unaffectedExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "planningReadiness": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "PlanningUserNarrative": {
+      "type": "object",
+      "required": ["optionExplanation", "recommendationExplanation", "stageStrategy", "validationAndRollback"],
+      "additionalProperties": false,
+      "properties": {
+        "optionExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "recommendationExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "stageStrategy": { "$ref": "#/$defs/HumanNarrative" },
+        "validationAndRollback": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "ImplementationUserNarrative": {
+      "type": "object",
+      "required": ["deliveredOutcome", "changeExplanation", "validationExplanation", "remainingIssues"],
+      "additionalProperties": false,
+      "properties": {
+        "deliveredOutcome": { "$ref": "#/$defs/HumanNarrative" },
+        "changeExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "validationExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "remainingIssues": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "FinalVerificationUserNarrative": {
+      "type": "object",
+      "required": ["verdictExplanation", "coverageExplanation", "blockerExplanation", "releaseReadiness"],
+      "additionalProperties": false,
+      "properties": {
+        "verdictExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "coverageExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "blockerExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "releaseReadiness": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "ReleaseHandoffUserNarrative": {
+      "type": "object",
+      "required": ["handoffOutcome", "branchAndPrExplanation", "conflictExplanation", "nextAction"],
+      "additionalProperties": false,
+      "properties": {
+        "handoffOutcome": { "$ref": "#/$defs/HumanNarrative" },
+        "branchAndPrExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "conflictExplanation": { "$ref": "#/$defs/HumanNarrative" },
+        "nextAction": { "$ref": "#/$defs/HumanNarrative" }
+      }
+    },
+
+    "RequirementDiscoveryRow": {
+      "type": "object",
+      "required": ["id", "statement", "evidenceRefs"],
+      "additionalProperties": true,
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "statement": { "type": "string", "minLength": 1 },
+        "evidenceRefs": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } }
+      }
+    },
+
+    "RequirementsDiscovery": {
+      "type": "object",
+      "required": ["requestVerbatim", "systemInterpretation", "classification", "confirmedRequirements", "unresolvedRequirements", "routing", "taskDependencies", "userNarrative"],
+      "additionalProperties": false,
+      "properties": {
+        "requestVerbatim": { "type": "string", "minLength": 1 },
+        "systemInterpretation": { "type": "string", "minLength": 1 },
+        "classification": {
+          "type": "object",
+          "required": ["requestKind", "scope", "complexity"],
+          "additionalProperties": false,
+          "properties": {
+            "requestKind": { "type": "string", "minLength": 1 },
+            "scope": { "type": "string", "minLength": 1 },
+            "complexity": { "type": "string", "minLength": 1 }
+          }
+        },
+        "confirmedRequirements": { "type": "array", "items": { "$ref": "#/$defs/RequirementDiscoveryRow" } },
+        "unresolvedRequirements": { "type": "array", "items": { "$ref": "#/$defs/RequirementDiscoveryRow" } },
+        "routing": {
+          "type": "object",
+          "required": ["nextTaskType", "readyWhen", "rationale"],
+          "additionalProperties": false,
+          "properties": {
+            "nextTaskType": { "enum": ["error-analysis", "implementation-planning"] },
+            "readyWhen": { "type": "string", "minLength": 1 },
+            "rationale": { "type": "string", "minLength": 1 }
+          }
+        },
+        "taskDependencies": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["fromTaskKey", "toTaskKey", "relation", "evidenceRefs"],
+            "additionalProperties": false,
+            "properties": {
+              "fromTaskKey": { "type": "string", "minLength": 1 },
+              "toTaskKey": { "type": "string", "minLength": 1 },
+              "relation": { "type": "string", "minLength": 1 },
+              "evidenceRefs": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } }
+            }
+          }
+        },
+        "userNarrative": { "$ref": "#/$defs/RequirementsUserNarrative" }
+      }
+    },
+
+    "ImprovementCandidate": {
+      "type": "object",
+      "required": ["id", "lens", "title", "scope", "severity", "effort", "consensus", "sourceWorkers", "recommendedNextPhase", "expectedBehaviorAfter", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^I-[0-9]{3}$" },
+        "lens": { "type": "array", "minItems": 1, "maxItems": 2, "items": { "type": "string", "minLength": 1 } },
+        "title": { "type": "string", "minLength": 1 },
+        "scope": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } },
+        "severity": { "enum": ["high", "medium", "low"] },
+        "effort": { "enum": ["S", "M", "L", "XL"] },
+        "consensus": { "enum": ["full", "partial", "contested", "worker-unique"] },
+        "sourceWorkers": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } },
+        "recommendedNextPhase": { "enum": ["requirements-discovery", "implementation-planning", "error-analysis"] },
+        "expectedBehaviorAfter": { "type": "string", "minLength": 1 },
+        "evidence": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } }
+      }
+    },
+
+    "ImprovementDiscovery": {
+      "type": "object",
+      "required": ["candidates", "lensCoverage", "selectionLimit", "userNarrative"],
+      "additionalProperties": false,
+      "properties": {
+        "candidates": { "type": "array", "items": { "$ref": "#/$defs/ImprovementCandidate" } },
+        "lensCoverage": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "required": ["lens", "status", "rationale", "evidence"],
+            "additionalProperties": false,
+            "properties": {
+              "lens": { "type": "string", "minLength": 1 },
+              "status": { "enum": ["candidate-found", "no-candidate"] },
+              "rationale": { "type": "string", "minLength": 1 },
+              "evidence": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } }
+            }
+          }
+        },
+        "selectionLimit": { "type": "integer", "minimum": 1 },
+        "userNarrative": { "$ref": "#/$defs/ImprovementUserNarrative" }
+      }
+    },
+
+    "VerdictToken": {
+      "enum": [
+        "accepted",
+        "conditional-accept",
+        "analysis-complete",
+        "analysis-partial",
+        "blocked",
+        "not-applicable"
+      ]
+    },
+
+    "Direction": {
+      "enum": [
+        "continue-investigation",
+        "begin-planning",
+        "begin-implementation",
+        "approve",
+        "reject",
+        "hold"
+      ]
+    },
+
+    "ErrorAnalysis": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "symptomVerbatim",
+        "observableFailure",
+        "reproduction",
+        "causeCandidates",
+        "nextDiagnostic",
+        "routing",
+        "userNarrative"
+      ],
+      "properties": {
+        "symptomVerbatim": { "type": "string" },
+        "userNarrative": { "$ref": "#/$defs/ErrorUserNarrative" },
+        "observableFailure": { "type": "string" },
+        "reproduction": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["status", "evidence", "blockedReason"],
+          "properties": {
+            "status": {
+              "enum": ["reproduced", "not-reproduced", "blocked-before-repro"]
+            },
+            "evidence": {
+              "type": "array",
+              "minItems": 1,
+              "items": { "type": "string" }
+            },
+            "blockedReason": { "type": "string" }
+          }
+        },
+        "causeCandidates": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "id",
+              "statement",
+              "supportingEvidence",
+              "falsifyingEvidenceChecked",
+              "confidence",
+              "disproveWith"
+            ],
+            "properties": {
+              "id": { "type": "string", "pattern": "^EA-\\d{3,}$" },
+              "statement": { "type": "string" },
+              "supportingEvidence": {
+                "type": "array",
+                "minItems": 1,
+                "items": { "type": "string" }
+              },
+              "falsifyingEvidenceChecked": {
+                "type": "array",
+                "minItems": 1,
+                "items": { "type": "string" }
+              },
+              "confidence": { "enum": ["low", "medium", "high"] },
+              "disproveWith": { "type": "string", "minLength": 1 }
+            }
+          }
+        },
+        "nextDiagnostic": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["action", "confirmingSignal", "rejectingSignal"],
+          "properties": {
+            "action": { "type": "string", "minLength": 1 },
+            "confirmingSignal": { "type": "string", "minLength": 1 },
+            "rejectingSignal": { "type": "string", "minLength": 1 }
+          }
+        },
+        "routing": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["nextTaskType", "leadingCauseId", "rationale"],
+          "properties": {
+            "nextTaskType": {
+              "enum": ["error-analysis", "implementation-planning"]
+            },
+            "leadingCauseId": { "type": "string" },
+            "rationale": { "type": "string", "minLength": 1 }
+          }
+        }
+      }
+    },
+
+    "TicketId": {
+      "type": "string",
+      "minLength": 1,
+      "description": "Ticket key (external) or task-fallback (task-id verbatim) or literal `unknown` when truly unidentified. Empty string is never valid."
+    },
+
+    "Priority": {
+      "enum": ["P0", "P1", "P2"]
+    },
+
+    "FollowUpOrigin": {
+      "enum": [
+        "phase-continuation",
+        "out-of-plan",
+        "verifier-concern",
+        "scope-boundary",
+        "open-question",
+        "manual"
+      ]
+    },
+
+    "ClarificationKind": {
+      "enum": ["material", "decision", "data-point"]
+    },
+
+    "ClarificationBlocks": {
+      "enum": ["approval", "next-phase", "none"]
+    },
+
+    "ClarificationStatus": {
+      "enum": ["open", "answered", "resolved", "obsolete"]
+    },
+
+    "WorkerStatus": {
+      "enum": ["completed", "error", "timeout", "not-run", "synthesis-only"]
+    },
+
+    "CurrentCodeEvidence": {
+      "type": "object",
+      "required": ["path", "line", "claim"],
+      "additionalProperties": false,
+      "properties": {
+        "path": { "type": "string", "minLength": 1 },
+        "line": { "type": "integer", "minimum": 1 },
+        "claim": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "AnalysisEvidenceInput": {
+      "type": "object",
+      "required": [
+        "taskKey",
+        "taskType",
+        "reportPath",
+        "runSeq",
+        "sourceCommit",
+        "relation",
+        "freshness",
+        "reviewStatus"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "taskKey": { "type": "string", "minLength": 1 },
+        "taskType": { "enum": ["project-analysis", "feature-analysis"] },
+        "reportPath": { "type": "string", "minLength": 1 },
+        "runSeq": { "type": "string", "pattern": "^[0-9]{3}$" },
+        "sourceCommit": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
+        "relation": { "enum": ["project-context", "feature-baseline"] },
+        "freshness": { "enum": ["exact", "stale"] },
+        "reviewStatus": { "enum": ["accepted", "user-unverified"] }
+      }
+    },
+
+    "AnalysisRepresentativeEntryPoint": {
+      "type": "object",
+      "required": ["path", "symbol"],
+      "additionalProperties": false,
+      "properties": {
+        "path": { "type": "string", "minLength": 1 },
+        "symbol": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "AnalysisFeatureIndexRow": {
+      "type": "object",
+      "required": [
+        "id",
+        "name",
+        "description",
+        "representativeEntryPoint",
+        "componentIds",
+        "currentCodeEvidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^PF-[0-9]{3}$" },
+        "name": { "type": "string", "minLength": 1 },
+        "description": { "type": "string", "minLength": 1 },
+        "representativeEntryPoint": {
+          "$ref": "#/$defs/AnalysisRepresentativeEntryPoint"
+        },
+        "componentIds": {
+          "type": "array",
+          "items": { "type": "string", "pattern": "^PC-[0-9]{3}$" }
+        },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "AnalysisResolvedTarget": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "inputMode": { "enum": ["feature-index", "free-text"] },
+        "requestedValue": { "type": "string", "minLength": 1 },
+        "feature": { "$ref": "#/$defs/AnalysisFeatureIndexRow" }
+      },
+      "allOf": [
+        {
+          "if": { "required": ["inputMode"] },
+          "then": {
+            "required": ["requestedValue"],
+            "allOf": [
+              {
+                "if": {
+                  "properties": { "inputMode": { "const": "feature-index" } },
+                  "required": ["inputMode"]
+                },
+                "then": { "required": ["feature"] },
+                "else": { "not": { "required": ["feature"] } }
+              }
+            ]
+          },
+          "else": {
+            "allOf": [
+              { "not": { "required": ["requestedValue"] } },
+              { "not": { "required": ["feature"] } }
+            ]
+          }
+        }
+      ]
+    },
+
+    "AnalysisScope": {
+      "type": "object",
+      "required": [
+        "includedPaths",
+        "excludedPaths",
+        "unscannedPaths",
+        "resolvedTarget"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "includedPaths": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "excludedPaths": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "unscannedPaths": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "resolvedTarget": { "$ref": "#/$defs/AnalysisResolvedTarget" }
+      }
+    },
+
+    "AnalysisReviewResolution": {
+      "type": "object",
+      "required": ["affectedId", "outcome", "resolution", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "affectedId": { "type": "string", "pattern": "^[A-Z]{2}-[0-9]{3}$" },
+        "outcome": {
+          "enum": [
+            "revised",
+            "retained-with-evidence",
+            "removed",
+            "still-unresolved"
+          ]
+        },
+        "resolution": { "type": "string", "minLength": 1 },
+        "evidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "AnalysisConfirmedFact": {
+      "type": "object",
+      "required": ["id", "statement", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^AF-[0-9]{3}$" },
+        "statement": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        },
+        "sourceReportRefs": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "AnalysisInference": {
+      "type": "object",
+      "required": ["id", "statement", "evidenceIds", "confidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^AI-[0-9]{3}$" },
+        "statement": { "type": "string", "minLength": 1 },
+        "evidenceIds": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "confidence": { "enum": ["high", "medium", "low"] }
+      }
+    },
+
+    "AnalysisUnknown": {
+      "type": "object",
+      "required": ["id", "question", "reason", "affectsVerdict"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^AU-[0-9]{3}$" },
+        "question": { "type": "string", "minLength": 1 },
+        "reason": { "type": "string", "minLength": 1 },
+        "affectsVerdict": { "type": "boolean" }
+      }
+    },
+
+    "AnalysisCommon": {
+      "type": "object",
+      "required": [
+        "runSeq",
+        "sourceCommit",
+        "scope",
+        "evidenceInputs",
+        "confirmedFacts",
+        "inferences",
+        "unknowns",
+        "analysisReviewResolution"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "runSeq": { "type": "string", "pattern": "^[0-9]{3}$" },
+        "sourceCommit": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
+        "scope": { "$ref": "#/$defs/AnalysisScope" },
+        "evidenceInputs": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AnalysisEvidenceInput" }
+        },
+        "confirmedFacts": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AnalysisConfirmedFact" }
+        },
+        "inferences": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AnalysisInference" }
+        },
+        "unknowns": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AnalysisUnknown" }
+        },
+        "analysisReviewResolution": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AnalysisReviewResolution" }
+        }
+      }
+    },
+
+    "ProjectComponent": {
+      "type": "object",
+      "required": ["id", "name", "responsibility", "paths", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^PC-[0-9]{3}$" },
+        "name": { "type": "string", "minLength": 1 },
+        "responsibility": { "type": "string", "minLength": 1 },
+        "paths": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ProjectDependency": {
+      "type": "object",
+      "required": ["fromComponentId", "toComponentId", "direction", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "fromComponentId": { "type": "string", "pattern": "^PC-[0-9]{3}$" },
+        "toComponentId": { "type": "string", "pattern": "^PC-[0-9]{3}$" },
+        "direction": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ProjectEntryPoint": {
+      "type": "object",
+      "required": ["kind", "path", "symbol", "role", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "kind": { "type": "string", "minLength": 1 },
+        "path": { "type": "string", "minLength": 1 },
+        "symbol": { "type": "string", "minLength": 1 },
+        "role": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ProjectDataStore": {
+      "type": "object",
+      "required": ["name", "ownerComponentId", "readBoundary", "writeBoundary", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "ownerComponentId": { "type": "string", "pattern": "^PC-[0-9]{3}$" },
+        "readBoundary": { "type": "string", "minLength": 1 },
+        "writeBoundary": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ProjectExternalSystem": {
+      "type": "object",
+      "required": ["name", "adapter", "direction", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "adapter": { "type": "string", "minLength": 1 },
+        "direction": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ProjectScanCoverage": {
+      "type": "object",
+      "required": ["scannedPathCount", "unscannedPathCount", "reason"],
+      "additionalProperties": false,
+      "properties": {
+        "scannedPathCount": { "type": "integer", "minimum": 0 },
+        "unscannedPathCount": { "type": "integer", "minimum": 0 },
+        "reason": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "ProjectHotspot": {
+      "type": "object",
+      "required": ["id", "title", "impact", "risk", "reason", "evidenceRefs"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^PH-[0-9]{3}$" },
+        "title": { "type": "string", "minLength": 1 },
+        "impact": { "enum": ["high", "medium", "low"] },
+        "risk": { "enum": ["high", "medium", "low"] },
+        "reason": { "type": "string", "minLength": 1 },
+        "evidenceRefs": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } }
+      }
+    },
+
+    "ProjectQualityCoverage": {
+      "type": "object",
+      "required": ["id", "area", "status", "summary", "evidenceRefs"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^PQ-[0-9]{3}$" },
+        "area": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["covered", "partial", "gap", "risk"] },
+        "summary": { "type": "string", "minLength": 1 },
+        "evidenceRefs": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } }
+      }
+    },
+
+    "ProjectAnalysis": {
+      "type": "object",
+      "required": [
+        "components",
+        "dependencies",
+        "entryPoints",
+        "dataStores",
+        "externalSystems",
+        "featureIndex",
+        "scanCoverage",
+        "rankedHotspots",
+        "qualityCoverage",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "components": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ProjectComponent" }
+        },
+        "dependencies": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ProjectDependency" }
+        },
+        "entryPoints": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ProjectEntryPoint" }
+        },
+        "dataStores": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ProjectDataStore" }
+        },
+        "externalSystems": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ProjectExternalSystem" }
+        },
+        "featureIndex": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AnalysisFeatureIndexRow" }
+        },
+        "rankedHotspots": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/ProjectHotspot" }
+        },
+        "qualityCoverage": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/ProjectQualityCoverage" }
+        },
+        "scanCoverage": { "$ref": "#/$defs/ProjectScanCoverage" },
+        "userNarrative": { "$ref": "#/$defs/ProjectUserNarrative" }
+      }
+    },
+
+    "FeatureTarget": {
+      "type": "object",
+      "required": ["inputMode", "requestedValue", "entryPoints"],
+      "additionalProperties": false,
+      "properties": {
+        "inputMode": { "enum": ["feature-index", "free-text"] },
+        "requestedValue": { "type": "string", "minLength": 1 },
+        "featureId": { "type": "string", "pattern": "^PF-[0-9]{3}$" },
+        "entryPoints": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/AnalysisRepresentativeEntryPoint" }
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": { "inputMode": { "const": "feature-index" } },
+            "required": ["inputMode"]
+          },
+          "then": { "required": ["featureId"] },
+          "else": { "not": { "required": ["featureId"] } }
+        }
+      ]
+    },
+
+    "FeatureFlowStep": {
+      "type": "object",
+      "required": ["sequence", "action"],
+      "additionalProperties": false,
+      "properties": {
+        "sequence": { "type": "integer", "minimum": 1 },
+        "action": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "FeatureFlow": {
+      "type": "object",
+      "required": ["id", "kind", "steps", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^FF-[0-9]{3}$" },
+        "kind": { "enum": ["normal", "alternative", "failure"] },
+        "steps": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/FeatureFlowStep" }
+        },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        },
+        "sourceReportRefs": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "FeatureDomainRule": {
+      "type": "object",
+      "required": ["id", "condition", "outcome", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^FR-[0-9]{3}$" },
+        "condition": { "type": "string", "minLength": 1 },
+        "outcome": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        },
+        "sourceReportRefs": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "FeatureStateChange": {
+      "type": "object",
+      "required": [
+        "id",
+        "dataStore",
+        "field",
+        "change",
+        "sideEffects",
+        "currentCodeEvidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^FS-[0-9]{3}$" },
+        "dataStore": { "type": "string", "minLength": 1 },
+        "field": { "type": "string", "minLength": 1 },
+        "change": { "type": "string", "minLength": 1 },
+        "sideEffects": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        },
+        "sourceReportRefs": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "FeatureExternalInteraction": {
+      "type": "object",
+      "required": ["target", "input", "output", "failureHandling", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "target": { "type": "string", "minLength": 1 },
+        "input": { "type": "string", "minLength": 1 },
+        "output": { "type": "string", "minLength": 1 },
+        "failureHandling": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "FeatureTestCoverage": {
+      "type": "object",
+      "required": ["id", "targetIds", "testPaths", "gaps"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^FT-[0-9]{3}$" },
+        "targetIds": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "pattern": "^F[FRS]-[0-9]{3}$" }
+        },
+        "testPaths": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "gaps": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "FeatureConcern": {
+      "type": "object",
+      "required": ["description", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "description": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "FeatureAnalysis": {
+      "type": "object",
+      "required": [
+        "target",
+        "flows",
+        "domainRules",
+        "stateChanges",
+        "externalInteractions",
+        "testCoverage",
+        "actors",
+        "preconditions",
+        "postconditions",
+        "permissionsAndFlags",
+        "nonFunctionalConcerns",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "target": { "$ref": "#/$defs/FeatureTarget" },
+        "userNarrative": { "$ref": "#/$defs/FeatureUserNarrative" },
+        "flows": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureFlow" }
+        },
+        "domainRules": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureDomainRule" }
+        },
+        "stateChanges": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureStateChange" }
+        },
+        "externalInteractions": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureExternalInteraction" }
+        },
+        "testCoverage": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureTestCoverage" }
+        },
+        "actors": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureConcern" }
+        },
+        "preconditions": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureConcern" }
+        },
+        "postconditions": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureConcern" }
+        },
+        "permissionsAndFlags": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureConcern" }
+        },
+        "nonFunctionalConcerns": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/FeatureConcern" }
+        }
+      }
+    },
+
+    "ChangeRequest": {
+      "type": "object",
+      "required": ["summary", "briefEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "summary": { "type": "string", "minLength": 1 },
+        "briefEvidence": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "PreservedBehavior": {
+      "type": "object",
+      "required": ["statement", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "statement": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ChangeImpactItem": {
+      "type": "object",
+      "required": [
+        "id",
+        "target",
+        "impactKind",
+        "level",
+        "confidence",
+        "sourceReportRefs",
+        "currentCodeEvidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^CI-[0-9]{3}$" },
+        "target": { "type": "string", "minLength": 1 },
+        "impactKind": { "type": "string", "minLength": 1 },
+        "level": { "enum": ["high", "medium", "low"] },
+        "confidence": { "enum": ["high", "medium", "low"] },
+        "sourceReportRefs": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "DependencyBlastRadius": {
+      "type": "object",
+      "required": ["sourceImpactId", "affectedTarget", "direction", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "sourceImpactId": { "type": "string", "pattern": "^CI-[0-9]{3}$" },
+        "affectedTarget": { "type": "string", "minLength": 1 },
+        "direction": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ChangeTestImpact": {
+      "type": "object",
+      "required": ["scope", "action", "testPaths", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "scope": { "type": "string", "minLength": 1 },
+        "action": { "enum": ["preserve", "modify", "add"] },
+        "testPaths": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "OperationalImpact": {
+      "type": "object",
+      "required": ["area", "impact", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "area": { "type": "string", "minLength": 1 },
+        "impact": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "AnalysisPlanningInput": {
+      "type": "object",
+      "required": ["constraint", "unknown"],
+      "additionalProperties": false,
+      "properties": {
+        "constraint": { "type": "string", "minLength": 1 },
+        "unknown": { "type": "boolean" }
+      }
+    },
+
+    "ChangeImpactConcern": {
+      "type": "object",
+      "required": ["summary", "currentCodeEvidence"],
+      "additionalProperties": false,
+      "properties": {
+        "summary": { "type": "string", "minLength": 1 },
+        "currentCodeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/CurrentCodeEvidence" }
+        }
+      }
+    },
+
+    "ChangeImpactAnalysis": {
+      "type": "object",
+      "required": [
+        "changeRequest",
+        "preservedBehaviors",
+        "impactItems",
+        "dependencyBlastRadius",
+        "testImpact",
+        "operationalImpact",
+        "planningInputs",
+        "unaffectedBoundaries",
+        "compatibilityImpact",
+        "migrationImpact",
+        "rollbackImpact",
+        "securityAndPerformanceImpact",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "changeRequest": { "$ref": "#/$defs/ChangeRequest" },
+        "userNarrative": { "$ref": "#/$defs/ChangeImpactUserNarrative" },
+        "preservedBehaviors": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/PreservedBehavior" }
+        },
+        "impactItems": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ChangeImpactItem" }
+        },
+        "dependencyBlastRadius": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/DependencyBlastRadius" }
+        },
+        "testImpact": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ChangeTestImpact" }
+        },
+        "operationalImpact": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/OperationalImpact" }
+        },
+        "planningInputs": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/AnalysisPlanningInput" }
+        },
+        "unaffectedBoundaries": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ChangeImpactConcern" }
+        },
+        "compatibilityImpact": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ChangeImpactConcern" }
+        },
+        "migrationImpact": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ChangeImpactConcern" }
+        },
+        "rollbackImpact": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ChangeImpactConcern" }
+        },
+        "securityAndPerformanceImpact": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/ChangeImpactConcern" }
+        }
+      }
+    },
+
+    "SourceItem": {
+      "type": "string",
+      "pattern": "^[a-z][a-z-]*:[A-Za-z0-9._-]+$",
+      "description": "Source-item reference in the form `<worker>:<item-id>`, e.g. `claude:F-001`, `codex:1.1`, `lead:mcp-1`. Bare worker-name lists are deprecated; every source must carry its origin item ID."
+    },
+
+    "SummaryRow": {
+      "type": "object",
+      "required": ["id", "ticketId", "summary", "source"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^P-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "summary": { "type": "string", "minLength": 1 },
+        "source": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "TicketCoverageRow": {
+      "type": "object",
+      "required": ["ticketId", "sections", "relatedIds"],
+      "additionalProperties": false,
+      "properties": {
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "sections": { "type": "string", "minLength": 1 },
+        "relatedIds": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "ExecutionStatusRow": {
+      "type": "object",
+      "required": ["agent", "role", "model", "status", "summary"],
+      "additionalProperties": false,
+      "properties": {
+        "agent": { "enum": ["Claude Code", "Codex", "Antigravity"] },
+        "role": { "type": "string", "minLength": 1 },
+        "model": { "type": "string", "minLength": 1 },
+        "status": { "$ref": "#/$defs/WorkerStatus" },
+        "summary": { "type": "string", "minLength": 1 },
+        "totalTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "billableTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "costUsd": {
+          "oneOf": [
+            { "type": "number", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "cliTotalTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "cliCostUsd": {
+          "oneOf": [
+            { "type": "number", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "durationMs": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        }
+      }
+    },
+
+    "TokenUsageRow": {
+      "type": "object",
+      "required": ["totalTokens", "billableTokens", "costUsd"],
+      "additionalProperties": false,
+      "properties": {
+        "totalTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "billableTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "costUsd": {
+          "oneOf": [
+            { "type": "number", "minimum": 0 },
+            { "type": "null" }
+          ]
+        }
+      }
+    },
+
+    "TokenUsageWorkerDetailRow": {
+      "type": "object",
+      "required": [
+        "label",
+        "totalTokens",
+        "billableTokens",
+        "costUsd",
+        "cliTotalTokens",
+        "cliCostUsd"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "label": { "type": "string", "minLength": 1 },
+        "totalTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "billableTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "costUsd": {
+          "oneOf": [
+            { "type": "number", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "cliTotalTokens": {
+          "oneOf": [
+            { "type": "integer", "minimum": 0 },
+            { "type": "null" }
+          ]
+        },
+        "cliCostUsd": {
+          "oneOf": [
+            { "type": "number", "minimum": 0 },
+            { "type": "null" }
+          ]
+        }
+      }
+    },
+
+    "RoundHistoryRow": {
+      "type": "object",
+      "required": [
+        "round",
+        "inputQueueSize",
+        "resolvedCount",
+        "carriedForwardCount",
+        "dispatches",
+        "skippedWorkers"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "round": { "type": "integer", "minimum": 0 },
+        "inputQueueSize": { "type": "integer", "minimum": 0 },
+        "resolvedCount": { "type": "integer", "minimum": 0 },
+        "carriedForwardCount": { "type": "integer", "minimum": 0 },
+        "dispatches": { "type": "string" },
+        "skippedWorkers": { "type": "string" }
+      }
+    },
+
+    "ConsensusRow": {
+      "type": "object",
+      "required": ["id", "ticketId", "statement", "sourceItems", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^C-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "statement": { "type": "string", "minLength": 1 },
+        "sourceItems": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/SourceItem" }
+        },
+        "evidence": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "DifferenceRow": {
+      "type": "object",
+      "required": ["id", "ticketId", "disagreement", "workersPosition", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^D-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "disagreement": { "type": "string", "minLength": 1 },
+        "workersPosition": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "required": ["worker", "itemId", "position"],
+            "additionalProperties": false,
+            "properties": {
+              "worker": { "type": "string", "minLength": 1 },
+              "itemId": { "type": "string" },
+              "position": { "type": "string", "minLength": 1 }
+            }
+          }
+        },
+        "evidence": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "PrimaryEvidenceRow": {
+      "type": "object",
+      "required": ["id", "ticketId", "evidence", "sourceItems", "source"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^E-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "evidence": { "type": "string", "minLength": 1 },
+        "sourceItems": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/SourceItem" }
+        },
+        "source": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "SecondaryEvidenceRow": {
+      "type": "object",
+      "required": ["id", "ticketId", "hypothesis", "confidence"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^S-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "hypothesis": { "type": "string", "minLength": 1 },
+        "confidence": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "RiskRow": {
+      "type": "object",
+      "required": ["id", "ticketId", "item", "risk", "owner"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^R-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "item": { "type": "string", "minLength": 1 },
+        "risk": { "type": "string", "minLength": 1 },
+        "owner": { "type": "string", "minLength": 1 },
+        "source": { "type": "string" }
+      }
+    },
+
+    "OptionCandidate": {
+      "type": "object",
+      "required": ["name", "fileStructure", "interfaces", "blastRadius"],
+      "additionalProperties": false,
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "fileStructure": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["id", "ticketId", "action", "path", "summary"],
+            "additionalProperties": false,
+            "properties": {
+              "id": { "type": "string", "pattern": "^OF-\\d{3,}$" },
+              "ticketId": { "$ref": "#/$defs/TicketId" },
+              "action": { "enum": ["Create", "Modify", "Delete"] },
+              "path": { "type": "string", "minLength": 1 },
+              "summary": { "type": "string", "minLength": 1, "maxLength": 120 },
+              "details": { "type": "string", "minLength": 1 }
+            }
+          }
+        },
+        "interfaces": { "type": "string" },
+        "blastRadius": { "type": "string" }
+      }
+    },
+
+    "TradeoffRow": {
+      "type": "object",
+      "required": ["option", "complexity", "risk", "reversibility", "testCoverageCost", "rolloutCost"],
+      "additionalProperties": false,
+      "properties": {
+        "option": { "type": "string", "minLength": 1 },
+        "complexity": { "type": "string", "minLength": 1 },
+        "risk": { "type": "string", "minLength": 1 },
+        "reversibility": { "type": "string", "minLength": 1 },
+        "testCoverageCost": { "type": "string", "minLength": 1 },
+        "rolloutCost": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "RecommendedOption": {
+      "type": "object",
+      "required": ["name", "coreReason", "rationale", "rejectedSummary", "testSeams"],
+      "additionalProperties": false,
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "coreReason": { "type": "string", "minLength": 1 },
+        "rationale": { "type": "string", "minLength": 1 },
+        "rejectedSummary": { "type": "string", "minLength": 1 },
+        "testSeams": {
+          "type": "array",
+          "description": "Boundaries a test injects and replaces. An empty array is a deliberate declaration that no seam is needed (the plan body must justify it).",
+          "items": {
+            "type": "object",
+            "required": ["boundary", "injectedAs", "replacedInTest"],
+            "additionalProperties": false,
+            "properties": {
+              "boundary": { "type": "string", "minLength": 1 },
+              "injectedAs": { "type": "string", "minLength": 1 },
+              "replacedInTest": { "type": "string", "minLength": 1 }
+            }
+          }
+        }
+      }
+    },
+
+    "VariationPointAnalysis": {
+      "type": "object",
+      "required": ["hasMultipleImplementations", "noVariationRationale", "points"],
+      "additionalProperties": false,
+      "properties": {
+        "hasMultipleImplementations": { "type": "boolean" },
+        "noVariationRationale": {
+          "type": "string",
+          "description": "Why no variation point exists when hasMultipleImplementations is false. Empty string when it is true."
+        },
+        "points": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/VariationPoint" }
+        }
+      }
+    },
+
+    "VariationPoint": {
+      "type": "object",
+      "required": ["behavior", "implementations", "evidence", "extractionDecision"],
+      "additionalProperties": false,
+      "properties": {
+        "behavior": { "type": "string", "minLength": 1 },
+        "implementations": {
+          "type": "array",
+          "minItems": 2,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "evidence": { "type": "string", "minLength": 1 },
+        "extractionDecision": {
+          "type": "object",
+          "required": ["extract", "interfaceKind", "coveredBy", "rationale"],
+          "additionalProperties": false,
+          "properties": {
+            "extract": { "type": "boolean" },
+            "interfaceKind": { "type": "string" },
+            "coveredBy": { "type": "string" },
+            "rationale": { "type": "string", "minLength": 1 }
+          }
+        }
+      }
+    },
+
+    "StageMapRow": {
+      "type": "object",
+      "required": ["stage", "title", "dependsOn", "stepCount", "exitContractSummary"],
+      "additionalProperties": false,
+      "properties": {
+        "stage": { "type": "integer", "minimum": 1 },
+        "title": { "type": "string", "minLength": 1 },
+        "dependsOn": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Literal Stage Map depends-on cell: `(none)` or a comma-separated stage number list."
+        },
+        "stepCount": { "type": "integer", "minimum": 0, "maximum": 6 },
+        "exitContractSummary": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "DesignPreparation": {
+      "type": "object",
+      "required": ["mode", "reason", "items"],
+      "additionalProperties": false,
+      "properties": {
+        "mode": { "enum": ["assessed", "no-design-inputs"] },
+        "reason": { "type": "string", "minLength": 1 },
+        "items": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/DesignPrepItem" }
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": { "mode": { "const": "no-design-inputs" } }
+          },
+          "then": { "properties": { "items": { "maxItems": 0 } } }
+        }
+      ]
+    },
+
+    "DesignPrepKnownFact": {
+      "type": "object",
+      "required": ["statement", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "statement": { "type": "string", "minLength": 1 },
+        "evidence": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "DesignPrepProposal": {
+      "type": "object",
+      "required": ["summary", "details", "assumptions", "evidence", "confidence"],
+      "additionalProperties": false,
+      "properties": {
+        "summary": { "type": "string", "minLength": 1 },
+        "details": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "assumptions": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "evidence": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "confidence": { "enum": ["low", "medium", "high"] }
+      }
+    },
+
+    "DesignPrepHumanConfirmation": {
+      "type": "object",
+      "required": ["required", "reason", "suggestedAction"],
+      "additionalProperties": false,
+      "properties": {
+        "required": { "type": "boolean" },
+        "reason": { "type": "string", "minLength": 1 },
+        "suggestedAction": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "DesignPrepReviewPoint": {
+      "type": "object",
+      "required": ["phase"],
+      "additionalProperties": false,
+      "properties": {
+        "phase": { "enum": ["implementation", "final-verification"] },
+        "stage": { "type": "integer", "minimum": 1 }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "phase": { "const": "implementation" } } },
+          "then": { "required": ["stage"] }
+        }
+      ]
+    },
+
+    "DesignPrepItem": {
+      "type": "object",
+      "required": [
+        "id",
+        "kind",
+        "title",
+        "stageRefs",
+        "status",
+        "need",
+        "knownFacts",
+        "openQuestions",
+        "aiProposal",
+        "humanConfirmation"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^PREP-[0-9]{3}$" },
+        "kind": {
+          "enum": [
+            "domain-contract",
+            "persistence-schema",
+            "external-interface",
+            "transaction-consistency",
+            "transformation-mapping",
+            "lifecycle-state-machine",
+            "rollout-observability",
+            "manual-user-test",
+            "other"
+          ]
+        },
+        "title": { "type": "string", "minLength": 1 },
+        "stageRefs": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "type": "integer", "minimum": 1 }
+        },
+        "status": {
+          "enum": ["ready", "provisional", "blocked", "not-applicable"]
+        },
+        "need": { "type": "string", "minLength": 1 },
+        "knownFacts": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/DesignPrepKnownFact" }
+        },
+        "openQuestions": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "aiProposal": { "$ref": "#/$defs/DesignPrepProposal" },
+        "humanConfirmation": {
+          "$ref": "#/$defs/DesignPrepHumanConfirmation"
+        },
+        "workingAssumption": { "type": "string", "minLength": 1 },
+        "guardrails": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "reviewAt": { "$ref": "#/$defs/DesignPrepReviewPoint" },
+        "ifStillOpen": { "enum": ["block", "follow-up"] },
+        "requestPath": {
+          "type": "string",
+          "pattern": "^design-prep-requests/design-prep-request-[0-9]+-PREP-[0-9]{3}\\.md$"
+        },
+        "blockReason": { "type": "string", "minLength": 1 },
+        "requiredDecision": { "type": "string", "minLength": 1 },
+        "notApplicableReason": { "type": "string", "minLength": 1 },
+        "replanTriggerFields": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^[^.\\s]+(\\.[^.\\s]+)*$"
+          }
+        }
+      },
+      "oneOf": [
+        {
+          "properties": { "status": { "const": "ready" } },
+          "allOf": [
+            { "not": { "required": ["workingAssumption"] } },
+            { "not": { "required": ["blockReason"] } },
+            { "not": { "required": ["requiredDecision"] } },
+            { "not": { "required": ["notApplicableReason"] } },
+            { "not": { "required": ["requestPath"] } }
+          ]
+        },
+        {
+          "properties": { "status": { "const": "provisional" } },
+          "required": [
+            "workingAssumption",
+            "guardrails",
+            "reviewAt",
+            "ifStillOpen",
+            "requestPath"
+          ],
+          "allOf": [
+            { "not": { "required": ["blockReason"] } },
+            { "not": { "required": ["requiredDecision"] } },
+            { "not": { "required": ["notApplicableReason"] } }
+          ]
+        },
+        {
+          "properties": {
+            "status": { "const": "blocked" },
+            "humanConfirmation": {
+              "properties": { "required": { "const": true } }
+            }
+          },
+          "required": [
+            "blockReason",
+            "requiredDecision",
+            "reviewAt",
+            "ifStillOpen",
+            "requestPath"
+          ],
+          "allOf": [
+            { "not": { "required": ["workingAssumption"] } },
+            { "not": { "required": ["guardrails"] } },
+            { "not": { "required": ["notApplicableReason"] } }
+          ]
+        },
+        {
+          "properties": { "status": { "const": "not-applicable" } },
+          "required": ["notApplicableReason"],
+          "allOf": [
+            { "not": { "required": ["workingAssumption"] } },
+            { "not": { "required": ["guardrails"] } },
+            { "not": { "required": ["reviewAt"] } },
+            { "not": { "required": ["ifStillOpen"] } },
+            { "not": { "required": ["blockReason"] } },
+            { "not": { "required": ["requiredDecision"] } },
+            { "not": { "required": ["requestPath"] } }
+          ]
+        }
+      ]
+    },
+
+    "TriggerEvidence": {
+      "type": "object",
+      "required": ["step", "field", "match"],
+      "additionalProperties": false,
+      "properties": {
+        "step": {
+          "type": ["integer", "null"],
+          "minimum": 1
+        },
+        "field": { "enum": ["files", "action"] },
+        "match": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "InlineDesignContract": {
+      "type": "object",
+      "required": ["summary", "details", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "summary": { "type": "string", "minLength": 1 },
+        "details": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "evidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "EndStateCoverageRow": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "disposition"],
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^(EB|PB|EO)-\\d{3}$",
+          "description": "The brief end-state id this row accounts for."
+        },
+        "disposition": {
+          "type": "string",
+          "enum": ["addressed", "deferred", "not-applicable", "blocked"]
+        },
+        "coveredBy": {
+          "type": "string",
+          "description": "Anchor in THIS phase's deliverable that accounts for the id — a routing decision, a root-cause candidate, an R-NNN row, or a C-NNN clarification."
+        },
+        "evidence": {
+          "type": "array",
+          "items": { "type": "string" },
+          "description": "path:line references backing the mapping."
+        },
+        "rationale": {
+          "type": "string",
+          "description": "Required when disposition is not `addressed`: why this phase does not account for the id."
+        }
+      }
+    },
+
+    "DesignSurfaceCoverage": {
+      "type": "object",
+      "required": ["kind", "triggerEvidence", "disposition"],
+      "additionalProperties": false,
+      "properties": {
+        "kind": {
+          "enum": [
+            "domain-contract",
+            "persistence-schema",
+            "external-interface",
+            "transaction-consistency",
+            "transformation-mapping",
+            "lifecycle-state-machine",
+            "rollout-observability",
+            "manual-user-test",
+            "other"
+          ]
+        },
+        "triggerEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/TriggerEvidence" }
+        },
+        "disposition": {
+          "enum": ["inline-contract", "prep-item", "not-applicable"]
+        },
+        "inlineContract": { "$ref": "#/$defs/InlineDesignContract" },
+        "prepItemId": {
+          "type": "string",
+          "pattern": "^PREP-[0-9]{3}$"
+        },
+        "prepItemIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "type": "string", "pattern": "^PREP-[0-9]{3}$" }
+        },
+        "rationale": { "type": "string", "minLength": 1 }
+      },
+      "oneOf": [
+        {
+          "properties": { "disposition": { "const": "inline-contract" } },
+          "required": ["inlineContract"],
+          "allOf": [
+            { "not": { "required": ["prepItemId"] } },
+            { "not": { "required": ["prepItemIds"] } },
+            { "not": { "required": ["rationale"] } }
+          ]
+        },
+        {
+          "properties": { "disposition": { "const": "prep-item" } },
+          "allOf": [
+            { "not": { "required": ["inlineContract"] } },
+            { "not": { "required": ["rationale"] } }
+          ],
+          "oneOf": [
+            {
+              "required": ["prepItemId"],
+              "not": { "required": ["prepItemIds"] }
+            },
+            {
+              "required": ["prepItemIds"],
+              "not": { "required": ["prepItemId"] }
+            }
+          ]
+        },
+        {
+          "properties": { "disposition": { "const": "not-applicable" } },
+          "required": ["rationale"],
+          "allOf": [
+            { "not": { "required": ["inlineContract"] } },
+            { "not": { "required": ["prepItemId"] } },
+            { "not": { "required": ["prepItemIds"] } }
+          ]
+        }
+      ]
+    },
+
+    "ImplementationPlanStage": {
+      "type": "object",
+      "required": [
+        "stage",
+        "title",
+        "sliceValue",
+        "acceptance",
+        "carryIn",
+        "stepwiseExecution",
+        "exitContract",
+        "stageValidation"
+      ],
+      "additionalProperties": false,
+      "oneOf": [
+        {
+          "required": ["conformanceTests"],
+          "not": { "required": ["conformanceExemption"] }
+        },
+        {
+          "required": ["conformanceExemption"],
+          "not": { "required": ["conformanceTests"] }
+        }
+      ],
+      "if": { "not": { "required": ["tddExemption"] } },
+      "then": {
+        "required": ["testCaseSuccess", "testCaseBoundary", "testCaseFailure"]
+      },
+      "properties": {
+        "stage": { "type": "integer", "minimum": 1 },
+        "title": { "type": "string", "minLength": 1 },
+        "sliceValue": { "type": "string", "minLength": 1 },
+        "acceptance": { "type": "string", "minLength": 1 },
+        "testCaseSuccess": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Happy-path test case proving the slice works for valid input. Text after the `Test case (success):` prefix."
+        },
+        "testCaseBoundary": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Boundary/edge test case (empty, min/max, missing). Text after the `Test case (boundary):` prefix. Use `N/A — <reason>` only when no boundary genuinely exists."
+        },
+        "testCaseFailure": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Failure/negative test case (invalid input, error path). Text after the `Test case (failure):` prefix."
+        },
+        "conformanceTests": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Text after the `Conformance tests: stage-N — ...` prefix."
+        },
+        "conformanceExemption": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Text after the `Conformance exemption:` prefix."
+        },
+        "tddExemption": {
+          "type": "string",
+          "description": "Optional text after the `TDD exemption:` prefix."
+        },
+        "carryIn": { "type": "string", "minLength": 1 },
+        "stepwiseExecution": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 6,
+          "items": { "$ref": "#/$defs/StageStepRow" }
+        },
+        "designSurfaceCoverage": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/DesignSurfaceCoverage" }
+        },
+        "exitContract": { "type": "string", "minLength": 1 },
+        "stageValidation": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "StageStepRow": {
+      "type": "object",
+      "required": ["step", "action", "files", "command", "expected"],
+      "additionalProperties": false,
+      "properties": {
+        "step": { "type": "integer", "minimum": 1 },
+        "action": { "type": "string", "minLength": 1 },
+        "files": { "type": "string", "minLength": 1 },
+        "command": { "type": "string", "minLength": 1 },
+        "expected": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "StepRow": {
+      "type": "object",
+      "required": ["step", "ticketId", "action", "files", "commandOrTest", "expectedOutcome"],
+      "additionalProperties": false,
+      "properties": {
+        "step": { "type": "integer", "minimum": 1 },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "action": { "type": "string", "minLength": 1 },
+        "files": { "type": "string", "minLength": 1 },
+        "commandOrTest": { "type": "string", "minLength": 1 },
+        "expectedOutcome": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "StageSidecarEvidence": {
+      "type": "object",
+      "required": ["stageNumber", "stageTitle", "carryJson", "consumerRows"],
+      "additionalProperties": false,
+      "properties": {
+        "stageNumber": { "type": "integer", "minimum": 1 },
+        "stageTitle": { "type": "string", "minLength": 1 },
+        "carryJson": { "type": "string", "minLength": 1 },
+        "consumerRows": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "DependencyRow": {
+      "type": "object",
+      "required": ["id", "kind", "item", "impact", "mitigation"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^DM-\\d{3,}$" },
+        "kind": {
+          "enum": ["order", "backfill", "flag-precondition", "repo-sequencing", "cross-project", "other"]
+        },
+        "item": { "type": "string", "minLength": 1 },
+        "impact": { "type": "string", "minLength": 1 },
+        "mitigation": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "CrossProjectDependency": {
+      "type": "object",
+      "required": ["id", "direction", "project", "requiredWork", "verificationSignal", "linkedWork", "howToStart"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^XP-\\d{3,}$" },
+        "direction": { "enum": ["upstream-precondition", "downstream-carry"] },
+        "project": { "type": "string", "minLength": 1 },
+        "requiredWork": { "type": "string", "minLength": 1 },
+        "verificationSignal": { "type": "string", "minLength": 1 },
+        "linkedWork": { "type": "string", "minLength": 1 },
+        "howToStart": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "DecisionDraft": {
+      "type": "object",
+      "required": ["number", "slug", "status", "context", "decision", "consequences", "alternativesConsidered"],
+      "additionalProperties": false,
+      "properties": {
+        "number": { "type": "string", "pattern": "^\\d{4,}$" },
+        "slug": { "type": "string", "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$" },
+        "status": { "enum": ["Proposed"] },
+        "context": { "type": "string", "minLength": 1 },
+        "decision": { "type": "string", "minLength": 1 },
+        "consequences": { "type": "string", "minLength": 1 },
+        "alternativesConsidered": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "SkippedAdrCandidate": {
+      "type": "object",
+      "required": ["topic", "reason"],
+      "additionalProperties": false,
+      "properties": {
+        "topic": { "type": "string", "minLength": 1 },
+        "reason": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "ValidationCheckRow": {
+      "type": "object",
+      "required": ["id", "phase", "ticketId", "check", "commandOrObservation", "expectedOutcome"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^VC-\\d{3,}$" },
+        "phase": { "enum": ["pre", "mid", "post"] },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "check": { "type": "string", "minLength": 1 },
+        "commandOrObservation": { "type": "string", "minLength": 1 },
+        "expectedOutcome": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "RollbackRow": {
+      "type": "object",
+      "required": ["id", "step", "action", "triggerSignal", "verificationMethod"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^RB-\\d{3,}$" },
+        "step": { "type": "integer", "minimum": 1 },
+        "action": { "type": "string", "minLength": 1 },
+        "triggerSignal": { "type": "string", "minLength": 1 },
+        "verificationMethod": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "SelfFixGroup": {
+      "type": "object",
+      "required": ["round", "causeSummary", "itemIds"],
+      "additionalProperties": false,
+      "properties": {
+        "round": { "type": "integer", "minimum": 1 },
+        "causeSummary": { "type": "string", "minLength": 1 },
+        "itemIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "rewrittenPaths": {
+          "type": "array",
+          "description": "data.json paths this round actually rewrote for this cause group. A self-fix round is contractually a targeted correction, not a full draft regeneration; recording the reach is what makes that claim checkable later.",
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "outsideScopePaths": {
+          "type": "array",
+          "description": "The subset of rewrittenPaths that lies outside the sections this group's itemIds point at. Carrying a correction to its contradictions legitimately reaches further than the flagged item, so this is a measurement, not a violation.",
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+
+    "SupersessionEntry": {
+      "type": "object",
+      "required": ["clarificationId", "disposition"],
+      "additionalProperties": false,
+      "properties": {
+        "clarificationId": { "type": "string", "pattern": "^C-\\d+$" },
+        "disposition": { "enum": ["superseded", "no-dependent-statement"] },
+        "revisedSections": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "supersededStatement": { "type": "string", "minLength": 1 },
+        "replacedWith": { "type": "string", "minLength": 1 },
+        "rationale": { "type": "string", "minLength": 1 }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": { "disposition": { "const": "superseded" } },
+            "required": ["disposition"]
+          },
+          "then": {
+            "required": ["revisedSections", "supersededStatement", "replacedWith"],
+            "properties": { "revisedSections": { "minItems": 1 } }
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "disposition": { "const": "no-dependent-statement" }
+            },
+            "required": ["disposition"]
+          },
+          "then": { "required": ["rationale"] }
+        }
+      ]
+    },
+
+    "PlanBodyVerification": {
+      "type": "object",
+      "required": ["roundCount", "gateResult", "planItems", "dissentLog"],
+      "additionalProperties": false,
+      "properties": {
+        "roundCount": { "type": "integer", "minimum": 0 },
+        "gateResult": {
+          "enum": [
+            "passed",
+            "passed-with-dissent",
+            "blocked-by-disagreement",
+            "aborted-non-result"
+          ]
+        },
+        "gateBlockedBy": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "enum": ["majority-disagree", "coverage-gap", "non-result"]
+          }
+        },
+        "participatingAnalysers": {
+          "type": "object",
+          "description": "How many rostered analysers actually cast a non-error vote in this round. The gate arithmetic is unchanged; this records the base it ran on, because a majority over two votes is a different claim than a majority over three.",
+          "properties": {
+            "rostered": { "type": "integer", "minimum": 0 },
+            "voting": { "type": "integer", "minimum": 0 }
+          },
+          "required": ["rostered", "voting"],
+          "additionalProperties": false
+        },
+        "selfFixRoundsApplied": { "type": "integer", "minimum": 0 },
+        "selfFixGroups": {
+          "type": "array",
+          "description": "How each self-fix round's targets were grouped by common cause before being handed to report-writer. Several blocked items are usually one defect's derivatives; instructing them as a flat list makes each patch leave its siblings' contradictions standing, so the same family reappears next round.",
+          "items": { "$ref": "#/$defs/SelfFixGroup" }
+        },
+        "selfFixStopReason": {
+          "enum": [
+            "not-attempted",
+            "all-resolved",
+            "no-progress",
+            "max-rounds-reached",
+            "cause-group-recurrence"
+          ]
+        },
+        "planItems": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["id", "subject", "verdicts"],
+            "additionalProperties": false,
+            "properties": {
+              "id": { "type": "string", "minLength": 1 },
+              "subject": { "type": "string", "minLength": 1 },
+              "sourceSection": { "type": "string" },
+              "carriedForwardFromSeq": { "type": "string" },
+              "clarificationId": {
+                "anyOf": [
+                  { "type": "null" },
+                  { "type": "string", "pattern": "^C-\\d{3,}$" }
+                ]
+              },
+              "selfFixNote": { "type": "string" },
+              "verdicts": {
+                "type": "array",
+                "items": {
+                  "type": "object",
+                  "required": ["worker", "verdict"],
+                  "additionalProperties": false,
+                  "properties": {
+                    "worker": { "type": "string", "minLength": 1 },
+                    "verdict": {
+                      "enum": ["AGREE", "DISAGREE", "SUPPLEMENT", "verification-error"]
+                    },
+                    "breakageKind": {
+                      "description": "Set only on DISAGREE. `null` and absent are equivalent, matching the sibling `votes.<worker>.disagreeBasis` contract in prompts/lead/convergence.md.",
+                      "type": ["string", "null"]
+                    },
+                    "fixability": {
+                      "description": "Set only on DISAGREE. `null` and absent are equivalent.",
+                      "enum": ["planner-fixable", "needs-user-input", null]
+                    },
+                    "note": { "type": "string" }
+                  }
+                }
+              }
+            }
+          }
+        },
+        "dissentLog": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["planItem", "workerRole", "body"],
+            "additionalProperties": false,
+            "properties": {
+              "planItem": { "type": "string", "minLength": 1 },
+              "workerRole": { "type": "string", "minLength": 1 },
+              "body": { "type": "string", "minLength": 1 }
+            }
+          }
+        }
+      }
+    },
+
+    "ExecutedCommandRow": {
+      "type": "object",
+      "required": ["number", "command", "exitCode", "outputSummary"],
+      "additionalProperties": false,
+      "properties": {
+        "number": { "type": "integer", "minimum": 1 },
+        "command": { "type": "string", "minLength": 1 },
+        "exitCode": { "type": "integer" },
+        "outputSummary": { "type": "string" }
+      }
+    },
+
+    "CommitRow": {
+      "type": "object",
+      "required": ["shortSha", "fullSha", "subject", "files"],
+      "additionalProperties": false,
+      "properties": {
+        "shortSha": { "type": "string", "minLength": 7 },
+        "fullSha": { "type": "string", "minLength": 40 },
+        "subject": { "type": "string", "minLength": 1 },
+        "files": { "type": "string" }
+      }
+    },
+
+    "CommitWithStepRow": {
+      "type": "object",
+      "required": ["number", "shortSha", "fullSha", "planStep", "subject", "files"],
+      "additionalProperties": false,
+      "properties": {
+        "number": { "type": "integer", "minimum": 1 },
+        "shortSha": { "type": "string", "minLength": 7 },
+        "fullSha": { "type": "string", "minLength": 40 },
+        "planStep": { "type": "string", "minLength": 1 },
+        "subject": { "type": "string", "minLength": 1 },
+        "files": { "type": "string" }
+      }
+    },
+
+    "DiffFileRow": {
+      "type": "object",
+      "required": ["file", "action", "lines", "planStep"],
+      "additionalProperties": false,
+      "properties": {
+        "file": { "type": "string", "minLength": 1 },
+        "action": { "enum": ["created", "modified", "deleted"] },
+        "lines": { "type": "string", "minLength": 1 },
+        "planStep": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "OutOfPlanEditRow": {
+      "type": "object",
+      "required": ["id", "file", "rationale", "trigger"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^OOP-\\d{3,}$" },
+        "file": { "type": "string", "minLength": 1 },
+        "rationale": { "type": "string", "minLength": 1 },
+        "trigger": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "ValidationEvidenceRow": {
+      "type": "object",
+      "required": ["phase", "command", "exitCode", "outputTail"],
+      "additionalProperties": false,
+      "properties": {
+        "phase": { "enum": ["pre", "mid", "post"] },
+        "command": { "type": "string", "minLength": 1 },
+        "exitCode": { "type": "integer" },
+        "outputTail": { "type": "string" },
+        "tddEvidence": { "type": "string" }
+      }
+    },
+
+    "VerifierResultBlock": {
+      "type": "object",
+      "required": ["verifier", "verdict", "readOnlyCommandLog", "independentValidationRerun"],
+      "additionalProperties": false,
+      "properties": {
+        "verifier": { "type": "string", "minLength": 1 },
+        "verdict": { "enum": ["PASS", "CONCERNS", "FAIL"] },
+        "readOnlyCommandLog": { "type": "string" },
+        "independentValidationRerun": { "type": "string" },
+        "styleLintTypecheck": { "type": "string" },
+        "declinedFixRecommendations": { "type": "string" },
+        "discrepancy": { "type": "string" }
+      }
+    },
+
+    "RollbackVerificationRow": {
+      "type": "object",
+      "required": ["category", "rollbackCommand", "verification", "result"],
+      "additionalProperties": false,
+      "properties": {
+        "category": {
+          "enum": ["Pure code", "Feature-flag-gated", "Schema/config/stateful"]
+        },
+        "rollbackCommand": { "type": "string", "minLength": 1 },
+        "verification": { "type": "string", "minLength": 1 },
+        "result": {
+          "enum": ["ok", "not-applicable", "advisory — human-run"]
+        }
+      }
+    },
+
+    "AcceptanceBlockerRow": {
+      "type": "object",
+      "required": ["id", "severity", "statement", "evidence", "followUpPhase"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^AB-\\d{3,}$" },
+        "severity": { "enum": ["critical", "major", "minor"] },
+        "statement": { "type": "string", "minLength": 1 },
+        "evidence": { "type": "string", "minLength": 1 },
+        "followUpPhase": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "ResidualRiskRow": {
+      "type": "object",
+      "required": ["id", "item", "owner", "escalationTrigger"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^RR-\\d{3,}$" },
+        "item": { "type": "string", "minLength": 1 },
+        "owner": { "type": "string", "minLength": 1 },
+        "escalationTrigger": { "type": "string", "minLength": 1 }
+      }
+    },
+
+    "RequirementCoverageRow": {
+      "type": "object",
+      "required": ["id", "requirement", "artifact", "status"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^VE-\\d{3,}$" },
+        "requirement": { "type": "string", "minLength": 1 },
+        "artifact": { "type": "string", "minLength": 1 },
+        "status": {
+          "type": "string",
+          "pattern": "^(covered|blocker AB-\\d{3,}|gap)$"
+        }
+      }
+    },
+
+    "ImplementationRequirementCoverageRow": {
+      "type": "object",
+      "required": ["id", "source", "requirement", "coveredBy", "status"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^R-\\d{3,}$" },
+        "source": { "type": "string", "minLength": 1 },
+        "requirement": { "type": "string", "minLength": 1 },
+        "coveredBy": { "type": "string", "minLength": 1 },
+        "status": {
+          "type": "string",
+          "pattern": "^(covered|gap|blocked C-\\d{3,}|documented-deviation)$"
+        },
+        "decisionRefs": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "approvalDisposition": {
+          "type": "string",
+          "pattern": "^(accepted|blocked C-\\d{3,})$"
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": { "status": { "const": "documented-deviation" } },
+            "required": ["status"]
+          },
+          "then": { "required": ["decisionRefs", "approvalDisposition"] }
+        }
+      ]
+    },
+
+    "ReadonlyCommandRow": {
+      "type": "object",
+      "required": ["number", "tier", "command", "status", "exitCode", "outputTail"],
+      "additionalProperties": false,
+      "properties": {
+        "number": { "type": "integer", "minimum": 1 },
+        "tier": { "enum": [1, 2, 3] },
+        "command": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["executed", "rejected", "not-configured", "env-unavailable", "advisory"] },
+        "exitCode": { "type": ["integer", "null"] },
+        "statusReason": { "type": ["string", "null"] },
+        "outputTail": { "type": "string" }
+      },
+      "allOf": [
+        { "if": { "properties": { "status": { "const": "executed" } } },
+          "then": { "properties": { "exitCode": { "type": "integer" } } } },
+        { "if": { "properties": { "status": { "const": "rejected" } } },
+          "then": { "required": ["statusReason"] } },
+        { "if": { "properties": { "status": { "const": "env-unavailable" } } },
+          "then": { "required": ["statusReason"] } },
+        {
+          "if": {
+            "properties": { "status": { "const": "advisory" } },
+            "required": ["status"]
+          },
+          "then": {
+            "required": ["statusReason"],
+            "properties": {
+              "tier": { "const": 3 },
+              "statusReason": {
+                "type": "string",
+                "minLength": 1,
+                "pattern": ".*\\S.*"
+              }
+            }
+          }
+        }
+      ]
+    },
+
+    "ConditionalAcceptanceConditionRow": {
+      "type": "object",
+      "required": ["id", "condition", "evidenceRequired", "blocksReleaseHandoff"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^CA-\\d{3,}$" },
+        "condition": { "type": "string", "minLength": 1 },
+        "evidenceRequired": { "type": "string", "minLength": 1 },
+        "blocksReleaseHandoff": { "type": "boolean" }
+      }
+    },
+
+    "ClarificationRow": {
+      "type": "object",
+      "required": ["id", "ticketId", "kind", "statement", "expectedForm", "blocks", "status"],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^C-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "kind": { "$ref": "#/$defs/ClarificationKind" },
+        "statement": { "type": "string", "minLength": 1 },
+        "expectedForm": { "type": "string", "minLength": 1 },
+        "blocks": { "$ref": "#/$defs/ClarificationBlocks" },
+        "status": { "$ref": "#/$defs/ClarificationStatus" },
+        "userInput": { "type": "string" }
+      }
+    },
+
+    "RecommendedStep": {
+      "type": "object",
+      "required": ["text"],
+      "additionalProperties": false,
+      "properties": {
+        "text": { "type": "string", "minLength": 1 },
+        "commands": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["label", "claudeCode", "terminal"],
+            "additionalProperties": false,
+            "properties": {
+              "label": { "type": "string", "minLength": 1 },
+              "claudeCode": { "type": "string", "minLength": 1 },
+              "terminal": { "type": "string", "minLength": 1 }
+            }
+          }
+        }
+      }
+    },
+
+    "FollowUpRow": {
+      "type": "object",
+      "required": [
+        "id",
+        "ticketId",
+        "origin",
+        "newTaskId",
+        "title",
+        "suggestedTaskType",
+        "scope",
+        "reason",
+        "priority",
+        "autoSpawn"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": { "type": "string", "pattern": "^FU-\\d{3,}$" },
+        "ticketId": { "$ref": "#/$defs/TicketId" },
+        "origin": { "$ref": "#/$defs/FollowUpOrigin" },
+        "newTaskId": { "type": "string", "minLength": 1 },
+        "title": { "type": "string", "minLength": 1 },
+        "suggestedTaskType": { "$ref": "#/$defs/TaskType" },
+        "scope": { "type": "string", "minLength": 1 },
+        "reason": { "type": "string", "minLength": 1 },
+        "priority": { "$ref": "#/$defs/Priority" },
+        "autoSpawn": { "enum": ["yes", "no"] }
+      },
+      "allOf": [
+        {
+          "description": "phase-continuation rows MUST have autoSpawn=no (advances via /okstra-run, no new dir).",
+          "if": {
+            "properties": { "origin": { "const": "phase-continuation" } }
+          },
+          "then": {
+            "properties": { "autoSpawn": { "const": "no" } }
+          }
+        }
+      ]
+    }
+  }
+}