# ring2-audit — KIỂM vòng soi-lead (H24) @close S172

> Vai-KIỂM ĐỘC-LẬP trên OUTPUT của 2 con-đo H24. Tao KIỂM 2 con-đo — tao KHÔNG soi lead trực-tiếp.
> **APPEND-AS-I-GO** (anti-#53): mỗi khối ghi xuống đĩa NGAY khi đo xong, không chờ cuối.

---

## §0 — PIN + fail-safe (nghĩa-vụ (i))

**Xác-nhận cặp H24 CÓ chạy phiên này (output tươi trên đĩa):**

| pin | path | byte kỳ-vọng | byte THẬT | mtime | khớp |
|---|---|---|---|---|---|
| `lead-stale-auditor` | `.claude/workflows/runs/2026-08-05-S172-bookend-close/sub-lead-stale-close-S172.md` | 27.633 | **27633** | 2026-08-05 09:19 | ✅ |
| `lead-gap-auditor` | `.claude/workflows/runs/2026-08-05-S172-bookend-close/sub-lead-gap-close-S172.md` | 29.287 | **29287** | 2026-08-05 09:18 | ✅ |

**Chứng C4b tuần-tự (mày chạy SAU cặp, KHÔNG song song):** giờ hệ-thống lúc tao mở lượt = **2026-08-05 09:21:29** > mtime cả 2 pin (09:18 / 09:19). File này sinh sau ⇒ `mtime(output ring2) > mtime(H24 return)` thoả.

**Counter đối-chứng** (`.claude/governance/.session-counter.json`): `counter=46` · `last_ticked_session=S172` · `light_at_counter=44` · `deep_at_counter=40` — khớp brief.

⇒ **PIN ĐẦY-ĐỦ, KHÔNG NO-OP.** Vào chấm.

---

## §1 — ENUM-CHECK (2 vai có tự chế class không?)

Đọc enum ĐÓNG bằng parser JSON (không grep chữ): `.claude/agent-memory/memory-budget.json` → `lead_self_audit.flag_classes` = **list 11 phần-tử**.

```
view-stale-count · view-stale-status · view-stale-header · view-stale-role-desc · view-residual-asym
gap-carry-dropped · gap-carry-aged · gap-owner-specifics · gap-decision-sunk · gap-underfill · gap-incident-unrecorded
```

| vai | class dùng | ∈ enum? |
|---|---|---|
| `lead-stale-auditor` | `view-stale-count` ×6 · `view-stale-status` ×2 · `view-residual-asym` ×1 | **9/9 ✅** |
| `lead-gap-auditor` | `gap-carry-dropped` ×4 · `gap-decision-sunk` ×2 · `gap-owner-specifics` ×1 · `gap-underfill` ×1 | **8/8 ✅** |

⇒ **17/17 class ∈ enum ĐÓNG · 0 tự chế.**

🔴 **Điểm mạnh nhất về kỷ-luật enum ở lượt này:** `lead-stale` gặp 1 ca **không xếp được** → nó **KHÔNG ép vừa** một class gần-gần, mà tách ra `ESCALATE-1` ngoài TOTAL + đề-nghị tên mới cho anh duyệt. Đây đúng thứ tao **TRƯỢT nó @S162** (FLAG-16 ép-vừa `view-stale-count`). ⇒ bài học vòng-kiểm đã ăn vào hành-vi con-đo. Ghi nhận, và phần phân-xử ca này ở §6.

**Đối-chứng máy (chống pointer treo):** `class_repeat.counts` có **11 khoá**, `set(counts) ≡ set(enum)` cả hai chiều (0 thừa / 0 thiếu), **11/11 value = `int`** ⇒ bất-biến "counts chỉ chứa số" còn sống. `h24_cadence`: `light_every=6` · `deep_every=15` · `jump_on_class_repeat=3` (đọc từ khoá, không chép từ doc).

---

## §2 — Tái-dựng số ĐỘC-LẬP #1 (nghĩa-vụ (iv)): bundle prod — **TỰ ĐO LIVE, không đọc lời khai**

`lead-stale` FLAG-1 dựa vào artifact `cicd-verify-998ea55.md` do **chính lead** viết. Tao **không** chấm bằng cách đọc lại artifact đó — tao gọi thẳng prod:

```
curl -s https://admin.solutions.com.vn/   → assets/index-Ajv-MaCz.js  · assets/index-Cd15r15R.css
curl -s https://eoffice.solutions.com.vn/ → assets/index-YsXRkBSR.js  · assets/index-BpzM6R0V.css
```

| Đo bằng `curl -I` (của TAO, 2026-08-05 09:2x) | HTTP | Content-Type | Content-Length | Last-Modified |
|---|---|---|---|---|
| `admin/assets/index-Ajv-MaCz.js` | 200 | `application/javascript` | **1 783 465** | Tue, 04 Aug 2026 12:54:41 GMT |
| `eoffice/assets/index-YsXRkBSR.js` | 200 | `application/javascript` | **1 701 224** | Tue, 04 Aug 2026 12:55:53 GMT |
| `admin/assets/index-DLRf9TeA.js` (**hash STATUS:479 đang trỏ**) | 200 | **`text/html`** | **900** | — |
| `eoffice/assets/index-C7TGA4Kn.js` (**hash STATUS:479 đang trỏ**) | 200 | **`text/html`** | **876** | — |

**Kết:** 4/4 con số của con-đo tái-lập **tới từng byte** trên nguồn độc-lập (prod live), kể cả control-âm SPA-fallback 900/876 B. `STATUS:479` verbatim đã đọc lại (`docs/STATUS.md:479` — `DLRf9TeA` (1.767.413B) · `C7TGA4Kn` (1.685.160B), mốc *"@S168 ~17:1x 01/08 bởi cicd #444"*) ⇒ **0/2 khớp live**.

**Loại time-drift (bài S162/S166):** `docs/STATUS.md` mtime = **2026-08-03 08:38:17**, và **KHÔNG** nằm trong `git status --porcelain` ⇒ cây sạch ở file này, lead **chưa** vá giữa phiên ⇒ cái tao đọc = cái con-đo đọc = cái đang commit. Không có cửa "flag oan vì vá-sau".

🔸 **Errata nhỏ cho resolve của con-đo (INFORM, không hạ verdict):** nó đề-nghị ghi mốc *"đo LIVE 2026-08-05"*. Đúng về **thời-điểm ĐO**, nhưng `Last-Modified` cho thấy **deploy xảy ra 04/08 19:54-19:55 (+07)**. Ô `:479` dùng khuôn *"đo LIVE @S168 ~17:1x 01/08"* = thời-điểm đo ⇒ format nhất-quán, chỉ nên thêm 1 chữ để người sau không đọc thành ngày ship: `đo LIVE 2026-08-05 (ship 04/08 19:54+07, run #447)`.


---

## §3 — Tái-dựng số ĐỘC-LẬP #2: `tiep_reload` 8 nguồn (chấm lead-gap FLAG-7)

Đo **đúng phạm-vi tự khai của từng mục** (đọc `sources` bằng parser JSON, KHÔNG lấy trọn file — đây đúng cái bẫy đã cắn CHÍNH TAO @S166 F-8: đọc `HANDOFF:1-117` nuốt 7 segment cũ ⇒ thổi +60K).

| # | nguồn (phạm-vi khoanh) | con-đo khai | **TAO đo** | kết |
|---|---|---|---|---|
| 1 | `STATUS.md` dòng CURRENT (`:6`) | 2.473 | **2.473** | ✅ ĐÚNG TỪNG BYTE |
| 1b | `STATUS.md` bảng CURRENT STATE (`:461-485`, dừng trước `## Recently Done`) | 64.694 | **64.694** | ✅ ĐÚNG TỪNG BYTE |
| 2 | `HANDOFF.md` segment Last-updated mới nhất (`:5-39`, dừng trước marker 🧊 `:40`) | 7.222 | **7.301** | ~ lệch **+79 B (1,1%)** = biên đoạn 1-2 dòng |
| 3 | `WAL.md` trọn | 6.203 | **6.203** | ✅ ĐÚNG TỪNG BYTE |
| 4 | `_mind-s-10.md` trọn | 27.519 | **27.519** | ✅ ĐÚNG TỪNG BYTE |
| 5 | `_context-s-10.md` trọn | 6.921 | **6.921** | ✅ ĐÚNG TỪNG BYTE |
| 6 | `ACTIVE-MARKS.md` trọn | 31.197 | **31.197** | ✅ ĐÚNG TỪNG BYTE |
| 7 | `gotchas.md` 5 section `### N.` cuối (#82-#86; đĩa có **86** section) | 14.689 | **14.689** | ✅ ĐÚNG TỪNG BYTE |
| 8 | `migration-todos.md` header Active-work + §Phase hiện hành | 867 (=434+433) | **3.706** (=432 + **3.274**) | 🔴 **LỆCH ×4,3** |

**7/9 dòng đúng tới từng byte · 1 dòng lệch 1,1% (biên đoạn) · 1 dòng SAI.**

### 🔴 E-1 — dòng 8 sai, và tao truy được CƠ-CHẾ

`§Phase 12` (`migration-todos.md:798-814`, *"Dry-run TOÀN TRÌNH đến Hợp đồng cứng"* — 6 dòng `[x]` + 4 dòng `[ ]` + 1 dòng ⏸️, gồm cả **BLOCKER chốt NGƯỜI DUYỆT 3 trạm**) = **3.274 B**, không phải **433 B**.

Cơ-chế khả-dĩ nhất, đo được: header đo theo 3 biên cho **432 / 433 / 434 B** — tức **cả hai** số con-đo đưa (`434` và `433`) đều nằm trong ±1 B của **cùng một** đại-lượng là *header*. ⇒ nhiều khả-năng **header bị đo hai lần, lần thứ hai bị dán nhãn "§Phase 12"**. Không phải bịa số — là **lỗi nhãn tập-đo**, cùng họ với ca của chính tao @S166.

### Hệ-quả — kết-luận của FLAG-7 CÓ ĐỔI KHÔNG? **KHÔNG.**

| đại-lượng | con-đo | tao đo | kết-luận đổi? |
|---|---|---|---|
| **THỰC NẠP 6/8** | 146.229 B ⇒ **[36,6K..48,7K]** tok | **146.308 B** ⇒ [36,6K..48,8K] | **KHÔNG** — cận-dưới **36,6K < sàn 40K** đứng nguyên |
| TRỌN 8 nguồn | 161.785 B ⇒ [40,4K..53,9K] | **164.703 B** ⇒ [41,2K..54,9K] | **KHÔNG** — vẫn nằm trọn dải 40-60K (thoải hơn) |
| Phần THIẾU | 15.556 B ≈ **9,6%** | **18.395 B ≈ 11,2%** | số **BỊ KHAI THẤP** |

🔴 **Chiều của sai-số là điểm phải nói rõ:** lỗi này **hạ thấp** phần thiếu, tức nó **chống lại chính luận-điểm của con-đo**, không thổi phồng nó. Đối chiếu ca TRƯỢT của tao @S162 (FLAG-16 ép-vừa enum) và @S166 (F-8 lật ngược kết-luận): cả hai đều **đổi kết-luận**. Ca này **không** đổi ⇒ tao **không** hạ TRƯỢT, nhưng ghi **ERRATA cưỡng-hành**: 🔴 **lead CẤM chép `867` / `15.556` / `9,6%` vào bất kỳ sổ nào** — chép là đúc một con số thối mới, đúng thứ H24 sinh ra để chặn.

**Quy-ước dải token** (`B/3` .. `B/4`) không phải tao chế cũng không phải con-đo chế — nó kế thừa từ chính `memory-budget.json` → `tiep_reload._expand_S168` (*"132.449 B ~ [33K..44K]"* → 132449/4=33,1K · /3=44,1K). Con-đo dùng ĐÚNG quy-ước của cấu-hình.


---

## §4 — FALSIFY-LOG (nghĩa-vụ (iii)) — thử **BÁC**, không thử xác-nhận

### F-1 — thử bác `lead-gap FLAG-1` (*"E-7 + 5 acceptance = 0 hit trên CẢ 6 sổ bền"*) → **HELD**

Tao chạy lại **bằng parser python đếm occurrence** (không `grep -c` — bẫy đếm-DÒNG của chính tao @S150), trên đúng 6 bề mặt:

| token | HANDOFF | STATUS | migration-todos | error-ledger | ACTIVE-MARKS | sổ closeout S172 |
|---|---|---|---|---|---|---|
| `E-7` · `cột nào chết` · `KpiCard` · `400px` · `acceptance RUNTIME` | **0** | **0** | **0** | **0** | **0** | **0** |
| *CONTROL-DƯƠNG* `test.drafter` | 1 | 0 | 0 | 0 | 0 | **2** |
| *CONTROL-DƯƠNG* `KeHoachKyKet.Update` | 0 | 0 | 0 | 0 | 0 | **1** |
| *CONTROL-DƯƠNG* `run.md` | 3 | 7 | 0 | 0 | 4 | 2 |

30/30 ô = 0 cho 5 token, trong khi control-dương ra hit ⇒ **0-hit là 0-hit thật**, khớp bảng con-đo tới từng ô.

🔴 **Tao đã cố bác bằng đường con-đo KHÔNG đi** (biến-thể chính-tả — nếu món được ghi dưới tên khác thì FLAG sập): `E7` · `B-3` · `E-5` · `E-6` · `C-5` · `D-9` · `acceptance` · `baseline test` · `đính kèm`.

**Và một probe của tao BẮN TRÚNG — rồi tự sập:** `E-5` ra **3 hit HANDOFF + 8 hit STATUS**. Suýt kết luận *"FLAG-1 khai quá — ít nhất 1/5 acceptance CÓ trên sổ bền"*. Đo tiếp:
```
STATUS : E-5 = 8   trong đó EDGE-5 = 8   ⇒ E-5 độc-lập = 0
HANDOFF: E-5 = 3   trong đó EDGE-5 = 3   ⇒ E-5 độc-lập = 0
regex biên-từ (?<![A-Za-z])E-5  ⇒  HANDOFF 0 · STATUS 0
```
**11/11 hit là substring của `EDGE-5`** (ca PE sign-off A1/EDGE-5 @S112). Dương-giả của **tao**, không phải của con-đo. `acceptance` (3+1+2 hit) cũng khác trục hoàn toàn (W3 acceptance #8 · *acceptance literal tự-lão-hoá* · D1 gist-of-index) — 0 hit nào là bộ 5 runtime của S171.

⇒ **KHÔNG bác được. FLAG-1 HELD** (cùng lớp bẫy `-E` en-dash @S149 và `grep -c` @S150: **probe của chính mình phải bị falsify trước khi dùng để buộc tội**).

### F-2 — thử bác `lead-stale FLAG-1` (*"STATUS:479 bundle đã chết"*) → **HELD (chứng bằng nguồn NGOÀI repo)**

Đường bác mạnh nhất = **không đọc artifact của lead**, gọi thẳng prod (xem §2): live = `Ajv-MaCz` / `YsXRkBSR`, size **1.783.465** / **1.701.224** khớp từng byte; 2 hash mà `:479` đang trỏ trả `text/html` 900/876 B = SPA-fallback ⇒ **không còn trên đĩa prod**. Đường bác thứ hai (time-drift, bài S162/S166): `STATUS.md` mtime **08-03 08:38**, **vắng mặt** trong `git status --porcelain` ⇒ không có chuyện lead đã vá rồi bị flag oan.

⇒ **KHÔNG bác được. FLAG-1 HELD, và đây là FLAG mạnh nhất lượt này** — nó là ô canonical mà `STATUS:6` cố ý trỏ vào (B1).


### F-3 — thử bác `lead-gap FLAG-2` (*"4 phiên không re-stamp, và bỏ CHỌN LỌC"*) → **HELD**

Đường bác: nếu carry CÓ được đóng dấu ở đâu đó, hoặc nếu lead **không** mở HANDOFF ra sửa (⇒ "bỏ chọn lọc" sập thành "chưa có dịp").

```
git log -1 -- docs/HANDOFF.md        → bf0200b  2026-08-04  "va 4 diem stale hau-ring S170"
git show --numstat bf0200b -- HANDOFF → 3  3        (3 insertions / 3 deletions)
git show bf0200b -- HANDOFF | grep "^+" | grep -c "\[carry:"  → 0
```
Mốc `Carry @S<nnn>` trên HANDOFF: **@S168 (:36) · @S162 (:72) · @S153 (:116) · @S152 (:123)** — mới nhất **@S168**, đúng như khai ⇒ S169·S170·S171·S172 = **4 phiên**.
Slug: `[carry:ctx-verifier-no-self-append]` = **2** · `[carry:tiep-3ter-seed-unwired]` = **0** · chuỗi tên mới ở **bất kỳ** dạng nào = **0**. Tổng slug `[carry:*]` trên HANDOFF = **247** ⇒ phép đếm slug **không rỗng** (control-dương mạnh: nhà này ĐẦY slug, riêng slug đang sống thì vắng).

⇒ **KHÔNG bác được. HELD.** Lead **có** mở HANDOFF ra sửa mà vẫn không re-stamp ⇒ vế "bỏ chọn lọc" đứng vững.

### F-4 — thử bác `lead-gap FLAG-6` (*"cổng ép-seed chỉ có ở `/session-end`, `/pause` không có"*) → **HELD (+1 errata đơn-vị)**

| token | `session-end.md` (dòng / occurrence) | `pause.md` (dòng / occurrence) |
|---|---|---|
| `C2` | 3 / 3 | **0 / 0** |
| `seed` | **4 / 8** | **0 / 0** |
| `MEMORY.md` | 6 / 6 | **0 / 0** |
| `on-behalf` | 3 / 3 | **0 / 0** |
| `diary` | **3 / 5** | **0 / 0** |
| `agent-memory` | **14 / 17** | 2 / 2 |

**Vế kết-luận HELD tuyệt-đối:** `/pause` = **0 hit** trên cả 5 token cổng-seed, `/session-end` = có đủ. Cơ-chế *"cửa `/pause` cấu-trúc-tính không chạy phép đếm A∖B"* **đứng**.

🔸 **Errata đơn-vị (INFORM, không hạ verdict):** bảng con-đo đưa `seed=4` và `agent-memory=14` — đó là **số DÒNG** (`grep -c`), không phải số **occurrence** (8 và 17). Đây đúng bẫy tao tự vấp @S150 (`grep -c` đếm dòng ≠ `-o|wc -l` đếm lần). Verdict không đổi vì cột `/pause` = 0 ở **cả hai** đơn-vị. Đề-nghị: khai đơn-vị cạnh bảng.

### F-5 — thử bác `lead-gap FLAG-7` (*"`/tiep` không có bước đếm nguồn"*) → **HELD**

`.claude/commands/tiep.md`: `%-print` = **0** · `token` = **0** · `tiep_reload` = **1** · `8 nguồn` = **0**. ⇒ nạp 6/8 và nạp 8/8 **sinh ra cùng một báo-cáo** — không máy nào phân-biệt được. Khớp khai.

### F-6 — probe NGOÀI pin: `ctx-verifier` có **thật sự** không ghi được không? → **BROKE một nửa khung của lead**

Bối cảnh `harness-refine` N3 (coordinator chuyển): `.claude/agents/ctx-verifier.md:7` `tools:` không có Write/Edit ⇒ no-self-append là **nghĩa-vụ scribe của lead**, không phải lỗi vai. Tao đọc thẳng frontmatter:

```
tools: [Read, Grep, Glob, Bash, mcp__rag-unified__*]      ← 0 Write, 0 Edit… NHƯNG CÓ Bash
```

🔴 **Cả hai vế đều phải nói:** (a) N3 **ĐÚNG** — vai không được khai quyền ghi ⇒ đòi nó tự-append là đòi nó vi-phạm khai-báo của chính nó ⇒ **carry phải trỏ vào WIRING của lead, không trỏ vào vai**. (b) Nhưng *"không ghi được"* là **SAI về vật-lý**: `Bash` nằm trong whitelist ⇒ đường ghi vẫn mở — đúng caveat `[carry:tools-whitelist-no-teeth]` mà **chính persona đó tự khai trong description**. ⇒ khung đúng = *"khai read-only ⇒ ghi = residual-write vi-phạm; backstop THẬT = git-diff commit-gate"*, **không** phải *"bất-khả-thi"*.

⇒ Ăn vào `lead-gap FLAG-6`: FLAG **không** đổi (vẫn đúng: carry 0 đích đổ + nguyên-nhân không ai ghi), nhưng **tên carry** `tiep-3ter-seed-unwired` là tên ĐÚNG hơn tên cũ `ctx-verifier-no-self-append` — vì món nợ là **nghi-thức lead chưa nối dây**, không phải vai quên ghi. Con-đo đòi dùng tên mới ⇒ **đề-nghị của nó đúng cả về sự-thật lẫn về quy-kết**.


---

## §5 — VERDICT PER-FLAG (nghĩa-vụ (ii)) — 17 FLAG, mỗi FLAG 1 dòng phán + neo bằng-chứng TAO tự đo

🔴 Không có verdict-tổng gộp. Mỗi dòng đứng riêng (bài meta-count blind-spot).

### 5a — `lead-stale-auditor` (9 FLAG)

| # | class | SEV | **verdict** | bằng-chứng TAO tự dựng (không chép lời khai) |
|---|---|---|---|---|
| **F-1** | `view-stale-count` | HIGH | **ĐẠT** | `curl` prod của tao: live = `Ajv-MaCz`/`YsXRkBSR` (1.783.465 / 1.701.224 B); 2 hash `:479` đang trỏ → `text/html` 900/876 B. `STATUS.md` mtime 08-03, vắng khỏi `git status` ⇒ 0 time-drift. **0/2 khớp** — xem §2 |
| **F-2** | `view-stale-count` | MED | **ĐẠT** | `WAL:24` = *"(0/3 log CI từng tái-hiện)"* verbatim. Đếm trên `cicd-verify`: `0/4` = **3 occurrence** · `0/3` = **0**; `cicd-monitor/MEMORY.md` `0/4` = **1**. §4.6 *"chưa từng làm đỏ một run nào"* tồn tại thật ⇒ mẫu-số mạnh nhất là toàn-lịch-sử. WAL **có** trong `tiep_reload.sources` (`.claude/WAL.md :: tron` — tao đọc bằng parser JSON) ⇒ vế "tái sinh mỗi `/tiep`" đúng |
| **F-3** | `view-stale-count` | LOW | **ĐẠT** *(class BORDERLINE — xem note)* | Tách `WAL:16` sau nhãn `**7/7 chân xanh**:` bằng dấu `·` ⇒ **đúng 6 phần-tử**, có `smoke 8/8`. Bảng `cicd §8` (`:308-315`): đánh số **1..6**, rồi hàng **`—` Smoke prod**, rồi **7** Non-admin ⇒ smoke NGOÀI bộ chân. Giao = {3,4,5,6,7} = **5/7**, thiếu chân 1 (Push+path-filter) và 2 (CI run) |
| **F-4** | `view-stale-count` | LOW | **ĐẠT** | `os.walk` của tao: **11** dir rỗng = **3** build/IDE (`.vs/sd` · `obj/Debug/net10.0/staticwebassets` · `obj/Release/net10.0/staticwebassets`) + **8** mis-land. `WAL:21` viết *"KHÔNG tính **4** dir build/IDE"* mà ngoặc của chính nó liệt 3 ⇒ số 4 sai, số 8 đúng |
| **F-5** | `view-stale-count` | MED | **ĐẠT** | Tao cài lại luật DUAL-ACCEPT (có `run.md` ∧ 0 `*-synthesis.md` non-empty ở `<dir>/` hoặc `<dir>/harvest/`) ⇒ **ORPHAN = 5**, đúng 5 folder con-đo liệt; phần-tử thứ 5 = `2026-08-05-S172-bookend-close` (`run.md` mtime **08:58:31**) = **chính run-folder chứa dòng `run-chua-gom 4`** |
| **F-6** | `view-stale-status` | MED | **ĐẠT** | `WAL:20` khoản (8) *"4× upgrade-pack-phased **chưa kéo**"* + `WAL:23` *"**Kéo thật @bookend**"* verbatim; đối chứng `git status --porcelain` = **4 file `??`** `broadcasts/inbox/ai_infra/2026-08-04-Governance-upgrade-pack-phased-*` **đã nằm trên đĩa** + `run.md:12` *"Kéo 5 thư … stamp_verify 5/5 OK canonical"* |
| **F-7** | `view-stale-status` | MED | **ĐẠT** | Tao parse frontmatter **cả 5 thư**: 4/5 = `status: DRAFT` + `reviewer_gate: "PENDING"`; `2026-07-28-…-day-wake-…` = `status: "🟡 PHÁT-SỚM … dogfood-PENDING"` + `reviewer_gate: "PASS r3 (r1 FAIL 2C/3M/6m …)"` ⇒ `run.md:12` gán DRAFT+PENDING cho **toàn lô** sai đúng 1/5, và sai ở **thư duy nhất đã qua cổng review** |
| **F-8** | `view-residual-asym` | LOW | **ĐẠT** | `WAL:33` *"p=1 ≤ **tiep=2**"* ⟂ `WAL:35` *"p=1 ≤ **tiep=3**"* — hai khẳng-định cùng khối `verify:`. Đĩa: `ls .claude/sessions/session-10/` = **6 file** gồm `_tiep-3.md` ⇒ `:35` đúng, `:33` là dư-lượng sửa-một-phía |
| **F-9** | `view-stale-count` | LOW | **ĐẠT** | `STATUS:6` verbatim: *"counter **42** (tick S168; H24 light 2/6 **deep 2/15** ok … **light=deep=40**)"*. Đọc `.session-counter.json` bằng parser: `counter=46` · `light_at=44` · `deep_at=40` ⇒ deep = **6/15**, `light_at` = 44 ≠ 40. Tao **tự kiểm cả cảnh-báo anti-Goodhart của nó**: 42−40 = 2 và 46−44 = 2 ⇒ `light 2/6` **trùng số một cách tình cờ** ⇒ cảnh-báo đó ĐÚNG |

🔸 **Note class F-3 (tao nêu, KHÔNG hạ verdict):** vị-ngữ `view-stale-count` là *"số cũ sau khi source đã đổi"* — ở đây **con số 7 KHÔNG cũ**, cái lệch là **danh-sách dưới nó**. Class sắc hơn có thể là `view-residual-asym` (thêm *"chân non-admin ĐÓNG @S172"* vào đuôi mà không đồng-bộ bộ list). Tao **không** gọi TRƯỢT vì: (a) có **defect thật** cần một class nào đó — khác hẳn ca `ép-vừa` tao TRƯỢT @S162, ở đó defect bốc hơi khi đo đúng đơn-vị; (b) con-đo dẫn **2 tiền-lệ cùng dự-án** (`README:242` roster 20/23 @S162 · `STATUS Roster THẬT` 14/17 @S143) đã xếp cùng class này. **Hệ-quả máy = 0**: đổi class chỉ dời 1 đơn-vị giữa 2 class **đều đã ≥8 consecutive**, không đổi trạng-thái jump.

### 5b — `lead-gap-auditor` (8 FLAG)

| # | class | SEV | **verdict** | bằng-chứng TAO tự dựng |
|---|---|---|---|---|
| **G-1** | `gap-carry-dropped` | HIGH | **ĐẠT** | 5 token × 6 sổ bền = **30/30 ô bằng 0** (đếm occurrence bằng python, không `grep -c`); control-dương `test.drafter` 1/2 · `KeHoachKyKet.Update` 1 · `run.md` 3/7/4/2 đều ra hit. **Tao thử bác thêm 9 biến-thể** con-đo không đi — sập hết (xem F-1) |
| **G-2** | `gap-carry-dropped` | HIGH | **ĐẠT** | `git log -1 -- HANDOFF` = `bf0200b` 08-04 · `--numstat` = **3/3** · dòng `+` chứa `[carry:` = **0**. Mốc `Carry @S<nnn>` trên đĩa = **@S168 · @S162 · @S153 · @S152** ⇒ 4 phiên không re-stamp. Slug cũ = **2**, slug mới `tiep-3ter-seed-unwired` = **0** (mọi dạng), trong khi tổng `[carry:*]` = **247** = control-dương mạnh |
| **G-3** | `gap-decision-sunk` | HIGH | **ĐẠT** | Regex `\((6[0-9])\)` trên HANDOFF ⇒ **{60,61,62,63,64,65,66}**, `(67)` = **0**. Câu hỏi tồn tại ở `WAL:20` mục (9) *(số nội-bộ WAL, không phải slot)* · sổ closeout **L60** = **văn xuôi, 0 số**, và §5 bắt đầu ở L62 ⇒ nó nằm ở **đuôi mục đã-XONG** đúng như khai · `cicd:321` mục 3 *"MỚI (đẻ từ §6.5, chờ owner phán)"* |
| **G-4** | `gap-owner-specifics` | MED | **ĐẠT** | Cụm verbatim *"File do người duyệt tải lên"* = **0 / 0 / 0 / 0** trên HANDOFF · STATUS · WAL · sổ closeout; chỉ sống trong run-folder S171 ⇒ chữ của owner không lên được bề mặt owner đọc |
| **G-5** | `gap-carry-dropped` | MED | **ĐẠT** | `run.md` S171: `cicd` **0** · `deploy` **0** · `998ea55` **0** · `bf0200b` **0** · `PASS 7/7` **0**, control-dương `canPe` = **1**, `verdict` = 4 (case-insensitive) ⇒ vẫn mồ-côi. Dir rỗng vẫn **8**. **Vế nặng nhất tao xác nhận riêng:** `run.md` S172 §Stages = **đúng 7 bước**, và `empty` = 0 hit · `dir RỖNG` = 0 · `mồ-côi` = 0 ⇒ **0/7 bước sở-hữu 2 món này** |
| **G-6** | `gap-carry-dropped` | MED | **ĐẠT** | `/pause` = **0 hit** trên cả 5 token cổng-seed (`C2`·`seed`·`MEMORY.md`·`on-behalf`·`diary`), `/session-end` có đủ ⇒ cơ-chế *"cửa `/pause` cấu-trúc-tính không chạy A∖B"* đứng. F-6 của tao **làm chặt thêm** quy-kết (nợ = wiring của lead, không phải vai) |
| **G-7** | `gap-underfill` | MED | **ĐẠT** *(kèm ERRATA E-1)* | Tao đo lại 9 dòng theo đúng phạm-vi: **7 dòng khớp TỪNG BYTE**, 1 dòng lệch 1,1% (biên đoạn HANDOFF), 1 dòng SAI (§Phase 12 = **3.274 B** ≠ 433). **Kết-luận KHÔNG đổi**: thực nạp 146,3K B ⇒ cận-dưới **36,6K < sàn 40K**. Sai-số **chống lại** luận-điểm của chính con-đo ⇒ errata, không phải thổi số — xem §3 |
| **G-8** | `gap-decision-sunk` | MED | **ĐẠT** *(kèm ERRATA E-3, và bệnh RỘNG HƠN khai)* | `CHƯA LÀM` = **0** trên HANDOFF ⇒ quyết-định chưa có vết đĩa. 3 con số cùng lúc: `HANDOFF:11` *"ĐÃ QUÁ HẠN **2** ngày"* · `WAL:20` *"quá hạn **4** ngày"* · `_mind:103` *"quá hạn **3** ngày"*. `_mind:19` khoá **BẤT BIẾN** verbatim. 🔴 **Con-đo trỏ `_mind:145` cho slot 65 — lệch 1 dòng**: `:145` là **drift-audit**, slot 65 nằm ở **`:144`** (*"hạn 01-08 QUÁ 2 ngày"*) ⇒ nội-dung ĐÚNG, con-trỏ lệch. **Và tao đếm ra bệnh rộng hơn nó khai:** `_mind:104` + `_mind:145` là **2 site neo-thối NỮA** (drift-audit *"quá 3 ngày"* / *"quá 2 ngày"*) ⇒ **6 site**, không phải 4 |

### 📊 Tổng verdict

**17/17 ĐẠT · 0 TRƯỢT · 0 KHÔNG-CHẤM-ĐƯỢC** · **17/17 class ∈ enum ĐÓNG, 0 tự chế.**
Kèm **3 ERRATA cưỡng-hành** (E-1 §Phase-12 `433`→**3.274 B** · E-2 đơn-vị dòng-vs-occurrence ở bảng F-4 · E-3 con-trỏ `_mind:145`→**`:144`**) + **1 class-borderline INFORM** (F-3) + **1 mở rộng** (G-8: 4→**6** site).

🔴 **Nói thẳng để không thành dấu-cao-su:** 17/17 ĐẠT **không** có nghĩa 2 vai hoàn-hảo — nghĩa là **mọi FLAG chúng bắn đều trúng vật thật**. Ba errata trên đều nằm ở **số phụ-trợ**, không ở vị-ngữ FLAG. Cái tao **không** kết luận được là *"đã bắt hết"* — xem §6b.

---

## §6 — BA CÂU LEAD NHỜ PHÂN-XỬ

### §6a — `gap-carry-aged = 0` là "số 0 VÔ NGHĨA": **KHÔNG PHẢI NÉ — nhưng lập-luận SAI TIỀN-ĐỀ, và sự thật NẶNG HƠN nó tưởng**

**Phán 3 vế, tách bạch:**

**(1) Kết-luận ĐÚNG — và không phải cửa né.** Né honest-zero là khi con-đo *phải* ghi CLEAN mà bịa cớ để khỏi ghi. Ở đây ngược: con-đo **từ chối đọc số 0 thành tín-hiệu lành**, tức nó **tự tước** của mình một dòng "sạch" dễ ăn. Đối chiếu ngay trong cùng file: `gap-incident-unrecorded` = 0 nó **nhận thẳng là thoả thật** (§2(b), có chứng 3 sổ ghi vết #53-garble). ⇒ Một vai chịu nhận honest-zero ở ca này mà từ chối ở ca kia = **phân-biệt có tiêu-chí**, không phải né có hệ-thống.

**(2) 🔴 Nhưng TIỀN-ĐỀ nó đưa thì SAI như đã viết.** Nó viết: *"slug đang sống (`tiep-3ter-seed-unwired`) **chưa bao giờ** được đóng dấu lên HANDOFF ⇒ streak của nó **không thể tăng**"*.
Tao đo: món nợ đó **CÓ** được đóng dấu trên HANDOFF — **2 lần**, dưới **tên cũ** `ctx-verifier-no-self-append`: `:36` (khối **Carry @S168**) và `:72` (khối **Carry @S162**). ⇒ *"chưa bao giờ đóng dấu"* chỉ đúng với **CHUỖI KÝ-TỰ tên mới**, **không** đúng với **món nợ**. Món nợ có vết, và về nguyên-tắc là aging được.

**(3) ⭐ Lý-do THẬT khiến số 0 rỗng — tao tự tái-dựng bằng cách CÀI LẠI detector, không đọc lời khai.**

Tao đọc `scripts/governance-detectors.ps1:880-932` rồi **viết lại H24-2 bằng python** đúng từng bước (cắt segment theo regex `(?m)^\*\*(?:[^\x00-\x7F]+\s*)?NEXT\s+(?:anh|em)\b` · key `\[carry:([a-z0-9][a-z0-9._-]*)\]` · streak = số carry-line **liên tiếp từ mới nhất** chứa key · M = `light_every` = **6**):

```
HANDOFF logic-segments (NEXT anh/em) = 25 ; carry-lines = 18 ; M = 6
carryLines[0] (cái detector COI LÀ mới nhất) = 5 key:
    ctx-t9-dogfood                 streak=2  [ok]
    ring5-audit-gap                streak=1  [ok]
    hmw-width-vs-roster            streak=1  [ok]
    hmw-subfile-index-collision    streak=1  [ok]
    adap-apply-2-thu               streak=3  [ok]
=> 0 key nào chạm M=6  =>  detector in [ok] toàn bộ, 0 INFORM
```

🔴 **Và đây là chỗ chết:** marker `**NEXT anh/em` **ĐẦU TIÊN** nằm ở **`HANDOFF:90`**. Code dựng segment **bắt đầu từ `marks[0]`** ⇒ **toàn bộ vùng `L1..L89` KHÔNG BAO GIỜ ĐƯỢC ĐỌC**. Mà vùng đó chính là vùng **MỚI NHẤT** của file, và nó chứa:

```
L1..L89 (detector KHÔNG đọc) = 12 slug bị bỏ, gồm:
  tiep-reload-underfill · ctx-t9-dogfood · ring5-audit-gap · hmw-width-vs-roster
  hmw-subfile-index-collision · ctx-verifier-no-self-append · synthesis-roll-s159-s160
  harvest-orphan-s159-tongquan · endline-sub-md · tra-bui-relogin
  mind-tran-nen-moi-cua · orphan-retro-harvest-s159
      ↑ khối "Carry @S168" (:36) và "Carry @S162" (:72) NẰM TRỌN TRONG VÙNG NÀY
```

⇒ Thứ detector gọi là *"carry-line mới nhất"* thực ra là **một segment CŨ ở dưới dòng 90**. Nó đang tính tuổi trên **tập sai**, rồi in `[ok]` — **im lặng đúng cách nhất để không ai nghi ngờ**.

**Kết-luận phân-xử:**
- Câu *"đừng đọc `gap-carry-aged = 0` như tín-hiệu lành"* — **GIỮ NGUYÊN, và tao gia-cố thêm bằng đo máy.**
- Câu *"vì slug chưa từng được đóng dấu"* — 🔴 **lead CẤM chép**: sai tiền-đề. Câu đúng: *"khối carry mới nhất (`:36`, `:72`) nằm TRÊN marker `NEXT anh/em` đầu tiên (`:90`) nên detector H24-2 không đọc tới; carry-line nó chấm là segment cũ, streak tối đa 3 < M=6."*
- Điều này **không** hạ verdict G-6/G-2 (đã ĐẠT) — nó **làm nặng thêm** vế "cấu-trúc vacuous" mà con-đo nêu.
- 🔸 **Tao tự giữ ranh:** tao **KHÔNG** phán về việc sửa detector — đó là turf tooling (`ring1-audit`/H1). Tao chỉ phán **lời khai của con-đo về con số 0**. Món cơ-chế này tao **giao lại lead** dưới dạng INFORM có tên: `carry-age đọc hụt vùng L1-89`.
- 📌 **Vết tái-phát:** đây là **lần thứ 2** vòng-kiểm chạm đúng lớp này — @S159 tao đã ghi *"`gap-carry-aged = 0` = Goodhart rời-tập-đo, cái mất là CHỨNG-NHÂN"*. 13 nhãn phiên sau, tập-đo vẫn lệch, chỉ khác cơ-chế (lần đó: carry sống ngoài dòng carry đỉnh; lần này: **cả vùng đỉnh nằm ngoài cửa-sổ đọc**).

---

### §6b — "9 FLAG là SÀN, không phải TỔNG" + coverage thủng: **con số 9 KHÔNG mất nghĩa — nhưng chỉ dùng được theo MỘT chiều**

**Phán:** con số 9 **dùng được** làm **cận-dưới**, và **CẤM** dùng làm **phát-biểu về độ phủ**. Hai chiều đó không đối xứng:

| Chiều dùng | Được không? | Vì sao |
|---|---|---|
| *"Có **ít nhất** 9 chỗ lệch trên các bề mặt lead đọc"* | ✅ **DÙNG ĐƯỢC** | tao **tự đối-chứng cả 9/9** (§5a), mỗi cái neo vào vật thật trên đĩa/prod. Sàn được chứng, không phải được khai |
| *"Đã soi xong, còn 9 chỗ"* / *"class nào 0 = sạch"* | 🔴 **CẤM** | 4 bề mặt chưa chạm + 21/23 persona ⇒ vùng chưa đo **không sinh ra 0, nó sinh ra KHÔNG-BIẾT** |

**Khai-thủng LÀM MẠNH con số, không làm yếu.** Một con số kèm biên là số **dùng được**; một con số trần mới nguy — vì người đọc tự gán cho nó độ phủ mà nó không có. Đây đúng bài `feedback_meta_count_selfcoverage_blindspot` (lead ĐO tốt ~80% nhưng ĐẾM-VỀ-MÌNH chỉ ~13% đúng, sai tập trung TRỌN ở meta-count/coverage). Con-đo lần này **tự đứng về phía đúng** của bài đó: nó không nói *"đã phủ hết"*, nó nói *"đây là sàn, và đây là 4 chỗ tao chưa tới"*.

#### 🔴 Nhưng có MỘT chỗ con số 9 SẼ bị đọc sai bởi MÁY — và đây là phần lead phải xử

Luật tally có **hai nửa**: *fire* (class ra ca ⇒ +1) và **RESET** (class không ra ca ⇒ về 0). Nửa **RESET** biến *"không đo"* thành *"đo mà sạch"* — chính xác là **ĐẠT-ảo** mà vai tao sinh ra để chặn.

| class | `class_repeat` hiện | ra ca vòng này | RESET có hợp-lệ? |
|---|---|---|---|
| `view-stale-header` | **4** | 0 | 🔴 **KHÔNG** — xem chứng dưới |
| `view-stale-role-desc` | 0 | 0 | ⚠️ vô-hại về SỐ (đã 0), nhưng **không được** khai là "đo mà sạch": 21/23 persona chưa mở |

**Chứng cho `view-stale-header` (tao tự đọc đĩa, không chép):**
```
docs/STATUS.md:6   **🔥 CURRENT (S161→S168, 2026-07-31→08-01 — phiên-LOGIC **L9**   ← nhãn phiên ĐÃ CŨ (nay S172)
docs/HANDOFF.md:5  **🆕 Last updated:** 2026-08-01 tối (**S163→S168** — phiên-LOGIC **L9**  ← mốc ngày ĐÃ CŨ (nay 2026-08-05)
```
Hai dòng này **là header**, và **đang stale**. Chúng **có** được con-đo nhìn thấy — nhưng nằm ở **§0-bis "drift lead TỰ KHAI"**, được xác-nhận ĐÚNG rồi **cố ý để ngoài TOTAL** (vì lead đã tự biết).

⇒ Cơ-chế hỏng lộ ra rất gọn: **lead tự khai trước ⇒ con-đo lịch sự không tính vào TOTAL ⇒ máy thấy `view-stale-header` = 0 ca ⇒ RESET 4 → 0 ⇒ sổ ghi "vòng này không có header stale"** trong khi có **2 cái, đã được xác-nhận, ngay trong cùng file**. Streak 4 (đã hơn ngưỡng jump=3) bị xoá bằng đúng hành-vi trung-thực của lead. 🔴 **Đây là đường thoát tally KHÔNG ai thiết-kế, và nó chỉ mở ra khi lead trung-thực khai trước.**

**Đề-nghị (propose-only, lead quyết):** món tự-khai **vẫn phải tính là "class CÓ ra ca"** cho mục-đích tally (giữ streak), chỉ **không tính vào TOTAL FLAG** (tránh đếm đôi). Tức tách **2 sổ**: *"số FLAG mới"* ⟂ *"class nào có ca trong vòng"*. Nếu không tách, mọi class mà lead tự phát hiện trước sẽ **tự xoá streak của chính nó** — thứ Goodhart tinh nhất tao gặp ở vòng này.

#### Giới-hạn CỦA CHÍNH TAO (khai để không ai đọc §5 thành "đã bắt hết")

Tao chứng được **"cả 17 FLAG đều trúng vật thật"**. Tao **KHÔNG** chứng được **"chỉ có 17"**. Cụ thể tao **có** chạm `gotchas.md` / `migration-todos.md` / `ACTIVE-MARKS.md` trong lượt này — nhưng **chỉ để ĐO BYTE theo phạm-vi** (§3), **không** phải quét nội-dung tìm stale. `21/23 persona` tao **không** mở. ⇒ **Lỗ coverage của con-đo, tao KHÔNG đóng hộ.** Nó vẫn mở nguyên cho lượt deep kế — và theo diary của chính tao, đây là **lần thứ 2** điểm-mù tự-quy-chiếu persona được khai mà không đóng (M-1 @S153).

---

### §6c — ESCALATE-1 "claim > mẫu": phán đủ 3 vế (i)(ii)(iii)

#### (i) Ca này CÓ THẬT — xác-nhận bằng đo, không bằng đồng-ý

**Mẫu đo** (`cicd-verify §6.5`) = **2 tài-khoản**. **Vai của chính 2 tài-khoản đó**, đọc verbatim `HANDOFF` slot (64):
```
test.drafter@…    Drafter + Procurement
test.approver@…   CostControl + DeptManager   ("hiện có role CostControl+DeptManager nên THẤY màn duyệt
                                                nhưng KHÔNG nằm trong trạm nào ⇒ chưa bấm duyệt thật được")
ADMIN_TEST        Admin  (không dùng cho phép đo này)
```
⇒ **0/2 là user trần.** Cả hai mang **vai được cấp riêng**. Kết-luận *"**role thường** có đủ `KeHoachKyKet.Read`+`Update`"* có **chủ-ngữ rộng hơn mẫu**: nó phủ mọi vai không-Admin, trong khi phép đo chỉ chạm **2 tổ-hợp vai cụ-thể**. Nhánh *"một vai thường KHÁC (vd `Employee` trần) vẫn 403"* **chưa bị loại** — mà đó đúng là **hình-dạng gốc của gotcha #85** (*menu-key OR-gate FE ≠ policy per-action BE*). **ESCALATE-1 = ca THẬT.**

🔴 **Và tao đo thêm một vế con-đo chưa đo: claim đó ĐANG SỐNG TRÊN ĐĨA, 5 site / 3 file** (đo lúc 09:2x):
```
cicd-verify-998ea55.md   "role thường" ×3   + "#85 không tái phát" ×1
.claude/WAL.md           "role thường" ×1
sổ closeout S172         "role thường" ×1        ← 🔴 SỔ BỀN, không phải artifact run-folder
```
⇒ Đính-chính lead nói với owner **có 0 vết đĩa** tại thời-điểm tao đo. Đây **đúng cơ-chế G-3/G-8** (*quyết-định chỉ sống trong hội-thoại*) **tái-diễn ngay trong phiên đang chấm nó**. Và vì nó đã chảy vào **sổ closeout** (sổ bền), sửa muộn một vòng là nó thành tiền-lệ được trích.

#### (ii) Đính-chính của lead: **ĐÚNG HƯỚNG, CHƯA ĐỦ ĐỘ** — còn nói quá ở 1 trục, thiếu ở 2 trục

Lead sửa thành: *"**hai vai người dùng thật của luồng KHKK** qua được, KHÔNG phải mọi role thường"*.

| trục | phán |
|---|---|
| Thu hẹp *"mọi role thường"* → 2 vai | ✅ **ĐÚNG** — đã gỡ đúng phần over-scope |
| *"người dùng **THẬT** của luồng KHKK"* | 🔴 **VẪN NÓI QUÁ** — đây là **claim MỚI, chưa đo**: khẳng-định 2 tài-khoản này **đại-diện** cho người dùng thật. Chính slot (64) bác: `test.approver@` *"KHÔNG nằm trong trạm nào ⇒ chưa bấm duyệt thật được"*, và cả hai là **tài-khoản TEST đang chờ anh gắn vào quy trình**. Thay một over-scope bằng một over-scope khác **nhỏ hơn** vẫn là over-scope |
| Không nêu **tên tổ-hợp vai** | ⚠️ **THIẾU** — bỏ mất `Drafter+Procurement` / `CostControl+DeptManager` ⇒ vòng sau **không tái-dựng được mẫu**, đúng bệnh *"số không kèm lệnh"* (bài S150) |
| Không nêu **nhánh chưa loại** | 🔴 **THIẾU, và đây là cái đắt nhất** — không có câu *"chưa loại nhánh vai thường KHÁC vẫn 403"* thì dòng **`#85 không tái phát`** ở `cicd §8` hàng 7 vẫn giữ nguyên nghĩa **toàn-cục**. Câu chữ hẹp lại mà **kết-luận kế-thừa** không hẹp lại thì bệnh còn nguyên |

**Câu tao đề-nghị (đủ độ, vẫn ngắn):**
> *"**2 tổ-hợp vai đã đo** — `Drafter+Procurement` và `CostControl+DeptManager` — có đủ `KeHoachKyKet.Read`+`Update` (4/4 probe, CTRL-ÂM 404). **Chưa loại** nhánh vai thường khác (vd `Employee` trần) vẫn 403 ⇒ **#85 không tái phát TRÊN 2 TỔ-HỢP NÀY**, chưa phải kết-luận toàn-cục."*

🔴 **Ràng buộc thi-hành:** phải sửa **cả 5 site / 3 file** (kể cả **sổ closeout**). Sửa 1-2 site = tự tạo `view-residual-asym` cho vòng sau — đúng loại tao vừa bắt ở **F-8** (`WAL:33` ⟂ `:35`) trong chính lượt này.

#### (iii) Sửa câu chữ có ĐỦ không? → **ĐỦ cho CA NÀY · KHÔNG ĐỦ cho CLASS. Đề-nghị làm CẢ HAI, theo thứ-tự.**

**Bước 1 — sửa câu chữ (làm ngay, không cần owner):** khử được mệnh-đề sai. Nhưng nó **chỉ chữa một dòng chữ**; nó **không** làm hiện-tượng **đếm được**, nên vòng sau tái-phát thì máy vẫn im.

**Bước 2 — MỞ ENUM (chỉ owner, tao propose):** tao kiểm cả 11 class xem có chỗ nào chứa nổi ca này không, **kết quả: KHÔNG**:

| nhóm class | vì sao KHÔNG chứa được |
|---|---|
| `view-stale-*` (4) | đều đòi *"source đã đổi, view giữ số/nhãn cũ"*. Ở đây **0 thứ gì stale** — câu sai **ngay lúc sinh ra**, và vẫn sai kể cả khi mọi nguồn đứng yên |
| `view-residual-asym` | đòi **sửa-một-phía** giữa ≥2 site. Ở đây 3 file **nhất-quán với nhau** — cùng sai một kiểu |
| `gap-*` (6) | đều là **CÁI KHÔNG CÓ** (carry rơi, quyết-định chìm, thiếu specifics, under-fill). Ở đây thứ sai **CÓ MẶT ĐẦY ĐỦ**, chỉ là **suy-rộng quá mẫu** |

⇒ Đây là **kiểu hỏng thứ tư**: không stale · không thiếu · không bất-đối-xứng — mà **SUY-LUẬN VƯỢT MẪU**. Enum ĐÓNG hiện **không có ô** cho nó, nên con-đo **buộc phải** để ngoài TOTAL — và một hiện-tượng nằm ngoài TOTAL là hiện-tượng **không bao giờ chạm `jump_on_class_repeat`**.

**Bằng-chứng nó tái-phát, không phải ca lẻ:** `feedback_claim_stronger_than_work` (*"đã ghi/đã VERDICT" = CLAIM ĐO ĐƯỢC*) · `feedback_meta_count_selfcoverage_blindspot` (*"vá 19 finding" khi thật 23*) · diary tao @S166 (*claim ĐẢO-DẤU của vai-đo*). ⇒ **đủ tần suất để đáng một ô đếm.**

**Tên class đề-nghị:** giữ nguyên tên con-đo đã đặt — **`view-claim-broader-than-sample`**.
- Tao **cố ý KHÔNG** đặt tên mới: đổi tên lúc này chỉ tạo va-chạm từ-vựng (bài vocab-collision-check, `memory-fidelity` H6.7 ≠ H16). Tao kiểm va-chạm: **0/11** class hiện dùng chữ `claim` hoặc `sample`.
- **Thuộc nhánh `view-*`** là đúng: vật lỗi **nằm TRÊN bề mặt** (câu chữ đang hiển thị), không phải vật vắng mặt.
- **Phép thử vận-hành (1 câu, con người chấm được):** *"Chủ-ngữ của kết-luận có rộng hơn tập đã thực-đo không?"* — nếu có, và mẫu **không** được nêu tên ngay cạnh, thì fire. (Toàn bộ 11 class hiện có đều là **ngữ-nghĩa** — chính `sub-lead-stale §0` khai *"thứ máy không phán được"* — nên class này **không** làm enum kém máy-hoá hơn.)
- 🔴 **Ràng buộc máy khi land (đừng bỏ sót):** thêm class **PHẢI** đồng-thời seed khoá mới `class_repeat.counts["view-claim-broader-than-sample"] = 0`. Tao đã verify ở **§1** rằng `set(counts) ≡ set(enum)` cả hai chiều, **11/11**; land lệch một nhịp là bất-biến đó vỡ và vòng-kiểm sau sẽ báo động.
- **Tiền-lệ đúng cửa:** `gap-incident-unrecorded` được owner thêm @S143 qua **đúng** đường này (con-đo escalate, không tự chế).

**Ghi nhận về hành-vi con-đo (đáng giữ):** gặp ca không xếp được, nó **KHÔNG ép vừa** một class gần-gần mà tách ra ngoài TOTAL + xin mở enum. Đây **chính xác** là thứ tao **TRƯỢT** `lead-stale` @S162 (FLAG-16 ép `view-stale-count` cho ca *"số đúng, đơn-vị không canonical"*). ⇒ vòng-kiểm đã ăn vào hành-vi con-đo — **1 điểm TRƯỢT ba phiên trước đổi lấy 1 hành-vi đúng hôm nay.**

---

## §7 — BẢNG GIAO VIỆC CHO LEAD (propose-only — lead single-writer, backstop = git-diff commit-gate)

🔴 **Xếp theo mức cưỡng-hành, không theo thứ-tự tao tìm ra.**

| # | Món | Mức | Đo lại bằng |
|---|---|---|---|
| **A1** | **CẤM chép** `867` / `15.556 B` / `9,6%` (E-1). Ghi định-tính: *nạp 6/8 nguồn, cận-dưới dưới sàn* + trỏ file này | 🔴 CƯỠNG-HÀNH | `grep -c "867" <mọi sổ>` = 0 |
| **A2** | **CẤM chép** lý-do *"slug chưa từng được đóng dấu"* cho `gap-carry-aged=0` (§6a-2 sai tiền-đề). Câu đúng đã viết sẵn ở §6a | 🔴 CƯỠNG-HÀNH | dùng nguyên câu §6a |
| **A3** | Claim *"role thường"* — sửa **cả 5 site / 3 file** (kể cả **sổ closeout**), dùng câu §6c(ii). Sửa lẻ = tự đẻ `view-residual-asym` | 🔴 CƯỠNG-HÀNH | `grep -c "role thường"` = 0 trên cả 3 file |
| **A4** | Tally: **KHÔNG** reset `view-stale-header` 4→0 (§6b — 2 header stale tự-khai vẫn sống trên đĩa) | 🔴 CƯỠNG-HÀNH | `.session-counter.json` giữ ≥4 |
| **A5** | Tally: **KHÔNG** chép số in-phiên (`gap-carry-dropped` 4 · `view-stale-count` 6) đè ô consecutive (10 · 8) | 🔴 CƯỠNG-HÀNH | 2 vai **đều** đã tự cảnh-báo; tao xác-nhận số đọc từ sổ đúng |
| **B1** | Con-trỏ `_mind:145` → **`:144`** (E-3) | vá khi ghi | — |
| **B2** | G-8 mở rộng: neo-thối **6 site**, không phải 4 (`_mind:104` + `:145` là drift-audit). 2 site mới trong vùng BẤT BIẾN ⇒ **khai nợ**, không sửa — đúng luật append-only | vá khi ghi | `_mind:19` |
| **B3** | Khai đơn-vị cho bảng token (E-2: `grep -c` = **dòng**, không phải occurrence) | vá khi ghi | — |
| **C1** | INFORM tooling (**KHÔNG** phải turf tao, giao lead định tuyến): `carry-age đọc hụt vùng L1-89` — H24-2 bỏ qua toàn bộ vùng trên marker `NEXT anh/em` đầu tiên (`HANDOFF:90`), tức bỏ **12 slug** gồm cả 2 khối `Carry @S168`/`@S162` | escalate | script python §6a tái-lập được |
| **C2** | Owner-only: **mở enum +1 class** `view-claim-broader-than-sample` + seed `class_repeat.counts` khoá mới = 0 **cùng nhịp** | chờ owner | §1 invariant `set(counts) ≡ set(enum)` |
| **D1** | Errata nhỏ ô `:479`: ghi rõ *đo LIVE 2026-08-05 (**ship 04/08 19:54+07**, run #447)* — `Last-Modified` prod là 04/08 | tuỳ lead | `curl -I` |

---

## §8 — TỰ-KHAI CỦA VAI KIỂM (không có mục này thì §5 thành dấu cao-su)

1. **Tao chứng "17/17 trúng vật thật" — KHÔNG chứng "chỉ có 17".** Lỗ coverage của con-đo (4 bề mặt + 21/23 persona) tao **không đóng hộ**; tao chỉ chạm 3 trong 4 file đó để **đo byte**, không quét nội-dung (§6b).
2. **Một probe của chính tao ra dương-giả:** `E-5` = 11 hit, hoá ra **11/11 là substring của `EDGE-5`**. Nếu tao dừng ở đó, tao đã **buộc tội oan** con-đo là khai quá. Vá bằng regex biên-từ ⇒ 0 hit. **Phép thử của mình phải bị falsify trước khi dùng để buộc tội** (cùng lớp bẫy en-dash @S149 · `grep -c` @S150).
3. **Chênh 1 giờ ở cột mtime** giữa bản liệt orphan của con-đo (`07-29 08:37`) và của tao (`09:37`): tên folder trùng khớp **5/5**, chỉ lệch cách đọc timezone giữa 2 công-cụ ⇒ **không material**, khai để lần sau không ai coi là mâu-thuẫn.
4. **Ranh tao giữ:** không soi vòng tooling/harvest (`ring1-audit` đang chạy) · không soi trio memory (`harness-audit`) · không chấm diff-code (`reviewer`) · **không tự soi lead trực-tiếp** — mọi mục trên đều là **phán về lời khai của 2 con-đo**. Món C1 chạm ruột detector nhưng tao **chỉ dùng nó làm bằng-chứng cho lời khai**, và **giao lại** thay vì tự phán cách sửa.
5. **Caveat read-only (bất biến qua các phiên):** frontmatter tao khai không Write/Edit **nhưng runtime whitelist không có răng** — backstop THẬT = lead soát `git status` + commit-gate. File này là **file DUY NHẤT** tao ghi; 0 `store_memory`; 0 chạm file lead.

---

# END — sub-ring2-audit-close-S172

**TOTAL: 17 FLAG được chấm — 17 ĐẠT · 0 TRƯỢT · 0 KHÔNG-CHẤM-ĐƯỢC.**
**Enum: 17/17 ∈ enum ĐÓNG · 0 tự chế** (`set(class_repeat.counts) ≡ set(flag_classes)` = 11/11 hai chiều, 11/11 `int`).
**Falsify: 6 phép — 5 HELD (F-1·2·3·4·5) · 1 BROKE-một-nửa (F-6)** — trong đó **F-1 và F-6 nhắm vào nghi-vấn của CHÍNH TAO**.
**Tái-dựng độc-lập: 2 số lớn + 6 số phụ** — bundle prod đo LIVE ngoài repo (4/4 khớp tới byte) · `tiep_reload` 9 dòng (7 khớp **từng byte**, 1 lệch 1,1%, **1 SAI ×4,3** ⇒ E-1) · `class_repeat` 11 khoá · orphan-run 5 · dir rỗng 11=3+8 · carry-streak **tái-cài detector**.
**3 ERRATA cưỡng-hành (A1·A2·B1) · 2 khoá tally (A4·A5) · 1 escalate tooling (C1) · 1 đề-nghị owner (C2).**

🔴 **Câu chốt:** cặp H24 phiên này **đo rất chắc** — 17/17 FLAG trúng vật thật, class 0 tự chế, và cả hai **tự đứng về phía đúng** ở 2 chỗ khó nhất (`lead-stale` **từ chối ép-vừa enum** · `lead-gap` **từ chối đọc số 0 thành sạch**). Thứ tao phải chặn **không nằm ở FLAG nào** — nó nằm ở **quãng chép FLAG về sổ**: 1 con số phụ sai ×4,3 (E-1), 1 tiền-đề sai có thể thành lý-do chính-thức (A2), 1 claim over-scope **đã chảy vào sổ bền** (A3), và **1 đường xoá streak mở ra bởi chính sự trung-thực của lead** (A4). Cả bốn đều **vô-hình với máy**, và cả bốn đều **chỉ mất một dòng để vá — nếu vá trước khi §6.4 reset WAL.**

**Propose-only.** 0 Write/Edit vào file lead · 0 `store_memory` · 0 commit.
