#State Machine(1)

OpenSpec 重構老專案 Ep-5:交易核心與競態防線

碳匯交易核心一天從 propose 跑到 archive。挑 4 個設計決策講透：角色用 row 存在性推導、state machine 雙保險、同時購買競態用 DB transaction + lockForUpdate + UNIQUE 三層防線擋住。想學 Laravel 併發防護就看這篇。