# harness-refine-return — S152 trio AUTO vòng (lead scribe VERBATIM ngay khi con trả; agentId a747be1b136d4a0d8, 17 tool-use, return CLEAN khuôn cứng)

DE-XUAT: 2 action | 11 da-queued | 9 BAC

**Tiền-đề:** PIN `harness-eval-return.md` TỒN-TẠI + non-empty (8633 B, 15 signal) → fail-closed KHÔNG kích. CG-1 ledger = 0 dòng thật (`reinject-ledger.md:34`). Chốt-dừng phân-biệt: *đã-chạy-không-đạt* → escalate · *đã-đề-xuất-CHƯA-CHẠY* → ĐÃ-QUEUED, cấm đề-xuất lại. Queue S151 (chạm đĩa): **7/9 chưa chạy** (R1·A1·A2·A3·A4·D1·D2) · **2/9 đã chạy** (P1+P2 = 3 diary trio có mục S151 ⇒ resolved).

## §1 — 2 action MỚI (① 0 · ② 2 · ③ 0 · ④ 0)

| # | action | lớp | đối-tượng | trigger | chốt-dừng | owner-gate |
|---|---|---|---|---|---|---|
| N1 | APPEND luật TRIAGE bắt-buộc mọi vòng AUTO: mỗi signal → đúng 1 ô {ĐÃ-QUEUED-chưa-chạy → cấm đề-xuất lại · đã-chạy-không-đạt → escalate · MỚI → action}; prompt lead không kèm queue ⇒ refine PHẢI hỏi trước | ② | `.claude/agent-memory/harness-refine/MEMORY.md` | 11/15 signal = ĐÃ-QUEUED (73,3%) + 7/9 action S151 chưa chạy + cadence AUTO 1 vòng/phiên ⇒ carry-rate cao mỗi vòng | 1 lần; vòng-3 vẫn đề-xuất-lại vật queued ⇒ escalate lead (khuôn-return cần ô bắt-buộc — ngoài 4 lớp → owner) | Lead scribe B3, gộp write-op closeout; 0 đổi số/policy |
| N2 | APPEND luật tự-kiểm: re-CỘNG mọi số tổng/tỷ-lệ trong eval-return trước khi neo action (cộng lại, KHÔNG đo lại) | ② | `.claude/agent-memory/harness-refine/MEMORY.md` | Lặp 2/2 vòng: S151 B9 (fd 21492<21760 ⇒ 2 vai) + **S152 S9: eval in 178.767 B, cộng lại = 177.767 B (lệch đúng 1.000)** | 1 lần; vòng-3 còn neo số chưa re-cộng ⇒ escalate | Lead scribe; luật soi CHÍNH refine — mời audit re-add mọi phép cộng của refine |

**Zero có lý-do:** ① reinject 0 (0 tín-hiệu floor-rot trong 15 signal; caveat: 0 ≠ chứng-minh-không-có — ledger:50 BUILD-GAP per-item-L1-presence PARTIAL → H7) · ③ archive 0 MỚI (4 vai band đều có chỗ: lead-gap→A1 · harvest→A3 · test-spec/fd → BÁC X1/X2) · ④ distill 0 MỚI (margin 15/15=0 đúng thiết-kế; D1+D2 queued).

## §2 — 11 signal ĐÃ-QUEUED (map + delta)
- S1 → D1+B1+B2(+`:252`) — growth **0** (22634→22634, breach đứng yên 1 wave).
- S2 → B1 — anchor VERIFIED `nhip-no-probe.ps1:115` + `:124-127` chỉ duyệt MEMORY.md ⇒ "0 over-cap" = **khẳng-định-sai chủ-động** (không chỉ thiếu consumer) → H3.
- S3 → A1+A3 — **NÂNG ƯU-TIÊN**: lead-gap +543 B/wave ⇒ runway **~1,6 wave**; harvest +531 B/wave, còn 296 B tới low-water.
- S4 → nền A1 — nặng thêm: strike không bao giờ tích được (H2) ⇒ A1 = backstop duy-nhất.
- S6 → B4 — từ suy-đoán → bằng-chứng sống (WARN bị phép đo tiêu-thụ); B4 mở rộng (H4).
- S7 → B3 (rơi, bookend đã bắt & route) — giao-cắt: harvest+tooling vừa N/A (S7) vừa không-`_INDEX` (S9) = 134.121 B mù kép ⇒ A2 thứ-tự harvest→tooling trước.
- S8 → R1 — delta 0; R1 vẫn đứt tiền-đề B3 (H5).
- S9 → A2 — 4 vai byte-identical S151 (0-touch nhất-quán); tổng eval in sai 1.000 → H1.
- S10 → B7 (re-sync 08-01 + 3 hàng ring) — xác nhận 3 dir ring có đĩa, 0 hàng baseline.
- S11 → B8 (lane H2) — tự đóng khi synthesis đáp.
- S14 → D2+B5 — delta 0.
Ngoài bảng: S12 lành 0-action · S5/S13/S15 ngoài turf → §4.

