---
generated_at: 2026-02-24 16:30:00
metrics:
  claims_total: 141
  claims_with_evidence: 141
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：console-core 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：141 / 141、根拠なし：0
- 優先レビュー（高）
  1. **なし**：全テストケースにソースコードからの根拠あり

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

- E-01: `packages/console/core/src/identifier.ts` - Identifier namespace（create, schema関数）
- E-02: `packages/console/core/src/context.ts` - Context namespace（create, NotFound, use, provide）
- E-03: `packages/console/core/src/actor.ts` - Actor namespace（provide, assert, assertAdmin, workspace, account, userID, userRole）
- E-04: `packages/console/core/src/account.ts` - Account namespace（create, fromID）
- E-05: `packages/console/core/src/workspace.ts` - Workspace namespace（create, update, remove）
- E-06: `packages/console/core/src/user.ts` - User namespace（list, fromID, getAuthEmail, invite, joinInvitedWorkspaces, update, remove, assertNotSelf）
- E-07: `packages/console/core/src/key.ts` - Key namespace（list, create, remove）
- E-08: `packages/console/core/src/billing.ts` - Billing namespace（get, payments, usages, calculateFeeInCents, reload, grantCredit, setMonthlyLimit, generateCheckoutUrl, generateSessionUrl, generateReceiptUrl, subscribe, unsubscribe）
- E-09: `packages/console/core/src/subscription.ts` - Subscription namespace（analyzeRollingUsage, analyzeWeeklyUsage）
- E-10: `packages/console/core/src/model.ts` - Model namespace（enable, disable, listDisabled, isDisabled）、ZenData namespace（validate, list）
- E-11: `packages/console/core/src/provider.ts` - Provider namespace（list, create, remove）
- E-12: `packages/console/core/src/black.ts` - BlackData namespace（validate, getLimits, planToPriceID, priceIDToPlan）
- E-13: `packages/console/core/src/lite.ts` - LiteData namespace（validate, getLimits, planToPriceID, priceIDToPlan）
- E-14: `packages/console/core/src/aws.ts` - AWS namespace（sendEmail）
- E-15: `packages/console/core/src/drizzle/index.ts` - Database namespace（use, fn, effect, transaction）
- E-16: `packages/console/core/src/util/fn.ts` - fn関数（schema validation wrapper）
- E-17: `packages/console/core/src/util/price.ts` - centsToMicroCents関数
- E-18: `packages/console/core/src/util/date.ts` - getWeekBounds関数
- E-19: `packages/console/core/src/util/memo.ts` - memo関数（memoization with reset）
- E-20: `packages/console/core/src/util/log.ts` - Log namespace（create, info, tag, clone, provide）

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

### Identifier関連 (C-01 ~ C-04)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | create関数でプレフィックス指定の新規ID生成 | E-01: L20-26 `return [prefixes[prefix], ulid()].join("_")` | ○ |
| C-02 | create関数で既存IDがプレフィックス一致時にそのまま返却 | E-01: L22 `if (given.startsWith(prefixes[prefix])) return given` | ○ |
| C-03 | create関数で不正プレフィックスIDでエラースロー | E-01: L23 `throw new Error(...)` | ○ |
| C-04 | schema関数でZodスキーマ生成 | E-01: L28-30 `z.string().startsWith(prefixes[prefix])` | ○ |

### Context関連 (C-05 ~ C-07)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-05 | create関数でuse/provideメソッドを持つコンテキスト生成 | E-02: L6-20 Context.create実装 | ○ |
| C-06 | use関数でコンテキスト外呼び出し時NotFoundエラー | E-02: L10-13 `throw new NotFound()` | ○ |
| C-07 | provide関数で値設定とuse取得の連携 | E-02: L16-18 `storage.run(value, fn)` | ○ |

