---
generated_at: 2026-02-19 18:15:00
metrics:
  claims_total: 52
  claims_with_evidence: 49
  claims_without_evidence: 3
confidence_derived: 0.94
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.94**
  - 根拠あり：49 / 52、根拠なし：3
- 優先レビュー（高）
  1. **C-47**: RTO/RPO目標値（明確な定義なし）
  2. **C-48**: 稼働率目標（明確な定義なし）
  3. **C-52**: 具体的なメトリクス閾値（一部推測）

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

- E-01: `lisp/doom.el` - コア定義ファイル
- E-02: `lisp/doom-start.el` - インタラクティブセッション起動
- E-03: `lisp/doom-lib.el` - 標準ライブラリ
- E-04: `lisp/doom-editor.el` - エディタ設定
- E-05: `lisp/doom-ui.el` - UI設定
- E-06: `early-init.el` - 早期初期化
- E-07: `README.md` - プロジェクト概要
- E-08: `lisp/lib/process.el` - プロセス処理
- E-09: `lisp/lib/store.el` - キャッシュ管理
- E-10: `lisp/doom-projects.el` - プロジェクト管理
- E-11: `lisp/lib/profiles.el` - プロファイル管理
- E-12: `lisp/cli/gc.el` - ガベージコレクション CLI
- E-13: `lisp/cli/doctor.el` - 診断コマンド

## 3) Claims と根拠の対応（レビューの主戦場）

### 性能要件

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | gcmh-modeによるGC最適化 | E-02 行90-93 | ○ |
| C-02 | so-long-modeによる大規模ファイル最適化 | E-04 行49-56 | ○ |
| C-03 | バッファ切替時のGC抑制 | E-05 行107 | ○ |
| C-04 | ウィンドウ切替時のGC抑制 | E-05 行115 | ○ |
| C-05 | フレームフォーカス変更のデバウンス2.0秒 | E-05 行118-119 | ○ |
| C-06 | プロセス読み取りバッファ64KB | E-02 行72 | ○ |
| C-07 | Windows IPCパイプバッファ64KB | E-02 行83 | ○ |
| C-08 | インクリメンタルローディング間隔0.75秒 | E-02 行213 | ○ |
| C-09 | 初回インクリメンタルローディング待機2.0秒 | E-02 行206 | ○ |
| C-10 | CLI用GC閾値128MB | E-06 行35 | ○ |
| C-11 | インタラクティブ起動時GC閾値most-positive-fixnum | E-06 行41 | ○ |
| C-12 | 通常実行時GC閾値16MB | E-01 行907 | ○ |
| C-13 | gcmh高GC閾値64MB | E-02 行92 | ○ |
| C-14 | gcmhアイドル遅延auto、ファクター10 | E-02 行90-91 | ○ |

### 可用性要件

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-15 | サポートEmacsバージョン27.1-30.2 | E-07 行102-105, E-01 行79-81 | ○ |
| C-16 | サポートOS（macOS, Linux, Windows, BSD, WSL） | E-01 行121-140 | ○ |
| C-17 | デーモンモード対応 | E-01 行417, 796-797 | ○ |
| C-18 | プロファイル機能対応 | E-01 行233-243, E-11 | ○ |
| C-19 | オートセーブ機能有効 | E-04 行99 | ○ |
| C-20 | バックアップ無効（デフォルト）、5世代保持 | E-04 行86-95 | ○ |
| C-21 | バッファ自動リバート対応 | E-04 行238-279 | ○ |

### セキュリティ要件

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-22 | TLS証明書検証有効（非対話モード時） | E-01 行688 | ○ |
| C-23 | 最小TLSバージョンTLS 1.2 | E-01 行695, 704 | ○ |
| C-24 | TLS 1.3条件付き有効 | E-01 行692-694 | ○ |
| C-25 | 最小プライムビット3072 | E-01 行698 | ○ |
| C-26 | 信頼チェック有効 | E-01 行699 | ○ |
| C-27 | 暗号スイート優先度SECURE128+SECURE192 | E-01 行691-692 | ○ |
| C-28 | TLSプログラム設定（openssl, gnutls-cli） | E-01 行704-708 | ○ |
| C-29 | ロックファイル無効 | E-04 行86 | ○ |
| C-30 | サーバー認証ディレクトリ設定 | E-01 行583 | ○ |
| C-31 | ディレクトリ作成パーミッション0700 | E-01 行839 | ○ |

