wal: flush 20260807T1547

.claude/workflows/runs/2026-08-07-S180-adap-upgrade-pack-phased/sub-w0b-index-hash.md

@@ -196,3 +196,49 @@ Thêm một dòng dẫn ngay trên bảng `INBOUND`, giải thích vì sao hai c
 - **Không sửa** đoạn đối chiếu S123 chen giữa bảng `OUTBOUND` — nó cắt bảng ấy làm hai khúc. Ngoài phạm vi, nhưng ghi lại vì máy nào đọc `OUTBOUND` bằng cách quét liên tục từ dòng tiêu đề sẽ **dừng sớm ở đó**.
 - **Không tự bù** 7 thư trước mốc nước (§5.4) và **không tự đổi** luật chiều GỬI (§5.6). Cả hai chờ lead hoặc anh phán.
 
+---
+
+## §8 — ĐỢT 2: lead phán BÙ đủ 7 thư trước mốc nước (đóng `K9` về 0)
+
+**Lead chấp nhận lập luận ở §5.4** và ra quyết định: mốc nước `check-email.md:39` chỉ miễn cho thư **vắng khỏi hộp** (lớp đã-adopt-đọc-tại-chỗ, không đòi copy); bảy thư này **đang nằm trong hộp** nên mốc nước không áp. Đây là **ghi sổ cơ học**, không chạm lằn ranh nào, nên lead phán chứ không đẩy lên anh.
+
+**Hash — chạy `python scripts/stamp_verify.py` trên cả 7, không tự chế lệnh:** **7/7 `OK (canonical match)` · exit 0 · 0 cờ giả mạo.** Cả bảy khai đủ 64 chữ số hex, khớp tuyệt đối (khác bốn món của gói vốn khai rút gọn 8 chữ).
+
+| Thư (rút gọn) | 12 chữ đầu tính lại | verdict |
+|---|---|---|
+| `2026-07-13-…-adap-update-harness-22-wal-push-guard` | `dd4b0176fa3a` | OK (canonical match) |
+| `2026-07-13-…-adap-update-presence-not-age-reinject` | `ab6c387ee5fb` | OK (canonical match) |
+| `2026-07-13-…-harness-22-wal-defect-fix` | `76919abc2ff9` | OK (canonical match) |
+| `2026-07-13-…-harness-23-explicit-model-at-spawn` | `7c0ec06700af` | OK (canonical match) |
+| `2026-07-14-…-harness-24-lead-self-audit-h17-cadence` | `7400d951bebd` | OK (canonical match) |
+| `2026-07-14-…-owner-sign-3-marks-h21-mtv3-h22` | `ae119b953218` | OK (canonical match) |
+| `2026-07-15-…-eol-crlf-agent-registry-defect-notice` | `1c039f336b28` | OK (canonical match) |
+
+**Cột `kênh` vẫn dẫn TỪNG DÒNG từ `to:` trên đĩa** (giữ đúng kỷ luật đợt 1, không gán hàng loạt): cả 7 đều `to: all-fit` ⇒ `kênh = all`. Không thư nào thiếu trường `to:`.
+**`received`** = ngày commit đầu tiên đưa tệp vào kho, cả 7 đều `2026-07-16` (kéo về sau ngày đề trên thư 1–3 hôm).
+**`ghi-chú`** ghi đúng câu lead giao, nêu rõ lý do bù và điều khoản mốc nước được viện dẫn.
+
+### Năm bất biến — ĐO LẠI SAU KHI BÙ, không suy từ đợt 1
+
+| Bất biến | Kết quả |
+|---|---|
+| Khối `OUTBOUND` byte-identical (so `git show HEAD:…`) | **ĐẠT** |
+| Dòng cũ là **tiền tố nghiêm ngặt** của dòng mới | **45/45 đạt · 0 hỏng** |
+| Mọi hàng đúng 9 ô | **ĐẠT** — tập số ô = {9} |
+| Mã định danh trùng lặp | **0** |
+| Dòng mồ côi | **0** |
+
+### Mẫu số sau khi bù (khai cạnh mọi con số)
+
+- Thư trên đĩa `broadcasts/inbox/**`, **đã loại `README.md` bằng tên**: **69**.
+- Dòng dữ liệu khối `INBOUND`: **69** — trong đó **`se` = 23 · `all` = 46**.
+- **Vắng mặt (đối chiếu ngược, duyệt đệ quy): 0** ⇒ nghiệm thu `wave-plan:33` **đạt**.
+- Chứng từ tách hai đợt: `grep -c "bù dòng @S180"` = **17** (đợt 1) · `grep -c "bù @S180 — trong hộp"` = **7** (đợt 2). Tổng **24** dòng bù, khớp con số lỗ ban đầu.
+- 🔸 Hai số 69 bằng nhau **không phải một phép đo độc lập** — nó là **hệ quả** của (0 vắng mặt ∧ 0 mồ côi ∧ 0 trùng lặp). Đừng đem "69 = 69" ra làm bằng chứng thứ hai; nó là cùng một sự thật nói lại.
+
+### Ba khoản lead chốt GIỮ NGUYÊN (tôi không đụng)
+
+1. **Lược đồ cột `status`** (§5.5) — `processed` = *đã move* ⟂ *đã áp*. Đổi lược đồ chạm lằn ranh ⇒ lead mang lên anh cùng P3/P5/P7/P8.
+2. **Chiều GỬI** (§5.6) — luật trỏ tới `COMMS-LEDGER` không tồn tại (0 tệp, control dương `*ledger*` = 4) cho một việc chưa từng xảy ra (`outbox/all/` = 0 tệp). Giữ nguyên, có khai.
+3. **Máy kiểm `A0-2`** (§5.3) — chỉ ghi thành **cảnh báo cho người sẽ cắm**: duyệt **đệ quy**, loại `README` **bằng tên**, **in mẫu số**. Tôi **không tự cắm máy**.
+