AgentSkillsCN

eld

Evidence-Loop Development (ELD) —— 以证据为核心的综合开发方法。 将代码观测(旧 DCCA)、Law/Term 规范(旧 LDE)、安全变更(旧 Proprioceptive)、 知识管理(旧 PCE)统一在一个循环中执行。 触发条件: - “用 ELD 推进”、“用证据循环实施” - “理解代码库”、“分析影响范围”(旧 DCCA) - “定义 Law”、“将 Term 卡片化”(旧 LDE) - “安全变更”、“制作证据包”(旧 Proprioceptive) - “以上下文驱动实施”、“用 PCE 推进”(旧 PCE) - “用 ELD 调试”、“从法则视角调查 Bug”(调试) - 新功能开发、Bug 修复、重构、故障调查

SKILL.md
--- frontmatter
name: eld
context: fork
description: |
  Evidence-Loop Development (ELD) - 証拠で回す統合開発手法。
  コード観測(旧DCCA)、Law/Term規範(旧LDE)、安全な変更(旧Proprioceptive)、
  知識管理(旧PCE)を統一ループで実行する。

  トリガー条件:
  - 「ELDで進めて」「証拠ループで実装して」
  - 「コードベースを理解して」「影響範囲を分析して」(旧DCCA)
  - 「Lawを定義して」「Termをカード化して」(旧LDE)
  - 「安全に変更して」「証拠パックを作成して」(旧Proprioceptive)
  - 「コンテキスト駆動で実装して」「PCEで進めて」(旧PCE)
  - 「ELDでデバッグして」「法則視点でバグ調査して」(デバッグ)
  - 新機能開発、バグ修正、リファクタリング、障害調査

Evidence-Loop Development (ELD)

証拠で回す統合開発手法。コードを「相互接続された意味のグラフ」として理解し、 Law/Termで規範を定め、安全な微小変更で実装し、知識を構造化して蓄積する。

核心原則

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

統一ループ

code
Sense → Model → Predict → Change → Ground → Commit → Record
  ↑                                                      ↓
  └──────────────────── 循環 ←───────────────────────────┘
Phase内容参照
Senseコードの事実/意図/関係を観測、身体図を更新10-sense.md
Model語彙(Term)と関係(Law)を同定、カード化20-model.md
Predict影響を因果タイプ分類、段階化戦略と停止条件を確定30-predict.md
Change最小単位で変更、Pure/IO分離を優先40-change.md
Groundテスト/Telemetry/再現手順で接地50-ground.md
Commit検証通過後にコミット(1ステップ=1コミット)40-change.md
RecordContext Deltaをpce-memory/ADR/Catalogへ反映60-record.md

統一概念

Evidence Pack(証拠パック)

変更の正当性を証明する一式の証拠。PRの中心。

Epistemic Status(認識論的状態)

  • verified: コードまたはテストで確認済み
  • inferred: 構造や慣習から推論
  • unknown: 確認不能/要調査

Evidence Ladder(証拠の梯子)

Level内容備考
L0静的整合(型/lint)ここで完了扱いしない
L1ユニットテストLaw/Termの観測写像の最小
L2統合テスト・再現手順境界越えの因果
L3失敗注入/フェイルセーフ違反時動作の確認
L4本番Telemetry実運用でのLaw違反検知

Issue Contract(ローカル契約)

  • 目的(Goal)
  • 不変条件(Invariants)
  • 物差し(Acceptance Criteria)
  • 停止条件(Stop Conditions)

Law/Term(グローバル法則)

  • Law: ビジネス上の「守るべき条件」(Invariant/Pre/Post/Policy)
  • Term: ドメインの語彙(Entity/Value/Context/Boundary)
  • Link Map: Law ↔ Term の相互参照。孤立禁止

詳細は 00-glossary.md を参照。

開発フロー

Phase 1: Issue(受付)

yaml
成果物:
  - Issue Contract: 目的/不変条件/物差し/停止条件
  - 現状証拠: Senseフェーズの観測結果
  - Term/Law候補: Modelフェーズの初期出力

