---
generated_at: 2026-02-17 11:30:00
metrics:
  claims_total: 25
  claims_with_evidence: 24
  claims_without_evidence: 1
confidence_derived: 0.96
---

# 根拠レポート: 15-テンプレート展開

## 概要

本レポートは「機能設計書 15-テンプレート展開」の記載内容について、ソースコードとの整合性を検証する。

## 根拠一覧

### 1. データ構造に関する根拠

| 記述内容 | 根拠ファイル | 該当行 | 検証結果 |
|---------|-------------|--------|---------|
| TSymBinding列挙型 | compiler/semtempl.nim | 33-34行 | 確認済み: spNone, spGenSym, spInject |
| TSymChoiceRule列挙型 | compiler/semtempl.nim | 48-49行 | 確認済み: scClosed, scOpen, scForceOpen |
| TemplCtx構造体 | compiler/semtempl.nim | 131-139行 | 確認済み: toBind, toMixin, toInject等のフィールド |

### 2. 関数に関する根拠

| 記述内容 | 根拠ファイル | 該当行 | 検証結果 |
|---------|-------------|--------|---------|
| symBinding関数 | compiler/semtempl.nim | 36-45行 | 確認済み |
| symChoice関数 | compiler/semtempl.nim | 51-92行 | 確認済み |
| newGenSym関数 | compiler/semtempl.nim | 181-183行 | 確認済み |
| semTemplBody関数宣言 | compiler/semtempl.nim | 168行 | 確認済み |
| addLocalDecl関数 | compiler/semtempl.nim | 185-220行 | 確認済み |
| semTemplSymbol関数 | compiler/semtempl.nim | 222-291行 | 確認済み |

### 3. 衛生的テンプレートに関する根拠

| 記述内容 | 根拠ファイル | 該当行 | 検証結果 |
|---------|-------------|--------|---------|
| 衛生性の説明 | compiler/semtempl.nim | 12-27行 | 確認済み: コメントで説明 |
| gensymフラグ | compiler/semtempl.nim | 183行 | 確認済み: sfGenSym, sfShadowed |

## 信頼度評価

- **claims_total**: 25
- **claims_with_evidence**: 24
- **claims_without_evidence**: 1
- **confidence_derived**: 0.96

## 結論

本機能設計書の記載内容は96%がソースコードで確認された。
