wal: flush 20260715T1306

.claude/WAL.md

@@ -12,7 +12,12 @@ chain:
 [x] W1 XONG @S121 — wf `wf_de36dea9-265` 4/4 lane 0-error (694k tok, 159 tool, 21') · engine /hmw RUN-TRACE (KHÔNG raw-Workflow) · role-less ×4 · containment SẠCH (git status = đúng 4 file đích + 4 sub-task-*.md, 0 rò WAL/agent-memory/STATUS/spec). **LEAD ĐÃ TỰ CHẠY LẠI CẢ 4, KHÔNG tin return:** detectors TOTAL 42→**49** (≥46) + permission-matrix **FIRE** (title-stale 76d) + `menu=54`/`policy=MISSING` fail-loud + exit 0 + **stderr 0** (lane ① tự bắt bug `$M`≡`$m` PS case-insensitive mà `exit 0` CHE — chỉ stderr mới lộ) · eol-check GREEN-BUT-VACUOUS tự khai + **teeth lead tự inject 276 CR → FLAG, gỡ → 0** · wal-recovery **4/4 ca · 30 assert · 0 fail**, có counterfactual tái-hiện DEADLOCK `rebase-exit=0` + assert `sut-has-no-NONWAL-param` bằng **Get-Command reflection** (KHÔNG grep = né tự-tham-chiếu W0.4#1) · spawn-model-audit FAIL-LOUD "expected constant missing (W2 chua land)" + **teeth lead inject `claude-opus-9-9` → FLAG mismatch, sửa → hết**. 4/4 non-ASCII = 0.
   🔴 **2 LỖI LEAD @S121 (đi vào adap-report):** (a) **Sàn-1 LỆCH**: marker `wf:` đăng-ký SAU phóng (luật = TRƯỚC, run.md:8). (b) 🔴 **KHẲNG-ĐỊNH FACT-TRÊN-ĐĨA MÀ KHÔNG ĐO ĐĨA**: lead phán "backfill `[carry:*]` = ORPHAN chưa ai làm" → **SAI**, đã có **7 khoá** từ `4727d16` (S119, đã push). Cơ-chế: rà BẢNG WAVE thấy không ai được giao ⇒ suy ra chưa làm — *"không wave nào sở-hữu" ≠ "chưa có trên đĩa"*. Brief lead còn **4 tiền-đề sai** (config path · STATUS 07-14 vs thật 07-15 · carry · độ-dài) — lane ① re-verify đĩa và vá hết. Bẫy: `grep -c` đếm DÒNG (=1) vs `grep -o|wc -l` đếm occurrence (=8) trên mega-line.
 [ ] **GAP THẬT thay claim sai** (lane ① tìm, lead verify đĩa): carry-age **vacuous CẤU-TRÚC** — 45 logic-segment nhưng **carry-lines=1** ⇒ streak≡1 ⇒ **0 fire vĩnh viễn kể cả sau W2**. Chứng: `tra-bui-relogin` chỉ đóng dấu seg#0(S119), mà seg#2(S118) nhắc đúng việc đó KHÔNG dấu ⇒ tuổi thật ≥2, detector đọc 1. ⇒ lỗ = **thiếu nghi-thức RE-STAMP mỗi phiên** (§Q3 = no-retrofit ⇒ chỉ còn đường này) ⇒ **giao W3 `session-end.md`**, KHÔNG phải W2.
-[ ] W2 GỘP-1-COMMIT (hmw.js 5 hạng-mục + **PA-2a `TIER2_EXPECTED_FULL_ID='claude-opus-4-8'`** + 4 cờ wrapper + 2 agent MỚI + **`h24_cadence` ĐÚNG PATH = `.claude/agent-memory/memory-budget.json`, sub-key `light_every`** (KHÔNG phải `.claude/memory-budget.json` — hợp-đồng chéo lane ①) + .session-counter + STATUS Sub-agents 12→14 **CÙNG LANDING** row Policies) + RESTART ×2
+[x] W2 XONG @S121 — commit **`00a1c67`** (9 file, +296/−14, **1 commit nguyên-tử** đúng spec; commit TRONG lượt để hook không nuốt `memory-budget.json` thành `wal:` riêng = vỡ atomic). Gồm: hmw.js (Sàn-1 gate + VALID_ROLES 12→14 + PA-2a `TIER2_EXPECTED_FULL_ID='claude-opus-4-8'` + H23 note giữ nấc CHƯA-VERIFY) · 3 cờ wrapper (`args.run` 0→**3 hit**; wrapper thứ-4 = raw-invoke em-main KHÔNG có file ⇒ **gate chặn thẳng**) · 2 vai MỚI `lead-view-auditor`+`lead-omission-auditor` (0-CR, block-scalar, NO Write/Edit) · `h24_cadence`{6,15,3} + `lead_self_audit.flag_classes` 10-class enum ĐÓNG · `.claude/governance/.session-counter.json` seed **UNTICKED trung-thực** (counter=0, ngoài 3 path hook CÓ CHỦ-ĐÍCH) · STATUS `Sub-agents` 12→14 + row `Policies` **216 GROUND TỪ MÃ** (`|MenuKeys.All|`54 × `Actions`4, Program.cs:82-89 — Policies = DERIVED, 2 row BUỘC đổi cùng).
+  ✅ **14/14/14** (roster/VALID_ROLES/agents−README) = acceptance ② EOL. Glob thô=15 ⇒ xác nhận R2-C1 (acceptance CŨ `ls agents/*.md=14` sẽ FAIL trên impl ĐÚNG).
+  ✅ **Hợp-đồng chéo W1↔W2 khép CẢ HAI CHIỀU, đo bằng chính script W1:** detector `h24_cadence missing`→`M = light_every = 6 (read from config)` · spawn-model-audit `expected constant missing`→`[OK] claude-opus-4-8 = owner-ratified` · GAP-3 `policy=MISSING`→`216` **+ BẮT NGAY** `permission-matrix/SKILL.md:3 writes 240 policy but canonical=216` (+:81 writes 48) ⇒ TOTAL 49→**50** (−1 cadence, +2 policy) = **số cộng khớp, không rác**. eol-check tự nhận 2 vai mới: scoped 37→**39** (glob, không hardcode).
+  ✅ **FAULT-INJECT Sàn-1 2 CHIỀU** (bài học W0.3 — 1 chiều thì điều-kiện viết nhầm vẫn PASS): (b) 3 task + thiếu `args.run` → **THROW, agent_count=0, token=0, 14ms** (chặn TRƯỚC spawn) · (a) 2 task + thiếu cờ → **gate IM, 2/2 sub return** ⇒ không over-fire, **ngưỡng đúng ≥3** (viết nhầm `if(!wave)` thiếu ngưỡng ⇒ `/fable-real` 1-lane chết oan).
+  🆕 **Sub bắt khiếm-khuyết SCHEMA hmw (vào adap-report):** task cấm-đọc-file ⟂ schema BẮT BUỘC `checklistEvidence` đòi `file:line` = **mâu-thuẫn cấu-trúc ⇒ schema-pressure kéo agent CHẾ dữ-liệu**. Sub kháng được (khai N/A + lý-do) — cùng họ 2 probe W0.6 bịa với `tool_uses=0`. 🔸 Sub cũng khai đúng: **nó KHÔNG tự verify được gate** (điều-kiện quyết ở SPAWNER trước khi nó sinh ra ⇒ tự-dán PASS = suy từ vắng-mặt-tín-hiệu) ⇒ **giá-trị phép đo đến từ em-main thấy CẢ HAI phía**, không từ lời sub.
+[!] 🔴 **CHỜ ANH RESTART CLI** (lần 2/2 của wave — wave trải ≥3 phiên CLI). Registry = ảnh-chụp khởi-phiên (S120+S121 đo 2 lần, xác nhận KHÔNG hot-reload agent MỚI) ⇒ 2 vai mới hiện MỚI CHỈ tồn-tại trên đĩa + trong VALID_ROLES, **CHƯA chứng SPAWN được**. Sau restart → `/tiep` → **spawn-probe 14/14 SỐNG** (static-check KHÔNG đủ — broadcast ④d). Command `.md` cũng no-hot-reload ⇒ 3 wrapper vừa sửa cần restart mới ăn.
 [ ] W3 SERIAL 5 file (tiep §0 dual-accept VERBATIM C8 → session-start 0.6b+0.7 → session-end §5.2 → fable-clone → agents/README) → W4 detector-fire (PHẢI in permission-matrix/SKILL.md TRƯỚC vá) → W5 harness-11-engine
 [ ] W6 push (🔴 squash→count→push CHAINED 1 LƯỢT; K runtime, CẤM hardcode) → adap-report ×4 + adap-request R1-R4 + send-email AI_INFRA + stamp-mark
 
@@ -20,7 +25,7 @@ chain:
 🔴 2 lỗi lead tự mắc @W0.4 (đã ghi W0-evidence §5, đi nguyên vào adap-report): (a) gate grep-chuỗi chạy trên chính file nó kiểm = TỰ-THAM-CHIẾU (trích claim cũ → FAIL; viết literal regex → FAIL lần 2) (b) meta-count tái-phạm: bảng tự in sẵn "PASS" trong khi số đo nói FAIL ⇒ pass/fail PHẢI TÍNH, cấm nhãn cứng.
 🔴 Hook wal-flush.ps1:7 phủ 3 path (.claude/WAL.md · agent-memory/ · workflows/runs/) — KHÔNG phủ .claude/agents/ · broadcasts/ · .gitattributes/scripts/docs. Đáy range HIỆN = commit thường (92de58f) ⇒ mọi wal: sinh sau rơi ca(3) rebase+fixup an-toàn @W6.
 
-next: W1 verify XONG (lead tự chạy 4/4 + teeth 2/2) → **commit W1** → W2 GỘP-1-COMMIT + RESTART ×2 → W3 SERIAL 5 file (**+ nghi-thức re-stamp carry**) → W4 detector-fire (nay CHẮC fire: permission-matrix 3 dòng) → W5 → W6
+next: 🔴 **ANH RESTART CLI** → `/tiep` → **spawn-probe 14/14 SỐNG** (2 vai mới — bằng-chứng falsifiable DUY NHẤT, static-check KHÔNG đủ) → W3 SERIAL 5 file (tiep §0 dual-accept · session-start 0.6b registry-probe + 0.7 + counter-tick + 2 vai · session-end §5.2 · fable-clone GAP#6 · agents/README) **+ 🆕 nghi-thức RE-STAMP carry** (lỗ thật thay claim-orphan-sai) **+ session-start.md còn "roster 12" stale** → W4 detector-fire (nay CHẮC fire: permission-matrix **6 dòng** gồm 240-policy + 60-menu + title-stale-76d) → W5 harness-11-engine + bug `$userMemDir` → W6 push
 🔴 W2 PHẢI SỬA 2 ACCEPTANCE STALE trước khi dùng: (a) `h24_cadence` path THẬT = `.claude/agent-memory/memory-budget.json` (spec chỉ ghi basename ⇒ mơ-hồ; land sai ⇒ ① fail-loud vĩnh viễn). (b) acceptance "STATUS.md:6 in 2026-07-14" **TỰ LÃO-HOÁ ngay trong ngày** (thật = 07-15 sau `4727d16`) ⇒ đổi thành "in ĐÚNG ngày ở anchor STATUS.md:6", cấm literal.
 🔴 Bug tiền-tồn NGOÀI lane (lane ① khai, KHÔNG sửa vì đổi baseline): `governance-detectors.ps1` `$userMemDir` **hardcode path tuyệt-đối** `C:\Users\pqhuy\...`, không derive `$RepoRoot` ⇒ `-RepoRoot <cây-tạm>` VẪN đọc user-memory THẬT ⇒ fault-inject C1-wikilink KHÔNG cô-lập được. Xử ở W5 hoặc phiên riêng.
 📌 W4 cần biết (lane ① khai): `docs/changelog/skill-audit-2026-05-late.md:43` có phán-quyết audit CŨ ghi đúng anchor này là *"historical, KHÔNG drift"* ⇒ H24/W4 đang **LẬT chính-sách có chủ-đích**, KHÔNG phải phát-hiện-mới. Nói đúng nấc khi báo hub.