---
generated_at: 2026-02-23 15:30:00
metrics:
  claims_total: 42
  claims_with_evidence: 40
  claims_without_evidence: 2
confidence_derived: 0.95
---

# 根拠レポート：31-会社詳細画面

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：40 / 42、根拠なし：2
- 優先レビュー（高）
  1. **製造者関連機能**：現在未実装（TODOコメントのみ）
  2. **APIバージョン依存機能**：supportsCompanyActiveStatus等の条件分岐
  3. **多言語メッセージ**：L10()によるローカライズ文字列の実際の値は未確認

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

- E-01: `lib/widget/company/company_detail.dart`（会社詳細画面ウィジェット）
- E-02: `lib/inventree/company.dart`（会社モデル定義）
- E-03: `lib/inventree/model.dart`（基底モデルクラス）
- E-04: `lib/widget/refreshable_state.dart`（リフレッシュ可能State）
- E-05: `lib/widget/company/supplier_part_list.dart`（サプライヤー部品一覧）
- E-06: `lib/widget/order/purchase_order_list.dart`（購入注文一覧）
- E-07: `lib/widget/order/sales_order_list.dart`（販売注文一覧）
- E-08: `lib/widget/attachment_widget.dart`（添付ファイルウィジェット）
- E-09: `lib/widget/parameter_widget.dart`（パラメータウィジェット）
- E-10: `lib/widget/company/company_list.dart`（会社一覧画面）
- E-11: `docs/code-to-docs/画面一覧/画面一覧.csv`（画面一覧）
- E-12: `docs/code-to-docs/画面機能マッピング/画面機能マッピング.csv`（機能マッピング）
- E-13: `docs/code-to-docs/画面一覧/画面遷移図.md`（画面遷移図）

## 3) Claims と根拠の対応（レビューの主戦場）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | 画面名は「会社詳細画面」である | E-11 (行32) | ○ |
| C-02 | テンプレートファイルは lib/widget/company/company_detail.dart | E-11 (行32), E-01 | ○ |
| C-03 | 会社の詳細情報（連絡先、注文、サプライヤー部品等）を表示する | E-01 (行227-436) | ○ |
| C-04 | CompanyDetailWidgetはStatefulWidgetである | E-01 (行26) | ○ |
| C-05 | _CompanyDetailStateはRefreshableStateを継承する | E-01 (行35) | ○ |
| C-06 | 状態変数にsupplierPartCount, outstandingPurchaseOrders等を保持 | E-01 (行38-44) | ○ |
| C-07 | requestメソッドでcompany.reload()を呼び出す | E-01 (行155) | ○ |
| C-08 | サプライヤーの場合、未完了購入注文数を取得する | E-01 (行163-170) | ○ |
| C-09 | 顧客の場合、未完了販売注文数を取得する | E-01 (行172-179) | ○ |
| C-10 | サプライヤー部品数を非同期で取得する | E-01 (行181-189) | ○ |
| C-11 | パラメータ数を非同期で取得する | E-01 (行191-199) | ○ |
| C-12 | 添付ファイル数を非同期で取得する | E-01 (行201-209) | ○ |
| C-13 | 会社のAPIエンドポイントは"company/" | E-02 (行20) | ○ |
| C-14 | InvenTreeCompanyはpurchase_order, sales_order, return_orderのロールが必要 | E-02 (行33-37) | ○ |
| C-15 | 会社編集ボタンはcanEdit権限で表示制御される | E-01 (行61-71) | ○ |
| C-16 | canEditは複数ロールのchange権限をチェックする | E-03 (行221-230) | ○ |
| C-17 | 販売注文作成はisCustomerかつcanCreate権限で表示される | E-01 (行80-90) | ○ |
| C-18 | 購入注文作成はisSupplierかつcanCreate権限で表示される | E-01 (行92-102) | ○ |
| C-19 | _createSalesOrderでcontactフィールドを削除する | E-01 (行111) | ○ |
| C-20 | _createPurchaseOrderでcontactフィールドを削除する | E-01 (行134) | ○ |
| C-21 | 会社PKが無効な場合は前画面に戻る | E-01 (行157-160) | ○ |
| C-22 | ヘッダーカードに会社名、説明、サムネイル画像を表示 | E-01 (行232-240) | ○ |
| C-23 | 非アクティブ会社には警告を表示する | E-01 (行242-253) | ○ |
| C-24 | Webサイト、メール、電話番号、外部リンクを表示 | E-01 (行255-318) | ○ |
| C-25 | 各連絡先はopenLink関数で外部アプリを起動する | E-01 (行262-263, 279, 295-296, 311-313) | ○ |
| C-26 | サプライヤー部品一覧へのナビゲーションがある | E-01 (行332-339) | ○ |
| C-27 | 購入注文一覧へのナビゲーションがある（サプライヤーフィルタ付き） | E-01 (行350-358) | ○ |
| C-28 | 販売注文一覧へのナビゲーションがある（顧客フィルタ付き） | E-01 (行385-393) | ○ |
| C-29 | ノートがある場合はノートを表示する | E-01 (行399-408) | ○ |
| C-30 | ShowParametersItemでパラメータタイルを表示 | E-01 (行410-420) | ○ |
| C-31 | ShowAttachmentsItemで添付ファイルタイルを表示 | E-01 (行422-433) | ○ |
| C-32 | パラメータ数が0の場合はパラメータタイルを非表示 | E-09 (行169-170) | ○ |
| C-33 | supportsModernAttachmentsでAPI対応を確認 | E-08 (行254-256) | ○ |
| C-34 | supportsModernParametersでAPI対応を確認 | E-09 (行173-175) | ○ |
| C-35 | 編集成功時にcompanyUpdatedメッセージを表示 | E-01 (行218) | ○ |
| C-36 | 編集成功時にrefreshを呼び出す | E-01 (行217) | ○ |
| C-37 | formFieldsにname, description, website等を含む | E-02 (行41-56) | ○ |
| C-38 | activeフィールドはsupportsCompanyActiveStatusで条件付き追加 | E-02 (行51-53) | ○ |
| C-39 | 製造者関連機能は未実装（TODOコメント） | E-01 (行375-377) | ○ |
| C-40 | supplierPartCount > 0の場合のみサプライヤー部品タイルを表示 | E-01 (行325-343) | ○ |
| C-41 | サプライヤー部品数はリンクテキストとして表示される | E-01 (行330) | ○ |
| C-42 | 画面遷移はMaterialPageRouteを使用する | E-01, E-02 (行26-29) | ○ |

