wal: flush 20260812T2255

.claude/agent-memory/test-specialist/MEMORY.md

@@ -49,6 +49,8 @@ LeaveBalance→LeaveType `Restrict` FK. ApproveLeaveRequest terminal (DaDuyet) i
 - **Bẫy đo lặp nhiều lần:** (i) `MethodInfo.Invoke` **KHÔNG auto-bind optional param** → phải pass đủ arg (S117); (ii) SQLite collation **BINARY** không bắt dup khác-hoa-thường, prod SQL Server thì CÓ → dedup phải nằm ở SERVICE, đừng dựa DB (S113/D3); (iii) test invoke method **CÔ-LẬP qua reflection VẪN PASS dù prod đã tắt call** trong chain `SeedAsync` — reflection-test không chứng chain còn sống (S92).
 - **Khuôn assert mạnh:** CONTRAST/by-contrast trong CÙNG một lần chạy (S54/S118) · GUARD-FIRST (S60) · RED-proven-via-`git stash` cho bug-fix test (S86) · boundary strict-`<` (S69b) · ranh giới `net==0` mà từng-dòng≠0 (S116).
 
+- **S190 (lead-seed C2 /pause) — YC-029 delete-guard 13 ca + YC-030 finalize 4 ca (680→697):** test-before RED→GREEN cả 2 (delete: RED-compile pin 3 API hợp-đồng `DeleteContractCommand(Guid,string?)`+Handler+Validator ⇒ ép BE viết đúng chữ ký, không "sửa test cho khớp"; finalize: GREEN 4/4 vòng-1, 0 bug prod). Đòn đắt nhất: **probe VI-PHÂN test-side** khi cấm chạm prod + prod mang diff lane khác chưa-commit — thế-giới-hỏng của nhánh 2-vế (`cờ && ý`) ≡ gọi service THẬT bằng seed khác ⇒ lật 1 chữ trong TEST, chạy trên mã prod thật, đo RED, revert+`diff` byte (backup ra scratchpad vì file mới git-không-cứu). 2 luật tái xác nhận: **cắm cờ finalize ở slot CUỐI làm rỗng phép đo** (chừa ĐUÔI + chốt bằng assert steps/levels, không comment) · **chọn fixture theo THỨ MÌNH ĐO** (`IdentityFixture` cần UserManager thật ⟂ `AuditingInterceptor` chỉ khi đo audit/xoá-mềm). Bẫy: assert tiền-đề vừa chống-vacuous vừa CHE vế kết-quả khi probe (nổ trước). Tag `[s190, probe-vi-phan-test-side, slot-cuoi-rong-phep-do, fixture-theo-thu-do]`
+
 ## 🔄 Curate trigger
 Index > ~17KB → archive sang L2 (`archive/baseline-history.md` + con-trỏ trong `archive/_INDEX.md`). Commit scope (em main commits): `Tests`.