---
generated_at: 2026-02-24 10:30:00
metrics:
  claims_total: 128
  claims_with_evidence: 128
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：workflow-engine-inmemory 単体テストケース一覧

## 本レポートについて

### 目的
本レポートは、生成された単体テストケース一覧の信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：128 / 128、根拠なし：0
- 優先レビュー（高）
  1. **なし**：全テストケースにソースコードからの根拠あり
  2. 統合テストとの整合性確認を推奨
  3. 実際のワークフロー実行時の挙動確認を推奨

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

- E-01: `packages/modules/workflow-engine-inmemory/src/services/workflows-module.ts`
- E-02: `packages/modules/workflow-engine-inmemory/src/services/workflow-orchestrator.ts`
- E-03: `packages/modules/workflow-engine-inmemory/src/utils/workflow-orchestrator-storage.ts`
- E-04: `packages/modules/workflow-engine-inmemory/src/models/workflow-execution.ts`
- E-05: `packages/modules/workflow-engine-inmemory/src/loaders/utils.ts`
- E-06: `packages/modules/workflow-engine-inmemory/src/types/index.ts`
- E-07: `packages/modules/workflow-engine-inmemory/src/schema/index.ts`
- E-08: `packages/modules/workflow-engine-inmemory/src/index.ts`

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

### WorkflowsModuleService (E-01)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | prepareFilters: qパラメータで$or検索条件生成 | E-01 L75-109 | ○ |
| C-02 | prepareFilters: 複合フィルタで$and条件生成 | E-01 L101-105 | ○ |
| C-03 | prepareFilters: qなしでフィルタ透過 | E-01 L107-108 | ○ |
| C-04 | prepareFilters: 空フィルタ処理 | E-01 L75-109 | ○ |
| C-05 | listWorkflowExecutions: フィルタ条件での一覧取得 | E-01 L111-120 | ○ |
| C-06 | listWorkflowExecutions: フィルタなし全件取得 | E-01 L111-120 | ○ |
| C-07 | listAndCountWorkflowExecutions: 一覧+カウント取得 | E-01 L122-135 | ○ |
| C-08 | listAndCountWorkflowExecutions: 0件ケース | E-01 L122-135 | ○ |
| C-09 | run: ワークフローID実行 | E-01 L137-195 | ○ |
| C-10 | run: ReturnWorkflowオブジェクト実行 | E-01 L137-195 | ○ |
| C-11 | run: eventGroupId伝播 | E-01 L172-178 | ○ |
| C-12 | run: preventReleaseEventsによるイベント抑制 | E-01 L158-170 | ○ |
| C-13 | run: 存在しないワークフローでエラー | E-01 L188-194 → E-02 L196-200 | ○ |
| C-14 | getRunningTransaction: 実行中トランザクション取得 | E-01 L197-208 | ○ |
| C-15 | getRunningTransaction: 存在しないトランザクション | E-01 L197-208 | ○ |
| C-16 | retryStep: 文字列idempotencyKeyリトライ | E-01 L210-231 | ○ |
| C-17 | retryStep: IdempotencyKeyPartsオブジェクトリトライ | E-01 L210-231 | ○ |
| C-18 | setStepSuccess: ステップ成功登録 | E-01 L233-257 | ○ |
| C-19 | setStepSuccess: 存在しないステップエラー | E-01 L233-257 | ○ |
| C-20 | setStepFailure: ステップ失敗登録 | E-01 L259-285 | ○ |
| C-21 | setStepFailure: forcePermanentFailure | E-01 L268-269 | ○ |
| C-22 | subscribe: サブスクライバー登録 | E-01 L287-294 | ○ |
| C-23 | subscribe: トランザクション特定サブスクライブ | E-01 L287-294 | ○ |
| C-24 | unsubscribe: サブスクライバー解除 | E-01 L296-302 | ○ |
| C-25 | unsubscribe: ID指定解除 | E-01 L296-302 | ○ |
| C-26 | cancel: ワークフローキャンセル | E-01 L304-312 | ○ |
| C-27 | cancel: 存在しないトランザクションでエラー | E-01 L304-312 | ○ |
| C-28 | cancel: throwOnError false | E-01 L304-312 | ○ |
| C-29 | __hooks.onApplicationStart | E-01 L66-69 | ○ |
| C-30 | __hooks.onApplicationShutdown | E-01 L70-73 | ○ |

