create-ai-project 1.23.3 → 1.23.5

package/.claude/agents-en/ui-analyzer.md

@@ -165,142 +165,43 @@ Produce `candidateWriteSet[]` listing the files most likely to require modificat
 
 ```json
 {
-  "analysisScope": {
-    "filesAnalyzed": ["path/to/component.tsx"],
-    "stylesAnalyzed": ["path/to/styles.module.css"],
-    "uiConventions": {
-      "componentExtension": ".tsx",
-      "styleStrategy": "css-modules|vanilla-css|css-in-js|utility-classes",
-      "storybook": true,
-      "testRunner": "vitest|jest|other"
-    }
-  },
+  "analysisScope": {"filesAnalyzed": ["path/to/component.tsx"], "stylesAnalyzed": ["path/to/styles.module.css"], "uiConventions": {"componentExtension": ".tsx", "styleStrategy": "css-modules|vanilla-css|css-in-js|utility-classes", "storybook": true, "testRunner": "vitest|jest|other"}},
   "externalResources": {
     "status": "fetched|partial|not_recorded",
-    "designOrigin": {
-      "fetch_status": "fetched|mcp_unavailable|skipped|not_applicable",
-      "accessMethod": "MCP name | URL | file path | existing-implementation-only",
-      "fetched_summary": "brief description of fetched content (e.g., screen names, frame ids, token snapshot)"
-    },
-    "designSystem": {
-      "fetch_status": "fetched|mcp_unavailable|skipped|not_applicable",
-      "accessMethod": "...",
-      "fetched_summary": "components catalogued, tokens captured, anti-pattern identifiers"
-    },
-    "guidelines": {
-      "fetch_status": "fetched|skipped|not_applicable",
-      "accessMethod": "...",
-      "fetched_summary": "rule categories captured (CSS, accessibility, i18n, etc.)"
-    },
-    "visualVerification": {
-      "fetch_status": "available|mcp_unavailable|not_applicable",
-      "accessMethod": "...",
-      "notes": "how rendered output is verified during implementation"
-    }
+    "designOrigin": {"fetch_status": "fetched|mcp_unavailable|skipped|not_applicable", "accessMethod": "MCP name | URL | file path | existing-implementation-only", "fetched_summary": "brief description of fetched content (e.g., screen names, frame ids, token snapshot)"},
+    "designSystem": {"fetch_status": "fetched|mcp_unavailable|skipped|not_applicable", "accessMethod": "...", "fetched_summary": "components catalogued, tokens captured, anti-pattern identifiers"},
+    "guidelines": {"fetch_status": "fetched|skipped|not_applicable", "accessMethod": "...", "fetched_summary": "rule categories captured (CSS, accessibility, i18n, etc.)"},
+    "visualVerification": {"fetch_status": "available|mcp_unavailable|not_applicable", "accessMethod": "...", "notes": "how rendered output is verified during implementation"}
   },
   "componentStructure": [
-    {
-      "name": "ComponentName",
-      "filePath": "path/to/file:lineNumber",
-      "propsInterface": "name and brief shape",
-      "topLevelElement": "tag or component name",
-      "domOrder": ["child1", "child2", "child3"],
-      "conditionalBranches": [
-        {"predicate": "condition expression", "renderedSubtree": "brief description"}
-      ],
-      "callSites": ["path/to/consumer:line"]
-    }
+    {"name": "ComponentName", "filePath": "path/to/file:lineNumber", "propsInterface": "name and brief shape", "topLevelElement": "tag or component name", "domOrder": ["child1", "child2", "child3"], "conditionalBranches": [{"predicate": "condition expression", "renderedSubtree": "brief description"}], "callSites": ["path/to/consumer:line"]}
   ],
   "propsPatterns": [
-    {
-      "component": "ComponentName",
-      "callSite": "path/to/file:line",
-      "props": {"variant": "primary", "size": "md"},
-      "computedProps": ["onClick (useCallback)"],
-      "groupKey": "primary-md"
-    }
+    {"component": "ComponentName", "callSite": "path/to/file:line", "props": {"variant": "primary", "size": "md"}, "computedProps": ["onClick (useCallback)"], "groupKey": "primary-md"}
   ],
   "cssLayout": [
-    {
-      "filePath": "path/to/styles.module.css",
-      "classNamingConvention": "camelCase|kebab-case|BEM",
-      "baseClass": "root",
-      "layouts": [
-        {
-          "selector": ".className",
-          "display": "flex|grid|block",
-          "direction": "row|column|grid-template",
-          "gap": "8px|none",
-          "wrap": "wrap|nowrap|absent",
-          "logicalProperties": true,
-          "stateSelectors": ["[data-state=active]", "[aria-selected=true]"]
-        }
-      ],
-      "responsiveBreakpoints": ["768px", "1024px"]
-    }
+    {"filePath": "path/to/styles.module.css", "classNamingConvention": "camelCase|kebab-case|BEM", "baseClass": "root", "layouts": [{"selector": ".className", "display": "flex|grid|block", "direction": "row|column|grid-template", "gap": "8px|none", "wrap": "wrap|nowrap|absent", "logicalProperties": true, "stateSelectors": ["[data-state=active]", "[aria-selected=true]"]}], "responsiveBreakpoints": ["768px", "1024px"]}
   ],
   "stateDisplay": [
-    {
-      "component": "ComponentName",
-      "states": [
-        {"name": "loading|empty|partial|error|ready|disabled", "trigger": "what causes this state", "renders": "brief description"}
-      ],
-      "unsupportedStates": ["states the component does not currently express"]
-    }
+    {"component": "ComponentName", "states": [{"name": "loading|empty|partial|error|ready|disabled", "trigger": "what causes this state", "renders": "brief description"}], "unsupportedStates": ["states the component does not currently express"]}
   ],
   "displayConditions": [
-    {
-      "component": "ComponentName",
-      "condition": "feature_flag|role|route|region|tenant|page_context",
-      "predicateLocation": "path/to/file:line",
-      "predicate": "expression",
-      "gatedSubtree": "brief description"
-    }
+    {"component": "ComponentName", "condition": "feature_flag|role|route|region|tenant|page_context", "predicateLocation": "path/to/file:line", "predicate": "expression", "gatedSubtree": "brief description"}
   ],
-  "i18n": {
-    "format": "csv|json|code-catalog|other",
-    "structuralConventions": {"csvColumns": 2, "trailingComma": false, "jsonNestingDepth": 1},
-    "keyNamingConvention": "pattern with examples",
-    "locales": ["ja-JP", "en-US"],
-    "localeGaps": ["keys present in one locale only"],
-    "generatedTypings": {"command": "generator command", "outputPath": "path/to/output"}
-  },
+  "i18n": {"format": "csv|json|code-catalog|other", "structuralConventions": {"csvColumns": 2, "trailingComma": false, "jsonNestingDepth": 1}, "keyNamingConvention": "pattern with examples", "locales": ["ja-JP", "en-US"], "localeGaps": ["keys present in one locale only"], "generatedTypings": {"command": "generator command", "outputPath": "path/to/output"}},
   "accessibility": [
-    {
-      "component": "ComponentName",
-      "ariaAttributes": ["role=button", "aria-label fed by prop accessibleName"],
-      "keyboardHandling": "Enter and Space mapped to onClick",
-      "focusStyling": "focus-visible outline",
-      "testCoverage": "axe checks present|absent"
-    }
+    {"component": "ComponentName", "ariaAttributes": ["role=button", "aria-label fed by prop accessibleName"], "keyboardHandling": "Enter and Space mapped to onClick", "focusStyling": "focus-visible outline", "testCoverage": "axe checks present|absent"}
   ],
   "generatedArtifacts": [
-    {
-      "kind": "css-module-typings|message-catalog-typings|route-typings|other",
-      "command": "generator command",
-      "trigger": "on *.module.css change|manual|other",
-      "consumers": ["typecheck", "test", "build", "runtime"]
-    }
+    {"kind": "css-module-typings|message-catalog-typings|route-typings|other", "command": "generator command", "trigger": "on *.module.css change|manual|other", "consumers": ["typecheck", "test", "build", "runtime"]}
   ],
   "focusAreas": [
-    {
-      "fact_id": "src/components/Card/Card.tsx:Card",
-      "area": "Brief UI area name",
-      "evidence": "componentStructure[name=Card] | cssLayout[selector=.root] | propsPatterns[groupKey=...] | externalResources.designOrigin",
-      "factsToAddress": "Concrete UI facts the designer or implementer must respect",
-      "risk": "What inconsistency results if these facts are omitted"
-    }
+    {"fact_id": "src/components/Card/Card.tsx:Card", "area": "Brief UI area name", "evidence": "componentStructure[name=Card] | cssLayout[selector=.root] | propsPatterns[groupKey=...] | externalResources.designOrigin", "factsToAddress": "Concrete UI facts the designer or implementer must respect", "risk": "What inconsistency results if these facts are omitted"}
   ],
   "candidateWriteSet": [
-    {
-      "path": "src/components/Card/Card.tsx",
-      "reasonRef": "focusAreas[fact_id=src/components/Card/Card.tsx:Card]",
-      "confidence": "high|medium|low"
-    }
+    {"path": "src/components/Card/Card.tsx", "reasonRef": "focusAreas[fact_id=src/components/Card/Card.tsx:Card]", "confidence": "high|medium|low"}
   ],
-  "limitations": [
-    "Areas the analysis could not reach with confidence"
-  ]
+  "limitations": ["Areas the analysis could not reach with confidence"]
 }
 ```
 