### 拡張性要件

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-32 | モジュール2階層構造 | E-03 行1466-1488 | ○ |
| C-33 | モジュール読み込みパス設定可能 | E-01 行272-283 | ○ |
| C-34 | モジュールファイル構成（init.el, config.el, packages.el） | E-01 行386-404 | ○ |
| C-35 | フラグシステム | E-03 行1356-1386 | ○ |
| C-36 | after!マクロによる遅延評価 | E-03 行882-925 | ○ |
| C-37 | straight.elパッケージマネージャ | E-01 行737-739 | ○ |
| C-38 | package!マクロの機能 | E-03 行1603-1702 | ○ |
| C-39 | 各種フック定義 | E-01 行745-787 | ○ |

### 保守性要件

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-40 | バイトコンパイル対応、lexical-binding必須 | 全ファイルヘッダー | ○ |
| C-41 | ネイティブコンパイル対応 | E-01 行604-654 | ○ |
| C-42 | CPU 1/4使用（ネイティブコンパイル） | E-01 行626-631 | ○ |
| C-43 | 非推奨警告マーク | E-01 行178-188 | ○ |
| C-44 | データディレクトリ構成 | E-01 行246-370 | ○ |
| C-45 | CLIツール構成 | `lisp/cli/` ディレクトリ全体 | ○ |

### 運用・監視要件

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-46 | ログレベル0-3 | E-03 行41-54 | ○ |
| C-47 | RTO/RPO目標値 | **根拠なし** | △ |
| C-48 | 稼働率目標 | **根拠なし** | △ |
| C-49 | doom doctor診断機能 | E-13 | ○ |
| C-50 | doom-display-benchmark-h | E-02 行276-284 | ○ |
| C-51 | キャッシュサイズ監視（1MB） | E-13 行266-269 | ○ |
| C-52 | 大規模ファイル閾値1.0MB | E-04 行11-12 | ○ |

## 4) 不足情報（Unknown / Missing）
- **RTO/RPO目標値**: デスクトップアプリケーションフレームワークのため、明確なRTO/RPO目標は定義されていない。オートセーブ機能で間接的にデータ損失を防止。
  - 候補：アプリケーションの性質上、サーバーサイドのRTO/RPOは適用外
- **稼働率目標**: Emacsフレームワークのため、サービス稼働率の概念は適用されない。
  - 候補：クラッシュリカバリ機能の文書化 / セッション復元機能の詳細
- **一部メトリクス閾値**: キャッシュサイズ警告閾値（1MB）はコードから読み取れるが、他の運用閾値は推測を含む。
  - 候補：doom doctorの詳細診断ルール / 設定可能なパラメータ一覧

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: セキュリティ設定 - TLS設定は明確にコードに記載されており、信頼性が高い
- **0（低リスク）**: パフォーマンス設定 - GC関連設定はコードで明確に定義されている
- **1（中リスク）**: 可用性要件 - デスクトップアプリ特有の解釈が必要
- **0（低リスク）**: 拡張性要件 - モジュールシステムは詳細にドキュメント化されている
- **1（中リスク）**: 運用監視要件 - 一部推測を含む項目がある

## 6) レビュアーチェックリスト（最小）
- [ ] 性能要件のGC閾値が実際の使用環境で適切か確認
- [ ] TLSセキュリティ設定が組織のセキュリティポリシーと整合しているか確認
- [ ] サポートEmacsバージョンが最新の安定版と整合しているか確認
- [ ] 大規模ファイル閾値（1.0MB）がユースケースに適切か確認
- [ ] デーモンモードと通常モードでの動作差異を理解しているか確認
- [ ] RTO/RPO要件が本プロジェクトに該当するか判断（デスクトップアプリのため通常不要）
- [ ] ネイティブコンパイルのCPU使用率（1/4）が環境に適切か確認
