okstra 0.172.0 → 0.173.0

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

@@ -124,6 +124,11 @@
         "implementationOption": {
           "type": "string",
           "description": "유저가 implementation-planning final-report 에서 고른 Option Candidate 이름. report-writer 는 항상 빈 문자열로 발행하고, 사용자가 `--implementation-option <name>` 또는 직접 편집으로 채웁니다. `implementation` task-type 이 이 값으로 진행하며, 비어 있으면 plan 의 `Recommended Option` 으로 폴백합니다. 다른 task-type 에서는 의미 없이 빈 값으로 유지됩니다."
+        },
+        "selectedDirectionRef": {
+          "type": "string",
+          "minLength": 1,
+          "description": "selected-direction implementation-planning reports only: project-relative path to instruction-set/selected-direction.json."
         }
       }
     },
@@ -565,28 +570,154 @@
     "changeImpactAnalysis": {
       "$ref": "#/$defs/ChangeImpactAnalysis"
     },
+    "implementationOptionSelection": {
+      "$ref": "#/$defs/ImplementationOptionSelection"
+    },
     "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,
+      "oneOf": [
+        {
+          "description": "Legacy implementation-option planning contract.",
+          "required": [
+            "optionCandidates",
+            "tradeoffMatrix",
+            "recommendedOption",
+            "stageMap",
+            "stages",
+            "dependencyMigrationRisk",
+            "validationChecklist",
+            "rollbackStrategy",
+            "requirementCoverage",
+            "planBodyVerification",
+            "crossProjectDependencies",
+            "decisionDrafts",
+            "skippedAdrCandidates",
+            "variationPointAnalysis",
+            "userNarrative"
+          ],
+          "properties": {
+            "requirementCoverage": {
+              "type": "array",
+              "minItems": 1,
+              "items": {
+                "$ref": "#/$defs/ImplementationRequirementCoverageRow"
+              }
+            }
+          },
+          "allOf": [
+            {"not": {"required": ["planningContract"]}},
+            {"not": {"required": ["outcome"]}},
+            {"not": {"required": ["selectedDirectionRef"]}},
+            {"not": {"required": ["directionRealization"]}},
+            {"not": {"required": ["directionInvalidation"]}},
+            {"not": {"required": ["routing"]}},
+            {"not": {"required": ["coverageSummary"]}}
+          ]
+        },
+        {
+          "description": "A detailed plan for one direction selected by implementation-option-selection.",
+          "required": [
+            "planningContract",
+            "outcome",
+            "selectedDirectionRef"
+          ],
+          "properties": {
+            "planningContract": {"const": "selected-direction"}
+          },
+          "allOf": [
+            {"not": {"required": ["optionCandidates"]}},
+            {"not": {"required": ["tradeoffMatrix"]}},
+            {"not": {"required": ["recommendedOption"]}}
+          ],
+          "oneOf": [
+            {
+              "description": "The selected direction is fully realized as an executable plan.",
+              "required": [
+                "directionRealization",
+                "stageMap",
+                "stages",
+                "designPreparation",
+                "dependencyMigrationRisk",
+                "validationChecklist",
+                "rollbackStrategy",
+                "requirementCoverage",
+                "coverageSummary",
+                "variationPointAnalysis",
+                "planBodyVerification"
+              ],
+              "properties": {
+                "outcome": {"const": "plan-ready"},
+                "requirementCoverage": {
+                  "type": "array",
+                  "minItems": 1,
+                  "items": {
+                    "$ref": "#/$defs/SelectedDirectionRequirementCoverage"
+                  }
+                }
+              },
+              "allOf": [
+                {"not": {"required": ["directionInvalidation"]}},
+                {"not": {"required": ["routing"]}}
+              ]
+            },
+            {
+              "description": "Planning evidence invalidated the selected direction and routes back to option selection.",
+              "required": [
+                "directionInvalidation",
+                "routing"
+              ],
+              "properties": {
+                "outcome": {"const": "direction-invalidated"},
+                "routing": {"const": "implementation-option-selection"}
+              },
+              "allOf": [
+                {"not": {"required": ["directionRealization"]}},
+                {"not": {"required": ["stageMap"]}},
+                {"not": {"required": ["stages"]}},
+                {"not": {"required": ["designPreparation"]}},
+                {"not": {"required": ["dependencyMigrationRisk"]}},
+                {"not": {"required": ["validationChecklist"]}},
+                {"not": {"required": ["rollbackStrategy"]}},
+                {"not": {"required": ["requirementCoverage"]}},
+                {"not": {"required": ["coverageSummary"]}},
+                {"not": {"required": ["variationPointAnalysis"]}},
+                {"not": {"required": ["planBodyVerification"]}},
+                {"not": {"required": ["stepwiseExecution"]}},
+                {"not": {"required": ["supersessionLedger"]}},
+                {"not": {"required": ["crossProjectDependencies"]}},
+                {"not": {"required": ["decisionDrafts"]}},
+                {"not": {"required": ["skippedAdrCandidates"]}},
+                {"not": {"required": ["incrementalDecision"]}},
+                {"not": {"required": ["userNarrative"]}}
+              ]
+            }
+          ]
+        }
+      ],
       "properties": {
+        "planningContract": {
+          "const": "selected-direction"
+        },
+        "outcome": {
+          "enum": [
+            "plan-ready",
+            "direction-invalidated"
+          ]
+        },
+        "selectedDirectionRef": {
+          "$ref": "#/$defs/SelectedDirectionRef"
+        },
+        "directionRealization": {
+          "$ref": "#/$defs/DirectionRealization"
+        },
+        "directionInvalidation": {
+          "$ref": "#/$defs/DirectionInvalidation"
+        },
+        "routing": {
+          "const": "implementation-option-selection"
+        },
         "optionCandidates": {
           "type": "array",
           "minItems": 2,
@@ -656,11 +787,10 @@
           }
         },
         "requirementCoverage": {
-          "type": "array",
-          "minItems": 1,
-          "items": {
-            "$ref": "#/$defs/ImplementationRequirementCoverageRow"
-          }
+          "type": "array"
+        },
+        "coverageSummary": {
+          "$ref": "#/$defs/SelectedDirectionCoverageSummary"
         },
         "planBodyVerification": {
           "$ref": "#/$defs/PlanBodyVerification"
@@ -1374,7 +1504,8 @@
         },
         "routingRecommendation": {
           "type": "string",
-          "minLength": 1
+          "minLength": 1,
+          "pattern": "(^|[^A-Za-z-])(release-handoff\\(stage-group\\)|release-handoff|done|implementation|error-analysis|implementation-option-selection|implementation-planning)([^A-Za-z-]|$)"
         },
         "userNarrative": {
           "$ref": "#/$defs/FinalVerificationUserNarrative"
@@ -1446,6 +1577,54 @@
     }
   },
   "allOf": [
+    {
+      "description": "Frontmatter approval input matches the implementation-planning contract.",
+      "if": {
+        "properties": {
+          "implementationPlanning": {
+            "properties": {
+              "planningContract": {
+                "const": "selected-direction"
+              }
+            },
+            "required": [
+              "planningContract"
+            ]
+          }
+        },
+        "required": [
+          "implementationPlanning"
+        ]
+      },
+      "then": {
+        "properties": {
+          "frontmatter": {
+            "required": [
+              "selectedDirectionRef"
+            ],
+            "not": {
+              "required": [
+                "implementationOption"
+              ]
+            }
+          }
+        }
+      },
+      "else": {
+        "properties": {
+          "frontmatter": {
+            "required": [
+              "implementationOption"
+            ],
+            "not": {
+              "required": [
+                "selectedDirectionRef"
+              ]
+            }
+          }
+        }
+      }
+    },
     {
       "description": "requirements-discovery requires a structured requirements block.",
       "if": {
@@ -1629,6 +1808,28 @@
         ]
       }
     },
