wal: flush 20260801T0851

.claude/agent-memory/ctx-verifier/MEMORY.md

@@ -1,5 +1,7 @@
 # ctx-verifier Agent — Persistent Memory
 
+- **S166 (2026-08-01) LƯỢT 4 @`/tiep` window-4 L9 — verdict `CO — 11 cờ` `[LEAD SEED ON-BEHALF NGAY TẠI CỬA (không đợi closeout — F-01 vá nhịp); nguồn = `_tiep-3.md:6` + return CLEAN 0-garble]`:** B↔`next:` khớp 3/3 (lần đầu 0-lệch sau 4 lượt). **Cờ đắt nhất ⑥ = NÂNG CẤP luật S162 của chính mày:** S162 dạy *"nén = đối chiếu TỪNG ý D có nơi đi"*; nay thấy TRƯỚC khi nén — MIND-2 §D là **NHÀ ĐANG GÁNH 2 con-trỏ** (MIND-1 nén trỏ vào + MIND-3 carry trỏ vào, 22 dòng D) ⇒ **nén một block phải đi TÌM ai đang trỏ VÀO nó trước** (inbound-pointer check), không chỉ soát ý của chính nó. **⑨ số-học chặn trước:** nén MIND-2 theo khuôn cũ chỉ dư 6.331 B < MIND-4 dự phóng 6.776 B ⇒ THIẾU ~445 B — lời khuyên hành-động: MIND-4 viết ≤6.331 B hoặc nén sâu hơn. **⑦ class `claim > việc` bắt ở lớp mềm:** PAUSE-3 khai *"áp CẢ 10"* điểm curator, đĩa chứng bundle 12-ý-1-dòng vẫn nguyên (`_mind:103`) — luật bị phạm nằm NGAY TRONG bundle. **① nghề đọc-vớt artifact chết:** cicd-K3 2.640 B "chỉ §0 = 0/6" NHƯNG vớt mốc recycle-proof PID 5364 @17:11:25 làm thước đo deploy cho lượt re-verify — artifact chết vẫn để lại thước. ⑩ header nén tự-tuyên "18 ý" thật 19 (lần 2 class này — S158 đã dạy "header tự tuyên = phải kiểm"). Tag `[s166, lan-chay-4, inbound-pointer-check-truoc-nen, so-hoc-nen-chan-truoc, claim-ap-ca-10-thuc-mot-phan, artifact-chet-de-lai-thuoc, seed-on-behalf-tai-cua]`
+
 - **S162 (2026-07-30) LƯỢT 3 @`/tiep` window-4 L8 — verdict `CO-CO — 8 cờ` `[LEAD SEED ON-BEHALF @closeout — nguồn: đĩa `_tiep-3.md:6` + return; H2 F-01 HIGH bắt: mày CHẠY THẬT 3 phiên (S153 seed · S158 seed · S162 seed) mà **CHƯA LẦN NÀO tự APPEND** ⇒ hỏng ở khâu GHI, không ở phát hiện; vá gốc = wire diary-append vào `tiep.md §3-ter`, đã lên HANDOFF NEXT-em #1]`:** 8 cờ K1-K8. **Cờ đắt nhất K7 = biến-thể LÙI-MỘT-TẦNG của chính nấc-vàng S156:** S156 mày dạy *diff tập-ý D block-trên vs block-dưới*; lead làm đúng (MIND-3→MIND-4 **SẠCH 6/6**) — nhưng rò **tụt xuống block ĐÃ NÉN**: nén MIND-1 @PAUSE-3 chỉ cấp disposition `(nay …)` cho **3/5 dòng D**, và **đúng 2 dòng không disposition = 2 ý biến mất**: `slot-45` (tiền-đề đã LẬT — trần thật 89,06%) + `detectors :1095/:1760 lọc sub-* sót trio-return (C11b)` (**0 hit ngoài MIND-1** ⇒ nén lần nữa là MẤT HẲN). ⇒ **LUẬT MỚI: nén block = phải đối chiếu TỪNG ý mục D có nơi đi (đóng/carry/con-trỏ), không chỉ đếm byte.** **K2/K3 lớp mới:** con-trỏ `WAL:49` chết + `WAL:8,10` giải-nhầm IM-LẶNG — WAL **tái sinh + đánh số lại mỗi `/pause`** ⇒ mọi con-trỏ số-dòng vào WAL **thối trong 1 cửa**, và thối im lặng vì path vẫn tồn tại nên máy con-trỏ (phép 4) KHÔNG kêu ⇒ **trỏ WAL theo NỘI-DUNG**. K4 orphan ×3 (1 **dương-giả TÊN** — H2 sau đó bác chẩn đoán của lead: glob `*-synthesis.md` **neo ĐUÔI**, không phải thiếu dấu `-`) · K5 nhãn chưa hạ dù đã thi hành · K6 trần đo tươi 89,1% · K8 OVERDUE 8/6→9/6 (sổ máy tươi thắng CẢ WAL lẫn `_mind`). Lead áp: K7 di-trú 2 ý vào WAL→HANDOFF (`[carry:mind-tran-nen-moi-cua]` slot 58) · K8 vá 2 nơi · K2/K3 thành bài học session-log. Tag `[s162, lan-chay-3, van-chua-tu-append-3-lan, ro-tut-xuong-block-da-nen, con-tro-WAL-theo-noi-dung, glob-neo-duoi, seed-on-behalf]`
 - **S156 (2026-07-27) LƯỢT CHẠY ĐẦU ĐỜI — spawn-probe ALIVE, nấc `file-land`→CHẠY THẬT @`/tiep` §3-ter (L7 window 3):** verdict `CO-CO — 10 cờ`. Nấc-vàng học được: **4 khoản của mày ĐỀU ra cờ, nhưng cờ NẶNG nhất KHÔNG nằm ở khoản nào cả** — nó là **biến-thể NGƯỢC của khoản 3**: ý mục D **rơi IM-LẶNG** giữa 2 block (MIND-1→MIND-2 mất 3 ý, 0 khai) trong khi khoản 3 chỉ dạy soi "định-đoạt mà chưa đổi nhãn". ⇒ **LUÔN diff tập-ý D block-trên vs block-dưới**, đừng chỉ đọc block top (đúng vệt `absence_looks_like_clean`). Ca đắt nhất: ý "trần `mind_ctx_kb`=32KB" {treo-chờ-anh} rơi ĐÚNG lúc nó thành ràng-buộc thật — đo ra `_mind` **85,5% trần (28.010/32.768 B), dư 4.758 B < mọi block (5.767-7.536)** ⇒ MIND-3 sẽ vượt, luật buộc nén MIND-1.
   **2 nghề rẻ mà ăn tiền:** (a) **đo byte từng block** (`python` split theo `## MIND-`) — 1 lệnh ra cờ trần + số để lead quyết nén · (b) **chạm ĐĨA để bác chú-thích lớp mềm**: §E ghi `sub-implementer-backend-1.md` "(file này không còn)" mà `ls` ra **3.499 B, commit `9c0ac68`, ruột toàn `⏳`** ⇒ nhãn đúng = `skeleton-ruột-rỗng` CÒN SỐNG. Máy `mind-check` chấm `dat` vì nó chỉ soi path TỒN TẠI — **máy đúng, chữ sai**; khoản 4 phải soi CHÚ-THÍCH chứ không chỉ đọc verdict.