# adap-synthesis — `2026-07-28-Governance-day-wake-probe-first-resume` (S158)

> Lead-written, VERIFIED. Dạng-1 phẳng (`<stage>-synthesis.md`) theo hợp-đồng `workflows/README.md:17` — RAW `sub-` ⟂ VERIFIED `-synthesis.md`.
> 🔴 **Vì sao file này tồn tại:** lead ban đầu ghi kết-quả vào `## Kết quả` trong `run.md` = **dạng-3, RETIRED @S123** ⇒ `harvest-curator` F2 xếp folder này **ORPHAN**. Nội-dung đã đủ, thiếu đúng **tên file theo hợp-đồng**. Vá bằng file này, không phải bằng cách nới luật.

## Verdict

**Nấc `agreed`** — thiết-kế chốt + spec kết-tinh, **0 file cơ-chế bị sửa**. `day.md` chưa tồn tại; `pause.md` · `tiep.md` · `session_ctx.py` · `memory-budget.json` **nguyên trạng** (`git status` rỗng, mtime 07-26 = S152/S153).
Verify độc-lập: `tooling-auditor` @close soi **ghost-wire CẢ HAI CHIỀU = 0 site**, kết luận *"câu '0 file cơ-chế được sửa' là ĐO ĐƯỢC, không phải tuyên-bố suông"*; `ring1-audit` chấm claim này **ĐẠT**.

## Engine

`/fable-real investigator-codebase` (Fable, single deep-pass, propose-only) — vai do owner GÁN qua AskUser.
Return **CLEAN 0-garble**: `FIT-DU-4 — 14 đề-xuất, 4 phản-biện`. Đĩa `sub-invest-day-1.md` **25.440 B / 183 dòng**, `## §5 PHẢN-BIỆN` `:165`, TOTAL-line `:183` tự cộng 4+2+3+2+3 = 14 ✔ (harvest-curator verify byte-exact).
🔸 Đây là **1 trong 3 lane duy nhất của phiên KHÔNG garble** — và là lane được ép ghi-đĩa từ prompt đầu.

## 2 tiền-đề của LEAD bị BÁC (ghi lại, không giấu)

1. **"SE có squash ⇒ có sha mồ-côi" — SAI.** Đo: `cat-file -e` + `is-ancestor` trên 8 marker → **sống 8 / mồ-côi 0**. Squash `session-end` chỉ gọt trailing-`wal:` **chưa push**; 6/8 sha đã push. *(Lead re-đo độc lập, khớp.)* 🔴 Guard vẫn giữ — tiền lệ S127 dangling có thật, và **chính `/day` tự đẻ điều kiện orphan**.
2. **"Probe nên tái dùng Sàn-3" — BÁC, có bằng chứng cùng-cửa.** Hai phép cho verdict **NGƯỢC NHAU** tại chính S158: Sàn-3 ② **HIT** (2 commit non-`wal:` trước `origin/main`) ⟂ anchor-delta **0 ⇒ CLEAN**. Vì hỏi **hai câu khác nhau**: *"tồn-tại việc dở"* (neo `origin/main`) ⟂ *"đổi so điểm dừng"* (neo marker pause). ⇒ dựng phép-2 hợp lệ, B1 không cấm.

## Số SE (BYTE — cố ý KHÔNG quy token)

`tiep_reload` = **122.115 B** / 5 nguồn (hub: 439.328 B / 8 file ⇒ **nền SE nhẹ hơn 3,6×**). Cửa CLEAN sẽ SKIP **86.441 B (70,8%)** + 1 spawn `ctx-verifier`.
Bẫy-một anchor: **4/4 THẬT ở SE**. Bẫy-hai mồ-côi: **0/8**. Drift marker: `_snapshot` **3/4**.

## Dogfood — SE có 1 datum, hub tự khai có 0

Cửa `/tiep` @S158 probe ra **CLEAN** (`_pause-4` head-sha `d7eaece` → carrier `6c263dd` = HEAD; cây sạch; 0 sentinel) ⇒ **lẽ ra đi đường dậy-nhẹ**, mà lead đã trả giá full.
🔸 **1 điểm dữ-liệu, KHÔNG phải bộ số.**

## Còn nợ

- Owner gật **3 chỗ chạm canonical**: `tiep.md §0` ⑤(b) r-set · `CLAUDE.md` câu *"nối lại DUY-NHẤT bằng `/tiep`"* · `check-email.md` nhịp 4→5 cửa
- Thi công (lead tự tay) + **workflow REVIEW RIÊNG** (Harness-9) + dogfood 2 cửa → gửi hub kèm run-id

## Con-trỏ

`run.md` · `sub-invest-day-1.md` (25.440 B) · `spec-day-wake-probe-first-28-07-2026.md` · `docs/governance/adap-reports/2026-07-28-Governance-day-wake-probe-first-resume.md`

<!-- END · NAC=agreed · 14 DE-XUAT · 4 PHAN-BIEN · 2 TIEN-DE-LEAD-BI-BAC · 3 CHO-OWNER -->
