wal: flush 20260807T1606

.claude/WAL.md

@@ -12,7 +12,15 @@ chain:
 - [x] N3 fable-clone 6 lane (OD-1 lai): A 57KB · B 47KB · C 72KB · D 44KB · E 38KB · F
 - [x] N4 wave-plan: 7 wave + 3 sub gated, 2 chạy-ngay, 5 chờ-anh, 0 loại (50KB)
 - [x] **W0 ĐÓNG — nghiệm thu ĐẠT** (lead verify độc lập): fitmap 11.697B 7/7 dòng 0-ô-trộn · tracking 17.890B 20/20 khoản · _index.md 45->69 dòng (23 se + 46 all), 24 dòng bù (17+7), 7/7+17/17 hash OK 0 tamper, 5/5 bất-biến, VẮNG=0, residual-write ngoài phạm vi = 0
-- [!] W1 GĐ-1 chuẩn-tên (chốt MỞ KHOÁ) — lane a KIỂM KÊ MÁY đang chạy; lane b ký-chuẩn CHỈ chạy SAU (lane A: ký trước khi biết = ký ra thứ không áp được mà không làm vỡ)
+- [x] **W1-a XONG** — kiểm kê 14 đoạn máy (11 VỠ-CÂM · 3 vỡ-ồn · 0 tự-thích-nghi), 9 nhóm tên / 28 họ, 44.914B. BÁC HẲN 2 mục lane A (`detectors:1716`+`:1679` = dòng CHÚ THÍCH không phải mã; `applied-eval-nokey` = 0 file-IO)
+- [!] W1-b ký chuẩn + `naming-scan.ps1` INFORM-only + 3 vá kèm — ĐANG CHẠY
+
+LUẬT THIẾT KẾ W1-a đo được (ràng buộc mọi wave sau):
+  "một nhóm tên sạch CHÍNH XÁC tới độ sâu máy của nó KIỂM, không sâu hơn một nấc"
+  => vế "phải STOP-HARD" ĐỔ (session-<N> sạch 12/12 dưới máy chỉ INFORM); vế "phải có máy TỪ CHỐI" ĐỨNG
+  => CẤM ký chuẩn sâu hơn máy
+BẪY-4 giải bằng ĐỔI TẬP ĐO: quét .md = 1.545, miễn trừ 1.131 (73,2%), 90,7% chỗ lệch NẰM TRONG vùng miễn trừ => 0-hit vô nghĩa.
+  Thay bằng quét 231 tên VẬT-BỘ-MÁY: 0 miễn trừ, 23 lệch thật => có răng ngày đầu.
 - [ ] W2 GĐ-2 · W3 GĐ-3 · W5 GĐ-5 (tự chạy) · W3b/W4/W4b/W5b/W6 chờ anh
 
 next: W0 xong -> W1; hỏi P3/P5/P7/P8 khi chạm W3b/W4b/W5b