---
generated_at: 2026-03-01 20:30:00
metrics:
  claims_total: 191
  claims_with_evidence: 178
  claims_without_evidence: 13
confidence_derived: 0.93
---

# 根拠レポート：input.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.93**
  - 根拠あり：178 / 191、根拠なし：13
- 優先レビュー（高）
  1. **C-113〜C-130（key_encode.zig）**：エンコード処理の詳細な動作確認が必要
  2. **C-167〜C-178（KeymapDarwin.zig）**：macOS固有APIの動作確認
  3. **C-151〜C-154（Link.zig）**：Oniguruma正規表現ライブラリとの連携確認

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

- E-01: `src/input/Binding.zig` - バインディング定義とパーサー実装（2000行以上）
- E-02: `src/input/key.zig` - キーイベントとキーコード定義（880行）
- E-03: `src/input/key_mods.zig` - モディファイアキー管理とRemapSet実装（915行）
- E-04: `src/input/key_encode.zig` - キーエンコード処理（Kitty/レガシー）
- E-05: `src/input/mouse.zig` - マウスボタンとスクロール状態（105行）
- E-06: `src/input/keyboard.zig` - キーボードレイアウト検出（59行）
- E-07: `src/input/paste.zig` - ペースト処理とセキュリティ検証（229行）
- E-08: `src/input/Link.zig` - クリック可能リンク定義（80行）
- E-09: `src/input/command.zig` - コマンドパレット用コマンド定義（738行）
- E-10: `src/input/function_keys.zig` - PCスタイルファンクションキーテーブル（313行）
- E-11: `src/input/kitty.zig` - Kittyキーボードプロトコルマッピング（135行）
- E-12: `src/input/keycodes.zig` - プラットフォーム別キーコード（674行）
- E-13: `src/input/KeymapDarwin.zig` - macOSキーマップ実装（290行）
- E-14: `src/input/KeymapNoop.zig` - Noopキーマップ（プレースホルダー）（40行）
- E-15: `src/input/config.zig` - 設定用列挙型（9行）
- E-16: `src/input/helpgen_actions.zig` - ヘルプ生成ユーティリティ（113行）
- E-17: 既存テストコード（各ファイル内のtest節）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01〜C-06 | Flags.cvalの各フラグパターンでの値 | E-01（test "cval"節、行61-69） | ○ |
| C-07〜C-20 | Parser.initの各種パターン処理 | E-01（Parser struct、行72-213） | ○ |
| C-21〜C-23 | SequenceIteratorの動作 | E-01（SequenceIterator struct、行216-240） | ○ |
| C-24〜C-26 | parseSingleの動作 | E-01（parseSingle関数、行248-259） | ○ |
| C-27〜C-28 | lessThanのソート順序 | E-01（lessThan関数、行262-300） | ○ |
| C-29〜C-33 | Action.parseの動作 | E-01（Action union、行302-） | ○ |
| C-34〜C-37 | KeyEvent.effectiveMods/bindingHash | E-02（KeyEvent struct、行17-79） | ○ |
| C-38〜C-41 | Key.fromASCIIの動作 | E-02（fromASCII関数、行318-336、test "fromASCII"） | ○ |
| C-42〜C-47 | Key.fromW3C/w3cの動作 | E-02（fromW3C/w3c関数、行338-404、test "w3c"） | ○ |
| C-48〜C-66 | Key各種判定メソッド | E-02（printable/modifier/keypad等、行406-757） | ○ |
| C-67〜C-82 | Modsの各種メソッド | E-03（Mods struct、行29-214） | ○ |
| C-83〜C-112 | RemapSetの全機能 | E-03（RemapSet struct、行216-553、テスト行555-915） | ○ |
| C-113 | Options.fromTerminal | E-04（行53-65） | ○ |
| C-114〜C-115 | encode関数の分岐 | E-04（encode関数、行75-90） | ○ |
| C-116〜C-123 | kitty関数の詳細動作 | E-04（kitty関数、行93-304） | △ |
| C-124〜C-130 | legacy関数の詳細動作 | E-04（legacy関数、行312-） | △ |
| C-131〜C-133 | mouse.zigの型定義 | E-05（ScrollMods struct、test節） | ○ |
| C-134〜C-138 | keyboard.zigのLayout判定 | E-06（Layout enum、行10-58） | ○ |
| C-139〜C-150 | paste.zigのisSafe/encode | E-07（全体、test節多数） | ○ |
| C-151〜C-154 | Link.zigの機能 | E-08（全体） | △ |
| C-155〜C-162 | command.zigの機能 | E-09（Command struct、defaults、test節） | ○ |
| C-163〜C-164 | function_keys.zigのテーブル | E-10（keys変数、test節） | ○ |
| C-165 | kitty.zigのエントリ | E-11（entries変数、test節） | ○ |
| C-166 | keycodes.zigのエントリ | E-12（entries変数） | ○ |
| C-167〜C-178 | KeymapDarwin.zigの機能 | E-13（全体） | △ |
| C-179〜C-180 | KeymapNoop.zigの機能 | E-14（全体） | ○ |
| C-181〜C-184 | config.zigのOptionAsAlt | E-15（全体） | ○ |
| C-185〜C-191 | helpgen_actions.zigの機能 | E-16（全体） | ○ |

## 4) 不足情報（Unknown / Missing）
- **key_encode.zigの詳細動作（C-116〜C-130）**
  - エンコード処理の内部状態遷移が複雑で、完全な動作確認にはターミナル実環境でのテストが必要
  - 候補：実際のターミナルエミュレータでのキー入力テスト / Kittyとの互換性テスト / xtermとの互換性テスト

- **Link.zigのOniguruma連携（C-151〜C-154）**
  - Onigurumaライブラリの初期化と正規表現コンパイルの成功確認が必要
  - 候補：Onigurumaライブラリのモック / 実際の正規表現パターンでのテスト

- **KeymapDarwin.zigのmacOS API（C-167〜C-178）**
  - macOS固有のCarbon API（TISInputSource, UCKeyTranslate等）の動作確認はmacOS環境でのみ可能
  - 候補：macOS CI環境でのテスト / 手動テスト / モック実装

## 5) リスクフラグ（レビュー観点）
- **1 (中リスク)**: key_encode.zig - Kitty/レガシープロトコルの複雑な分岐ロジック。実際のターミナルアプリケーションとの互換性問題の可能性
- **1 (中リスク)**: KeymapDarwin.zig - macOS固有のUCKeyTranslate APIに依存。キーボードレイアウト変更時の動作に注意
- **0 (低リスク)**: paste.zig - セキュリティ関連機能だが、テストが充実しており信頼性が高い
- **0 (低リスク)**: Binding.zig - パーサーは複雑だがテストカバレッジが高い
- **1 (中リスク)**: key_mods.zig - RemapSetの複雑な左右サイド処理。エッジケースでの動作確認推奨

## 6) レビュアーチェックリスト（最小）
- [ ] key_encode.zigのKittyエンコード処理が実際のKittyターミナルと互換性があるか確認
- [ ] paste.zigの危険バイト一覧が最新のセキュリティ要件を満たしているか確認
- [ ] KeymapDarwin.zigのデッドキー処理が日本語・韓国語IMEで正しく動作するか確認
- [ ] RemapSetの左右サイド処理がすべてのモディファイアキーで正しく動作するか確認
- [ ] function_keys.zigのPCスタイルファンクションキーシーケンスがxterm互換か確認
- [ ] Binding.zigのシーケンストリガー制限（global/allとの共存禁止）が適切か確認