### Actor関連 (C-08 ~ C-18)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-08 | provide関数でactor正常提供 | E-03: L43-60 Actor.provide実装 | ○ |
| C-09 | assert関数で正しいtype時にactor返却 | E-03: L62-68 Actor.assert実装 | ○ |
| C-10 | assert関数で異なるtype時にエラースロー | E-03: L64-65 `throw new Error(...)` | ○ |
| C-11 | assertAdmin関数でadminロール時に例外なし | E-03: L70-73 `if (userRole() === "admin") return` | ○ |
| C-12 | assertAdmin関数でmemberロール時にエラースロー | E-03: L72 `throw new Error(...)` | ○ |
| C-13 | workspace関数でworkspaceID取得 | E-03: L75-81 Actor.workspace実装 | ○ |
| C-14 | workspace関数でworkspaceID無しactor時にエラー | E-03: L80 `throw new Error(...)` | ○ |
| C-15 | account関数でaccountID取得 | E-03: L83-89 Actor.account実装 | ○ |
| C-16 | account関数でaccountID無しactor時にエラー | E-03: L88 `throw new Error(...)` | ○ |
| C-17 | userID関数でuserタイプactorのuserID取得 | E-03: L91-93 `Actor.assert("user").properties.userID` | ○ |
| C-18 | userRole関数でuserタイプactorのrole取得 | E-03: L95-97 `Actor.assert("user").properties.role` | ○ |

### Account関連 (C-19 ~ C-22)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-19 | create関数で新規アカウント作成 | E-04: L9-21 Account.create実装 | ○ |
| C-20 | create関数で指定ID使用 | E-04: L15 `input.id ?? Identifier.create("account")` | ○ |
| C-21 | fromID関数で存在アカウント取得 | E-04: L23-31 Account.fromID実装 | ○ |
| C-22 | fromID関数で存在しないID時undefined返却 | E-04: L29 `.then((rows) => rows[0])` | ○ |

### Workspace関連 (C-23 ~ C-29)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-23 | create関数で新規ワークスペース作成 | E-05: L13-48 Workspace.create実装 | ○ |
| C-24 | create関数で空name時バリデーションエラー | E-05: L14-16 `z.object({ name: z.string().min(1) })` | ○ |
| C-25 | update関数でワークスペース名更新 | E-05: L50-66 Workspace.update実装 | ○ |
| C-26 | update関数で非管理者時エラー | E-05: L55 `Actor.assertAdmin()` | ○ |
| C-27 | update関数でname最大255文字 | E-05: L51-53 `z.string().min(1).max(255)` | ○ |
| C-28 | update関数で256文字以上時バリデーションエラー | E-05: L51-53 `z.string().min(1).max(255)` | ○ |
| C-29 | remove関数で論理削除 | E-05: L68-75 `timeDeleted: sql\`now()\`` | ○ |

### User関連 (C-30 ~ C-45)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-30 | list関数でユーザー一覧取得 | E-06: L21-32 User.list実装 | ○ |
| C-31 | list関数でユーザー0件時空配列 | E-06: L21-32 select文の結果 | ○ |
| C-32 | fromID関数で存在ユーザー取得 | E-06: L34-42 User.fromID実装 | ○ |
| C-33 | fromID関数で存在しないID時undefined | E-06: L40 `.then((rows) => rows[0])` | ○ |
| C-34 | getAuthEmail関数で認証メール取得 | E-06: L44-55 User.getAuthEmail実装 | ○ |
| C-35 | invite関数で新規ユーザー招待 | E-06: L57-159 User.invite実装 | ○ |
| C-36 | invite関数で既存アカウントユーザー招待時APIキー作成 | E-06: L104-122 Key.create呼び出し | ○ |
| C-37 | invite関数で非管理者時エラー | E-06: L64 `Actor.assertAdmin()` | ○ |
| C-38 | invite関数でmonthlyLimit=null招待 | E-06: L61 `monthlyLimit: z.number().nullable().optional()` | ○ |
| C-39 | joinInvitedWorkspaces関数で招待承諾 | E-06: L161-193 User.joinInvitedWorkspaces実装 | ○ |
| C-40 | update関数でユーザー情報更新 | E-06: L195-211 User.update実装 | ○ |
| C-41 | update関数で自己降格防止 | E-06: L203 `if (role === "member") assertNotSelf(id)` | ○ |
| C-42 | update関数で非管理者時エラー | E-06: L202 `Actor.assertAdmin()` | ○ |
| C-43 | remove関数で論理削除 | E-06: L213-225 User.remove実装 | ○ |
| C-44 | remove関数で自己削除防止 | E-06: L215 `assertNotSelf(id)` | ○ |
| C-45 | remove関数で非管理者時エラー | E-06: L214 `Actor.assertAdmin()` | ○ |

