# ctx-audit @open — S192 (phiên-LOGIC L16, window 1)

> **Vai-3 vòng Ctx** — soi CHUỖI lớp mềm `_mind` 2 đầu phiên. INFORM-only, propose-only: vai PHÁN, lead GHI.
> Ghi APPEND từng khoản NGAY khi phán xong (chống #53 — phiên này 8/9 first-return garble).
> Dòng-1 verdict được chốt ở cuối tệp mục §VERDICT — **KHÔNG hứa rewrite dòng đầu** (bài S168: hợp-đồng-rewrite-dòng-1 để lại artifact `DANG-CHAY` vĩnh viễn khi vai chết giữa chừng).

---

## §0 — PIN + nhánh chạy (khai TRƯỚC mọi đo)

**PIN đủ 4/4, verify tồn-tại trên đĩa bằng `ls`:**

| Pin | Path | Đĩa |
|---|---|---|
| `_mind` phiên này | `.claude/sessions/session-16/_mind-s-16.md` | ✅ 10.490 B (mtime 08-13 03:45) |
| `_mind` phiên trước | `.claude/sessions/session-15/_mind-s-15.md` | ✅ 25.461 B |
| `_context` phiên này | `.claude/sessions/session-16/_context-s-16.md` | ✅ 2.944 B |
| run-folder bookend | `.claude/workflows/runs/2026-08-13-S192-bookend-open/` | ✅ 11 artifact + `run.md` + synthesis |

🔴 **KHAI NHÁNH CHẠY — FALLBACK HỒI-TỐ ĐẦY-ĐỦ, KHÔNG phải kiểm-vết.**
`session-16/` chỉ có 2 tệp (`_context-s-16.md`, `_mind-s-16.md`) — **0 `_pause-*`, 0 `_tiep-*`, 0 `_snapshot-*`** ⇒ `ctx-curator` (vai-1) và `ctx-verifier` (vai-2) **CHƯA CHẠY LẦN NÀO** trong L16 ⇒ **không có verdict vai-1/vai-2 để kiểm**. Mọi phán dưới đây là **tự soi**, không phải "đã qua 3 lớp". Đừng đọc bảng này thành độ-tin-cậy 3-tầng.

**Máy chạy TRƯỚC vai** (đọc output, không re-implement): `mind-check --session 16` → lead PIN `đạt 10 / TRƯỢT 0 / chờ 1`. Vai **tự re-chạy** (nếp giữ — số PIN đã hết hạn 5 lần trong lịch sử vai) — kết quả ở §K6.

---

## §K1 — Block-0 có NỘI-DUNG THẬT không → **ĐẠT (mạnh)**

Đòi ≥1 mảnh mà khuôn/máy **không tự sinh được**. `ts` / hash / HEAD / heading **không tính**.

**Bằng chứng THẬT (dư thừa, không phải cận-dưới):**

| Loại mảnh | Neo | Vì sao khuôn không sinh được |
|---|---|---|
| Tên ý §D cụ thể | `_mind-s-16.md:68` — *"Slot (89) hỏi sai câu — phải wire `jump_on_class_repeat` trước, rồi mới bàn kéo-nhịp/đổi-ngưỡng"* | Tên khoá `jump_on_class_repeat` + phán "hỏi sai câu" là kết-luận ngữ-nghĩa của phiên |
| E-verdict cụ thể | `:83` `ring1-audit` — `15Đ · 7T · 3KC` | Bộ 3 số chỉ có sau khi vai chạy xong |
| E-verdict cụ thể | `:89` `harness-audit` — `10Đ · 3T · 2KC`, falsify 17 phép **3 BROKE** | Số falsify không suy được từ khuôn |
| Nhánh-đã-loại có LÝ-DO đo được | `:53` — *"`ring1` chứng nó ghi số SAI (thiếu 2)… số thật là 12 root / vẽ 8 / vắng 4"* | 3 số + quan hệ, chỉ có sau đối-chứng |
| Delta suy-nghĩ | `:61` — `git status` backstop: **3 lớp trốn qua được** | Đây là ĐỔI Ý, dạng nội-dung máy mù hoàn toàn |

**Đối chứng scaffold-rỗng:** block-0 dài **53 dòng** (`:41`-`:93`), §E **13 dòng / 13 lượt**. So 5 phiên đã chấm: đây là block-0 **giàu thứ 2** sau S182. Không có dấu hiệu bản-sao SCAFFOLD-META (defect 4/4 phiên tại F-2 @S173).

**⇒ K1 = ĐẠT.** Không dính "chỉ có metadata".

---

## §K2 — Carry từ `_mind-s-15` → block-0 L16

Đo **2 bề mặt** vì contract chỉ nêu 1, mà lịch sử vai chứng bề mặt kia mới là chỗ rơi (F-1@S186 đo `_end`, không đo §D).

### K2-a — Bề mặt HẸP: §D block trên cùng của `_mind-s-15` (MIND-3 `:63-69`) → **ĐẠT 5/5** 🟢

Lead khai mang sang 5 ý. **Verify: đúng 5/5, không ý nào rơi im lặng.**

| Ý ở MIND-3 §D (s-15) | Nhãn cũ | Neo ở block-0 L16 | Trạng thái |
|---|---|---|---|
| Pin node/npm runner (`.nvmrc` ghost-wire class-2) | treo-chờ-anh | `_mind-s-16.md:73` | ✅ carry, nhãn GIỮ |
| Lớp ③ archive đã bão hoà ⇒ đổi cơ-chế | treo-chờ-anh | `:74` | ✅ carry, nhãn GIỮ |
| Đơn-vị governor byte ⟂ ký-tự | đang-cãi | `:72` | ✅ carry **+ CHỨNG MỚI** |
| `session-end` thiếu bước ghi block `_mind` (lần 3) | mới-nêu | `:75` | ✅ carry, ghi rõ "lần 3" |
| Ca-3 của *"bị 2-3 lần rồi"* | treo-chờ-anh | `:76` | ✅ carry |

- **Contract in-scope** (chỉ `treo-chờ-anh` + `gần-chốt`) = 3 ý → **3/3 ĐẠT**. Nới ra cả 5 ý → **5/5 ĐẠT**.
- **5/5 ý đều mang chú thích `(carry _mind-s-15)` đích danh** ⇒ truy nguồn được, không phải trùng-hợp.
- 🟢 **TIẾN BỘ ĐO ĐƯỢC — tốt nhất lịch sử vai:** S186 = **0/6** · S189 = **2/4** · nay **5/5**. Carry `mind-D-khong-back-propagate` (đề @S172, tái phát lần 3 @S186) **tiếp tục hạ nấc**, ở bề mặt này gần như đóng.
- 🟢 Ý governor `:72` không chỉ được chép lại mà **mang chứng mới**: *"ngưỡng 24.986 có 0 canonical trên đĩa, control-dương `25600`=2 hit"* — carry **có tiến triển**, không phải carry-đóng-băng.

### K2-b — Bề mặt RỘNG: `_end` s-15 (`carry:` 7 slug + `pending-anh:`) → **F-1 (HIGH)**

Đo **HỢP** của 2 nhà (HANDOFF durable ⟂ block-0 lớp mềm), vì mỗi nhà bắt được slug khác nhau:

| slug `carry:` của `_end` s-15 | HANDOFF | block-0 L16 | Kết luận |
|---|---|---|---|
| `w5-host-ondeleted` | 2 | 0 | có nhà (durable) |
| `w8-delete-policy` | **0** | ✅ `:77` | có nhà (**lớp mềm cứu**) |
| `reset-doi-het` | 2 | 0 | có nhà (durable) |
| `sentinel-truoc-bu` | 3 | 0 | có nhà (durable) |
| `mind-dinh-chinh-mot-be-mat` | **0** | **0** | 🔴 **MỒ CÔI** |
| `session-end-thieu-buoc-ghi-block` | **0** | ✅ `:75` | có nhà (**lớp mềm cứu**) |
| `du-cua-rule-khong-phai-phep-kiem` | **0** | **0** | 🔴 **MỒ CÔI** |

*(control-dương: `carry` = 114 hit HANDOFF · `treo-chờ-anh` = 8 hit block-0 ⇒ thước sống, 0-hit là 0-hit thật.)*

**🔴 F-1 (HIGH) — 2/7 slug MỒ CÔI, và cả 2 đều do CHÍNH VAI NÀY đề ra @S191.**

- `mind-dinh-chinh-mot-be-mat` = F-1@S191 (*đính chính claim chết chỉ bắt 1/4 bề mặt*) · `du-cua-rule-khong-phai-phep-kiem` = F-5@S191 (*luật dán 2 cửa ≠ phép kiểm*).
- **Nhà DUY NHẤT còn lại của cả 2** = `.claude/sessions/session-15/_end` + artifact run `sub-ctx-audit-close.md` của chính mình. Repo-wide (ripgrep) **0 hit** ở HANDOFF · WAL · block-0 · `error-ledger`.
- 🔴 **Cơ-chế = class tàng-hình đã bắt @F-1/S173 và CHƯA vá:** `_end` **không có đuôi `.md`** + phiên **đã đóng** ⇒ vô hình với mọi phép quét `*.md`. Món đi qua `_end` mà không được RE-STAMP thì rơi khỏi mọi bề mặt sống.
- ⚠️ **Món tự-sửa-hệ do vai-đo đề ra không có nhà durable** — cùng hình F-3@S185 (*mồi hoạt động hoàn hảo mà KHÔNG AI CÓ NGHĨA VỤ SỬA*). Vai PHÁN, nhưng phán của vai không tự vào sổ ai.

**🔵 ĐÍNH CHÍNH số của 2 vai bạn (cùng phiên, cùng vật, khác trục) — theo hướng AN TOÀN:**
`lead-stale-deep-S192.md:155` đo *"vắng 4/7"* và `ring2-audit-S192.md:116/118` đánh *"❌ VẮNG"* — **đúng trên bề mặt HANDOFF**, nhưng cả hai chỉ đo 1 nhà. Hợp 2 nhà lại: **2/7 mồ côi thật**, không phải 4/7 — vì `w8-delete-policy` và `session-end-thieu-buoc-ghi-block` **được block-0 cứu**. Số của họ **quá bi quan 2 món**; số mồ-côi thật **nhỏ hơn nhưng nặng hơn** (2 món này 0 nhà TUYỆT ĐỐI, trong khi 4 món kia còn nhà).

### K2-c — `pending-anh:` của `_end` s-15 → **F-2 (MED-HIGH)**, kèm **1 BÁC dương-giả**

| pending-anh | HANDOFF | block-0 | Kết luận |
|---|---|---|---|
| pin node runner · ca-3 · (76)(77)(78)(79) · (89) · (74) rotate vrapp | có | ✅ | carry ĐỦ |
| `value_protect` · (22)(67)(72) | 3 / 4·2·2 | 0 | có nhà durable — block-0 gộp vào "con-trỏ-bó", chấp nhận |
| **KIỂM PROD GĐ3** (`CR538vZx`/`C10ta-wB`) | 1 | **0** | 🔴 **F-2** |
| `YC-008↔YC-010` | 0 | 0 | 🟢 **BÁC — không phải rơi** (xem dưới) |

**🔵 BÁC dương-giả `YC-008↔YC-010`:** 0-hit ở cả 3 nhà trông y hệt "món mồ côi thứ 3". Nhưng nhà canonical của mã `YC-` là **sổ yêu-cầu**, không phải HANDOFF: `docs/governance/so-yeu-cau-chu-du-an.md:41` + `:43` — **cả hai đã `đóng`**, và `:43` ghi liên-kết ngược `YC-008` ở cột cuối. Việc "lật ô" **đã xong** ⇒ vắng khỏi block-0 là **ĐÚNG**. *Không tính FLAG.* (Nếu chỉ grep HANDOFF/WAL như 2 bề mặt trên thì đã bắn oan.)

**🔴 F-2 (MED-HIGH) — §B hướng-tiếp SUY GIẢM: việc chặn-owner cụ thể → câu chung chung.**

- `_mind-s-15.md:54` (§B MIND-3): *"Đi tiếp: **anh kiểm prod GĐ3** trên bundle mới (`CR538vZx`/`C10ta-wB`); 'ổn rồi' ⇒ mở W8."*
- `_mind-s-16.md:51` (§B block-0): *"Đi tiếp: **chờ anh giao việc product**."*
- **Món vẫn SỐNG, đo được:** `docs/HANDOFF.md:5` ghi nguyên văn ***"Chờ anh: KIỂM PROD GĐ3 tiếp"*** (eoffice đã sống lại) + *"'ổn rồi' ⇒ mở W8"*. Không ai đóng nó.
- **Hại:** §B là ô **"hướng-tiếp"** và là **surface cửa-sổ mới đọc TRƯỚC §E** (cùng hình F-4@S173). Đọc §B, cửa-sổ mới hiểu *"không có gì chặn, chờ anh giao việc"* — trong khi thực trạng là *"anh đang nợ 1 phép kiểm prod, và phép đó mở khoá W8"*. Lệch **theo hướng TRẤN-AN**, đúng hướng nguy của F-2@S172/F-1@S186.
- **Giảm nhẹ:** §D `:77` có giữ *"'ổn rồi' mở W8"* trong con-trỏ-bó ⇒ **không mất việc, mất ĐỊA CHỈ** (bài S185: *giữ ý với địa chỉ sai tệ hơn mất*). Sửa = 1 dòng ở §B.

---

## §K3 — Đọc máy + §A/§C có trung thực về 6 lỗi của LEAD không?

### K3-a — Máy `mind-check --session 16`: **VAI TỰ RE-CHẠY, số PIN GIỮ** 🟢

`dat=10 · TRUOT=0 · co=1 · bo-qua-co-khai=0` (exit 0) — **khớp PIN của lead byte-exact**.
🟢 **Lần đầu sau 5 phiên PIN không hết hạn** (lịch sử: số PIN stale 5/5 lần trước). Ghi để phá nếp *"pin luôn stale"*.
🔵 **Đính chính nhẹ mô-tả của lead:** lead khai *"mục chờ = con-trỏ tới chính file của em, sinh sau"*. Máy thật: phép **(4) con-trỏ = `dat` 12/12** (kể cả file của tao). Cái `co=1` là phép **(10) thứ-tự bookend vs `_mind`**: `_mind` mtime `03:45:56` < artifact mới nhất `03:53:49` ⇒ **block top chưa phủ các vòng chạy SAU nó**. Khác chỗ, cùng hướng vá.
⚠️ **Tao tự khai gây nhiễu:** artifact `03:53:49` chính là **file NÀY** ⇒ cờ (10) **một phần do tao Write mà sinh**. Không tính là FLAG của tao (máy đã bắt); nêu để không ai đếm 2 lần.

### K3-b — §A/§C vs 6 lỗi của LEAD → **F-3 (MED): §C trung thực ở TỔNG, câm ở MÓN · §A im hoàn toàn**

| Dấu vết 6 lỗi | block-0 | synthesis | run.md |
|---|---|---|---|
| `VALID_ROLES` (43→29) | **0** | 2 | 1 |
| `run-chua-gom` (ảnh chụp cũ) | **0** | 2 | 2 |
| `roster` (claim rộng hơn mẫu) | **0** | 1 | 1 |
| `PROPOSE` (cảnh báo ring2 sai kỳ) | **0** | 1 | 0 |
| `6→5` (đếm điểm) · `9→11` (mark) | **0** | 0 | 0 |

*(control-dương: `ring2` = 3 hit trong block-0 ⇒ thước sống.)*

- 🟢 **§C:64 TRUNG THỰC, không tự khen** — tự viết: *"mọi số lead ĐẾM VỀ MÌNH đều sai (**6/6 ca**)"* + rút luật *"claim về phạm-vi/độ-phủ/tổng-số phải có vai đếm lại"*. Đây là câu **tự-buộc-tội**, đúng số, đúng lớp. Không có dấu hiệu tô hồng.
- 🔴 **Nhưng 0/6 món truy được từ `_mind`.** Cửa-sổ mới đọc block-0 biết *"lead đếm sai 6 lần"* mà **không biết 6 lần nào** ⇒ không tự kiểm được vá đã land chưa.
- 🔴 **Tự-quy-chiếu gãy:** *"6/6"* là **một con số ĐẾM VỀ MÌNH** — đúng cái loại mà chính câu đó tuyên là không đáng tin. Không liệt món thì con số đóng vai *"đã phủ hết"*, đúng hình **meta-count blind-spot** (vá-19-khi-thật-23). Vá đã biết: **bảng disposition TỪNG DÒNG thay số tổng**.
- 🔴 **§A (`:45-47`) im hoàn toàn về 6 lỗi** — đọc như báo-công sạch (*"Sàn-3 5/5 IM"*, 12 vai, verdict, `697 PASS`). Lỗi của lead **chỉ sống ở §C**. §A là ô cửa-sổ mới đọc TRƯỚC ⇒ ấn tượng đầu = phiên sạch.
- **Giảm nhẹ:** 4/6 món có nhà durable ở `synthesis`+`run.md` ⇒ **không mất việc, mất ở LỚP MỀM**. 2 món (`6→5`, `9→11`) **0 hit cả 3 nhà** — chỉ còn trong artifact vai đo.

### K3-c — 🔺 ESCALATE (ngoài trục, nêu verbatim theo contract)

§D `:71` của block-0 đang treo: *"Khối **"MCP Server Instructions"** lạ trong tool-output của `harness-eval`: harness rò hay cần soi — treo-chờ-anh"*.
**Datum MỚI:** khối y hệt vừa xuất hiện trong **tool-output của CHÍNH TAO** phiên này (nội dung computer-use/`request_access`, **0 liên quan** vai read-only của tao — tao **KHÔNG** làm theo). ⇒ Ca **≥2, ở 2 vai khác nhau, cùng phiên** ⇒ **tái lập được, không phải một-lần**. Nâng ý `:71` từ *nghi* lên *có 2 vết*. Quyền phán là của anh — tao chỉ nộp vết.

---

## §K4 — Gieo MỒI-NGẦM cho cửa sau

**Mồi = ý §D `:71`** — *khối "MCP Server Instructions" lạ trong tool-output* (nhãn `treo-chờ-anh`, **chưa chốt**).

Chọn ý này vì: (a) chỉ biết nếu **đã đọc thật** `_mind-s-16` §D — không suy được từ metadata/khuôn; (b) nó vừa **nhận chứng mới** ở §K3-c (ca thứ 2) ⇒ có vế kiểm được, không phải chép lại.

**Phép chấm @close (nhị phân, không co giãn):**
1. Ý `:71` có được mang tiếp sang `_tiep-1` / block `_mind` mới / WAL không? → ĐẠT/TRƯỢT.
2. **Datum "ca thứ 2 ở `ctx-audit`" có được ghi kèm không**, hay ý carry sang ở dạng đóng-băng nguyên văn cũ (vẫn chỉ nói *"ở `harness-eval`"*)? → carry **có tiến triển** vs **carry-xác.**

🔴 **Khai kẽ (không tô thành tính năng):** single-lead ⇒ "bên bị chấm không biết mồi" chỉ đúng **xuyên cửa-sổ** (cửa-sổ mới không nhớ ý nào là mồi). Trong CÙNG cửa-sổ này lead đọc được mồi ngay khi scribe ⇒ **phép thử yếu đi**. Đây là kẽ đã biết của `[carry:ctx-t9-dogfood]`, không phải mới.

---

## §VERDICT

```
CTX-AUDIT: DAT — @open — 4 FLAG
```

**Nhánh chạy: FALLBACK HỒI-TỐ** — `session-16/` có **0 `_pause-*` + 0 `_tiep-*`** ⇒ `ctx-curator` (vai-1) và `ctx-verifier` (vai-2) **chưa chạy lần nào** trong L16 ⇒ **không có verdict vai-1/vai-2 để kiểm-của-kiểm**. Mọi phán trên là **tự soi 1 lớp**, KHÔNG phải đã-qua-3-tầng.

| Khoản @open | Phán |
|---|---|
| 1. block-0 nội-dung THẬT | ✅ **ĐẠT (mạnh)** — 5 mảnh khuôn-không-sinh-được |
| 2. carry `_mind-s-15` §D (bề mặt lead khai) | ✅ **ĐẠT 5/5** — tốt nhất lịch sử vai (0/6 → 2/4 → 5/5) |
| 2-bis. carry bề mặt `_end` (lead không khai) | 🔴 **F-1 HIGH** — 2/7 slug **0 nhà tuyệt đối** |
| 3. đọc máy `mind-check` | ✅ **ĐẠT** — vai tự re-chạy, PIN giữ (lần đầu/6) |
| 4. gieo mồi-ngầm | ✅ **ĐẠT** — §K4, có vế kiểm nhị phân |

**4 FLAG:** F-1 HIGH (2 slug carry mồ côi, cả 2 do chính vai này đề @S191) · F-2 MED-HIGH (§B hướng-tiếp: *"anh kiểm prod GĐ3"* → *"chờ anh giao việc product"*) · F-3 MED (§C trung thực ở tổng "6/6" nhưng 0/6 món truy được; §A im) · F-4 INFO (ESCALATE khối MCP — ca thứ 2, tái lập được).

**Vì sao DAT chứ không TRUOT:** 4/4 khoản của bảng @open đều ĐẠT; theo chính chữ của contract, ý carry vắng ⇒ **FLAG**, không phải trượt-cấu-trúc. Máy 0 TRƯỢT và tao **không** dùng ngoại lệ nào. Nhưng F-1 là HIGH — **DAT ≠ khỏi vá**.

**Đề (propose-only — vai PHÁN, lead GHI, 0 tự sửa):**
1. **F-1:** RE-STAMP 2 slug mồ côi vào HANDOFF §carry *hoặc* `error-ledger`; và ghi luật: **`_end` không phải nhà durable** (không đuôi `.md` + phiên đóng = tàng hình).
2. **F-2:** sửa **1 dòng** §B block kế → nêu lại *"anh kiểm prod GĐ3 (eoffice `D6lFjgKF` đã sống); 'ổn rồi' ⇒ mở W8"*.
3. **F-3:** thay *"6/6 ca"* bằng **bảng 6 dòng đích danh** ở block kế.
4. Cờ máy (10): chèn **1 block refresh SAU khi vòng cuối báo xong** (máy đã tự chỉ cách).
