# harness-audit-return — trio nấc-3 @S188 (vai tự ghi từng câu, lệnh lead — chống #53)

> PIN GATE **PASS**: `test -d` folder OK · `harness-eval-return.md` **5.127 B** non-empty · `harness-refine-return.md` **6.719 B** non-empty. mtime-chain **20:27 (eval) → 20:42 (refine) → 21:2x (mình)** ⇒ **TUẦN TỰ HELD**, không chấm bản cũ.

## C1 — Tally eval 35 trục

**C1-a "35 trục" = ĐẠT.** Tổng đầu-mục section khớp: A 16 + B 8 + C 5 + D 6 = **35** (`harness-eval-return.md:8,16,21,27`). Và 21 trục CÓ nhãn + 14 trục KHÔNG nhãn = 35 — số đóng khít, không dư không thiếu.

**C1-b "14H/13R/8M" = TRƯỢT — KHÔNG tái dựng được từ đĩa.**
- Đếm token thô cả file: `HEALTHY 5 · MIXED 7 · REGRESSION 7` = 19 lần xuất hiện.
- Trừ 2 dòng META tự-khai (`:3` header `HARNESS-EVAL: MIXED` · `:6` chính dòng tally) ⇒ còn **15 NHÃN thật**.
- Bung nhãn-gộp ra trục: **HEALTHY 6** (`:10` B2 · `:13` B11 · `:24` R3 · `:29` "P2/P4/P6 HEALTHY" = 3 trục) · **REGRESSION 10** (`:9` B1 · `:12` B10 · `:14` "B12-B15" = 4 trục · `:22` R1 · `:25` "R4/R5" = 2 trục · `:28` P3) · **MIXED 5** (`:18` C7 · `:19` C5 · `:23` R2 · `:29` P1 · `:29` P5).
- ⇒ số TÁI DỰNG = **6H / 10R / 5M trên 21 trục**. Lệch số khai: **H −8 · R −3 · M −3**.
- **14 trục KHÔNG mang nhãn nào** (35−21), truy đích danh được: `B3,B4,B5` + 1 ID nữa **chưa từng xuất hiện** (header khai 16 trục nhưng dãy ID chỉ tới `B15` ⇒ hụt ≥1) · `B6/B7/B8/B9` **có nhắc, 0 nhãn** (`:11` chỉ tả "4 hình-dạng khác nhau") · `C1/C2/C6` **có nhắc, 0 nhãn** — riêng `:17` C1 ghi **"FIT PASS"**, mà `PASS` **không thuộc** bộ {HEALTHY, REGRESSION, MIXED} · `C3,C4,C8` **chưa từng xuất hiện**. 4+4+3+3 = **14**, khớp đúng khe hở.
- Để 14/13/8 đúng thì 14 trục câm kia phải là **đúng 8H+3R+3M** — một phép gán **không có ở bất kỳ đâu trên đĩa**.

**C1-c LỆNH LEAD SAI TIỀN-ĐỀ ("trong bảng ... pattern hàng bảng") = TRƯỢT.** `grep -c '^|' harness-eval-return.md` = **0**. Eval return **không có bảng nào** — 13 hàng bảng trong run-folder thuộc `harness-refine-return.md`. Chạy y-văn lệnh lead ⇒ **0-hit ĐỌC THÀNH "không có verdict"** = dương-giả câm, đúng lớp bẫy `.{50}x`/bold-marker S186. Vai đổi sang đếm token trên toàn file + bung nhãn-gộp; khai thẳng chỗ lệch thay vì thi hành mù.

**C1-d "vai tự cộng lại, khớp" (`:6`) + "tự-cộng khớp" (`bookend-close-synthesis.md:11`) = TRƯỢT.** Hai chỗ này khớp **với nhau**, không khớp với **thân bài**. FALSIFY đã chạy: tìm nguồn eval đầy đủ hơn trên đĩa ⇒ `find *eval*` ra **đúng 1 file** (không có `sub-harness-eval-*.md`); `grep -lE '^\|.*(HEALTHY|REGRESSION|MIXED)'` toàn run-folder ra **1 file duy nhất = synthesis, đúng 1 hàng**, và hàng đó chỉ **chép lại** "14H/13R/8M" chứ không bung. ⇒ **HELD**: không tồn tại bản bung 35 dòng. Đây là **aggregate tự-khai**, thuộc đúng lớp `claim-manh-hon-viec-da-lam` / meta-count blind-spot S119.

**Không lây sang nội dung:** 21 trục có nhãn thì nhãn **đứng**; C1-b chỉ phủ nhận **con số tổng**, không phủ nhận các phép đo lẻ (B1 5/29, B11 429/429, headroom…). Chấm riêng từng vế, không gộp.

