diff --git a/.claude/WAL.md b/.claude/WAL.md
index c08a30c..331fa63 100644
--- a/.claude/WAL.md
+++ b/.claude/WAL.md
@@ -14,19 +14,24 @@ chain:
 [x] cicd-K3 PASS 6/6 @S166 — re-spawn vai đo §1-§5 (run#436 success · gate 614 tách-phần · mig GIỮ 71 ·
     seed 8-wf shape-từng-email + finalize 2+8=10 + recycle-proof 5364→1900 · bundle admin ROTATE/eoffice
     FROZEN-giải-thích-trọn) rồi chết lần 2 → §6 smoke lead đo on-behalf 401/404/200/200 + END-line
-[!] 🔴 ĐẦU VIỆC #1 F-1 checkbox opt-out: CODE XONG @S166 (BE DTO +AllowApproverFinalize · FE panel
-    actingLevel-mirror-ResolveActingLevel + checkbox + body-3-field ×2 app SHA-pair ee19ca94/eba649cc) ·
-    build 0W/0E + filter-test 34/34 + npm ×2 PASS · ĐANG chờ reviewer nền (sub-reviewer-f1-checkbox.md)
-    → PASS thì commit+push
+[x] 🔴 ĐẦU VIỆC #1 F-1 SHIPPED @S166: commit 7a903cf PUSHED (5 file đích danh — G-6). Reviewer
+    PASS-WITH-FLAGS 7 (3 MAJOR/4 MINOR, sub-reviewer-f1-checkbox.md): G-1 default→OPT-IN PE-live-S97
+    ÁP (ratify treo chờ-anh) · G-5 bỏ-(CEO) ÁP · G-6 tách-commit ÁP · nợ nhịp-K4: G-2 sơ-đồ-CEO-đã-duyệt
+    (badge nửa-rẻ + F-7 EndedByLevelFinalize-ra-DTO) + G-3 1-Fact-projection-cờ + G-4 mirror-drift-
+    Designer-trộn-cờ {D} · G-7 STATUS-rows-55/220 → commit K4a. Suite 614/0 · SHA b37cd292
 [ ] K4a→K4b→K5→K4c→K6→K7→K8-prep theo build-order B3 + vá-số spec-cụm2/cụm3 (chi tiết PAUSE-3 mục (2):
     K4a 49-row + vá-1 route-regex CÙNG-wave + vá-7 nhãn-N2-phá-dỡ + DELTA +49key/+196policy · K4b
     searchParams + queryKey+group · K5 groups + forward-provision lines[].contractId ∪ pe.contractId ·
     K4c WfView lọc Code · K6 blacklist 12-key + fe-user-0-diff · K7 hội-2-khóa + grant Contracts.Create
     [câu III default Drafter+Procurement+Admin] + Line.ContractId-ghi-luôn · K8 form-14-người fail-closed
     + gói SOLUTION-PE-{n} + QĐ9 đo-2-nhánh + ZZTEST + rollback-theo-ID)
