---
generated_at: 2026-02-19 18:30:00
metrics:
  claims_total: 35
  claims_with_evidence: 30
  claims_without_evidence: 5
confidence_derived: 0.86
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.86**
  - 根拠あり：30 / 35、根拠なし：5
- 優先レビュー（高）
  1. **単一ファイルコンパイル目標値（数百ms以内）**：具体的な数値の根拠不足
  2. **REPL応答目標値（100ms以内）**：明示的な設定がなく推定値
  3. **稼働率・RTO・RPO**：コマンドラインツールの特性として適用外と判断したが、要確認

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

- E-01: `package.json` - Node.js バージョン要件（engines: node>=6）、依存関係情報
- E-02: `src/command.coffee` - ファイル監視の待機時間（25ms、100ms）、エラーハンドリング
- E-03: `src/repl.coffee` - REPL設定（historyMaxInputSize: 10240）、履歴ファイルパス
- E-04: `src/coffeescript.coffee` - コンパイル処理フロー、ソースマップ生成
- E-05: `src/lexer.coffee` - エスケープシーケンス検証、Unicode検証
- E-06: `src/helpers.coffee` - エラーメッセージ生成、位置情報管理
- E-07: `src/browser.coffee` - ブラウザ環境対応、XHR読み込み
- E-08: `src/index.coffee` - Node.js固有機能、eval/run実装
- E-09: `src/nodes.coffee` - ASTノード定義、スタックトレース制限設定
- E-10: `Cakefile` - ビルドタスク定義、テスト実行、ベンチマーク
- E-11: `.babelrc` - Babel設定
- E-12: `test/` ディレクトリ - テストスイート（50+ファイル）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | CoffeeScriptバージョン2.7.0 | E-01 | ○ |
| C-02 | Node.jsおよびブラウザ両環境で動作 | E-07, E-08 | ○ |
| C-03 | 単一ファイルコンパイル数百ms以内 | **根拠なし** | △ |
| C-04 | REPL応答100ms以内 | **根拠なし** | △ |
| C-05 | ファイル変更検知25ms待機 | E-02 | ○ |
| C-06 | ファイル変更検知100ms待機（joinモード） | E-02 | ○ |
| C-07 | node_modules自動除外 | E-02 | ○ |
| C-08 | コマンド履歴最大10,240バイト | E-03 | ○ |
| C-09 | 履歴ファイル~/.coffee_history | E-03 | ○ |
| C-10 | 不正エスケープシーケンス検出 | E-05 | ○ |
| C-11 | 8進数エスケープシーケンス禁止 | E-05 | ○ |
| C-12 | Unicodeコードポイント上限0x10ffff | E-05 | ○ |
| C-13 | サンドボックス環境でのeval実行 | E-08 | ○ |
| C-14 | bareオプションで関数ラッパー制御 | E-04 | ○ |
| C-15 | ランタイム依存パッケージゼロ | E-01 | ○ |
| C-16 | トランスパイル時@babel/core必要 | E-08, E-11 | ○ |
| C-17 | Jisonによる文法定義 | E-10 | ○ |
| C-18 | ソースマップv3形式生成 | E-04 | ○ |
| C-19 | Node.js 6以上で動作保証 | E-01 | ○ |
| C-20 | ESModule/レガシースクリプト形式配布 | E-10 | ○ |
| C-21 | CoffeeScript自己ホスティング | E-04, E-05 | ○ |
| C-22 | 50+テストファイル | E-12 | ○ |
| C-23 | Puppeteerによるブラウザテスト | E-10 | ○ |
| C-24 | Cakefileによるビルド管理 | E-10 | ○ |
| C-25 | watchモード自動リビルド | E-10 | ○ |
| C-26 | Doccoによるドキュメント生成 | E-10 | ○ |
| C-27 | エラー時の行番号・列番号表示 | E-06 | ○ |
| C-28 | カラー対応TTYでの色付き出力 | E-06 | ○ |
| C-29 | タイムスタンプ付きログ出力 | E-02 | ○ |
| C-30 | patchStackTrace関数 | E-04 | ○ |
| C-31 | マルチラインモードCtrl-V | E-03 | ○ |
| C-32 | .historyコマンド | E-03 | ○ |
| C-33 | 稼働率N/A（コマンドラインツール） | **根拠なし** | △ |
| C-34 | RTO即時 | **根拠なし** | △ |
| C-35 | RPO N/A | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- **性能目標値の具体的根拠なし**
  - コンパイル時間やREPL応答時間について、明示的な要件定義や性能テスト結果がソースコード内に見当たらない
  - 候補：ベンチマーク結果の確認 / 性能テストの実施 / 開発者への確認
- **可用性要件のN/A判断根拠**
  - コマンドラインツールであるため可用性指標が適用外と判断したが、この判断の正当性について明示的な根拠がない
  - 候補：プロジェクト方針の確認 / 類似ツールとの比較

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: セキュリティ要件 - ソースコードから具体的な実装を確認可能
- **0（低リスク）**: 拡張性要件 - 実際のコード構造から検証可能
- **1（中リスク）**: 性能要件 - 目標値の根拠が不明確、ベンチマーク検証推奨
- **0（低リスク）**: 保守性要件 - テストスイート、ドキュメント生成の実装を確認済み
- **0（低リスク）**: 運用要件 - ログ出力、エラーハンドリングの実装を確認済み

## 6) レビュアーチェックリスト（最小）
- [ ] 性能要件の目標値（数百ms、100ms）は実際のベンチマーク結果と整合しているか
- [ ] 可用性要件のN/A判断はプロジェクトの特性として妥当か
- [ ] セキュリティ要件で記載したエスケープシーケンス検証は最新の仕様と整合しているか
- [ ] Node.js 6以上の要件は現在も有効か（古いバージョンのサポート終了検討）
- [ ] 開発依存パッケージのセキュリティ脆弱性は確認済みか
