[CLAUDE] Docs: dong W5 + W4b — het wave chay duoc ma khong can chu du an phan

Tiep chuoi adap 7-GD. Sau luot nay: 7/10 wave DONG. W5 (GD-5): - Va spawn-model-audit.ps1 4 ve. Bug that nang hon spec ta: 5 phien gan nhat deu wf=0 => may thay 0 lane ma van in "TOTAL FLAGS: 0". Sau va: phien S180 = 24/24 lane, co mau so, co dong KHAI khi phien do != moi nhat. Fault-inject 2 chieu tren cay tam (workflow-only + flat-only). - D-3: hmw.js sentinel MODEL_INHERIT, het nhanh undefined-im-lang. - D-10 + D-12: harness-11-engine PHAN O. D-11 nay 4/5 (manh 5 = P7 ve ii). - §6 tracking: khai lam-KHAC/manh-hon 5 dong, khong tu phong "da kiem chung". W4b (GD-4, P8 + P4): - Luat cham diem = harness-11-engine PHAN P, 5 khoan BAT BIEN. - Khoi cham wire 2 cua phien + rao KHONG DO DUOC + INFORM-only >=3 phien + tach do-day-du-khi-chay (cong may) voi tan-suat (quyen chu du an, CAM tich no) theo thu hub 2026-08-07. - P4: cap 20->30 du 2 mirror => slot (75) DONG (28 vai <= 30, het LOUD-skip). - 2 vai moi score-counter (tang-2) + score-count-auditor (tang-3), ranh cung viet thang vao persona. Seed measured{} VA thu muc nhat ky - may soi ten bat lead seed nua voi (thieu nhat ky => mfe-eval loai vai khoi phep do). Khai thang: acceptance W4 o-1 grep '^ST-' = 0 vi so dang BANG (dem dung dang = 2, dat ve chat); khong be bang de chieu regex. 2 vai moi + khoi cham chi an tu RESTART ke. Con lai: W3b (cho soak >=1 phien), W5b (cho P7 ve ii), W6 (moc ky cua anh). Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-07 21:45:06 +07:00
parent a3776eaac4
commit 384292876e
13 changed files with 317 additions and 18 deletions
--- a/docs/governance/adap-upgrade-pack-tracking.md
+++ b/docs/governance/adap-upgrade-pack-tracking.md
@ -43,7 +43,7 @@ Cột "Thuộc GĐ" lấy đúng nhãn giai đoạn mà hub gắn trong Phần C
 | A1 | GĐ-4 | đã đồng ý | W4 | Sổ ba khối chưa tồn tại: khối lời-phàn-nàn trống tuyệt đối, đo bằng phép tìm `sở-thích` và `phàn nàn` ra 0 hit với control dương là cụm "điểm dừng" ra 5 tệp. Câu P2 đã chốt phương án PB-2, tức tách sổ yêu cầu khỏi WAL, nên khoản lên *đã đồng ý*. Nợ kèm theo P2: phải sửa luật đã ratify ở `tiep.md:181`. Ràng buộc chống bẫy: cột lời nguyên văn chỉ nhận chữ chủ dự án gõ từ thời điểm dựng sổ; dữ liệu cũ đi phụ lục riêng. |
 | A2 | GĐ-4 | đã đồng ý | W4 | Kỷ luật ghi ngay, cắm vào tệp luôn được nạp mỗi lượt, và cấm cắm vào tệp lệnh của một cửa. Chỗ cắm hợp lệ đã tồn tại ở SE là `CLAUDE.md`; luật thì chưa có. CHƯA ĐO — cần đo SE có cắm luật ghi-ngay vào bề mặt tự động nạp hay không, lệnh: `grep -n "ghi ngay\|ghi NGAY" CLAUDE.md .claude/auto-memory/MEMORY.md` kèm control dương là một cụm chắc chắn có trong hai tệp đó. |
 | A3 | GĐ-4 | đã đồng ý | W4 | Tra sổ trước khi hỏi, phải tìm được ở tối thiểu hai chỗ. Hiện chưa có: phép tìm cụm "viện dẫn" trong kho auto-memory ra 0 hit, control dương là cụm "How to apply" ra 48 trên 61 tệp. Wave W4 cắm vào `CLAUDE.md` và `docs/rules.md` cho đủ hai chỗ. |
