Phân tích luồng sau chuyển — warehouse/delete — vòng 1

F-01 Xoá kho

• Điểm vào: cũ easyposbackend1:src/main/java/vn/softdreams/easypos/web/rest/WarehouseResource.java:80-83 → mới src/main/java/com/softdreams/easypos/warehouse/presentation/web/warehouse/WarehouseController.java:93-96
• Quy tắc: R-01, R-02, R-03, R-04, R-05, R-06, R-07, R-08, R-09, R-10

Sơ đồ luồng mới (theo code thực tế)

sequenceDiagram
    participant C as Client
    participant WC as WarehouseController.deleteWarehouse
    participant MS as WarehouseManagementService.deleteWarehouse (@Transactional)
    participant CC as CurrentCompanyService.requireCompanyOfCurrentUser
    participant WR as WarehouseRelationalRepository
    participant UC as WarehouseUsageChecker.validateNotInUse
    participant IR as InventoryRelationalRepository.findOnHandsByWarehouse
    participant BA as BillRelationalAdapter.existsByWarehouse
    participant RR as RsInoutwardRelationalRepository.existsByFromWarehouse
    C->>WC: DELETE /delete?comId&id (@RequestParam Integer, thiếu → 400 starter)
    WC->>MS: deleteWarehouse(comId, id)
    MS->>CC: comId null/<=0 → 400 INVALID_COMPANY; khác token → 400 COMPANY_NOT_OF_CURRENT_USER
    MS->>WR: findById(comId,id) → rỗng: SystemException(WAREHOUSE_NOT_FOUND) 500
    MS->>MS: Warehouse.validateDeletable(): code null → 500 EXCEPTION_ERROR; "WH1" → 400 DELETE_WAREHOUSE_DEFAULT_INVALID
    MS->>UC: validateNotInUse(comId,id)
    UC->>IR: native SELECT 10 cột (inventory LEFT JOIN batches_detail), kiểm kiểu mọi dòng → sai: 500 EXCEPTION_ERROR
    UC->>UC: WarehouseDeletePolicy.validateOnHands: null → 500; >0 → 400 WAREHOUSE_DELETE_INVALID_ON_HAND
    UC->>BA: EXISTS bill/bill_product → true: 400 WAREHOUSE_DELETE_EXIST_DOCUMENT (bỏ qua câu phiếu kho)
    UC->>RR: EXISTS rs_inoutward/detail (from_warehouse_id) → true: 400 WAREHOUSE_DELETE_EXIST_DOCUMENT
    MS->>WR: deleteById: native DELETE warehouse WHERE com_id AND id (0 dòng vẫn OK)
    WC-->>C: 200 BaseResponseDTO.ok(null, SUCCESS_UPDATE)

Đối chiếu từng bước

Dữ liệu và side effect

Transaction, khoá, idempotency, tenant

• Ranh giới transaction: cũ không có transaction bao ngoài. Mỗi câu đọc chạy riêng (có thể qua replica), kiểm chứng từ chạy REQUIRES_NEW readOnly trên 2 luồng, delete chạy transaction riêng của SimpleJpaRepository. Mới: một @Transactional ở WarehouseManagementService.java:115 bao toàn bộ kiểm và xoá trên DB chính (D-11). Câu đầu tiên trong transaction là SELECT trên bảng nên không vướng K-12. Lỗi nghiệp vụ ném trước khi ghi nên rollback không mất gì.
• Khoá / cập nhật nguyên tử: cả cũ và mới đều không khoá. Hoá đơn hoặc tồn tạo đồng thời sau bước kiểm vẫn có thể lọt (cả hai như nhau, R-09). Xoá không lấy sp_getapplock warehouse:save:<comId> như thêm/sửa; code cũ cũng không khoá.
• Idempotency, thời điểm phát event: không phát event. Xoá lặp lại cùng kho: lần sau ra 500 WAREHOUSE_NOT_FOUND (D-04). Kho bị xoá giữa lúc tìm và lúc xoá thì DELETE 0 dòng vẫn trả 200, như cũ.
• Lọc comId: có ở mọi truy vấn và ở lệnh DELETE. comId là giá trị đã khớp với token.

Lệch so với luồng mới đã duyệt (spec mục 6)

Có lệch về cấu trúc, không lệch hành vi: các bước kiểm tồn, hoá đơn, phiếu kho đi qua WarehouseUsageChecker.validateNotInUse (application/warehouse/WarehouseUsageChecker.java:44-50) thay vì gọi thẳng từ WarehouseManagementService. Thứ tự và mã lỗi đúng như spec mục 6.

Dev cần chú ý khi review