wal: flush 20260805T1158

.claude/sessions/session-11/_mind-s-11.md

@@ -39,6 +39,43 @@ Máy chỉ quét phần **DƯỚI** marker đóng khối luật. Khối luật
      (`_MIND_TOP_MARKER` trong scripts/session_ctx.py) -- khac khuon `FLOW-START` cua _context (khong may nao doc). -->
 <!-- MIND-TOP -->
 
+## MIND-1 — 2026-08-05T11:52:00+07:00 @ 1b3bcaa (window 1, refresh sau khi 11/11 vai chốt)
+
+### A. Gói-turn
+
+- 11 vai đóng sổ đủ. `harness-audit` `50Đ/7T` (57.039 B) · `ctx-audit` `TRUOT — 7 FLAG` (33.746 B). Tổng artifact run-folder ~245 KB.
+- **#53: 11/11 vai first-return garble, mất 0 byte** — vớt toàn bộ bằng `SendMessage` resume-từ-transcript.
+
+### B. Hướng-tiếp + nhánh-đã-loại
+
+- **Đi tiếp:** báo owner bản tổng + 6 việc cần anh quyết → chờ giao việc. `ring2` **đã chốt `15Đ/3T`** (vá lệch nội-bộ MIND-0 §B vs §E mà `ctx-audit` F-4 bắt: §B liệt `ring2` là vai-cần-chốt trong khi §E đã ghi verdict).
+- **Nhánh đã LOẠI ④:** *sửa MIND-0 tại chỗ để vá F-4/F-5* — LOẠI vì block cũ BẤT BIẾN; đường đúng là chèn block refresh, chính `mind-check` phép (10) đã chỉ.
+- **Nhánh đã LOẠI ⑤:** *thi-hành nguyên văn E4 vế "thiếu S163+S168+S169"* — LOẠI: `harness-audit` chứng **S168 CÓ** trong sổ ⇒ làm theo sẽ **nhân bản mục đang đúng**; thiếu thật là S144·S154·S158·S163·S169.
+
+### C. Kế-hoạch (delta suy-nghĩ)
+
+- **Đổi lớn nhất so MIND-0:** MIND-0 §C viết bài học *"đóng slot = đồng-bộ MỌI bề-mặt kể cả sổ owner"* rồi **vi phạm chính nó cách 7 dòng** (`ctx-audit` F-5, lần thứ BA sau S162/S172) ⇒ nhận: **bài học ở dạng câu chữ trong context KHÔNG tự bật**; chỉ **van có đường thi hành** mới bật. Slot (69) đã kê thuốc đó cho `/pause`, **chưa kê cho carry**.
+- **Đổi thứ hai:** 3 giả-thuyết cơ-chế của lead trong phiên (dot-blind · dấu-`/` · headroom-gia-tốc) đều **BROKE**, 2 trong đó lead đã báo owner trước khi bị bác ⇒ hạ nấc: **lead nêu giả-thuyết thì gắn nhãn giả-thuyết**, đừng trình bày như đã đo.
+- **Đổi thứ ba:** `harness-audit` tách `:25` khỏi vùng planner-mù sang vùng **`value_protect`** ⇒ 2 lớp sống-dai khác nhau, **2 đường vá** — lead trước đó gộp làm một.
+
+### D. Đang-thảo-luận
+
+- 🔴 `ROTATE mật-khẩu prod vrapp` rơi khỏi mọi bề-mặt sống, nhà cuối `session-10/_end` (phiên ĐÓNG, không đuôi `.md` ⇒ mọi quét `*.md` mù) — phải đưa lại HANDOFF {treo-chờ-anh}
+- Slot (67) người **soạn** có được upload file khi duyệt — discriminator ở CHỦ THỂ {treo-chờ-anh}
+- Slot (70) MỞ LẠI, bản vá phải neo cả `**`/`##`/`###` (3 khối mù `:27` `:68` `:102`) {gần-chốt}
+- Nợ harvest thật **583.683 B** vs "~306 KB" sổ ghi — gom hay để ngủ {treo-chờ-anh}
+- Thước MFE **thiên-lệch theo ĐỘ DÀI diary** (thưởng vai phình to, ngược trục `autoinject_cap`) — quyền owner, 2 vai cố ý không tự đổi {mới-nêu}
+- Headroom: cắt `STATUS.md` 226.173 B + `HANDOFF.md` 175.771 B theo tiering-rule sẵn có, hay nâng trần {mới-nêu}
+- `carry-restamp-unwired` — nghi-thức re-stamp Carry 0-hit trong lớp mềm, cùng thuốc slot (69) chưa kê cho carry {mới-nêu}
+- Monthly drift-audit quá hạn 4 ngày, `ring1` phân xử **chưa chạy thật** {mới-nêu}
+- 9 dir rỗng `agent-memory/<role>/` trong run-folder = **lỗ backstop thứ 3** (git không track dir rỗng; `measure-agent-memory` không quét path đó) {mới-nêu}
+
+### E. Dòng-sống spawn/engine-run
+
+- `harness-audit` — **50Đ/7T** (con-ĐO 24Đ/5T · con-ĐỀ-XUẤT 26Đ/2T); 5 instrument re-chạy, **84/85 ô byte-exact** — `.claude/workflows/runs/2026-08-05-S173-bookend-open/harness-audit-return.md`
+- `ctx-audit` — **TRUOT — 7 FLAG** (ca fallback hồi-tố: L11 0-pause/0-tiep ⇒ vai-1/vai-2 chưa chạy) — `.claude/workflows/runs/2026-08-05-S173-bookend-open/sub-ctx-audit-open-S173.md`
+- 9 vai còn lại: xem mục E của MIND-0 (con-trỏ 9/9 giải được, `ctx-audit` đã verify)
+
 ## MIND-0 — 2026-08-05T10:38:03+07:00 @ 1b3bcaa (window 1)
 
 ### A. Gói-turn