+    {
+      "description": "implementation-option-selection requires its structured comparison block.",
+      "if": {
+        "properties": {
+          "header": {
+            "properties": {
+              "taskType": {
+                "const": "implementation-option-selection"
+              }
+            }
+          }
+        },
+        "required": [
+          "header"
+        ]
+      },
+      "then": {
+        "required": [
+          "implementationOptionSelection"
+        ]
+      }
+    },
     {
       "description": "implementation-planning task-type requires §5.5 block.",
       "if": {
@@ -1729,6 +1930,7 @@
                   "project-analysis",
                   "feature-analysis",
                   "change-impact-analysis",
+                  "implementation-option-selection",
                   "implementation-planning",
                   "error-analysis",
                   "implementation",
@@ -1859,6 +2061,7 @@
                 "enum": [
                   "requirements-discovery",
                   "error-analysis",
+                  "implementation-option-selection",
                   "implementation-planning",
                   "implementation",
                   "release-handoff",
@@ -1888,6 +2091,28 @@
           }
         }
       }
+    },
+    {
+      "description": "The implementation-option-selection block is mutually exclusive with every other task deliverable.",
+      "if": {
+        "required": [
+          "implementationOptionSelection"
+        ]
+      },
+      "then": {
+        "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"]}},
+          {"not": {"required": ["releaseHandoff"]}}
+        ]
+      }
     }
   ],
   "oneOf": [
@@ -2311,6 +2536,23 @@
         }
       ]
     },