### WorkflowOrchestratorService (E-02)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-31 | constructor: 依存関係注入 | E-02 L108-125 | ○ |
| C-32 | run: 文字列workflowId実行 | E-02 L173-266 | ○ |
| C-33 | run: ReturnWorkflow実行 | E-02 L191-193 | ○ |
| C-34 | run: transactionId自動生成 | E-02 L189 | ○ |
| C-35 | run: throwOnError true | E-02 L257-263 | ○ |
| C-36 | run: throwOnError false | E-02 L257-263 | ○ |
| C-37 | run: 空ID検証 | E-02 L195-200 | ○ |
| C-38 | run: 存在しないワークフローエラー | E-02 L208-214 | ○ |
| C-39 | run: onFinishイベント通知 | E-02 L245-252 | ○ |
| C-40 | run: triggerParentStep呼び出し | E-02 L254 | ○ |
| C-41 | cancel: トランザクションキャンセル | E-02 L268-378 | ○ |
| C-42 | cancel: 空workflowId検証 | E-02 L288-289 | ○ |
| C-43 | cancel: 空transactionId検証 | E-02 L292-294 | ○ |
| C-44 | cancel: トランザクション未検出エラー | E-02 L316-327 | ○ |
| C-45 | cancel: throwOnError false | E-02 L317-325 | ○ |
| C-46 | getRunningTransaction: トランザクション取得 | E-02 L380-406 | ○ |
| C-47 | getRunningTransaction: 空workflowId検証 | E-02 L385-387 | ○ |
| C-48 | getRunningTransaction: 空transactionId検証 | E-02 L389-391 | ○ |
| C-49 | getRunningTransaction: 存在しないワークフロー | E-02 L396-399 | ○ |
| C-50 | retryStep: 文字列idempotencyKey | E-02 L408-472 | ○ |
| C-51 | retryStep: IdempotencyKeyParts | E-02 L425-426 | ○ |
| C-52 | retryStep: 存在しないワークフローエラー | E-02 L428-431 | ○ |
| C-53 | setStepSuccess: ステップ成功登録 | E-02 L474-543 | ○ |
| C-54 | setStepSuccess: 親ステップ通知 | E-02 L519-531 | ○ |
| C-55 | setStepSuccess: 存在しないワークフロー | E-02 L497-500 | ○ |
| C-56 | setStepFailure: ステップ失敗登録 | E-02 L545-616 | ○ |
| C-57 | setStepFailure: forcePermanentFailure | E-02 L560 | ○ |
| C-58 | setStepFailure: 親ステップ失敗通知 | E-02 L592-604 | ○ |
| C-59 | subscribe: ワークフロー全体サブスクライブ | E-02 L618-656 | ○ |
| C-60 | subscribe: トランザクション特定サブスクライブ | E-02 L634-644 | ○ |
| C-61 | subscribe: subscriberId設定 | E-02 L624 | ○ |
| C-62 | subscribe: 重複登録防止 | E-02 L628-651 | ○ |
| C-63 | unsubscribe: 関数参照解除 | E-02 L658-696 | ○ |
| C-64 | unsubscribe: subscriberId解除 | E-02 L666-672 | ○ |
| C-65 | unsubscribe: トランザクション特定解除 | E-02 L674-686 | ○ |
| C-66 | unsubscribe: 空サブスクライバー処理 | E-02 L679-683, L691-695 | ○ |
| C-67 | notify: 非同期通知 | E-02 L698-701 | ○ |
| C-68 | processSubscriberNotifications: 並列通知 | E-02 L703-742 | ○ |
| C-69 | processSubscriberNotifications: エラーハンドリング | E-02 L715-717 | ○ |
| C-70 | processSubscriberNotifications: onFinish時サブスクライバー削除 | E-02 L731-733 | ○ |
| C-71 | buildWorkflowEvents: イベントハンドラー構築 | E-02 L744-851 | ○ |
| C-72 | buildWorkflowEvents: カスタムハンドラー呼び出し | E-02 L777-850 | ○ |
| C-73 | buildIdempotencyKeyAndParts: 文字列パース | E-02 L876-880 | ○ |
| C-74 | buildIdempotencyKeyAndParts: オブジェクト文字列化 | E-02 L871-875 | ○ |
| C-75 | triggerParentStep: 成功時親ステップ通知 | E-02 L161-169 | ○ |
| C-76 | triggerParentStep: 失敗時親ステップ通知 | E-02 L153-160 | ○ |
| C-77 | triggerParentStep: キャンセル時通知抑制 | E-02 L139-145 | ○ |

