---
generated_at: 2026-03-01 13:45:00
metrics:
  claims_total: 42
  claims_with_evidence: 40
  claims_without_evidence: 2
confidence_derived: 0.95
---

# 根拠レポート：コードリーディングガイドライン

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：40 / 42、根拠なし：2
- 優先レビュー（高）
  1. **Document IRの詳細仕様（commands.mdへの参照）**：外部ドキュメントの内容未確認
  2. **Wadlerの論文との関係**：外部資料のため内容未検証

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

- E-01: `package.json` - プロジェクト設定、依存関係、スクリプト定義
- E-02: `README.md` - プロジェクト概要、サポート言語一覧
- E-03: `CONTRIBUTING.md` - 開発参加方法、テスト実行方法
- E-04: `src/index.js` - APIエントリーポイント、エクスポート一覧
- E-05: `src/main/core.js` - コアフォーマッティングロジック
- E-06: `src/main/ast-to-doc.js` - AST→Document変換処理
- E-07: `src/main/parse.js` - パース処理
- E-08: `src/common/ast-path.js` - AstPathクラス定義
- E-09: `src/document/builders/index.js` - Document型定義
- E-10: `src/language-js/print/index.js` - JS Printerエントリーポイント
- E-11: `src/language-js/print/estree.js` - EStree Printer実装
- E-12: `src/config/resolve-config.js` - 設定解決処理
- E-13: `bin/prettier.cjs` - CLIエントリーポイント
- E-14: `src/cli/` ディレクトリ構造 - CLI関連ファイル一覧
- E-15: `src/plugins/` ディレクトリ構造 - プラグインファイル一覧
- E-16: `src/utilities/` ディレクトリ構造 - ユーティリティファイル一覧

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | PrettierはES Modules形式のJavaScriptで記述されている | E-01 (`"type": "module"`) | ○ |
| C-02 | Node.js 20以上が必要 | E-01 (`"engines": {"node": ">=20"}`) | ○ |
| C-03 | サポート言語: JS, TS, CSS, HTML, Markdown, YAML等 | E-02 (README.mdの言語一覧) | ○ |
| C-04 | importの形式（名前付き、デフォルト、名前空間） | E-04 (実際のimport文) | ○ |
| C-05 | const, let, varの変数宣言 | E-05, E-06 (実際のコード) | ○ |
| C-06 | async/await による非同期処理 | E-05 (coreFormat関数) | ○ |
| C-07 | withPlugins高階関数パターン | E-04:43-64 | ○ |
| C-08 | Document型の定義（group, indent, softline等） | E-09 | ○ |
| C-09 | AstPathクラスの構造とメソッド | E-08 | ○ |
| C-10 | Parser→AST→Printer→Document→Stringのフロー | E-05, E-06, E-07 | ○ |
| C-11 | language-*ディレクトリが言語固有処理を含む | ディレクトリ構造確認 | ○ |
| C-12 | *.evaluate.jsはビルド時評価ファイル | E-05 (version.evaluate.js import) | ○ |
| C-13 | print*関数がASTノードをDocumentに変換 | E-10, E-11 | ○ |
| C-14 | is*関数が真偽値を返す | E-11 (isLiteral使用例) | ○ |
| C-15 | create*関数がファクトリ関数 | E-16 (create-*.jsファイル群) | ○ |
| C-16 | srcディレクトリにソースコードがある | ディレクトリ構造確認 | ○ |
| C-17 | testsディレクトリにテストがある | ディレクトリ構造確認 | ○ |
| C-18 | scriptsディレクトリにビルドスクリプトがある | ディレクトリ構造確認 | ○ |
| C-19 | パイプラインアーキテクチャの採用 | E-05, E-06, E-07 (処理フロー) | ○ |
| C-20 | API層、CLI層、Core層、Document層の階層 | E-04, E-05, E-09, E-13 | ○ |
| C-21 | format()関数のエクスポート | E-04:133 | ○ |
| C-22 | check()関数のエクスポート | E-04:131 | ○ |
| C-23 | getSupportInfo()関数のエクスポート | E-04:135 | ○ |
| C-24 | resolveConfig()関数のエクスポート | E-04:136 | ○ |
| C-25 | formatWithCursor()のプラグイン自動読み込み | E-04:66 | ○ |
| C-26 | normalizeInputAndOptions()での入力正規化 | E-05:325-328 | ○ |
| C-27 | parseText()でのAST生成 | E-07 | ○ |
| C-28 | printAstToDoc()でのDocument生成 | E-06 | ○ |
| C-29 | Chain of Responsibilityパターンの使用 | E-10:22-35 | ○ |
| C-30 | Memoization（キャッシュ）パターンの使用 | E-06:88-98 | ○ |
| C-31 | AstPath.call()でのスタック管理 | E-08:126-140 | ○ |
| C-32 | printEstree関数のswitch文による分岐 | E-11:92以降 | ○ |
| C-33 | BOM処理の実装 | E-05:24, 358-364 | ○ |
| C-34 | プライベートメソッド(#)の使用 | E-08:267 | ○ |
| C-35 | JSDoc型注釈(@import, @typedef)の使用 | E-10:18-20, E-11:73-84 | ○ |
| C-36 | yarnを使用したパッケージ管理 | E-01, E-03 | ○ |
| C-37 | Jestを使用したテスト | E-01, E-03 | ○ |
| C-38 | ESLintを使用したリント | E-01, E-03 | ○ |
| C-39 | runFormatTestの使用方法 | E-03:14-45 | ○ |
| C-40 | yarn debugコマンドの存在 | E-01 (scripts), E-03:84 | ○ |
| C-41 | commands.mdにDocument IRの仕様がある | **根拠なし** (ファイル存在確認のみ) | △ |
| C-42 | Wadlerの論文がアルゴリズムの基礎 | **根拠なし** (外部資料未検証) | △ |

## 4) 不足情報（Unknown / Missing）
- **C-41 (commands.mdの内容)**: commands.mdファイルの存在は確認したが、内容の詳細な解析は実施していない
  - 候補：commands.mdを詳細に読み込む / Document IRの実装コードと照合
- **C-42 (Wadlerの論文との関係)**: 外部の学術論文であり、プロジェクトコードとの直接的な対応は未検証
  - 候補：README.mdやCONTRIBUTING.mdでの言及確認 / アルゴリズム実装との比較

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: 言語基礎、命名規則、ディレクトリ構造 - ソースコードから直接確認可能
- **0（低リスク）**: API、主要コンポーネント - 実際のエクスポートとコードで確認済み
- **0（低リスク）**: デザインパターン - 具体的なコード例と共に記載
- **1（中リスク）**: フロー追跡の実例 - 概念的な説明が含まれるため、実際の動作確認推奨
- **1（中リスク）**: 外部参照資料 - commands.md、Wadlerの論文は未検証

## 6) レビュアーチェックリスト（最小）
- [ ] 主要なコード例が実際のファイルの該当行と一致することを確認
- [ ] ディレクトリ構造が現在のプロジェクト構造と一致することを確認
- [ ] 命名規則の例が実際のファイル名・関数名と一致することを確認
- [ ] commands.mdの内容がDocument IRの説明と整合していることを確認
- [ ] テスト実行方法（yarn test）が実際に動作することを確認
- [ ] フロー追跡の実例が実際の処理順序と一致することをデバッガ等で確認
