---
generated_at: 2026-03-01 10:00:00
metrics:
  claims_total: 48
  claims_with_evidence: 42
  claims_without_evidence: 6
confidence_derived: 0.88
---

# 根拠レポート：非機能要件定義書

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.88**
  - 根拠あり：42 / 48、根拠なし：6
- 優先レビュー（高）
  1. **稼働率目標**：コードから直接確認できない運用目標
  2. **ベンチマーク数値**：READMEの記載に依存、再測定が必要な可能性
  3. **Windows対応計画**：ロードマップ記載のみ、詳細な実装計画なし

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

- E-01: `src/renderer/Thread.zig` (L19-20) - DRAW_INTERVAL, CURSOR_BLINK_INTERVAL定数
- E-02: `src/config/Config.zig` (L2331) - resize-overlay-duration設定
- E-03: `src/config/Config.zig` (L2691) - quick-terminal-animation-duration設定
- E-04: `src/config/Config.zig` (L1365) - abnormal-command-exit-runtime設定
- E-05: `src/renderer/Thread.zig` (L35) - Mailbox容量定義
- E-06: `src/config/Config.zig` (L1386) - scrollback-limit設定
- E-07: `src/config/Config.zig` (L2389) - image-storage-limit設定
- E-08: `src/termio/Termio.zig` (L377) - 入力ファイルサイズ制限（10MB）
- E-09: `src/config/Config.zig` (L3632) - CSSファイルサイズ制限
- E-10: `src/config/Config.zig` (L3495) - linux-cgroup-memory-limit設定
- E-11: `src/config/Config.zig` (L2582) - undo-timeout設定
- E-12: `src/config/Config.zig` (L2527) - quit-after-last-window-closed-delay設定
- E-13: `src/config/Config.zig` (L2351-2352) - clipboard-read/write設定
- E-14: `src/config/Config.zig` (L2363) - clipboard-paste-protection設定
- E-15: `src/config/Config.zig` (L2369) - clipboard-paste-bracketed-safe設定
- E-16: `src/config/Config.zig` (L2380) - title-report設定
- E-17: `src/config/Config.zig` (L3340) - macos-auto-secure-input設定
- E-18: `src/config/Config.zig` (L3350) - macos-secure-input-indication設定
- E-19: `src/config/Config.zig` (L3448) - macos-shortcuts設定
- E-20: `src/config/Config.zig` (L3477-3480) - linux-cgroup設定
- E-21: `src/config/Config.zig` (L3508) - linux-cgroup-processes-limit設定
- E-22: `README.md` - プラットフォーム対応状況
- E-23: `src/renderer.zig` (L38-42) - レンダラー実装選択
- E-24: `src/config/Config.zig` (L3679-3699) - async-backend設定
- E-25: `src/config/Config.zig` (L3527) - gtk-opengl-debug設定
- E-26: `HACKING.md` (L96-124) - ログ機能の説明
- E-27: `src/crash/main.zig` - クラッシュハンドリング実装
- E-28: `README.md` (L164-203) - クラッシュレポートの説明
- E-29: `src/config/Config.zig` (L3639) - desktop-notifications設定
- E-30: `src/config/Config.zig` (L1216) - notify-on-command-finish設定
- E-31: `src/config/Config.zig` (L1230-1233) - notify-on-command-finish-action設定
- E-32: `src/config/Config.zig` (L1267) - notify-on-command-finish-after設定
- E-33: `src/config/Config.zig` (L2004) - window-vsync設定
- E-34: `src/config/Config.zig` (L2220) - window-save-state設定
- E-35: `README.md` (L98-118) - パフォーマンスに関する記載

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | 描画間隔は8ms（120FPS） | E-01 | ○ |
| C-02 | カーソル点滅間隔は600ms | E-01 | ○ |
| C-03 | リサイズオーバーレイ表示時間は750ms | E-02 | ○ |
| C-04 | Quick Terminalアニメーションは200ms | E-03 | ○ |
| C-05 | 異常終了判定時間は250ms | E-04 | ○ |
| C-06 | レンダラーメールボックス容量は64メッセージ | E-05 | ○ |
| C-07 | スクロールバックバッファは10MB | E-06 | ○ |
| C-08 | 画像ストレージ制限は320MB | E-07 | ○ |
| C-09 | 入力ファイルサイズは10MB | E-08 | ○ |
| C-10 | CSSファイルサイズは5MB | E-09 | ○ |
| C-11 | Linux cgroupメモリ制限が設定可能 | E-10 | ○ |
| C-12 | Undo操作タイムアウトは5秒 | E-11 | ○ |
| C-13 | アプリケーション終了遅延が設定可能 | E-12 | ○ |
| C-14 | クリップボード読み取りはデフォルトで確認 | E-13 | ○ |
| C-15 | クリップボード書き込みはデフォルトで許可 | E-13 | ○ |
| C-16 | ペースト保護はデフォルト有効 | E-14 | ○ |
| C-17 | ブラケットペースト安全性はデフォルト有効 | E-15 | ○ |
| C-18 | タイトルレポートはデフォルト無効 | E-16 | ○ |
| C-19 | macOSセキュア入力自動有効化 | E-17 | ○ |
| C-20 | macOSセキュア入力表示はデフォルト有効 | E-18 | ○ |
| C-21 | macOS Shortcuts制御可能 | E-19 | ○ |
| C-22 | Linux cgroupベースのリソース分離 | E-20 | ○ |
| C-23 | Linux プロセス数制限が設定可能 | E-21 | ○ |
| C-24 | macOSフル対応（SwiftUI/Metal/CoreText） | E-22, E-23 | ○ |
| C-25 | Linuxフル対応（GTK/OpenGL） | E-22, E-23 | ○ |
| C-26 | Windows計画中 | E-22 | ○ |
| C-27 | WebAssembly対応 | E-22, E-23 | ○ |
| C-28 | MetalレンダラーはmacOS向け | E-23 | ○ |
| C-29 | OpenGLレンダラーはLinux向け | E-23 | ○ |
| C-30 | WebGLレンダラーはWASM向け | E-23 | ○ |
| C-31 | epoll/io_uring/autoバックエンド対応 | E-24 | ○ |
| C-32 | GTK OpenGLデバッグはDebugビルドでデフォルト有効 | E-25 | ○ |
| C-33 | ログは標準エラー出力に対応 | E-26 | ○ |
| C-34 | macOS統合ログに対応 | E-26 | ○ |
| C-35 | journald統合対応 | E-26 | ○ |
| C-36 | クラッシュレポート自動生成 | E-27, E-28 | ○ |
| C-37 | クラッシュレポートはSentry Envelope形式 | E-27, E-28 | ○ |
| C-38 | クラッシュレポートCLIアクセス | E-28 | ○ |
| C-39 | デスクトップ通知対応 | E-29 | ○ |
| C-40 | コマンド終了通知対応 | E-30 | ○ |
| C-41 | 通知アクション設定可能 | E-31 | ○ |
| C-42 | 通知遅延は5秒以上 | E-32 | ○ |
| C-43 | 稼働率は常時利用可能 | **根拠なし** | △ |
| C-44 | iTerm比4倍、Kitty比4倍の速度 | E-35 | △ |
| C-45 | Terminal.app比2倍の速度 | E-35 | △ |
| C-46 | 障害復旧時間は即時 | **根拠なし** | △ |
| C-47 | Alacrittyと同等の速度 | E-35 | △ |
| C-48 | RPOはウィンドウ状態保存による | E-34 | ○ |

