ELD Spec Link Map管理

Link Mapとは

相互拘束（mutual constraint） を実現するための連結表。

• Lawは参照するTermを明示: 各LawはTerms欄に参照先を記載
• 重要TermはRelated Lawsを保持: S0/S1 Termは関連Lawを最低1つ持つ
• 孤立禁止: 孤立Law・孤立Termを検出してアラート

Link Mapテンプレート

# Link Map

## Law → Term 参照

| Law ID | Type | Terms |
|--------|------|-------|
| LAW-inv-available-balance | Invariant | TERM-inventory-available, TERM-inventory-total, TERM-inventory-reserved |
| LAW-pre-order-quantity | Pre | TERM-order-quantity, TERM-inventory-available |

## Term → Law 逆引き

| Term ID | Importance | Related Laws |
|---------|------------|--------------|
| TERM-inventory-available | S1 | LAW-inv-available-balance, LAW-pre-order-quantity |
| TERM-inventory-total | S1 | LAW-inv-available-balance |
| TERM-inventory-reserved | S2 | LAW-inv-available-balance |
| TERM-order-quantity | S2 | LAW-pre-order-quantity |

孤立チェック

孤立Law検出

Terms欄が空のLawを検出:

orphan_check:
  type: orphan_law
  law_id: LAW-xxx
  issue: "Terms欄が空です"
  action: "参照するTermを最低1つ追加してください"

孤立Term検出

Related Lawsが空のS0/S1 Termを検出:

orphan_check:
  type: orphan_term
  term_id: TERM-xxx
  importance: S1
  issue: "Related Lawsが空です"
  action: "関連するLawを追加するか、重要度を見直してください"

失敗パターン検出

名辞インフレ（Noun Inflation）

症状: Term/型が増えるがLawが増えない

pattern_detection:
  type: noun_inflation
  indicator: "Termが5件以上追加されたがLawが0件"
  terms_added: [TERM-a, TERM-b, TERM-c, TERM-d, TERM-e]
  laws_added: []
  recommendation: "追加したTermに関連するLawを検討してください"

関係スープ（Relation Soup）

症状: Lawは増えるが主要語彙が曖昧

pattern_detection:
  type: relation_soup
  indicator: "Lawが5件以上追加されたがTermが1件以下"
  laws_added: [LAW-a, LAW-b, LAW-c, LAW-d, LAW-e]
  terms_added: [TERM-x]
  recommendation: "Lawが参照する語彙を明確化してTermカード化してください"

影響分析

Term変更時

impact_analysis:
  changed: TERM-inventory-available
  change_type: definition | type | constraint
  affected_laws:
    - LAW-inv-available-balance
    - LAW-pre-order-quantity
  action_required:
    - "各Lawの整合性を確認"
    - "テストを更新"
    - "ドキュメントを更新"

Law変更時

impact_analysis:
  changed: LAW-inv-available-balance
  change_type: statement | constraint | exception
  affected_terms:
    - TERM-inventory-available
    - TERM-inventory-total
    - TERM-inventory-reserved
  action_required:
    - "各Termの意味と整合性を確認"
    - "境界検証ロジックを更新"

更新手順

Law Card作成後（/eld-spec-card law の後）

1. Law CardのTerms欄を確認
2. Link MapのLaw → Term参照表に追加
3. 各TermのRelated Lawsを更新
4. 孤立チェックを実行

Term Card作成後（/eld-spec-card term の後）

1. Term CardのRelated Lawsを確認
2. Link MapのTerm → Law逆引きに追加
3. 各LawのTerms欄を確認（必要なら更新）
4. 孤立チェックを実行

チェックリスト

作成時

• 新規Lawにはすべて参照Termがある
• 新規S0/S1 TermにはRelated Lawsがある
• Link Mapが更新されている

レビュー時

• 孤立Lawがない
• 孤立S0/S1 Termがない
• 名辞インフレの兆候がない
• 関係スープの兆候がない

変更時

• 変更Termの影響Lawを列挙した
• 変更Lawの影響Termを列挙した
• 影響範囲のテスト更新方針がある

使用例

User: Link Mapの孤立チェックをして

Claude:
## Link Map孤立チェック実行中...

### Law → Term 参照チェック
- LAW-inv-available-balance: ✅ Terms: 3件
- LAW-pre-order-quantity: ✅ Terms: 2件
- LAW-policy-discount: ❌ **孤立Law検出**
  - Terms欄が空です
  - Action: 参照するTermを追加してください

### Term → Law 逆引きチェック
- TERM-inventory-available (S1): ✅ Laws: 2件
- TERM-inventory-total (S1): ✅ Laws: 1件
- TERM-user-role (S1): ❌ **孤立Term検出**
  - Related Lawsが空です
  - Action: 関連Lawを追加するか重要度を見直してください

### パターン検出
✅ 名辞インフレなし
✅ 関係スープなし

### Summary
- 孤立Law: 1件 (要対応)
- 孤立Term: 1件 (要対応)

視覚化（参考）

複雑なプロジェクトではグラフで可視化:

              ┌─────────────────────────┐
              │    LAW-inv-balance      │
              └──────────┬──────────────┘
           ┌─────────────┼─────────────┐
           ▼             ▼             ▼
    ┌──────────┐  ┌──────────┐  ┌──────────┐
    │available │  │  total   │  │ reserved │
    └──────────┘  └──────────┘  └──────────┘
           │
           ▼
    ┌─────────────────────────┐
    │   LAW-pre-order-qty     │
    └─────────────────────────┘

---

品質優先原則

核心原則

1. Epistemic Humility: 推測を事実として扱わない。unknownと言う勇気を持つ
2. Evidence First: 結論ではなく因果と証拠を中心にする
3. Minimal Change: 最小単位で変更し、即時検証する
4. Grounded Laws: Lawは検証可能・観測可能でなければならない
5. Source of Truth: 真実は常に現在のコード。要約はインデックス

「速さより質」の実践

• 要件の曖昧さによる手戻りを根本から排除
• テストなし実装を許さない
• 観測不能な変更を防ぐ

完了の定義

• Evidence Ladder目標レベル達成
• Issue Contractの物差し満足
• Law/Termが接地している（Grounding Map確認）
• Link Mapに孤立がない
• ロールバック可能な状態

停止条件

以下が発生したら即座に停止し、追加計測またはスコープ縮小:

• 予測と現実の継続的乖離（想定外テスト失敗3回以上）
• 観測不能な変更の増加（物差しで検証できない変更）
• ロールバック線の崩壊（戻せない変更の発生）