# implement-synthesis — spec-v2 áp xong (S145 phóng → S146 relaunch-cắt-gọt → reviewer PASS-with-fixes)

> Bản-ghi-kết-quả **dạng-1 phẳng** (đóng orphan ① của Sàn-3). Viết @S146 sau khi reviewer trả và lead đã vá.

## Kết luận 1 dòng
**5 axis của `spec-apply-hub-s145-v2.md` đã land, verify TRÊN ĐĨA, 0 file prod-code.** Reviewer bắt **2 MAJOR thật — cả hai là lỗi của lead** — đã vá xong trong phiên.

## Đường đi (2 phiên, 1 lần chết giữa chừng)
| stage | kết |
|---|---|
| S0–S3 @S145 | ground → spec-v1 → `/fable-clone` reviewer ensemble 5 lane (**FAIL 2C + nhiều MAJOR**) → synthesize **spec-v2** |
| S4 lần 1 @S145 | `wf_f9f24694-12b` — **CHẾT giữa chừng** ở `/pause`; chỉ axis **B** landed (~1/4) |
| S4 lần 2 @S146 | `/tiep §4` **relaunch-CẮT-GỌT** `wf_3d803740-41d` — 3 worker DISJOINT-file (A · C+E · D), **3/3 DONE**, 511k tok / ~20′ |
| S5 @S146 | `reviewer` pre-commit + fault-inject → **F1/F2 MAJOR** → lead vá → quét cuối sạch |

🔴 **Cross-session resume KHÔNG hợp-lệ** (`tiep.md §4.5` SAME-SESSION-ONLY) ⇒ bỏ hẳn run cũ, relaunch với memory-pack **dẫn-xuất-lại TƯƠI**. Harvest-hồi-tố axis B bằng cách **đo đĩa**, không tin return đã mất.

## Kết quả per-axis (bằng-chứng đo đĩa @S146)
| axis | kết |
|---|---|
| **A** C7 | `harness-11-engine.md` **§N.8** — predicate 4-vế, tách FLOOR/FORM; `N.2` 3→**4 path cố định** |
| **B** bulk | `bulk_note_shards: 30` (landed @S145, verify lại) |
| **C** session-model | hook `wal-flush.ps1:13` = **4 path** (+`.claude/sessions/`) · Sàn-3 **⑤ + ORPHAN-L** · VC-1 nhãn 2 tầng · scaffold + orphan-L rule · `session_ctx_kb`=64 owner-set |
| **D** 5-vòng | `session-end` gỡ "land dần sau" · **D2 KIỂM end-only** + H24-coupling · completeness-gate **§L.c** có RĂNG (cấm bare-PASS) |
| **E** tiep/pause | line-ref `:7`→`:13` · wf: 5-trường · memory-pack-rule |

**🎯 LIVE-VERIFY hook 4-path PASS trong repo THẬT:** commit `da7ee8a` nuốt `.claude/sessions/session-1/probe.md`. Worker CE chỉ verify được **cây tạm** và **khai thật** là không quan-sát được repo-thật từ trong subagent (hook ở event `Stop`, không phải `SubagentStop`) ⇒ lead tự làm nốt. **Khai đúng phạm-vi = lý do mảnh này không thành claim rỗng.**

## 🔴 2 MAJOR reviewer bắt — cả hai của LEAD
- **F1** `session-end.md` ×2 vẫn dạy **`hook-3-path`** (GẠCH NỐI). Worker CE **đã chỉ tận nơi** trong sub-file của mình, worker D không vá ⇒ **residual có người chỉ mà vẫn rơi**.
- **F2** phép quét cardinality của lead **siết LỆCH TRỤC** (lọc co-occurrence cùng dòng + tập-file hẹp) ⇒ bắt 7/11, **lọt 4 ca thật — gồm chính F1**.
- **F3 HELD** — reviewer tự `git show da7ee8a` xác minh live-verify, không tin lead.
- **F4** probe residue ô-nhiễm ID-space + làm ⑤ kêu tới khi push ⇒ lead `git rm`, bằng-chứng còn trong history.

## Bài học đắt nhất (giữ nguyên, đừng nén)
Phép quét ấy lead sửa **4 LẦN trong 1 phiên**: **quá rộng** (nuốt câu đúng) → **quá hẹp** (lọt lỗi thật) → **rộng lại** (kéo về 3 miền khác) → chốt.
🔴 Cả 4 đều vì **cố mã-hoá "ý-định" vào một regex khôn**. Ý-định ở đây là **NGỮ-NGHĨA** ("đang nói về path-list của hook") — thứ khớp-mẫu **không biểu-diễn được**. Nấc đúng = **lưới soát cho người + allowlist CÓ TÊN + `use ⟂ mention` (🧊)**, cùng khuôn `/tiep §0` đã dùng cho **dạng-4**.
🪤 Lần 4 đặc-biệt: **bộ dò bắt chính nốt-vá của mình**, vì nốt vá trích-dẫn giá-trị cũ (citation-trap). Và giới-hạn kèm theo: 🧊 lọc theo **DÒNG** ⇒ với **mega-line** (`STATUS.md`) thì cấm dùng 🧊, phải diễn-đạt lineage không lặp cụm.

## Residual thật (KHÔNG đóng)
- **Meld-forward** (`.claude/sessions/` qua squash) — floor hub, **CHƯA ĐO**.
- Hub-floor còn thiếu: `_snapshot-k` + lệnh chụp-nhanh · `_context` tầng **stock**+nén · `/pause` tự-chụp · `/tiep` đọc snapshot + phòng cửa-sổ-sập. **Chưa chốt** (đã carry).
- V2 mới "auto-khi-tới-nhịp", **chưa** bookend-hub. Trong 5 vòng: **V1+V3 = 2 đầu thật** · V2 cadence · V4 on-signal · V5 liên-tục.
