ELD Ground: Verify + Review
Purpose
実装の 接地検証（Grounding Verify） と PRレビュー（PR Review） を統合したスキル。 2軸評価モデル（Evidence Level × Evaluator Quality）により、検証の品質を構造的に保証する。
$ARGUMENTS
Argument Description Behavior
verify
Law/Term接地チェック + 完成度確認 Phase A-C を実行
review
PRレビュー（Artifact-Based + 行レビュー必須領域） Review Hybrid を実行
full
verify + review 一括実行 (default) Phase A-C → Review Hybrid を順次実行
引数省略時は full として動作する。
2-Axis Evaluation Model
Evidence Level（証拠レベル）
Level Name Definition
L0 No Evidence 根拠なし。主張のみ
L1 Anecdotal 個別事例・経験則のみ
L2 Documented ドキュメント・設計書に記載あり
L3 Tested テストコードで検証済み
L4 Proven in Production 本番環境で実証済み
Evaluator Quality（評価者品質）
Level Name Definition
E0 Unchecked 未レビュー
E1 Self-Checked 実装者自身によるセルフチェック
E2 Peer-Reviewed 同等スキルの他者によるレビュー
E3 Expert-Reviewed ドメインエキスパートによるレビュー
Severity × Evaluator Quality Requirements
Severity 必要Evaluator Quality 備考
S0 + security E3 セキュリティ関連の最重要変更は専門家レビュー必須
S1 E2 重要な変更はピアレビュー必須
S2 E1 中程度の変更はセルフチェック以上
S3 E1 軽微な変更はセルフチェック以上
この要件を満たさない場合、Ground結果は 不合格 とする。
Verify Mode
Phase A: Grounding Check
Law/Termに対する実装の接地状態を検証する。
A-1. Law接地チェック
For each Law in eld/laws/:
- Lawの要求事項を抽出
- 対応する実装箇所を特定
- Evidence Levelを判定（L0-L4）
- 未接地（L0-L1）のLawを検出 → 要対応リストに追加
A-2. Term接地チェック
For each Term in eld/terms/:
- Termの定義を確認
- コード内での使用箇所を検索
- 定義と実装の一致度を検証
- 不一致・未使用Termを検出 → 要対応リストに追加
A-3. 接地マトリクス出力
Grounding Matrix
| Law/Term | Evidence Level | 接地箇所 | Gap |
|---|---|---|---|
| {Law/Term名} | L{n} | {ファイル:行} | {未接地の場合の説明} |
Phase B: Output Evaluation
実装成果物の品質を2軸で評価する。
B-1. Evidence Level評価
各変更ファイルについて:
-
テストの有無と品質 → L3判定の基準
-
ドキュメントとの整合性 → L2判定の基準
-
本番実績の有無 → L4判定の基準
B-2. Evaluator Quality評価
Output Evaluation
| 対象 | Evidence Level | Evaluator Quality | Severity | 要件充足 |
|---|---|---|---|---|
| {ファイル/モジュール} | L{n} | E{n} | S{n} | {OK/NG} |
B-3. Gap Analysis
要件を満たさない項目について:
-
現在の状態と必要な状態のギャップを明示
-
改善アクションを具体的に提示
Phase C: Pre-Completion
完成度の最終確認。
C-1. 完成度チェックリスト
-
すべてのLawがL2以上で接地されている
-
すべてのTermが定義通りに使用されている
-
Severity × Evaluator Quality要件を全項目で充足
-
停止条件に該当する項目がない
-
未解決のGapが残っていない
C-2. 完成度スコア
完成度 = (接地済みLaw/Term数) / (全Law/Term数) × 100%
-
100%: 完全接地。Ground合格。
-
80-99%: 条件付き合格。残Gapを明示して判断を仰ぐ。
-
80%未満: 不合格。Gapリストを返却して停止。
Review Mode
Review Hybrid
PRレビューを Artifact-Based Review と Line Review のハイブリッドで実施する。
Artifact-Based Review（全PR共通）
すべてのPRに対してデフォルトで実施する成果物ベースのレビュー。
Compile Phase
- PR差分を取得（git diff base...head）
- 変更ファイルを分類:
- 新規追加 / 修正 / 削除
- ファイル種別（コード / テスト / 設定 / ドキュメント）
- 変更の意図をPRタイトル・説明から抽出
- 関連するLaw/Termを特定
Execute Phase
-
アーキテクチャ整合性チェック:
- 既存パターンとの一貫性
- 依存関係の方向性
- モジュール境界の尊重
-
Law/Term接地チェック（verify modeのPhase A簡易版）:
- 新規/変更コードが既存Law/Termに違反していないか
- 新たなLaw/Termの追加が必要か
-
テスト充足度チェック:
- 変更に対応するテストの有無
- テストのカバレッジと品質
-
設計品質チェック:
- 命名の一貫性
- 責務の分離
- エラーハンドリング
- ログ・可観測性
Capture Phase
Artifact-Based Review Result
| # | Category | Finding | Severity | Suggestion |
|---|---|---|---|---|
| 1 | {カテゴリ} | {発見事項} | S{n} | {改善提案} |
Overall Assessment: {APPROVE / REQUEST_CHANGES / COMMENT}
Line Review（必須領域）
以下の領域に該当する変更は、行単位の詳細レビューを必須とする。
必須領域 対象パターン レビュー観点
Security 認証・認可、入力検証、暗号化、シークレット管理 脆弱性、インジェクション、情報漏洩
Concurrency 並行処理、ロック、非同期、キュー 競合状態、デッドロック、データ整合性
Persistence DB操作、ファイルI/O、キャッシュ データ損失、整合性、パフォーマンス
Auth 認証フロー、セッション管理、トークン 認証バイパス、セッション固定、CSRF
Migration DBマイグレーション、データ移行 ロールバック可能性、データ損失リスク
Billing 課金計算、決済連携、サブスクリプション 計算誤り、二重課金、レース条件
Line Review Output
Line Review: {領域名}
File: {ファイルパス}
| Line | Code | Issue | Severity | Recommendation |
|---|---|---|---|---|
| L{n} | {コード抜粋} | {問題点} | S{n} | {改善案} |
LDE Integration Check
PRが以下のLDE（Law-Driven Engineering）要件を満たしているか確認する。
-
新規機能の場合:
- 対応するLawが存在するか
- Termが適切に定義されているか
- テストがLawの要求をカバーしているか
-
バグ修正の場合:
- 原因となったLaw/Term違反を特定
- 再発防止のためのLaw/Term追加が必要か
-
リファクタリングの場合:
- 既存のLaw/Term接地を破壊していないか
- 接地状態が改善されているか
LDE Integration
| Check | Status | Detail |
|---|---|---|
| Law Coverage | {OK/NG/N/A} | {説明} |
| Term Consistency | {OK/NG/N/A} | {説明} |
| Test-Law Alignment | {OK/NG/N/A} | {説明} |
Full Mode
full モード（デフォルト）は以下を順次実行する:
- Verify Mode 実行 ├── Phase A: Grounding Check ├── Phase B: Output Evaluation └── Phase C: Pre-Completion
- Review Mode 実行 ├── Artifact-Based Review (Compile → Execute → Capture) ├── Line Review (必須領域のみ) └── LDE Integration Check
- 統合レポート出力
統合レポート
ELD Ground Report
Summary
- Verify: {PASS/CONDITIONAL/FAIL} (完成度: {n}%)
- Review: {APPROVE/REQUEST_CHANGES/COMMENT}
- Evidence Level Range: L{min}-L{max}
- Evaluator Quality: E{n}
Critical Findings
{S0-S1の発見事項をリスト}
Action Items
- {必須対応項目}
Detailed Results
{verify/reviewの詳細結果を展開}
References
-
接地チェックリスト詳細: checklist-detailed.md
-
Evidence Pack仕様: evidence-pack-spec.md
-
CI統合ガイド: ci-integration.md
-
2軸評価モデル詳細: eld/references/50-ground.md
Quality Principles
-
Evidence over Opinion: 主観的判断ではなく、証拠（テスト結果、ドキュメント、本番データ）に基づいて評価する。
-
Severity-Proportional Rigor: 重大度に比例した検証深度を適用する。S0は最高品質の検証を、S3は効率的な確認を。
-
Grounding Completeness: すべてのLaw/Termが実装に接地されていることを確認する。未接地は明示的にGapとして報告する。
-
Review Transparency: レビュー結果はすべて構造化された形式で出力し、判断根拠を追跡可能にする。
-
LDE Alignment: すべての変更がLaw-Driven Engineeringの原則に沿っていることを確認する。
Stop Conditions
以下の条件に該当した場合、即座に作業を停止し報告する。
ID 条件 対応
S-GND-01 S0 + security の発見事項が E3 未満の状態で存在 専門家レビューを要求して停止
S-GND-02 Law接地率が 50% 未満 設計の根本的見直しを提案して停止
S-GND-03 DBマイグレーションにロールバック手順がない ロールバック手順の追加を要求して停止
S-GND-04 認証・認可の変更にテストがない テスト追加を要求して停止
S-GND-05 課金ロジックの変更で二重課金リスクが検出された 即座に停止し、リスク分析を報告
S-GND-06 verify不合格（完成度 80% 未満）の状態でreviewに進もうとした verifyのGap解消を優先
S-GND-07 PRの差分取得に失敗、またはベースブランチが不明 情報の確認を要求して停止
Execution Flow
引数解析 → モード決定（verify / review / full） │ ├─ verify ─→ Phase A → Phase B → Phase C → 結果出力 │ ├─ review ─→ Artifact-Based Review → Line Review(必須領域) → LDE Check → 結果出力 │ └─ full ───→ verify実行 → 合格判定 → review実行 → 統合レポート出力 │ └─ 不合格 → S-GND-06停止条件適用