codex-workflows 0.6.7 → 0.6.9

package/.codex/agents/quality-fixer-frontend.toml

@@ -185,123 +185,22 @@ Before setting status to blocked, confirm specifications in this order:
 
 **When incomplete implementation is detected**:
 ```json
-{
-  "status": "stub_detected",
-  "summary": "Incomplete frontend implementation detected in changed code before quality checks.",
-  "stubFindings": [
-    {
-      "file": "src/components/CheckoutButton.tsx",
-      "indicator": "placeholder handler",
-      "details": "onClick handler still contains placeholder logic for required submission flow"
-    }
-  ],
-  "nextActions": "Return to task-executor-frontend and complete the implementation before re-running quality-fixer-frontend."
-}
+{"status":"stub_detected","summary":"Incomplete frontend implementation detected in changed code before quality checks.","stubFindings":[{"file":"src/components/CheckoutButton.tsx","indicator":"placeholder handler","details":"onClick handler still contains placeholder logic for required submission flow"}],"nextActions":"Return to task-executor-frontend and complete the implementation before re-running quality-fixer-frontend."}
 ```
 
 **When quality check succeeds**:
 ```json
-{
-  "status": "approved",
-  "summary": "Overall frontend quality check completed. All checks passed.",
-  "checksPerformed": {
-    "lint_format": {
-      "status": "passed",
-      "commands": ["<detected-lint-command>"],
-      "autoFixed": true
-    },
-    "typescript": {
-      "status": "passed",
-      "commands": ["<detected-build-command>"]
-    },
-    "tests": {
-      "status": "passed",
-      "commands": ["<detected-test-command>"],
-      "testsRun": 42,
-      "testsPassed": 42,
-      "coverage": "85%"
-    }
-  },
-  "fixesApplied": [
-    {
-      "type": "auto",
-      "category": "format",
-      "description": "Auto-fixed indentation and semicolons",
-      "filesCount": 5
-    },
-    {
-      "type": "manual",
-      "category": "type",
-      "description": "Replaced any type with unknown + type guards",
-      "filesCount": 3
-    }
-  ],
-  "taskFileMechanisms": {
-    "provided": true,
-    "executed": ["mechanism names that were found and executed"],
-    "skipped": [
-      {
-        "mechanism": "mechanism name",
-        "reason": "tool not found / config not found / not executable"
-      }
-    ]
-  },
-  "metrics": {
-    "totalErrors": 0,
-    "totalWarnings": 0,
-    "executionTime": "3m 30s"
-  },
-  "nextActions": "Ready to commit"
-}
+{"status":"approved","summary":"Overall frontend quality check completed. All checks passed.","checksPerformed":{"lint_format":{"status":"passed","commands":["<detected-lint-command>"],"autoFixed":true},"typescript":{"status":"passed","commands":["<detected-build-command>"]},"tests":{"status":"passed","commands":["<detected-test-command>"],"testsRun":42,"testsPassed":42,"coverage":"85%"}},"fixesApplied":[{"type":"auto","category":"format","description":"Auto-fixed indentation and semicolons","filesCount":5},{"type":"manual","category":"type","description":"Replaced any type with unknown + type guards","filesCount":3}],"taskFileMechanisms":{"provided":true,"executed":["mechanism names that were found and executed"],"skipped":[{"mechanism":"mechanism name","reason":"tool not found / config not found / not executable"}]},"metrics":{"totalErrors":0,"totalWarnings":0,"executionTime":"3m 30s"},"nextActions":"Ready to commit"}
 ```
 
 **blocked response format (specification conflict)**:
 ```json
-{
-  "status": "blocked",
-  "reason": "Cannot determine due to unclear specification",
-  "blockingIssues": [{
-    "type": "ux_specification_conflict",
-    "details": "Test expectation and implementation contradict on user interaction behavior",
-    "test_expects": "Button disabled on form error",
-    "implementation_behavior": "Button enabled, shows error on click",
-    "why_cannot_judge": "Correct UX specification unknown"
-  }],
-  "attemptedFixes": [
-    "Fix attempt 1: Tried aligning test to implementation",
-    "Fix attempt 2: Tried aligning implementation to test",
-    "Fix attempt 3: Tried inferring specification from Design Doc"
-  ],
-  "taskFileMechanisms": {
-    "provided": true,
-    "executed": ["mechanisms executed before blocking"],
-    "skipped": [{ "mechanism": "mechanism name", "reason": "tool not found / config not found / not executable" }]
-  },
-  "needsUserDecision": "Please confirm the correct button disabled behavior"
-}
+{"status":"blocked","reason":"Cannot determine due to unclear specification","blockingIssues":[{"type":"ux_specification_conflict","details":"Test expectation and implementation contradict on user interaction behavior","test_expects":"Button disabled on form error","implementation_behavior":"Button enabled, shows error on click","why_cannot_judge":"Correct UX specification unknown"}],"attemptedFixes":["Fix attempt 1: Tried aligning test to implementation","Fix attempt 2: Tried aligning implementation to test","Fix attempt 3: Tried inferring specification from Design Doc"],"taskFileMechanisms":{"provided":true,"executed":["mechanisms executed before blocking"],"skipped":[{"mechanism":"mechanism name","reason":"tool not found / config not found / not executable"}]},"needsUserDecision":"Please confirm the correct button disabled behavior"}
 ```
 
 **blocked response format (missing prerequisites)**:
 ```json
-{
-  "status": "blocked",
-  "reason": "Execution prerequisites not met",
-  "missingPrerequisites": [
-    {
-      "type": "browser_runtime",
-      "description": "Playwright browsers are not installed for E2E execution",
-      "affectedChecks": ["test:e2e"],
-      "resolutionSteps": ["Install the required browser runtime", "Re-run the E2E check command"]
-    }
-  ],
-  "taskFileMechanisms": {
-    "provided": true,
-    "executed": ["mechanisms executed before blocking"],
-    "skipped": [{ "mechanism": "mechanism name", "reason": "tool not found / config not found / not executable" }]
-  },
-  "checksSkipped": 1,
-  "checksPassedWithoutPrerequisites": 2
-}
+{"status":"blocked","reason":"Execution prerequisites not met","missingPrerequisites":[{"type":"browser_runtime","description":"Playwright browsers are not installed for E2E execution","affectedChecks":["test:e2e"],"resolutionSteps":["Install the required browser runtime","Re-run the E2E check command"]}],"taskFileMechanisms":{"provided":true,"executed":["mechanisms executed before blocking"],"skipped":[{"mechanism":"mechanism name","reason":"tool not found / config not found / not executable"}]},"checksSkipped":1,"checksPassedWithoutPrerequisites":2}
 ```
 
 Allowed `type` values: `seed_data`, `library`, `environment_variable`, `running_service`, `browser_runtime`, `external_dependency`, `other`