-| A4 | GĐ-4 | đã đồng ý | W3 và W4 | Đèn nợ ở **mọi** điểm dừng, liệt từng cửa chứ không ghi gộp. Đo được: máy dò nhịp được gọi từ 6 cửa, còn tiền kiểm chi phí 0 mới phủ 4 trên 19 cửa. Wave W3 dựng bảng 19 cửa liệt từng dòng; wave W4 nối hai số liệu vào máy dò. Nợ nặng nhất của khoản này: máy hiện **chưa phân biệt** "chưa có dữ liệu" với "đã đo và bằng không" — hub gọi đó là đèn xanh giả. |
+| A4 | GĐ-4 | **đã thi công** | W3 và W4 | Đèn nợ ở **mọi** điểm dừng, liệt từng cửa chứ không ghi gộp. ✅ **Bảng 19 cửa ĐÃ DỰNG @W3**, liệt từng dòng, sống ở [`sub-w3-nghi-thuc.md` §1.2](../../.claude/workflows/runs/2026-08-07-S180-adap-upgrade-pack-phased/sub-w3-nghi-thuc.md) — số đo tại đó: **5/19** có tiền kiểm trước W3 (không phải 4/19 như bản trước ghi; chênh vì `snapshot` đóng từ 🟡 sang CÓ), **9/19** sau W3. ✅ **Hai số liệu ĐÃ NỐI vào máy dò @W4**: `nhip-no-probe.ps1` in vế `so-yc treo <n> / nhac2+ <m>`. ✅ **Nợ nặng nhất của khoản này ĐÃ TRẢ**: máy nay **phân biệt** `chua-co-du-lieu` (sổ vắng/rỗng ⇒ phép đo không tồn tại) với `treo 0` (đã đọc n dòng, đếm ra 0) bằng **hai chuỗi khác nhau** — fault-inject 5/5 @S181. Đó đúng là "đèn xanh giả" mà hub gọi tên. 🧊 *Bản trước dòng này viết cả ba vế ở thì tương lai và sống nguyên 1 wave sau khi đã xong — site thứ 2 của cùng một mệnh lệnh cũ, bắt @S181 bằng grep lại với lệnh khác.* |
 | A5 | GĐ-4 | đã đồng ý | W4 | Định nghĩa thành văn cho "hỏi lại không kèm thông tin mới". Nội dung sàn đã rõ: hỏi lại mà không viện dẫn được thông tin mới là vi phạm; hỏi lại kèm nguồn trích được là kỷ luật đúng. SE chưa có văn bản nào chứa định nghĩa này. |
 | A6 | GĐ-4 | đã đồng ý | W4 | Lằn ranh đỏ phải **liệt kê từng loại**, cấm mô tả bằng tính từ. Nguyên liệu ở SE có nhưng nằm rải trong 61 tệp auto-memory, chưa gom về một chỗ. Wave W4 dựng mục mồi ST-001 liệt bảy loại: đổi lược đồ dữ liệu, xoá dữ liệu, việc hướng ra ngoài, việc không lùi được, việc dính tiền, đổi cơ chế quản trị, đổi số nhịp hoặc ngân sách. |
 | A7 | GĐ-4 | đã nhận | W4b | Chấm điểm trải nghiệm phải tách hẳn khỏi phép đo kỹ thuật, và công thức trừ theo MỤC chứ không theo lần. SE hiện **vắng hoàn toàn**: phép tìm cụm "chấm điểm" ra 0 hit với control dương 3 tệp. Giữ ở nấc *đã nhận* vì việc in khối chấm ở hai cửa phiên còn **chờ câu P8** — nghi thức hai đầu phiên là vật chủ dự án đã chốt. |
@ -90,3 +90,17 @@ grep -c 'đã được kiểm chứng *|' docs/governance/adap-upgrade-pack-trac
 2. **Cấm nhảy cóc nấc.** Muốn ghi *đã thi công* thì phải dán được một lệnh mà người khác chạy lại ra cùng kết quả. Không dán được thì nấc dừng ở *đã đồng ý*.
 3. **Nấc *đã được kiểm chứng* chỉ hub cấp.** Trong kho SE, ô đó luôn để trống cho tới khi hub soi bằng chứng thật và trả lời.
 4. **Mỗi lần một câu chờ chủ dự án được trả lời, sửa đúng dòng khoản liên quan** và ghi ngày. Bốn câu còn treo tính tới ngày 2026-08-07 là P3, P5, P7 và P8.