実行内容: 0. 要件明確化 (新機能開発時):

  • /eld-sense-requirements-brainstorming で要件の曖昧さを対話的に解消
  • Law/Term観点、境界条件、失敗モードから体系的に質問
  • Issue Contract 下書き生成
  1. pce.memory.activate で関連知識を活性化
  2. 目的に応じたツールでコード調査(10-sense.md 参照)
    • 特定キーワード → Grep
    • 定義・参照追跡 → LSP / serena
    • シンボル検索 → serena(利用可能時)
    • 意味的関連探索 → kiri context_bundle
  3. Issue Contractを作成(issue-template.md使用)
  4. Term/Law候補を列挙

使用スキル: /eld-sense-requirements-brainstorming (新機能時), /eld-sense-activation, /eld-model-law-discovery

Phase 2: Design(設計)

yaml
成果物:
  - Law/Term Cards: 相互参照あり、孤立なし
  - Grounding Plan: 必要テスト/Telemetry(Evidence Ladder対応)
  - Change Plan: 微小変更列+各ステップのチェック

実行内容:

  1. Law Card化(Scope/例外/違反時動作)
  2. Term Card化(意味/境界/観測写像)
  3. Link Map更新(孤立チェック)
  4. 影響予測と段階化計画
  5. Grounding Plan策定/test-design-auditでテスト設計)

使用スキル: /eld-model-law-card, /eld-model-term-card, /test-design-audit

Phase 3: Implementation(実装ループ)

各ステップを同じ型で回す:

code
1. Sense   → 触るシンボル/境界/設定の身体図更新
2. Predict → 期待される因果と失敗モード
           → High/Criticalリスク時はworktree提案
3. Change  → 最小単位で変更、Pure/IO分離を維持
           → worktree隔離環境で実験(高リスク時)
4. Ground  → テスト/Telemetryで観測写像を満たす
           → TDD強制(RED-GREEN-REFACTOR)でL1達成
5. Commit  → 検証通過後にコミット(詳細: 40-change.md)
6. Record  → Context Delta記録

高リスク変更の隔離:

  • リスクレベルがHigh/Criticalの場合、worktreeで隔離環境作成
  • 実験成功後、Cherry-pick/Rebase/Mergeでmainに統合
  • 失敗時は即座にworktree削除で元に戻る

TDD強制:

  • S0/S1 Lawは必ずL1(ユニットテスト)達成が必須
  • RED(失敗テスト)→ GREEN(最小実装)→ REFACTOR(品質改善)サイクル
  • テストなし実装を許さず、コミット前にEvidence L1確認

使用スキル: /eld-change-worktree, /eld-ground-tdd-enforcer, /eld-predict-impact, /eld-record-collection

停止条件チェック:

  • 予測と現実の継続的乖離
  • 観測不能な変更の増加
  • ロールバック線の崩壊

Phase 4: Review(レビュー)

yaml
証拠パック中心:
  - 因果と証拠の整合
  - Law/Term孤立チェック
  - 影響範囲のグラフ証拠
  - Evidence Ladder達成レベル

使用スキル: /eld-ground-check

PR作成: pr-template.md 使用

Phase 5: Ops(運用)

  • Telemetryで Law違反を監視
  • Context Deltaを回収→構造化
  • 物差しの再点検
  • pce-memoryへのフィードバック

知識ストア

ストア役割内容
pce-memory履歴・痕跡Fact/Semantic/Relational 3層
Law/Term Catalog規範の正本Cards、Link Map、Grounding Map
ADRアーキテクチャ決定重要な意思決定の記録

pce-memory 3層構造

Layer内容更新頻度scope
Fact関数シグネチャ、型定義、パスsession
Semanticモジュールの意図、ビジネスルールproject
Relational呼び出し関係、データフローproject

品質優先原則(Superpowers統合)

核心原則

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

「速さより質」の実践

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

完了条件・停止条件の詳細は次セクション参照。

完了条件と停止条件

完了条件

  • Issue Contractの物差しが満たされている
  • Law/Termが接地している(Evidence Ladder L1以上)
  • Evidence Packが揃っている
  • Link Mapに孤立がない

停止条件(発生時は追加計測/スコープ縮小)

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

リファレンス

概念定義

  • 00-glossary.md - 統一語彙