package/.codex/agents/quality-fixer.toml

@@ -158,140 +158,22 @@ Return one of the following as the final response (see Output Format for schemas
 
 **When incomplete implementation is detected**:
 ```json
-{
-  "status": "stub_detected",
-  "summary": "Incomplete implementation detected in changed code before quality checks.",
-  "stubFindings": [
-    {
-      "file": "src/example.ts",
-      "indicator": "TODO marker",
-      "details": "TODO comment defers required business logic in the task scope"
-    }
-  ],
-  "nextActions": "Return to task-executor and complete the implementation before re-running quality-fixer."
-}
+{"status":"stub_detected","summary":"Incomplete implementation detected in changed code before quality checks.","stubFindings":[{"file":"src/example.ts","indicator":"TODO marker","details":"TODO comment defers required business logic in the task scope"}],"nextActions":"Return to task-executor and complete the implementation before re-running quality-fixer."}
 ```
 
 **When quality check succeeds**:
 ```json
-{
-  "status": "approved",
-  "summary": "Overall quality check completed. All checks passed.",
-  "checksPerformed": {
-    "phase1_linting": {
-      "status": "passed",
-      "commands": ["linting", "formatting"],
-      "autoFixed": true
-    },
-    "phase2_structure": {
-      "status": "passed",
-      "commands": ["unused code check", "dependency check"]
-    },
-    "phase3_build": {
-      "status": "passed",
-      "commands": ["build"]
-    },
-    "phase4_tests": {
-      "status": "passed",
-      "commands": ["test"],
-      "testsRun": 42,
-      "testsPassed": 42
-    },
-    "phase5_code_recheck": {
-      "status": "passed",
-      "commands": ["code quality re-check"]
-    }
-  },
-  "fixesApplied": [
-    {
-      "type": "auto",
-      "category": "format",
-      "description": "Auto-fixed indentation and style",
-      "filesCount": 5
-    },
-    {
-      "type": "manual",
-      "category": "correctness",
-      "description": "Improved correctness guarantees",
-      "filesCount": 2
-    }
-  ],
-  "taskFileMechanisms": {
-    "provided": true,
-    "executed": ["mechanism names that were found and executed"],
-    "skipped": [
-      {
-        "mechanism": "mechanism name",
-        "reason": "tool not found / config not found / not executable"
-      }
-    ]
-  },
-  "metrics": {
-    "totalErrors": 0,
-    "totalWarnings": 0,
-    "executionTime": "2m 15s"
-  },
-  "nextActions": "Ready to commit"
-}
+{"status":"approved","summary":"Overall quality check completed. All checks passed.","checksPerformed":{"phase1_linting":{"status":"passed","commands":["linting","formatting"],"autoFixed":true},"phase2_structure":{"status":"passed","commands":["unused code check","dependency check"]},"phase3_build":{"status":"passed","commands":["build"]},"phase4_tests":{"status":"passed","commands":["test"],"testsRun":42,"testsPassed":42},"phase5_code_recheck":{"status":"passed","commands":["code quality re-check"]}},"fixesApplied":[{"type":"auto","category":"format","description":"Auto-fixed indentation and style","filesCount":5},{"type":"manual","category":"correctness","description":"Improved correctness guarantees","filesCount":2}],"taskFileMechanisms":{"provided":true,"executed":["mechanism names that were found and executed"],"skipped":[{"mechanism":"mechanism name","reason":"tool not found / config not found / not executable"}]},"metrics":{"totalErrors":0,"totalWarnings":0,"executionTime":"2m 15s"},"nextActions":"Ready to commit"}
 ```
 
 **blocked response format (specification conflict)**:
 ```json
-{
-  "status": "blocked",
-  "reason": "Cannot determine due to unclear specification",
-  "blockingIssues": [{
-    "type": "specification_conflict",
-    "details": "Test expectation and implementation contradict",
-    "test_expects": "500 error",
-    "implementation_returns": "400 error",
-    "why_cannot_judge": "Correct specification unknown"
-  }],
-  "attemptedFixes": [
-    "Fix attempt 1: Tried aligning test to implementation",
-    "Fix attempt 2: Tried aligning implementation to test",
-    "Fix attempt 3: Tried inferring specification from related documentation"
-  ],
-  "taskFileMechanisms": {
-    "provided": true,
-    "executed": ["mechanisms executed before blocking"],
-    "skipped": [
-      {
-        "mechanism": "mechanism name",
-        "reason": "tool not found / config not found / not executable"
-      }
-    ]
-  },
-  "needsUserDecision": "Please confirm the correct error code"
-}
+{"status":"blocked","reason":"Cannot determine due to unclear specification","blockingIssues":[{"type":"specification_conflict","details":"Test expectation and implementation contradict","test_expects":"500 error","implementation_returns":"400 error","why_cannot_judge":"Correct specification unknown"}],"attemptedFixes":["Fix attempt 1: Tried aligning test to implementation","Fix attempt 2: Tried aligning implementation to test","Fix attempt 3: Tried inferring specification from related documentation"],"taskFileMechanisms":{"provided":true,"executed":["mechanisms executed before blocking"],"skipped":[{"mechanism":"mechanism name","reason":"tool not found / config not found / not executable"}]},"needsUserDecision":"Please confirm the correct error code"}
 ```
 
 **blocked response format (missing prerequisites)**:
 ```json
-{
-  "status": "blocked",
-  "reason": "Execution prerequisites not met",
-  "missingPrerequisites": [
-    {
-      "type": "seed_data",
-      "description": "E2E database is missing required seeded user records",
-      "affectedChecks": ["test:e2e"],
-      "resolutionSteps": ["Run the project seed script for E2E fixtures", "Start the dependent local services"]
-    }
-  ],
-  "taskFileMechanisms": {
-    "provided": true,
-    "executed": ["mechanisms executed before blocking"],
-    "skipped": [
-      {
-        "mechanism": "mechanism name",
-        "reason": "tool not found / config not found / not executable"
-      }
-    ]
-  },
-  "checksSkipped": 1,
-  "checksPassedWithoutPrerequisites": 3
-}
+{"status":"blocked","reason":"Execution prerequisites not met","missingPrerequisites":[{"type":"seed_data","description":"E2E database is missing required seeded user records","affectedChecks":["test:e2e"],"resolutionSteps":["Run the project seed script for E2E fixtures","Start the dependent local services"]}],"taskFileMechanisms":{"provided":true,"executed":["mechanisms executed before blocking"],"skipped":[{"mechanism":"mechanism name","reason":"tool not found / config not found / not executable"}]},"checksSkipped":1,"checksPassedWithoutPrerequisites":3}
 ```
 
 Allowed `type` values: `seed_data`, `library`, `environment_variable`, `running_service`, `external_dependency`, `other`

package/.codex/agents/requirement-analyzer.toml

@@ -120,35 +120,7 @@ Return the JSON result as the final response. See Output Format for the schema.
 **JSON format is mandatory.**
 
 ```json
-{
-  "taskType": "feature|fix|refactor|performance|security",
-  "purpose": "Essential purpose of request (1-2 sentences)",
-  "scale": "small|medium|large",
-  "confidence": "confirmed|provisional",
-  "affectedFiles": ["path/to/file1.ts", "path/to/file2.ts"],
-  "affectedLayers": ["backend", "frontend"],
-  "fileCount": 3,
-  "adrRequired": true,
-  "adrReason": "specific condition met, or null if not required",
-  "technicalConsiderations": {
-    "constraints": ["list"],
-    "risks": ["list"],
-    "dependencies": ["list"]
-  },
-  "scopeDependencies": [
-    {
-      "question": "specific question that affects scale",
-      "impact": { "if_yes": "large", "if_no": "medium" }
-    }
-  ],
-  "questions": [
-    {
-      "category": "boundary|existing_code|dependencies",
-      "question": "specific question",
-      "options": ["A", "B", "C"]
-    }
-  ]
-}
+{"taskType":"feature|fix|refactor|performance|security","purpose":"Essential purpose of request (1-2 sentences)","scale":"small|medium|large","confidence":"confirmed|provisional","affectedFiles":["path/to/file1.ts","path/to/file2.ts"],"affectedLayers":["backend","frontend"],"fileCount":3,"adrRequired":true,"adrReason":"specific condition met, or null if not required","technicalConsiderations":{"constraints":["list"],"risks":["list"],"dependencies":["list"]},"scopeDependencies":[{"question":"specific question that affects scale","impact":{"if_yes":"large","if_no":"medium"}}],"questions":[{"category":"boundary|existing_code|dependencies","question":"specific question","options":["A","B","C"]}]}
 ```
 
 **Field descriptions**:

package/.codex/agents/rule-advisor.toml

@@ -73,85 +73,7 @@ Return the JSON result as the final response. See Output Format for the schema.
 Return structured JSON:
 
 ```json
-{
-  "taskAnalysis": {
-    "taskType": "implementation|fix|refactoring|design|quality-improvement",
-    "essence": "Fundamental purpose of the task",
-    "estimatedFiles": 3,
-    "scale": "small|medium|large",
-    "extractedTags": ["implementation", "testing", "security"]
-  },
-  "selectedRules": [
-    {
-      "file": "coding-rules",
-      "sections": [
-        {
-          "title": "Function Design",
-          "content": "## Function Design\\n\\n### Basic Principles\\n- Single responsibility principle\\n..."
-        },
-        {
-          "title": "Error Handling",
-          "content": "## Error Handling\\n\\n### Error Classification\\n..."
-        }
-      ],
-      "reason": "Core implementation rules needed",
-      "priority": "high"
-    },
-    {
-      "file": "testing",
-      "sections": [
-        {
-          "title": "Red-Green-Refactor Process",
-          "content": "## Red-Green-Refactor Process\\n\\n1. Red: Write failing test\\n..."
-        }
-      ],
-      "reason": "TDD practice required",
-      "priority": "high"
-    }
-  ],
-  "metaCognitiveGuidance": {
-    "taskEssence": "Understanding fundamental purpose, not surface work",
-    "ruleAdequacy": "Evaluation of whether selected rules match task characteristics",
-    "pastFailures": [
-      "error-fixing impulse",
-      "large changes at once",
-      "insufficient testing"
-    ],
-    "potentialPitfalls": [
-      "Error-fixing impulse without root cause analysis",
-      "Large changes without phased approach",
-      "Implementation without tests"
-    ],
-    "firstStep": {
-      "action": "Specific first action to take",
-      "rationale": "Why this should be done first"
-    }
-  },
-  "metaCognitiveQuestions": [
-    "What is the most important quality criterion for this task?",
-    "What problems occurred in similar tasks in the past?",
-    "Which part should be tackled first?",
-    "Is there a possibility of exceeding initial assumptions?"
-  ],
-  "warningPatterns": [
-    {
-      "pattern": "Large changes at once",
-      "risk": "High complexity, difficult debugging",
-      "mitigation": "Split into phases"
-    },
-    {
-      "pattern": "Implementation without tests",
-      "risk": "Quality degradation",
-      "mitigation": "Follow Red-Green-Refactor"
-    }
-  ],
-  "criticalRules": [
-    "Complete static checking before proceeding",
-    "User approval mandatory before implementation",
-    "No commits before quality check completion"
-  ],
-  "confidence": "high|medium|low"
-}
+{"taskAnalysis":{"taskType":"implementation|fix|refactoring|design|quality-improvement","essence":"Fundamental purpose of the task","estimatedFiles":3,"scale":"small|medium|large","extractedTags":["implementation","testing","security"]},"selectedRules":[{"file":"coding-rules","sections":[{"title":"Function Design","content":"## Function Design\\n\\n### Basic Principles\\n- Single responsibility principle\\n..."},{"title":"Error Handling","content":"## Error Handling\\n\\n### Error Classification\\n..."}],"reason":"Core implementation rules needed","priority":"high"},{"file":"testing","sections":[{"title":"Red-Green-Refactor Process","content":"## Red-Green-Refactor Process\\n\\n1. Red: Write failing test\\n..."}],"reason":"TDD practice required","priority":"high"}],"metaCognitiveGuidance":{"taskEssence":"Understanding fundamental purpose, not surface work","ruleAdequacy":"Evaluation of whether selected rules match task characteristics","pastFailures":["error-fixing impulse","large changes at once","insufficient testing"],"potentialPitfalls":["Error-fixing impulse without root cause analysis","Large changes without phased approach","Implementation without tests"],"firstStep":{"action":"Specific first action to take","rationale":"Why this should be done first"}},"metaCognitiveQuestions":["What is the most important quality criterion for this task?","What problems occurred in similar tasks in the past?","Which part should be tackled first?","Is there a possibility of exceeding initial assumptions?"],"warningPatterns":[{"pattern":"Large changes at once","risk":"High complexity, difficult debugging","mitigation":"Split into phases"},{"pattern":"Implementation without tests","risk":"Quality degradation","mitigation":"Follow Red-Green-Refactor"}],"criticalRules":["Complete static checking before proceeding","User approval mandatory before implementation","No commits before quality check completion"],"confidence":"high|medium|low"}
 ```
 
 ## Skill Selection Priority

package/.codex/agents/scope-discoverer.toml

@@ -162,76 +162,7 @@ Note: These signals are informational only during steps 1-6. Keep all discovered
 ### Essential Output
 
 ```json
-{
-  "targetPath": "/path/to/project",
-  "referenceArchitecture": "layered|mvc|clean|hexagonal|none",
-  "existingPrd": "path or null",
-  "saturationReached": true,
-  "discoveredUnits": [
-    {
-      "id": "UNIT-001",
-      "name": "Unit Name",
-      "description": "Brief description",
-      "confidence": "high|medium|low",
-      "triangulationStrength": "strong|moderate|weak",
-      "sourceCount": 3,
-      "entryPoints": ["/path1", "/path2"],
-      "relatedFiles": ["src/feature/*"],
-      "dependencies": ["UNIT-002"],
-      "valueProfile": {
-        "targetPersona": "Who this feature serves (e.g., 'end user', 'admin', 'developer')",
-        "userGoal": "What the user is trying to accomplish with this feature",
-        "valueCategory": "High-level capability this belongs to (e.g., 'Authentication', 'Content Management', 'Reporting')",
-        "groupingKey": {
-          "targetPersona": "end-user",
-          "userGoal": "sign-in",
-          "valueCategory": "authentication"
-        }
-      },
-      "technicalProfile": {
-        "primaryModules": ["src/auth/service.ts", "src/auth/controller.ts"],
-        "publicInterfaces": ["AuthService.login()", "AuthController.handleLogin()"],
-        "dataFlowSummary": "Request → Controller → Service → Repository → DB",
-        "infrastructureDeps": ["database", "redis-cache"]
-      },
-      "unitInventory": {
-        "routes": ["POST /login -> AuthController.handleLogin (src/auth/controller.ts:24)"],
-        "testFiles": ["src/auth/service.test.ts"],
-        "publicExports": ["AuthService (src/auth/service.ts:10)"]
-      }
-    }
-  ],
-  "relationships": [
-    {
-      "from": "UNIT-001",
-      "to": "UNIT-002",
-      "type": "depends_on|extends|shares_data"
-    }
-  ],
-  "uncertainAreas": [
-    {
-      "area": "Area name",
-      "reason": "Why uncertain",
-      "suggestedAction": "What to do"
-    }
-  ],
-  "prdUnits": [
-    {
-      "id": "PRD-001",
-      "name": "PRD unit name (user-value level)",
-      "description": "What this capability delivers to the user",
-      "groupingKey": {
-        "targetPersona": "end-user",
-        "userGoal": "sign-in",
-        "valueCategory": "authentication"
-      },
-      "sourceUnits": ["UNIT-001", "UNIT-003"],
-      "combinedRelatedFiles": ["src/feature-a/*", "src/feature-b/*"],
-      "combinedEntryPoints": ["/path1", "/path2", "/path3"]
-    }
-  ],
-  "limitations": ["What could not be discovered and why"]
-}
+{"targetPath":"/path/to/project","referenceArchitecture":"layered|mvc|clean|hexagonal|none","existingPrd":"path or null","saturationReached":true,"discoveredUnits":[{"id":"UNIT-001","name":"Unit Name","description":"Brief description","confidence":"high|medium|low","triangulationStrength":"strong|moderate|weak","sourceCount":3,"entryPoints":["/path1","/path2"],"relatedFiles":["src/feature/*"],"dependencies":["UNIT-002"],"valueProfile":{"targetPersona":"Who this feature serves (e.g., 'end user', 'admin', 'developer')","userGoal":"What the user is trying to accomplish with this feature","valueCategory":"High-level capability this belongs to (e.g., 'Authentication', 'Content Management', 'Reporting')","groupingKey":{"targetPersona":"end-user","userGoal":"sign-in","valueCategory":"authentication"}},"technicalProfile":{"primaryModules":["src/auth/service.ts","src/auth/controller.ts"],"publicInterfaces":["AuthService.login()","AuthController.handleLogin()"],"dataFlowSummary":"Request → Controller → Service → Repository → DB","infrastructureDeps":["database","redis-cache"]},"unitInventory":{"routes":["POST /login -> AuthController.handleLogin (src/auth/controller.ts:24)"],"testFiles":["src/auth/service.test.ts"],"publicExports":["AuthService (src/auth/service.ts:10)"]}}],"relationships":[{"from":"UNIT-001","to":"UNIT-002","type":"depends_on|extends|shares_data"}],"uncertainAreas":[{"area":"Area name","reason":"Why uncertain","suggestedAction":"What to do"}],"prdUnits":[{"id":"PRD-001","name":"PRD unit name (user-value level)","description":"What this capability delivers to the user","groupingKey":{"targetPersona":"end-user","userGoal":"sign-in","valueCategory":"authentication"},"sourceUnits":["UNIT-001","UNIT-003"],"combinedRelatedFiles":["src/feature-a/*","src/feature-b/*"],"combinedEntryPoints":["/path1","/path2","/path3"]}],"limitations":["What could not be discovered and why"]}
 ```
 
 ## Completion Criteria

package/.codex/agents/security-reviewer.toml

@@ -107,25 +107,7 @@ Return the JSON result as the final response. See Output Format for the schema.
 ## Output Format
 
 ```json
-{
-  "status": "approved|approved_with_notes|needs_revision|blocked",
-  "summary": "[1-2 sentence summary]",
-  "filesReviewed": 5,
-  "findings": [
-    {
-      "category": "confirmed_risk|defense_gap|hardening|policy",
-      "confidence": "high|medium|low",
-      "location": "[file:line]",
-      "description": "[specific issue found]",
-      "rationale": "[category-specific, see Category-Specific Rationale]",
-      "suggestion": "[specific fix]"
-    }
-  ],
-  "notes": "[summary of hardening/policy findings for completion report, present when status is approved_with_notes]",
-  "requiredFixes": [
-    "[specific fix 1 — only confirmed_risk and qualifying defense_gap items]"
-  ]
-}
+{"status":"approved|approved_with_notes|needs_revision|blocked","summary":"[1-2 sentence summary]","filesReviewed":5,"findings":[{"category":"confirmed_risk|defense_gap|hardening|policy","confidence":"high|medium|low","location":"[file:line]","description":"[specific issue found]","rationale":"[category-specific, see Category-Specific Rationale]","suggestion":"[specific fix]"}],"notes":"[summary of hardening/policy findings for completion report, present when status is approved_with_notes]","requiredFixes":["[specific fix 1 — only confirmed_risk and qualifying defense_gap items]"]}
 ```
 
 ## Status Determination

package/.codex/agents/solver.toml

@@ -92,6 +92,10 @@ Generate at least 3 solutions from the following perspectives:
 | mitigation | Measures to reduce impact | Temporary measure while waiting for root fix |
 | fundamental | Comprehensive fix including recurrence prevention | When similar problems have occurred repeatedly |
 
+**Adjacent Case Coverage**:
+- When the investigated incident is a bug or regression, or when a confirmed failure point affects a state transition, persisted state, or external boundary, evaluate cases sharing the same path, contract, persisted state, or external boundary for the same class of defect.
+- Include adjacent cases in the solution scope when they share the defect class. Record why any are excluded in `uncertaintyHandling.residualRisks`.
+
 **Generated Solution Verification**:
 - Check if project rules have applicable guidelines
 - For areas without guidelines, research current best practices via web search to verify solutions align with standard approaches
@@ -126,60 +130,7 @@ Return the JSON result as the final response. See Output Format for the schema.
 ## Output Format
 
 ```json
-{
-  "inputSummary": {
-    "identifiedFailurePoints": [
-      {"failurePointId": "FP1", "description": "Failure point description", "status": "confirmed|probable|possible"}
-    ],
-    "failurePointRelationships": [
-      {"from": "FP1", "to": "FP2", "relationship": "independent|upstream_of|downstream_of|amplifies|same_boundary"}
-    ],
-    "coverageAssessment": "sufficient|partial|insufficient"
-  },
-  "solutions": [
-    {
-      "id": "S1",
-      "name": "Solution name",
-      "type": "direct|workaround|mitigation|fundamental",
-      "description": "Detailed solution description",
-      "implementation": {
-        "approach": "Implementation approach description",
-        "affectedFiles": ["Files requiring changes"],
-        "dependencies": ["Affected dependencies"]
-      },
-      "tradeoffs": {
-        "cost": {"level": "low|medium|high", "details": "Details"},
-        "risk": {"level": "low|medium|high", "details": "Details"},
-        "scope": {"level": "low|medium|high", "details": "Details"},
-        "maintainability": {"level": "low|medium|high", "details": "Details"},
-        "certainty": {"level": "low|medium|high", "details": "Details"}
-      },
-      "pros": ["Advantages"],
-      "cons": ["Disadvantages"]
-    }
-  ],
-  "recommendation": {
-    "selectedSolutionId": "S1",
-    "rationale": "Detailed selection rationale",
-    "alternativeIfRejected": "Alternative solution ID if recommendation rejected",
-    "conditions": "Conditions under which this recommendation is appropriate"
-  },
-  "implementationPlan": {
-    "steps": [
-      {
-        "order": 1,
-        "action": "Specific action",
-        "verification": "How to verify this step",
-        "rollback": "Rollback procedure if problems occur"
-      }
-    ],
-    "criticalPoints": ["Points requiring special attention"]
-  },
-  "uncertaintyHandling": {
-    "residualRisks": ["Risks that may remain after resolution"],
-    "monitoringPlan": "Monitoring plan after resolution"
-  }
-}
+{"inputSummary":{"identifiedFailurePoints":[{"failurePointId":"FP1","description":"Failure point description","status":"confirmed|probable|possible"}],"failurePointRelationships":[{"from":"FP1","to":"FP2","relationship":"independent|upstream_of|downstream_of|amplifies|same_boundary"}],"coverageAssessment":"sufficient|partial|insufficient"},"solutions":[{"id":"S1","name":"Solution name","type":"direct|workaround|mitigation|fundamental","description":"Detailed solution description","implementation":{"approach":"Implementation approach description","affectedFiles":["Files requiring changes"],"dependencies":["Affected dependencies"]},"tradeoffs":{"cost":{"level":"low|medium|high","details":"Details"},"risk":{"level":"low|medium|high","details":"Details"},"scope":{"level":"low|medium|high","details":"Details"},"maintainability":{"level":"low|medium|high","details":"Details"},"certainty":{"level":"low|medium|high","details":"Details"}},"pros":["Advantages"],"cons":["Disadvantages"]}],"recommendation":{"selectedSolutionId":"S1","rationale":"Detailed selection rationale","alternativeIfRejected":"Alternative solution ID if recommendation rejected","conditions":"Conditions under which this recommendation is appropriate"},"implementationPlan":{"steps":[{"order":1,"action":"Specific action","verification":"How to verify this step","rollback":"Rollback procedure if problems occur"}],"criticalPoints":["Points requiring special attention"]},"uncertaintyHandling":{"residualRisks":["Risks that may remain after resolution"],"monitoringPlan":"Monitoring plan after resolution"}}
 ```
 
 ## Completion Criteria

package/.codex/agents/task-decomposer.toml

@@ -121,6 +121,7 @@ Decompose tasks based on implementation strategy patterns determined in implemen
    - Task overview
    - Target files
    - Investigation Targets
+   - Change Category when the task is a bug fix, regression, state-change, or boundary-change
    - Investigation Notes
    - Concrete implementation steps
    - Operation Verification Methods
@@ -164,6 +165,18 @@ Decompose tasks based on implementation strategy patterns determined in implemen
 9. **Propagate Proof Obligations**
    When the work plan or referenced test skeletons include Primary failure mode or Proof obligation annotations, copy the applicable obligations into each generated task that implements or verifies the claim. If no skeleton exists, derive the primary failure mode from the acceptance criterion and Verification Strategy. Each obligation must state the AC ID or claim identifier, claim, failure mode, boundary to exercise, state assertion expectation, permitted mock boundary rationale, and residual uncertainty if any.
 
+10. **Classify Change Category for Adjacent Case Sweep**
+   When a task corrects observed behavior or changes a path, contract, persisted state, or external boundary, classify it so executors and reviewers can run a scoped adjacent-case sweep from a concrete field instead of re-inferring intent.
+
+   - `bug-fix`: corrects observed incorrect behavior
+   - `regression`: restores behavior a prior change broke
+   - `state-change`: changes how state is written, transitioned, or persisted
+   - `boundary-change`: changes a published or consumed contract at an external, cross-package, or persisted boundary
+
+   A task can match more than one category. Populate the task's `Change Category` field with every matched value, comma-separated.
+
+   For every matched category, extend Investigation Targets with files sharing the same path, contract, persisted state, or external boundary as the change, including the owner module on both sides of an affected boundary. Union targets across all matched categories. Omit `Change Category` only when the task neither corrects observed behavior nor changes a path, contract, persisted state, or external boundary. Additive, config-only, and scaffolding work is not exempt when it changes one of those dimensions.
+
 ## Verification Strategy Propagation
 
 Verification Strategy defines what correctness means at design time. L1/L2/L3 (from implementation-approach) define task-level verification depth at execution time. Use both.
@@ -250,6 +263,10 @@ When the work plan includes a `Connection Map` section:
 3. For tasks on one side of a boundary, include an Operation Verification Method that observes the expected signal from the other side.
 4. Propagate only boundary rows explicitly mapped in the work plan.
 
+## Change Category Classification
+
+This is distinct from per-AC boundary-path proof. Proof obligations prove the boundary path within an acceptance criterion; Change Category drives a sweep of cases outside the task's explicit ACs that share its path, contract, persisted state, or external boundary. Use Step 10 as the single procedural source for classification and Investigation Target extension.
+
 ## Task File Template
 
 See task template in documentation-criteria skill for details.
@@ -349,6 +366,7 @@ Please execute decomposed tasks according to the order.
 - [ ] Impact scope and boundaries definition for each task
 - [ ] Appropriate granularity (1-5 files/task)
 - [ ] Investigation Targets specified for every task
+- [ ] Change Category set for bug-fix, regression, state-change, or boundary-change tasks, with adjacent path/boundary owners added to Investigation Targets
 - [ ] Quality Assurance Mechanisms propagated to relevant tasks when present in the plan header
 - [ ] ADR Bindings rows propagated to relevant tasks when present in the work plan
   - [ ] ADR source includes section hint