### Key関連 (C-46 ~ C-56)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-46 | list関数で管理者は全APIキー一覧取得 | E-07: L11-42 `Actor.userRole() === "admin"` 条件 | ○ |
| C-47 | list関数でメンバーは自分のキーのみ取得 | E-07: L30 `eq(KeyTable.userID, Actor.userID())` | ○ |
| C-48 | list関数で他人キーはマスク | E-07: L37-40 `key.userID === Actor.userID() ? key.key : undefined` | ○ |
| C-49 | create関数で新規APIキー作成 | E-07: L44-75 Key.create実装 | ○ |
| C-50 | create関数でキー形式'sk-'+64文字 | E-07: L52-59 secretKey生成ロジック | ○ |
| C-51 | create関数で空name時バリデーションエラー | E-07: L47 `z.string().min(1).max(255)` | ○ |
| C-52 | create関数でname最大255文字 | E-07: L47 `z.string().min(1).max(255)` | ○ |
| C-53 | create関数で256文字以上時バリデーションエラー | E-07: L47 `z.string().min(1).max(255)` | ○ |
| C-54 | remove関数で管理者は他人キー削除可 | E-07: L77-95 `Actor.userRole() === "admin"` 条件 | ○ |
| C-55 | remove関数でメンバーは自分キー削除可 | E-07: L90 `eq(KeyTable.userID, Actor.userID())` | ○ |
| C-56 | remove関数でメンバーは他人キー削除不可 | E-07: L90 userID条件で対象外 | ○ |

### Billing関連 (C-57 ~ C-77)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-57 | get関数で請求情報取得 | E-08: L26-34 Billing.get実装 | ○ |
| C-58 | payments関数で支払い履歴取得 | E-08: L36-45 Billing.payments実装 | ○ |
| C-59 | usages関数で利用履歴取得 | E-08: L47-57 Billing.usages実装 | ○ |
| C-60 | usages関数でpage=0時最初ページ | E-08: L55 `.offset(page * pageSize)` | ○ |
| C-61 | calculateFeeInCents関数で手数料計算 | E-08: L59-64 数式実装 | ○ |
| C-62 | calculateFeeInCents関数でx=0時最小手数料 | E-08: L63 `Math.round(((x + 30) / 0.956) * 0.044 + 30)` | ○ |
| C-63 | grantCredit関数でクレジット付与 | E-08: L128-147 Billing.grantCredit実装 | ○ |
| C-64 | setMonthlyLimit関数で月次制限設定 | E-08: L149-158 Billing.setMonthlyLimit実装 | ○ |
| C-65 | generateCheckoutUrl関数でURL生成 | E-08: L160-234 Billing.generateCheckoutUrl実装 | ○ |
| C-66 | generateCheckoutUrl関数でamount<10時エラー | E-08: L170-171 `throw new Error(...)` | ○ |
| C-67 | generateCheckoutUrl関数でamount=10時正常 | E-08: L170 `amount < Billing.RELOAD_AMOUNT_MIN` | ○ |
| C-68 | generateSessionUrl関数でポータルURL生成 | E-08: L236-255 Billing.generateSessionUrl実装 | ○ |
| C-69 | generateSessionUrl関数でcustomerID無し時エラー | E-08: L244-245 `throw new Error("No stripe customer ID")` | ○ |
| C-70 | generateReceiptUrl関数で領収書URL取得 | E-08: L257-272 Billing.generateReceiptUrl実装 | ○ |
| C-71 | generateReceiptUrl関数でcharge無し時エラー | E-08: L265 `throw new Error("No charge found")` | ○ |
| C-72 | subscribe関数でサブスク作成 | E-08: L274-337 Billing.subscribe実装 | ○ |
| C-73 | subscribe関数でbilling無し時エラー | E-08: L295 `throw new Error("Billing record not found")` | ○ |
| C-74 | subscribe関数でtimeSubscriptionSelected無し時エラー | E-08: L296 `throw new Error("Not selected for subscription")` | ○ |
| C-75 | subscribe関数で既存subscriptionID時エラー | E-08: L297 `throw new Error("Already subscribed")` | ○ |
| C-76 | unsubscribe関数でサブスク解約 | E-08: L339-362 Billing.unsubscribe実装 | ○ |
| C-77 | unsubscribe関数で存在しないsubscriptionID時エラー | E-08: L351 `throw new Error("Workspace ID not found for subscription")` | ○ |

