---
generated_at: 2026-02-17 12:45:00
metrics:
  claims_total: 45
  claims_with_evidence: 45
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：9-ドキュメント生成

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：45 / 45、根拠なし：0
- 優先レビュー（高）
  1. なし（全て根拠あり）

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

- E-01: `compiler/docgen.nim` - ドキュメント生成メインモジュール
- E-02: `機能一覧.csv` - 機能定義
- E-03: `compiler/docgen.nim` 10-15行目 - モジュール説明コメント
- E-04: `compiler/docgen.nim` 34-37行目 - 定数定義
- E-05: `compiler/docgen.nim` 40-47行目 - ItemFragment定義
- E-06: `compiler/docgen.nim` 48-58行目 - Item定義
- E-07: `compiler/docgen.nim` 60-63行目 - ModSection定義
- E-08: `compiler/docgen.nim` 65-68行目 - TocItem/TocSectionsFinal定義
- E-09: `compiler/docgen.nim` 69-74行目 - ExampleGroup定義
- E-10: `compiler/docgen.nim` 75-78行目 - JsonItem定義
- E-11: `compiler/docgen.nim` 79-110行目 - TDocumentor定義
- E-12: `compiler/docgen.nim` 324-421行目 - newDocumentor関数
- E-13: `compiler/docgen.nim` 434-448行目 - genComment関数
- E-14: `compiler/docgen.nim` 450-471行目 - genRecComment関数
- E-15: `compiler/docgen.nim` 579-612行目 - runAllExamples関数
- E-16: `compiler/docgen.nim` 622-691行目 - prepareExample関数
- E-17: `compiler/docgen.nim` 711-759行目 - getAllRunnableExamples関数
- E-18: `compiler/docgen.nim` 808-825行目 - isVisible関数
- E-19: `compiler/docgen.nim` 874-890行目 - newUniquePlainSymbol関数
- E-20: `compiler/docgen.nim` 892-917行目 - complexName関数
- E-21: `compiler/docgen.nim` 1048-1166行目 - genItem関数
- E-22: `compiler/docgen.nim` 1167-1219行目 - genJsonItem関数
- E-23: `compiler/docgen.nim` 1372-1431行目 - generateDoc関数
- E-24: `compiler/docgen.nim` 1460-1571行目 - finishGenerateDoc関数
- E-25: `compiler/docgen.nim` 1576-1616行目 - generateJson関数
- E-26: `compiler/docgen.nim` 1661-1702行目 - genSection関数
- E-27: `compiler/docgen.nim` 1707-1763行目 - genOutFile関数
- E-28: `compiler/docgen.nim` 1785-1814行目 - writeOutput関数
- E-29: `compiler/docgen.nim` 1816-1838行目 - writeOutputJson関数
- E-30: `compiler/docgen.nim` 1847-1856行目 - commandDoc関数
- E-31: `compiler/docgen.nim` 1875-1881行目 - commandRst2Html/commandRst2TeX関数
- E-32: `compiler/docgen.nim` 1883-1908行目 - commandJson関数
- E-33: `compiler/docgen.nim` 1934-1955行目 - commandBuildIndex関数

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | ドキュメントコメントは##で始まる | E-03（10-11行目） | ○ |
| C-02 | RST/Markdown記法をサポート | E-03（10-15行目） | ○ |
| C-03 | exportSectionはskField | E-04（35行目） | ○ |
| C-04 | docCmdSkipで例実行スキップ | E-04（36行目） | ○ |
| C-05 | DocColOffsetは"## ".len | E-04（37行目） | ○ |
| C-06 | ItemFragmentはRSTノードか文字列 | E-05 | ○ |
| C-07 | ItemはdescRst/sortName/anchor等を持つ | E-06 | ○ |
| C-08 | ModSectionはsecItemsとfinalMarkupを持つ | E-07 | ○ |
| C-09 | TocItemはcontentとsortNameを持つ | E-08 | ○ |
| C-10 | ExampleGroupはrdoccmd/docCmd/code/indexを持つ | E-09 | ○ |
| C-11 | JsonItemはjson/rst/rstFieldを持つ | E-10 | ○ |
| C-12 | TDocumentorはRstGeneratorを継承 | E-11（79行目） | ○ |
| C-13 | modDescPreでモジュール説明を保持 | E-11（80行目） | ○ |
| C-14 | sectionでシンボル種別ごとにセクション管理 | E-11（84行目） | ○ |
| C-15 | tocSimpleとtocTableでTOC管理 | E-11（85-88行目） | ○ |
| C-16 | seenSymbolsで重複シンボル防止 | E-11（94行目） | ○ |
| C-17 | exampleGroupsで例グループ管理 | E-11（106行目） | ○ |
| C-18 | nimToRstFidでFileIndex変換 | E-11（108行目） | ○ |
| C-19 | newDocumentorでRST共有状態初期化 | E-12（343-345行目） | ○ |
| C-20 | roPreferMarkdownでMarkdown優先 | E-12（338-339行目） | ○ |
| C-21 | roNimFileでNimファイル処理モード | E-12（340行目） | ○ |
| C-22 | Google Analyticsスクリプト埋め込み | E-12（354-372行目） | ○ |
| C-23 | onTestSnippetでスニペットテスト | E-12（378-418行目） | ○ |
| C-24 | genCommentでドキュメントコメント解析 | E-13 | ○ |
| C-25 | parseRstでRST解析 | E-13（441-444行目） | ○ |
| C-26 | genRecCommentで再帰的にコメント取得 | E-14 | ○ |
| C-27 | runAllExamplesで例を実行 | E-15 | ○ |
| C-28 | execShellCmdで例をコンパイル実行 | E-15（607行目） | ○ |
| C-29 | prepareExampleで例ファイル生成 | E-16 | ○ |
| C-30 | extractRunnableExamplesSourceでコード抽出 | E-16（634行目） | ○ |
| C-31 | getAllRunnableExamplesで状態機械処理 | E-17 | ○ |
| C-32 | isVisibleでシンボル可視性チェック | E-18 | ○ |
| C-33 | sfExportedフラグでエクスポート確認 | E-18（821行目） | ○ |
| C-34 | newUniquePlainSymbolで一意アンカー生成 | E-19 | ○ |
| C-35 | complexNameでパラメータ付き複合名生成 | E-20 | ○ |
| C-36 | genItemでシンボルドキュメント生成 | E-21 | ○ |
| C-37 | nodeToHighlightedHtmlでHTML生成 | E-21（1109行目） | ○ |
| C-38 | setIndexTermでインデックス登録 | E-21（1160-1163行目） | ○ |
| C-39 | generateDocでAST走査 | E-23 | ○ |
| C-40 | nkProcDef等でgenItemを呼び出し | E-23（1386-1399行目） | ○ |
| C-41 | finishGenerateDocでPass 2実行 | E-24 | ○ |
| C-42 | resolveSubsでリンク解決 | E-24（1524行目） | ○ |
| C-43 | renderRstToOutでHTML/LaTeX出力 | E-24（1525行目） | ○ |
| C-44 | commandDocでdoc0コマンド実装 | E-30 | ○ |
| C-45 | commandBuildIndexでインデックス統合 | E-33 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし（全ての主張に根拠あり）

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全ての主張がソースコードで確認可能

## 6) レビュアーチェックリスト（最小）
- [ ] TDocumentorの各フィールドの役割が正確か確認
- [ ] RST 2パス処理（parseRst→resolveSubs→renderRstToOut）が正確に説明されているか確認
- [ ] runnableExamplesの処理フロー（prepareExample→runAllExamples）が正確か確認
- [ ] genItemのアンカー生成（complexName→newUniquePlainSymbol）が正確か確認
- [ ] コードリーディングガイドの行番号が現在のソースコードと一致するか確認
- [ ] 出力形式（HTML/LaTeX/JSON）の説明が網羅的か確認
