okstra 0.143.0 → 0.145.0

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

@@ -386,6 +386,22 @@
 
     "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.",
@@ -826,6 +842,48 @@
         "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": {
@@ -875,6 +933,9 @@
               "taskType": {
                 "enum": [
                   "requirements-discovery",
+                  "project-analysis",
+                  "feature-analysis",
+                  "change-impact-analysis",
                   "implementation-planning",
                   "error-analysis",
                   "implementation",
@@ -902,6 +963,44 @@
         }
       }
     },
+    {
+      "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": {
@@ -920,12 +1019,21 @@
       }
     },
     {
-      "description": "Non-final-verification verdict token must be `not-applicable`.",
+      "description": "Non-analysis, non-final-verification verdict token must be `not-applicable`.",
       "if": {
         "properties": {
           "header": {
             "properties": {
-              "taskType": { "not": { "const": "final-verification" } }
+              "taskType": {
+                "enum": [
+                  "requirements-discovery",
+                  "error-analysis",
+                  "implementation-planning",
+                  "implementation",
+                  "release-handoff",
+                  "quick"
+                ]
+              }
             }
           }
         },
@@ -949,6 +1057,9 @@
       "enum": [
         "requirements-discovery",
         "error-analysis",
+        "project-analysis",
+        "feature-analysis",
+        "change-impact-analysis",
         "implementation-planning",
         "implementation",
         "final-verification",
@@ -958,7 +1069,14 @@
     },
 
     "VerdictToken": {
-      "enum": ["accepted", "conditional-accept", "blocked", "not-applicable"]
+      "enum": [
+        "accepted",
+        "conditional-accept",
+        "analysis-complete",
+        "analysis-partial",
+        "blocked",
+        "not-applicable"
+      ]
     },
 
     "Direction": {
@@ -1095,6 +1213,734 @@
       "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 }
+      }
+    },
+
+    "ProjectAnalysis": {
+      "type": "object",
+      "required": [
+        "components",
+        "dependencies",
+        "entryPoints",
+        "dataStores",
+        "externalSystems",
+        "featureIndex",
+        "scanCoverage"
+      ],
+      "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" }
+        },
+        "scanCoverage": { "$ref": "#/$defs/ProjectScanCoverage" }
+      }
+    },
+
+    "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 }
+        }
+      }
+    },
+
+    "FeatureAnalysis": {
+      "type": "object",
+      "required": [
+        "target",
+        "flows",
+        "domainRules",
+        "stateChanges",
+        "externalInteractions",
+        "testCoverage"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "target": { "$ref": "#/$defs/FeatureTarget" },
+        "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" }
+        }
+      }
+    },
+
+    "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" }
+      }
+    },
+
+    "ChangeImpactAnalysis": {
+      "type": "object",
+      "required": [
+        "changeRequest",
+        "preservedBehaviors",
+        "impactItems",
+        "dependencyBlastRadius",
+        "testImpact",
+        "operationalImpact",
+        "planningInputs"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "changeRequest": { "$ref": "#/$defs/ChangeRequest" },
+        "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" }
+        }
+      }
+    },
+
     "SourceItem": {
       "type": "string",
       "pattern": "^[a-z][a-z-]*:[A-Za-z0-9._-]+$",