+
+## §6 — Chỗ SE làm KHÁC hoặc MẠNH HƠN sàn (khai để báo hub — W5/S181)
+
+> 🔴 **CẤM viết *"đã được kiểm chứng"*** ở bất kỳ dòng nào dưới đây. Nấc đó chỉ hub cấp. Ở đây chỉ khai **đã làm gì** và **đo được gì**.
+
+| # | Khoản | SE làm | Khác/mạnh hơn ở chỗ nào | Đo được |
+|---|---|---|---|---|
+| 1 | **D-8** — cửa duyệt đặc tả | Đặt cửa duyệt ở **ĐẦU** chuỗi, không phải giữa | Sàn đặt ở giữa; SE đưa lên đầu nên đặc tả sai bị chặn **trước khi** tiêu công thi công | Chuỗi S180: N1→N2→N3→N4 rồi mới W0; N2 trả `PASS_WITH_FIXES 0C/5M/6m` trước khi có dòng mã nào |
+| 2 | **D-18** — vai không hợp lệ | `VALID_ROLES` **STOP-HARD** (ném lỗi ngay) | Sàn chỉ yêu cầu cảnh báo; SE chặn hẳn nên không có lane nào chạy với vai sai | `hmw.js` throw up-front; `resolveModel` nhánh role-less nay chỉ còn defensive no-op |
+| 3 | **TC-03** — mô hình thường ở chỗ ngồi | `không áp dụng` **CÓ KHAI** | SE không dùng mô hình thường ở bất kỳ chỗ ngồi nào ⇒ khoản này không áp dụng; **khai** thay vì bỏ trống | 26/26 persona pin `model: opus`, 26/26 pin `effort: max`; mẫu số = 27 tệp `.claude/agents/` trừ `README.md`; control âm: liệt mọi giá trị `model:` chỉ ra **một** dòng |
+| 4 | **TC-09** — máy soát chỗ ngồi | Vá máy, **không** vá người | SE không mắc bệnh nhưng MÁY có lỗ: phủ 0 lane mà vẫn in `TOTAL FLAGS: 0` | Trước vá: 5 phiên gần nhất `wf=0` ⇒ máy thấy **0**. Sau vá: phiên S180 thấy **24/24 lane**, có mẫu số, có dòng KHAI khi phiên đo ≠ phiên mới nhất |
+| 5 | **D-12** — khai mảnh thiếu | Luật tổng cho **cả 5 mảnh** | Sàn chỉ đòi khai; SE trước đó phủ **1/5** (`pause.md:53`), nay phủ cả gói + bảng trạng thái từng mảnh | `harness-11-engine.md` **PHẦN O.2**; D-11 nay **4/5** (mảnh 4 có nhà từ W4) |
+
+🔸 **Ô nghiệm thu của hub cho TC-03 GIỮ NGUYÊN CHỮ *"chưa đủ mẫu"*** — SE **không** điền số thay hub.
--- a/docs/governance/harness-11-engine.md
+++ b/docs/governance/harness-11-engine.md
@ -433,3 +433,94 @@ SE đã có RAG golden-set harness (KHÔNG phải gap): `eval/golden-set-solutio
 - **Detector = LƯỚI giảm-sót, KHÔNG khoá-cứng** — bắt @đầu/đóng-phiên (theo nhịp); giữa 2 nhịp có khoảng-mù. Phòng-thủ-nhiều-lớp, không bảo-đảm tuyệt-đối.
 - **Nấc dogfood:** A2/A3/D4/D9/D11 = SE runtime-mechanized SẴN (H11 = chuẩn-hoá). C1-C3 + B3 + memory-archive-gate = MỚI build S75. D5-D8 + B1 = nhãn-hoá/codify cái ngầm-có. Phân-định 'detector viết-thành-lệnh' (executed-file) ≠ 'đã chạy-quan-sát' (runtime).
 - **§E User-Mark = phần-lớn CONVENTION (S79):** report-trước-đóng-dấu (E.2/P4) + cưỡng-chế-hành-vi (E.3 behavioral) + neo-lý-tính (E.5/P10) = **kỷ-luật người+AI**, KHÔNG công-cụ-ép (đừng nhận "mechanized"). CHỈ session-display (gắn lệnh-phiên P7) + chặn-tool-ở-config (E.3 tool-action P9) = mechanized. RC-sig 3 mark Active-High đã anh-confirm-stamp S79 (`ACTIVE-MARKS.md`) = executed-file; 4 lệnh `/user-mark-*` = command `.md` verified-pending-restart (no hot-reload).
+
+---
+
+## PHẦN O — Kỷ luật GÓI NGỮ-CẢNH khi phát lệnh cho lane (D-10 · D-12) — W5/S181 (🔴 FUNCTION-FLOOR)
+
+> Land @S181 wave **W5**, gói adap 7-GĐ. Nguồn đo: `sub-n3-lane-d-gd56.md` D-10/D-11/D-12.
+
+### O.1 — D-10: **Tổng hợp = MỘT LƯỢT GỌI MỚI, CẤM nối lại lượt cũ**
+
+Khi cần **tổng hợp** kết quả của nhiều lane, phải mở **một lượt gọi MỚI** với đầu vào là các **vật chứng trên đĩa**. **CẤM** nối lại (resume) một lane cũ rồi bảo nó tổng hợp.
+
+**Lý do:** lane cũ mang sẵn ngữ-cảnh riêng của nó; nối lại là để một lăng-kính đã có thiên-hướng đi chấm cả tập. Lượt mới đọc đĩa thì mọi lane vào bằng cùng một cửa.
+
+🔴 **RANH với resume-#53 — hai việc KHÁC NHAU, đừng gộp:**
+
+| | resume-#53 | tổng hợp |
+|---|---|---|
+| Mục đích | **cứu vật chứng** của CHÍNH lane đó khi return bị garble | **hợp nhất** vật chứng của NHIỀU lane |
+| Nối lại lượt cũ? | ✅ ĐƯỢC (đó chính là cách cứu) | 🔴 **CẤM** |
+
+*Counter-datum giữ cho công bằng:* resume @S180 **KHÔNG** rớt model (`n=1`) — ghi nhận đúng cỡ mẫu, **không** chép lo-ngại của hub thành lo-ngại của mình.
+
+### O.2 — D-12: mảnh ngữ-cảnh nào CHƯA CÓ thì phải **KHAI**, cho CẢ GÓI 5 MẢNH
+
+Gói ngữ-cảnh chuẩn (D-11) gồm **5 mảnh**. Mảnh nào chưa có ⇒ ghi đúng chuỗi **`(THIẾU — lý do)`**; **CẤM bỏ trống**, **CẤM dựng lại từ trí nhớ**.
+
+| # | Mảnh | Nhà | Trạng thái @S181 |
+|---|---|---|---|
+| 1 | nền trỏ-không-chép | `tiep.md` §3-ter (khoá `tiep_reload`) | ✅ |
+| 2 | lớp mềm mạch việc | `_mind-s-<N>.md` + `.claude/WAL.md` | ✅ |
+| 3 | ký ức vai cắt theo trần | `hmw.js` memory-pack slice + `memory-budget.json` | ✅ |
+| 4 | **sở thích thường trực** | `docs/governance/so-yeu-cau-chu-du-an.md` khối 2 | ✅ **MỚI CÓ @W4/S181** (trước đó là ❌) |
+| 5 | **lời chủ nguyên văn ở lane DISPATCH** | — | 🔴 **THIẾU — chờ chủ dự án phán P7 vế (ii)**; rào `> anh:` hiện chỉ phủ lane LƯU TRỮ (`pause.md:53`), chưa phủ lane phát lệnh |
+
+⇒ **D-11 nay 4/5** (trước W4 là 3/5). Mảnh 5 là mảnh duy nhất còn thiếu, và nó **chặn W5b**.
+
+🔴 **Luật tổng (đây là phần D-12 thật sự thêm):** trước đây chỉ **1/5** mảnh có luật khai-thiếu (`pause.md:53`). Từ nay **cả 5** mảnh chịu chung luật: **thiếu thì khai, khai thì nêu lý do**. Một mảnh vắng mà không ai khai thì nó **trông y hệt một mảnh không cần thiết** — đó là lớp lỗi *vắng-mặt-trông-giống-ổn*.
+
+---
+
+## PHẦN P — Luật CHẤM ĐIỂM đáp-ứng-yêu-cầu (GĐ-4 / C4-10 · A9) — W4b/S181 (🔴 FUNCTION-FLOOR)
+
+> Land @S181 wave **W4b**. Chủ dự án đã phán **P4** (đẻ vai) + **P8** (wire 2 cửa) + **P3** (đường ghi lại).
+> 🔴 **PHẠM VI BẤT BIẾN = ĐÚNG 5 KHOẢN dưới** (`luat:140`) — không phải câu tóm tắt ở `:23`. Ai sửa 1 trong 5 khoản này là **đổi luật**, phải qua chủ dự án.
+
+### P.1 — Khoản 1/5: CÔNG THỨC
+
+```
+điểm = max(0, 10 − số MỤC lặp ≥2)
+```
+
+**Đơn vị trừ là MỤC, không phải LẦN.** Một mục bị nhắc 5 lần trừ đúng **1** (`luat:120`), không trừ 4. Lý do: đo *"có bao nhiêu thứ phải nhắc lại"*, không đo *"tổng số lần mở miệng"*.
+
+**3 cách đọc BẮT BUỘC đi kèm mỗi lần in điểm** (`luat:53-55`) — thiếu một cách là in điểm trần trụi, và điểm trần trụi thì ai cũng đọc thành *"đội tốt/xấu"*:
+1. Điểm này đo **đội có phải nghe lại không**, KHÔNG đo đội giỏi hay dốt.
+2. Điểm cao **không** chứng minh làm đúng — chỉ chứng minh **không phải nhắc lại**.
+3. Điểm thấp là **tín hiệu tra cứu**, không phải bản án; đọc kèm danh sách mục.
+
+### P.2 — Khoản 2/5: NGUỒN ĐẾM (đã ký, không né được bằng đổi nguồn)
+
+Nguồn đếm duy nhất = [`docs/governance/so-yeu-cau-chu-du-an.md`](so-yeu-cau-chu-du-an.md), cột *số lần đã nhắc*. **CẤM** đổi sang nguồn khác để làm đẹp điểm (F-08 / lane C §H.1).
+
+### P.3 — Khoản 3/5: BỐN TẦNG, ranh CỨNG
+
+| Tầng | Ai | Làm gì | 🔴 Ranh cứng |
+|---|---|---|---|
+| 1 | lead | tự chấm theo công thức | — |
+| 2 | vai đọc sổ | đọc sổ, **tự đếm lại** | 🔴 **KHÔNG được xem điểm tầng-1** trước khi đếm xong |
+| 3 | vai kiểm | kiểm **PHÉP ĐẾM** của tầng 1+2 | 🔴 **CẤM đề xuất một điểm khác** — chỉ nói phép đếm đúng/sai |
+| 4 | **chủ dự án** | phán cuối | — |
+
+### P.4 — Khoản 4/5: BA MỐC NIÊM PHONG (A9)
+
+`emit_ts` (lúc in) · `redisplay_ts` (lúc hiện lại) · `first_owner_msg_ts` (tin nhắn đầu của chủ dự án sau khi in).
+
+🔴 **Thiếu mốc-3 ⇒ in `chờ niêm phong`, và KHÔNG được đẩy sang hàng-chờ-anh.** Chưa có phản hồi thì điểm **chưa chốt** — đẩy vào hàng chờ là biến cái chưa chốt thành việc của chủ dự án.
+
+### P.5 — Khoản 5/5: ĐƯỜNG GHI LẠI KHI CHẤM SAI
+
+Chấm sai ⇒ ghi **tầng nào sai** + nhãn *chấm sai* vào [`error-ledger.md`](error-ledger.md).
+🔴 **CẤM nhét nhãn *chấm sai* vào `lead_self_audit.flag_classes`** — tập đó **ĐÃ NIÊM PHONG** theo **P3 = B** (khoá `_sealed_P3B_S181`). Máy sẽ **từ chối** (`h24-signal-write.ps1` exit 2). Muốn mở tập thì chỉ chủ dự án mở.
+
+### P.6 — Dòng tổng kết phải đủ 4 phần
+
+`{điểm cuối · 3 giá trị tầng · trạng thái niêm phong · liệt TỪNG mục kèm mã}`. Danh sách rỗng ⇒ ghi đúng chữ **"danh sách rỗng"**, CẤM bỏ trống.
+
+### P.7 — 🔴 LƯỢT ĐẦU PHẢI IN `KHÔNG ĐO ĐƯỢC`
+
+`luat:66` **CẤM in điểm khi nguồn chưa đủ dày**. Nguồn thưa thì máy **luôn** cho 10/10 (hub đã tự đo — `luat:65`) ⇒ in `10/10` ở lượt đầu là **vi phạm ngay luật vừa adopt**.
+
+⇒ Khối chấm in **`KHÔNG ĐO ĐƯỢC`** cho tới khi sổ đủ dày, và giữ **INFORM-only ≥3 phiên** trước khi được phép ảnh hưởng bất kỳ cổng nào (lane F §4.2).