create-ai-project 1.23.4 → 1.23.5

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-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" }
 }
 ```

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"]
 }

package/.claude/agents-ja/codebase-analyzer.md

@@ -109,106 +109,38 @@ skills: coding-standards, project-context, technical-spec
 
 ```json
 {
-  "analysisScope": {
-    "filesAnalyzed": ["path/to/file1"],
-    "tracedDependencies": ["path/to/dep1"],
-    "categoriesDetected": ["data_layer", "external_integration", "validation", "auth"]
-  },
+  "analysisScope": {"filesAnalyzed": ["path/to/file1"], "tracedDependencies": ["path/to/dep1"], "categoriesDetected": ["data_layer", "external_integration", "validation", "auth"]},
   "existingElements": [
-    {
-      "category": "interface|type|function|method|class|constant|configuration",
-      "name": "要素名",
-      "filePath": "path/to/file:行番号",
-      "visibility": "public|private|internal",
-      "signature": "シグネチャまたは定義の概要",
-      "usedBy": ["path/to/consumer1"]
-    }
+    {"category": "interface|type|function|method|class|constant|configuration", "name": "要素名", "filePath": "path/to/file:行番号", "visibility": "public|private|internal", "signature": "シグネチャまたは定義の概要", "usedBy": ["path/to/consumer1"]}
   ],
   "dataModel": {
     "detected": true,
     "schemas": [
-      {
-        "name": "テーブルまたはモデル名",
-        "definitionPath": "path/to/schema:行番号",
-        "fields": [
-          {
-            "name": "フィールド名",
-            "type": "フィールド型",
-            "constraints": ["NOT NULL", "UNIQUE"]
-          }
-        ],
-        "relationships": [
-          "外部キーカラム経由で他テーブルを参照"
-        ]
-      }
+      {"name": "テーブルまたはモデル名", "definitionPath": "path/to/schema:行番号", "fields": [{"name": "フィールド名", "type": "フィールド型", "constraints": ["NOT NULL", "UNIQUE"]}], "relationships": ["外部キーカラム経由で他テーブルを参照"]}
     ],
     "accessPatterns": [
-      {
-        "operation": "read|write|aggregate|join|delete",
-        "location": "path/to/file:行番号",
-        "targetSchema": "テーブルまたはモデル名",
-        "description": "操作内容の概要"
-      }
+      {"operation": "read|write|aggregate|join|delete", "location": "path/to/file:行番号", "targetSchema": "テーブルまたはモデル名", "description": "操作内容の概要"}
     ],
     "migrationFiles": ["path/to/migration/files"]
   },
   "dataTransformationPipelines": [
-    {
-      "entryPoint": "ClassName.methodName (file:line)",
-      "steps": [
-        {
-          "order": 1,
-          "method": "methodName (file:line)",
-          "input": "入力データ/フォーマットの説明",
-          "output": "出力データ/フォーマットの説明",
-          "externalLookups": ["MasterTable.getData() でコード変換"],
-          "transformation": "何が変わるか（例: 生値がルックアップテーブル経由で表示値にマッピング）"
-        }
-      ],
-      "intermediateFormats": ["中間データ表現の説明（該当する場合）"],
-      "finalOutput": "最終出力データ/フォーマットの説明"
-    }
+    {"entryPoint": "ClassName.methodName (file:line)", "steps": [{"order": 1, "method": "methodName (file:line)", "input": "入力データ/フォーマットの説明", "output": "出力データ/フォーマットの説明", "externalLookups": ["MasterTable.getData() でコード変換"], "transformation": "何が変わるか（例: 生値がルックアップテーブル経由で表示値にマッピング）"}], "intermediateFormats": ["中間データ表現の説明（該当する場合）"], "finalOutput": "最終出力データ/フォーマットの説明"}
   ],
   "constraints": [
-    {
-      "type": "validation|business_rule|configuration|assumption",
-      "description": "制約が強制する内容",
-      "location": "path/to/file:行番号",
-      "impact": "この制約に違反した場合の影響"
-    }
+    {"type": "validation|business_rule|configuration|assumption", "description": "制約が強制する内容", "location": "path/to/file:行番号", "impact": "この制約に違反した場合の影響"}
   ],
   "qualityAssurance": {
     "mechanisms": [
-      {
-        "tool": "ツールまたはチェック名",
-        "enforces": "検証する品質項目",
-        "configLocation": "path/to/config:行番号",
-        "coveredFiles": ["このメカニズムでカバーされる影響ファイル"],
-        "type": "linter|static_analysis|schema_validator|domain_specific|ci_check"
-      }
+      {"tool": "ツールまたはチェック名", "enforces": "検証する品質項目", "configLocation": "path/to/config:行番号", "coveredFiles": ["このメカニズムでカバーされる影響ファイル"], "type": "linter|static_analysis|schema_validator|domain_specific|ci_check"}
     ],
     "domainConstraints": [
-      {
-        "constraint": "ドメイン固有の制約の説明",
-        "source": "path/to/config-or-ci:行番号",
-        "affectedFiles": ["この制約の対象ファイル"]
-      }
+      {"constraint": "ドメイン固有の制約の説明", "source": "path/to/config-or-ci:行番号", "affectedFiles": ["この制約の対象ファイル"]}
     ]
   },
   "focusAreas": [
-    {
-      "fact_id": "src/auth/createUser.ts:createUser",
-      "area": "領域名（既存事実の1つのまとまり）",
-      "evidence": "existingElements[name='createUser']",
-      "relatedFiles": ["src/auth/createUser.ts", "src/api/routes/users.ts", "src/services/notification.ts"],
-      "factsToAddress": "設計が扱うべき具体的事実（例: '関数Xは[a, b, c]から呼び出される'、'メソッドYは4つの結果ケースに分岐する: case1...case4'、'フィールドZは[v1, v2, v3]の値を受け付ける'）",
-      "risk": "これらの事実を設計が省略または矛盾させた場合に起こる問題"
-    }
+    {"fact_id": "src/auth/createUser.ts:createUser", "area": "領域名（既存事実の1つのまとまり）", "evidence": "existingElements[name='createUser']", "relatedFiles": ["src/auth/createUser.ts", "src/api/routes/users.ts", "src/services/notification.ts"], "factsToAddress": "設計が扱うべき具体的事実（例: '関数Xは[a, b, c]から呼び出される'、'メソッドYは4つの結果ケースに分岐する: case1...case4'、'フィールドZは[v1, v2, v3]の値を受け付ける'）", "risk": "これらの事実を設計が省略または矛盾させた場合に起こる問題"}
   ],
-  "testCoverage": {
-    "testedElements": ["テストファイルが見つかった要素名"],
-    "untestedElements": ["テストファイルが見つからなかった要素名"]
-  },
+  "testCoverage": {"testedElements": ["テストファイルが見つかった要素名"], "untestedElements": ["テストファイルが見つからなかった要素名"]},
   "limitations": ["分析できなかった内容とその理由"]
 }
 ```

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

@@ -173,49 +173,15 @@ WorkPlanの場合、追加で以下を確認:
 
 ```json
 {
-  "metadata": {
-    "review_mode": "comprehensive",
-    "doc_type": "DesignDoc",
-    "target_path": "/path/to/document.md"
-  },
-  "scores": {
-    "consistency": 85,
-    "completeness": 80,
-    "rule_compliance": 90,
-    "clarity": 75
-  },
-  "gate0": {
-    "status": "pass|fail",
-    "missing_elements": []
-  },
-  "verdict": {
-    "decision": "approved_with_conditions",
-    "conditions": [
-      "FileUtilの不整合を解消",
-      "不足しているテストファイルを追加"
-    ]
-  },
+  "metadata": {"review_mode": "comprehensive", "doc_type": "DesignDoc", "target_path": "/path/to/document.md"},
+  "scores": {"consistency": 85, "completeness": 80, "rule_compliance": 90, "clarity": 75},
+  "gate0": {"status": "pass|fail", "missing_elements": []},
+  "verdict": {"decision": "approved_with_conditions", "conditions": ["FileUtilの不整合を解消", "不足しているテストファイルを追加"]},
   "issues": [
-    {
-      "id": "I001",
-      "severity": "critical",
-      "category": "consistency",
-      "location": "セクション3.2",
-      "description": "FileUtilメソッドの不一致",
-      "suggestion": "実際のFileUtil使用状況を反映するようドキュメントを更新"
-    }
-  ],
-  "recommendations": [
-    "承認前に優先修正が必要",
-    "ドキュメントと実装の整合"
+    {"id": "I001", "severity": "critical", "category": "consistency", "location": "セクション3.2", "description": "FileUtilメソッドの不一致", "suggestion": "実際のFileUtil使用状況を反映するようドキュメントを更新"}
   ],
-  "prior_context_check": {
-    "items_received": 0,
-    "resolved": 0,
-    "partially_resolved": 0,
-    "unresolved": 0,
-    "items": []
-  }
+  "recommendations": ["承認前に優先修正が必要", "ドキュメントと実装の整合"],
+  "prior_context_check": {"items_received": 0, "resolved": 0, "partially_resolved": 0, "unresolved": 0, "items": []}
 }
 ```
 
@@ -223,16 +189,8 @@ WorkPlanの場合、追加で以下を確認:
 
 ```json
 {
-  "metadata": {
-    "review_mode": "perspective",
-    "focus": "implementation",
-    "doc_type": "DesignDoc",
-    "target_path": "/path/to/document.md"
-  },
-  "analysis": {
-    "summary": "分析結果の説明",
-    "scores": {}
-  },
+  "metadata": {"review_mode": "perspective", "focus": "implementation", "doc_type": "DesignDoc", "target_path": "/path/to/document.md"},
+  "analysis": {"summary": "分析結果の説明", "scores": {}},
   "issues": [],
   "checklist": [
     {"item": "チェック項目の説明", "status": "pass|fail|na"}
@@ -253,12 +211,7 @@ WorkPlanの場合、追加で以下を確認:
     "partially_resolved": 1,
     "unresolved": 0,
     "items": [
-      {
-        "id": "D001",
-        "status": "resolved",
-        "location": "セクション3.2",
-        "evidence": "コードがドキュメントと一致"
-      }
+      {"id": "D001", "status": "resolved", "location": "セクション3.2", "evidence": "コードがドキュメントと一致"}
     ]
   }
 }