フェーズ詳細

  • 10-sense.md - 感知フェーズ(旧DCCA)
  • 20-model.md - モデル化フェーズ(旧LDE Law/Term発見)
  • 30-predict.md - 予測フェーズ(旧Proprioceptive)
  • 40-change.md - 変更フェーズ
  • 50-ground.md - 接地フェーズ
  • 60-record.md - 記録フェーズ(旧PCE)

テンプレート

  • issue-template.md - Issue Contract雛形
  • pr-template.md - PR & Evidence Pack雛形
  • law-term-card.md - Law/Term Card雛形

使用例

code
User: ユーザー認証機能をELDで実装して

Claude:
## ELD Phase 1: Issue

### Issue Contract
- 目的: JWTベースの認証機能実装
- 不変条件: 既存APIとの後方互換性
- 物差し: 認証テスト通過 + レスポンス<200ms
- 停止条件: セキュリティ脆弱性発見時

### 現状証拠(Sense)
[verified]
- 既存認証: src/auth/legacy.ts:23-45(Basic認証)
- 関連モジュール: src/middleware/auth.ts

[unknown]
- 外部認証プロバイダとの連携状況

### Term/Law候補(Model)
- TERM-jwt-token: JWT形式のアクセストークン(S1)
- TERM-refresh-token: リフレッシュトークン(S1)
- LAW-token-expiry: アクセストークンは1時間で失効(S0)
- LAW-refresh-validity: リフレッシュトークンは7日間有効(S1)

Phase 2: Designに進みますか?

デバッグへの適用

ELDの統一ループはデバッグにも適用できる。バグを「法則(Law)からの逸脱」として捉え、 証拠ループで系統的に解決する。

デバッグループ

code
Sense → Model → Predict → Change → Ground → Record
  ↑                                            ↓
  └──────────── 法則復元まで循環 ←──────────────┘
Phase通常開発デバッグ適用
Senseコード観測症状の観測 + 関連法則候補の列挙
ModelLaw/Term同定破られた法則の仮説形成 + 論理式化
Predict影響予測法則違反の伝播範囲予測
Change微小変更法則復元のための最小修正
Ground接地検証証拠の梯子での法則復元確認
Record知識蓄積バグパターン + 法則違反パターン記録

ELD的デバッグの特徴

観点従来ELD的
視点「なぜ壊れた?」「どの法則が破られた?」
証拠ログ・スタックトレース法則違反の論理的証明
修正症状の除去法則の復元
検証「動いた」「法則が満たされた」(L0-L4)
蓄積バグ票Law/Term Card + パターン

詳細は /eld-debug スキルを参照。

ユーティリティスキル

ELDループ内で使用する補助スキル:

Sense(感知)

スキル用途
/eld-sense-activationアクティブコンテキスト構築
/eld-sense-scopeタスクスコープの定義
/eld-sense-task-decompositionタスク分解
/eld-sense-parallel-orchestrator並列実行最適化

Model(モデル化)

スキル用途
/eld-model-law-discoveryLaw候補の発見
/eld-model-law-cardLaw Card作成
/eld-model-term-cardTerm Card作成
/eld-model-link-mapLink Map管理

Change/Commit(変更・コミット)

スキル用途
/git-commitステップ完了時のコミット

Ground(接地)

スキル用途
/test-design-auditテスト設計監査(ELD統合版) - Law/Term駆動のテスト設計
/systematic-test-design体系的テスト設計 - ユニットテスト+PBT統合
/eld-ground-check接地状況の検証
/eld-ground-evaluate成果物評価
/eld-ground-law-monitorLaw違反監視
/eld-ground-pr-reviewPRレビュー
/eld-ground-pre-completionPR作成前検証

Record(記録)

スキル用途
/eld-record-collectionContext Delta収集
/eld-record-structuring知識の構造化
/eld-record-compact履歴圧縮
/eld-record-maintenance知識メンテナンス
/eld-record-memory-collectorメモリ収集
/eld-record-knowledge-transfer知識転送

Debug(デバッグ)

スキル用途
/eld-debug法則駆動デバッグ(バグ=法則違反として分析・修正)