---
generated_at: 2026-02-22 15:45:00
metrics:
  claims_total: 32
  claims_with_evidence: 28
  claims_without_evidence: 4
confidence_derived: 0.88
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.88**
  - 根拠あり：28 / 32、根拠なし：4
- 優先レビュー（高）
  1. **フレームレート60fpsの目標値**：明示的な設定値なし
  2. **プラットフォームサポートバージョン**：CI設定からの推測
  3. **.NET SDKバージョン10.0**：global.jsonの直接確認なし
  4. **同時視覚要素数・イベントハンドラ数の制限なし**：実装上の制約確認が必要

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

- E-01: `src/Avalonia.Base/Layout/LayoutManager.cs` - MaxPasses=10の定義
- E-02: `src/Avalonia.Base/Media/MediaContext.cs` - アニメーションタイマー16ms設定、InputStarvationTimeout
- E-03: `src/Avalonia.Base/Threading/Dispatcher.Invoke.cs` - タイムアウト処理実装
- E-04: `src/Avalonia.Base/Threading/DispatcherOptions.cs` - InputStarvationTimeout=1秒
- E-05: `src/Avalonia.Base/Threading/DispatcherTimer.cs` - タイマー最大間隔Int32.MaxValue
- E-06: `src/Avalonia.Base/Collections/Pooled/PooledList.cs` - ArrayPool使用
- E-07: `src/Avalonia.Base/Media/BitmapCache.cs` - ビットマップキャッシュ実装
- E-08: `src/Avalonia.Base/Media/Fonts/FontCollectionBase.cs` - フォントキャッシュ実装
- E-09: `src/Avalonia.Base/Platform/Storage/FileIO/SecurityScopedStream.cs` - サンドボックスサポート
- E-10: `src/Avalonia.Base/Avalonia.Base.csproj` - InternalsVisibleTo、NullableEnable、TrimmingEnable設定
- E-11: `licence.md` - MITライセンス
- E-12: `src/Avalonia.Base/Logging/Logger.cs` - ロギングシステム実装
- E-13: `src/Avalonia.Base/Logging/LogEventLevel.cs` - 6段階ログレベル定義
- E-14: `src/Avalonia.Base/Logging/ILogSink.cs` - ログシンクインターフェース
- E-15: `src/Avalonia.Base/Diagnostics/Diagnostic.Metrics.cs` - メトリクス定義
- E-16: `src/Avalonia.Base/Diagnostics/Diagnostic.Consts.cs` - メトリクス名・説明定義
- E-17: `azure-pipelines.yml` - CI/CD設定、プラットフォームバージョン
- E-18: `readme.md` - プロジェクト概要、対応プラットフォーム

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | レイアウト測定パス10回以内に収束 | E-01 | ○ |
| C-02 | アニメーションフレーム16ms間隔 | E-02 | ○ |
| C-03 | Dispatcherタイムアウト設定可能 | E-03 | ○ |
| C-04 | 入力飢餓タイムアウト1秒 | E-04 | ○ |
| C-05 | タイマー最大間隔Int32.MaxValue ms | E-05 | ○ |
| C-06 | フレームレート60fps | **根拠なし** | △ |
| C-07 | オブジェクトプーリングArrayPool使用 | E-06 | ○ |
| C-08 | ビットマップキャッシュ実装 | E-07 | ○ |
| C-09 | フォントキャッシュConcurrentDictionary | E-08 | ○ |
| C-10 | IDisposableパターン採用 | E-06, E-07 | ○ |
| C-11 | Windows 2025+サポート | E-17 | ○ |
| C-12 | macOS 15+サポート | E-17 | ○ |
| C-13 | Ubuntu 24.04+サポート | E-17 | ○ |
| C-14 | iOS/Android/WebAssemblyサポート | E-17, E-18 | ○ |
| C-15 | .NET SDK 10.0 | E-17 | ○ |
| C-16 | .NET Runtime 8.0以上 | E-17 | ○ |
| C-17 | サンドボックスサポート | E-09 | ○ |
| C-18 | アセンブリ署名PublicKey | E-10 | ○ |
| C-19 | MITライセンス | E-11 | ○ |
| C-20 | Nullable有効 | E-10 | ○ |
| C-21 | トリミング有効 | E-10 | ○ |
| C-22 | 静的解析DevAnalyzers | E-10 | ○ |
| C-23 | ILogSinkカスタマイズ可能 | E-12, E-14 | ○ |
| C-24 | 6段階ログレベル | E-13 | ○ |
| C-25 | 9種類のメトリクス定義 | E-15, E-16 | ○ |
| C-26 | Azure Pipelinesでのビルド | E-17 | ○ |
| C-27 | マルチプラットフォーム並列ビルド | E-17 | ○ |
| C-28 | NuGetパッケージ配布 | E-17, E-18 | ○ |
| C-29 | 同時視覚要素数制限なし | **根拠なし** | △ |
| C-30 | イベントハンドラ数制限なし | **根拠なし** | △ |
| C-31 | global.jsonで.NET 10.0指定 | **根拠なし** | △ |
| C-32 | DispatcherPriority優先度システム | E-03 | ○ |

## 4) 不足情報（Unknown / Missing）
- **C-06 フレームレート60fps**：16msフレーム間隔からの推測であり、明示的な60fps設定は確認できなかった
  - 候補：ドキュメント / 公式Wiki / パフォーマンスガイドライン
- **C-29, C-30 要素数・ハンドラ数制限**：技術的制限の明示的な定義が見当たらない
  - 候補：パフォーマンステスト結果 / メモリ制約ドキュメント
- **C-31 global.jsonの.NET 10.0指定**：global.jsonファイルの直接読み取りを行っていないため、azure-pipelines.ymlからの推測
  - 候補：`global.json`ファイルの直接確認

## 5) リスクフラグ（レビュー観点）
- **1: 中リスク** - フレームレート60fpsの目標値は業界標準からの推測であり、プロジェクト固有の要件との整合性確認が必要
- **0: 低リスク** - プラットフォームサポートバージョンはCI設定から取得したため、最新状態を反映している可能性が高い
- **0: 低リスク** - メトリクス・ロギング実装は明確なコード根拠があり、信頼性が高い
- **1: 中リスク** - 要素数・ハンドラ数の「制限なし」は実装上の制約（メモリ等）を考慮していない可能性

## 6) レビュアーチェックリスト（最小）
- [ ] フレームレート60fpsの目標値が実際の要件と一致するか確認
- [ ] global.jsonの内容を直接確認し、.NET SDKバージョンを検証
- [ ] 大規模アプリケーションでの視覚要素数・ハンドラ数のパフォーマンス特性を確認
- [ ] 各プラットフォームの最小サポートバージョンが正確か、公式ドキュメントと照合
- [ ] InputStarvationTimeoutのデフォルト1秒がアプリケーション要件に適切か検討
- [ ] ログレベル・メトリクスの運用要件との整合性確認