package/.claude/agents-ja/integration-test-reviewer.md

@@ -102,11 +102,7 @@ skills: integration-e2e-testing, typescript-testing, project-context
     "implementedACs": 4,
     "pendingTodos": 1,
     "missingAssertions": [
-      {
-        "ac": "AC2: エラー時にフォールバック値を返す",
-        "expectedBehavior": "API障害 → フォールバック値返却",
-        "issue": "フォールバック値の検証が欠落"
-      }
+      {"ac": "AC2: エラー時にフォールバック値を返す", "expectedBehavior": "API障害 → フォールバック値返却", "issue": "フォールバック値の検証が欠落"}
     ]
   },
 
@@ -114,38 +110,17 @@ skills: integration-e2e-testing, typescript-testing, project-context
     "totalPropertyAnnotations": 2,
     "fastCheckImplemented": 1,
     "missing": [
-      {
-        "property": "モデル名は常にgemini-3-pro-image-preview",
-        "location": "line 45",
-        "issue": "fc.assert(fc.property(...))形式で未実装"
-      }
+      {"property": "モデル名は常にgemini-3-pro-image-preview", "location": "line 45", "issue": "fc.assert(fc.property(...))形式で未実装"}
     ]
   },
 
   "qualityIssues": [
-    {
-      "severity": "high | medium | low",
-      "category": "aaa_structure | independence | reproducibility | mock_boundary | proof_insufficient | readability",
-      "location": "[ファイル:行番号]",
-      "description": "[問題の説明]",
-      "suggestion": "[具体的な修正提案]"
-    }
+    {"severity": "high | medium | low", "category": "aaa_structure | independence | reproducibility | mock_boundary | proof_insufficient | readability", "location": "[ファイル:行番号]", "description": "[問題の説明]", "suggestion": "[具体的な修正提案]"}
   ],
 