## 4) 不足情報（Unknown / Missing）
- **製造者関連機能の仕様**
  - 現状：E-01の375-377行目にTODOコメントがあるのみで実装なし
  - 影響：製造者タイプの会社に対する特有の機能が不明
  - 候補：将来のAPI仕様書 / 製造者部品モデルの設計書 / InvenTree本体のドキュメント

- **多言語メッセージの実際の値**
  - 現状：L10()関数経由で取得するが、実際の文字列は別ファイル（app_localizations.dart等）に定義
  - 影響：設計書内のメッセージ内容は推定値
  - 候補：lib/l10n/collected/app_localizations_en.dart / 各言語のローカライゼーションファイル

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 画面構成、基本的な表示項目（ヘッダー、連絡先情報）
- **0: 低リスク** - ナビゲーション処理（購入注文、販売注文、サプライヤー部品への遷移）
- **1: 中リスク** - 権限制御（canEdit, canCreateの判定ロジック）- 複数ロールの論理が複雑
- **1: 中リスク** - APIバージョン依存機能（supportsCompanyActiveStatus等）
- **2: 高リスク** - 製造者関連機能は未実装であり、将来の変更可能性あり

## 6) レビュアーチェックリスト（最小）
- [ ] 会社詳細画面の主要表示項目（名称、説明、連絡先）がコードと一致しているか
- [ ] サプライヤー/顧客の条件分岐による表示制御が正確に記載されているか
- [ ] 権限チェック（canEdit, canCreate）のロジックが正確か
- [ ] 画面遷移先（購入注文一覧、販売注文一覧、サプライヤー部品一覧）のフィルタ条件が正確か
- [ ] 製造者関連機能が未実装であることが明記されているか
- [ ] APIバージョン依存の機能（active, パラメータ、添付ファイル）の条件が正確か
- [ ] コードリーディングガイドの行番号が実際のコードと一致しているか