+    {
+      "required": [
+        "implementationOptionSelection"
+      ],
+      "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"]}},
+        {"not": {"required": ["releaseHandoff"]}}
+      ]
+    },
     {
       "required": [
         "implementationPlanning"
@@ -2519,177 +2761,1221 @@
             ]
           }
         }
-      ]
+      ]
+    },
+    {
+      "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": {
+    "ActivityCommand": {
+      "type": "object",
+      "required": [
+        "command",
+        "cwd",
+        "exitCode",
+        "outputSummary"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "command": {
+          "type": "string"
+        },
+        "cwd": {
+          "type": "string"
+        },
+        "exitCode": {
+          "type": "integer"
+        },
+        "outputSummary": {
+          "type": "string"
+        }
+      }
+    },
+    "AgentActivityRow": {
+      "type": "object",
+      "required": [
+        "activityId",
+        "kind",
+        "agent",
+        "summary",
+        "planItemIds",
+        "resultPath",
+        "commands",
+        "evidenceRefs",
+        "outcome"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "activityId": {
+          "type": "string",
+          "pattern": "^A-\\d{3,}$"
+        },
+        "kind": {
+          "type": "string",
+          "enum": [
+            "worker-dispatched",
+            "worker-completed",
+            "verification-round-completed",
+            "self-fix-applied",
+            "user-decision-required",
+            "user-decision-evaluated"
+          ]
+        },
+        "agent": {
+          "type": "string",
+          "minLength": 1
+        },
+        "summary": {
+          "type": "string",
+          "minLength": 1
+        },
+        "planItemIds": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "resultPath": {
+          "type": "string"
+        },
+        "commands": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ActivityCommand"
+          }
+        },
+        "evidenceRefs": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "outcome": {
+          "type": "string",
+          "enum": [
+            "pending",
+            "completed",
+            "failed",
+            "blocked",
+            "resolved"
+          ]
+        }
+      }
+    },
+    "ImplementationOptionSelection": {
+      "type": "object",
+      "description": "Read-only comparison or validation of implementation directions before detailed planning.",
+      "required": [
+        "mode",
+        "decisionContext",
+        "evaluationCriteria",
+        "candidateAudit",
+        "rankedOptions",
+        "recommendedOptionId",
+        "preselectedDirection",
+        "routing",
+        "userNarrative"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "mode": {
+          "enum": [
+            "candidate-comparison",
+            "preselected-validation"
+          ]
+        },
+        "decisionContext": {
+          "$ref": "#/$defs/ImplementationOptionDecisionContext"
+        },
+        "evaluationCriteria": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionEvaluationCriterion"
+          }
+        },
+        "candidateAudit": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionCandidateAudit"
+          }
+        },
+        "rankedOptions": {
+          "type": "array",
+          "maxItems": 3,
+          "items": {
+            "$ref": "#/$defs/ImplementationRankedOption"
+          }
+        },
+        "recommendedOptionId": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "pattern": "^IO-[0-9]{3}$"
+        },
+        "preselectedDirection": {
+          "oneOf": [
+            {
+              "type": "null"
+            },
+            {
+              "$ref": "#/$defs/ImplementationOptionPreselectedDirection"
+            }
+          ]
+        },
+        "routing": {
+          "enum": [
+            "pending-direction-selection",
+            "implementation-planning",
+            "blocked"
+          ]
+        },
+        "userNarrative": {
+          "$ref": "#/$defs/ImplementationOptionSelectionUserNarrative"
+        }
+      }
+    },
+    "ImplementationOptionDecisionContext": {
+      "type": "object",
+      "required": [
+        "originalRequirementIds",
+        "leadingCauseRefs",
+        "upstreamDecisionRefs"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "originalRequirementIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^(EB|PB|EO)-[0-9]{3}$"
+          }
+        },
+        "leadingCauseRefs": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "upstreamDecisionRefs": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      }
+    },
+    "ImplementationOptionEvaluationCriterion": {
+      "type": "object",
+      "required": [
+        "criterion",
+        "weight",
+        "rationale"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "criterion": {
+          "$ref": "#/$defs/ImplementationOptionCriterion"
+        },
+        "weight": {
+          "type": "integer",
+          "minimum": 1,
+          "maximum": 5
+        },
+        "rationale": {
+          "type": "string",
+          "minLength": 1
+        }
+      }
+    },
+    "ImplementationOptionCandidateAudit": {
+      "type": "object",
+      "required": [
+        "id",
+        "name",
+        "proposedBy",
+        "goal",
+        "coreMechanism",
+        "architectureBoundaries",
+        "expectedChangeAreas",
+        "disposition",
+        "mergedInto",
+        "reason",
+        "evidence",
+        "requirementCoverage",
+        "scopeCommitments",
+        "coverageSummary",
+        "criterionScores",
+        "weightedScore",
+        "feasibilityVotes",
+        "safetyBlockers",
+        "unresolvedFeasibilityFacts"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": {
+          "$ref": "#/$defs/ImplementationOptionId"
+        },
+        "name": {
+          "type": "string",
+          "minLength": 1
+        },
+        "proposedBy": {
+          "type": "string",
+          "minLength": 1
+        },
+        "goal": {
+          "type": "string",
+          "minLength": 1
+        },
+        "coreMechanism": {
+          "type": "string",
+          "minLength": 1
+        },
+        "architectureBoundaries": {
+          "$ref": "#/$defs/ImplementationOptionNonEmptyStrings"
+        },
+        "expectedChangeAreas": {
+          "$ref": "#/$defs/ImplementationOptionNonEmptyStrings"
+        },
+        "disposition": {
+          "enum": [
+            "merged",
+            "rejected"
+          ]
+        },
+        "mergedInto": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "pattern": "^IO-[0-9]{3}$"
+        },
+        "reason": {
+          "type": "string",
+          "minLength": 1
+        },
+        "evidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        },
+        "requirementCoverage": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionRequirementCoverage"
+          }
+        },
+        "scopeCommitments": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionScopeCommitment"
+          }
+        },
+        "coverageSummary": {
+          "$ref": "#/$defs/ImplementationOptionCoverageSummary"
+        },
+        "criterionScores": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionCriterionScore"
+          }
+        },
+        "weightedScore": {
+          "type": "number",
+          "minimum": 1,
+          "maximum": 5
+        },
+        "feasibilityVotes": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionFeasibilityVote"
+          }
+        },
+        "safetyBlockers": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionSafetyBlocker"
+          }
+        },
+        "unresolvedFeasibilityFacts": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionUnresolvedFact"
+          }
+        }
+      }
+    },
+    "ImplementationRankedOption": {
+      "type": "object",
+      "required": [
+        "id",
+        "name",
+        "proposedBy",
+        "goal",
+        "coreMechanism",
+        "architectureBoundaries",
+        "expectedChangeAreas",
+        "codeEvidence",
+        "requirementCoverage",
+        "scopeCommitments",
+        "coverageSummary",
+        "criterionScores",
+        "weightedScore",
+        "feasibilityVotes",
+        "safetyBlockers",
+        "unresolvedFeasibilityFacts",
+        "planningInvariants"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": {
+          "$ref": "#/$defs/ImplementationOptionId"
+        },
+        "name": {
+          "type": "string",
+          "minLength": 1,
+          "pattern": "^(?![\\s\\S]*[\\r\\n])(?=[\\s\\S]*[^\\u0009\\u000a\\u000b\\u000c\\u000d\\u001c\\u001d\\u001e\\u001f\\u0020\\u0085\\u00a0\\u1680\\u2000\\u2001\\u2002\\u2003\\u2004\\u2005\\u2006\\u2007\\u2008\\u2009\\u200a\\u2028\\u2029\\u202f\\u205f\\u3000\\ufeff])[\\s\\S]+$"
+        },
+        "proposedBy": {
+          "type": "string",
+          "minLength": 1
+        },
+        "goal": {
+          "type": "string",
+          "minLength": 1
+        },
+        "coreMechanism": {
+          "type": "string",
+          "minLength": 1
+        },
+        "architectureBoundaries": {
+          "$ref": "#/$defs/ImplementationOptionNonEmptyStrings"
+        },
+        "expectedChangeAreas": {
+          "$ref": "#/$defs/ImplementationOptionNonEmptyStrings"
+        },
+        "codeEvidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        },
+        "requirementCoverage": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionRequirementCoverage"
+          }
+        },
+        "scopeCommitments": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionScopeCommitment"
+          }
+        },
+        "coverageSummary": {
+          "$ref": "#/$defs/ImplementationOptionExactCoverageSummary"
+        },
+        "criterionScores": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionCriterionScore"
+          }
+        },
+        "weightedScore": {
+          "type": "number",
+          "minimum": 1,
+          "maximum": 5
+        },
+        "feasibilityVotes": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionFeasibilityVote"
+          }
+        },
+        "safetyBlockers": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionSafetyBlocker"
+          }
+        },
+        "unresolvedFeasibilityFacts": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionUnresolvedFact"
+          }
+        },
+        "planningInvariants": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionPlanningInvariant"
+          }
+        }
+      }
+    },
+    "ImplementationOptionRequirementCoverage": {
+      "type": "object",
+      "required": [
+        "requirementId",
+        "satisfaction",
+        "evidence",
+        "expectedVerification",
+        "status"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "requirementId": {
+          "type": "string",
+          "pattern": "^(EB|PB|EO)-[0-9]{3}$"
+        },
+        "satisfaction": {
+          "type": "string",
+          "minLength": 1
+        },
+        "evidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        },
+        "expectedVerification": {
+          "type": "string",
+          "minLength": 1
+        },
+        "status": {
+          "enum": [
+            "covered",
+            "not-covered",
+            "contradicted"
+          ]
+        }
+      }
+    },
+    "ImplementationOptionScopeCommitment": {
+      "type": "object",
+      "required": [
+        "id",
+        "commitment",
+        "kind",
+        "requirementIds",
+        "evidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^IC-[0-9]{3}$"
+        },
+        "commitment": {
+          "type": "string",
+          "minLength": 1
+        },
+        "kind": {
+          "enum": [
+            "user-behavior",
+            "code-change",
+            "migration",
+            "operational-change",
+            "preserved-behavior",
+            "derived-work"
+          ]
+        },
+        "requirementIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^(EB|PB|EO)-[0-9]{3}$"
+          }
+        },
+        "evidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        }
+      }
+    },
+    "ImplementationOptionCoverageSummary": {
+      "type": "object",
+      "required": [
+        "coveragePercent",
+        "scopePrecisionPercent",
+        "coveredCount",
+        "totalCount",
+        "unmappedCommitments",
+        "contradictedRequirements",
+        "coverageVerdict"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "coveragePercent": {
+          "type": "number",
+          "minimum": 0,
+          "maximum": 100
+        },
+        "scopePrecisionPercent": {
+          "type": "number",
+          "minimum": 0,
+          "maximum": 100
+        },
+        "coveredCount": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "totalCount": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "unmappedCommitments": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^IC-[0-9]{3}$"
+          }
+        },
+        "contradictedRequirements": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^(EB|PB|EO)-[0-9]{3}$"
+          }
+        },
+        "coverageVerdict": {
+          "enum": [
+            "exact",
+            "under",
+            "over",
+            "contradicted"
+          ]
+        }
+      }
+    },
+    "ImplementationOptionExactCoverageSummary": {
+      "type": "object",
+      "required": [
+        "coveragePercent",
+        "scopePrecisionPercent",
+        "coveredCount",
+        "totalCount",
+        "unmappedCommitments",
+        "contradictedRequirements",
+        "coverageVerdict"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "coveragePercent": {
+          "const": 100
+        },
+        "scopePrecisionPercent": {
+          "const": 100
+        },
+        "coveredCount": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "totalCount": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "unmappedCommitments": {
+          "type": "array",
+          "maxItems": 0
+        },
+        "contradictedRequirements": {
+          "type": "array",
+          "maxItems": 0
+        },
+        "coverageVerdict": {
+          "const": "exact"
+        }
+      }
+    },
+    "ImplementationOptionCriterionScore": {
+      "type": "object",
+      "required": [
+        "criterion",
+        "score",
+        "rationale"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "criterion": {
+          "$ref": "#/$defs/ImplementationOptionCriterion"
+        },
+        "score": {
+          "type": "integer",
+          "minimum": 1,
+          "maximum": 5
+        },
+        "rationale": {
+          "type": "string",
+          "minLength": 1
+        }
+      }
+    },
+    "ImplementationOptionFeasibilityVote": {
+      "type": "object",
+      "required": [
+        "worker",
+        "verdict",
+        "rationale",
+        "counterevidence",
+        "evidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "worker": {
+          "type": "string",
+          "minLength": 1
+        },
+        "verdict": {
+          "enum": [
+            "feasible",
+            "not-feasible",
+            "uncertain"
+          ]
+        },
+        "rationale": {
+          "type": "string",
+          "minLength": 1
+        },
+        "counterevidence": {
+          "type": "string",
+          "minLength": 1
+        },
+        "evidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        }
+      }
+    },
+    "ImplementationOptionSafetyBlocker": {
+      "type": "object",
+      "required": [
+        "category",
+        "statement",
+        "evidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "category": {
+          "enum": [
+            "data-loss",
+            "security-violation",
+            "irreversible-migration"
+          ]
+        },
+        "statement": {
+          "type": "string",
+          "minLength": 1
+        },
+        "evidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        }
+      }
+    },
+    "ImplementationOptionUnresolvedFact": {
+      "type": "object",
+      "required": [
+        "fact",
+        "whyItMatters",
+        "evidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "fact": {
+          "type": "string",
+          "minLength": 1
+        },
+        "whyItMatters": {
+          "type": "string",
+          "minLength": 1
+        },
+        "evidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        }
+      }
+    },
+    "ImplementationOptionPlanningInvariant": {
+      "type": "object",
+      "required": [
+        "id",
+        "statement",
+        "requirementIds",
+        "evidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^PI-[0-9]{3}$"
+        },
+        "statement": {
+          "type": "string",
+          "minLength": 1
+        },
+        "requirementIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^(EB|PB|EO)-[0-9]{3}$"
+          }
+        },
+        "evidence": {
+          "$ref": "#/$defs/ImplementationOptionEvidenceRefs"
+        }
+      }
+    },
+    "ImplementationOptionPreselectedDirection": {
+      "type": "object",
+      "required": [
+        "optionId",
+        "direction",
+        "confirmationEvidence",
+        "citation"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "optionId": {
+          "$ref": "#/$defs/ImplementationOptionId"
+        },
+        "direction": {
+          "type": "string",
+          "minLength": 1
+        },
+        "confirmationEvidence": {
+          "type": "string",
+          "minLength": 1
+        },
+        "citation": {
+          "type": "string",
+          "minLength": 1
+        }
+      }
+    },
+    "ImplementationOptionSelectionUserNarrative": {
+      "type": "object",
+      "required": [
+        "comparisonOverview",
+        "rankingExplanation",
+        "selectionGuidance"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "comparisonOverview": {
+          "$ref": "#/$defs/HumanNarrative"
+        },
+        "rankingExplanation": {
+          "$ref": "#/$defs/HumanNarrative"
+        },
+        "selectionGuidance": {
+          "$ref": "#/$defs/HumanNarrative"
+        }
+      }
+    },
+    "ImplementationOptionId": {
+      "type": "string",
+      "pattern": "^IO-[0-9]{3}$"
+    },
+    "ImplementationOptionCriterion": {
+      "enum": [
+        "requirement-fit",
+        "architecture-fit",
+        "change-locality",
+        "implementation-complexity",
+        "correctness-risk",
+        "reversibility",
+        "verification-cost",
+        "rollout-cost"
+      ]
+    },
+    "ImplementationOptionEvidenceRefs": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "ImplementationOptionNonEmptyStrings": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "SelectedDirectionRef": {
+      "type": "object",
+      "required": [
+        "sourceReport",
+        "sourceDataSha256",
+        "optionId",
+        "snapshotPath",
+        "snapshotSha256"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "sourceReport": {
+          "type": "string",
+          "minLength": 1
+        },
+        "sourceDataSha256": {
+          "type": "string",
+          "pattern": "^[0-9a-f]{64}$"
+        },
+        "optionId": {
+          "$ref": "#/$defs/ImplementationOptionId"
+        },
+        "snapshotPath": {
+          "type": "string",
+          "minLength": 1
+        },
+        "snapshotSha256": {
+          "type": "string",
+          "pattern": "^[0-9a-f]{64}$"
+        }
+      }
     },
