---
generated_at: 2026-03-01 10:45:00
metrics:
  claims_total: 22
  claims_with_evidence: 22
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：12-diagnostics

## 本レポートについて

### 目的
本レポートは、生成された設計書・ドキュメントの信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

### チェック方法
以下の観点でドキュメントの内容（Claim：主張）を検証しています：

1. **根拠の有無確認**：各主張に対して、ソースコード・既存設計書・要件定義書などの根拠（Evidence）が存在するか
2. **根拠との整合性**：主張の内容が根拠と矛盾していないか
3. **網羅性**：参照すべき情報源を適切にカバーしているか

### 信頼度スコアの算出
- **confidence_derived** = 根拠あり件数 / 総主張件数
- 状態「○」：根拠あり、「△」：根拠不足または要確認

### 本レポートの使い方
1. まず「サマリー」で全体の信頼度と優先レビュー項目を確認
2. 「Claims と根拠の対応」で △ の項目を重点的にレビュー
3. 「不足情報」で補完が必要な情報源を確認

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：22 / 22、根拠なし：0
- 優先レビュー（高）
  - 全ての主張がソースコードで確認可能

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。抽出フェーズで付けたIDをそのまま出す。

- E-01: `src/cli/diagnostics.zig` - Diagnostic/DiagnosticList/Location構造体の定義
- E-02: `src/cli/args.zig` - CLI引数パーサーと診断情報生成
- E-03: `src/config/Config.zig` - 設定管理と_diagnosticsフィールド
- E-04: `src/cli/validate_config.zig` - CLI表示の実装
- E-05: `src/apprt/gtk/class/config.zig` - GTK GhosttyConfig実装
- E-06: `src/apprt/gtk/ui/1.2/config-errors-dialog.blp` - GTKダイアログUI定義
- E-07: `src/cli.zig` - CLIモジュールエクスポート
- E-08: `docs/code-to-docs/帳票一覧/帳票一覧.csv` - 帳票一覧の定義

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | Diagnostic構造体はlocation, key, messageフィールドを持つ | E-01:13-16行 | ○ |
| C-02 | Locationはnone, cli, fileの3種類がある | E-01:49-55行 | ○ |
| C-03 | DiagnosticListはArrayListUnmanagedでDiagnosticを管理する | E-01:96行 | ○ |
| C-04 | precompute機能はlibghosttyビルド時に有効 | E-01:104-111行 | ○ |
| C-05 | Diagnostic.format関数がメッセージをフォーマットする | E-01:19-36行 | ○ |
| C-06 | CLI引数が--で始まらない場合はinvalid fieldエラー | E-02:112-123行 | ○ |
| C-07 | パースエラー時にdiagnosticsに追加される | E-02:174-178行 | ○ |
| C-08 | unknown fieldメッセージが生成される | E-02:162行 | ○ |
| C-09 | value requiredメッセージが生成される | E-02:163行 | ○ |
| C-10 | invalid valueメッセージが生成される | E-02:164行 | ○ |
| C-11 | Config._diagnosticsフィールドが診断リストを保持 | E-03:3761行 | ○ |
| C-12 | config-file循環参照で診断が生成される | E-03:4195行 | ○ |
| C-13 | ファイルオープンエラーで診断が生成される | E-03:4211行 | ○ |
| C-14 | ファイルタイプエラーで診断が生成される | E-03:4231行 | ○ |
| C-15 | addDiagnosticFmt関数でフォーマット付き診断を追加できる | E-03:4825-4839行 | ○ |
| C-16 | validate_configで診断情報をイテレートして出力 | E-04:70-74行 | ○ |
| C-17 | GhosttyConfig GObjectがdiagnostics-bufferプロパティを持つ | E-05:35-49行 | ○ |
| C-18 | hasDiagnostics関数が診断の有無を返す | E-05:102-106行 | ○ |
| C-19 | diagnosticsBuffer関数がTextBufferを生成する | E-05:110-134行 | ○ |
| C-20 | GTKダイアログのタイトルは「Configuration Errors」 | E-06:6行 | ○ |
| C-21 | GTKダイアログはIgnoreとReload Configurationボタンを持つ | E-06:9-12行 | ○ |
| C-22 | cli.zigがDiagnostic/DiagnosticList/Locationをエクスポート | E-07:8-10行 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし。全ての主張がソースコードで確認可能。

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全ての主張がソースコードで直接確認可能
- 0: 低リスク - データ構造の定義がソースコードと完全に一致

## 6) レビュアーチェックリスト（最小）
- [ ] Diagnostic構造体のフィールド定義がソースコードと一致しているか確認
- [ ] Location共用体の各バリアントが正しく記載されているか確認
- [ ] 診断メッセージの生成箇所（args.zig, Config.zig）が網羅されているか確認
- [ ] GTK GhosttyConfigのプロパティ名（diagnostics-buffer, has-diagnostics）が正確か確認
- [ ] config-errors-dialog.blpのUI定義との整合性を確認
