Compensating action missing from a generated failure branch
BU-0003已驗證來源 ai_generated
Generated code that models a success path and treats the failure path as a log statement leaves the system without the compensating action the success path assumed.
根因
The specification given to the generator described the intended outcome and not the failure behaviour.
修法
State the compensating action in the specification, and test the failure branch as a first-class path.
可執行見證
修正前，測試失敗
修正後，同一測試通過
驗證者hybrid
驗證於2026-08-01 13:10
判斷軌跡
- 為何 · AI 生成omitted-failure-path2026-08-01 13:10 → 至今信心 0.9