# C6 — Cửa-duyệt lời-hứa-máy (`goi-chot:52`)

> Vá theo R3 (v1 chấm **RỖNG HOÀN TOÀN**) + owner-decision "em solo".
> 🔴 **Đo lại độc lập, KHÔNG chép số reviewer** — và phép đo lại lật luôn con số reviewer đưa.

## 1. Ba con số, và vì sao cả hai con đầu đều SAI

| Phép đo | Kết quả | Verdict |
|---|---|---|
| **v1 (lead)** — literal `"máy sẽ"` trong `docs/governance/` | **0** | ❌ **Quá HẸP.** Tập-đo rỗng ⇒ acceptance đạt mà không cần sửa gì. R3 fault-inject: cắm câu-hứa-giả → **vẫn XANH**. |
| **R3 (reviewer)** — dòng chứa `(detector\|guard\|hook)` **và** `(chặn\|quét\|bắt\|đảm)` | **19** | ❌ **Quá LỎNG.** Lead tái lập được đúng 19, rồi soi ra **4/19 = 21% dương-giả substring**. |
| **Lead sau khi lọc** | **15 thô → phần lớn là ghi-chép lịch-sử** | ⚠️ Vẫn không phải mẫu-số dùng được |

### 🔴 4 dương-giả: `bắt buộc` (mandatory) bị pattern `bắt` (catch) nuốt

Ca điển hình `fable-real-runbook.md:440`:
> *"3 GAP-guard §K.C (**bắt buộc** CẢ 2 mode — pin để stamp CÓ NGHĨA)"*

`bắt buộc` = *mandatory*, **không phải** *catch*. Regex không phân biệt được.

🔴 **Đây là ca THỨ BA cùng lớp trong CÙNG một phiên:**
1. Lead: `grep -vE 'Designer|Snapshot'` nuốt migration `AddPeApprovedBudgetSnapshot` → đếm 66 thay vì 67
2. Lead: `^\|[[:space:]]*[0-9]+` trượt row in-đậm `| **64** |` → đọc "row cuối = Mig 11" thay vì Mig 66
3. **Reviewer**: `bắt` nuốt `bắt buộc` → mẫu-số phồng 21%

⇒ **Bộ lọc chuỗi thất bại trong im lặng, và nó không chừa ai** — kể cả vai được giao đi soi người khác.

### Vì sao 15 còn lại vẫn không dùng làm mẫu-số được

Đọc từng dòng: phần lớn là **bản ghi lịch sử** (`error-ledger:117` prevention · `:144` recurrence), **honest-caveat** (`harness-11-engine:289` *"FP-guard … blind-spot có-chủ-đích"*), hoặc **câu đã CÓ sẵn existence-proof** (`:267` *"C1 spec-compliance checker deterministic LIVE: `scripts/memory-selfimprove-audit.ps1`"* — nêu đích danh script ⇒ đã đạt `goi-chot:52`).

Số câu **thật sự vi phạm** (hứa năng lực mà không có máy) ⇒ **không xác định được bằng regex**, phải đọc bằng mắt.

## 2. Kết luận thiết kế — bỏ đo-số, chuyển sang đo-CỔNG

R3 nói đúng chỗ then chốt: `goi-chot:53` — *"cửa này chặn **từ lúc VIẾT**, không đợi tới lúc trả nợ"*.
⇒ Deliverable thật **KHÔNG PHẢI** một lần quét, mà là **một câu hỏi thường-trực ở cửa review**.

**Cổng C6 (đây là thứ được cài):**

> 🔴 **Trước khi bất kỳ doc governance nào được ghi/sửa:** mọi câu khẳng định năng-lực-máy (*"X chặn/quét/bắt/đảm-nhiệm Y"*) phải mang **existence-proof TẠI CHỖ**:
> `{đường-dẫn máy}` + `{lệnh chạy được}` + `{test hoặc positive-control}`.
> Thiếu bất kỳ mảnh nào ⇒ **BẮT BUỘC viết dạng dự-định** (*"sẽ build — CHƯA có máy"*). **CẤM viết dạng đang-có.**
> Reviewer hỏi đúng một câu: **"mã nào làm việc đó?"**

**Ranh use ⟂ mention:** câu *định nghĩa* luật (như chính đoạn trên) hoặc *trích dẫn* anti-pattern **KHÔNG** tính vi phạm. Đây là cùng lớp `citation-trap` SE đã trả giá 3 đời/1 wave @S123 — discriminator là **enclosure**, không phải hình dạng.

## 3. Acceptance MỚI (thay bản literal đã chết)

| # | Tiêu chí | Cách chứng |
|---|---|---|
| a | **Positive-control BẮT BUỘC** | Cắm 1 câu-hứa-giả vào cây tạm → cổng **phải** nhặt ra. Không nhặt được = cổng mù, TRƯỢT |
| b | **Không dùng regex làm mẫu-số** | Đã chứng: literal → 0 (mù), loose-regex → 21% dương-giả. Mẫu-số = **danh sách liệt kê tường minh** |
| c | **use ⟂ mention tách bạch** | Câu định-nghĩa/trích-dẫn không tính vi phạm |
| d | **Đo GATE đã cài, không đo QUÉT xong** | `goi-chot:53` forward-looking |
| e | **Hồi-tố time-box** (P-2) | Floor `goi-chot:55` chỉ nói *"tài-liệu governance **mới**"*; hồi-tố toàn corpus vượt floor **và** đụng `goi-chot:44` (điểm-dừng phải rẻ) |

## 4. Khai thật (residual)

- **Cổng này là KỶ LUẬT NGƯỜI, không phải máy.** Hub tự khai cùng điều: `goi-chot:54` *"máy quét TỰ-ĐỘNG cho chính class lời-hứa-máy = **chưa có** (khai residual)"*.
  ⇒ Theo đúng luật của chính khoản 4: **mục này viết dạng DỰ-ĐỊNH cho phần máy**, chỉ phần cổng-người là đang-có.
- **Chưa chạy sweep hồi-tố.** Lý do: floor chỉ đòi forward-looking; hồi-tố = P-2 time-box, chưa tới hạn.
- **Số câu vi phạm thật: CHƯA ĐẾM.** Không bịa một con số mà chính phép đo vừa chứng minh là không đáng tin.
