diff --git a/.claude/WAL.md b/.claude/WAL.md
index 0e2cd5f..102a264 100644
--- a/.claude/WAL.md
+++ b/.claude/WAL.md
@@ -41,13 +41,14 @@ next: MANDATE 1-mạch (PAUSE-2): reviewer-gate K1 → commit-push K1 → K2 →
   (next: cũ "đợi wf_2569b79b + chờ OG-6 rồi push" STALE @S165 — K1 đã TRỌN disk-truth, OG-6 = soát-SAU.)
 
 verify:
-  ls .claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/ | wc -l          # 28 file @S165-entry (đủ 11 lane B0-K1)
+  ls .claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/ | wc -l          # 29 @S165 sau gate-K1 (tăng theo lane — đếm tươi, đừng neo; ctx-verifier K8 vá 28→29)
   git status --porcelain | head -20                                            # K1 uncommitted (4 file mới + BE/FE sửa) tới khi push
   grep -c 'GO 9/10' .claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-review-fable-b3.md   # =1 (S165 vá verify-literal: "GO-WITH-SPEC-FIXES" là nhãn chain, KHÔNG literal trong file)
 
 notes: SPEC 4 file = spec-tổng v2 (9 QĐ + backlog-3) · spec-cum{1,2,3} final (12+15+16 vá). Câu-ranh builder:
   ":342" trùng số dòng 2 file — Features.cs:342-347 PHẢI đổi ⟂ WorkflowService.cs:342 CẤM đụng (B3-B4).
-  CHỜ ANH (không chặn K1-BE build): (I) bản-15-trang · (II) B2-14-dòng+"/"=hoặc · (III) ai-bấm-Đưa-vào-HĐ
-  [default Drafter+Procurement+Admin] · OG-6 soát transcribe+8-nhãn [CHẶN push K1] · OG-5 hỏi-khi-gặp.
-  Sổ lane-chết: fable 3/9 · opus 1/13 (đan-xen từ c1-att2: 6/6 sạch liên tiếp). Engine dùng: fable ×6 ·
-  clone-ensemble ×9 lane · impl ×1 (đang). mind-check 1 cờ giữ chủ-đích (block refresh @cửa kế).
+  CHỜ ANH (không chặn K-wave): (I) bản-15-trang · (II) B2-14-dòng+"/"=hoặc · (III) ai-bấm-Đưa-vào-HĐ
+  [default Drafter+Procurement+Admin] · OG-6 soát-SAU qua Admin CRUD [HẾT chặn — chốt @PAUSE-2, ctx-verifier
+  K2 bắt câu cũ tự-mâu-thuẫn @S165] · OG-5 hỏi-khi-gặp.
+  Sổ lane-chết: fable 3/9 · opus 1/13 · reviewer-gate-K1 #53 ×1 @S165 (artifact cứu B4-d, resume đang chạy).
+  Engine: fable ×6 · clone ×9 · impl ×4 K1-trọn. mind-check 11Đ/0T @S165 (nợ block MIND-2 đã trả).
diff --git a/.claude/sessions/session-9/_tiep-2.md b/.claude/sessions/session-9/_tiep-2.md
index 1979330..02c63a1 100644
--- a/.claude/sessions/session-9/_tiep-2.md
+++ b/.claude/sessions/session-9/_tiep-2.md
@@ -3,3 +3,4 @@ head-sha: fbac66db1a138e76dc9a531e6603402c1bb92604
 window-ordinal: 3
 jsonl-hint: D--Dropbox-CONG-VIEC-SOLUTION-SOLUTION-ERP/95541fdb-83ef-45f2-b778-8e1c44510af3
 account-label: none
+ctx-verifier: CO — 9 cờ (K1 trần-_mind 84,8% · K2 WAL-OG-6 vá @S165 · K3-K6/K9 nhãn-D → MIND-3 · K7 run.md tách K1-K8 · K8 verify 29)
diff --git a/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-reviewer-gate-k1.md b/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-reviewer-gate-k1.md
index ed62ec5..d1f20f6 100644
--- a/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-reviewer-gate-k1.md
+++ b/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-reviewer-gate-k1.md
@@ -8,7 +8,7 @@ Artifact ghi LIÊN TỤC chống #53 — mỗi finding đổ ngay khi có.
 ## Trạng thái các bước
 - [x] B1 Đọc spec cụm-1 + transcribe + 3 lane return
 - [x] B2 dotnet build tươi — **Build succeeded · 0 Warning(s) · 0 Error(s) · Time Elapsed 00:00:44.23** (6 project)