.claude/workflows/runs/2026-08-05-S173-bookend-open/harness-audit-return.md

@@ -423,4 +423,260 @@ Tao tự chạy (DRY). Máy in:
 - Tao tự cộng 10 số per-sub: 112+9+48+43+44+56+7+57+33+20 = **429** ✓ — khớp tổng, và khớp đúng bộ 10 số con-ĐO liệt.
 - **`no sub over cap` + strike 0** ⇒ khớp con-ĐO §4. **ĐẠT.**
 - Va-chạm A1 dự-báo **429→432** (3 con-trỏ mới): nhất-quán với nền 429 tao vừa xác nhận.
+- `distill-shard-probe` tao chạy lại: `SHARD-PROBE: pending=1 | nguong=15 => IM` ⇒ **ĐẠT**, và nền cho va-chạm A1 `1→2`.
+
+---
+
+## §9 — E-09 NHÃN DENOM `50` vs `66` — **ĐẠT, và tao củng cố bằng điểm đo THỨ HAI**
+
+con-ĐO khai: cùng 1 lần chạy, `governance-detectors` in **`TOTAL FLAGS: 50`** (+ INFORM-only **16** đếm riêng) còn `memory-selfimprove-audit` B1 in **`66 advisory FLAG`**, và **50 + 16 = 66**.
+
+Tao chạy lại **cả hai** ở thời-điểm muộn hơn:
+```
+governance-detectors :  TOTAL FLAGS: 51
+                        INFORM-ONLY (C6 + H24-4 + H24-5 + C9 + C11 + C12): 19  - counted SEPARATELY, NOT in TOTAL above
+memory-selfimprove   :  B1 | PASS | ... exit 0; 70 advisory FLAG surfaced
+```
+**51 + 19 = 70** ✓
+
+🔴 **Đây là bằng-chứng MẠNH HƠN con-ĐO có:** con-ĐO chứng quan-hệ ở **1 điểm** (50+16=66) — về nguyên-tắc có thể là trùng-hợp số học. Tao chứng ở **điểm thứ 2, giá-trị khác hẳn** (51+19=70) ⇒ quan-hệ `B1 = TOTAL + INFORM-only` là **cấu-trúc**, không phải ngẫu-nhiên. **E-09: ĐẠT.**
+
+**Hệ-quả cho lead:** hai máy cùng dùng chữ **"FLAG"** với **hai mẫu-số khác nhau**; trích một trong hai mà không kèm mẫu-số ⇒ báo sai. Đúng như con-ĐO cảnh báo.
+
+> Phụ-chú (không tính điểm ai): chính lượt chạy của tao làm TOTAL **50→51** và INFORM **16→19** — vì file tao đang ghi + 3 sub-md mới rơi vào tầm detector. Củng cố quan-sát S-10 của con-ĐO: **phiên tự sinh flag cho chính nó**. HCV cũng trôi `4 sub-md` → `7 sub-md` cùng lý do (trục này **NHƯỜNG H2**, tao không chấm).
+
+---
+
+## §10 — E-10 `l2_index`: số ĐÚNG, khai ĐÚNG, **nhưng KHÔNG TỰ TUÂN luật mình vừa đặt**
+
+### 10a. Số — ĐẠT
+
+| claim | tao đo | verdict |
+|---|---|---|
+| MAIN `_INDEX.md` cicd = 9.682 | `ls`: `_INDEX.md` = **9.682 B** | ✓ |
+| = 47,3% cap 20.480 | 9682/20480 = **47,28%** | ✓ |
+| rotated `_INDEX-2026-H1.md` = 13.906 | **13.906 B** (mtime 08-01) | ✓ |
+| TỔNG 23.588 = 115,2% | 9.682+13.906 = **23.588** = **115,18%** | ✓ |
+| S159 mốc cũ 19.484 = 95,14% | 19484/20480 = **95,14%** | ✓ |
+
+### 10b. 🔴 Tự-tuân luật — **TRƯỢT**
+
+con-ĐO tuyên **HAI LẦN**, rất rõ:
+- §7: *"Hai số **không cùng phép đo** — **không được trừ thẳng**."*
+- §13 S-13: *"95,14% và 47,3% **không cùng phép đo** — **cấm trừ thẳng**."*
+
+Rồi ở bảng verdict, dòng 388 **verbatim**:
+```
+| 3 | l2_index MAIN vs cap 20480 | cicd-monitor 9.682 = 47,3% | S159 19.484 = 95,14% | −47,8 điểm % | HEALTHY |
+```
+🔴 `95,14 − 47,28 = **47,86** → “−47,8 điểm %”`. Đó **chính xác là phép trừ thẳng** nó vừa cấm — và **verdict `HEALTHY` của dòng đó được rút ra từ chính con số ấy**.
+
+**FALSIFY:** thử cứu nó — "có thể −47,8 là delta của một trục khác?" ⇒ **KHÔNG**: cột `baseline` của chính dòng đó ghi `S159 19.484 = 95,14%`, tức nó tự khai đang so với mốc S159. → **BROKE.**
+
+**Phán tách 2 vế (không gộp):**
+- **E-10a số + E-10b khai (disclosure)**: **ĐẠT** — nó *có* nêu bẫy, nêu sớm, nêu đậm, và còn tự khai tổng byte **TĂNG** 19.484→23.588. Trung thực.
+- **E-10c tự-tuân**: **TRƯỢT** — luật đặt ra rồi vi phạm ở đúng chỗ quan-trọng nhất (ô verdict). Cùng lớp lỗi với §7: *nói đúng ở phần văn, làm sai ở phần bảng*.
+
+---
+
+## §11 — E4: con-ĐỀ-XUẤT sửa **3 dữ-kiện của LEAD** — 🔴 **ĐÚNG CẢ 3. LEAD SAI CẢ 3.**
+
+| # | LEAD nói | refine sửa | TAO đo | phán |
+|---|---|---|---|---|
+| 1 | mỏ-neo `:23` | **`:27`** | `sed -n '27p'` ⇒ `- S141 (2026-07-20) seed khi adopt khuôn hub 58e28bae — CHƯA chạy lần nào; first-run chờ restart-CLI + spawn-probe + anh consent.` — **khớp verbatim câu refine trích**. `:23` là dòng **khác hẳn** (`- 🔴 MỖI action neo số con-ĐO cụ-thể; CHỐT-DỪNG per-đối-tượng…`) | ✅ **refine ĐÚNG — LEAD SAI** |
+| 2 | **11** return trên đĩa | **12** | `find … -name harness-refine-return.md` ⇒ **13** file, trong đó **1 là của chính phiên S173** ⇒ **12 return TRƯỚC ĐÓ** ✓. Tao đối chiếu **cả 12 byte-size** refine liệt: S144 14321 · S151 9050 · S152 7740 · S153 9792 · S154 20585 · S158 14075 · S159 16550 · S162 8140 · S163 34623 · S168 8573 · S169 26596 · S172 11219 — **12/12 BYTE-EXACT** | ✅ **refine ĐÚNG — LEAD SAI** |
+| 3 | thiếu **S163+S168+S169** (đóng băng từ S162) | thiếu thật = **S144·S154·S158·S163·S169** (5), còn **S168 + S172 ĐÃ CÓ** | Tao liệt entry thật trong diary: bullet `:3` **S168** · `:5` **S172** · `:7` S162 · `:8` S153 · `:27` S141 · heading `## S151` `:29` · `## S152` `:33` · `## S159` `:37` ⇒ **đúng 8 mục**, và **S168 CÓ THẬT**. 12 return − 7 phiên được phủ = **S144·S154·S158·S163·S169** | ✅ **refine ĐÚNG — LEAD SAI** |
+
+🔴 **Ghi thẳng, không nể:** lệnh giao của lead sai **3/3 dữ-kiện** ở món E4 — và đây là **lần leo-thang thứ 3** của cùng món, tức 3 vòng liền lệnh giao mang dữ-kiện chưa chạm đĩa. Con-ĐỀ-XUẤT **chạm đĩa trước khi thi-hành** và **từ chối thi-hành nguyên văn một lệnh sai hiện-trạng** (nếu làm theo sẽ **nhân bản mục S168 đang đúng**). Đó là hành-vi **ĐÚNG**, không phải né việc.
+
+### 11b. Một số của refine KHÔNG tái-dựng được — **TRƯỢT**
+
+refine viết: *"61.219 B / **195.244 B** tổng công-việc = **31,4%**"*.
+Tao cộng 12 return: **181.264 B**. ⇒ mẫu-số lệch **+13.980 B**; tỉ-lệ thật = **33,8%**, không phải 31,4%.
+- Tử-số **61.219** (S163 34.623 + S169 26.596) ⇒ **ĐẠT byte-exact**. "2 return lớn nhất lịch-sử vai" ⇒ **ĐẠT** (34.623 > 26.596 > 20.585).
+- Mẫu-số ⇒ **TRƯỢT**. Hướng lệch làm claim của chính nó **NHẸ ĐI** (33,8% > 31,4%) ⇒ không phải thổi phồng. (Giả-thuyết khả dĩ: nó gộp cả file đang-viết của chính nó ~13.980 B lúc đó — tao **không chứng được**, nên chỉ ghi là **không tái-dựng được**.)
+
+---
+
+## §12 — KIỂM TỪNG ZERO (① ② ④) — zero-có-lý-do ⟂ zero-vì-lười
+
+| lớp | refine khai | TAO kiểm độc-lập | phán |
+|---|---|---|---|
+| **① reinject = 0** | ứng-viên duy nhất `impl-fe` bị chốt-dừng khoá → E2; ledger `:12` cấm reinject khi chưa phân-loại floor-rot/build-gap; tên mục cần `-Detail` chưa ai chạy | `reinject-ledger.md` = 57 dòng khung, `:34` = `_(chưa có floor-rot nào được reinject — ledger khởi-tạo trống S95)_` ⇒ **0 dòng thật, ĐÚNG**. `-Detail`: grep `scripts/` ⇒ **0 nơi truyền**; `commands/session-end.md:68,164` gọi `mfe-eval.ps1` **vô-điều-kiện** nhưng **không có `-Detail`** ⇒ **built-but-never-invoked ĐÚNG**. 🔴 **VÀ §4 của tao chứng zero này KHÔNG chỉ có-lý-do mà là ĐÚNG THỰC-CHẤT:** mục MISS là **hiện-vật phép đo**, reinject vào đó = nhồi rác | ✅ **ZERO CÓ LÝ-DO — và đúng** |
+| **② promote = 0** | 3 "nhà đúng" đều khoá: sổ mình (S154 chưa land) · `harness-eval` (S172 chưa land) · `ring4-audit` (S172 chưa land) | (a) `harness-refine/MEMORY.md:27` câu sai **còn nguyên** ✓ (§11). (b) `harness-eval/MEMORY.md` `## Luật cứng` `:23` ⇒ đếm bullet: `:24` `:25` `:26` = **đúng 3 bullet**, **không có bullet-4 control-dương** ✓ — 🔴 tao kiểm trên bản **SAU commit 11:05** (bản mới nhất), nên đây **không phải số cũ**. (c) `grep -c "S170" ring4-audit/MEMORY.md` = **0** ✓ | ✅ **ZERO CÓ LÝ-DO — 3/3 tiền-đề đúng trên đĩa hôm nay** |
+| **④ distill = 0** | máy in `pending=1 \| nguong=15 => IM`, dư địa 14 | tao chạy lại `distill-shard-probe.ps1` ⇒ `SHARD-PROBE: pending=1 | nguong=15 => IM` ✓ | ✅ **ZERO CÓ LÝ-DO — máy nói IM** |
+
+⇒ **3/3 zero là zero-CÓ-LÝ-DO**, mỗi cái neo vào **vật đo được trên đĩa**, không cái nào là zero-vì-lười. Và refine **không** dùng zero để trốn: nó vẫn nộp **15 ứng-viên đã-bác** + **5 escalate có payload**.
+
+---
+
+## §13 — Khai "A1 KHÔNG chữa `:25`" có TRUNG THỰC không — **CÓ**
+
+refine tự khai (§8): *"A1 rút bullet bên trong `## 📅 Runs` và cố ý GIỮ NGUYÊN `## 🎯 Role baseline` ⇒ hai việc không đè nhau… thi-hành A1 xong mà tưởng `:25` đã sạch là sai. Cần **cả hai**."*
+
+Tao kiểm:
+- `## 🎯 Role baseline` ở **`:21`**; dòng ring1 bắt ở **`:25`** = `- Input = OUTPUT của lead-stale-auditor (**5 class view-***) + lead-gap-auditor (6 class gap-*).` ⇒ **`:25` NẰM TRONG khối `:21-32`** ✓
+- Tập A1 rút = `:35`, `:37-41`, `:49-54` — **tất cả ≥ :35**, đều dưới `## 📅 Runs` (`:33`) ⇒ **KHÔNG chạm `:25`** ✓
+- `## 🎯 Role baseline` nằm trong danh-sách **GIỮ** của A1 ✓
+
+⇒ **ĐẠT — khai trung thực.** Nó **chủ động tự trừ điểm cho action của chính mình** thay vì để A1 trông như đã dọn sạch file. Đây là hành-vi đúng chiều với luật *"vắng-mặt trông giống ổn"*.
+
+**Hội-tụ 4 vai trên cùng 1 file** — tao xác nhận cả 4 nhất-quán, không mâu thuẫn:
+| vai | thấy gì ở `ring2-audit/MEMORY.md` | tao kiểm |
+|---|---|---|
+| `ring1-audit` | `:25` dạy **"5 class view-*"** trong khi enum nay 6 view-* + 6 gap-* = 12 | ✓ `:25` verbatim ghi `5 class view-*` — **stale thật** |
+| `harness-refine` | **11.106 B = 47,3%** nằm TRÊN `##` đầu ⇒ planner đếm 7 entry mà không thấy gần nửa file | ✓ **byte-exact** (§5a) |
+| `ring2-audit` (15Đ/3T) | tự đo lại ra **cùng 11.106 B / 47,3%** + bổ cơ-chế: dòng dạy sai **nằm trong vùng planner mù ⇒ không bị soát ⇒ sống mãi** | ✓ tao đo độc-lập ra **đúng 11.106 B**, 3 nguồn trùng nhau |
+| `harness-audit` (tao) | 🔴 bổ vế 4: `:25` **KHÔNG** ở vùng mù — nó ở `:21-32`, **DƯỚI** heading đầu, tức **planner CÓ thấy** | — |
+
+🔴 **Chỉnh lại cơ-chế của `ring2-audit` cho chính xác** (củng cố nhưng thu hẹp): dòng dạy sai `:25` sống dai **KHÔNG phải** vì nằm trong vùng planner mù. Nó nằm trong `## 🎯 Role baseline` = vùng **`value_protect` / spine**, tức vùng **CỐ Ý không bị archive đụng tới**. ⇒ **2 cơ-chế khác nhau, cùng một hậu-quả:**
+- vùng **mù** (`:1-20`, 47,3%) ⇒ planner **không đếm** ⇒ byte trốn khỏi ngân-sách;
+- vùng **bảo-hộ** (`:21-32`) ⇒ planner **thấy nhưng cấm đụng** ⇒ **nội-dung hết hạn được miễn-nhiễm vĩnh-viễn**.
+`:25` thuộc loại **thứ hai**. Vá loại 1 (A1) **không** vá được loại 2 — đúng như refine cảnh báo. Và loại 2 **nguy hơn**: nó là vùng **luôn-nạp mỗi lần spawn**.
+
+---
+
+## §14 — CHƯA CHẠM (khai thẳng — CẤM đọc thành sạch)
+
+| trục | vì sao không chấm |
+|---|---|
+| nhịp light `1/6` · deep `7/15` | **KHÔNG re-chạy** `nhip-no-probe.ps1` ⇒ **KHÔNG-CHẤM-ĐƯỢC**, không suy từ số người khác |
+| detector INFORM `13→16` | số đã trôi tiếp (`19` ở lượt tao) ⇒ **không tái-dựng được điểm đo của con-ĐO**. Nhường `tooling-auditor` (N5) |
+| độ-giữ diary `0/23` nhắc S173 | số đúng **tại 11:02**, nhưng **hết hiệu-lực lúc 11:05** (§1b). Tao **không chấm ĐẠT/TRƯỢT** — đo lại bây giờ là đo một cây khác |
+| `class_repeat` 8/12 ≥4 vs `jump=3` | turf **H24 / `lead-gap-auditor`** (refine N4) — **NHƯỜNG** |
+| HCV `4 sub-md / 0 synthesis` · `run-chua-gom` | turf **`harvest-curator` (H2)** — **NHƯỜNG**, cả 2 nấc trên cũng nhường |
+| `.archive-strikes.json` 20/23 | turf **`tooling-auditor`** (refine N3) — **NHƯỜNG** |
+| nội-dung 5 escalate payload (E1-E5) | là **đề-xuất**, chưa phải vật trên đĩa ⇒ không có gì để đo |
+
+---
+
+# §15 — BẢNG VERDICT PER-CLAIM (không có verdict-tổng gộp che dòng lẻ)
+
+## 15a. Con-ĐO `harness-eval` — **24 ĐẠT / 5 TRƯỢT**
+
+| # | claim | verdict |
+|---|---|---|
+| E-01a | headroom hôm nay **148.183** | ĐẠT |
+| E-01b | đơn-điệu giảm, **chưa 1 lần đảo chiều** (tao kiểm đủ **6** mốc) | ĐẠT |
+| E-01c | *"mốc thứ **4**"* | 🔴 **TRƯỢT** — mốc **thứ 6** |
+| E-01d | *"bước sụt kỳ này **−17.584**"* | 🔴 **TRƯỢT** — bước thật **−4.785**; −17.584 = **3 phiên gộp** |
+| E-01e | *"−17.584 > tổng 2 bước trước ⇒ **GIA TỐC**"* | 🔴 **TRƯỢT — DẤU ĐẢO** (−4.785 < −7.956 ⇒ **chậm lại**) |
+| E-02a | hotload **695.451 B** | ĐẠT |
+| E-02b | **+99.135 / +16,6%** vs S153, cùng 6 nguồn | ĐẠT |
+| E-02c | *"khoảng thiếu giãn **17.584** trong 5 ngày (vs S168)"* | 🔴 **TRƯỢT** — neo nhầm mốc; giãn thật kỳ này **4.785** |
+| E-03 | `measured` **17/23**, vắng đúng 3 ctx + 3 ring | ĐẠT |
+| E-04a | **16/17 row lệch**, 1 khớp (`office-document`) | ĐẠT |
+| E-04b | đỉnh **`harness-audit` +773,3%** *(dòng về chính tao)* | ĐẠT |
+| E-04c | **5 row >300%** · **4 row >500%** | ĐẠT |
+| E-04d | quy gốc về **baseline SEED S141**, không đọc thành "phình 7,7×" | ĐẠT |
+| E-05a | **8/23 sub ≥ 80% `autoinject_cap`** | ĐẠT |
+| E-05b | đỉnh **93,5%**, còn **1.670 B** | ĐẠT |
+| E-05c | 7 số % còn lại (91,8 · 91,4 · 89,1 · 86,1 · 84,1 · 82,4 · 82,3) | ĐẠT |
+| E-05d | *"0 over-cap chỉ đo `soft_cap` nên giấu nhóm này"* | ĐẠT *(đúng tới tầng code `:32`)* |
+| E-06 | A7 **429/429, 0 hỏng**, 10/10 sub | ĐẠT |
+| E-07 | byte-fleet **0/23 vượt trần** | ĐẠT |
+| E-08 | MFE Goodhart `strikes 25 = baseline 25` | ĐẠT |
+| E-09 | nhãn DENOM **50 vs 66 (=50+16)** cùng 1 lần chạy | ĐẠT *(tao củng cố: 51+19=70)* |
+| E-10a | `l2_index` MAIN **9.682 = 47,3%** · tổng **23.588 = 115,2%** | ĐẠT |
+| E-10b | **khai** đổi định-nghĩa + tuyên **CẤM trừ thẳng** | ĐẠT |
+| E-10c | **TỰ TUÂN** luật đó | 🔴 **TRƯỢT** — bảng verdict `:388` trừ thẳng **−47,8 điểm %** rồi chấm **HEALTHY** |
+| E-11 | MFE DENOMINATOR **36** (9+15+5+7) | ĐẠT |
+| E-12 | Coverage-FIT **28.492 B / 2,5% / PASS** | ĐẠT |
+| E-13 | MFE liveness **exit 0, 23 role** | ĐẠT |
+| E-14 | **22/23 = 100%**, `impl-fe` **12/13 = 92%** (23/23 dòng) | ĐẠT |
+| E-15 | bảng byte-fleet: **22/23 l1 + 30/30 l2 + 4/4 tổng** | ĐẠT |
+| E-16 | mốc re-sync tự-hẹn **2026-08-01**, trôi **4 ngày** | ĐẠT |
+| E-17 | distill `pending=1 \| nguong=15 => IM` | ĐẠT |
+
+*(E-04d gộp vào nhóm E-04; tổng dòng chấm = 29 ⇒ **24 ĐẠT / 5 TRƯỢT**.)*
+
+## 15b. Con-ĐỀ-XUẤT `harness-refine` — **26 ĐẠT / 2 TRƯỢT**
+
+| # | claim | verdict |
+|---|---|---|
+| R-01 | khối đầu file **11.106 B = 47,3%** | ĐẠT *(byte-exact, 3 vai trùng)* |
+| R-02 | 3 khối rút = **3.120 B** → còn **20.375 B** | 🔴 **TRƯỢT-vi-mô** — thật **3.132 → 20.363** (lệch **12 B** = bỏ `\n`) |
+| R-03 | kết quả **dưới low-water 21.760** (A4 hysteresis) | ĐẠT *(cả 2 cách tính đều thoả)* |
+| R-04 | mức rút tối-thiểu chạm vạch **1.735 B** | ĐẠT byte-exact |
+| R-05 | biên **1,80×** | ĐẠT *(1,798; thật 1,805)* |
+| R-06 | entry vẫn **7 ≥ `keep_floor` 5** | ĐẠT |
+| R-07 | A7 **429 → 432** | ĐẠT *(nền 429 tao xác nhận)* |
+| R-08 | shard **1 → 2**, vẫn IM | ĐẠT *(nền pending=1 tao xác nhận)* |
+| R-09 | giữ 2 khối bài-học `:43-47` + `:56-60`, **không FIFO-by-date** | ĐẠT |
+| R-10 | `low_watermark_ratio 0.85` @ `memory-budget.json:82` | ĐẠT *(mỏ-neo số dòng chính xác)* |
+| R-11 | `keep_floor_entries 5` · `strike_threshold 2` · cap 25.600 | ĐẠT |
+| R-12 | E2: `mfe-eval.ps1:32` có `[switch]$Detail` | ĐẠT |
+| R-13 | E2: grep repo **0 nơi truyền `-Detail`** | ĐẠT *(scripts/ = 0; `session-end.md` gọi nhưng không cờ)* |
+| R-14 | E2: **built-but-never-invoked** | ĐẠT |
+| R-15 | E4: mỏ-neo **`:27` không phải `:23`** | ✅ ĐẠT — **LEAD SAI** |
+| R-16 | E4: **12** return không phải 11 | ✅ ĐẠT — **LEAD SAI** *(12/12 byte-exact)* |
+| R-17 | E4: thiếu thật **S144·S154·S158·S163·S169** | ✅ ĐẠT — **LEAD SAI** |
+| R-18 | diary có **đúng 8 mục** | ĐẠT |
+| R-19 | S163+S169 = **61.219 B**, 2 return lớn nhất | ĐẠT |
+| R-20 | *"61.219 / **195.244** = **31,4%**"* | 🔴 **TRƯỢT** — mẫu-số thật **181.264** ⇒ **33,8%** |
+| R-21 | E5(b) planner đếm **7 entry** mà không thấy 47,3% file | ĐẠT |
+| R-22 | **A1 KHÔNG chữa `:25`** — "cần cả hai" | ✅ ĐẠT — **khai trung thực, tự trừ điểm mình** |
+| R-23 | zero **①** có lý-do | ĐẠT *(+ §4 chứng nó đúng thực-chất)* |
+| R-24 | zero **②** có lý-do (3 nhà khoá) | ĐẠT *(3/3 tiền-đề đúng trên đĩa hôm nay)* |
+| R-25 | zero **④** có lý-do (`IM`) | ĐẠT |
+| R-26 | `reinject-ledger` **0 dòng thật** | ĐẠT |
+| R-27 | **Đ1** — 0/23 là lệch **PHA** (open vs close), không phải regression | ĐẠT |
+| R-28 | **Đ2** — máy CÓ đo tuổi **MARK** (`age-band`), chỉ không đo tuổi **diary**, và là **cố ý** | ĐẠT *(block `age-band` in ra trong lượt tao chạy: `>30d old but still Active=4 -> KEPT (status-driven, age-blind)`)* |
+| R-29 | **Đ3** — "+1" **không** đến từ can-thiệp nào (ledger 0 dòng) | ĐẠT *(và §4 củng cố: +1 là nhiễu matcher)* |
+
+*(28 dòng chấm ⇒ **26 ĐẠT / 2 TRƯỢT**.)*
+
+---
+
+# §16 — FALSIFY-LOG (HELD / BROKE)
+
+| # | phép thử **phủ-định** | kết |
+|---|---|---|
+| F-1 | *"3 nấc chạy song song ⇒ tao chấm bản cũ"* → mtime-chain 11:02 < 11:26 < 11:29 | **HELD** (tuần-tự thật) |
+| F-2 | *"con-ĐO bịa bảng 23 dòng byte"* → re-chạy `measure-agent-memory` | **HELD** — 22/23 byte-exact |
+| F-3 | *"vậy dòng lệch thứ 23 là bịa"* → truy `git log` ⇒ commit `f1e1ff9`@11:05 | **HELD** — lệch **có nguyên-nhân**, không phải bịa |
+| F-4 | *"tao đo cây LIVE nên báo TRƯỢT oan cả cụm"* (bẫy F14@S162) → `git diff --stat` 2 mốc | **HELD** — chỉ **1 file** trôi, đã cô-lập |
+| F-5 | *"cơ-chế `/` vs dấu-cách của lead đúng"* → đọc regex `[^a-z0-9]+`; cả 2 đều là separator | **BROKE** — cơ-chế lead **sai** |
+| F-6 | *"vậy kết-luận 'hiện-vật phép đo' của lead cũng sai"* → tái-dựng matcher trên 2 diary | **HELD** — kết-luận **đúng**, còn mạnh hơn (2 hiện-vật ngược chiều) |
+| F-7 | *"backend PASS vì nhớ tốt hơn"* → truy nguồn token `30` ⇒ `mig 29/30/31` | **BROKE** — PASS nhờ **va-chạm ngẫu-nhiên**, 0 liên quan ngữ-nghĩa |
+| F-8 | *"chuỗi headroom 4 mốc là đủ"* → grep 5 giá-trị về run-folder gốc | **BROKE** — thiếu **2 mốc có stdout máy** (S163, S169) |
+| F-9 | *"có phải TAO bịa 2 mốc để bắt lỗi?"* → mở `S163 run.md:31` + `S169:146` thấy block stdout | **HELD** — 2 mốc **là số máy**, tao không dựng |
+| F-10 | *"có lý do chính-đáng loại S163+S169 (khác loại bookend)?"* → cả 2 đều `bookend-open` như S173 | **BROKE** — không có tiêu-chí loại |
+| F-11 | *"thêm 2 mốc thì đơn-điệu gãy ⇒ con-ĐO sai cả trục"* → so 6 mốc | **HELD** — đơn-điệu **vẫn giữ**; con-ĐO đúng về HƯỚNG |
+| F-12 | *"lệch 12 B của A1 lật kết-luận"* → drain thật 3.132 > ngưỡng 1.735 gấp 1,8× | **HELD** — không lật; lệch về phía **an-toàn** |
+| F-13 | *"refine bịa số khối vì cộng 8 khối ≠ file"* → trừ đúng độ-dài heading ⇒ khớp cả 3 | **HELD** — quy-ước nhất-quán *(nhưng không khai)* |
+| F-14 | *"quan-hệ 50+16=66 chỉ là trùng-hợp số học"* → đo điểm thứ 2 ⇒ 51+19=70 | **BROKE** — là **cấu-trúc**, không trùng-hợp |
+| F-15 | *"con-ĐO tuyên CẤM trừ thẳng thì chắc nó tuân"* → đọc `:388` | **BROKE** — nó **tự vi phạm** |
+| F-16 | *"3 đính-chính của refine là bắt bẻ vặt / sai"* → `sed 27p`, `find`, liệt entry | **HELD** — **đúng cả 3**, lead sai cả 3 |
+| F-17 | *"zero ①②④ là zero-vì-lười"* → kiểm 3 tiền-đề trên đĩa hôm nay (post-11:05) | **HELD** — **3/3 có vật neo** |
+| F-18 | *"A1 dọn xong thì `:25` sạch"* → tập rút ≥`:35`, `:25` ở `:21-32` | **HELD** — refine khai **đúng**, cần cả hai |
+| F-19 | *"`:25` sống dai vì nằm vùng planner mù (theo ring2)"* → `:25` ở **dưới** `##` đầu | **BROKE (một phần)** — cơ-chế thật là **vùng `value_protect`**, không phải vùng mù |
+| F-20 | *"git status là backstop đủ"* → 9 thư-mục memory **rỗng** trong run-folder, git không track dir rỗng | **BROKE** — lỗ thứ **3**, ngoài cả working-tree lẫn `wal:` commit |
+
+---
+
+# §17 — 3 điều lead cần mang đi (ngoài verdict)
+
+1. 🔴 **Chuỗi LỊCH-SỬ không có ai canh.** Ranh-trục hiện tại: nấc 1 đo **kỳ này**, nấc 2 **cấm đo lại**, ⇒ số lịch-sử đi thẳng ra kết-luận **không qua cửa kiểm nào**, trừ khi nấc 3 tự truy. Lỗi này **đã tái-phát ≥2 vòng** (S169 cũng neo nhầm mốc S162 thay vì S163). Không phải lỗi của một con — là **khe giữa các vai**.
+2. 🔴 **Hai lớp "sống dai" khác nhau trong diary**: vùng **mù** (trên `##` đầu — planner không đếm) và vùng **bảo-hộ** (`value_protect` — planner thấy nhưng cấm đụng). A1 vá lớp 1. `:25` thuộc lớp 2 và **ở vùng luôn-nạp mỗi spawn** ⇒ nguy hơn. Cần **2 đường vá khác nhau**.
+3. 🔴 **MFE per-role thiên-lệch theo ĐỘ DÀI diary** (§4): khớp nhờ token rời bất kỳ đâu ⇒ **file càng to càng dễ 100%**. Ngược chiều trục `autoinject_cap` mà cả 3 nấc đang kéo xuống. **Thước = quyền owner**, tao **không đề-xuất đổi**, chỉ đặt lên bàn.
+
+---
+
+# §18 — CAVEAT (khai thẳng)
+
+1. 🔴 **"read-only" = thiếu tool, KHÔNG phải sandbox.** Lượt này tao **CÓ ghi**: (a) **duy nhất** file này; (b) `.claude/agent-memory/.mfe-state.json` +1 dòng history do chạy `mfe-eval` (state riêng của mfe). Tao **KHÔNG** chạm `.claude/agent-memory/*/MEMORY.md`, `memory-budget.json`, `reinject-ledger.md`.
+2. 🔴 **Backstop có 3 lỗ, không phải 1:** working-tree (`git status`) · Stop-hook `wal:` commit nuốt dấu (ring1 đã chứng) · **thư-mục rỗng vô-hình với cả hai** (§6e, tao mới bắt). Soát tao bằng `git show --stat` các commit `wal:` **và** `find <run>/.claude -type f`.
+3. **Verdict của tao chỉ phủ cái tao ĐO.** 7 trục ở §14 = **KHÔNG-CHẤM-ĐƯỢC / NHƯỜNG** — **cấm đọc thành sạch**.
+4. **Tao chấm số + spec-conformance, KHÔNG chấm diff-code** (turf `reviewer`), **KHÔNG soi lead-surface** (turf H24), **KHÔNG harvest-op** (turf H2).
+5. Tao **PHÁN**, lead **single-writer** ghi. File này là **đề-xuất verdict**, không phải hành-động.
+
+---
+
+**Tổng: 50 ĐẠT / 7 TRƯỢT** trên 57 claim *(con-ĐO 24Đ/5T · con-ĐỀ-XUẤT 26Đ/2T)* — cộng từng dòng §15a+§15b, **không dùng số tổng đóng vai đã-phủ-hết**.
+7 TRƯỢT tập trung ở **2 cụm**: chuỗi headroom (4 dòng, cùng 1 gốc **mốc bị bỏ**) · tự-tuân-luật `l2_index` (1) · số học vi-mô của refine (2, cả 2 **conservative**, không lật kết-luận).
+
+END
+
+HARNESS-AUDIT: 50Đ/7T