Flash sale: chống oversell

trừ tồn atomic (Postgres) - kiểm và trừ trong cùng một câu, không tách rời

UPDATE flash_sale SET con_lai = con_lai - 1
WHERE id = :id AND con_lai > 0
RETURNING con_lai;
-- khớp 1 dòng  -> trừ thành công, khách giành được suất
-- khớp 0 dòng  -> con_lai đã = 0 -> HẾT SUẤT, báo khách, KHÔNG bán

gõ trong ô Claude Code

Trong service xử lý flash sale, thay phần trừ tồn "đọc con_lai rồi trừ"
bằng MỘT câu UPDATE atomic của Postgres (qua Drizzle):
  UPDATE flash_sale SET con_lai = con_lai - 1
  WHERE id = :id AND con_lai > 0 RETURNING con_lai.
Nếu câu lệnh khớp 0 dòng thì trả về "hết suất", không trừ gì thêm.
Đừng SELECT con_lai trước rồi mới UPDATE.

Rồi viết một test: tạo một flash sale 50 suất, mô phỏng 200 lượt mua
chạy ĐỒNG THỜI (Promise.all), và kiểm: đúng 50 lượt thành công, 150
lượt nhận "hết suất", con_lai cuối cùng = 0 và KHÔNG bao giờ âm.

Xong khi: test xanh, con_lai không xuống dưới 0, tổng suất bán ra = 50.

vòng đời một suất flash sale

vào thanh toán   -> GIỮ CHỖ 1 suất (con_lai-1, dang_giu+1), đặt hạn 5 phút
thanh toán xong  -> CHỐT (dang_giu-1, da_ban+1)  [suất thành đơn]
quá 5 phút chưa trả tiền -> TRẢ suất về kho (dang_giu-1, con_lai+1)

gõ trong ô Claude Code

Thêm cơ chế giữ chỗ (reservation) cho flash sale:
- Khi khách bấm "Mua deal" và vào trang thanh toán: giữ atomic 1 suất
  (UPDATE flash_sale SET con_lai = con_lai - 1, dang_giu = dang_giu + 1
  WHERE id = :id AND con_lai > 0), tạo một reservation gắn order_id với
  hạn het_han = now + 5 phút. Khớp 0 dòng thì báo "hết suất".
- Khi thanh toán xong (webhook SePay xác nhận): chốt suất đó
  (dang_giu - 1, da_ban + 1), đổi order sang 'paid'.
- Thêm một job (dùng BullMQ đã có) chạy mỗi phút: tìm reservation đã quá
  het_han mà chưa thanh toán, TRẢ suất về kho (dang_giu - 1, con_lai + 1)
  và huỷ order treo.

Xong khi: giữ chỗ rồi bỏ không trả tiền, sau 5 phút con_lai tự tăng lại
1, và suất đó bán được cho người mua khác.

chốt đơn idempotent - mã giả (Claude viết bằng code Next.js)

def chot_don(order_id):
    don = lay_don(order_id)
    if don.trang_thai == 'paid':   # đã chốt rồi
        return don                 # bỏ qua, KHÔNG trừ/thu lần hai
    # chốt: dang_giu-1, da_ban+1, order -> 'paid'  (trong một transaction)
    ...

gõ trong ô Claude Code

Làm cho bước chốt đơn flash sale (khi thanh toán xong) idempotent:
- Trước khi chốt, kiểm trạng thái đơn. Nếu đã 'paid' thì trả về kết quả
  cũ ngay, KHÔNG trừ suất hay cộng da_ban lần nữa.
- Gói chốt suất (dang_giu - 1, da_ban + 1) và đổi order sang 'paid' trong
  CÙNG một transaction.

Rồi viết test gọi hàm chốt đơn 5 lần liên tiếp cho cùng một order_id và
kiểm: da_ban chỉ tăng 1, đơn ở trạng thái 'paid', không có suất nào bị
trừ thừa.

Xong khi: gọi chốt nhiều lần cho một đơn cũng chỉ ra một suất bán, một
lần thu tiền.

bất biến để test - chống oversell & lệch tồn

con_lai >= 0  luôn luôn                      # không bao giờ bán âm
da_ban + con_lai + dang_giu == tong_suat     # không suất nào bốc hơi/đẻ ra
mỗi order 'paid' chốt đúng 1 suat             # không double-charge
không order nào chốt khi con_lai + dang_giu = 0  # hết thì thôi

gõ trong ô Claude Code

Cho một subagent chuyên data-integrity rà toàn bộ luồng flash sale (giữ
chỗ, chốt đơn, dọn quá hạn) và viết một bộ test tải đồng thời:
- Tạo flash sale tong_suat = 30.
- Mô phỏng 500 lượt mua đồng thời, một phần bỏ ngang không trả tiền (để
  job dọn quá hạn chạy).
- Sau khi mọi thứ lắng, KIỂM các bất biến: con_lai >= 0; da_ban +
  con_lai + dang_giu == 30; tổng suất 'paid' không vượt 30; không đơn nào
  chốt khi đã hết suất.

Xong khi: chạy bộ test nhiều lần đều xanh, không lần nào con_lai âm hay
tổng suất lệch khỏi 30.