## C2 — BÁC-5 của refine (thuốc "gắn `##`" cho `ring1-audit`)

**VERDICT: BÁC-5 = ĐẠT — ĐỨNG VỮNG, và refine còn KHAI NHẸ HƠN sự thật.**

**Chứng CONTROL-DƯƠNG trước (không tin replica trần):** vai dựng lại y-văn khối `:151-195` rồi chạy trên `ring2-audit` để đối chứng với máy thật. Máy in `move 2 lowest-value … ~24928` + `[D3 value-gate] 1 value-protected`; replica in `move 2 … after-est ~24928 … protected-total 1` ⇒ **khớp 3/3 byte-exact** ⇒ replica hợp lệ, kết luận dưới đây mới được tính.

**Cơ-chế, trích code:**
- `memory-archive-gate.ps1:153` — logical entry = **CHỈ heading** `^#{2,3}\s`.
- `:177` (nguyên văn) — `# (2) keep_floor = newest-N logical entries (bottom = newest, append-to-end convention)` ⇒ code **TỰ KHAI** nó lấy **VỊ TRÍ làm proxy cho ĐỘ MỚI**, bằng *quy ước*, chứ không đọc ngày.
- `:178` — `$floorStart = $logCount - $keepFloor` ⇒ số học **thuần vị trí**; toàn khối drain **không có một phép parse ngày nào**.
- `:182-183` — quét `k = 0 .. floorStart-1`, chỉ tha nếu `$entProt[$k]` (value_protect).

**Đo thật trên đĩa (ring1-audit @tick vai, 20.924 B):**
- Hiện trạng: `logCount = 6` ⇒ `floorStart = 1` ⇒ pool drain = **{`## Seed`}**.
- **COUNTERFACTUAL sau khi gắn `##` cho 3 bản ghi mồ côi** (L3 S181 · L4 S173 · L6 S172): `logCount = 9` ⇒ `floorStart = 4` ⇒ **POOL DRAIN = 4 mục**: `S181 (08-07) 1.912 B` · `S173 (08-05) 2.525 B` · `S172 (08-05) 2.548 B` · `Seed (S150, 07-25) 891 B` = **7.876 B**.
- ⇒ **Hai vật refine gọi đích danh — `S181` và `## Seed` — RƠI ĐÚNG VÀO POOL DRAIN.** Xác nhận byte-exact.

**Refine khai NHẸ:** pool không phải 2 mà là **4** — refine **bỏ sót `S173` và `S172`** (thêm 5.073 B rủi ro). Và chiều nghịch còn gắt hơn chữ refine dùng (*"5 slot keep-floor che các entry mới"*): tập được keep-floor **BẢO VỆ** là `E1-S150 (07-25)` · `S151 (07-25)` · `S152 (07-25→26)` · `S159 (07-29)` · `S188 (08-10)` ⇒ **4/5 slot đang ôm bản ghi tháng 7**. Đối chiếu 5 bản ghi **mới nhất THẬT theo ngày** = `S188 · S181 · S173 · S172 · S159` ⇒ giao nhau **2/5**. **keep_floor sai 3/5 slot** — nó **bảo vệ thứ CŨ NHẤT và phơi thứ MỚI NHẤT**, tức **đảo ngược đúng mục đích tự khai ở `:177`**. Đây chính là *"Vị-trí ≠ độ-mới"*, chứng bằng số chứ không bằng lời.

**Lưới an-toàn thứ 2 KHÔNG đỡ:** `protected-total = 0` cho `ring1-audit` ở **cả hai** kịch bản. 10 pattern là `gotcha # | anti-pattern | recurring | lost-update | race | bai hoc | lesson | guard | root-cause | silent-fail` — **0/10 khớp**. Ghi chú cơ-chế: `bai hoc` là **ASCII không dấu**, còn diary viết `Bài:` / `bài học` **có dấu**, mà `:165` dùng `-like "*$vp*"` (khớp chuỗi thẳng) ⇒ pattern đó **chết câm với văn bản tiếng Việt**. Trùng đúng lớp đã ghi @S185 (`value_protect` mù nội dung hợp-đồng-vai). 🔴 **Đây là CHÍNH SÁCH — vai cố ý KHÔNG đề-xuất đổi pattern** (tiền lệ S173/S185), chỉ khai cơ-chế.

**Giới hạn của BÁC-5 (vai tự vạch, refine không vạch):** BÁC-5 chỉ bác **bản chép Y NGUYÊN** thuốc `ctx-audit` (gắn `##` **tại chỗ**). Nó **KHÔNG** chứng minh mọi biến thể đều hỏng — gắn `##` **kèm xếp lại theo thứ tự thời gian** (đưa mới xuống đáy đúng `append-to-end convention` mà `:177` giả định) sẽ vô hiệu hoá đúng mối nguy này. Vai **không đề-xuất** (lane refine/lead), chỉ khai phạm vi hiệu lực.

