wal: flush 20260807T1523

This commit is contained in:
pqhuy1987
2026-08-07 15:23:14 +07:00
parent 301a68ce6a
commit 0a31d03e8b
6 changed files with 319 additions and 32 deletions

View File

@ -81,22 +81,19 @@ Adversarial pre-commit reviewer SOLUTION_ERP. Read-only verify + live curl prod
- **3 bài đo:** số trong sổ phải là số **ĐO** không ước (`wc -c`, baseline thừa-kế cũng stale) · script sinh chữ **đẻ chữ hỏng câm** (byte-count không bắt, chỉ ĐỌC LẠI mới thấy) · hook đếm **KÝ TỰ** còn `wc -c` đếm **BYTE** — tiếng Việt đa-byte ⇒ 2 số lệch nhau là bình thường, đừng truy "ai sai".
- **Prev:** S180 (probe 10/10 + control-âm) · S168 (22.2→17.1) · S166-K5 (3/3) · S162 (2/2) · S145 · S140 · S134 · S128 · S102 · S116 · S113 · S109 · S80 · S71 · S70 · S40.
## S152 (07-25) — R1 ranh NEVER (on-behalf lead)
- **NEVER Edit/Write code-tree · NEVER commit · NEVER push** — vai = verdict-only; sửa là việc em-main/implementer. Khai thật 2 nấc: ranh commit/push/code-tree **chưa từng vỡ**; Write/Edit runtime CÓ cấp và dùng hợp lệ cho sub-file run-folder + diary-self (AS-10). "NEVER" áp cho ĐÍCH (code/commit/push), không phải cho tool-tồn-tại; containment thật = git-diff lead. Tag `[s152, r1-retention, never-target-scoped]`
- **[→ `archive/2026-08.md` §@S152-R1 — verbatim] S152 R1 ranh NEVER:** verdict-only; NEVER áp cho ĐÍCH (code-tree·commit·push — chưa từng vỡ); Write/Edit runtime hợp lệ cho sub-file run-folder + diary (AS-10); containment thật = git-diff lead.
- **[→ archive/2026-07.md @S165-curate] S159 đợt-1 (07-29) diff pipeline — 7 FLAG:** rút TOÀN BỘ chuỗi hiển-thị MỚI từ diff rồi soi từng chuỗi = phép đo 100%-tiếng-Việt · 2 queryKey cùng resource = 2 ảnh-chụp khác thời-điểm · a11y nút TRÙNG tên đọc-được · bác-claim cũng phải có chứng.
- **[→ `archive/2026-08.md` §@S176 — verbatim] S176 (08-06) SETUP-REVIEW đội STYLE 3 vai — `SỬA-6`:** chấm **THIẾT-KẾ một đội sub-agent**, không phải diff code (trục mới của vai). 🔴 **thước dispatch MÙ WORKING-TREE** (`git diff origin/main...HEAD` ba-chấm trả RỖNG ⇒ đội gate pre-commit **chết câm** đúng use-case chính) · **đo TREE ≠ đo HISTORY** (thước tree tự lành ca revert ⇒ lo-nghi "revert phá thước" = lo hão) · **miễn-trừ chỉ-con-trỏ = dấu cao-su** ⇒ đòi TRÍCH NGUYÊN VĂN ≤1 dòng, khép vòng bằng owner-visibility · **thách-CLEAN bẻ được nếu không bắt neo `file:line` cả 2 bờ** · **3/5 lo wiring của lead là LO HÃO** (script enumerate ĐỘNG — đừng giả-định hardcode, mở ra đo) · **chép-luật-vào-persona vi phạm chính B1 viết trong CÙNG file** ⇒ viết luật cấm-chép xong phải grep chính file mình. *(🔄 @S180: khoản "3 vai thiếu dir agent-memory" ĐÃ ĐÓNG — 26⟂26 khớp.)*
## S180 (08-07) N3 LANE-B /6 · adap upgrade-pack GĐ-2 "lưới ghi đĩa + sổ mục lục vật chứng" (`runs/2026-08-07-S180-adap-upgrade-pack-phased/sub-n3-lane-b-gd2.md`)
- **[→ `archive/2026-08.md` §@S180-LANE-B — verbatim, probe 3/3 + control-âm 0] S180 (08-07) N3 LANE-B GĐ-2 (digest):** NGHI-THỨC ≠ MÁY — đọc CỘT KIỂU error-ledger (AS-17 `procedural`, AS-19 tự khai chưa-cơ-khí-hoá) · guard-byte MÙ skeleton ⇒ vị-từ nhãn-treo-heading (use⟂mention, 0 dương-giả) · sổ RETIRED-có-khai vẫn làm điểm-danh-2-nguồn MẤT VẾ PHẢI (73/88); nguồn-2 = taskList snapshot run.md, KHÔNG phải `run-chua-gom` (đọc đĩa = nguồn-1) · secrets_sweep chỉ rglob sessions/ + runs/ excluded ⇒ vật chứng đắt nhất ngoài 2 lưới cùng lúc · tỉ lệ không mẫu số = vô nghĩa (42%/72%/25% cùng 1 sự thật) · lead-stale-auditor 0-hit runs/ (control FLAG=4).
- **NGHI-THỨC ≠ MÁY, và sổ của chính SE là bằng chứng mạnh nhất** — đừng suy, hãy đọc **cột kiểu** của `error-ledger`: AS-17 ghi `procedural`, AS-19 tự khai *"🔴 hiện là nghi-thức, **chưa cơ-khí-hoá**"*. Khi bản đồ nói "SE đã có AS-17/AS-19" thì đó là **có LUẬT**, không phải **có MÁY**. Phép kiểm rẻ: grep cột kiểu, đừng grep tên mã lỗi.
- **Guard đo KÍCH THƯỚC mù với hỏng TỈ LỆ KHUNG/RUỘT** (ca S180 N1: 7.049 B, 6/9 heading là `[ĐANG ĐO]`, sau 202K token — `nhip-no-probe` báo `run-chua-gom 0`). Hai đại lượng **không tương quan**: tệp toàn heading tăng byte y hệt tệp đầy ruột. Dựng sandbox + chạy máy thật + **control-dương** (giấu `*-synthesis.md` → 1, trả lại → 0) mới phân biệt được **mù** với **hỏng thước**.
- **Vị từ bắt `skeleton-ruột-rỗng` rẻ nhất = neo NHÃN TREO VÀO HEADING**, không phải đếm thô: `grep -cE '^#{1,6} .*\[(ĐANG ĐO|CHỜ|TODO)'`. Đếm thô cho **dương-giả trên chính bản đã xong** (câu định nghĩa nhãn ở header) = đúng lớp **citation-trap self-reference** đã có trong auto-memory; discriminator vẫn là **use ⟂ mention**. Đo 3 file: 6 / 0 / 0 — 0 dương-giả.
- **"Sổ chết" có hai loại, phải tách trước khi phán:** `runs/_ledger.md` **RETIRED có khai** (lý do đo được `0/15 catch`, người kế nhiệm chỉ định, caveat parity trung thực, đường đảo ngược) = **suy-giảm hợp lệ**, KHÔNG phải "quên". Nhưng **hệ quả với người dùng vẫn y hệt**: 73/88 run-folder không có dòng nào trong sổ ⇒ *"điểm danh 2 nguồn"* mất **vế phải**, không phải mất phép so. Khen cơ chế nghỉ-hưu, vẫn FAIL khoản chức năng.
- **BỘ ĐẾM không thay được MỤC LỤC:** `run-chua-gom N` in một con số, không liệt tên, không có bộ-tệp-chuẩn, và **đọc thẳng đĩa** ⇒ nó **chính là nguồn-1**, không dùng làm nguồn-2 được. Nguồn-2 rẻ nhất đã nằm sẵn trên đĩa: **taskList snapshot trong `run.md` ghi TRƯỚC launch**.
- **Vùng chứa vật chứng đắt nhất lại nằm trong 2 vùng miễn cùng lúc:** `secrets_sweep(session_dir)` chỉ rglob `sessions/` (`session_ctx.py:173/180/787`) **và** `.claude/workflows/runs` in nguyên văn trong khối `- excluded:` của detector. C11 là cửa hậu duy nhất, chỉ soi khuôn tag FLAG + diary-delta; 21/21 dòng chạm `runs/` đều `LOW` + INFORM-only + **tách khỏi TOTAL** ⇒ mức nghiêm trọng đang **ngược chiều** yêu cầu "đắt tiền = nặng nhất".
- **Tỉ lệ không mẫu số là số vô nghĩa — ca đo được:** cùng một sự thật GĐ-2 ra **42% / 72% / 25%** tuỳ mẫu số (13 khoản lane / 8 bước thư chính / 6 ô nghiệm thu). Con số "~70%" của bản đồ **không sai**, nó là **mẫu số dễ nhất trong ba**; mẫu số hub dùng cấp nấc cho **25%**. ⇒ khi thấy tỉ lệ trần, hỏi mẫu số TRƯỚC khi hỏi ai sai.
- **Reviewer tự thành ca bệnh mình đi soi (datum, không phải lời xin lỗi):** lượt-1 của tôi hạ cánh 2.765 B / 150K token. Đối chiếu với ca N1 mới lộ ra điều không thấy nếu chỉ có 1 ca: **V-2 (nhãn treo) phân biệt đúng "khung rỗng" ⟂ "ruột thật mới bắt đầu"; V-1 (tỉ lệ) thì không.** Ca thứ hai là thứ chọn được vị từ.
- **Xác nhận ngược có giá trị:** N2 F-06 (GĐ-2(v) "khai điểm mù" vắng trọn) **ĐÚNG**, và N2 còn **nói nhẹ hơn sự thật** — SE có sẵn 2/3 vế; bỏ khoản này là **mất điểm cho việc đã làm đúng** (A13), không chỉ mất cảnh báo. Nhưng đo tiếp thì vế (v-3) **yếu hơn cả N2 lẫn tôi tưởng**: `lead-stale-auditor.md` **0 hit** `run-folder|runs/` (control-dương `FLAG`=4) ⇒ tự hạ đánh giá của chính mình, giữ câu cũ để so.
- Tag `[s180, adap-gd2, nghi-thuc-vs-may, skeleton-ruot-rong, vi-tu-heading-scoped, use-vs-mention, ledger-retired-co-khai, diem-danh-2-nguon-thieu-ve-phai, mau-so-3-cach-lech-3-lan, sandbox-control-duong]`
## S180 (08-07) — N4 `/fable-real reviewer` · TỔNG HỢP 15 nguồn → `wave-plan-S180.md` (50.519 B, 7 wave + 3 sub gated)
- **"Sự-thật-đã-chốt" của lead = hàng rào tiết kiệm, nhưng phải giữ nguyên CHIỀU khi chép:** errata E-5 phiên này — lead viết ĐẢO chiều-mù `spawn-model-audit` ngay trong prompt dù file verify của chính lead viết đúng. Tổng-hợp-viên chép PROMPT thay vì chép FILE-VERIFY thì bản vá đi sửa đúng phía đang chạy tốt. ⇒ khi 2 bản phát biểu của CÙNG một người lệch nhau, tin bản có PHÉP ĐO đính kèm.
- **Ô-đòi-MÃ không nhận CÂU-VĂN:** N1 điền *"điều kiện tồn tại của mọi TC"* vào ô TC (fitmap:238) — lane E gọi đúng tên: wave không trỏ mã TC = wave thoát ràng buộc nghiệm thu. Fix chuẩn: tạm-gán mã có ca-sống (TC-06, A0-3 0-hit) + khai NGOẠI-LỆ + trình chủ-luật 2 đường — đừng bịa chữ vào ô mã.
- **Tự dẫm nhãn-số va nhau:** tôi đặt câu hỏi owner `Q1..` đụng nhãn quy-ước `§Q1..Q6` trong CÙNG file ⇒ phải đổi `P1..P8` + vá 3 ref đã ghi đĩa. Bài: 2 hệ đánh số trong 1 artifact = khác TIỀN TỐ ngay từ đầu.
- **Trục xếp wave đắt nhất = tách CHỮA ⟂ NGHIỆM-THU** (lane E §4.4): TC-02/03/07 chỉ thiếu THƯỚC — mở wave "chữa" là làm thừa; TC-10 thiếu THUỐC — có nhãn GĐ-3 vẫn là lỗ. Trộn 2 trục ⇒ 2 sai ngược chiều cùng lúc.
- **Ghi-đĩa-4-nhát qua Edit-append anchor-đuôi** (header → W0-2 → W3-4b → W5-6+chốt): chết giữa chừng vẫn giữ trọn wave đã chốt. Phiên 13 vai dính #53 — 4 nhát land sạch, 0 mục-lục-rỗng.
- Tag `[s180, n4-wave-plan, od-2, tc-contract-hole, ma-vs-cau-van, p-vs-q-prefix, chua-vs-nghiem-thu, edit-append-anchor]`