-  "passedChecks": [
-    "AAA構造が明確",
-    "テスト間の独立性が確保",
-    "日時・乱数の適切なモック化"
-  ],
+  "passedChecks": ["AAA構造が明確", "テスト間の独立性が確保", "日時・乱数の適切なモック化"],
 
-  "verdict": {
-    "decision": "approved | needs_revision | blocked",
-    "reason": "[判定理由]",
-    "prioritizedActions": [
-      "1. [最優先の修正項目]",
-      "2. [次の修正項目]"
-    ]
-  }
+  "verdict": {"decision": "approved | needs_revision | blocked", "reason": "[判定理由]", "prioritizedActions": ["1. [最優先の修正項目]", "2. [次の修正項目]"]}
 }
 ```
 
@@ -184,13 +159,7 @@ needs_revision判定時、後続処理で使用できる修正指示を出力:
 ```json
 {
   "requiredFixes": [
-    {
-      "priority": 1,
-      "issue": "[問題]",
-      "fix": "[具体的な修正内容]",
-      "location": "[ファイル:行番号]",
-      "codeHint": "[修正コードのヒント]"
-    }
+    {"priority": 1, "issue": "[問題]", "fix": "[具体的な修正内容]", "location": "[ファイル:行番号]", "codeHint": "[修正コードのヒント]"}
   ]
 }
 ```