## §3 — 9 BÁC (đủ mục bắt-buộc)
X1 drain test-spec (còn 3.460 B, growth 0) · X2 drain fd (còn 268 B DƯỚI low-water, growth 0) · X3 action-mới cho lead-gap (A1 queued-chưa-chạy ≠ chạy-không-đạt) · **X4 promote luật meta-count vào diary eval — BÁC MẠNH: attempt-1 ĐÃ LAND nguyên-văn `harness-eval/MEMORY.md:20` mà S152 VẪN tái-phạm ⇒ chốt-dừng ĐẠT → escalate H1, cấm attempt-2** (tái-diễn "bài-học nằm-trong-context KHÔNG tự bật") · X5 viết lại P2 diary audit (control đang chạy có tác dụng thật — churn) · X6 nâng/hạ mọi số (owner; cám-dỗ cụ-thể: nâng cap 20480→22700 xoá S1 tức thì = đổi-thước) · X7 chạm S13/S15 (turf lead-gap + owner) · X8 dựng `_INDEX` cho vai chưa-archive (tái-tạo bẫy mẫu-số-0) · X9 reinject phỏng-đoán (tiêu suất CG-1 ≤1/N).

## §4 — Bàn-giao ngoài-turf (route QUA LEAD — theo luật mới ring2)
- **H1** eval số sai (178.767 vs 177.767, mirror B9@S151) → lead chuyển `harness-audit` falsify + errata append (thân giữ nguyên); khung: tái-phạm SAU khi luật nằm diary ⇒ giữ LANE errata của audit (2/2 vòng bắt được), đừng thêm chữ.
- **H2** tầng ③ không trigger máy (VERIFIED: `.archive-strikes.json` KHÔNG tồn-tại; `memory-archive-gate.ps1:127/:222-226/:229` strike chỉ ghi khi `-Apply`, `:125` reset khi clean ⇒ **A6 2-strike vĩnh-viễn không đạt**) → lead/tooling quyết chạy `-Apply` dựng sổ TRƯỚC khi lead-gap vượt (~1,6 wave); trung-thực: chạy hôm nay ghi toàn 0 — giá-trị = dựng sổ.
- **H3** S2 gộp vào B1 (probe phải in N/A hoặc đo cả l2_index — hiện khẳng-định sai chứ không im) → lead chuyển tooling.
- **H4** mở rộng B4: `.mfe-state.json` cần latch/không-tự-tiêu-thụ cảnh-báo → lead chuyển lane máy mfe.
- **H5** R1 cấm chạy trước khi B3 resolve; owner BÁC B3 ⇒ R1 chuyển lớp ①→② tường-minh → lead.
- **H6** S5 (Goodhart 23→25 = hàng AS-17 @1b85713) lane MFE/audit · S13/S15 → lead chuyển lead-gap-auditor. NHƯỜNG.
- **H7** 2 vòng liên-tiếp tầng-① = 0 action + ledger 0 dòng — không phân-biệt được "không có floor-rot" vs "không nhìn thấy" (ledger:50 PARTIAL) → lead chuyển owner: cấp phép đo per-item-L1-presence hay chấp nhận ①=convention-only (ghi rõ).

## §5 — Tự-khai (8): CÓ Write/Edit không dùng (3 Bash read-only xác-minh mỏ-neo, 0 ghi — lead soát git-status kỳ-vọng 0 dòng từ refine) · propose-only ledger CG-1 vẫn 0 tới khi lead reinject thật · 0 đo-lại (số nền = eval; số tự-tính = cộng/trừ [số-học refine]; so-S151 đọc đĩa `harness-refine-return.md:14/:16/:30` không trí-nhớ) · refine đứng đúng chỗ ngã meta-count — mời audit re-add · N1/N2 ghi vào diary CHÍNH refine ⇒ cấm tự-khen, lead/audit toàn quyền bác · giá-trị lượt = TRIAGE (11/15 carry) + 2 phát-hiện máy (H1 số sai · H2 strike chết) + nâng ưu-tiên A1/A3 · growth-rate 543/531 B/wave = 2 điểm không phải xu-hướng (cấm làm cơ-sở đổi số) · không chạm H2-harvest/audit-claim/lead-surface; "B10" không thuộc bộ B1-B9 của refine (nó ở HANDOFF:8 theo bookend) — không nhận.

---
## 🔴 ERRATA (audit S152 đề — lead append, THÂN GIỮ NGUYÊN)
1. Tiền-đề §0: "2/9 đã chạy (P1+P2 = resolved)" → **"1,5/9: P1 ĐẠT · P2 CHƯA LAND"** — audit F5 BROKE: đích P2 (luật mẫu-số-0) KHÔNG có trong `harness-audit/MEMORY.md` (grep 0-hit); gốc kế-thừa từ `S151/trio-synthesis.md:11` đóng dấu "P1+P2 ✓" sai. Hệ quả: **X5 mất tiền-đề** — disposition (làm lại P2 @M9 closeout hay bác) = quyền lead.
2. §4 H2: "A6 2-strike VĨNH-VIỄN không đạt" → **"không đạt DƯỚI LỐI CHẠY DRY hiện-hành"** (audit F6: `memory-archive-gate.ps1:123` tích được khi `-Apply` 2 lượt liên-tiếp).