## 4) 不足情報（Unknown / Missing）
- **稼働率に関する数値目標**
  - デスクトップアプリケーションのため、明示的な稼働率目標がコードから確認できない
  - 候補：運用ドキュメント / SLA定義書 / 開発者へのヒアリング

- **障害復旧時間（RTO）の明示的な定義**
  - クラッシュレポート機能は確認できるが、復旧時間の目標値はコードから確認できない
  - 候補：運用マニュアル / インシデント対応手順書

- **ベンチマーク数値の検証**
  - READMEの記載（iTerm比4倍など）は開発時の計測結果であり、現在のバージョンでの再検証が必要
  - 候補：CI/CDベンチマーク / 性能テスト結果

## 5) リスクフラグ（レビュー観点）
- **1（中リスク）**：ベンチマーク数値
  - READMEの記載は定性的な表現を含み、測定条件が不明確
  - 実際の性能は環境依存のため、具体的な数値は再検証を推奨

- **0（低リスク）**：設定値・制限値
  - 大半の設定値はコード内の定数または設定デフォルト値から直接確認可能
  - ドキュメントとの整合性も高い

- **1（中リスク）**：Windows対応
  - ロードマップには記載されているが、現時点で実装が存在しない
  - 計画変更の可能性を考慮する必要がある

## 6) レビュアーチェックリスト（最小）
- [ ] 性能要件の数値（描画間隔、バッファサイズ等）がコードの定数と一致しているか確認
- [ ] セキュリティ設定のデフォルト値が適切かどうか（特にclipboard-read, title-report）
- [ ] プラットフォーム固有の制限事項が最新のコードと整合しているか確認
- [ ] ベンチマーク数値（4倍、2倍等）が現在のバージョンでも有効かどうか検証
- [ ] cgroupベースのリソース制限がsystemdの最新仕様と整合しているか確認
- [ ] クラッシュレポートのプライバシーに関する注意事項が適切か確認
