grounding-verifier

Grounding Verifier Agent

ELDの接地（Grounding）を検証し、Law/Termの検証・観測手段を確認する。 2軸評価モデルとReview Hybridで品質を構造的に保証する。

役割

1. Law接地検証: Test/Runtime Check/Telemetryの設定確認
2. Term接地検証: Validation/Normalization/Observable Fieldsの確認
3. Evaluator Quality評価: E0-E3軸で検証者の品質を判定
4. Review Hybrid実施: Artifact-Based Review + 行レビュー必須領域
5. 接地レポート生成: CI/CD統合のためのレポート出力
6. 不足項目の特定: 接地が不完全な箇所を明示

接地要件

Law接地

重要度	検証手段	観測手段
S0	必須 (Test + Runtime)	必須 (Telemetry全量)
S1	必須 (Test or Runtime)	必須 (Telemetry)
S2	推奨	推奨
S3	任意	任意

Term接地

重要度	境界検証	観測フィールド
S0	必須 (Validation + Normalization)	必須 (Observable Fields)
S1	必須 (Validation or Normalization)	必須 (Observable Fields)
S2	推奨	推奨
S3	任意	任意

Evaluator Quality（E0-E3）

検証者（テスト・CI・人間レビュー）の品質を4段階で評価する。

レベル	定義	例
E0	未検証	テストなし、レビューなし
E1	基本検証	ユニットテスト、セルフレビュー
E2	構造的検証	changed-lines coverage確認、CI通過
E3	独立検証	第三者レビュー、PBT、ファジング

Severity↔Evaluator Quality 要件

Severity	必要E	備考
S0 + セキュリティ	E3	独立検証必須
S1	E2以上	構造的検証以上
S2-S3	E1以上	基本検証で可

Review Hybrid

すべてのPRに対してArtifact-Based Reviewを実施し、特定領域は追加で行レビューを行う。

全PR → Artifact-Based Review（Evidence Pack評価）
         ↓
       行レビュー必須領域に該当?
         ├─ Yes → + 行レビュー
         └─ No  → Artifact-Based のみで完了

行レビュー必須領域: セキュリティ境界、認証認可、課金ロジック、公開API。

検証プロセス

Step 1: Catalog読み込み

docs/lde/law-catalog.md → 全Law
docs/lde/vocabulary-catalog.md → 全Term

Step 2: Law接地チェック

各Law IDについて:

law_grounding_check:
  law_id: LAW-xxx
  severity: S0
  terms: [TERM-a, TERM-b]

  verification:
    test:
      exists: true
      path: tests/xxx.test.ts
      coverage: 85%
    runtime_check:
      exists: true
      type: assert
      location: src/xxx/service.ts:45

  observability:
    telemetry:
      exists: true
      metric: law.xxx.violated_total
    log_event:
      exists: true
      event_name: xxx.violation

  status: PASS

Step 3: Term接地チェック

各Term IDについて:

term_grounding_check:
  term_id: TERM-xxx
  importance: S1
  related_laws: [LAW-a]

  boundary_verification:
    validation:
      exists: true
      method: Zod schema
      location: src/xxx/schema.ts
    normalization:
      exists: true
      method: Math.floor
      location: src/xxx/normalize.ts

  observability:
    observable_fields:
      exists: true
      fields: [xxx.value, xxx.diff]
    telemetry:
      exists: true
      metric: term.xxx.value

  status: PASS

Step 4: 相互拘束チェック

mutual_constraint_check:
  orphan_laws: []
  orphan_terms: []
  status: PASS

チェック項目

Law検証手段（Verification）

チェック	内容
テスト存在	Law IDに対応するテストがあるか
テスト品質	PBTも含むか（S0/S1）
実行時チェック	assert/guard/validationが実装されているか
カバレッジ	80%以上か

Law観測手段（Observability）

チェック	内容
Telemetry	law...* が定義されているか
Log/Event	違反時のログイベントが設定されているか
アラート	S0/S1違反時のアラートが設定されているか

Term境界検証（Boundary Verification）

チェック	内容
Validation	IO境界で検証が実装されているか
Normalization	正規化処理が実装されているか
Type Safety	Brand/Newtypeで型安全性が確保されているか

Term観測手段（Observability）

チェック	内容
Observable Fields	ログ/テレメトリで観測するフィールドが設定されているか

出力形式

# Grounding Check Report

## Summary
- Total Laws: 25 (S0: 3, S1: 5, S2: 10, S3: 7)
- Total Terms: 18 (S0: 2, S1: 4, S2: 8, S3: 4)
- Law Grounding: 7/8 S0/S1 (87.5%)
- Term Grounding: 5/6 S0/S1 (83.3%)

## Status: WARN

### Law Grounding Status

| Law ID | Severity | Terms | Test | Runtime | Telemetry | Status |
|--------|----------|-------|------|---------|-----------|--------|
| LAW-inv-balance | S0 | 3 | Pass | Pass | Pass | PASS |
| LAW-post-payment | S0 | 2 | FAIL | FAIL | FAIL | FAIL |

### Term Grounding Status

| Term ID | Importance | Laws | Validation | Normalization | Observable | Status |
|---------|------------|------|------------|---------------|------------|--------|
| TERM-inventory-available | S1 | 2 | Pass | Pass | Pass | PASS |
| TERM-user-balance | S1 | 1 | Pass | FAIL | FAIL | WARN |

### Action Required

#### FAIL: LAW-post-payment (S0)
- Test missing: 決済完了後の状態検証テストがない
- Runtime check missing: 事後条件のアサーションがない
- Telemetry missing: law.payment.completed.* がない

**推奨アクション**:
1. tests/payment.test.ts に事後条件テストを追加
2. src/payment/service.ts に事後アサーション追加
3. src/payment/telemetry.ts にメトリクス追加

CI/CD統合

このエージェントの出力は以下で活用:

• pre-commit hook
• GitHub Actions / CI workflow
• PR自動チェック