Phân tích luồng sau chuyển — batch/job-daily-warning-out-date — vòng 2

Chế độ thu hẹp: fix.diff chỉ sửa file test BatchExpiryWarningServiceTest.java (TC-10); không file code chính nào của luồng đổi so với vòng 1.

F-01 Cảnh báo lô sắp/đã hết hạn — không đổi so với vòng 1: xem verify/round-1/flow-analysis.md

Ghi chú vòng 2: file trong fix.diff là test, không nằm trên đường chạy của luồng. TC-10 nay khoá đủ 5 NotificationDraft theo thứ tự (bước 14–15 của bảng vòng 1) và khoá now = Clock.instant() (bước 16, F-logic-2). Kết luận các bước vòng 1 giữ nguyên: F-logic-1 (mô tả D-08) và F-logic-2 (thời điểm create_time) vẫn mở.