-    {
+    "DirectionRealization": {
+      "type": "object",
       "required": [
-        "releaseHandoff"
+        "goal",
+        "coreMechanism",
+        "architectureBoundaries",
+        "expectedChangeAreas",
+        "fileStructure",
+        "interfaces",
+        "blastRadius",
+        "testSeams",
+        "assumptions",
+        "planningInvariants",
+        "userConstraints"
       ],
-      "allOf": [
-        {
-          "not": {
-            "required": [
-              "requirementsDiscovery"
-            ]
-          }
+      "additionalProperties": false,
+      "properties": {
+        "goal": {
+          "type": "string",
+          "minLength": 1
         },
-        {
-          "not": {
-            "required": [
-              "improvementDiscovery"
-            ]
-          }
+        "coreMechanism": {
+          "type": "string",
+          "minLength": 1
         },
-        {
-          "not": {
-            "required": [
-              "errorAnalysis"
-            ]
-          }
+        "architectureBoundaries": {
+          "$ref": "#/$defs/ImplementationOptionNonEmptyStrings"
         },
-        {
-          "not": {
-            "required": [
-              "projectAnalysis"
-            ]
-          }
+        "expectedChangeAreas": {
+          "$ref": "#/$defs/ImplementationOptionNonEmptyStrings"
         },
-        {
-          "not": {
-            "required": [
-              "featureAnalysis"
-            ]
+        "fileStructure": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/SelectedDirectionFileChange"
           }
         },
-        {
-          "not": {
-            "required": [
-              "changeImpactAnalysis"
-            ]
+        "interfaces": {
+          "type": "string",
+          "minLength": 1
+        },
+        "blastRadius": {
+          "type": "string",
+          "minLength": 1
+        },
+        "testSeams": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SelectedDirectionTestSeam"
           }
         },
-        {
-          "not": {
-            "required": [
-              "implementationPlanning"
-            ]
+        "assumptions": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
           }
         },
-        {
-          "not": {
-            "required": [
-              "implementation"
-            ]
+        "planningInvariants": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ImplementationOptionPlanningInvariant"
           }
         },
-        {
-          "not": {
-            "required": [
-              "finalVerification"
-            ]
+        "userConstraints": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
           }
         }
-      ]
-    }
-  ],
-  "$defs": {
-    "ActivityCommand": {
+      }
+    },
+    "SelectedDirectionFileChange": {
       "type": "object",
       "required": [
-        "command",
-        "cwd",
-        "exitCode",
-        "outputSummary"
+        "id",
+        "ticketId",
+        "action",
+        "path",
+        "summary"
       ],
       "additionalProperties": false,
       "properties": {
-        "command": {
-          "type": "string"
+        "id": {
+          "type": "string",
+          "pattern": "^OF-\\d{3,}$"
         },
-        "cwd": {
-          "type": "string"
+        "ticketId": {
+          "$ref": "#/$defs/TicketId"
         },
-        "exitCode": {
-          "type": "integer"
+        "action": {
+          "enum": [
+            "Create",
+            "Modify",
+            "Delete"
+          ]
         },
-        "outputSummary": {
-          "type": "string"
+        "path": {
+          "type": "string",
+          "minLength": 1
+        },
+        "summary": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 120
+        },
+        "details": {
+          "type": "string",
+          "minLength": 1
         }
       }
     },
-    "AgentActivityRow": {
+    "SelectedDirectionTestSeam": {
       "type": "object",
       "required": [
-        "activityId",
-        "kind",
-        "agent",
-        "summary",
-        "planItemIds",
-        "resultPath",
-        "commands",
-        "evidenceRefs",
-        "outcome"
+        "boundary",
+        "injectedAs",
+        "replacedInTest"
       ],
       "additionalProperties": false,
       "properties": {
-        "activityId": {
-          "type": "string",
-          "pattern": "^A-\\d{3,}$"
-        },
-        "kind": {
+        "boundary": {
           "type": "string",
-          "enum": [
-            "worker-dispatched",
-            "worker-completed",
-            "verification-round-completed",
-            "self-fix-applied",
-            "user-decision-required",
-            "user-decision-evaluated"
-          ]
+          "minLength": 1
         },
-        "agent": {
+        "injectedAs": {
           "type": "string",
           "minLength": 1
         },
-        "summary": {
+        "replacedInTest": {
           "type": "string",
           "minLength": 1
+        }
+      }
+    },
+    "SelectedDirectionRequirementCoverage": {
+      "type": "object",
+      "required": [
+        "originalRequirementId",
+        "stageRefs",
+        "stepRefs",
+        "validationRefs",
+        "fileRefs",
+        "status"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "originalRequirementId": {
+          "type": "string",
+          "pattern": "^(EB|PB|EO)-[0-9]{3}$"
         },
-        "planItemIds": {
+        "stageRefs": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "type": "integer",
+            "minimum": 1
+          }
+        },
+        "stepRefs": {
           "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
           "items": {
             "type": "string",
             "minLength": 1
           }
         },
-        "resultPath": {
-          "type": "string"
-        },
-        "commands": {
+        "validationRefs": {
           "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
           "items": {
-            "$ref": "#/$defs/ActivityCommand"
+            "type": "string",
+            "minLength": 1
           }
         },
-        "evidenceRefs": {
+        "fileRefs": {
           "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
           "items": {
             "type": "string",
             "minLength": 1
           }
         },
-        "outcome": {
-          "type": "string",
+        "status": {
           "enum": [
-            "pending",
-            "completed",
-            "failed",
-            "blocked",
-            "resolved"
+            "covered",
+            "not-covered"
           ]
         }
       }
     },
+    "SelectedDirectionCoverageSummary": {
+      "type": "object",
+      "required": [
+        "coveragePercent",
+        "scopePrecisionPercent",
+        "coverageVerdict",
+        "unmappedStages",
+        "unmappedFileChanges"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "coveragePercent": {
+          "const": 100
+        },
+        "scopePrecisionPercent": {
+          "const": 100
+        },
+        "coverageVerdict": {
+          "const": "exact"
+        },
+        "unmappedStages": {
+          "type": "array",
+          "maxItems": 0,
+          "items": {
+            "type": "integer",
+            "minimum": 1
+          }
+        },
+        "unmappedFileChanges": {
+          "type": "array",
+          "maxItems": 0,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      }
+    },
+    "DirectionInvalidation": {
+      "type": "object",
+      "required": [
+        "reasons",
+        "codeEvidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "reasons": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "codeEvidence": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      }
+    },
     "TaskType": {
       "enum": [
         "requirements-discovery",
@@ -2698,6 +3984,7 @@
         "project-analysis",
         "feature-analysis",
         "change-impact-analysis",
+        "implementation-option-selection",
         "implementation-planning",
         "implementation",
         "final-verification",
@@ -3205,7 +4492,7 @@
             "nextTaskType": {
               "enum": [
                 "error-analysis",
-                "implementation-planning"
+                "implementation-option-selection"
               ]
             },
             "readyWhen": {
@@ -3334,7 +4621,7 @@
         "recommendedNextPhase": {
           "enum": [
             "requirements-discovery",
-            "implementation-planning",
+            "implementation-option-selection",
             "error-analysis"
           ]
         },
@@ -3428,6 +4715,7 @@
     "Direction": {
       "enum": [
         "continue-investigation",
+        "begin-option-selection",
         "begin-planning",
         "begin-implementation",
         "approve",
@@ -3576,7 +4864,7 @@
             "nextTaskType": {
               "enum": [
                 "error-analysis",
-                "implementation-planning"
+                "implementation-option-selection"
               ]
             },
             "leadingCauseId": {
@@ -8256,8 +9544,11 @@
           "minLength": 1
         },
         "followUpPhase": {
-          "type": "string",
-          "minLength": 1
+          "enum": [
+            "error-analysis",
+            "implementation-option-selection",
+            "implementation-planning"
+          ]
         }
       }
     },