### Subscription関連 (C-78 ~ C-83)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-78 | analyzeRollingUsage関数で制限内時okステータス | E-09: L7-41 analyzeRollingUsage実装 | ○ |
| C-79 | analyzeRollingUsage関数で制限超過時rate-limited | E-09: L35-39 `status: "rate-limited"` | ○ |
| C-80 | analyzeRollingUsage関数でウィンドウ外リセット | E-09: L19-24 `timeUpdated < windowStart` 条件 | ○ |
| C-81 | analyzeWeeklyUsage関数で制限内時ok | E-09: L43-74 analyzeWeeklyUsage実装 | ○ |
| C-82 | analyzeWeeklyUsage関数で制限超過時rate-limited | E-09: L68-72 `status: "rate-limited"` | ○ |
| C-83 | analyzeWeeklyUsage関数で週外リセット | E-09: L53-58 `timeUpdated < week.start` 条件 | ○ |

### Model関連 (C-84 ~ C-94)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-84 | enable関数でモデル有効化 | E-10: L132-137 Model.enable実装 | ○ |
| C-85 | enable関数で非管理者時エラー | E-10: L133 `Actor.assertAdmin()` | ○ |
| C-86 | disable関数でモデル無効化 | E-10: L139-155 Model.disable実装 | ○ |
| C-87 | disable関数で非管理者時エラー | E-10: L140 `Actor.assertAdmin()` | ○ |
| C-88 | listDisabled関数で無効化一覧取得 | E-10: L157-165 Model.listDisabled実装 | ○ |
| C-89 | listDisabled関数で0件時空配列 | E-10: L163 `.then((rows) => rows.map(...))` | ○ |
| C-90 | isDisabled関数で無効化時true | E-10: L167-182 Model.isDisabled実装 | ○ |
| C-91 | isDisabled関数で有効時false | E-10: L179 `result.length > 0` | ○ |
| C-92 | ZenData.validate関数で設定検証 | E-10: L81-83 ZenData.validate実装 | ○ |
| C-93 | ZenData.list関数でfullモード | E-10: L85-128 ZenData.list実装 | ○ |
| C-94 | ZenData.list関数でliteモード | E-10: L120 `modelList === "lite" ? liteModels : models` | ○ |

### Provider関連 (C-95 ~ C-101)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-95 | list関数でプロバイダー一覧取得 | E-11: L9-16 Provider.list実装 | ○ |
| C-96 | create関数でプロバイダー作成 | E-11: L18-42 Provider.create実装 | ○ |
| C-97 | create関数で非管理者時エラー | E-11: L24 `Actor.assertAdmin()` | ○ |
| C-98 | create関数でprovider最大64文字 | E-11: L20 `z.string().min(1).max(64)` | ○ |
| C-99 | create関数で65文字以上時バリデーションエラー | E-11: L20 `z.string().min(1).max(64)` | ○ |
| C-100 | remove関数でプロバイダー削除 | E-11: L44-56 Provider.remove実装 | ○ |
| C-101 | remove関数で非管理者時エラー | E-11: L49 `Actor.assertAdmin()` | ○ |

### BlackData関連 (C-102 ~ C-111)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-102 | validate関数でBlack設定検証 | E-12: L25-27 BlackData.validate実装 | ○ |
| C-103 | getLimits関数でplan='200'制限取得 | E-12: L29-37 BlackData.getLimits実装 | ○ |
| C-104 | getLimits関数でplan='100'制限取得 | E-12: L35 `Schema.parse(json)[plan]` | ○ |
| C-105 | getLimits関数でplan='20'制限取得 | E-12: L35 `Schema.parse(json)[plan]` | ○ |
| C-106 | planToPriceID関数でplan='200'priceID | E-12: L39-48 BlackData.planToPriceID実装 | ○ |
| C-107 | planToPriceID関数でplan='100'priceID | E-12: L45 `if (plan === "100") return Resource.ZEN_BLACK_PRICE.plan100` | ○ |
| C-108 | planToPriceID関数でplan='20'priceID | E-12: L46 `return Resource.ZEN_BLACK_PRICE.plan20` | ○ |
| C-109 | priceIDToPlan関数で200逆引き | E-12: L50-59 BlackData.priceIDToPlan実装 | ○ |
| C-110 | priceIDToPlan関数で100逆引き | E-12: L56 `if (priceID === Resource.ZEN_BLACK_PRICE.plan100) return "100"` | ○ |
| C-111 | priceIDToPlan関数でデフォルト'20' | E-12: L57 `return "20"` | ○ |

