# implement-synthesis — YC-017 pipeline invest→review→OpusMAX (S185)

> **VERIFIED bởi lead** @2026-08-09 ~21:45. Verify độc-lập 3 phép: detectors `EXIT=0` + non-ASCII=0 · tien-kiem flip ("dang cho owner"=0 hit) vẫn `ok` · `loi-hua-may-scan.ps1` 30.223 B tồn tại · git log sạch (0 commit-lậu từ lane — chỉ `wal:` hook + `6282806c` C-13 lead).

## Chuỗi P1→P4

| P | Engine | Kết quả |
|---|---|---|
| P1 invest | Fable, #53-recover-resume | **0/39 NỢ per-id** (33 report cùng-tên + 6 report-gói, commit đương-thời) · 21-item checklist · 2 tiền-đề brief bị bác bằng đo ("~24 id không report" · "điều-kiện-3 chờ anh") |
| P2 review | Fable | `PASS_WITH_FIXES` 13 finding (9 MAJOR): số stale-NGƯỢC (ring2 VỠ cap) · 2 routing · 4 SÓT · ≥5 dòng rơi |
| P3 lead | Fable | `checklist-final.md` 22C+4W · giải F-3 bằng evidence P1=PA-2 (`_context-s-12:55`) · C-13 commit `6282806c` |
| P4 execute | wf `wf_5d16a842-28e` 7-lane Opus MAX | **7/7 lane trả, 0 lỗi** — 16 DONE · 3 PARTIAL-đúng-luật · 1 SKIP-khai-đúng · 1.604K tok / 443 tool-use / 33' |

## Per-lane (ruột = `sub-opus-lane*.md` cùng folder)

- **lane1 detector 4/4 DONE:** C-2 L7-bolt 2 site + C-8 liveness carve-out (C13) + C-19 mirror-drift stamp_verify (C14, LOGIC-hash tránh đèn-đỏ-vĩnh-viễn) + C-11 V-5 encoding predicate (C15, rank-1 FFFD ⟂ rank-2 mojibake; đo thật 12 file/25 hit rank-1). +438 dòng ASCII-sạch, TOTAL 49=baseline (phần mới vào sink INFORM 18→20), fault-inject 14/14 cây tạm. Lane tự bắt thước hỏng 1 lần (mảng pattern thiếu ngoặc ⇒ 0-hit vĩnh viễn — đã vá + comment).
- **lane2 tien-kiem 0/1 PARTIAL — DỪNG ĐÚNG LỆNH:** soak PHẦN Q vế-2 đòi rider-jump đã soak ≥1 phiên, mà **rider-jump CHƯA TỒN TẠI trên đĩa** (5 phép + control: `OVERDUE:jump` 0-hit / `OVERDUE` 6-hit) ⇒ soak thật = 0 ⇒ KHÔNG cắm mã thoát. Đã flip 2 dòng stale (header tien-kiem "đang chờ owner (P1)" → chốt PA-2 · adap-apply "chưa chốt") + đặc-tả thang C3-04 ánh xạ 4 nhánh (không cắm). 3 finding trả lead: F-L2-1 `engine:587` tiền-đề lạc-quan (đề xuất đổi vế sang điều-kiện-theo-VẬT-CHỨNG) · F-L2-2 **rider-jump = nợ-chưa-có-chủ** (W2 nghiệm thu 4,5/6 nhưng `_context-s-12:58` tuyên "W2 ĐÓNG" — tái diễn Lớp-8 nhãn-đã-đóng-hẹp-hơn-thật) · F-L2-3 (xem sub-file).
- **lane3 doc-codify 2/3:** C-3 masthead codify DONE · C-4 suggest-1-dòng codify DONE · **C-17 SKIP-khai ĐÚNG — tiền-đề P2-review SAI**: `vocab-alias-map.md` TỒN TẠI từ 2026-07-01 (8.020 B, 3 entry) và va-chạm "sàn-5" đã xử bằng nhánh RENAME (anh quyết + hub ACK @S139) ⇒ finding F-4 của P2 là dương-giả ("file chưa tồn tại" — grep thiếu).
- **lane4 report-hygiene 4/5:** C-14 addendum 08-07 + flip HANDOFF:6 TỪNG CÂU · C-20 nhánh B (wire-de-facto + khai VC chưa duyệt hình thức) · C-16 locate bảng thẩm-quyền = `runs/2026-07-25-S149-adap-backlog/sub-apply-L5-evalcuaeval` · C-21 disposition 7 vế/6 dòng (4 verify-đóng-kèm-lệnh) · C-15 PARTIAL đúng acceptance (carry THU HẸP, không gỡ trắng). Phát hiện: 3/5 item = "đã làm rồi sổ không lật" (chuỗi bi-quan-stale lần 3 trong run).
- **lane5 measure 4/4 DONE:** C-5 (Lớp 2·4·9 có số) · C-9 (tier-qua-resume) · C-18 (master-checklist ô1/ô2 + sàn-2) · C-22 (completeness-pass) — 3 addendum land đúng report + 1 bảng vào sub-invest.
- **lane6 memory-gate 1/2:** C-10 DONE (2 mồ côi A16) · **C-6 PARTIAL đúng nhánh dự phòng**: máy archive-gate tới PROPOSE nhưng value-scan của chính máy BÁC đề-xuất (fault-inject lật PROPOSE→WARN) ⇒ trình đề-xuất-nén phần-không-di-dời cho lead/anh, CẤM nén tay — `ring2-audit` vẫn 30.781 B.
- **lane7 máy-quét 1/1 DONE:** `scripts/loi-hua-may-scan.ps1` dựng thật — 759ms, self-test 11/11, fault-inject 3 ca + control; mẫu-số chấm tay 30 dòng (KHÔNG phải 19 — đo lại hôm nay), 0 `violation-open`.

## 🔴 Lead tự bắt + tự vá trong lượt chốt

**C-7 (spawn-label) RƠI khỏi mọi lane** — lỗi chia-lane của P3 (chính lớp F-12 mà P2 phạt invest). Vá ngay @S185: `fable-clone.md` khối KHUÔN LABEL +1 bullet khoản-④ label-vào-run.md (kèm số đo 3/14). ⇒ Coverage cuối: **21/21 item có disposition** (17 DONE gồm C-7+C-13 · 3 PARTIAL-đúng-luật · 1 SKIP-khai-đúng).

## Tồn đọng sau run (không cái nào là việc-máy-tự-quyết)

1. **C-1 mã-thoát W3b**: chờ rider-jump được DỰNG (nợ-chưa-có-chủ — F-L2-2) rồi soak ≥1 phiên. 2. **C-6 nén ring2**: cần 1 quyết định (đề-xuất-nén đã trình trong sub-lane6). 3. **4 W CHỜ-ANH** (W-1 day-wake 3-chạm · W-2 ring5(41) · W-3 owner-SỐ 4.3 · W-4 bảng thẩm-quyền — nhà đã locate). 4. **5 SKIP-owner lane1** (severity/fold TOTAL · ngưỡng H24-1 · lật V5 bao-cao-cuoi · mở C13 sang trio-consent · bỏ neo-glyph). 5. Files dirty 25 — vào commit gom @bookend.
