# sub-opus-lane4-report-hygiene — LANE-4 (YC-017, S185)

> Agent: Opus 5 (1M) · lane report-hygiene · item: **C-14, C-20, C-15, C-16, C-21** (5 item)
> Ràng: serial nội-lane (C-14 + C-15 + C-16 cùng đụng `docs/HANDOFF.md`) · addendum = block MỚI giữ dòng cũ (bài-5) · HANDOFF:6 lật TỪNG CÂU có evidence · KHÔNG commit/push · KHÔNG store_memory.
> Artifact-first: file này ghi LIÊN TỤC per-item. Ruột nằm ở đây, return chỉ là con-trỏ.

---

## §0 — Trạng thái

| Item | Verdict | Ghi chú 1 dòng |
|---|---|---|
| C-14 | ✅ **DONE** | Addendum report 08-07 + flip `HANDOFF:6` **4/4 câu** — cả 4 ĐỀU có phán quyết (ngược giả-thiết "P3/VK-5 chưa"), chia **2 hạng nền** thay vì lật 1 nước |
| C-20 | ✅ **DONE** (nhánh B của đề bài) | Không trưng được owner-duyệt bảng VC ⇒ addendum *"wire-de-facto per-khoản + 2 quyết owner tường-minh"* + W-list; **nấc GIỮ `agreed` có lý do** |
| C-15 | 🟡 **PARTIAL** (đúng acceptance) | 4/6 vế ĐÓNG + 1 nửa + 1 n-a ⇒ carry **THU HẸP** còn 2 vế (#19 chấm-xuyên-cửa-sổ · #23 pre-T5), **KHÔNG gỡ trắng** |
| C-16 | ✅ **DONE** + phát hiện phụ | Nhà thật = `sub-apply-L5-evalcuaeval.md:37,41,59,115`; **không phải "chưa locate" mà là "đã locate @S150 rồi RƠI"** — slot (22) + `[carry:eval-thamquyen]` biến mất khỏi re-stamp; re-surface GIỮ SỐ (22) |
| C-21 | ✅ **DONE** | 7 vế / 6 dòng: `verify-đóng` 4 · `Ghi-chú-khai-đúng` 2 · `C-item mới` 1 (→ LANE-1) · `W-candidate` 1 · +2 phát hiện phụ |

---

## §1 — C-14 · addendum report 08-07 + flip HANDOFF:6 TỪNG CÂU

### 1.1 Nguồn đã đọc TRƯỚC khi chạm (ranh cứng)

| Nguồn | Đường dẫn | Đã đọc |
|---|---|---|
| THƯ GỐC | `D:/Dropbox/CONG_VIEC/AI_INFRA/broadcasts/outbox/all/2026-08-07-Governance-nghi-thuc-hai-dau-nhip-thua-va-luu-nguyen-van.md` (11.749 B, mtime 08-07 17:36) | ✅ (qua report + owner-decisions trích nguyên văn; nội dung điều-kiện-3 đối chiếu 2 nguồn) |
| REPORT | `docs/governance/adap-reports/2026-08-07-Governance-nghi-thuc-hai-dau-nhip-thua-va-luu-nguyen-van.md` (4.248 B) | ✅ trọn 41 dòng |
| Sổ quyết-định | `.claude/workflows/runs/2026-08-07-S180-adap-upgrade-pack-phased/owner-decisions-07-08-2026-dot-2.md` | ✅ trọn 49 dòng |
| Ngữ cảnh đợt-1 | `.claude/sessions/session-12/_context-s-12.md` PAUSE-1 (`:47`) | ✅ |

### 1.2 Vế A — dòng "CHƯA GHÉP" trong report 08-07 = STALE

- Vị trí: report `:12` cột "SE làm" — nguyên văn *"🔴 **CHƯA GHÉP** — chủ dự án gật P5 là gật **3 bậc**, chưa gật phần ghép này"* + `:20` *"**Skip:** điều kiện 3 ghép vào bậc-2 — chờ chủ dự án phán riêng"*.
- Bằng-chứng ĐÃ GHÉP (2 nguồn độc-lập, đo tươi 2026-08-09):
  1. `.claude/governance/ACTIVE-MARKS.md:65` — bậc-2 nguyên khối chứa **"+ Điều-kiện-3 (ghép @S181, anh gật)"**.
     Lệnh tái-lập: `grep -n "Điều-kiện-3" .claude/governance/ACTIVE-MARKS.md` → **1 hit @:65**.
  2. `owner-decisions-07-08-2026-dot-2.md:47` — *"✅ **P5 (d) — ĐÃ GHÉP @S181** (anh gật câu 2). Điều-kiện-3 nay là một vế **trong bậc-2** của `ACTIVE-MARKS §LT3`."*
- ⇒ Xử: **addendum block MỚI ở cuối report**, GIỮ NGUYÊN `:12` và `:20` làm vết (bài-5 thư 08-08 "giữ ảnh chụp").

### 1.3 Vế B — HANDOFF:6, đối chiếu TỪNG CÂU (không lật cả cụm — ctx-verifier cờ #9)

| Câu | Nội dung | Phán quyết? | Evidence đích danh | Xử |
|---|---|---|---|---|
| **(1)** | duyệt `bao-cao-cuoi.md` → gửi hub? | ✅ CÓ | `adap-reports/upgrade-pack-phased-bao-cao-cuoi.md:3` *"CHỦ DỰ ÁN ĐÃ DUYỆT @S181 — nguyên văn **'1,2,3,4 -> OK'**"* + `:4` đường dẫn thư đã gửi · file THẬT tồn tại `broadcasts/outbox/ai_infra/2026-08-07-se-to-ai_infra-upgrade-pack-phased-bao-cao-cuoi.md` **7.231 B mtime 08-07 23:36** · dấu `ACTIVE-MARKS.md:27` `RC-pqhuy1987-07-08-2026-21-42-10` Active-High anh-confirm S181 | **LẬT** — 3 lớp bằng-chứng (chữ owner + vật gửi + con dấu) |
| **(2)** | ghép điều-kiện-3 vào bậc-2 | ✅ CÓ | `ACTIVE-MARKS.md:65` + `owner-decisions…dot-2.md:47` (xem §1.2) | **LẬT** |
| **(3)** | P3 = forward-only hay hồi-tố? | ✅ CÓ | `owner-decisions…dot-2.md:48` *"✅ **P3 (a) — CHỐT FORWARD-ONLY @S181** (anh trả 'OK' cho câu nêu rõ *'lead đang đọc vậy'*)"* + *"Muốn hồi-tố về sau thì cần một lệnh **tường minh**, không suy từ 'OK'"* | **LẬT + GIỮ CAVEAT** (nền = "OK" cho câu lead-đóng-khung; đường đảo còn mở) |
| **(4)** | VK-5 nhập khối chính hay phụ lục? | ✅ CÓ | `owner-decisions…dot-2.md:49` *"✅ **VK-5 — CHỐT GIỮ PHỤ LỤC @S181**"* + lý-lẽ chống-bẫy-A1 | **LẬT + GIỮ CAVEAT** (cùng dạng nền "OK") |

🔴 **Đính chính giả-thiết của checklist-final:** C-14 dự đoán *"câu chưa (P3-forward-only? VK-5?) GIỮ"*. Đo đĩa thì **cả 4 đều có phán quyết** — nhưng **KHÔNG đồng-hạng**: (1)(2) nền = **chữ owner trực-tiếp + vật chứng ngoài** (thư đã gửi / dấu RC / dòng luật đã ghép); (3)(4) nền = **"OK" trả cho câu do lead đóng khung**, chính sổ quyết-định tự khai đường đảo. ⇒ lật cả 4 nhưng **ghi 2 hạng nền khác nhau**, đúng cảnh báo ctx-verifier #9 "4 câu không đồng-trạng-thái" (khác-trạng-thái ở **hạng bằng-chứng**, không phải ở có/không).

---

## §2 — C-16 · locate bảng 2-cột thẩm-quyền {owner-SỐ · owner-LUẬT}

### 2.1 Nhà THẬT (locate xong — invest báo "0 hit error-ledger" là đúng, nhà nằm chỗ khác)

**`.claude/workflows/runs/2026-07-25-S149-adap-backlog/sub-apply-L5-evalcuaeval.md`**
- `:37` — luật: *"🔒 **2 cột thẩm-quyền ĐỂ TRỐNG — owner điền.** … *'AI không tự quyết hai cột sau'* — thư `:24` verbatim"*
- `:41` — header bảng **A** (7 thước độc-lập A1-A7): `… | Verdict | 🔒 owner-SỐ | 🔒 owner-LUẬT |`
- `:59` — header bảng **B** (11 check trong `governance-detectors.ps1`, B1-B11)
- `:115` — ô owner-LUẬT cụ-thể của **B11**: *"Phải owner chốt: baseline mới **43** có được ratify không, hay giữ **46** và chỉ đổi nhãn?"*

Con-trỏ phụ (nhất quán): `docs/governance/adap-reports/2026-07-21-…eval-cua-eval.md:14` (*"verified-pending (owner) — 🔒 ĐỂ TRỐNG có chủ-đích"*) và `:80`.
Thư gốc: `AI_INFRA/broadcasts/outbox/all/2026-07-21-Governance-eval-quality-audit-ra-thuoc-eval-cua-eval.md` — dòng verbatim *"…phân loại thẩm quyền {AI-tự-sửa · chủ-dự-án-quyết-SỐ (ngưỡng, target) · chủ-dự-án-quyết-LUẬT (bỏ check, đổi cơ chế, thêm gate)} — **AI không tự quyết hai cột sau**"*.

Lệnh tái-lập: `rg -n "owner-LUẬT" .claude/workflows/runs/2026-07-25-S149-adap-backlog/` → 3 hit (`:41` `:59` `:115`).

### 2.2 🔴 Phát hiện phụ (ngoài đề bài) — câu này ĐÃ từng lên bề mặt owner rồi RƠI

- `docs/HANDOFF.md:241` (segment S150, 🧊 BẤT BIẾN theo tiering) chứa **slot (22)**: *"⚑ **2 cột thẩm-quyền eval 🔒** (owner-SỐ ⟂ owner-LUẬT — bảng eval-của-eval `runs/2026-07-25-S149-adap-backlog/sub-apply-L5-evalcuaeval.md:37,41,59,115`) `[carry:eval-thamquyen]`"*.
- Tức **nhà thật đã được ghi đúng từ @S150**, kèm slug carry riêng.
- Nhưng đo hôm nay: `[carry:eval-thamquyen]` **KHÔNG có trong khối RE-STAMP @S181** (`HANDOFF:9`, 23 slug) lẫn khối `Carry @S179` (`:78`+`:80`, 14+7 slug).
  Lệnh: `grep -c "carry:eval-thamquyen" docs/HANDOFF.md` → **1** (chỉ hit @`:241` segment cũ; control-dương `carry:ctx-t9-dogfood` = **6 hit**, có mặt ở cả `:9` và `:78`).
- ⇒ Đây là một ca **`gap-carry-dropped` chưa được đếm** — đúng class mà `HANDOFF:8` tự tuyên *"re-stamp carry rơi 4 kỳ liên tiếp… nghi-thức này không có răng"*. Việc C-16 hoá ra không phải "chưa locate" mà là **"đã locate, rồi rơi khỏi bề mặt"**.
- **Slot số:** GIỮ **(22)** — KHÔNG mint số mới. Dãy slot là MỘT chuỗi liên tục (1)…(75); mint (76) cho cùng một câu = đẻ **2 số cho 1 việc**, và tái-dụng/đổi số là đúng lớp lỗi `slot-index tái-dụng xoá IM-LẶNG`. Re-surface = kéo (22) lên khối hiện-hành, ghi rõ lineage.

---

## §3 — C-21 · disposition 5-6 dòng §2.1 rơi (đo tươi 2026-08-09)

| Dòng | Nợ khai trong report | Đo tươi hôm nay (lệnh + kết quả) | Disposition |
|---|---|---|---|
| **(c1)** carry mark-S123 "chờ anh 1 chữ" | `adap-reports/2026-07-16-…tong-hop-loi…:18,24` | `ACTIVE-MARKS.md:39` = *"✅ **RESOLVED @S130** (2026-07-16, anh confirm qua AskUserQuestion **'Gỡ carry'**)… Carry mark-S123 **gỡ khỏi sổ theo-dõi**"*; `HANDOFF:264` xác nhận cùng nội dung. Lệnh: `grep -rn "mark-S123" .claude/WAL.md docs/HANDOFF.md .claude/governance/ACTIVE-MARKS.md` → 0 hit ở WAL, 1 ở HANDOFF (lineage), 1 ở ACTIVE-MARKS (RESOLVED) | **verify-đóng-kèm-lệnh** — đóng từ S130, report viết cùng ngày nên STALE ngay khi mực chưa khô |
| **(c2)** recipe body-sha strip-1 ⟂ strip-ALL, adap-request chờ hub | cùng report `:20,24` | Nấc **KNOWN-OPEN chờ-HUB** do chính report khai; SE không có đường đóng đơn phương (hub sở hữu canonical con dấu) | **Ghi-chú-khai-đúng** — nợ hub-gated, đã khai đúng nấc, không đẻ C/W |
| **(f)** bất-biến +1 KHÔNG máy canh nhãn-reuse | `2026-07-17-…wording-tick-annex-phep-8.md:25` — *"Hiện **không có detector nào** bắt được ca reuse nhãn… hệ-quả là **+0 im lặng**"* | Nợ-máy còn nguyên (không thấy detector nhãn-reuse). Cùng HỌ với C-8 (liveness 2 lưới) và C-19 (mirror-drift) đang ở LANE-1 | **C-item mới (đề-xuất)** — gộp họ "detector nhỏ" với C-8/C-19; 🔴 lane-4 KHÔNG tự cắm (file `governance-detectors.ps1` là turf LANE-1, cấm 2 agent cùng file) |
| **(g)** dangling-tick `last_ticked_head` lên commit `wal:` | `2026-07-17-…nam-vong-do-rai-lam-don.md:25` — DP-2 noise-expectation | 🔴 **LIVE NGAY BÂY GIỜ**: `.claude/governance/.session-counter.json` → `"last_ticked_head": "8491923eff64df8cbef569711ece1e88d6a77d25"`, mà `8491923e` = commit **`wal: flush 20260808T1349`** (git log HEAD). Đúng hình DP-2 mô tả. Candidate-fix report ghi *"vẫn treo anh/hub"* | **W-candidate** (owner/hub-gated: đổi neo tick = đổi cơ-chế guard = owner-LUẬT). 🔴 Lane-4 **KHÔNG** tự thêm W (khối CHỜ-ANH Opus không chạm ngoài C-16) — trình lead |
| **(o)** JUMP {4,3,3} + view-residual FROZEN | `2026-07-19-…dong-du-vong-audit…:36` — *"cờ `_frozen_until_owner` **chưa được ghi vào file**"* | Đo tươi: `grep -c "_frozen_until_owner" .claude/governance/.session-counter.json` = **0** → cờ VẪN chưa có trong file (nợ còn). NHƯNG `class_repeat._jump_state_S149` CÓ trong file, và vế bất-định đã hết: `view-residual-asym` nay = **11** (không còn {0,3}). Đối chiếu `HANDOFF:241` slot **(21)** ghi *"khoá `_frozen_until_owner` ĐÃ CẮM"* ⇒ **2 nguồn nói ngược nhau, đĩa thắng: chưa cắm** | **verify-đóng-MỘT-PHẦN + Ghi-chú-khai-đúng**: vế "bất-định {0,3}" ĐÓNG (số nay xác định = 11); vế "cờ frozen chưa ghi" **CÒN**, và phát sinh **mâu-thuẫn sổ ↔ đĩa** (slot (21) claim ĐÃ CẮM ≠ đĩa 0 hit) → trình lead |
| **(o-bis)** M8 V5-counter DEFER | cùng report `:37` | = **C-11** trong checklist-final (LANE-1) — đã có nhà | **verify-đóng: đã route** (không rơi) |
| **(t)** slot (36)(38) | `2026-07-25-…pause-tiep…:39,40` — (38) vai-gộp-3-nhịp · (36) nhịp phóng vai máy-$0-mỗi-pause | `HANDOFF:208`: *"~~(38)~~ ✅ **anh đã VETO + chốt hub-form 3-vai @S153**"* (report `:29` cũng ghi OWNER-VETO, đã thi hành: +2 persona, VALID_ROLES 21→23). (36) = veto-window *"không veto = giữ"*, và **không** nằm trong `HANDOFF:114` "Slot cũ còn treo" | **verify-đóng-kèm-lệnh** — (38) đóng bằng owner-veto có vết; (36) đóng bằng hết-veto-window (default GIỮ) |

**Kết C-21:** 6 dòng / 7 vế → **verify-đóng 4** · **Ghi-chú-khai-đúng 1** · **C-item mới 1** (họ detector, giao LANE-1/lead) · **W-candidate 1** ((g) dangling-tick) + **1 mâu-thuẫn sổ↔đĩa mới** ((o) slot 21).

---

## §4 — C-20 · report session-model-manifest 07-17 còn `agreed` sau khi wire đã xảy ra

### 4.1 Nguồn đã đọc TRƯỚC khi chạm
THƯ GỐC `AI_INFRA/broadcasts/outbox/all/2026-07-17-Governance-session-model-phien-logic-manifest.md` (13.488 B) · REPORT `docs/governance/adap-reports/2026-07-17-…manifest.md` (5.374 B, trọn) · hub-reply `AI_INFRA/broadcasts/outbox/se/2026-07-22-ai_infra-to-se-reply-session-model-dung-ban-da-duyet.md` (`content_sha256 8378a68b…`, đọc 45 dòng đầu) · `docs/governance/session-model-se-draft.md:58-70`.

### 4.2 Đo tươi — wire ĐÃ xảy ra, per-khoản

| # | Khoản manifest | Nấc @S143 (report §3) | Hôm nay | Lệnh |
|---|---|---|---|---|
| 1 | run-folder không bị `.gitignore` nuốt | ✅ đạt sẵn | ✅ giữ | — |
| 2 | pause/tiep + WAL có TRƯỚC | ✅ đạt sẵn | ✅ giữ | — |
| 3 | trần `session_ctx_kb` | ❌ **treo** | 🔄 **= 64** + khoá vết `_session_ctx_kb_owner_set` = *"OWNER-SET TUONG-MINH @S146 2026-07-22"* | `grep -o 'session_ctx_kb[^,]*' .claude/agent-memory/memory-budget.json` |
| 4 | folder-form theo ID phiên-LOGIC | ⚠️ K4 conflict | 🔄 **HUB-FORM**, 13 dir `session-1…session-13` | `ls -d .claude/sessions/*/` → 13 |

+ nhãn phiên-LOGIC sống xuyên cửa-sổ: **L9** (`HANDOFF:95`) → **L12** (`HANDOFF:5`) → **L13** (`run.md:1`); `grep -c "phiên-LOGIC" docs/HANDOFF.md docs/STATUS.md` → **7 · 9**.

### 4.3 Nhánh đã chọn = **B của đề bài** ("không trưng được owner-duyệt VC ⇒ addendum + W-list")

- **Không trưng được** owner duyệt **bảng VC-1/2/3 như một KHỐI**: `session-model-se-draft.md:64` vẫn nguyên văn *"(c) anh duyệt bảng VC-1/2/3 — ⏳ **CHỜ ANH**. Đây là **điều-kiện CUỐI**, và giờ là điều-kiện duy nhất còn đứng chắn."*
- **Cái ĐÃ có** = 2 quyết-định owner **tường minh per-khoản** (K4 form override @S144→chốt @S146 · `session_ctx_kb`=64 @S146) — mạnh hơn "de-facto" nhưng **không phải** duyệt bảng.
- ⇒ Viết **ADDENDUM §6** vào report (3 mục: 6.1 wire per-khoản có lệnh · 6.2 vì sao nấc GIỮ `agreed` · 6.3 câu W cho anh). **CỐ Ý KHÔNG nâng nấc** `agreed`→`executed`: nâng = claim cổng (c) đã mở, mà nó chưa ⇒ đúng lớp *"claim mạnh hơn việc đã làm"*. Nhánh an-toàn bậc-2, khai rõ.
- **Bắt thêm:** `[carry:session-model-adopt]` (carry giữ đúng cổng này) **rơi khỏi RE-STAMP @S181** — `grep -n "carry:session-model-adopt" docs/HANDOFF.md` → 6 hit, mới nhất `:218` (segment S151), **0 hit** ở `:9`/`:78`.

---

## §5 — C-15 · carry `[carry:ctx-t9-dogfood]` đóng TỪNG VẾ (F-5)

### 5.1 Định nghĩa carry đa-vế (2 nguồn khớp nhau)
`HANDOFF:206` verbatim: *"T9 phiên sau restart: **dogfood 4-cửa THẬT** + **spawn-probe CẢ 3 vai ctx** + **mồi-ngầm xuyên-cửa-sổ** + **checklist #18/#19/#20/#22/#23** + **điền wall-clock nếu lệch >2×**"*.
Ánh xạ sang định nghĩa MÁY-KIỂM-ĐƯỢC — `runs/2026-07-26-S153-ctx-adopt/sub-fable-invest-S153.md` PHẦN B: **#18** dogfood 1 vòng 4-cửa (`:129`) · **#19** mồi-ngầm xuyên-cửa-sổ (`:130`) · **#20** restart-verify spawn-probe ALIVE + đối-chứng dương (`:131`) · **#22** lưới C11(b) fault-inject 2-chiều (`:133`) · **#23** hmw STOP-HARD + owner-note (`:134`) · wall-clock = **#16** (`:127`).

### 5.2 Bảng đóng-từng-vế

| Vế | Kết | Bằng-chứng + lệnh |
|---|---|---|
| **#18** dogfood 4-cửa THẬT | ✅ **ĐÓNG** | start/Phase-3.5 → 8 tệp `_mind-s-{6..13}.md` (12.482 → 43.663 B) · pause/C-bis → `_context-s-12.md:47` entry `PAUSE-1` · tiep/§3-ter → `owner-decisions…dot-2.md:3` *"window-2 … vào bằng `/tiep`"* · end/(l) → **10** tệp `sub-ctx-audit-*`. Lệnh: `ls .claude/sessions/*/_mind*.md` · `ls .claude/workflows/runs/*/sub-ctx-*.md` |
| **#20** spawn-probe 3 vai ctx | ✅ **ĐÓNG** | `ctx-audit` 10 artifact (S154→S182) · `ctx-curator` **12.465 B** mtime 08-08 (seed ~1,5 KB) + owner @S179 chốt GIỮ 2 tệp nó ghi (`HANDOFF:20`) · `ctx-verifier` **19.205 B** mtime 08-07 23:14 + 15 cờ @S185 |
| **#22** C11(b) 2-chiều | ✅ **ĐÓNG** | `runs/2026-07-24-S149-hoi-tu-bookend/sub-impl-M4-c11.md:46` ca (c): part(b) `diary-0-delta` FLAG ⟂ part(a) IM (anti-FP) |
| **wall-clock (#16)** | ✅ **ĐÓNG** | Điều-kiện *"lệch >2× ⇒ điền số THẬT"* kích hoạt và ĐÃ điền: `pause.md:66` **+~0,12 s** (draft 61,3 ms + full 55,4 ms; tệp 34 KB = 63,8 ms) thay ước 0,3-0,6 s (**lệch 2,2-5,4×**) |
| **#23** hmw STOP-HARD | 🟡 **ĐÓNG NỬA** | vế owner-note (roster > cap) đóng theo slot **(75)** @S181 (cap 20→30, roster 28). Vế **đối-chứng-dương TRƯỚC T5** = **n-a không tái-lập được** (T5 land từ S153) — khai, không giả vờ đạt |
| **#19** mồi-ngầm xuyên-cửa-sổ | 🔴 **NỬA — CÒN MỞ** | vế *gieo* ĐẠT có vết: `runs/2026-08-05-S173-bookend-open/sub-ctx-audit-open-S173.md:377` *"(i)-4 gieo mồi-ngầm \| **ĐẠT** — gieo tại §(v)"*. Vế *"cửa-sổ SAU (/tiep) **nêu lại đúng ý**"* → **0 bằng-chứng trên đĩa** ⇒ chưa có fidelity-sau-nối-lại |

### 5.3 Xử — THU HẸP, KHÔNG gỡ trắng
Carry giữ trong danh sách, **thu về đúng 2 vế**: (i) #19 vế chấm-xuyên-cửa-sổ · (ii) #23 vế đối-chứng-dương pre-T5 (n-a). Ghi vào `HANDOFF` khối RE-STAMP (dòng 🔻 THU HẸP @S185).
🔴 **Bẫy đã né đúng như F-5 cảnh báo:** invest liệt 3 diary `harness-{eval,audit,refine}` làm evidence — đó là **trio 07-21**, **KHÁC** trio ctx. Đã tách bạch, không dùng làm chứng cho carry này.

### 5.4 2 lượt MISS có vết (đóng "đã dogfood", KHÔNG đóng "chạy đều")
`_context-s-12.md` PAUSE-1 tự khai: *"Phase 3.5 của `/session-start` **không chạy**"* @S180-open · *"**`ctx-curator` KHÔNG spawn ở cửa này**"*. ⇒ 4/4 cửa có **≥1 lượt thật** (đủ đóng #18), nhưng độ-đều thì chưa.

---

## §6 — Vật đã sửa (4 tệp) + verify

| # | Tệp | Sửa gì | Verify (lệnh → kết quả) |
|---|---|---|---|
| 1 | `docs/governance/adap-reports/2026-08-07-…nghi-thuc-hai-dau….md` | **+mục 8 ADDENDUM @S185** (C-14a) — đính chính "CHƯA GHÉP", 2 bằng-chứng, nấc khoản → `executed` | `grep -c "ADDENDUM @S185"` → **1**; `grep -c "🔴 \*\*CHƯA GHÉP\*\*"` → **2** (dòng gốc `:12` CÒN + trích trong addendum) ⇒ bài-5 giữ vết ✓ |
| 2 | `docs/governance/adap-reports/2026-07-17-…session-model-phien-logic-manifest.md` | **+mục 6 ADDENDUM @S185** (C-20) — wire per-khoản, nấc GIỮ `agreed` có lý do, W-list | `grep -c "ADDENDUM @S185"` → **1**; `grep -c "0 wire — đo chứ không khai suông"` → **2**; nấc `**agreed**` → **1** (KHÔNG đổi) ✓ |
| 3 | `docs/HANDOFF.md` | (a) **flip khối CHỜ-ANH @S181** 4/4 câu, 2 hạng nền, giữ 🧊 nguyên-văn (C-14b) · (b) **🔻 THU HẸP carry ctx-t9** (C-15) · (c) **🔺 CARRY LẠI 2 slug rớt** · (d) **slot (22) RE-SURFACE** (C-16) | 4 anchor `grep -c` → **1/1/1/1**; `carry:eval-thamquyen` trong khối đỉnh → **1** (trước vá 0) ✓ |
| 4 | `runs/…/sub-invest-email-adap-fable.md` | **+§2.1-disposition ADDENDUM @S185** (C-21, bảng 7 vế) + đính chính `105→101` (F-8) | `grep -c "§2.1-disposition — ADDENDUM @S185"` → **1** ✓ |

`git diff --stat` xác nhận **0 tệp ngoài phạm-vi** do lane-4 đụng (các tệp khác trong diff = lane-1/2/3 chạy song song: `governance-detectors.ps1`, `tien-kiem-cua.ps1`, `naming-standard.md`, `adap-apply.md`, `CLAUDE.md`, `session-{start,end}.md`, `adap-upgrade-pack-tracking.md`, `ctx-soft-memory-se-draft.md`, `so-yeu-cau-chu-du-an.md`).

---

## §7 — Ranh cứng: tự-kiểm

| Ranh | Trạng thái |
|---|---|
| Đọc THƯ GỐC + REPORT trước khi chạm | ✅ 5/5 item — bảng nguồn ở §1.1 · §4.1 · §5.1 · §2.1 · §3 |
| Vùng-owner ⇒ DỪNG + khai | ✅ **KHÔNG chạm**: 0 đổi policy/số-nhịp/schema · 0 đụng `ACTIVE-MARKS` · **KHÔNG** nâng nấc G-011 (C-20) · **KHÔNG** sửa tally *"20 carry"* (số của lead) · **KHÔNG** đóng `[carry:bao-cao-cuoi-cho-duyet]` (nghi-thức `session-end §L.b(j)(iv)`) · **KHÔNG** tự thêm W vào khối CHỜ-ANH (trừ slot (22) được giao đích danh ở C-16) |
| Fault-inject / cây tạm | **n-a** — lane-4 là doc-hygiene, 0 acceptance đòi fault-inject; 0 script bị sửa ⇒ 0 inject vào repo thật |
| Mọi số kèm lệnh tái-lập | ✅ mọi ô số trong file này có lệnh bên cạnh |
| ENV-DEP "ăn từ phiên sau restart" | **n-a** — 0 tệp lệnh (`.claude/commands/*`) và 0 persona (`.claude/agents/*`) bị sửa ⇒ mọi thay đổi ăn NGAY |
| Không commit/push · không `store_memory` | ✅ 0 lệnh git write · 0 gọi store_memory |
| Addendum = block MỚI, giữ dòng cũ (bài-5) | ✅ chứng bằng đếm 2-hit ở §6 hàng 1-2 |
| Serial nội-lane (3 item cùng `docs/HANDOFF.md`) | ✅ C-14b → C-15 → C-16 → carry-lại, 4 Edit tuần tự, 0 xung đột |

---

## §8 — Trình LEAD (ngoài đề bài, lane-4 KHÔNG tự quyết)

1. 🔴 **`(g)` dangling-tick LIVE ngay lúc này** — `last_ticked_head` = `8491923e` = commit **`wal: flush 20260808T1349`**. Đúng hình DP-2 đã cảnh báo. Candidate-fix = owner-LUẬT ⇒ **W-candidate**.
2. 🔴 **Slot (21) claim SAI so đĩa** — `HANDOFF:241` ghi *"khoá `_frozen_until_owner` **ĐÃ CẮM**"*; đo: `grep -c "_frozen_until_owner" .claude/governance/.session-counter.json` = **0**. Class `view-stale-status`.
3. 🔴 **2 ca `gap-carry-dropped` chưa được đếm** — `[carry:eval-thamquyen]` + `[carry:session-model-adopt]` rơi im lặng, chỉ lộ khi đi tìm *nhà* của 1 câu hỏi. Nghi-thức re-stamp **không tự phát hiện slug mình đánh rơi** vì nó chép danh-sách kỳ trước thay vì dựng lại từ nguồn.
4. 🔸 **Đếm lệch trong chính khối RE-STAMP** — header *"20 carry còn mở"* ⟂ danh-sách đếm được **23** slug (+2 vừa carry lại).
5. 🔸 **Ứng-viên ĐÓNG carry:** `[carry:bao-cao-cuoi-cho-duyet]` đủ 3 lớp bằng-chứng (chữ owner + thư đã gửi + dấu RC) — lane-4 chỉ nêu, không tự đóng.
6. 🆕 **Đề-xuất C-23** (giao LANE-1): detector nhãn-reuse — cùng họ C-8/C-19, đóng vế `(f)` của C-21.
7. 🔸 **W-candidate mới cho C-20:** anh chốt bảng **VC-1/2/3** — phê-duyệt hồi-tố cả bảng, hay bỏ khái niệm "duyệt bảng" và chuyển hẳn sang per-khoản (thì phải lật `session-model-se-draft.md:64`)?

**ts-đóng:** 2026-08-09 · trạng thái: **XONG** — 4 DONE / 1 PARTIAL (C-15 thu-hẹp đúng acceptance).