### InMemoryDistributedTransactionStorage (E-03)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-78 | constructor: 依存関係注入 | E-03 L118-127 | ○ |
| C-79 | onApplicationStart: タイマー設定 | E-03 L129-135 | ○ |
| C-80 | onApplicationShutdown: 全タイマークリア | E-03 L137-160 | ○ |
| C-81 | get: チェックポイント取得 | E-03 L266-325 | ○ |
| C-82 | get: idempotent false DONE状態 | E-03 L298-315 | ○ |
| C-83 | get: idempotent true DONE状態 | E-03 L298 | ○ |
| C-84 | get: isCancelling FAILED/REVERTED状態 | E-03 L303-307 | ○ |
| C-85 | get: 存在しないキー | E-03 L273-289 | ○ |
| C-86 | save: チェックポイント保存 | E-03 L327-412 | ○ |
| C-87 | save: 完了状態retentionTimeなし削除 | E-03 L392-398 | ○ |
| C-88 | save: 完了状態retentionTimeあり保持 | E-03 L399-401 | ○ |
| C-89 | save: ロック中エラー | E-03 L333-335 | ○ |
| C-90 | save: 重複実行防止 | E-03 L362-373 | ○ |
| C-91 | save: チェックポイントマージ | E-03 L375-381 | ○ |
| C-92 | preventRaceConditionExecutionIfNecessary: 完了済み実行スキップ | E-03 L469-481 | ○ |
| C-93 | preventRaceConditionExecutionIfNecessary: ステップ完了チェック | E-03 L448-466 | ○ |
| C-94 | preventRaceConditionExecutionIfNecessary: キャンセル検出 | E-03 L483-494 | ○ |
| C-95 | scheduleRetry: タイマー設定 | E-03 L497-528 | ○ |
| C-96 | scheduleRetry: 既存タイマークリア | E-03 L506-510 | ○ |
| C-97 | clearRetry: タイマークリア | E-03 L530-543 | ○ |
| C-98 | clearRetry: 存在しないタイマー | E-03 L537-542 | ○ |
| C-99 | scheduleTransactionTimeout: タイマー設定 | E-03 L545-575 | ○ |
| C-100 | clearTransactionTimeout: タイマークリア | E-03 L577-589 | ○ |
| C-101 | scheduleStepTimeout: タイマー設定 | E-03 L591-622 | ○ |
| C-102 | clearStepTimeout: タイマークリア | E-03 L624-637 | ○ |
| C-103 | schedule: cronスケジュール | E-03 L640-678 | ○ |
| C-104 | schedule: intervalスケジュール | E-03 L656-657 | ○ |
| C-105 | schedule: 既存ジョブ置換 | E-03 L648 | ○ |
| C-106 | schedule: スケジュール検証エラー | E-03 L658-662 | ○ |
| C-107 | remove: ジョブ削除 | E-03 L680-688 | ○ |
| C-108 | remove: 存在しないジョブ | E-03 L681-684 | ○ |
| C-109 | removeAll: 全ジョブ削除 | E-03 L690-694 | ○ |
| C-110 | jobHandler: ジョブ実行 | E-03 L696-743 | ○ |
| C-111 | jobHandler: 実行回数制限 | E-03 L702-708 | ○ |
| C-112 | jobHandler: 存在しないワークフロー処理 | E-03 L731-739 | ○ |
| C-113 | jobHandler: 次回実行スケジュール | E-03 L718-730 | ○ |
| C-114 | clearExpiredExecutions: 期限切れ削除 | E-03 L745-764 | ○ |
| C-115 | createManagedTimer: pendingTimers追加 | E-03 L166-180 | ○ |
| C-116 | createManagedTimer: タイマー実行後削除 | E-03 L170-171 | ○ |
| C-117 | parseNextExecution: cronオプション | E-03 L71-75 | ○ |
| C-118 | parseNextExecution: intervalオプション | E-03 L77-79 | ○ |
| C-119 | parseNextExecution: CronExpressionオブジェクト | E-03 L81 | ○ |
| C-120 | parseNextExecution: 数値文字列 | E-03 L84-85 | ○ |
| C-121 | parseNextExecution: cron文字列 | E-03 L87-88 | ○ |
| C-122 | calculateDelayFromExpression: 正のdelay | E-03 L54-66 | ○ |
| C-123 | calculateDelayFromExpression: 負のdelay処理 | E-03 L60-63 | ○ |

### WorkflowExecution Model (E-04)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-124 | model定義 | E-04 L4-14 | ○ |
| C-125 | インデックス定義 | E-04 L15-58 | ○ |
| C-126 | 複合主キー | E-04 L7-9 | ○ |
| C-127 | state列挙 | E-04 L12 | ○ |

### Loaders (E-05)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-128 | loadUtils: DI登録 | E-05 L1-10 | ○ |

## 4) 不足情報（Unknown / Missing）
- 根拠なしの項目はありません
- 統合テストファイル（`integration-tests/__tests__/`配下）との整合性は本レポートの対象外

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全テストケースがソースコードを直接参照して生成されており、根拠が明確
- 注意点:
  - ワークフロー実行の非同期処理に関するテストは実行環境依存の可能性あり
  - タイマー関連のテスト（scheduleRetry、scheduleTimeout等）はモック/スタブが必要
  - 外部依存（MedusaWorkflow、DistributedTransaction等）のモック設計が重要

## 6) レビュアーチェックリスト（最小）
- [ ] WorkflowsModuleServiceのrun/cancelメソッドのエラーハンドリングが網羅されているか
- [ ] InMemoryDistributedTransactionStorageのレース条件テストが十分か
- [ ] subscribe/unsubscribeの境界値テスト（0件、多数登録時）が適切か
- [ ] タイマー関連テストのモック設計が明確か
- [ ] TransactionState遷移の全パターンがカバーされているか
- [ ] 親子ワークフロー連携（triggerParentStep）のテストが十分か