**BẪY ĐỌC BẢNG (vai bắt thêm, không nấc nào nêu):** cột `entries` của gate **trộn HAI thước**: nhánh dưới-cap `:131` in `$entryCount` (`Get-EntryMarkerLineNumbers` — đếm **cả** heading **lẫn** dấu `---`), nhánh trên-cap `:208` in `$logCount` (**chỉ** heading). Vật chứng: hàng `ring1-audit` in **7** trong khi số thật mà logic drain dùng là **6**. Đọc thẳng cột này để suy ra pool drain ⇒ **lệch 1 slot**.

**Kèm theo, xác nhận A1 landed đúng đặc-tả:** refine A1 dự báo sau move còn **20.925 B**; đĩa hiện **20.924 B** (**lệch 1 B**, đúng chiều OVERSTATE do `:163` `+2 ~ CRLF est` trên file thuần-LF — đúng cơ-chế vai đã truy @S185). 3 mồ côi còn lại (L3/L4/L6) đúng bằng 6 mồ côi ban đầu trừ 3 mục A1 gọi tên (`:8` S168 · `:10` S162 · `:11-14` S153) ⇒ **A1 thi hành đúng vật, không thừa không thiếu**.

## C3 — Headroom tại tick vai (lead scribe từ mẩu return — vai chết trước khi append)

**Số vai đo: headroom = 122.555 tok** — **KHÔNG đảo chiều, GIẢM TIẾP** (125.828 @eval → 122.555 @audit-tick, −3.273 trong ~1,5h). 🔴 **Kỳ vọng "đảo chiều tăng sau E1/E2/A1" trong ĐỀ BÀI LEAD là SAI TIỀN-ĐỀ** (lỗi lead, không phải vai): `crystallized-backfill` đo `hotload_sources` = **6 file docs** (STATUS · HANDOFF · gotchas · migration-todos · README · ACTIVE-MARKS), **KHÔNG đo agent-memory** ⇒ 3 sổ vai nhẹ đi ~19KB không ảnh hưởng; trong khi HANDOFF phình thêm ngay trong closeout (RE-STAMP 47 slug + NEXT-em + carry mới do lead ghi) ⇒ headroom giảm tiếp là **nhất quán với N4** (nguồn phình = lead-surface, chính HANDOFF gánh 66%).

## VERDICT GỘP 3 LƯỢT (lead tổng hợp từ 3 đời agent — mỗi mảnh có nguồn)

- **C1 (lượt 3, trên đĩa):** "35 trục" ĐẠT · tally "14H/13R/8M" **TRƯỢT-trên-bản-đĩa** — 🔴 nguyên nhân = **LEAD SCRIBE TÓM** làm mất bảng + 14 nhãn (eval KHÔNG sai — đối chiếu return gốc trong transcript khớp 14/13/8 từng trục) ⇒ **ĐÃ VÁ: `harness-eval-return.md` v2 transcribe TRỌN**. Lệnh lead "đếm bảng" cũng sai tiền-đề (bản v1 0 bảng) — vai đổi phép đếm + khai, đúng kỷ luật.
- **C2 (lượt 3, trên đĩa):** BÁC-5 refine **ĐẠT + refine còn khai NHẸ hơn sự thật** — counterfactual đo byte: pool drain sau gắn-## = **4 mục 7.876 B** (không phải 2); keep_floor **sai 3/5 slot** (bảo vệ thứ CŨ NHẤT, phơi thứ MỚI NHẤT — đảo ngược mục đích tự khai `:177`); value_protect pattern `bai hoc` ASCII **chết câm với tiếng Việt có dấu**; cột `entries` của gate **trộn 2 thước** (7 vs 6 — lệch 1 slot); A1 landed **lệch đúng 1 B** so dự báo (cơ chế CRLF-est, đúng chiều).
- **Lượt 1+2 (từ mẩu return, không có artifact):** E1/E2/A1 landed mid-audit + `## S188` harvest-curator **survive line 64 sau cắt** (claim đắt nhất của refine E1 XÁC NHẬN) · strike-file khớp số gate của eval · C3 headroom 122.555 (trên).

**HARNESS-AUDIT (gộp): 4Đ · 2T · 1KC** — 2 TRƯỢT đều là lỗi phía LEAD (scribe-tóm + đề-bài sai tiền-đề ×2), 0 TRƯỢT vào nội dung đo của eval/refine.

== HẾT ==
