wal: flush 20260803T0930

.claude/WAL.md

@@ -9,8 +9,8 @@ chain:
 - [x] V2 soi-lead — lead-stale 8 FLAG · lead-gap 5 FLAG
 - [x] V2 ring2-audit — END VERDICT=13Đ/2T (đĩa; lượt-1 skeleton 1.020B, bản chốt = lượt-2)
 - [x] hậu-V2 — signal-write S170 OK: light_at=44, 8 class FIRE (gap-carry-dropped 9→10 khớp ring2 dự-tính), 1 RESET đúng semantics; 🔴 7/11 class ≥ JUMP=3 → nêu @close cân deep-JUMP. + vá 2 số stale hậu-ring: STATUS:474 31→59 · investigator-codebase:81 bỏ neo-số (ENV-DEP, ăn sau restart)
-- [!] V3 trio — eval MIXED 19-trục/14-signal (headroom 152.968 dốc-2× · measured 17/23 quá-hạn; #53 artifact cứu) → refine SẠCH: 1 action(reinject impl-fe MFE-11/13, precondition danh-tính 2 mục)/14 BÁC + E1 impl-fe drain −62,5%/62ph DƯỚI low-water (A4 có trần 0 sàn → CHỜ-ANH) + đính-chính eval ×2 → audit resume-1× (#53 skeleton-nấc-2: artifact 766B mới §0, garble hé-lộ đã có TÊN 2 mục MISS impl-fe — ép đổ-ruột trước, làm tiếp sau)
-- [ ] V4 nén-ngủ — /sleep-recovery-memory-l2 all → ring4-audit (SHARD-PROBE 17/15 KÊU @S169)
+- [x] V3 trio TRỌN — eval MIXED 19-trục/14-signal → refine 1-action/14-BÁC (E1 impl-fe drain −62,5% dưới low-water, A4 0-sàn → CHỜ-ANH) → audit 55Đ/5T re-chạy-177-số/172-byte-exact + CHẶN-A1 (2 mục MISS = trivial<30min + build-gap ⇒ 0 đích reinject; 11/13 đứng-yên trừ khi anh đổi chữ/matcher → CHỜ-ANH) · #53: eval-return + audit-×2 (resume ×2 cứu trọn), refine sạch
+- [!] V4 nén-ngủ — probe TƯƠI 17/15 KÊU · P0 xong (17 shard/7 agent/238.849B, 0 double-distill, last_sleep 07-26) · P1 GATHER: 2 curator batch A(cicd×5+impl-be×4)/B(inv-cb×4+rev×2+test-spec+impl-fe) ĐANG CHẠY song-song, proposal đổ sub-file run-trace anti-#53 → còn P2 distill → P3 gate → P4 Write gist → P4.5 ring4 → P5 report+commit(chờ-anh-OK)
 - [ ] Phase 3.5 đuôi — refresh _mind block-1 (E stale) + ctx-audit @open + bookend-open-synthesis.md (dạng-1)
 - [ ] monthly drift-audit 2026-08-01 DUE quá hạn (session đầu-tháng = L10) + re-sync measured{} 17/23 — xếp thứ-tự vs task anh giao
 - [ ] 🔴 CHỜ-ANH slot (65) ZZTEST hạn 01-08 QUÁ 2 ngày (chỉ anh có kênh) · (64) user TEST · (66) dọn HĐ ZZTEST · thư day-wake-probe nấc adopt (ctx-verifier cờ ⑩: món 65 từng ngoài bản-đồ)

.claude/workflows/runs/2026-08-01-S169-bookend-open/harness-audit-return.md

@@ -249,9 +249,126 @@ Bồi thêm: **17/17 baseline** con-ĐO chép từ `measured{}` **byte-exact** (
 
 ---
 
+### §7-ter — các claim còn lại, chấm gọn (đã verify trong lượt)
+
+**Nấc ĐO — ĐẠT:** trục 4 `cicd/archive/_INDEX.md` = **9.682 B**, `9682/20480 = 47,3%` ✅ · `_INDEX-2026-H1.md` = **13.906**, tổng **23.588** ✅ · trích `split_rule_S167` **đúng nguyên-văn** `tiers.l2_index` (cap `20480` gắn `file = archive/_INDEX.md`) ⇒ phán *"`l2idx 0 over` là ĐÚNG"* **ĐẠT** ✅ · `pull_warn_days` **không tồn tại làm KEY** — grep toàn file = **1 hit duy nhất nằm trong prose** `_session_ctx_kb_reader:8`, còn probe **có đọc** nó ở `nhip-no-probe.ps1:212` (`$warn = $cad.pull_warn_days`) ⇒ *"in được SỐ nhưng nhánh cảnh-báo là đường chết"* **ĐẠT** ✅ · hạn tự-khai `2026-08-01` vs hôm nay `08-03` = **vỡ 2 ngày** ✅ · tự-cộng §8 `9+4+3+3=19` khớp 19 dòng ✅ · tự-cộng §10 `5+4+5=14` khớp ✅ · gate §3 *"Cao nhất: inv-cb 22.452 · tooling 20.332 · ring2 20.062 · lead-stale 19.342"* ✅.
+
+**Nấc ĐỀ-XUẤT — ĐẠT:** X1 đệm `25600−22452 = 3.148` ✅ + *"vai DUY NHẤT trên low-water"* `22452−21760 = +692`, vai kế chỉ 20.332 ✅ · X2 ring2 dưới low-water `21760−20062 = 1.698` ✅ · X4 tooling dưới low-water `1.428` + mọc lại `20332−19055 = 1.277` ✅ · X8 tuyệt-đối `36,1 / 33,5 / 28,7 / 49,0 / 75,6%` **5/5 exact** ✅ · X9 `hotload_sources` **0/6 là agent-memory** ✅ (6 nguồn đều `docs/` + `.claude/agents|governance`) · X13 harvest `18781/25600 = 73,4%` ✅ · X15 **moved-not-cut** verify 2 đầu: verbatim `archive/2026-H2.md:78` **và** hook `MEMORY.md:46` **đều còn** ✅ · A1 mẫu-số `denom_header_anchors` đúng `memory-budget.json:104`, persona có `Split boundary :19` + `STRICT auto-refuse :25` ✅ · 0b diary refine **đóng băng 8.579 B** (measure live khớp) ✅ · 0c impl-fe `_INDEX 5.844` + A7 `44/44` ✅ · E2 `13/23 vai không có lane` (23−10, A7 liệt đúng 10) ✅ · tự-khai *"0 instrument chạy lại, 0 file chạm ngoài artifact"* ✅ (`git status` sạch phía agent-memory).
+
+**2 claim KHÔNG-CHẤM (khai thẳng, không ĐẠT-ảo):**
+- **KC-1** con-ĐO *"`measured._note` viết **3 lần** hạn 2026-08-01"* — tao đếm được `drift-audit 2026-08-01` = **5 hit toàn file**, nhưng **không tách được** bao nhiêu hit nằm riêng trong `measured._note`. Số **5 ≠ 3** chưa đủ kết-luận sai (khác phạm-vi đếm) ⇒ **không chấm**.
+- **KC-2** nấc ĐỀ-XUẤT *"`reinject-ledger.md:34` placeholder ⇒ ledger THẬT 0 dòng"* + *"`:12` cấm reinject build-gap"* — file có thật tại `.claude/governance/reinject-ledger.md` (KHÔNG ở `docs/governance/`), tao **chưa đọc đúng đường-dẫn** trong tầm lượt ⇒ **không chấm nội-dung**. (Lưu-ý: §5-bis của tao **có dựa** vào luật `:12` như nấc ĐỀ-XUẤT trích — nếu lead cần chắc, verify 1 dòng.)
+
+---
+
 ### §7-bis — trở lại E1: điểm mạnh nhất của nấc ĐỀ-XUẤT
 
 ⭐ **Tao xác-nhận và nâng thêm:** claim *"đỉnh 26.894 B KHÔNG xuất hiện trong bất-kỳ trục nào — nó chỉ có trong git"* ⇒ **ĐẠT**. Tao kiểm chéo: `measure-agent-memory` chỉ chụp **hiện-tại** (12.410), `memory-archive-gate` chỉ phán **hiện-tại** (`over? = no`), không instrument nào giữ lịch-sử ⇒ **một lần VƯỢT CAP thật (26.894 > 25.600) đã xảy ra và trôi qua hoàn-toàn vô-hình với cả 5 máy đo.** Đây là điểm mù cấu-trúc của bộ đo, và nấc ĐỀ-XUẤT là chỗ duy-nhất trong 3 nấc nhìn ra.
 
 ---
 
+## §8 — FALSIFY-LOG (nghĩa-vụ iii): **25 phép — 18 HELD / 7 BROKE**
+
+Quy-ước: **HELD** = tao cố phá claim mà không phá được · **BROKE** = phá được ⇒ claim sai.
+
+| # | claim bị tấn-công | phép phá cụ-thể | KQ |
+|---|---|---|---|
+| F1 | bộ-ba chạy TUẦN TỰ | mtime-chain 3 artifact | **HELD** (08:47 < 09:06 < 09:08) |
+| F2 | số con-ĐO đo trên cây ỔN-ĐỊNH | HEAD **đã trôi thật** `069cc72→c6e342f` (3 WAL) ⇒ `git diff --stat 069cc72 HEAD -- .claude/agent-memory` | **HELD** — chỉ `.mfe-state.json`, mà file đó ở **gốc**, ngoài tầm đếm của `measure` |
+| F3 | eval "residual = đúng 1 file" | `git status` đủ + sha256 | **HELD** (hash khớp 64/64 hex) |
+| F4 | headroom **152.968** | re-chạy `crystallized-backfill` | **HELD** |
+| F5 | hotload **681.096** | **2 đường rời nhau**: script **và** `stat+awk` | **HELD** |
+| F6 | 23 l1 + 10 l2_index | re-chạy `measure` + parse JSON | **HELD** |
+| F7 | **l2_verbatim 998.672 / l2_gist 305.363** | cộng máy từ chính JSON | 🔴 **BROKE** → **990.672 / 277.963** |
+| F8 | **trục 8 = 6 giảm/10 tăng/1** | để máy phân-loại DẤU, không đếm mắt | 🔴 **BROKE** → **5/11/1** |
+| F9 | **signal #7 = "gần cap nhất"** | sort giáng `l1_hot` | 🔴 **BROKE** — thiếu **hạng 1** inv-cb 87,7% |
+| F10 | MFE 11/13 + 22 vai 100% | re-chạy trên **cây sao-chép** | **HELD** (23/23 khớp) |
+| F11 | "KHÔNG có GOODHART-WARN" | grep output máy | **HELD** (0 hit) |
+| F12 | A7 **429/429** | re-chạy gate DRY | **HELD** (+10 pointer-count khớp) |
+| F13 | dòng `NHIP-NO:` nguyên-văn | re-chạy probe | **HELD** (trùng từng ký-tự) |
+| F14 | "`l2idx 0 over` ĐÚNG theo luật" | đọc `tiers.l2_index` | **HELD** (cap 20480 gắn `file=archive/_INDEX.md`) |
+| F15 | 🔴 **cáo-buộc CỦA TAO**: "eval bịa 6 số lead-tier" | kiểm **cây sao-chép của chính tao** | 🔴 **BROKE** — lỗi **của TAO** (thiếu `error-ledger.md`); copy đủ ⇒ khớp 14/14. **Suýt vu oan** |
+| F16 | refine C-1 + C-2 | re-đếm ĐỘC LẬP (không đọc bảng eval) | **HELD** cả hai |
+| F17 | refine E1 chuỗi byte | `git show \| wc -c` | **HELD** (10 vế exact) |
+| F18 | refine E1 **"~2,5× sâu hơn"** | tính **cả 2 cách đọc** mẫu-số | 🔴 **BROKE** → 2,27× hoặc 3,27×, **không cách nào ra 2,5** |
+| F19 | refine X1 "inv-cb đứng yên 5 ngày" | `git log` + mtime | **HELD** |
+| F20 | refine E2 "6 mốc đơn-điệu + 0 archive" | `git show`×12 + `ls` | **HELD** (12/12 số exact) |
+| F21 | refine E3 67.841 / 305.191 / 22,2% | cộng máy | **HELD** |
+| F22 | refine **A1 "2 mục đáng reinject"** | `-Detail` đặt TÊN + git 14 mốc + use⟂mention | 🔴 **BROKE** — **0/2** là floor-rot |
+| F23 | 🔴 **giả-thuyết CỦA TAO**: "Spec-ambiguity là floor-rot vì chuỗi 1→0 đúng tại commit drain" | **mở đúng dòng ra đọc** thay vì tin `grep -c` | 🔴 **BROKE** — là boilerplate *"NO ambiguity"* (**use ⟂ mention**); nếu tin đếm-chuỗi tao đã phán ngược |
+| F24 | refine "0 file chạm ngoài artifact" | `git status` | **HELD** |
+| F25 | 🔴 **giả-thuyết CỦA TAO**: "verdict tổng của tao gộp để che TRƯỢT lẻ" | tự liệt **từng dòng** 5 TRƯỢT | **HELD** (không gộp) |
+
+⭐ **3/7 BROKE là phá CHÍNH TAO** (F15 · F23 · F25) — đúng luật vai: claim tự-có-lợi phải soi kỹ nhất.
+⭐ **Bài phương-pháp lượt này = F23:** `grep -c` cho chuỗi `1,1,1,…,0` **trông y hệt** bằng-chứng floor-rot. Chỉ khi **mở đúng dòng** mới thấy là **mention**, không phải **use**. Đếm-chuỗi KHÔNG phân-biệt được 2 nghĩa ⇒ **mọi kết-luận "mục X đã rơi" phải mở dòng, không được dừng ở số đếm.**
+
+---
+
+## §9 — TỰ-CỘNG SỐ RE-CHẠY (chống meta-count blind-spot — tao tự áp luật lên mình)
+
+**5 instrument re-chạy tươi:** `crystallized-backfill` · `measure-agent-memory` · `mfe-eval` (sub + lead + `-Detail`) · `nhip-no-probe` · `memory-archive-gate` (DRY). Cộng 2 nguồn đối-chứng ngoài script: `stat/awk` độc-lập + `git` forensics.
+
+| nguồn | số đối-chứng | byte-exact | lệch |
+|---|---|---|---|
+| crystallized-backfill | 13 | 13 | 0 |
+| measure · l1_hot | 23 | 23 | 0 |
+| measure · cap/cờ (30720 · 25600 · over30k · 23 agent) | 4 | 4 | 0 |
+| measure · l2_index | 10 | 10 | 0 |
+| measure · **tổng l2_verbatim + l2_gist** | 2 | **0** | **2** |
+| budget `measured{}` baseline | 17 | 17 | 0 |
+| delta baseline→live | 17 | 17 | 0 |
+| **trục 8 thành-phần (giảm/tăng)** | 2 | **0** | **2** |
+| gate (A7 tổng + 10 pointer + 2 chuỗi) | 13 | 13 | 0 |
+| MFE sub per-role | 23 | 23 | 0 |
+| MFE lead | 14 | 14 | 0 |
+| nhip-no-probe (6 trục, 1 dòng verbatim) | 6 | 6 | 0 |
+| git-forensics E1 | 10 | 10 | 0 |
+| **E1 "~2,5×"** | 1 | **0** | **1** |
+| git X1 | 3 | 3 | 0 |
+| git E2 (12 mốc + 4 dẫn-xuất) | 16 | 16 | 0 |
+| trục 4 (`9.682 · 13.906 · 23.588`) | 3 | 3 | 0 |
+| **TỔNG** | **177** | **172** | **5** |
+
+**Tự-cộng lại:** 172 + 5 = **177** ✓ khớp cột tổng. **5 số lệch** = `998.672` · `305.363` · `"6 giảm"` · `"10 tăng"` · `"~2,5×"`.
+
+---
+
+## §10 — VERDICT PER-CLAIM (nghĩa-vụ ii) — **KHÔNG gộp, liệt từng TRƯỢT**
+
+**Tổng: 55 ĐẠT / 5 TRƯỢT / 2 KHÔNG-CHẤM trên 62 claim.**
+· Nấc ĐO: **28 Đ / 3 T / 1 KC** · Nấc ĐỀ-XUẤT: **27 Đ / 2 T / 1 KC**
+
+### 🔴 5 TRƯỢT — từng dòng, có neo
+
+| # | nấc | claim TRƯỢT | số đúng (tao re-dựng) | decision-impact |
+|---|---|---|---|---|
+| **T1** | ĐO | §6 + trục 11: `l2_verbatim 998.672 / l2_gist 305.363` | **990.672 / 277.963** (−8.000 / **−27.400 = −9,0%**) | **NIL** — trục tự phán N/A (không cap), 0 action treo. Nhưng là **số gán cho máy mà máy không in** |
+| **T2** | ĐO | trục 8: `6 giảm / 10 tăng / 1 y-nguyên` | **5 / 11 / 1** | **NIL** với verdict (MIXED không đổi) — nhưng **lớp lỗi meta-count**: `6+10+1` **cũng** = 17 nên tự-cộng của chính nó **không thể bắt** |
+| **T3** | ĐO | §10 signal #7 *"Gần cap nhất"* liệt hạng **2-3-4**, **rơi hạng 1** `inv-cb 22.452 = 87,7%` | hạng 1 phải là **inv-cb** | 🔴 **CÓ THẬT** — ai hành-động chỉ theo §10 sẽ **drain nhầm vai**. (Thân bài §3 có ghi đúng ⇒ lỗi ở khâu chuyển thân-bài→tín-hiệu) |
+| **T4** | ĐỀ-XUẤT | E1 *"~2,5× sâu hơn mức luật đòi"* | **2,27×** (phần vượt) hoặc **3,27×** (tổng rút); **2,5 không ra ở cả 2 cách** | **NIL** — mọi byte cứng exact, kết-luận "rút quá sâu" **không đổ** |
+| **T5** | ĐỀ-XUẤT | **A1** *"Phục-hồi vào L1 **2 mục** persona-anchored"* (lớp ① reinject) | **0/2 là floor-rot**: `<30 min trivial` = **matcher-artifact** (kiến-thức còn ở `MEMORY.md:46`, thua vì `30min` dính token) · `Spec ambiguity > 20%` = **build-gap** (chưa TỪNG ở L1; hit git là boilerplate *"NO ambiguity"*) | 🔴 **CAO — CHẶN THI-HÀNH**: A1 **không còn đích hợp-lệ**. Thi-hành y-văn ⇒ ghi **dòng đầu tiên** của `reinject-ledger` bằng **vật chưa mất** |
+
+### ⚖️ 2 điều phải nói cho CÂN (không để verdict bị đọc lệch)
+
+1. **T5 KHÔNG phải "bịa trigger" kiểu S162/R10.** Trigger `11/13 = 85%` là **số THẬT**, tao tái-dựng byte-exact. Và nấc ĐỀ-XUẤT **tự dựng đúng cái phanh** (PRECONDITION + 3 lớp + *"TỪ CHỐI ĐOÁN"*) **cấm thi-hành trước khi phân-loại**. Tao chỉ **xả phanh** bằng `-Detail`. **Phanh giữ được** ⇒ đây là hệ-thống hoạt-động ĐÚNG, không phải hỏng.
+2. **Cả 2 nấc chép nền RẤT sạch:** 172/177 số byte-exact; riêng nấc ĐO **17/17 baseline + 17/17 delta + 23/23 l1 + 10/10 l2_index** không sai 1 byte. **Cả 3 TRƯỢT của nấc ĐO đều ở khâu TỔNG-HỢP** (cộng tổng · phân-loại dấu · chọn mục vào danh-sách), **không ở khâu ĐO**. Đó là chỗ đáng vá, và nó **hẹp hơn nhiều** so với "số không tin được".
+
+### 🔴 2 việc giao LEAD (tao PHÁN, lead single-writer ghi)
+
+- **(a) CHẶN A1 thi-hành y-văn.** Đường đúng theo chính khuôn nấc ĐỀ-XUẤT: mục `<30min trivial` ⇒ **lớp (3), KHÔNG động file**; mục `Spec ambiguity > 20%` ⇒ **lớp (2) build-gap, CẤM reinject**. ⇒ **A1 quy về 0 action**, và `11/13` sẽ **đứng yên vĩnh-viễn** trừ khi đổi câu chữ hoặc đổi matcher — tức escalate OWNER mà nấc ĐỀ-XUẤT dự-liệu là **đúng hướng**, chỉ **đến sớm hơn 1 vòng**.
+- **(b) Containment:** `git status` sau lượt tao = `.claude/agents/investigator-codebase.md` · `docs/HANDOFF.md` · `docs/STATUS.md` (**3 file, KHÔNG phải tao**) + artifact này. **Tao ghi đúng 1 file.** MFE chạy trên **cây sao-chép ở scratch** ⇒ `.mfe-state.json` **KHÔNG bị tao chạm** (verify: không có trong `git status`).
+
+### Tự-khai điểm yếu của CHÍNH LƯỢT NÀY
+
+1. **Tao nằm trong tập được đo** (`harness-audit` l1 **9.248**, MFE **5/5**) — xung-đột cấu-trúc, không gỡ được ở nấc 3.
+2. **KC-1 + KC-2 để trống thật** (§7-ter) — không tô thành ĐẠT.
+3. **Trục `run-chua-gom = 4`: KHÔNG mở folder nào** ⇒ **NHƯỜNG `harvest-curator` (H2)**. Tao chỉ xác-nhận probe in ra `4`.
+4. **KHÔNG chấm diff-code** (reviewer) · **KHÔNG soi lead-surface** (H24) — đúng ranh-trục.
+5. Lượt này tao **bị cắt 2 lần giữa chừng** (#53); artifact cứu được vì ghi **flush từng mục**. Vẫn là bằng-chứng: **return-only = 0 đĩa để vớt**.
+
+---
+
+`HARNESS-AUDIT: 55Đ/5T — re-chạy 177 số, 172 byte-exact`
+
+== HẾT ==
+