package/.claude/agents-en/verifier.md

@@ -61,7 +61,8 @@ Check the input `pathMap` for completeness:
 
 1. **Missing paths**: Are there code paths the symptom could traverse that the investigation did not trace? (e.g., error handling branches, async forks, fallback paths)
 2. **Unchecked nodes**: Are there nodes on traced paths that were not checked for faults?
-3. **Additional failure points**: If missing paths or unchecked nodes reveal new faults, record them
+3. **Adjacent cases**: When the investigation concerns a `bug-fix`, `regression`, `state-change`, or `boundary-change` (the debugging flow carries no Change Category field, so judge these from the investigation itself), are there cases sharing the same path, contract, persisted state, or external boundary that could carry the same fault? Trace all plausible adjacent cases, or explicitly justify any left untraced
+4. **Additional failure points**: If missing paths, unchecked nodes, or adjacent cases reveal new faults, record them
 
 The goal is to verify that the investigation's path coverage is sufficient.
 
@@ -115,78 +116,33 @@ Final message: exactly one JSON object matching the schema below (begins with `{
     "identifiedGaps": ["Missing paths or unchecked nodes"]
   },
   "triangulationSupplements": [
-    {
-      "source": "Additional information source investigated",
-      "findings": "Content discovered",
-      "impactOnFailurePoints": "Impact on existing failure points"
-    }
+    {"source": "Additional information source investigated", "findings": "Content discovered", "impactOnFailurePoints": "Impact on existing failure points"}
   ],
   "externalResearch": [
-    {
-      "query": "Search query used",
-      "source": "Information source",
-      "findings": "Related information discovered",
-      "impactOnFailurePoints": "Impact on failure points"
-    }
+    {"query": "Search query used", "source": "Information source", "findings": "Related information discovered", "impactOnFailurePoints": "Impact on failure points"}
   ],
   "coverageCheck": {
     "missingPaths": ["Paths not traced in the investigation input"],
     "uncheckedNodes": ["Nodes on traced paths that were not checked"],
     "additionalFailurePoints": [
-      {
-        "id": "AFP1",
-        "nodeId": "Node reference",
-        "symptomId": "Symptom reference",
-        "description": "Newly discovered fault",
-        "checkStatus": "supported|weakened|blocked|not_reached",
-        "evidence": [
-          {"type": "supporting", "detail": "Evidence detail", "source": "file:line"}
-        ]
-      }
+      {"id": "AFP1", "nodeId": "Node reference", "symptomId": "Symptom reference", "description": "Newly discovered fault", "checkStatus": "supported|weakened|blocked|not_reached", "evidence": [{"type": "supporting", "detail": "Evidence detail", "source": "file:line"}]}
     ]
   },
   "devilsAdvocateFindings": [
-    {
-      "targetFailurePoint": "FP1",
-      "alternativeExplanation": "Could this be correct behavior?",
-      "hiddenAssumptions": ["Implicit assumptions"],
-      "potentialCounterEvidence": ["Potentially overlooked counter-evidence"]
-    }
+    {"targetFailurePoint": "FP1", "alternativeExplanation": "Could this be correct behavior?", "hiddenAssumptions": ["Implicit assumptions"], "potentialCounterEvidence": ["Potentially overlooked counter-evidence"]}
   ],
   "failurePointEvaluation": [
-    {
-      "failurePointId": "FP1 or AFP1",
-      "description": "Failure point description",
-      "originalCheckStatus": "checkStatus from the investigation input (null when the AFP is discovered during verification)",
-      "finalStatus": "supported|weakened|blocked|not_reached",
-      "statusChangeReason": "Why status changed (if changed)",
-      "remainingUncertainty": ["Remaining uncertainty"]
-    }
+    {"failurePointId": "FP1 or AFP1", "description": "Failure point description", "originalCheckStatus": "checkStatus from the investigation input (null when the AFP is discovered during verification)", "finalStatus": "supported|weakened|blocked|not_reached", "statusChangeReason": "Why status changed (if changed)", "remainingUncertainty": ["Remaining uncertainty"]}
   ],
   "conclusion": {
     "confirmedFailurePoints": [
-      {
-        "failurePointId": "FP1",
-        "description": "What the fault is",
-        "location": "file:line",
-        "symptomId": "S1",
-        "symptomExplained": "How this fault leads to the observed symptom",
-        "causeCategory": "typo|logic_error|missing_constraint|design_gap|external_factor",
-        "finalStatus": "supported|weakened",
-        "causalChain": ["Phenomenon", "→ Direct cause", "→ Root cause"],
-        "impactScope": ["Affected file paths"],
-        "recurrenceRisk": "low|medium|high"
-      }
+      {"failurePointId": "FP1", "description": "What the fault is", "location": "file:line", "symptomId": "S1", "symptomExplained": "How this fault leads to the observed symptom", "causeCategory": "typo|logic_error|missing_constraint|design_gap|external_factor", "finalStatus": "supported|weakened", "causalChain": ["Phenomenon", "→ Direct cause", "→ Root cause"], "impactScope": ["Affected file paths"], "recurrenceRisk": "low|medium|high"}
     ],
     "refutedFailurePoints": [
       {"failurePointId": "FP2", "reason": "Reason for refutation"}
     ],
     "failurePointRelationships": [
-      {
-        "points": ["FP1", "FP3"],
-        "relationship": "independent|dependent|same_chain",
-        "detail": "Description of how the failure points relate"
-      }
+      {"points": ["FP1", "FP3"], "relationship": "independent|dependent|same_chain", "detail": "Description of how the failure points relate"}
     ],
     "coverageAssessment": "sufficient|partial|insufficient",
     "unresolvedSymptoms": ["Symptoms not fully explained by confirmed failure points"],

package/.claude/agents-en/work-planner.md

@@ -55,7 +55,7 @@ fixture-e2e gap:
     AND e2eAbsenceReason.fixtureE2e was not communicated
     AND Design Doc or UI Spec contains user-facing multi-step user journey
   THEN add to work plan header:
-    ⚠ fixture-e2e Gap: This feature contains user-facing multi-step journey(s)
+    fixture-e2e Gap: This feature contains user-facing multi-step journey(s)
     but no fixture-e2e skeleton was provided. Route this feature back through
     acceptance-test generation to evaluate fixture-e2e candidates before the
     UI implementation phase.
@@ -68,7 +68,7 @@ service-integration-e2e gap:
         verification (data persistence across services, transactional
         consistency, external service contract)
   THEN add to work plan header:
-    ⚠ service-integration-e2e Gap: This feature crosses service boundaries
+    service-integration-e2e Gap: This feature crosses service boundaries
     where correctness depends on real cross-service behavior, but no
     service-integration-e2e skeleton was provided.
     Detected boundaries: [list crossings and AC references]
@@ -159,8 +159,6 @@ For each task, derive completion criteria from Design Doc acceptance criteria. A
 - **`scale: medium` / `scale: large`**: Write a work plan following the **plan-template** from documentation-criteria skill. Include Phase Structure Diagram and Task Dependency Diagram (mermaid).
 - **`scale: small`**: Write a single task file following the **task-template** from documentation-criteria skill (see "Output Mode by Scale" below). Skip Phase Structure / Task Dependency diagrams; the task file's `## Implementation Steps` section drives execution.
 
-For `scale: medium` / `scale: large`, the plan header MUST include the line `Implementation Readiness: pending`. The marker contract: it takes one of three values — `pending` (initial, set here by work-planner), `ready` (verification completed with no remaining gaps), or `escalated` (verification completed with remaining gaps). The producer that promotes the marker beyond `pending` and the consumer that reads it before execution are external orchestration concerns owned outside this agent.
-
 ## Input Parameters
 
 - **mode**: `create` (default) | `update`
@@ -365,7 +363,6 @@ When creating work plans, **Phase Structure Diagrams** and **Task Dependency Dia
   - [ ] Each row's `Axis` value is exactly one of `placement` | `dependency_direction` | `contract_schema` | `data_flow` | `persistence`
   - [ ] Each row's `Source Section` is set to `Decision` or `Implementation Guidance` matching the actual location of the decision in the ADR
   - [ ] Every row maps to at least one covering task
-- [ ] Plan header includes `Implementation Readiness: pending` (medium / large only)
 - [ ] Verification Strategy extracted from Design Doc and included in plan header
 - [ ] Proof Strategy included in plan header (proof obligation source + per-task propagation rule)
 - [ ] Review Scope recorded in plan header (base branch / diff range / changed-files scope)

package/.claude/agents-ja/acceptance-test-generator.md

@@ -269,16 +269,8 @@ it.todo('[AC番号]-property: [不変条件を自然言語で記述]')
 {
   "status": "completed",
   "feature": "payment",
-  "generatedFiles": {
-    "integration": "tests/payment.int.test.[ext]",
-    "fixtureE2e": "tests/payment.fixture-e2e.test.[ext]",
-    "serviceE2e": "tests/payment.service-e2e.test.[ext]"
-  },
-  "budgetUsage": {
-    "integration": "2/3",
-    "fixtureE2e": "1/3",
-    "serviceE2e": "1/2"
-  },
+  "generatedFiles": {"integration": "tests/payment.int.test.[ext]", "fixtureE2e": "tests/payment.fixture-e2e.test.[ext]", "serviceE2e": "tests/payment.service-e2e.test.[ext]"},
+  "budgetUsage": {"integration": "2/3", "fixtureE2e": "1/3", "serviceE2e": "1/2"},
   "e2eAbsenceReason": { "fixtureE2e": null, "serviceE2e": null }
 }
 ```
@@ -288,16 +280,8 @@ it.todo('[AC番号]-property: [不変条件を自然言語で記述]')
 {
   "status": "completed",
   "feature": "checkout-ui",
-  "generatedFiles": {
-    "integration": "tests/checkout.int.test.[ext]",
-    "fixtureE2e": "tests/checkout.fixture-e2e.test.[ext]",
-    "serviceE2e": null
-  },
-  "budgetUsage": {
-    "integration": "1/3",
-    "fixtureE2e": "1/3",
-    "serviceE2e": "0/2"
-  },
+  "generatedFiles": {"integration": "tests/checkout.int.test.[ext]", "fixtureE2e": "tests/checkout.fixture-e2e.test.[ext]", "serviceE2e": null},
+  "budgetUsage": {"integration": "1/3", "fixtureE2e": "1/3", "serviceE2e": "0/2"},
   "e2eAbsenceReason": { "fixtureE2e": null, "serviceE2e": "no_real_service_dependency" }
 }
 ```
@@ -307,16 +291,8 @@ it.todo('[AC番号]-property: [不変条件を自然言語で記述]')
 {
   "status": "completed",
   "feature": "config-update",
-  "generatedFiles": {
-    "integration": "tests/config.int.test.[ext]",
-    "fixtureE2e": null,
-    "serviceE2e": null
-  },
-  "budgetUsage": {
-    "integration": "1/3",
-    "fixtureE2e": "0/3",
-    "serviceE2e": "0/2"
-  },
+  "generatedFiles": {"integration": "tests/config.int.test.[ext]", "fixtureE2e": null, "serviceE2e": null},
+  "budgetUsage": {"integration": "1/3", "fixtureE2e": "0/3", "serviceE2e": "0/2"},
   "e2eAbsenceReason": { "fixtureE2e": "no_multi_step_journey", "serviceE2e": "no_multi_step_journey" }
 }
 ```
@@ -334,7 +310,8 @@ it.todo('[AC番号]-property: [不変条件を自然言語で記述]')
 
 **必須準拠事項**:
 - `it.todo`スケルトンのみ出力: 各スケルトン内にコメントとして検証観点、期待結果、合格基準、主要な故障モード、証明義務を記述。
-  実装コード、アサーション(`expect`)、モックセットアップは含めない — 下流の処理で`it.todo`の有無によりフェーズ配置やレビュー判定が行われる。
+  `it.todo` が必要とするテストフレームワークのシンボル（`describe`/`it` など）のみを import する。アプリケーション側モジュールの import、アサーション(`expect`)、モックセットアップは、実装と同じタスク/コミットで実装時に追加する（Red→Green を1コミット内に収める）。テスト対象モジュールはまだ存在しない可能性があるため、スケルトンの import には含めない — 未実装コードを参照するスケルトンをコミットすると、テストファイルを型チェック・コンパイル・ロードするゲートが実装着手前に失敗し得る（例: TypeScript では TS2307 が報告され得る）。
+  下流の処理では`it.todo`の有無によりフェーズ配置やレビュー判定が行われる。
 - 各テストの検証観点、期待結果、合格基準を明確に記述
 - コメントに元のAC文を保持（トレーサビリティ確保）
 - テスト上限設定内に収める；重要テストに上限超過の場合は報告

package/.claude/agents-ja/code-reviewer.md

@@ -39,6 +39,7 @@ skills: coding-standards, typescript-rules, typescript-testing, project-context,
 - **designDoc**: Design Docのパス（フルスタック機能の場合は複数パス）
 - **implementationFiles**: レビュー対象ファイルリスト（またはgit diff範囲）
 - **reviewMode**: `full`（デフォルト）| `acceptance` | `architecture`
+- **taskFiles**（任意）: 実装の元となったタスクファイルのパス（`docs/plans/tasks/…`）。各タスクの `Change Category` と `Investigation Notes` の取得元。省略された場合は後述の「基準の読み込み」のフォールバックを行う。
 
 ## 検証プロセス
 
@@ -53,6 +54,11 @@ Design Docを**全文**読み込み、以下を抽出:
 - 非機能要件
 - **Fact Disposition Tableの行**（該当セクションがある場合）: 各行を `{fact_id, disposition, rationale, evidence, relatedFiles}` として記録する。Related Files列は設計者が検証すべきパスを保持しており、ステップ4-1で各パスのファイルを読む。これらの行はステップ2〜4の検証対象となる。
 
+続いて、隣接ケースのレビュー（ステップ2-1）を駆動するタスクコンテキストを読み込む:
+
+- `taskFiles` が与えられた場合、各ファイルを読み、その `Change Category` 値（変更の種別: `bug-fix` / `regression` / `state-change` / `boundary-change`）と、executor が `Investigation Notes` に記録したスコープ外の隣接残余を抽出する。両者をステップ2-1に持ち込む。記録された各残余は、実装に対して確認すべき `adjacent_residual` 検出事項の候補となる。
+- `taskFiles` がない、または `Change Category` を持たない場合はフォールバックする: レビュー対象の変更を diff と Design Doc から自分で分類し（観測された振る舞いを修正するか、壊れた振る舞いを復元するか、永続状態を変更するか、公開/利用される契約を変更するか）、その分類をステップ2-1の隣接ケースチェックのトリガーとして扱う。
+
 ### 2. 実装とDesign Docのマッピング
 
 #### 2-1. 受入条件の検証
@@ -65,6 +71,7 @@ Step 1で抽出した各受入条件について:
 - 振る舞いを変えるACでは、エビデンスがメインパスだけでなく境界パスもカバーしていることを確認する。別個の分岐・状態・入力クラス・ライフサイクルステップ・フォールバックが振る舞いを左右する箇所では、それが実際に通過されていることを検証する。参照元（source）/参照先の振る舞いと実装された振る舞いを同一粒度で比較し、境界次元における根拠のない変更は `dd_violation` とする
 - 実装が AC・Design Doc・参照資料が明示的に要求する中核メカニズムを保持していることを確認し、出所となる文言を引用する。テストは通るが要求された中核メカニズムを落とす単純な代替は `dd_violation` とする
 - 永続化・共有・外部から観測可能な状態への変更では、公開境界（新しい状態が別プロセス・コンポーネント・ユーザー・後続ステップから観測可能になる箇所）を特定する。部分的・未初期化・stale・ロールバックのみでありながら完了として観測可能な状態は `reliability` の検出事項とする。下流の利用者が不完全な状態を完了とみなして失敗しうるためである
+- レビュー対象の変更が `bug-fix` / `regression` / `state-change` / `boundary-change` に分類される場合（タスクの `Change Category`、またはタスクコンテキストが与えられなかったときは「基準の読み込み」のフォールバック分類による）、その経路・契約・永続状態・外部境界を共有するケースを確認する。まずタスクの `Investigation Notes` に記録されたスコープ外の各残余を確認し、次に executor が記録しなかった兄弟ケースを走査する。変更が対処したのと同一クラスの欠陥を依然として抱える兄弟ケースは `adjacent_residual` の検出事項とする
 
 #### 2-2. 識別子の検証
 
@@ -125,6 +132,7 @@ Step 1で抽出した各識別子仕様（リソース名、エンドポイン
 | **maintainability** | コード構造が将来の変更や理解を妨げる | 長い関数、深いネスト、複数の責務、不明瞭な命名 |
 | **reliability** | 実行時障害を引き起こし得る安全策の欠如 | 未処理のエラーパス、境界での検証漏れ、黙殺されるエラー |
 | **coverage_gap** | 受入条件に対応するテスト検証が存在しない | コードでは充足されているがテストで検証されていないAC |
+| **adjacent_residual** | 変更の経路・契約・永続状態・外部境界を共有するケースが、変更が対処した欠陥と同一クラスの欠陥を依然として抱えている | フォールバックパスが未修正、兄弟の状態遷移が依然 stale、変更された契約の別の利用者が未更新 |
 
 各検出事項に`rationale`フィールドを含めること:
 
@@ -134,6 +142,7 @@ Step 1で抽出した各識別子仕様（リソース名、エンドポイン
 | **maintainability** | どのような保守・理解上のリスクが生じるか |
 | **reliability** | どのような障害シナリオが保護されておらず、どの条件で発生し得るか |
 | **coverage_gap** | どのACがテストされておらず、なぜこのケースでテストカバレッジが重要か |
+| **adjacent_residual** | どの隣接ケースが経路/契約/状態/境界を共有し、どのように欠陥クラスを依然として示しているか |
 
 ### 4. アーキテクチャ準拠の確認
 
@@ -194,7 +203,7 @@ identifierVerification[].codeValue:     string (見つからない場合は "not
 identifierVerification[].location:      string (file:line; 見つからない場合は null)
 identifierVerification[].match:         boolean
 
-qualityFindings[].category:        string ("dd_violation" | "maintainability" | "reliability" | "coverage_gap")
+qualityFindings[].category:        string ("dd_violation" | "maintainability" | "reliability" | "coverage_gap" | "adjacent_residual")
 qualityFindings[].location:        string (file:line または file:function)
 qualityFindings[].description:     string
 qualityFindings[].rationale:       string (カテゴリ固有)
@@ -212,6 +221,7 @@ summary.findingsByCategory.dd_violation:    number (整数 >= 0)
 summary.findingsByCategory.maintainability: number (整数 >= 0)
 summary.findingsByCategory.reliability:     number (整数 >= 0)
 summary.findingsByCategory.coverage_gap:    number (整数 >= 0)
+summary.findingsByCategory.adjacent_residual: number (整数 >= 0)
 ```
 
 ### 最小形状の例
@@ -222,33 +232,14 @@ summary.findingsByCategory.coverage_gap:    number (整数 >= 0)
   "identifierMatchRate": 95,
   "verdict": "needs-improvement",
   "acceptanceCriteria": [
-    {
-      "item": "User can log in with valid credentials",
-      "status": "fulfilled",
-      "confidence": "high",
-      "location": "src/auth/login.ts:42",
-      "evidence": ["impl: src/auth/login.ts:42", "test: src/auth/login.test.ts:18"],
-      "evidence_source": "Grep found handler at src/auth/login.ts:42; Read confirmed flow",
-      "gap": null,
-      "suggestion": null
-    }
+    {"item": "User can log in with valid credentials", "status": "fulfilled", "confidence": "high", "location": "src/auth/login.ts:42", "evidence": ["impl: src/auth/login.ts:42", "test: src/auth/login.test.ts:18"], "evidence_source": "Grep found handler at src/auth/login.ts:42; Read confirmed flow", "gap": null, "suggestion": null}
   ],
   "identifierVerification": [{"identifier": "AUTH_TOKEN_TTL", "designDocValue": "3600", "codeValue": "1800", "location": "src/auth/config.ts:8", "match": false}],
   "qualityFindings": [{"category": "reliability", "location": "src/auth/login.ts:55", "description": "Error from token signer is swallowed silently", "rationale": "When jwt.sign throws, the catch block returns null without logging; downstream sees auth failure indistinguishable from invalid credentials", "evidence_source": "Read confirmed empty catch at src/auth/login.ts:55-58", "suggestion": "Re-throw with context or log error then propagate to caller"}],
   "summary": {
-    "acsTotal": 12,
-    "acsFulfilled": 10,
-    "acsPartial": 1,
-    "acsUnfulfilled": 1,
-    "identifiersTotal": 20,
-    "identifiersMatched": 19,
-    "lowConfidenceItems": 2,
-    "findingsByCategory": {
-      "dd_violation": 1,
-      "maintainability": 0,
-      "reliability": 1,
-      "coverage_gap": 0
-    }
+    "acsTotal": 12, "acsFulfilled": 10, "acsPartial": 1, "acsUnfulfilled": 1,
+    "identifiersTotal": 20, "identifiersMatched": 19, "lowConfidenceItems": 2,
+    "findingsByCategory": {"dd_violation": 1, "maintainability": 0, "reliability": 1, "coverage_gap": 0, "adjacent_residual": 0}
   }
 }
 ```

package/.claude/agents-ja/code-verifier.md

@@ -188,41 +188,12 @@ limitations: string[] (検証できなかった内容とその理由)
 
 ```json
 {
-  "summary": {
-    "docType": "design-doc",
-    "documentPath": "docs/design/auth-design.md",
-    "verifiableClaimCount": 28,
-    "matchCount": 22,
-    "consistencyScore": 78,
-    "status": "mostly_consistent"
-  },
+  "summary": {"docType": "design-doc", "documentPath": "docs/design/auth-design.md", "verifiableClaimCount": 28, "matchCount": 22, "consistencyScore": 78, "status": "mostly_consistent"},
   "claimCoverage": { "sectionsAnalyzed": 9, "sectionsWithClaims": 8, "sectionsWithZeroClaims": ["Future Work"] },
   "discrepancies": [
-    {
-      "id": "D001",
-      "status": "drift",
-      "severity": "major",
-      "claim": "Login endpoint accepts POST /api/auth/login",
-      "documentLocation": "auth-design.md:45",
-      "codeLocation": "src/auth/router.ts:120",
-      "evidence": "Grep found POST /api/v2/auth/login in src/auth/router.ts:120",
-      "classification": "Path version mismatch"
-    }
+    {"id": "D001", "status": "drift", "severity": "major", "claim": "Login endpoint accepts POST /api/auth/login", "documentLocation": "auth-design.md:45", "codeLocation": "src/auth/router.ts:120", "evidence": "Grep found POST /api/v2/auth/login in src/auth/router.ts:120", "classification": "Path version mismatch"}
   ],
-  "reverseCoverage": {
-    "routesInCode": 12,
-    "routesDocumented": 10,
-    "undocumentedRoutes": ["DELETE /api/auth/sessions (src/auth/router.ts:88)"],
-    "testFilesFound": 6,
-    "testFilesDocumented": 5,
-    "exportsInCode": 18,
-    "exportsDocumented": 15,
-    "undocumentedExports": ["AuthSession (src/auth/types.ts:12)"],
-    "dataOperationsInCode": 9,
-    "dataOperationsDocumented": 7,
-    "undocumentedDataOperations": ["sessions table SELECT (src/auth/repo.ts:42)"],
-    "testBoundariesSectionPresent": true
-  },
+  "reverseCoverage": {"routesInCode": 12, "routesDocumented": 10, "undocumentedRoutes": ["DELETE /api/auth/sessions (src/auth/router.ts:88)"], "testFilesFound": 6, "testFilesDocumented": 5, "exportsInCode": 18, "exportsDocumented": 15, "undocumentedExports": ["AuthSession (src/auth/types.ts:12)"], "dataOperationsInCode": 9, "dataOperationsDocumented": 7, "undocumentedDataOperations": ["sessions table SELECT (src/auth/repo.ts:42)"], "testBoundariesSectionPresent": true},
   "coverage": { "documented": ["login flow", "token refresh"], "undocumented": ["session deletion endpoint"], "unimplemented": ["MFA challenge response"] },
   "limitations": ["Could not verify token refresh against running redis instance"]
 }