wal: flush 20260716T2235

.claude/WAL.md

@@ -8,10 +8,12 @@ chain:
 [x] (ii) ÁP: XOÁ measured_token_estimate + _s112_remeasure_note, GIỮ rounded_up_tokens 100000 DUY-NHẤT (hub-shape); (iv) ÁP: đuôi provenance token_estimate + neo do-token method. JSON parse PASS + assert vùng-giữ (_owner_ratified + _target_note B4) NGUYÊN-VẸN. Verbatim archive + DISPOSITION 4-dòng: runs/2026-07-16-S127-adap-dot-16-07/owner-gated-proposals-dot-16-07.md
 [x] 2 adap-report live cập-nhật nấc: vong-tu-bao-tri (ii/iv agreed→executed S129, bảng 3.1 sync) + do-token (S129 addendum retire-not-remeasure)
 [x] Email hub disposition (2026-07-16-se-to-ai_infra-disposition-owner-gated-dot-16-07) + _index OUTBOUND + commit PUSHED
+[x] Check-email đợt 2 (anh gõ /check-email + /adap-apply): 2 errata ĐÃ PHÁT 22:08 → STAGE-1 nhận + verify 2-tuyến PASS (whole-file 9c716472/5e500ae8 + stamp_verify canonical eb12b9b8/0db707e4) + log _index pending. Reply-batch (i) + do-token CHƯA phát (do-token còn drafts/)
+[!] wf: IMPLEMENT adap-errata-16-07 run=2026-07-16-S129-adap-errata-16-07 wf_3fccd7d1-b63 (3 task inv-cb: T0 sweep fix①②③ · T1 lỗ #4-#7 · T2 compendium 7-lớp) — ĐANG CHẠY NỀN. Xong → em-main fold implement-synthesis → phóng REVIEW 2-lane reviewer → adap-report ×2 + STAGE-2 move 2 file → email hub run-id (Harness-9 mandate)
 [ ] 🔒 CHỜ ANH — 3 mục S126: B3 mega-line giữ/tách/re-tier (em khuyến-nghị #3 re-tier) · B4 diff _target_note wording ("real-token headroom"→"cận-trên heuristic-notice", 2 biến-thể VN/EN) · mark-S123 ACTIVE-MARKS.md:33 (⚠️ dấu-hiệu ĐÃ-chốt-rồi — mark RC-…17-23-10 tồn-tại dòng 25+28 — anh confirm 1 chữ là gỡ carry)
-[ ] CHỜ HUB (adopt-on-broadcast khi land, verify hash trước áp): (i) lời-chốt anh cho _owner_ratified (hub P1.3 reply-nợ) → áp theo CANONICAL hub + re-sync F10 session-start.md:206 · (iii) seal-verify khuôn hub · 2 errata EOL-metric + tong-hop-7-lop (đang gate wf_bcc43445) · do-token letter (ask SE giữ MỞ — đừng đóng sớm) · recipe body-sha strip-1 vs strip-ALL (ứng-viên adap-request, sub-reviewer-1.md §tooling-note)
+[ ] CHỜ HUB (adopt-on-broadcast khi land, verify hash trước áp): (i) lời-chốt anh cho _owner_ratified (hub P1.3 reply-nợ) → áp theo CANONICAL hub + re-sync F10 session-start.md:206 · (iii) seal-verify khuôn hub · do-token letter (ask SE giữ MỞ — đừng đóng sớm) · recipe body-sha strip-1 vs strip-ALL (ứng-viên adap-request, sub-reviewer-1.md §tooling-note)
 
-next: Hub broadcast land → /check-email nhận+verify hash → áp (i) theo canonical + re-sync F10 + adap 2 errata + đóng ask do-token. Anh chốt 3 mục S126 → apply theo b3-b4-owner-gated-proposals.md + gỡ mark-S123 carry nếu confirm.
+next: wf_3fccd7d1 xong → fold + REVIEW + adap-report ×2 + STAGE-2 + email hub + commit-push. Hub phát tiếp → nhận (i)/do-token. Anh chốt 3 mục S126 → apply theo b3-b4-owner-gated-proposals.md.
 
 verify:
 - python -c "import json; d=json.load(open(r'.claude/agent-memory/memory-budget.json',encoding='utf-8'))['harness_floor']; print('measured_token_estimate' not in d, d['rounded_up_tokens'])"   → True 100000

.claude/workflows/runs/2026-07-16-S129-adap-errata-16-07/run.md

@@ -0,0 +1,20 @@
+# run — S129 adap 2 errata đợt 16-07 (erratum EOL-metric + compendium 7-lớp)
+
+- **run-id:** 2026-07-16-S129-adap-errata-16-07
+- **session:** S129 · 2026-07-16 (đêm, sau /tiep + disposition owner-gated) · lead = Fable 5 · worker-tier-pin opus+max (S124)
+- **trigger:** anh gõ `/check-email AI_INFRA và /adap-apply — kiểm thử xem nó gửi email chưa`. Check-email: 2 errata **ĐÃ PHÁT 22:08** (`outbox/all/`), nhận STAGE-1 verify 2-tuyến PASS (whole-file + `stamp_verify.py` canonical). Reply-batch (i) + do-token letter **CHƯA phát** (do-token còn `drafts/`).
+- **input:** `broadcasts/inbox/2026-07-16-Governance-erratum-eol-metric-hai-chieu-va-bon-lo-moi.md` (eb12b9b8, `reviewer_gate: PASS_WITH_FIXES → ALL-FOLDED`) · `broadcasts/inbox/2026-07-16-Governance-tong-hop-loi-da-bat-va-sua-bay-lop-sau-phep-thu.md` (0db707e4)
+- **mandate:** Harness-9 adap = 2 workflow tách biệt (IMPLEMENT + REVIEW riêng) + report hub kèm run-id. Erratum `re-verify` = **CHỈ delta** (3 fix + 4 lỗ mới), KHÔNG adopt lại bản 2026-07-15 từ đầu.
+- **recon em-main (đã chạm đĩa trước khi spec):** `.gitattributes` ĐÃ có S120 (`* text=auto eol=lf` + binary tường-minh) ⇒ tiên-quyết #2 THOẢ · checker SE = BYTE-level CR-count (KHÔNG dùng pattern `i/lf.*w/crlf` bị bác) + synthetic control ± · 19 `i/-text` = binary khai đủ · `session-end.md` grep sơ-bộ KHÔNG thấy EOL-assert dạng `grep -c && push` (cần sweep độc-lập xác-nhận) · 188 `i/lf w/crlf` = INFORM-only by-design (S119/S120).
+- **files (FLAT Harness-10):** `run.md` · `spec-adap-errata-16-07.md` · `sub-investigator-codebase-{0,1,2}.md` (implement) · `sub-reviewer-{0,1}.md` (review) · `implement-synthesis.md` · `review-synthesis.md`
+- **workflows:** IMPLEMENT **wf_3fccd7d1-b63** (3 task inv-cb, phóng 2026-07-16 đêm) → em-main fold → REVIEW wf_<điền-sau> (2 lane reviewer read-only) → adap-report ×2 + STAGE-2 move + email hub
+- **status:** OPEN — IMPLEMENT đang chạy nền
+
+## taskList snapshot (IMPLEMENT)
+- T0 (inv-cb): erratum fix #1-#3 — sweep MỌI site đếm-EOL/cổng-push toàn repo (trừ runs/** + sessions/** lịch-sử đóng-băng), verdict per-fix, PROPOSE diff nếu site hỏng
+- T1 (inv-cb): erratum lỗ #4-#7 — i/-text lone-CR audit (đo, đừng assume) · fixture-tracked inventory · generator write-site inventory + EOL output live · matrix-4-ô map vs W0.6
+- T2 (inv-cb): compendium 7-lớp + 6-dấu-hiệu — bảng map ADOPTED/GAP/N-A per-lớp evidence file:line + quick-test CHẠY THẬT (khai rõ chạy vs map-only)
+
+## taskList snapshot (REVIEW — phóng SAU khi implement fold)
+- R0 (reviewer): re-verify độc-lập T0+T1 claims từ đĩa (re-run probe chính)
+- R1 (reviewer): adversarial audit bảng T2 — cái THIẾU + overclaim + quick-test có chạy thật không

.claude/workflows/runs/2026-07-16-S129-adap-errata-16-07/spec-adap-errata-16-07.md

@@ -0,0 +1,33 @@
+# spec — adap 2 errata 16-07 (IMPLEMENT 3-task · S129)
+
+## Bối cảnh chung (mọi task đọc trước)
+- 2 broadcast nguồn (ĐÃ verify hash, đọc trực-tiếp từ inbox):
+  - `broadcasts/inbox/2026-07-16-Governance-erratum-eol-metric-hai-chieu-va-bon-lo-moi.md` — type update, supersedes-scope HẸP: chỉ 3 fix (① phép đếm attr-aware 2-chiều + w/mixed · ③ cổng push so SỐ không so exit-code, cấm `A && B || C` · TIPS) + 4 lỗ mới (#4 lone-CR `i/-text` · #5 fixture-tracked phải `-text` · #6 nguồn drift = công-cụ-sinh-file · #7 ma-trận 4-ô). Mandate `re-verify`: CHỈ delta — KHÔNG adopt lại bản 2026-07-15.
+  - `broadcasts/inbox/2026-07-16-Governance-tong-hop-loi-da-bat-va-sua-bay-lop-sau-phep-thu.md` — type new: 7 lớp lỗi (mỗi lớp 1 phép-thử-nhanh) + 6 dấu-hiệu xuyên-dự-án. Adap = tự-soi SE.
+- Hiện-trạng SE (em-main đã recon — RE-VERIFY đừng tin suông): `.gitattributes` S120 tồn-tại (`* text=auto eol=lf`, binary tường-minh, đo lúc khai 19 i/-text = 12 docx + 6 png + 1 xlsx) · `scripts/agent-frontmatter-eol-check.ps1` = BYTE-level CR-count scoped 3-dir + synthetic control ± + exit 0 luôn (INFORM) · 188 file `i/lf w/crlf` repo-wide = INFORM-only by-design (S119 spec v2 W0.2 cấm mass rm+checkout) · SE W0.6 S121 = spawn-probe CRLF-tolerant (agent full-CRLF spawn OK 4 stage, scope: agents/ + 1 win32 build).
+
+## Luật chung
+1. PROPOSE-only: KHÔNG Edit/Write file nào ngoài `sub-<role>-<i>.md` của CHÍNH MÌNH trong run-dir. Mọi diff = đề-xuất trong return + sub-file, em-main verify + apply.
+2. Mọi claim = evidence: `file:line` HOẶC lệnh + output dán thật. Số phải ĐO lúc chạy, không chép từ spec này (spec có thể stale — bài S121 resume-premise).
+3. Lịch-sử đóng-băng KHÔNG tính là consumer: `.claude/workflows/runs/**` (trừ run-dir này) · `docs/changelog/sessions/**` · `broadcasts/outbox/**` đã stamp · adap-reports cũ (đã có addendum-convention riêng).
+4. Ghi full-detail vào `sub-investigator-codebase-<i>.md` (i = index task) TRONG LÚC LÀM (ghi-đĩa-trong-lúc-làm — chống garble #53), return 4-field NHỎ.
+5. ASCII-safe khi đề-xuất diff cho `.ps1` (gotcha #30); phân-biệt use⟂mention khi grep pattern bị-cấm (citation-trap — file NÓI VỀ pattern ≠ file DÙNG pattern).
+
+## T0 — erratum fix ①/②/③: sweep consumer đếm-EOL + cổng-push
+- Sweep TOÀN repo sống (glob `*.ps1 *.md *.js *.yml` — trừ mục Luật-3): site nào (a) đếm EOL-drift (`ls-files --eol` / `i/lf` / `w/crlf` / CR-count), (b) có `git push` đứng cùng khối với 1 phép kiểm, (c) dùng dạng `A && B || C` quanh push.
+- Từng site: verdict vs fix① (đếm 2-chiều? mù w/mixed? có trừ cố-ý `eol=crlf` + `-text`?) · fix② (đo SAU khi attr áp? — xác-nhận `.gitattributes` commit-date bằng `git log --format='%h %cI' -- .gitattributes | tail -1`) · fix③ (so SỐ hay so exit-code? có `A && B || C`?).
+- Site đã biết cần grade: `scripts/agent-frontmatter-eol-check.ps1` (byte-level — grade vs fix①: CR-count có bắt w/mixed không? có false-positive trên file cố-ý-CRLF không — scoped set có file cố-ý nào?) · `session-end.md` khối push-guard (đọc TRỌN khối squash→count→push, xác-nhận CÓ/KHÔNG EOL-assert + wiring form) · `hooks/wal-flush.ps1`.
+- Acceptance: bảng site × 3-fix verdict + kết-luận "SE có site nào mang defect erratum không" + diff-proposal nếu có.
+
+## T1 — erratum lỗ #4-#7
+- #4: chạy `git ls-files --eol | grep 'i/-text'` → phân-loại từng file vs `.gitattributes` binary khai; suspects "lẽ-ra-text nhưng i/-text" = ? (ĐO — kỳ-vọng 0 nhưng phải đo). Lưu ý filter mẫu của erratum THIẾU docx/xlsx — tailor theo class SE khai.
+- #5: SE có fixture EOL byte-cố-ý nào TRACKED không? (eol-check dùng synthetic IN-MEMORY + `-RepoRoot` temp-tree). Grep fixture-dir + attr `-text` ngoài binary-class. Verdict: n-a-by-design hay cần attr-line.
+- #6: inventory generator write-site: `hooks/*.ps1` + `scripts/*.ps1` (Out-File / Set-Content / Add-Content / WriteAllText / WriteAllLines / `>` redirect) — từng site: file đích nào, encoding/EOL flag gì; rồi ĐO live EOL các file generated đang tracked (vd `.claude/WAL.md`, `.claude/agent-memory/.mfe-state.json`, `.archive-strikes.json`, `broadcasts/_index.md`): `git ls-files --eol <file>`. Verdict per-site + đề-xuất self-check-at-point-of-generation NẾU có site ghi CRLF ra file tracked-text (nấc: PROPOSE, tôn-trọng INFORM-stance hiện-hành).
+- #7: map ma-trận 4-ô hub vs SE W0.6: đọc `runs/2026-07-15-S119-adap-6-broadcast/W0-evidence-15-07-2026.md` (+ file probe nếu có) — probe file của SE thuộc ô nào (mô-tả có `: ` chưa-quote hay đã-quote?), W0.6 có restart-rồi-verify không (erratum: probe TRƯỚC re-scan = không có giá-trị bác-bỏ). Kết-luận: SE data-point củng-cố / mâu-thuẫn / bổ-sung ô nào; header script eol-check có cần thêm 1 câu matrix-ref không (PROPOSE nếu đáng).
+- Acceptance: 4 verdict + số đo dán thật + diff-proposal (nếu có).
+
+## T2 — compendium: 7 lớp + 6 dấu-hiệu tự-soi SE
+- Bảng 7 lớp: mỗi lớp → trạng-thái SE {ADOPTED (guard/lesson/mark nào, file:line) · GAP (thiếu gì) · N-A (vì sao)} + phép-thử-nhanh của lớp đó: CHẠY THẬT nếu ≤2 phút, còn lại khai "map-only".
+- Quick-test BẮT BUỘC CHẠY (3 cái rẻ): (a) lớp-6 phao-đông-cứng: chạy `scripts/memory-archive-gate.ps1` 2 LẦN liên-tiếp → lần 2 phải cùng-verdict/không-đề-xuất-mới (DRY planner đọc gauge sống); dán output 2 lần. (b) lớp-3 công-cụ-kiểm: chạy `scripts/agent-frontmatter-eol-check.ps1` 1 lần → synthetic control ± phải PASS; dán khối control. (c) lớp-7 proxy-token: chỉ ra `Test-Quoted` trong `scripts/governance-detectors.ps1` (file:line) + 1 ví-dụ enclosure use⟂mention đang sống.
+- Bảng 6 dấu-hiệu xuyên-dự-án: SE đã dính dấu-hiệu nào (evidence: gotcha#/mark/error-ledger) — đặc-biệt dấu-hiệu 4 "công-cụ-đo tự nói dối": SE có instance PS5.1 `Get-Content -Raw` hash-mojibake S125 (đã có guard trong send/check-email) — cite đúng chỗ.
+- Acceptance: 2 bảng + danh-sách GAP THẬT (nếu 0 GAP thì nói 0 kèm lý-do từng lớp đã phủ) + tests-đã-chạy vs map-only khai thẳng.