-- [ ] B3 dotnet test (đang chạy nền)
+- [x] B3 dotnet test — **45 Domain + 552 Infra = 597 PASS / 0 FAIL / 0 SKIP** (đúng kỳ vọng, 0 flaky, không phải chạy isolation)
 - [ ] B4 Đối chiếu code-vs-spec
 - [ ] B5 Ranh CẤM
 - [ ] B6 Xác nhận 2 khoảng-hở UX
@@ -32,3 +32,27 @@ Time Elapsed 00:00:44.23
 Mig `20260731072441_AddContractCatalogEntries.cs`: 1 CreateTable + 2 CreateIndex, Down = DropTable. **0 RenameColumn** ✔.
 NIT: spec `:28` đặt tên `UX_ContractCatalogEntries_Code`, code để EF-default `IX_ContractCatalogEntries_Code` (`Mig:48`). Không ảnh hưởng chức năng; khuôn repo (Mig 47) cần đối chiếu.
 
+
+### B3 test (nguyên văn)
+```
+Passed!  - Failed:     0, Passed:    45, Skipped:     0, Total:    45, Duration: 342 ms - SolutionErp.Domain.Tests.dll
+Passed!  - Failed:     0, Passed:   552, Skipped:     0, Total:   552, Duration: 1 m 7 s - SolutionErp.Infrastructure.Tests.dll
+```
+Tổng **597 PASS / 0 FAIL** = baseline 590 + 7 test ContractCatalog. Không có fail lẻ ⇒ KHÔNG cần chạy isolation.
+
+### B4-c Seed 86 — ĐO MÁY, KHÔNG tin lời khai (ĐẠT tuyệt đối)
+Script parse trực tiếp `DbInitializer.cs` vùng `SeedContractCatalogAsync` (regex tuple 6-thành-phần):
+- total rows = **86** · unique codes = **86** · dup codes = **[]**
+- by GroupCode = A1:5 A2:1 A3:9 A4:5 B1:23 B2:14 B3:15 C1:6 C2:3 C3:4 CEO:1
+- by ApprovalGroup = **1:5 · 2:10 · 3:5 · 4:23 · 5:14 · 6:15 · 7:13 · 8:1** → khớp CHÍNH XÁC spec `sub-invest-fable-b2-cum1.md:41` (5/10/5/23/14/15/13/1)
+- empty TenEn = 0 (86/86 có tên EN) · dup SortOrder trong cùng GroupCode = none
+- max len: Code 6≤20 · TenVi 153≤500 · TenEn 174≤500 · GroupCode 3≤10 → 0 nguy cơ truncation
+
+Đối chiếu TỪNG DÒNG với `danh-muc-sp002-transcribe.md` (86 row parse từ markdown):
+- code-set diff 2 chiều = **rỗng cả 2 chiều**
+- text mismatch = **8 dòng, TẤT CẢ là B2-07..B2-14 bỏ chú-thích `(ảnh: …)`** — đúng lệch mà lane BE đã khai (`sub-implbe-k1.md:16`, mục 3). Không có mismatch nào ngoài tập đã khai.
+- ApprovalGroup vs heading transcribe: **0 mismatch**
+- signByGroup 8 nhóm khớp bảng transcribe `:9-16`, ô "N/A" bỏ đúng (N3 3 ô · N4 2 ô · N7 3 ô · N8 2 ô).
+
+### B4-d Gate seeder — ĐẠT
+`DbInitializer.cs:129-131` call-site NẰM NGOÀI mọi `if (!demoSeedDisabled)` ⇒ UNGATED (đúng spec K1.b, gotcha #51). `IgnoreQueryFilters()` có mặt khi dò existing (né #75/#76 resurrect).