### LiteData関連 (C-112 ~ C-115)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-112 | validate関数でLite設定検証 | E-13: L12-14 LiteData.validate実装 | ○ |
| C-113 | getLimits関数でLite制限取得 | E-13: L16-19 LiteData.getLimits実装 | ○ |
| C-114 | planToPriceID関数でLitepriceID | E-13: L21-23 LiteData.planToPriceID実装 | ○ |
| C-115 | priceIDToPlan関数で固定'lite' | E-13: L25-27 `return "lite"` | ○ |

### AWS関連 (C-116 ~ C-118)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-116 | sendEmail関数でメール送信 | E-14: L20-64 AWS.sendEmail実装 | ○ |
| C-117 | sendEmail関数でreplyTo指定 | E-14: L39 `...(input.replyTo && { ReplyToAddresses: [input.replyTo] })` | ○ |
| C-118 | sendEmail関数でAPIエラー時例外 | E-14: L60-62 `throw new Error(...)` | ○ |

### Database関連 (C-119 ~ C-123)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-119 | use関数でDBクエリ実行 | E-15: L36-55 Database.use実装 | ○ |
| C-120 | use関数でネストトランザクション | E-15: L38-39 `TransactionContext.use()` 存在時 | ○ |
| C-121 | transaction関数でトランザクション実行 | E-15: L69-84 Database.transaction実装 | ○ |
| C-122 | effect関数でトランザクション完了後実行 | E-15: L60-67 Database.effect実装 | ○ |
| C-123 | effect関数でトランザクション外時即時実行 | E-15: L64-65 catch節での即時実行 | ○ |

### Utility関連 (C-124 ~ C-141)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-124 | fn関数でスキーマ検証後コールバック | E-16: L3-11 fn実装 | ○ |
| C-125 | fn関数でスキーマ検証失敗時ZodError | E-16: L5 `schema.parse(input)` | ○ |
| C-126 | force関数でスキーマスキップ | E-16: L8 `result.force = (input) => cb(input)` | ○ |
| C-127 | centsToMicroCents関数で変換 | E-17: L1-3 centsToMicroCents実装 | ○ |
| C-128 | centsToMicroCents関数でゼロ変換 | E-17: L2 `Math.round(amount * 1000000)` | ○ |
| C-129 | centsToMicroCents関数で小数変換 | E-17: L2 `Math.round(amount * 1000000)` | ○ |
| C-130 | getWeekBounds関数で週境界計算 | E-18: L1-9 getWeekBounds実装 | ○ |
| C-131 | getWeekBounds関数で日曜日境界 | E-18: L2 `(date.getUTCDay() + 6) % 7` | ○ |
| C-132 | getWeekBounds関数で月曜日境界 | E-18: L2 `(date.getUTCDay() + 6) % 7` | ○ |
| C-133 | memo関数でメモ化 | E-19: L1-18 memo実装 | ○ |
| C-134 | memo関数でキャッシュ再利用 | E-19: L6 `if (loaded) return value as T` | ○ |
| C-135 | reset関数でキャッシュクリア | E-19: L11-15 reset実装 | ○ |
| C-136 | reset関数でクリーンアップ実行 | E-19: L12 `if (cleanup && value) await cleanup(value)` | ○ |
| C-137 | Log.create関数でロガー作成 | E-20: L8-33 Log.create実装 | ○ |
| C-138 | Log.info関数でタグ付きログ | E-20: L12-21 info実装 | ○ |
| C-139 | Log.tag関数でタグ追加 | E-20: L23-26 tag実装 | ○ |
| C-140 | Log.clone関数でロガー複製 | E-20: L27-29 clone実装 | ○ |
| C-141 | Log.provide関数でタグコンテキスト提供 | E-20: L35-46 Log.provide実装 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし：全てのテストケースはソースコードから直接導出されています

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全テストケースにソースコードの根拠あり
- 注意点:
  - 外部依存（Stripe API、AWS SES）を伴うテストはモック/スタブが必要
  - DB操作を伴うテストはテスト用DBセットアップが必要
  - Actor提供が必要なテストはコンテキスト設定が必要

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースの優先度が適切か（高優先度が認証・認可・金額計算に設定されているか）
- [ ] 境界値テストが十分か（特に文字列長、配列サイズ）
- [ ] 外部サービス連携テストのモック方針が決まっているか
- [ ] DBテストのセットアップ/クリーンアップ方針が決まっているか
- [ ] Actorコンテキストのテストヘルパー実装が必要か確認