-[ ] closeout-nợ: diary vai (C2) · tally #53 CHỐT (tạm ~14/17 lượt cửa-3, sub-class mới engine-process-
-    exit ×2 — đếm lại từ sổ) · nhãn D MIND · STATUS row S163/S164/S165 · spec-cụm1 vá-3 đính-chính
-    chữ PUT-Conflict (gate-K3 phán giữ-là-đúng) · lỗi-tự-bắt ship-607-khi-609 ghi bài
+[ ] closeout-nợ: diary vai (C2 — checklist @sub-lead-gap khi nó trả) · tally #53 CHỐT (S166 tới giờ:
+    cicd×2 + reviewer×2 + stale×2 + gap×1 + laneBE×1 = 8 lượt #53-return / 0 mất công, artifact cứu hết)
+    · nhãn D MIND · STATUS row S163-S166 · spec-cụm1 vá-3 đính-chính PUT-Conflict · lỗi-tự-bắt 607/609
+    · 🆕 H24-DEEP 11-FLAG-SÀN resolve (sub-lead-stale-deep-S166.md): F-1 STATUS-canonical-5-row +
+    canonical-poison :465-472 (detector đòi sửa 97-đúng→96-sai!) · F-2 bundle :479 · F-7 slot(57)
+    _INDEX ĐÃ-VỠ 101,23% · F-8 slot(59) tiep_reload ĐẢO-DẤU 180.649B-đã-đạt-dải · F-4 CLAUDE-mig-70/71
+    · F-5/F-6/F-9/F-10/F-11 · deep-đã-trả: set last_audit light=deep=40 + ring2 sau cặp
 
 next: /tiep → đọc sub-cicd-verify-k3.md dòng-1 + re-verify 6 mục → checkbox opt-out (đầu việc #1)
   → K4a theo build-order.
diff --git a/.claude/agent-memory/cicd-monitor/MEMORY.md b/.claude/agent-memory/cicd-monitor/MEMORY.md
index 712a7ac..adae57e 100644
--- a/.claude/agent-memory/cicd-monitor/MEMORY.md
+++ b/.claude/agent-memory/cicd-monitor/MEMORY.md
@@ -1,5 +1,7 @@
 # CI/CD Monitor Agent — Persistent Memory
 
+- **S166 (08-01) re-verify `15349e8` K3 — PASS 6/6 `[LEAD SEED ON-BEHALF TẠI-CỬA — mày chết #53 ×2 (lượt-1 session-limit 18:50 @S165 sau §0 · lượt-2 S166 sau §1-§5, return "Smoke is clean" mà §6 chưa ghi đĩa); §6 lead đo lại 4 phép on-behalf, KHÔNG tin lời khai suông]`:** Run **#436** success 6m11s (match theo `head_sha`, control neo run kề = #435 K2). Gate **614 = 45D + 569I** khớp TỪNG VẾ (+5 khớp subject K3); control ÂM `grep -c 'Failed!'` = 0. Mig **GIỮ 71** — mục "GIỮ NGUYÊN" ít bit ⇒ răng lấy từ **control DƯƠNG cùng phiên** (§4 seed chứng startup-hook sống). **§4 = khuôn mẫu dự-đoán-trước-khi-đo**: đọc seeder → dự đoán 8wf×3step×11level + finalize 2+8=10 → sqlcmd khớp TỪNG ĐỒNG + shape element-wise từng email + 3-nguồn-độc-lập (source ⟂ sqlcmd ⟂ Serilog `Seeded 8 KHKK group workflows`) + control ÂM (OUTSIDE=2 nguyên · OUTOFSET=0). **§5 FROZEN-eoffice = hệ-quả bắt-buộc dự-đoán TRƯỚC curl** (diff fe-user 14 dòng toàn `//` comment → Vite strip → byte-identical; marker POS `KhkkN[1-8]` admin=1/eoffice=0 + NEG transition PRE-có-POST-mất; ❌ marker `earlyFinalizeLocked` LOẠI vì tên biến local bị minifier đổi = 0 bit). **Recycle-proof 2 nguồn**: PID 5364→**1900** StartTime 18:27:28 + Serilog dòng-đầu 18:27:40 (deploy xoá logs/). Ghi chú route: KHKK = kebab-case `/api/contract-signing-plans` (đề bài lead ghi nhầm không-gạch). Evidence: `runs/2026-07-31-S164-4gd-khkk-fanout/sub-cicd-verify-k3.md` (§6 + END do lead). Tag `[s166, run-436, pass-6-6, du-doan-truoc-khi-do, frozen-la-he-qua, marker-bien-local-0-bit, chet-53-x2-artifact-cuu, seed-on-behalf-tai-cua]`
+
 - **07-31 verify `0779f2d` S164 K2 SP-002 KHKK mang hạng-mục + nhóm duyệt N1-8 (23 file: 9 BE + 8 FE + 3 test + Mig 71 ×3 + 2 ignored-path):** ⚠️ **PARTIAL 5/6** — deploy KHỎE, điểm trừ = **phép đo không có răng**, không phải lỗi ship. Run **#435** (id=548) success **6m12s**. Gate **609 = 45D + 564I** (0 fail/skip) — Domain **GIỮ 45**, Infra 553→**564 = +11** khớp TỪNG VẾ kỳ-vọng "9 lane + 2 gate-fix". Mig 71 `20260731085624_AddKhkkApprovalGroupCatalogAndFinalizeRuntime` TOP prod (MIGCOUNT=71), `sys.tables` **97 GIỮ NGUYÊN** khớp `grep -c CreateTable`=**0** (control dương `grep -c AddColumn`=4). 🔴 **BÀI LỚN NHẤT — ACCEPTANCE RƠI VÀO CHÂN-LÝ-RỖNG**: `ContractSigningPlans` prod **0 dòng cả PRE lẫn POST** ⇒ cả 3 acceptance mục 4 (`COUNT(group=1)==COUNT(*)` → `0==0`; `NOT BETWEEN 1 AND 8`=0; Σ tiền `NULL==NULL`) đều "xanh" mà **0 bit thông tin** — backfill hụt sẽ trông Y HỆT. Tác giả Mig 71 đã khai bẫy này ở comment ("đo local Σ = tập RỖNG hai phía… phép đo prod mới có răng") — nay prod cũng rỗng nốt ⇒ phép đo prod CŨNG hết răng. KHÔNG hạ FAIL (không có gì sai) nhưng CẤM đọc thành PASS. 🔑 **Đối-sách khi acceptance rỗng → thay bằng bằng-chứng KHÔNG-phụ-thuộc-số-dòng**: (a) 4 cột đúng kiểu/null/default qua `INFORMATION_SCHEMA`; (b) **hoán-đổi index chứng bằng LIỆT KÊ TRỌN HỌ 14 index** — 3-cột unique filtered `([IsDeleted]=(0))` CÓ + 2-cột cũ MẤT, vắng-mặt suy từ danh-sách-đầy-đủ nên là vắng-mặt ĐO ĐƯỢC (mạnh nhất mục 4); (c) Σ bất-biến chứng theo **CẤU TRÚC**: grep cột tiền trên Mig 71 ra 2 hit **đều là comment `//` dòng 23-24** ⇒ 0 câu lệnh thực thi, đúng kể cả khi có dữ liệu; (d) EF materialize 200-không-500. 🔑 **MỚI — chứng query-param ĐƯỢC WIRE bằng bind-error**: `?group=abc` → **400** (param lạ mà bị nuốt thì ASP.NET trả 200) + khớp nguồn `Controller:42 [FromQuery(Name="group")] int? group`; `?group=1/2/8` chỉ ra `{"items":[],"total":0}` = VACUOUS. Áp bài K1: soi **thân RAW** trước khi tin parser ⇒ rỗng THẬT. Control DƯƠNG đường-ống list: `/api/catalogs/contract-catalog` **86 item** (seed K1 nguyên) ⇒ ống chạy, `items:[]` là bảng rỗng thật. Bundle **4/4 ROTATE** (admin `CKgq0YlH`→`DVQEwGwf`, user `CHMCU35C`→`CZAYiWWa`) + hash CŨ **và hash BỊA** cùng rơi `text/html` 900/876 B ⇒ `text/html` thật sự nghĩa "không tồn tại"; LM 17:10:20/17:11:20 in-window. Smoke: `/health/{ready,live}` 200 + bare `/health` **404** control · no-token **401** kèm **2 route BỊA 404**. w3wp **PID 5364 = `SolutionErp-Api`** (map PID→pool bằng `appcmd list wp` vì VPS có 6 w3wp chung VIETREPORT — CẤM đoán PID) StartTime 17:11:25 + Serilog dòng-đầu `Applying migrations...` 17:11:27 ⇒ mọi đo DB từ 17:12+ = SAU recycle. Quan sát cho K4b: `?group=999` → **200** (biên API không chặn ngoài-miền 1..8, hiện vô hại); ghost-window `EndedByLevelFinalize` luôn 0 tới khi K3 land = ĐÚNG hiện trạng. Evidence: `runs/2026-07-31-S164-4gd-khkk-fanout/sub-cicd-verify-k2.md`. Tag `[run-435, partial-5-6, chan-ly-rong-vacuous, liet-ke-tron-ho-index, wire-proof-bang-bind-400, gate-609, mig-71, map-PID-pool]`
 
 - _(**07-31 `50e6d8c` S164 K1 SP-002 danh-mục-loại-HĐ +Mig 70 — PASS 6/6**: run #434 6m31s, gate 598, `sys.tables` 96→97. 🔑 **TAM-GIÁC 3 NGUỒN ĐỘC-LẬP** cho seed (source-parse `DbInitializer` == sqlcmd prod == **API materialize qua EF**, cả 3 ra 86 + phân-bố `1:5·2:10·3:5·4:23·5:14·6:15·7:13·8:1`; nguồn 3 mạnh nhất vì đi trọn Domain→Infra→Api). ⚠️ **BÀI: 0-hit là DƯƠNG-GIẢ tới khi soi format** — grep `Passed!` ra 0 chỉ vì log dùng 2-khoảng-trắng; cùng class parse seeder ra 78 (regex line-anchored, tuple xuống dòng) → vứt số, parse lại 86. ⚠️ **hash CI ≠ hash local build** ⇒ CẤM lấy hash local làm mốc kỳ-vọng prod. verbatim → `archive/2026-07.md` via `_INDEX`)_
diff --git a/.claude/agent-memory/implementer-backend/MEMORY.md b/.claude/agent-memory/implementer-backend/MEMORY.md
index 62ea9a9..a0ee8d8 100644
--- a/.claude/agent-memory/implementer-backend/MEMORY.md
+++ b/.claude/agent-memory/implementer-backend/MEMORY.md
@@ -1,5 +1,7 @@
 # Implementer-Backend Agent — Persistent Memory
 
+- **S166 (08-01) lane K4a — 49 row menu KHKK 8-nhóm, DONE B0-B5 `[LEAD SEED ON-BEHALF TẠI-CỬA — mày #53 sau B5 ("Now the site-4 revoker comment" trong khi comment ĐÃ land — return tụt sau đĩa 1 nhịp); B6 + END lead đóng; nguồn: sub-implbe-k4a.md + git diff]`:** Nghề mới ăn tiền: **BỘ-SINH thay 49 const tay** — `KhkkGroupNumbers[7] × (KhkkGroup + 6 KhkkLeafActions)` → `KhkkGroupMenuKeys` làm NGUỒN CHUNG 3 phía (spread `.. ` vào `All` · vòng seed tree.Add · site-2 `.Concat`) ⇒ khớp **by-construction, 0 mirror tay 147 chuỗi** (đúng loại drift nổ FK Permission T6-K1); chệch-khuôn-so-brief KHAI RÕ + trỏ đề xuất gốc invest `:9` ⇒ lead chấp nhận không mất lượt. Anchor re-ground TRƯỚC khi sửa (số spec trượt vì DbInitializer phình sau K2/K3): dict labelBackfill `:2141-2183` · upsert THẬT `:2162-2179` (vá 2 comment stale "1893" bằng mỏ-neo GREP `existingItems.TryGetValue` thay số-dòng-trần — số dòng sẽ trượt tiếp, mỏ neo thì không). Vá-10 sửa LÝ-DO comment (group-key KHÔNG cần CanRead row — HasAccess đệ-quy theo con `:96`; invest doc viết sai lý-do, kết luận giữ-3-site vẫn đúng). labelBackfill `Khkk_G1` đổi-nhãn-không-nhân-row + fail-fast KeyNotFound khi thiếu nhãn (thà nổ lúc seed còn hơn FK nổ về sau). Suite **614/0 SAU diff** (idempotent/revoke/permission-seed giữ xanh). Tag `[s166, k4a-lane, bo-sinh-by-construction-3-phia, mo-neo-grep-thay-so-dong, fail-fast-luc-seed, return-tut-sau-dia-1-nhip, seed-on-behalf-tai-cua]`
+
 - **S161 (07-29) ARC W1+W2+W3đ1 KHKK — 3 lượt/3 wave, chi tiết = sub-md run-folder `runs/2026-07-29-S161-khkk-{w1-schema,w2-crud,w3-duyet}/` (tổng ~47KB ghi-từng-mục; cả 3 lượt return #53 nhưng 0 mất):** **W1** Mig 69 7-bảng (UNIQUE filtered #57 · cascade-1-hop · apply 2 DB 0-drift · sys.tables 96) + seeder `SeedKeHoachKyKetAccessAsync` UPGRADE-if-exists+CanDelete + CodeGen `KHKK/{YYYY}/{Seq:D3}` WorkflowAppCodeSequences + 3 site AWV2Admin — ship `a8027c0` cicd 6/6. **W2** mega-file CRUD 15-endpoint policy-15/15 + 4 quyết D1-D4 khai-lead-duyệt; 5 bẫy né ghi sổ: codegen-TRƯỚC-Add (S88) · SUM so `w.Id` KHÔNG `w.SupplierId` · `Remove` trước `Add(changelog)` (T26) · subquery-Any-2-tầng vỡ-SQL-lúc-chạy · giao-1-grep-cùng-lớp-ra-3 (S122) — ship `6cbc6ad` cicd 6/6 (reviewer 12F: D1 "FE sẽ khớp" = giả-định-không-phải-phép-đo → 6 điểm đứt, lead vá). **W3đ1** skeleton test-before: switch-throw từng nhánh (đỏ-THẬT không đỏ-compile) + **rào-FK-547-bằng-VẮNG-MẶT-dep** (không inject IChangelogService) + **§6 tự đối-chứng chéo hợp-đồng FE 5/5 TRƯỚC bàn giao** (bài W2 → nghi thức) + §7 bàn-giao ctor-CUỐI. Tag `[s161, khkk-w1-w2-w3d1, mig69, upgrade-if-exists, rao-vang-mat-dep, doi-chung-cheo, gia-dinh-vs-phep-do]`
 
 - **S139 (07-17) Governance wave adap-3-bản 2-lane [wf_f9981ae5-903 · L1 CLEAN · L2 #53-garble → sub-1.md ON-BEHALF em-main verify-2-nguồn] `[engine: opus-worker]`:** L1 = MASTER-CHECKLIST 2-tầng in 4 cửa (ss Phase-3 · se Phase-4 "TỔNG-HỢP CHỐT" · pause ý-6 · tiep §3-bis bold-block KHÔNG heading) + C1 2-câu đóng-băng bề-mặt-đo (§L.b(c) prepend + mirror §2.1.2) + C6i do-record ×2 + luật-số sàn-5 §L.b(j)(iv) — PASS 6/6 (heading 26/28/7/14 bất-biến · 0 checklist-file mới · BƯỚC-0 intact ×8 · 10/10 config-token preserved · add-only 26+/2−). L2 = +C6 cite-2-nấc + H24-4 pending-flip vào governance-detectors.ps1 (+260/0 add-only) — fault-inject **13/13 2-chiều** (C6 7/7 lane chạy; H24-4 6/6 em-main hoàn tất — lane chết GIỮA fix harness-bug), live-run TOTAL 45 GIỮ + 2 net mới 0-flag count-riêng + exit-0 + ASCII 0-byte>127 + clean-diff 0-FOREIGN-line. Learned: (1) heading-invariant proof = block chèn toàn `>`/bullet + `grep '^+#'`=none (mạnh hơn đọc-mắt, họ insertion-only S134); (2) test-harness PS1 cần CÙNG kỷ-luật naming như production — bẫy `$h`/`$H` case-insensitive cắn chính harness dù script-đích đã né (`:813`); (3) 2 lane cùng chạm bề-mặt-đo (L1 sửa file nằm trong scan-scope L2) → số đo giữa-chừng trôi, clean-diff PHẢI cùng-snapshot. Tag `[s139, adap-3-ban, master-checklist-4-cua, c6-cite-2-nac, h24-4-pending-flip, faultinject-13-13, 53-writelane-onbehalf]`
diff --git a/.claude/agent-memory/lead-gap-auditor/MEMORY.md b/.claude/agent-memory/lead-gap-auditor/MEMORY.md
index f847b94..d3b7863 100644
--- a/.claude/agent-memory/lead-gap-auditor/MEMORY.md
+++ b/.claude/agent-memory/lead-gap-auditor/MEMORY.md
@@ -1,5 +1,7 @@
 # Lead-Omission-Auditor Agent — Persistent Memory
 
+- **S166 (08-01) DEEP giữa-phiên (OVERDUE 15/15) — `6 FLAG (4H/2M), coverage 6/6` `[LEAD SEED ON-BEHALF TẠI-CỬA — mày #53 ×1 giữa chừng, artifact 28.5KB END:356; nguồn: sub-lead-gap-deep-S166.md + return CLEAN]`:** Nặng nhất = FLAG bắt **CHÍNH LEAD TRONG PHIÊN ĐANG CHẠY**: `/tiep` @S166 đọc `_mind` cắt **165/270 dòng** — nuốt đúng khối "6 ý chỉ-sống-ở-đây" (4 nhánh-LOẠI §B + 2 luật §C MIND-1) mà S165 vừa tốn công NÉN để giữ ⇒ nén-để-giữ mà reader-cửa-sau đọc cụt = công cốc; lead vá NGAY trong phiên (đọc nốt 105 dòng) — **gap bắt được khi nạn nhân còn sống là gap trả rẻ nhất**. Slot **(60)(61) thủng HANDOFF** (0-hit, control-dương cùng-lệnh ra nhà slot khác ✓; dãy CHỜ-ANH nhảy (59)→(62) = bỏ CHỌN LỌC, mồi ctx-audit ghi "chấm @close" mà S163 **không có** @close ⇒ điều-kiện chấm không bao giờ tới). Carry **không re-stamp 3 kỳ** dù HANDOFF bị sửa 3 lần/16 dòng ⇒ ratify `gap-carry-dropped` **8→9 consecutive-audit** (đơn-vị khai TRƯỚC, bài D-4). Backlog owner-verbatim **"phiếu điều chỉnh/thay thế" 0-hit cả 6 sổ** kể cả migration-todos. Checklist diary-seed closeout: **≥8 vai nợ trong khi C11 máy chỉ nêu 3** (máy đo "commit mới hơn" — mù vai chạy-mà-chưa-từng-có-diary-mtime; nặng nhất implementer-backend nợ 4 lượt/3 ngày) ⇒ lead seed 5 vai ngay tại cửa thay vì đợi closeout. 2 honest-zero (carry-aged · incident-unrecorded) kèm lập-luận. Tag `[s166, deep-6-flag, gap-bat-chinh-lead-dang-song, tiep-doc-mind-cut-165-270, slot-60-61-thung, carry-9-consecutive, diary-8-vai-vs-may-3, seed-on-behalf-tai-cua]`
+
 - **S162 (07-30) @close bookend L8 — `4 FLAG` `[LEAD SEED ON-BEHALF @closeout M9 — nguon: sub-lead-gap-close-S162.md 18.638 B + return]`:** **FLAG-1 `gap-carry-dropped` HIGH (streak 8)** — nghi-thức re-stamp carry bị bỏ **lần 2 NGAY SAU khi bị FLAG HIGH @S159**: segment HANDOFF `1d3d167` có **0 slug carry**, mà cùng segment đó lead VẪN viết `NEXT em` 1.037 B ⇒ **không phải “bỏ cả khối vì gấp”** mà bỏ chọn lọc. Detector H24-2 in **y hệt số S159** trong khi đĩa còn 219 occurrence/43 slug. **FLAG-2 `gap-decision-sunk` HIGH** — BLOCKER “3 người duyệt PRO/CCM/CEO” **0 hit trên CẢ 4 bề mặt owner** (3 hit “người duyệt” ở STATUS là **dương-giả**, mô tả tính năng PE), sống DUY NHẤT ở `.claude/WAL.md` = **đúng file §6.4 sắp reset**; bất-đối-xứng: món *không chặn* (51-bis) CÓ slot số, món **chặn cả W5→E2E** thì không — im 3 cửa-sổ/2 ngày. **FLAG-3 `gap-owner-specifics` MED** — chữ **CẢ** (“áp CẢ các trang GĐ khác”) + việc lead tự thu hẹp 3/4 trang không lên bề mặt nào; đo cứng `grep -c "Duyệt NCC" .claude/WAL.md` = **0** trong khi chính dòng đó tự khai “nhãn VERBATIM anh” ⇒ **sổ quảng cáo có verbatim mà không chứa verbatim**. **FLAG-4 `gap-underfill` MED** — `tiep_reload` hẹn 40-60K tok, đo TRẦN đúng 5 nguồn đã khoanh = 71.492 B ⇒ **[20.4K..23.8K] ≈ ½ sàn**; đọc rộng nhất vẫn [35.3K..41.2K] ⇒ **tuân 100% danh sách VẪN dưới hạn**, và `/tiep` có 0 bước %-print nên **không máy nào thấy**. Honest-zero 2 mục + **trục-6 BÁC** (lead CÓ surface việc thiếu bookend-open ở `run.md:3`). JUMP khai đơn-vị trước (bài D-4): 1 class vượt = `gap-carry-dropped` **8** = **nghi-thức hỏng**, không phải sự cố lẻ. Tag `[s162, 4-flag, carry-streak-8, blocker-song-trong-file-sap-reset, so-quang-cao-verbatim-ma-khong-chua, underfill-muc-tieu-vs-nguon, seed-on-behalf]`
 - **S153 (07-26) 2 LƯỢT hình-B — vòng V2 `[lead seed on-behalf @closeout M9; nguồn = sub-file đĩa]`:** @open **3 FLAG** — FLAG-1 `gap-carry-dropped` MED-HIGH (**2 khối NEXT-em cùng đánh số ①②③ song song** HANDOFF:8 @S152 vs :13 kỳ-S151; khối MỚI không nuốt mục MỞ ④⑤⑦ của khối CŨ; mục ⑦ owner-#32 "dựng máy per-item-L1-presence" = 0 hit 5 bề mặt) · FLAG-2 `gap-decision-sunk` MED-HIGH (`trio-synthesis.md:13` ra lệnh "H7 → ghi HANDOFF"; H7 = 0 hit, `convention-only` = 0 hit — **đòn bất-đối-xứng**: H6 cùng dòng cùng mệnh-lệnh ĐÃ landed 1 hit ⇒ loại được bào chữa "cả khối bị bỏ", anh chưa từng được hỏi) · FLAG-3 `gap-underfill` MED **fire lần đầu** (target 210K owner-set @S115 có nghĩa-vụ "em-main manual pour from source_order" nhưng `grep source_order|pour` trên 3 command = 0 ⇒ **không tồn tại bước rót**; khai cận-dưới trung thực: 0-hit là cận-dưới vì rót không để lại artifact).
   **honest-zero có giá:** `gap-owner-specifics` = 0 — (30)(31)(32) codified 3/3 giữ trọn specifics; bảng owner-gated O-1…O-7 = **0 khoản câm** ⇒ **tự BÁC 2 FLAG cũ của mình** (FLAG-1@S148 + FLAG-3@S150). Tự BÁC thêm FLAG-2 HIGH @S150 (`_frozen_until_owner` vắng là ĐÚNG — owner đóng (30) frozen=False).
diff --git a/.claude/agent-memory/lead-stale-auditor/MEMORY.md b/.claude/agent-memory/lead-stale-auditor/MEMORY.md
index fcc6137..c72ceaf 100644
--- a/.claude/agent-memory/lead-stale-auditor/MEMORY.md
+++ b/.claude/agent-memory/lead-stale-auditor/MEMORY.md
@@ -1,5 +1,7 @@
 # Lead-View-Auditor Agent — Persistent Memory
 
+- **S166 (08-01) DEEP giữa-phiên (OVERDUE 15/15 trả tại cửa /tiep) — `11 FLAG (4H/5M/2L), coverage 8/8 chạm (2 PARTIAL) ⇒ SÀN` `[LEAD SEED ON-BEHALF TẠI-CỬA — mày #53 ×2 giữa chừng, artifact 23.8KB + resume-3 chốt COVERAGE/END; nguồn: sub-lead-stale-deep-S166.md + return CLEAN cuối]`:** Sợi chỉ xuyên 4 HIGH lặp đúng câu S162: **số đo ĐÚNG nằm ở WAL/run-folder, không tới bảng canonical STATUS/HANDOFF**. Nặng mới: **F-8 slot (59) ĐẢO DẤU** — đo tươi `tiep_reload` 5-nguồn = **180.649 B ≈ 45-60K tok = ĐÃ ĐẠT dải mục tiêu** (tờ trình đang mời anh chọn trên tiền-đề "underfill ½ sàn" ĐÃ CHẾT — trả lời theo tờ trình hiện tại là CHỌN SAI); **F-7 slot (57) hết "sắp vỡ"**: `_INDEX` **101,23% / −251 B** = ĐÃ VỠ. **F-1 canonical-poison chuỗi máy**: STATUS:465-472 rows cũ làm `governance-detectors` Get-StatusValue resolve 55/220 → detector ĐỀ NGHỊ sửa `ef-core-migration/SKILL.md:93` từ **97 (đúng) xuống 96 (sai)** — view-stale không chỉ lừa người, nó **lây qua máy** thành đề-xuất phá số đúng. F-2 bundle :479 0/2 khớp (`B43R6Y17`/`NLI5umBg` chết — thật `mySTlx42`/`CZAYiWWa`; chính cicd đã đính-chính TRÊN ĐĨA @k3 §5 mà chưa ai lật sổ). 2 mục SẠCH kèm control (roster 23/23 · mirror 3-commit-K) — NEXT-em #5 hoá ra ĐÃ XONG mà chưa lật (F-6). Tag `[s166, deep-11-flag-san, dao-dau-slot-59, da-vo-slot-57, canonical-poison-lay-qua-may, so-dung-o-wal-khong-toi-status, seed-on-behalf-tai-cua]`
+
 - **S162 (07-30) @close bookend L8 — `16 FLAG (SÀN, chưa phải TỔNG)` `[LEAD SEED ON-BEHALF @closeout M9 — nguon: sub-lead-stale-close-S162.md 22.035 B + return]`:** class view-stale-count 8 · view-stale-header 3 · view-residual-asym 2 · view-stale-status 2 · view-stale-role-desc 1. Nặng nhất **FLAG-1 `view-residual-asym`**: commit `a8027c0` vừa tạo Mig 69 + 7 bảng **vừa MỞ bảng canonical STATUS**, chỉ vá 2/5 row (policy 220, menu 55) và **bỏ đúng 3 row chính nó làm sai** ⇒ không phải “closeout chưa chạy” mà là **sửa một phía**. **FLAG-7/8 = 2 slot đang CHỜ OWNER trình bằng THƯỚC CŨ**: (51-bis) ghi 97,45%/522 B trong khi tươi **99,18%/167 B** · slot (45) vẫn “RÚT — báo động giả” (đo trên `_mind-s-7` đóng băng) trong khi file SỐNG **89,06%**. **FLAG-11** `agents/README.md:242` tự xưng “ĐỦ roster” liệt **20 tên**/thật **23** — grep-theo-số IM vì file cố ý không chép số ⇒ **phải ĐẾM PHẦN TỬ**; sống 9 nhãn phiên, tái phạm nguyên văn bài S143 cách chính dòng bài học 214 dòng. **FLAG-15** `_context-s-8` PAUSE-3 ghi menu “135→142” trong khi cicd đo **142→142, 0 row thêm** — file nằm trong `tiep_reload.sources` ⇒ **sai số TÁI SINH mỗi `/tiep`**. 🔴 Câu chốt: **khoảng cách không nằm giữa lead và sự thật, mà giữa NƠI LEAD LÀM VIỆC (WAL/`_mind` — số đúng đủ cả) và NƠI ANH ĐỌC (STATUS/HANDOFF)**. + **9 mục VERIFIED-CLEAN có lệnh bác** (roster 23 · gotcha 84 · menu/policy vừa vá @S161 · ship-synthesis khớp 8/8 sau khi lead vá F-1/3/4/6/7). Coverage khai thẳng PARTIAL/CHƯA-CHẠM (HANDOFF 383/417 dòng · 20/23 persona · run-folder cây 4-folder ~47 KB) ⇒ **cấm đọc phần chưa soi thành sạch**. Tag `[s162, 16-flag-san-khong-phai-tong, sua-mot-phia, slot-owner-thuoc-cu, dem-phan-tu-khong-grep-so, sai-so-tai-sinh-moi-tiep, seed-on-behalf]`
 - **S153 (07-26) 2 LƯỢT hình-B (open + close) — vòng V2 `[lead seed on-behalf @closeout M9; nguồn = sub-file đĩa + ring2 verdict]`:** @open **5 FLAG** — FLAG-1 `view-residual-asym` MED (STATUS:454 khai 3 derived-cite `:3/:37/:113`, đo lại **3/3 sai dòng**, đúng là `:5/:48/:315`) · FLAG-2 `view-stale-header` LOW (:439 "mốc gần nhất S151" trong khi :457 re-stamp @S152; `git show c2d01f0` 3 hunk, 0 chạm :439) · FLAG-3 `view-stale-count` LOW (HANDOFF carry-age 12/9/7 vs máy 13/10/8 — lệch **+1 đều 3**, nguồn = chính đoạn carry vừa append ⇒ **self-referential count**) · **FLAG-4 `view-stale-status` HIGH** (STATUS:454 còn khai trio "consent-gated + CHƯA spawn-probe" trong khi owner (32) đã AUTO **và** chính `:466` cùng file nói ngược — bác được không cần ra ngoài file) · FLAG-5 `view-stale-status` MED (H24 nhịp-`{6/15/3}` vs hình-B vô-điều-kiện; đối-chứng hành-vi: lượt này chạy @counter 27 với light 1/6 chưa tới hạn).
   **ring2 chấm 8/8 ĐẠT** + **thách-CLEAN bắt M-1 MISS THẬT của mình**: persona `lead-stale-auditor.md:51-54` còn dạy "KHÔNG chạy mỗi phiên / thuần cadence" — hình-B đã vô-điều-kiện từ S149, và `398d343` chính đợt land hình-B mở file sửa mà để nguyên câu sai. 🔴 **Bài:** mình bắt ĐÚNG class đó ở STATUS (FLAG-5) nhưng **sót chính persona mình** ⇒ điểm mù **tự-quy-chiếu**; `.claude/agents/` NẰM TRONG tập-đo (đã dùng `agents/README`), chỉ 2 file persona bị bỏ ⇒ lần sau grep tập-đo PHẢI gồm persona của chính mình.
diff --git a/.claude/agent-memory/test-specialist/MEMORY.md b/.claude/agent-memory/test-specialist/MEMORY.md
index a54849e..6b78df1 100644
--- a/.claude/agent-memory/test-specialist/MEMORY.md
+++ b/.claude/agent-memory/test-specialist/MEMORY.md
@@ -1,5 +1,7 @@
 # Test-Specialist Agent — Persistent Memory
 
+- **S166-K4a (08-01) 49 row menu KHKK 8-nhóm — 6 test, file MỚI `Application/KhkkGroupMenuSeedTests.cs`, return SẠCH `[baseline đo tươi Infra 569 → sau 575, Δ+6, 0 hồi quy · Domain 45 · tổng 620]`:** **BƯỚC ĐẮT NHẤT = TÌM CHỒNG LẤN TRƯỚC KHI VIẾT** — `ContractCatalogTests.cs:445` (T6 lane K1) đã assert `MenuKeys.All.Except(menuKeysInDb).BeEmpty()` sau `SeedMenuTreeAsync` ⇒ invariant "49 key mới đều có menu-row" TỰ ĐỘNG được phủ, và nó XANH ở baseline = chứng nhân độc lập cho claim by-construction ⇒ KHÔNG nhân bản, chỉ viết cái nó không đo. **Kỹ thuật chính (tái dụng S164 ma-trận-cùng-ruột):** T5 labelBackfill bôi hỏng nhãn **CẢ `Khkk_G1` LẪN `Khkk_G2` trong 1 lần** → seed lại → G1 tự lành / G2 giữ chữ hỏng; khác biệt duy nhất = có/không entry trong `labelBackfill` ⇒ chứng đúng cơ-chế backfill chứ không phải upsert "tiện tay" ghi Label (gotcha #11). T6 đối-chứng-cùng-lượt: cùng role, `Pe_DuyetNcc_List` CanCreate=**true** vs 49 key Khkk CanCreate=**false** ⇒ chuỗi "false" không phải do seeder no-op. T4 mirror đo **DB↔DB** (leaf nhóm 2..8 so với row nhóm 1) + chốt trước "6 nhãn nhóm 1 PHÂN BIỆT" — thiếu vế này thì mirror đúng ở mọi thế giới. T1 kỳ vọng = **mảng 49 chuỗi VIẾT TAY**, KHÔNG gọi lại `MenuKeys.KhkkGroup/KhkkLeaf` (gọi lại = tautology). 2 bẫy đo đã né: (i) đếm họ `Khkk` bằng **Ordinal in-memory** chứ không `StartsWith` → LIKE SQLite case-insensitive ASCII; (ii) kiểm KHÔNG có `HasData` cho MenuItems ⇒ 56 row đến TỪ seeder, không phải EF-seed. Số ĐO: `MenuKeys.All` runtime = **113** (Policies DERIVED 452) — trùng đếm by-source lane BE. 0 bug prod. Tag `[s166-k4a, tim-chong-lap-truoc-khi-viet, ma-tran-2-key-1-bien, doi-chung-cung-luot, ordinal-khong-LIKE]`
+
 - **S164-K3 (07-31) KHKK level-finalize + pin-đúng-nhóm — 5 test, return SẠCH `[baseline đo tươi 609/0 = 45D+564I KHỚP đề bài · sau: 614/0, Δ+5, 0 hồi quy]`:** +4 vào `ContractSigningPlanApprovalTests.cs` (T-a/b/c finalize + T-e giữ-cờ), +1 vào `ContractSigningPlanGroupAndCatalogTests.cs` (T-d rào (v)) — chọn file thứ 3 thay "file mới" để KHÔNG nhân bản 70 LOC `SeedPeForCreateAsync`+`CreateAsync` đã có sẵn ở đó. **Kỹ thuật chính = MA TRẬN cùng-ruột-khác-1-biến thay cho fault-inject** (không được chạm prod, mà prod đang mang diff lane khác): 1 `SeedFinalizeScenarioAsync` → T-a (cờ+apply=true ⇒ DaDuyet+chốt giá) / T-b (**cùng seed, đổi ĐÚNG `applyLevelFinalize:false`** ⇒ (2,1) advance thường) / T-c (Cấp không cờ + default true ⇒ (0,2)). Bỏ qua cờ ⇒ T-a đỏ · bỏ qua param ⇒ T-b đỏ · `||` thay `&&` ⇒ T-c đỏ. **Điều kiện SỐNG CÒN: đặt cờ ở Bước-2-Cấp-2 của quy trình 3 Bước** — cờ ở cấp cuối thì "kết thúc" xảy ra ở CẢ HAI thế giới ⇒ T-a xanh mà chứng minh 0 (assert `StepCountAsync==3` để chốt). T-d: **CÙNG workflow `KHKK-N5` cho 2 kết quả trái ngược** (phiếu nhóm 3 = 409 · nhóm 5 = qua) + không-đốt-mã (rào (v) `:409-420` đứng TRƯỚC codegen `:428`) có control-dương 001/002/003 tăng thật. Kiểm dữ-liệu chứ không chỉ đọc regex: `DbInitializer.cs:609` sinh đúng `$"KHKK-N{n}"` ⇒ rào neo thật. T-e: 3 vế (tick⇒true · không-tick⇒false · **đối chứng type-1 cũng true** ⇒ ECHO chứ không phải đổi ép-false thành ép-true). **CỐ Ý KHÔNG pin `AllowApproverSkipToFinal==true`** dù mã đang echo: service KHKK 0 lần đọc cờ đó (`:47` khai "không port") ⇒ đó là ứng-viên config-lie #78 CÒN SÓT; pin nó = biến khả-năng-lỗi thành yêu cầu → REPORT lead thay vì test. 0 bug prod. Tag `[s164-k3, level-finalize, ma-tran-cung-ruot-1-bien, co-o-cap-cuoi-lam-rong-phep-do, khong-pin-config-lie]`
 
 - **S161-W2 (07-29) KHKK CRUD 8 test `[hmw wf_7490179a-70b · chết #53 sau khi file LAND (sub-md dừng §0.1) · lead chạy suite tươi 574/0 = 566+8, cả 8 tên đúng]`:** `Application/ContractSigningPlanCrudTests.cs` (7) + extend `Api/AuthorizePolicyRegressionTests.cs` (PIN reflection). 2 PIN spec + 6 acceptance: happy-path Lines=winners + SUM IsSelected đúng NCC (bẫy `w.Id` vs `w.SupplierId`) · second-create 409 **`_AndDoesNotBurnCode`** (mã không đốt khi Conflict — phép đo sequence side-effect) · workflow-guard 2 nhánh Conflict/NotFound · no-winner · **soft-delete-then-recreate + changelog giữ** · owner/phase guard. Phát hiện đắt (sub-md §0.1): **TestApplicationDbContext KHÔNG wire AuditingInterceptor ⇒ `Remove()` = xoá CỨNG ⇒ đo "xoá-tạo-lại" trên xoá-cứng = ĐO NHẦM CƠ CHẾ** (rào 1-PE-1-KH dựa global-filter che row soft-deleted, không phải row biến mất) → dựng fixture riêng CÓ interceptor cho nhóm delete-test. Baseline đo tươi trước khi viết (không tin số đề bài). Tag `[s161-w2, khkk-8-test, khong-dot-ma-khi-409, fixture-interceptor-cho-soft-delete, do-nham-co-che-xoa-cung]`
diff --git a/.claude/agent-memory/test-specialist/archive/baseline-history.md b/.claude/agent-memory/test-specialist/archive/baseline-history.md
index a8b90f4..6b4b6c5 100644
--- a/.claude/agent-memory/test-specialist/archive/baseline-history.md
+++ b/.claude/agent-memory/test-specialist/archive/baseline-history.md
@@ -12,6 +12,21 @@ metadata:
 ## Count progression (one-line chain)
 254 (S60) → 263 (S61 +22 PeWorkItemBudget, −14 BudgetPolicy Domain drop) → 286 (S67 +23 HRM) → 292 (S69 +6 Office) → 306 (S69b +14 PE) → 334 (S72 +28 PE Mig54) → 339 (S74 +5 CcmNote) → 344 (S76 +5 PRO-split) → 351 (S77 +7 suggested-price NOTE) → 354 (S77b symmetric, superseded) → 366 (S78-S84, MEMORY chưa ghi từng delta) → 371 (S85 +5 urgent drafter-unset) → 374 (S85b +3 UpdateDraft WF-preserve) → 377-395 (S86-S86d) → 402 (S87 +7 CCM-budget-period) → **419 (D2 +6 PE Mig58 multi-winner + translation-smoke)**.
 
+## S155 — PE xoa-khi-dang-duyet + man "Da xoa" (dot 2), +10 -> 561 (1 FAIL GIU DO = bug prod)
+**S155 (2026-07-27) ĐỢT 2 PE xóa-khi-đang-duyệt + màn "Đã xóa" [run 2026-07-27-S155-pe-delete-approver · sub-d2-test-4, diary 13.9KB ghi-trong-lúc-làm]:** +10 `PeDeleteByApproverTests.cs` (T21 lũy kế **4 HƯỚNG KHÁC NHAU** · T22/T22b/T22c màn Đã xóa · T23/T24/T24b cờ+lượt · T25 authz reflection · T25b chiều thuận · T26 changelog). Full **561 = 560 PASS / 1 FAIL** (45D + 516I); 0 hồi quy (Infra cũ 506 nguyên vẹn). **1 FAIL = T26 GIỮ ĐỎ = BUG PROD**: `PeSoftDeleteFeatures.cs` Add changelog (:126) → `Remove(pe)` (:142) → `CascadeDeleteTiming.Immediate` cascade **ngay tại Remove**; dependent đang `Added` bị cascade ⇒ **Detached** (không phải Deleted) ⇒ 0 row; `AuditingInterceptor` chạy ở SavingChanges = SAU điểm mất ⇒ không cứu. Đo bằng ChangeTracker diag (`Added→Detached`, `rowsInDb=0`), KHÔNG suy đoán. Grep cùng-lớp: site DUY NHẤT có hình "Add con → Remove cha → 1 SaveChanges". REPORT lead, KHÔNG tự sửa. **Hạ tầng MỚI:** `SoftDeleteFixture` (ngay trong file test, ~90 LOC) = fixture ĐẦU TIÊN của repo wire `AuditingInterceptor` — BẮT BUỘC khi đo `Remove()`=xóa-mềm, vì `TestApplicationDbContext` KHÔNG wire ⇒ mặc định **XÓA CỨNG** ⇒ màn "Đã xóa" rỗng ⇒ assert đúng ở CẢ HAI thế giới (đúng bẫy vacuous). Số học T21 nhớ kỹ: xóa phiếu ChoDuyet ⇒ PrevSubmitted↓ · PendingSelected↓ · **PrevSelected + PendingSubmitted BẤT ĐỘNG** (seed thêm peer DaDuyet + TraLai để 2 số "không đổi" ≠ 0 ở cả 2 phía).
+
+## S153 — T4 ctx-adopt FAULT-INJECT may `mind-check` (KHONG phai test C#, baseline C# khong doi)
+**S153 (2026-07-26) T4 ctx-adopt FAULT-INJECT máy `mind-check` #8-#17+#21 [run 2026-07-26-S153-ctx-adopt · lane trước đứt sau #7, file đĩa nguyên → tiếp được] `[engine: opus-5]`:** **18/18 PASS 0 FAIL**. KHÔNG phải test C# (**baseline 509 KHÔNG đổi**) — đối tượng = `scripts/session_ctx.py mind-check`, mọi mutation trong cây tạm qua seam `--root`, repo read-only. Bắt **1 GAP THẬT**: ở closed-mode **XOÁ con-trỏ → cờ/exit 0** còn **GIỮ con-trỏ đang-chờ trung thực → TRƯỢT/exit 1** ⇒ đường-rẻ-nhất-để-xanh là đường SAI (chữ luật cấm, gradient thưởng) → REPORT em main, KHÔNG tự sửa. **Bài học mới quan trọng nhất:** fixture `draft-ts` MALFORMED ra exit 0 — `inject_A` neo `## MIND-1` sau khi `renum(...,2)` đã đổi heading ⇒ `str.find`=-1 ⇒ chèn GIỮA heading ⇒ `ts:` không ở đầu dòng ⇒ máy ĐÚNG mà vẫn xanh. **Fixture-hỏng cho-xanh trông Y HỆT máy-đúng cho-xanh** ⇒ phải soi RUỘT fixture (`cat -A`/`repr` từng dòng), KHÔNG chỉ đọc exit code. 2 kỹ thuật xài lại: (i) **cặp CÙNG-RUỘT khác 1 biến** — cap=32 vs cap=1 trên cùng tệp = chứng đọc-config-LIVE; `_end` giả `_pause=9` vs không = chứng nguồn-đếm-là-ĐĨA, dùng `diff` 2 output để chứng dòng đo BYTE-IDENTICAL; (ii) **đo wall-clock phải gồm nhánh ĐẮT** — lệnh literal đi nhánh early-exit (repo chưa có `_mind`) = tự đo nhánh rẻ rồi gọi là chi phí thật; đo 55-64ms/lượt vs ước 140-300ms ⇒ lệch 2.2-5.4×, giao lead điền lại.
+
+## S134 — PE luy-ke TAM TINH TEST-C, +8 -> 528
+**S134 (2026-07-17) PE lũy-kế TẠM TÍNH TEST-C [wf_97d6a582-b7e · return sạch 0-garble] `[engine: opus-worker]`:** +8 `PePendingAccumulationTests.cs` C1-C8 (file MỚI, mirror seed PeBudgetFreezeTests :277-336): C1 ChoDuyet+winner→delta2+PriorPes · C2 TuChoi/DaDuyet loại sạch · C3 nháp list-only/TraLai delta1 · C4 window CreatedAt · C5 delta âm signed · **C6 complementary-no-double-count: gọi CẢ ComputeAsync + ComputePendingAsync cùng seed, assert EXACT-NUMBERS 2 phía (PrevSelected 90tr/1 bất động ⟂ PendingSelected 50tr/1)** · C7 frozen→0/null qua query handler · C8 D4 changelog positive+contrast (filter `ContextNote.Contains("[S134 pending-prior]")` #48). Full **528/0** (45D+483I, +8). Learned: (1) **direct-call accumulator = synthetic curPeId + CreatedAt muộn, KHÔNG cần row phiếu-đang-xét** (chỉ filter Id!=/CreatedAt<); (2) regression "bất động" mạnh nhất = C6-style exact-numbers 2 hàm cùng seed; (3) FluentAssertions `ContainInOrder(params T[])` + because-string overload-clash khi T=Guid → bọc `new[]{...}` trước. Surprise: D4 no-SaveChanges-in-helper → row chỉ persist sau TransitionAsync.
+
+## S133 INV-C — PE budget-freeze T1-T9, +10 -> 519 (sub-file collision multi-invocation)
+**S133 INV-C T1-T9 [wf_75c6bfd3-754 · #53 return-fail lần 3 → disk + lead tự chạy suite; entry on-behalf]:** +9 test vào PeBudgetFreezeTests (`:426` T1 đủ-11-cột · `:480` T2 CCM-threshold · `:524` T3 all-steps · `:555` T4 V1-legacy assert KHÔNG-ApprovedPrice · `:638` T5 guard CCM+Admin Conflict + ChoDuyet-allow · `:687` T6 AdjustBudget DaDuyet+TuChoi · `:730` T7 live-vs-frozen flags/editability · `:783` T8 null-safe no-WorkItem + no-pair · `:821` T9 overwrite + SnapshotAt refresh). FULL suite lead-verified exit-0: **Domain 45 + Infra 474 = 519, 0 fail** (464+10 khớp). ⚠️ Lesson mới: INV-C **ghi đè** `sub-test-specialist-0.md` của INV-A — cùng role + cùng task-index qua 2 invocation chung run-folder = sub-file collision; INV-A content sống nhờ journal + diary. Multi-invocation cùng run → cần label/index phân biệt (báo lead khi gặp lại).
+
+## S133 INV-A — PE budget-freeze T0 REPRODUCE (test-before bug-fix, RED that)
+**S133 (2026-07-17) PE budget-freeze T0 REPRODUCE [wf_d9639faa-97a INV-A, return sạch]:** RED thật `Failed 1/1` — expected ProInitial 100tr, found 999tr @`PeBudgetFreezeTests.cs:184`. Flow chuẩn: đưa phiếu tới DaDuyet QUA `svc.TransitionAsync` (V2 1-Bước-1-Cấp `AllowApproverFinalize=true` + giá chốt), KHÔNG seed thẳng Phase (post-fix snapshot CHỈ set qua transition); mutate pair qua UpdatePeBudgetPro/Ccm (2 handler KHÔNG phase-guard = đúng cơ chế bug); 2 sanity-assert chống vacuous (Phase==DaDuyet + liveRec đổi thật) TRƯỚC assert chính. Bắt được lỗi spec: query THẬT = `GetPurchaseEvaluationQuery` (bundle `.BudgetSummary`), spec ghi nhầm GetPurchaseEvaluationDetailQuery → lead sửa spec. Sau INV-B: T0 GREEN trong 44/44 filter.
+
 ## S118b — ReportsController company-wide-report authz REGRESSION (test-after SECURITY), +4 -> 509
 **S118b (2026-07-14) ReportsController company-wide-report authz REGRESSION (test-after SECURITY — reviewer catch) — 505→509 PASS (+4 Infra), no-red, NO prod bug:** EXTEND `Api/AuthorizePolicyRegressionTests.cs` (Pattern 10 reflection, +4 [Fact] → file 15→19). Fix S118: 2 endpoint company-wide `Dashboard`+`ExportContracts` (lộ tài chính HĐ toàn cty: tổng giá trị, top NCC/dự án, xu-hướng-12-tháng, export-Excel) NAY gate `[Authorize(Policy="Reports.Read")]` (chỉ Admin, khớp S92); `MyDashboard` CỐ Ý giữ mở (chỉ class-level `[Authorize]` trần, scope currentUser). Trước: cả controller class-level `[Authorize]` trần → mọi user đăng nhập gọi được = lộ tài chính. **T1** class-level `[Authorize]` Policy=null+Roles=null (bare — nếu hardcode Policy sẽ khóa my-dashboard). **T2/T3** Dashboard+ExportContracts action-Policy==`Reports.Read` (gỡ→NotBeNull-fail = tái-lộ toàn cty). **T4** MyDashboard `(attr?.Policy).Should().BeNull()` — cho phép bare `[Authorize]` vô-hại NHƯNG chặn mọi Policy (thêm policy→khóa dashboard cá-nhân role không-Admin). csproj ĐÃ ref Api (line 25, từ S45) — KHÔNG vướng reference. KHÔNG touch prod.
 
diff --git a/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-implfe-k4a.md b/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-implfe-k4a.md
new file mode 100644
index 0000000..b7a6b60
--- /dev/null
+++ b/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-implfe-k4a.md
@@ -0,0 +1,45 @@
+IMPLFE-K4A: IN-PROGRESS
+
+# Lane FE K4a — route regex 42 leaf + single-source nhãn nhóm (S166, 2026-08-01)
+
+SPEC PIN: `spec-cum2-chi-tiet-31-07-2026.md` vá 1/8/15 + `sub-invest-fable-b2-cum2.md:37` (K4c-10 regex ship CÙNG K4a) + `:58` (acceptance-5 single-source) + `:94` (fe-admin KHÔNG nới regex).
+
+## §0 Kế hoạch đo trước khi gõ (bài S164: đo đĩa TRƯỚC)
+- [ ] Đọc route THẬT `fe-user/src/App.tsx` (grep KhkkListPage / KhkkCreatePage / WorkflowMatrixViewPage)
+- [ ] Đọc query-param THẬT trong KhkkListPage (`filter` / `view`)
+- [ ] Đọc khuôn Pe-regex trong `fe-user/src/components/Layout.tsx`
+- [ ] Đọc nhãn nhóm gốc `DbInitializer.cs` dict `khkkGroupLabels` (Read-only, KHÔNG sửa)
+- [ ] Đọc `types/khkk.ts` ×2 app (nền F-1 `7a903cf`)
+
+## §1 ĐO ĐĨA (ground truth) — TRƯỚC khi gõ 1 dòng nào
+
+### 1.1 Route THẬT (KHÔNG tin literal spec)
+`fe-user/src/App.tsx` — 3 route KHỚP spec, 0 lệch:
+- `:81 /khkk/list` → `KhkkListPage` · `:82 /khkk/create` → `KhkkCreatePage` · `:83 /khkk/workflow-matrix` → `WorkflowMatrixViewPage` (import `:21` từ `@/pages/pe/`)
+- `fe-admin/src/App.tsx` `:107-110`: có `/khkk`, `/khkk/list`, `/khkk/create`, `/khkk/:id` — **KHÔNG có `/khkk/workflow-matrix`**, 0 import `WorkflowMatrixViewPage` ⇒ xác nhận spec `:94` (fe-admin cố ý lệch).
+
+### 1.2 Query-param THẬT (`KhkkListPage.tsx`)
+`:61 searchParams.get('filter')` → `FILTER_TO_PHASE` (`:40-46`, key hợp lệ: `DangSoanThao|ChoDuyet|DaDuyet|TraLai|TuChoi`) · `:62 searchParams.get('view') === 'deleted'`. ⇒ `filter=ChoDuyet` / `filter=DaDuyet` / `view=deleted` ĐÚNG từng ký tự.
+🔴 `group` **CHƯA có consumer** ở KhkkListPage lẫn KhkkCreatePage (K4b/K5 lane) — leaf trỏ đúng URL nhưng trang chưa lọc. Không phải lỗi K4a, là bàn giao (ghi ở §4 FLAG-2).
+
+### 1.3 Active-state (Layout `queryMatches` `:315-336`)
+`TRANSIENT_QUERY_KEYS = {id,q,editHeader,page,phase,awId}` `:311` — **`group`/`filter`/`view` KHÔNG transient** ⇒ 6 URL/nhóm phân biệt được, không sáng nhầm (bài S155 `view=approved`). KhkkListPage KHÔNG ghi `filter` ngược lên URL (chỉ đọc lúc init) ⇒ highlight ổn định khi user đổi dropdown.
+
+### 1.4 Bộ key BE (`MenuKeys.cs` — Read-only)
+`KhkkGroupNumbers = [2..8]` `:72` · `KhkkLeafActions = [WfView,List,Create,Pending,Approved,Deleted]` `:73-74` · `KhkkLeaf(n,a) => Khkk_G{n}_{a}` `:77`.
+🔴 **42 leaf infix = nhóm 2..8 (7×6)**. Nhóm 1 GIỮ 7 key CŨ **KHÔNG-infix** (`Khkk_G1` + `Khkk_WfView`…`Khkk_Deleted`) — đã nằm sẵn trong staticMap ×2 app. ⇒ regex `([1-8])` của spec **rộng hơn tập seed 1 nấc** (`Khkk_G1_List` không tồn tại) — giữ nguyên `[1-8]` theo spec, vô hại + phòng nếu sau này nhóm 1 đổi sang khuôn infix.
+
+### 1.5 Nhãn nhóm BE (`DbInitializer.cs` — Read-only)
+- `:1960` `Khkk_G1` = `"1. Thiết bị, máy móc, vật tư phụ (A1)"` (+ `labelBackfill :2235` cùng chuỗi)
+- `:2127-2136` dict `khkkGroupLabels` nhóm 2..8:
+  `2. Kết cấu, hạ tầng, phá dỡ & DV hỗ trợ thi công (A2-A3)` · `3. Hoạt động văn phòng (A4)` · `4. Vật tư (B1)` · `5. Thầu phụ xây dựng (B2)` · `6. Thầu phụ MEP (B3)` · `7. BCH công trường (C1-C3)` · `8. HĐ chưa ủy quyền — CEO (5.2)`
+- Workflow code: `^KHKK-N([1-8])$` — `ContractSigningPlanFeatures.cs:420` (regex BE thật) ⇒ `khkkGroupWorkflowCode` khớp.
+
+### 1.6 🔴 TIỀN-ĐỀ LEAD SAI ×2 (đo ra, không suy)
+**(a) `KHKK_GROUP_LABELS` — map nhãn ĐÃ TỒN TẠI.** `types/khkk.ts:129 KHKK_APPROVAL_GROUP_LABELS: Record<number,string>` (K2 S164 land), **5 call-site đang dùng**: `KhkkListPage:243` · `KhkkDetailPage:301` · `KhkkCreatePage:232,285`. Đẻ thêm map tên `KHKK_GROUP_LABELS` = **PHÁ acceptance-5** (thành 2 nguồn). Hơn nữa comment K2 `:125-127` đã uỷ quyền sẵn cho K4a: *"nếu K4a land nhãn khác thì SỬA Ở ĐÂY (1 const, 2 app), đừng vá rải trong page"*.
+**Quan hệ đo được:** nhãn BE ≡ `` `${n}. ${KHKK_APPROVAL_GROUP_LABELS[n]}` `` cho **8/8 nhóm** (đối chiếu từng ký tự §1.5 ↔ `:130-137`). ⇒ giải bằng **DERIVE**, không hardcode lần 2.
+
+**(b) `isAdminHidden` KHÔNG hề ẩn `KeHoachKyKet`.** `fe-admin/Layout.tsx:194-196` = `return key.startsWith('Ct_')` — chỉ ẩn `Ct_*`. ⇒ mệnh đề "gỡ `KeHoachKyKet` khỏi ẩn-admin ⇒ phải nới regex trước" **mô tả một điều kiện tương lai KHÔNG tồn tại**; ràng buộc thật đã **ĐANG hiệu lực NGAY** (fe-admin đang hiện KHKK). Comment phải viết theo đĩa, không theo tiền-đề.
+
+## §2 THỰC THI (append sau MỖI file)
+
diff --git a/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-test-k4a.md b/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-test-k4a.md
index e621dc5..18fe844 100644
--- a/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-test-k4a.md
+++ b/.claude/workflows/runs/2026-07-31-S164-4gd-khkk-fanout/sub-test-k4a.md
@@ -1,4 +1,4 @@
-TEST-K4A: IN-PROGRESS
+TEST-K4A: DONE — 6/6 PASS · Infra 569→575 · Domain 45 · tổng 620 · 0 hồi quy · 0 prod-code touched
 
 # Lane test K4a — test-after 49 row menu KHKK 8-nhóm (S166, 2026-08-01)
 
@@ -23,11 +23,61 @@ Mục nào chưa chạy = ghi tiêu-đề + "CHƯA ĐO", KHÔNG điền số d
   "49 key mới ĐỀU có menu-row" ĐÃ được test cũ phủ tự động (nó là phép thử của claim by-construction).
   Lane K4a KHÔNG nhân bản; thay vào đó đo cái test cũ KHÔNG đo: hình bộ sinh · đếm 56 row họ Khkk ·
   idempotent ×2 · labelBackfill · grant site-2.
-- [ ] §0.4 Baseline suite Infra đo TƯƠI — ĐANG CHẠY (nền), chưa có số
+- [x] §0.4 **Baseline Infra ĐO TƯƠI 2026-08-01 (trước khi thêm file): 569 PASS / 0 FAIL** (42 s).
+  Đo trên cây có BE K4a đã land ⇒ test T6-K1 cũ (`All.Except(menuKeysInDb)`) XANH với 49 key mới
+  = bằng chứng độc lập rằng vòng seed 49 row khớp đúng bộ key trong `All`.
 
-## §1 — Test bộ sinh đúng hình — CHƯA VIẾT
-## §2 — Test seed idempotent x2 — CHƯA VIẾT
-## §3 — Test labelBackfill đổi-label-không-nhân-row — CHƯA VIẾT
-## §4 — Test grant site-2 phủ leaf mới — CHƯA VIẾT
-## §5 — Kết quả chạy filtered — CHƯA ĐO
-## §6 — Kết quả full Infra — CHƯA ĐO
+## §1..§4 — File test đã LAND: `tests/SolutionErp.Infrastructure.Tests/Application/KhkkGroupMenuSeedTests.cs` (6 test)
+
+Harness: reflection `private static` + `IdentityFixture` (không fixture mới). Không đụng prod code.
+
+| # | Test | Đo cái gì | Chống vacuous bằng |
+|---|---|---|---|
+| T1 | `KhkkGroupMenuKeys_Is49Keys_GroupImmediatelyFollowedBySixLeaves` | 49 key · `Equal` với **mảng 49 chuỗi VIẾT TAY** (không gọi lại factory ⇒ không tautology) · liền-kề `Khkk_G{n}` ngay trước `Khkk_G{n}_WfView` · pin 6 action | kỳ vọng là literal, sai 1 ký tự là đỏ |
+| T2 | `MenuKeys_All_ContainsThe49_NoDuplicate_AndKeepsGroup1Outside` | All ⊇ 49 · `OnlyHaveUniqueItems` · **`HaveCount(113)` = số ĐO runtime** · `KhkkGroupNumbers == [2..8]` · 7 key nhóm 1 KHÔNG nằm trong All | vế cuối = guard thật: thêm số 1 vào bộ sinh ⇒ `tree.Add("Khkk_G1")` lần 2 ⇒ trùng PK lúc boot |
+| T3 | `SeedMenuTree_RunTwice_Has56KhkkRows_NoDuplication_AndCorrectTreeShape` | seed ×2: **56 row họ Khkk** (7 nhóm-1 + 49) · lần 2 danh sách key Y NGUYÊN · **tổng bảng MenuItems bất động** · 8 group parent=`KeHoachKyKet` Order=n · mỗi group đúng 6 con · 8 nhãn nhóm phân biệt | đếm bằng Ordinal in-memory (không phụ thuộc collation LIKE); đã kiểm KHÔNG có `HasData` cho MenuItems ⇒ 56 row đến TỪ seeder, không phải EF seed |
+| T4 | `SeedMenuTree_NewGroupLeaves_MirrorGroup1_LabelIconOrder` | 42 leaf mới khớp **nhãn + icon + Order** của leaf nhóm 1 tương ứng (đo DB↔DB, không bảng hardcode) | chốt trước "6 nhãn nhóm 1 PHÂN BIỆT" — nếu chúng trùng nhau, phép so mirror đúng ở mọi thế giới |
+| T5 | `SeedMenuTree_LabelBackfill_HealsGroup1Label_WithoutAddingRows_ControlKeyStaysDirty` | **MA TRẬN cùng-ruột-khác-1-biến**: bôi hỏng nhãn CẢ `Khkk_G1` (ca thật: về chuỗi skeleton S159) LẪN `Khkk_G2` trong cùng 1 lần → seed lại → G1 **tự lành**, G2 **giữ chữ hỏng**; tổng row bất động | 2 kết quả TRÁI NGƯỢC trong 1 lần chạy; khác biệt duy nhất = có/không entry `labelBackfill` ⇒ chứng đúng cơ chế backfill, không phải upsert "tiện tay" ghi Label (gotcha #11) |
+| T6 | `SeedAllRolesReviewRead_GrantsReadOnNew49KhkkKeys_ReadOnly_WithPeContrast` | site-2 phát CanRead cho cả 49 key (nêu tên `Khkk_G2_List`) · C/U/D=false · 7 key nhóm 1 GIỮ quyền (`.Concat` mở rộng chứ không thay thế) | **ĐỐI CHỨNG CÙNG LƯỢT**: cùng role đó `Pe_DuyetNcc_List` có CanCreate=true ⇒ chuỗi "false" trên Khkk không phải vì seeder no-op. Chạy `SeedMenuTreeAsync` trước = smoke FK cho TOÀN grant-set |
+
+Đường vào duy nhất của 49 key ở site-2 = `KhkkKeys().Concat(MenuKeys.KhkkGroupMenuKeys)` (K4a) —
+`All.Where(StartsWith "Pe_")` không bắt `Khkk_*` ⇒ gỡ `.Concat` là T6 ĐỎ.
+
+## §5 — Chạy filtered — ĐÃ ĐO
+
+`dotnet test tests/SolutionErp.Infrastructure.Tests --filter "FullyQualifiedName~KhkkGroupMenuSeed" --nologo`
+→ **Failed: 0, Passed: 6, Total: 6** (3 s).
+Ghi chú số: `MenuKeys.All` runtime = **113** ĐÚNG như đếm by-source của lane BE (assert xanh) ⇒
+`Policies` DERIVED = 113 × 4 = **452**.
+
+## §6 — Full suite — ĐÃ ĐO
+
+- **Infra: Failed 0, Passed 575, Total 575** (30 s) — baseline 569 + 6 = 575 ⇒ **0 hồi quy**.
+- **Domain: Failed 0, Passed 45** (311 ms) — đo tươi, không lấy từ trí nhớ.
+- **Tổng suite = 45 + 575 = 620.**
+
+Caveat trung thực: giữa lượt làm có commit `7a903cf` (lane F-1, FE + `ContractSigningPlanFeatures.cs`)
+land vào repo. Đã kiểm: `git diff --stat -- src/` vẫn đúng 42/79 dòng của riêng K4a như lúc mở lượt
+⇒ byte nguồn K4a KHÔNG đổi trong lúc đo; file lane F-1 đã nằm sẵn trên đĩa TRƯỚC lần chạy full
+(nó là ` M` từ đầu, commit chỉ chuyển trạng thái index) ⇒ con số 575 đo đúng trạng thái đĩa hiện tại.
+
+## §7 — Rào đã giữ
+
+- KHÔNG chạm production code: `git status` cho thấy dưới `tests/` chỉ có **1 file MỚI**
+  `KhkkGroupMenuSeedTests.cs`; 2 file `src/` đang ` M` là diff của lane BE K4a (có từ trước lượt này).
+- KHÔNG đụng `ContractSigningPlan*` / `KhkkWorkflowPanel` / `khkk.ts`.
+- KHÔNG commit, KHÔNG push.
+- KHÔNG sửa `SolutionErp.slnx` (project SDK-style tự glob `.cs`; test đã build + chạy).
+
+## §8 — Quan sát gửi lead (KHÔNG phải bug, không tự sửa)
+
+1. **Chồng lấn có lợi:** test T6 lane K1 (`ContractCatalogTests.cs:445`) nay là phép thử tự động cho
+   claim "49 key ∈ All đều có menu-row" — nó XANH ở baseline 569 ⇒ claim by-construction của K4a đã
+   có chứng nhân độc lập, lane K4a không cần lặp lại.
+2. **Nhãn G2..G8 KHÔNG tự lành** (đo ở T5, đối chứng): nếu owner đổi chữ 7 nhãn nhóm sau khi prod đã
+   seed thì sửa trong `khkkGroupLabels` là VÔ TÁC DỤNG — phải thêm entry `labelBackfill`. Comment
+   BE `:2233-2234` đã khai đúng điều này; T5 nay khoá nó thành bất-biến có răng.
+3. **Số canonical cần đổi kèm K4a:** `MenuKeys.All` ĐO runtime = 113 ⇒ `docs/STATUS.md` row
+   `Menu keys` = 113 · `Policies` = 452. (T2 sẽ ĐỎ nếu 2 số này drift khỏi mã.)
+
+END sub-test-k4a — VERDICT=6/6 PASS (+6 test, suite 620 = 45 Domain + 575 Infra, 0 hồi quy)
diff --git a/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-gap-deep-S166.md b/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-gap-deep-S166.md
index d308d5c..0d53377 100644
--- a/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-gap-deep-S166.md
+++ b/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-gap-deep-S166.md
@@ -1,4 +1,4 @@
-LEAD-GAP-DEEP: IN-PROGRESS
+LEAD-GAP-DEEP: 6 FLAG (4 HIGH / 2 MED / 0 LOW) — coverage 6/6
 
 # H24 DEEP-audit vai-GAP @S166 (2026-08-01) — soi CÁI BỊ THIẾU
 
@@ -219,3 +219,139 @@ trong tầm đọc** ⇒ hoặc bỏ điều-kiện nghiệm-thu, hoặc phải
 **resolve:** hết-flag khi (i) mỗi OG còn hiệu-lực có **1 dòng ID + 1 dòng nội-dung** trong sổ bền (WAL notes hoặc HANDOFF),
 và (ii) mọi tham-chiếu `F-n` trong sổ bền mang tiền-tố cổng (`gate-K2 F-5`), và (iii) claim "N OG trọn" liệt **đủ N ID**.
 
+---
+
+## FLAG-6 — `gap-decision-sunk` — MED
+
+*(scope-1: DANH-SÁCH VÁ 11 mục — con-trỏ tới nó đã CHẾT, sổ theo-dõi nằm ngoài mọi đường nạp)*
+
+**hứa ở:** `.claude/workflows/runs/2026-07-30-S163-bookend-open/run.md:117-120`:
+> `## 🔧 DANH-SÁCH VÁ — 11 mục, CHƯA CHẠM (**nhà canonical của cụm này**; `_mind` §B chỉ TRỎ về đây)`
+> *"Anh gõ `/pause` trước khi lead bắt đầu vá ⇒ **0/11 đã làm**."*
+> *"🔴 Liệt đích-danh vì `ctx-curator` #7 bắt đúng: cụm '11 mục' trước đó **không có nhà nào giải được** — rơi 1 dòng = mất 11 ý."*
+
+**hiện: con-trỏ đứt ở CẢ HAI đầu.**
+```
+grep -c '11 mục|danh-sách vá'  -> HANDOFF 0 · STATUS 0 · WAL 0 · error-ledger 0 · ACTIVE-MARKS 0 · migration-todos 0
+                                  _context 1 (PAUSE-1, entry immutable đã bị PAUSE-3 thay) · _mind 2
+```
+- Con-trỏ **duy nhất** nằm trong tập nạp là `_mind-s-9.md:200`: *"Hướng-tiếp cũ (chạy 11 mục vá) đã tiêu ở window-2 — **xem WAL/`_context` PAUSE-2**."*
+- Đích của con-trỏ đó: `WAL` = **0 hit** · `_context` PAUSE-2 (`:108-110`) = **0 hit** ⇒ **con-trỏ CHẾT**.
+- Và chính dòng `:200` nằm ở **dòng 200 > 165** ⇒ **không được đọc** trong lượt `/tiep` @S166 (xem FLAG-1). Hai lỗi chồng nhau.
+- Nhà canonical (`runs/…S163…/run.md`) **không nằm trong `tiep_reload.sources`** ⇒ không nghi-thức nào mở nó.
+
+🔴 **CHẠM ĐĨA TRƯỚC KHI PHÁN (luật S121 — bảng mô-tả Ý-ĐỊNH ≠ TRẠNG-THÁI).** Sổ vẫn ghi "0/11", đĩa nói khác:
+| # | việc | đĩa nói gì (lệnh) | thật |
+|---|---|---|---|
+| 11 | refine A1/A2 L1→L2 `lead-gap-auditor` (23.593 B) · `harvest-curator` (23.493 B) | `wc -c .claude/agent-memory/{lead-gap-auditor,harvest-curator}/MEMORY.md` → **10.777** / **18.781**; cả 2 có `archive/2026-07.md` | ✅ **XONG** |
+| 1 | STATUS Gotchas 84→85 | `detectors-output.txt:3` `gotcha=85` (canonical) + disk `gotcha=85` | ✅ **XONG** |
+| 2 | `CLAUDE.md` +row `ContractSigningPlans` + Mig 68/69 | có row `ContractSigningPlans … 69` + `+S157 Mig 68` trong CLAUDE.md | ✅ **XONG** |
+| 5 | slot (58) viết dạng bất-biến | `HANDOFF:21` = *"Trần `_mind` CỦA PHIÊN-LOGIC HIỆN HÀNH … CẤM neo literal/tên file"* | ✅ **XONG** |
+| 8 | `ctx-soft-memory-se-draft.md` header "DRAFT · CẤM wire" | header nay = *"✅ RATIFIED + ĐÃ WIRE @S153 (OWNER-VETO)"* | ✅ **XONG** |
+| 7 | skills `ef-core-migration` · `permission-matrix` | `detectors-output.txt:14-25` VẪN flag `ef-core-migration/SKILL.md:93` (MED) + `permission-matrix/SKILL.md:60,:80` | ❌ **CÒN MỞ** (máy đang kêu) |
+
+⇒ **KHÔNG được nói "0/11"** (sai) và cũng **không được nói "xong hết"** (sai). Sự-thật đo được: **≥5 xong · ≥1 còn mở · 5 CHƯA XÁC-ĐỊNH**
+— và **không sổ nào ghi được điều đó**, vì sổ theo-dõi bị bỏ lại ở run-folder với con số "0/11" đóng băng từ 2026-07-30.
+
+**im:** **2 ngày / 3 nhãn phiên** (S164 · S165 · S166) kể từ PAUSE-1 (2026-07-30T17:35).
+
+**hệ-quả nếu không vá:** cụm 11 mục rơi vào trạng-thái tệ nhất — **không ai biết đã làm tới đâu**: nếu lead tin "0/11" thì
+làm lại 5 việc đã xong; nếu lead tin "đã tiêu rồi" thì bỏ luôn mục 7 mà **máy vẫn đang kêu mỗi lượt detector**.
+Đúng cảnh-báo của `ctx-curator` #7 mà run.md tự chép vào: *"rơi 1 dòng = mất 11 ý"* — nay rơi thật, chỉ khác là rơi cả cụm.
+
+**resolve:** hết-flag khi cụm 11 mục có 1 dòng trong sổ **nằm trong đường nạp** (WAL `chain` hoặc HANDOFF NEXT-em) với
+trạng-thái từng mục **đo từ đĩa** (không chép "0/11"), hoặc lead khai tường-minh "cụm này ĐÓNG, lý do X" ở sổ bền.
+
+---
+
+# HONEST-ZERO — mục soi mà KHÔNG ra flag (giá của việc khai sạch)
+
+## mục 4 (một nửa): 9 slot cũ — **SẠCH, tự BÁC giả-thuyết của chính mình**
+
+Giả-thuyết vào: *"slot cũ (39)(40)(41)(42)(43)(44)(46)(47)(48) chìm dần khi khối CHỜ-ANH bị viết đè."* → **BÁC.**
+```
+for n in 39 40 41 42 43 44 46 47 48; do grep -o "($n)" docs/HANDOFF.md | wc -l; done
+  (39)2 (40)3 (41)3 (42)3 (43)3 (44)3 (46)2 (47)2 (48)2   -> 9/9 CÒN SỐNG
+neo: docs/HANDOFF.md:23  "**Slot cũ còn treo:** (42)(43)(44) … (46) … (47) … (48) … (39) … (40) … (41)"
+CONTROL-ÂM (slot chưa từng tồn tại):  (63) -> 0 hit · (64) -> 0 hit   ⇒ phép đo PHÂN-BIỆT được, không phải luôn-dương
+```
+⇒ Khối *"Slot cũ còn treo"* đang làm **đúng việc của nó**. Lỗ duy nhất của trục này là **(60)(61)** — đã bắt ở FLAG-2,
+và chính vì 9/9 kia sống mà (60)(61) mới là **bỏ CHỌN LỌC**, không phải "khối này vốn hay rơi".
+
+## `gap-incident-unrecorded` = **0** — đã cân nhắc, TỰ BÁC
+
+Ứng-viên: 2 ESCALATE của `harness-audit` @S163 — (i) backstop **G-015** rỗng-hoá vì Stop-hook nuốt `.claude/agent-memory/`
+vào commit trước khi lead soát · (ii) stray `agent-cwd-relative-memory-misland` tái phát ×3/phiên.
+Phép đo: `grep -c 'Stop-hook|nuốt .claude/agent-memory' docs/governance/error-ledger.md` → **0**.
+**NHƯNG** class này đòi *"0 hit trên **bất-kỳ** sổ bền nào"*, mà `_context-s-9.md:62` **CÓ** ghi cả 2, và `_context` nằm
+trong `tiep_reload.sources` (đọc trọn) ⇒ **KHÔNG đủ điều-kiện** ⇒ **không phát flag**.
+🔸 Ghi lại để lần sau khỏi soi lại: nếu tới closeout L9 mà `_context-s-9` bị nén/đóng và error-ledger vẫn 0 hit thì
+**lúc đó** mới thành `gap-incident-unrecorded`. Nay chưa.
+
+## `gap-carry-aged` = **0** — và đây là con-số PHẢI đọc kèm caveat
+
+Detector `H24-2` in **5/5 `[ok]`** (streak cao nhất 3 < M=6). 🔴 KHÔNG được đọc thành "carry đều trẻ":
+tập-đo của máy là **5 slug**, đĩa có **50**. Số 0 này là **0-của-tập-đo-nhỏ**, không phải 0-của-thực-tế (xem FLAG-3).
+Theo luật *"ĐỌC detector, KHÔNG tính lại"* — tôi **không** tự dựng streak thay máy; tôi chỉ khai **mẫu-số**.
+
+---
+
+# mục 6 — CHECKLIST DIARY-SEED cho closeout (không phát FLAG mới)
+
+🔸 **Vì sao KHÔNG phát flag:** cam-kết này **CÒN SỐNG** ở `.claude/WAL.md:27` (`[ ] closeout-nợ: **diary vai (C2)** · …`).
+Cái thiếu là **ĐỘ PHÂN-GIẢI** (2 chữ "diary vai" không nói VAI NÀO) — cùng bệnh đã tính ở **FLAG-5**, không đếm 2 lần.
+Nhưng lead sẽ dựa vào C11 để biết phải seed ai, mà **C11 chỉ thấy 3/9** ⇒ dưới đây là danh sách đo từ đĩa.
+
+Phép đo: `git log -1 --format='%cI' -- .claude/agent-memory/<role>/MEMORY.md` so với **mtime artifact vai đó**.
+
+| vai | diary commit gần nhất | artifact gần nhất | trạng-thái | C11 có bắt? |
+|---|---|---|---|---|
+| `ctx-verifier` | **2026-08-01 08:51** | @cửa /tiep-3 | ✅ **ĐÃ SEED** | — |
+| `reviewer` | **2026-08-01 09:00** | `sub-reviewer-f1-checkbox.md` 08:58 | ✅ **ĐÃ SEED** | — |
+| `cicd-monitor` | 2026-07-31 17:20 | `sub-cicd-verify-k3.md` **2026-08-01 08:44** | ❌ **NỢ** (lượt cicd-K3 re-spawn @S166) | ❌ không |
+| `lead-stale-auditor` | 2026-07-30 15:13 | `sub-lead-stale-deep-S166.md` **08:50** | ❌ **NỢ** (deep @S166) | ❌ không |
+| `lead-gap-auditor` (vai này) | 2026-07-31 09:55 | `sub-lead-gap-deep-S166.md` (đang ghi) | ❌ **NỢ** (deep @S166) | ❌ không |
+| `implementer-backend` | **2026-07-29 21:49** | `sub-implbe-k4a.md` **2026-08-01 08:52** | ❌ **NỢ ×4** (k1 07-31 14:35 · k2 16:20 · k3 17:33 · k4a 08-01) | ❌ không |
+| `implementer-frontend` | 2026-07-31 16:47 | `sub-implfe-k3.md` 07-31 **17:42** | ❌ **NỢ ×1** (k3 sau mốc diary) | ❌ không |
+| `test-specialist` | 2026-07-31 18:03 | K4a test-lane **đang chạy** | ⚠️ **sẽ NỢ** khi lane đẻ artifact | ❌ không |
+| `ctx-audit` | 2026-07-30 15:13 | `sub-ctx-audit-open-S163.md` | ❌ **NỢ 2 ngày** | ✅ có |
+| `ring1-audit` | 2026-07-30 15:13 | `sub-ring1-audit-open-S163.md` | ❌ **NỢ 2 ngày** | ✅ có |
+| `ring2-audit` | 2026-07-30 15:13 | `sub-ring2-audit-open-S163.md` | ❌ **NỢ 2 ngày** | ✅ có |
+| `ctx-curator` | 2026-07-31 21:48 | verdict @/tiep-3 (nếu có chạy) | ⚠️ kiểm lại | ❌ không |
+
+🔴 **Số cần nhớ: nợ ≥ 8 vai, C11 chỉ nêu 3.** Nếu closeout chỉ vá theo C11 thì **5 vai vẫn vào phiên sau mù**,
+và bảng sẽ trông như đã sạch. Nặng nhất: **`implementer-backend` nợ 4 lượt / 3 ngày** — vai làm nhiều code nhất chuỗi SP-002.
+Lý do C11 mù: nó soi run-folder có `sub-<role>-*` khớp **tên vai chuẩn**, mà lane K1-K4a đặt tên `sub-implbe-*` / `sub-implfe-*` /
+`sub-cicd-verify-*` — đúng **206 prefix UNMAPPED** mà chính detector tự liệt ở `detectors-output.txt:94-95` (INFORM, không flag).
+
+---
+
+# TỔNG
+
+**TOTAL: 6 FLAG** — **4 HIGH · 2 MED · 0 LOW**
+
+phân-rã theo class (cho `jump_on_class_repeat` = 3):
+
+| class | số (ĐƠN-VỊ = **TRONG-PHIÊN**) | FLAG |
+|---|---|---|
+| `gap-carry-dropped` | **2** | FLAG-3 (carry không re-stamp 3 kỳ) · FLAG-4 (backlog owner 0/6 bề mặt) |
+| `gap-decision-sunk` | **2** | FLAG-2 (slot 60/61 thủng) · FLAG-6 (11 mục vá — con-trỏ chết) |
+| `gap-underfill` | **1** | FLAG-1 (`_mind` cụt 38,1% + bảng CURRENT STATE 0 B) |
+| `gap-owner-specifics` | **1** | FLAG-5 (OG 4/10 · F-n không tiền-tố · "9 OG trọn" không kiểm được) |
+| `gap-carry-aged` | **0** | (0-của-tập-đo-nhỏ — xem HONEST-ZERO) |
+| `gap-incident-unrecorded` | **0** | (đã cân nhắc, tự BÁC — xem HONEST-ZERO) |
+
+🔴🔴 **KHAI ĐƠN-VỊ TRƯỚC KHI LEAD CHÉP (bài ring2 D-4 @S159 — chính vai này từng sai):**
+cột số trên là **TRONG-PHIÊN**. Ô tally trong sổ đếm là **consecutive-audit**.
+`gap-carry-dropped` đang = **8** (chốt @S162) ⇒ lượt này ratify thì **9**. **CẤM ghi "2" vào ô đó** — ghi 2 là **xoá lịch-sử 8→2**.
+Theo đơn-vị consecutive-audit, ngưỡng `jump_on_class_repeat = 3` đã **vượt từ lâu** ở class `gap-carry-dropped`
+⇒ đây **không** phải chuỗi sự-cố lẻ, mà là **nghi-thức hỏng** (nguyên-văn NEXT-em #3 của chính lead ở `HANDOFF:33`).
+
+**COVERAGE-LINE: 6/6 mục scope đã soi** — (1) work-state↔backlog: FLAG-6 + FLAG-4 · (2) carry: FLAG-3 · (3) mandate specifics: FLAG-5 ·
+(4) quyết-treo: FLAG-2 (60/61) + honest-zero 9/9 slot cũ SẠCH · (5) tiep_reload: FLAG-1 · (6) diary: checklist ≥8 vai, không flag mới.
+🔸 **Khai giới-hạn (không làm tròn thành "quét sạch"):** 11 mục vá mới chạm đĩa **6/11** (5 mục CHƯA xác-định trạng-thái);
+27 finding gate K1/K2/K3 chỉ đo **có/không xuất-hiện trên sổ bền**, KHÔNG đọc ruột từng finding.
+Vai này **read-only, propose-only** — 0 Write ngoài chính file này, 0 Edit doc, 0 commit, 0 RAG-write.
+
+END sub-lead-gap-deep-S166 — VERDICT=6 FLAG (4 HIGH / 2 MED / 0 LOW) · coverage 6/6 · INFORM-only, chờ em-main VERIFY→APPEND
+
diff --git a/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-stale-deep-S166.md b/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-stale-deep-S166.md
index 89550a3..94bdb9e 100644
--- a/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-stale-deep-S166.md
+++ b/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-lead-stale-deep-S166.md
@@ -1,4 +1,4 @@
-LEAD-STALE-DEEP: IN-PROGRESS
+LEAD-STALE-DEEP: 11 FLAG (4 HIGH/5 MED/2 LOW) — coverage 8/8 chạm, 2/8 PARTIAL (nhóm 7 persona 2/23 · nhóm 8 chỉ cặp FE) ⇒ 11 = SÀN
 
 # H24 DEEP-audit @S166 (2026-08-01) — vai `lead-stale-auditor`
 
@@ -12,13 +12,13 @@ LEAD-STALE-DEEP: IN-PROGRESS
 | # | Nhóm bề-mặt | Trạng thái |
 |---|---|---|
 | 1 | `docs/STATUS.md` CURRENT + bảng CURRENT STATE | DONE |
-| 2 | `docs/HANDOFF.md` segment mới nhất | PENDING |
-| 3 | `CLAUDE.md` root (bảng module/mig) | PENDING |
+| 2 | `docs/HANDOFF.md` segment mới nhất | DONE |
+| 3 | `CLAUDE.md` root (bảng module/mig) | DONE |
 | 4 | `.claude/agents/README.md` roster | DONE — SẠCH |
-| 5 | `docs/changelog/migration-todos.md` | PENDING |
-| 6 | Governance surfaces `docs/governance/*.md` | PENDING |
-| 7 | Mô-tả VAI `.claude/agents/*.md` | PENDING |
-| 8 | Dư-lượng bất-đối-xứng (mirror pairs) | PENDING |
+| 5 | `docs/changelog/migration-todos.md` | DONE |
+| 6 | Governance surfaces `docs/governance/*.md` | DONE |
+| 7 | Mô-tả VAI `.claude/agents/*.md` | 🔴 **PARTIAL** (chỉ soi có-mục-tiêu `cicd-monitor` + `test-specialist`; **KHÔNG** quét 23/23 persona) |
+| 8 | Dư-lượng bất-đối-xứng (mirror pairs) | 🔴 **PARTIAL** (chỉ cặp `fe-admin`⟂`fe-user` trên 3 commit K; **KHÔNG** soi cặp spec-cụm⟂WAL) |
 
 ---
 
@@ -231,3 +231,49 @@ Control: `git show --name-only --format="" <sha> | grep -c "^fe-admin/\|^fe-user
 Lý do K3 lệch là **chủ-đích**: cặp mirror thật `pages/khkk/KhkkWorkflowPanel.tsx` **có mặt CẢ HAI** bên; 2 file admin dôi ra là `system/ApprovalWorkflowsV2Page.tsx` (Designer — bề mặt admin-only) và `components/Layout.tsx` (menu Designer). Đúng ghi-chú `CLAUDE.md`: duplicate giữa 2 app là CÓ CHỦ ĐÍCH, và admin có màn quản-trị mà user không có. **Đếm file thô ra "3 vs 1" trông y hệt sửa-một-phía — phải mở tên file mới phân biệt được**; ghi lại để lần sau không tạo dương-giả.
 
 ---
+
+# 🔴 COVERAGE — đọc TRƯỚC khi dùng con số 11
+
+**11 FLAG = SÀN, KHÔNG PHẢI TỔNG.** 8/8 nhóm đã **chạm**, nhưng **2/8 nhóm mới soi một phần** (nhóm 7 và nhóm 8) ⇒ không ai được đọc phần chưa quét thành sạch.
+
+| # | Nhóm | Đã chạm | Kết quả | Control dùng |
+|---|---|---|---|---|
+| 1 | `STATUS.md` CURRENT + bảng CURRENT STATE | ✅ ĐỦ | FLAG-1, 2, 3 | đếm đĩa `Migrations/*.cs`; `CreateTable` Mig 70/71; đếm PHẦN-TỬ `MenuKeys.All`; `WAL.md:13/:37`; `.session-counter.json` |
+| 2 | `HANDOFF.md` segment mới nhất (`:1-117`) | ✅ ĐỦ | FLAG-5, 6, 7, 8 | đo byte `_INDEX.md` vs `tiers.l2_index.cap_bytes`; đo 5 nguồn `tiep_reload` **theo đúng phạm-vi đã khoanh** |
+| 3 | `CLAUDE.md` root (bảng module/mig) | ✅ ĐỦ | FLAG-4 (+FLAG-10 site 1) | `grep "Mig 70\|Mig 71\|AddContractCatalog\|AddKhkkApproval" CLAUDE.md` = **0 hit** |
+| 4 | `.claude/agents/README.md` roster | ✅ ĐỦ | **SẠCH** | `ls .claude/agents/*.md` = 24 − README = **23**; đếm PHẦN-TỬ `:242` = 23 (13 monitor + 10 worker); `:27` = 23; đối-chứng `hmw.js:22 VALID_ROLES` |
+| 5 | `migration-todos.md` phase/KHKK | ✅ ĐỦ | FLAG-10 (site 2, 3) | `grep -n "KHKK\|SP-002"` (có §Phase 12 :798-812) · `grep "K1\|K2\|K3\|Mig 70\|Mig 71"` = **0 hit**/822 dòng |
+| 6 | `docs/governance/*.md` header/status | ✅ ĐỦ (11 file) | FLAG-11 | quét 8 dòng đầu ×11 file lọc `Status\|updated\|version\|ngày`; `git log -1` xác nhận `README.md` đứng im từ `72bbfa5` 2026-06-02 |
+| 7 | Mô-tả VAI `.claude/agents/*.md` | 🔴 **PARTIAL** | FLAG-9 | `grep "Domain 58\|Infra 23\|baseline"` **chỉ trên 2 file** (`cicd-monitor`, `test-specialist`). **CHƯA CHẠM: 21/23 persona còn lại** |
+| 8 | Dư-lượng bất-đối-xứng mirror | 🔴 **PARTIAL** | **SẠCH trong phạm-vi đã soi** | `git show --name-only` ×3 commit K, đối-chiếu TÊN FILE (không chỉ đếm). **CHƯA CHẠM: cặp spec-cụm⟂WAL, cặp doc⟂skill khác** |
+
+**Hệ-quả phải nói thẳng:** nếu quét nốt 21 persona còn lại (nhóm 7) thì gần như chắc có thêm FLAG cùng class `view-stale-role-desc` — vì ca đã tìm được (`cicd-monitor`) không phải ca hiếm mà là **trường `description` auto-inject không ai đọc lại suốt ~100 phiên**. Đề-nghị lượt sau nhắm THẲNG nhóm 7 với `grep` số-học trên cả 23 file.
+
+**Điểm mù tự-quy-chiếu (bài M-1 @S153):** lượt này tập-đo CÓ gồm `.claude/agents/*.md`, nhưng phần persona mới soi 2/23 ⇒ **chưa loại trừ được** khả-năng chính `lead-stale-auditor.md` / `lead-gap-auditor.md` đang mang số/nhịp lệch. Không tuyên sạch.
+
+---
+
+# TỔNG KẾT
+
+**11 FLAG — 4 HIGH · 5 MED · 2 LOW.** (SÀN, xem COVERAGE.)
+
+Phân-rã theo class (cho `jump_on_class_repeat`, ngưỡng = 3):
+
+| class (enum ĐÓNG `lead_self_audit.flag_classes`) | Số | FLAG |
+|---|---|---|
+| `view-stale-count` | **5** | 2 (HIGH), 3 (LOW), 4 (MED), 7 (HIGH), 8 (HIGH) |
+| `view-stale-status` | **3** | 6 (MED), 10 (MED), 11 (LOW) |
+| `view-residual-asym` | **1** | 1 (HIGH) |
+| `view-stale-header` | **1** | 5 (MED) |
+| `view-stale-role-desc` | **1** | 9 (MED) |
+| **Tổng** | **11** | — |
+
+🔴 **Một sợi chỉ xuyên 4 FLAG HIGH — đọc cái này nếu chỉ đọc một dòng:** cả 1, 2, 7, 8 đều KHÔNG phải "quên cập nhật". Cả bốn đều là **số ĐÃ ĐO ĐÚNG ở nơi lead làm việc** (`WAL.md:13`, `sub-cicd-verify-k3.md:86-94`, `STATUS.md:6`) mà **không đi tới nơi anh đọc** (bảng canonical `STATUS:465-472`, `HANDOFF:15/:19`, `STATUS:479`). Đây đúng câu chốt S162 lặp lại nguyên si sau 4 nhãn phiên. Nặng hơn lần trước ở hai chỗ: (a) **FLAG-2 có nhân-chứng tự khai** — vai cicd đã viết thẳng *"KHÔNG khớp gì đo được"* vào run-folder rồi câu đó nằm im; (b) **FLAG-7/8 là hai owner-decision đang treo, và FLAG-8 đã ĐẢO DẤU kết-luận** — trả lời theo tờ trình hiện tại sẽ gây hại thật.
+
+🔴 **Cái máy KHÔNG thể nói, và lượt này chứng minh bằng ca cụ-thể:** `governance-detectors.ps1` resolve canonical TỪ bảng `STATUS:465-472` nhưng chỉ cross-check đĩa **2/6 trục** (`mig`, `gotcha`). Vì bảng ấy stale, máy đang **đề-nghị sửa một doc ĐÚNG thành SAI** (`detectors-output.txt:14`: `SKILL.md:93` 97 → "update to 96", trong khi đĩa = 97). ⇒ Trong TOTAL 51 của máy, các flag nhánh `derived-stale` về `table`/`test`/`menu`/`policy` phải coi là **CHƯA PHÁN ĐƯỢC** cho tới khi FLAG-1 được vá và detector chạy lại.
+
+⚠️ **Chống META-COUNT (luật của chính vai này):** không dán nhãn `PASS`/`sạch` ở bất kỳ đâu trong file. Hai mục ghi "SẠCH" (nhóm 4, nhóm 8) đều kèm **lệnh control** và nhóm 8 khai rõ "sạch **trong phạm-vi đã soi**".
+
+**Propose-only.** Vai không Write/Edit vào bất kỳ file nào ngoài chính artifact này; không `store_memory`. Mọi FLAG chờ em-main VERIFY → APPEND (B3, no-overwrite-unverified).
+
+END sub-lead-stale-deep-S166 — VERDICT=11 FLAG (4 HIGH/5 MED/2 LOW) · coverage 8/8 chạm, 2/8 PARTIAL ⇒ 11 = SÀN, KHÔNG phải TỔNG
diff --git a/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-ring2-audit-deep-S166.md b/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-ring2-audit-deep-S166.md
new file mode 100644
index 0000000..02c30db
--- /dev/null
+++ b/.claude/workflows/runs/2026-08-01-S166-h24-deep-midsession/sub-ring2-audit-deep-S166.md
@@ -0,0 +1,91 @@
+RING2-DEEP: IN-PROGRESS
+
+# ring2-audit @S166 (2026-08-01) — KIỂM vòng soi-lead H24 DEEP
+
+- Vai: KIỂM **2 con-đo H24** (`lead-stale-auditor` + `lead-gap-auditor`) — **KHÔNG** tự soi lead.
+- Chế-độ: read-only, INFORM-only, propose-only. AUTO sau cặp (owner @S146 "3 → auto").
+- PIN (fail-closed, đã xác-nhận TỒN-TẠI + tươi):
+  - `sub-lead-stale-deep-S166.md` — 29.441 B, mtime 2026-08-01 09:05
+  - `sub-lead-gap-deep-S166.md` — 28.466 B, mtime 2026-08-01 09:06
+  - `detectors-output.txt` — 26.170 B, mtime 08:49
+  - `.claude/governance/.session-counter.json` (tally lead vừa ratify)
+- Chứng C4b tuần-tự: artifact này tạo SAU mtime cả 2 file trên.
+
+(ghi TỪNG verdict ngay khi chấm xong — chống #53)
+
+---
+
+# §1 — KHUÔN C11 + ENUM ĐÓNG + FLAG-COUNT (tái-dựng số, không tin lời khai)
+
+## 1a. FLAG-count — TÁI-DỰNG, KHỚP 17/17
+
+```
+grep -c '^## FLAG' sub-lead-stale-deep-S166.md   -> 11   (return khai 11)  ✅
+grep -c '^## FLAG' sub-lead-gap-deep-S166.md     ->  6   (return khai  6)  ✅
+```
+Khớp tuyệt-đối. Rủi-ro **pin-bản-cắt 4-A** (tự nêu @S152, tái-khẳng @S153): cả 2 file đều có END-line
+tự khai TOTAL ⇒ đối-chiếu `grep -c` == TOTAL đứng vững cả 2 phía. **Không có FLAG nào ngoài tầm pin.**
+
+## 1b. Khuôn C11 — 17/17 ĐÚNG KHUÔN (máy đếm được)
+
+```
+grep -cE '^## FLAG-[0-9]+ — `[a-z-]+` — (HIGH|MED|LOW)$'
+  stale -> 11/11     gap -> 6/6
+```
+Em-dash (U+2014) đúng, backtick-class đúng, SEV đúng ba giá-trị. **0 dòng lệch khuôn** ⇒ gốc-lỗi S148
+(`lead-stale` KHÔNG gán class ⇒ tally đứng yên) **không tái-phát**, nay là phiên thứ 6 liên-tiếp sạch khuôn.
+
+## 1c. Enum ĐÓNG — 17/17 ∈ enum, 0 TỰ CHẾ
+
+`memory-budget.json` → `lead_self_audit.flag_classes` = **list 11 phần-tử** (đếm phần-tử, không grep-theo-số):
+`view-stale-count · view-stale-status · view-stale-header · view-stale-role-desc · view-residual-asym ·
+gap-carry-dropped · gap-carry-aged · gap-owner-specifics · gap-decision-sunk · gap-underfill · gap-incident-unrecorded`
+
+| vai | class dùng | ∈ enum? |
+|---|---|---|
+| stale | view-residual-asym(1) · view-stale-count(5) · view-stale-header(1) · view-stale-status(3) · view-stale-role-desc(1) | 5/5 ✅ |
+| gap | gap-underfill(1) · gap-decision-sunk(2) · gap-carry-dropped(2) · gap-owner-specifics(1) | 4/4 ✅ |
+
+Phân-rã class trong 2 bảng TỔNG KẾT khớp header thật **từng dòng** (không chỉ khớp tổng):
+stale `view-stale-count` = {F2,F3,F4,F7,F8} = 5 ✅ · `view-stale-status` = {F6,F10,F11} = 3 ✅ · 3 class còn lại ×1 ✅.
+gap `gap-carry-dropped` = {F3,F4} ✅ · `gap-decision-sunk` = {F2,F6} ✅ · 2 class còn lại ×1 ✅.
+SEV: stale 4H/5M/2L = 11 ✅ · gap 4H/2M/0L = 6 ✅.
+
+🔴 Đối-chiếu bài **S162 (FLAG-16 ÉP-VỪA ENUM)**: lượt này tôi soi đúng lỗ đó — có FLAG nào *quan-sát đúng
+nhưng bị nhét vào class không thoả vị-ngữ* không? **Không.** Ca gần nhất đáng ngờ là stale FLAG-1 (`view-residual-asym`
+dùng cho "một file hai bề mặt, sửa một phía") — vị-ngữ **thoả**: dư-lượng bất-đối-xứng không đòi hai FILE, đòi hai
+BỀ MẶT gương nhau, và `:6` ⟂ bảng canonical đúng là cặp gương (chính `:6` trỏ sang bảng). ĐẠT.
+
+---
+
+# §2 — TALLY LEAD VỪA RATIFY: TÁI-DỰNG DELTA TỪNG KEY (git HEAD → cây tươi)
+
+Phương-pháp mạnh hơn đọc endpoint: kéo bản TRƯỚC bằng `git show HEAD:.claude/governance/.session-counter.json`
+rồi so **delta từng key** (khuôn S153).
+
+| class | HEAD (trước) | cây tươi (sau) | delta | fire lượt này? | phán |
+|---|---|---|---|---|---|
+| view-residual-asym | 6 | **7** | +1 | có (F1) | ✅ |
+| view-stale-count | 6 | **7** | +1 | có (5 FLAG) | ✅ **+1 ĐÚNG** — đơn-vị = vòng-đo, KHÔNG phải flag |
+| view-stale-status | 3 | **4** | +1 | có (3 FLAG) | ✅ |
+| view-stale-header | 2 | **3** | +1 | có (F5) | ✅ |
+| view-stale-role-desc | 1 | **2** | +1 | có (F9) | ✅ |
+| gap-carry-dropped | **8** | **9** | +1 | có (2 FLAG) | ✅ **8→9 ĐÚNG** |
+| gap-decision-sunk | 2 | **3** | +1 | có (2 FLAG) | ✅ |
+| gap-owner-specifics | 1 | **2** | +1 | có (F5) | ✅ |
+| gap-underfill | 2 | **3** | +1 | có (F1) | ✅ |
+| gap-carry-aged | 0 | **0** | 0 | KHÔNG (honest-zero) | ✅ giữ 0 |
+| gap-incident-unrecorded | 0 | **0** | 0 | KHÔNG (honest-zero) | ✅ giữ 0 |
+
+**9/9 class fired = +1 chính xác · 2/2 non-fired = 0 · 11 key cả hai phía · mọi value `int`** (bất-biến
+"counts chỉ chứa số" còn sống). `counter` 39→**40** ✅ · `last_audit.light_at`36→**40** + `deep_at`25→**40**
+(deep bao hàm light, khuôn S143) ✅ · `signal_session` S162→**S166** · `signal_last_kind` light→**deep** ✅.
+
+🔴 **Bài D-4 (S159) KHÔNG tái-phát — và lần này con-đo tự chặn trước:** `gap-carry-dropped` trong-phiên = **2**,
+ô tally = **consecutive-audit**. `lead-gap` viết hẳn 2 lần cảnh-báo (`:100-102` và `:344-348`) *"CẤM ghi 2 vào ô đó
+— ghi 2 là xoá lịch-sử 8→2"*. Lead ratify **9**. ✅ Đây là ca **bài-học-đã-ăn-vào-vai**: chính vai từng sai @S159
+nay tự khai đơn-vị TRƯỚC khi lead chép. Ghi nhận dương.
+
+Số ratify khớp 11/11 với danh-sách trong đề-bài giao tôi. **Tally: ĐẠT.**
+
+---