# implement-synthesis — wave adap khung-nhịp-năm-vòng (stage 4, hmw 3-lane)

> **VERIFIED bởi lead @S136** — tổng-hợp stage implement TRỌN WAVE sau recovery. Câu chuyện run: S135 phóng `wf_d5b91490-a0f` 3 lane → `/pause` 16:55 giữa wave (lane còn chạy nền, land thêm SAU pause) → phiên chết → S136 `/tiep` §4: lead re-run AC từ đĩa + relaunch-cắt-gọt phần thiếu (`wf_c3a56fef-520`, folder `../2026-07-17-S136-laneB-remainder/`). **Đĩa thắng lời kể** (per-turn ≠ per-task N9): LANE-A có diary DONE, LANE-C land-đủ-file nhưng diary cụt (lead scribe on-behalf SAU verify), LANE-B land probe không diary (relaunch).

## AC toàn wave — lead re-run từ đĩa (KHÔNG tin self-report)

| Lane | Files | AC | Verdict |
|---|---|---|---|
| **A** commands+contract | tiep/pause/session-end/session-start.md + counter.json (committed trong `0363495 wal: pause` — hook mang đi, điểm mù ④ tự tố-giác đúng thiết-kế) | **AC-A 10/10** — tick 3/4/2 · OR-guard=1 · probe-call 4/4 · pointer §2.1.8 (không chép logic) · so-sánh-SỐ · probe-loi 4/4 · Ratified+canonical · memory-triple=3 · INFORM-byte 2 site · counter-file đích-danh 2/3 | ✅ |
| **B** scripts+detectors | `nhip-no-probe.ps1` (land SAU pause) + `governance-detectors.ps1` +2 H25 (S136 remainder) | **AC-B 6/6** — (1) 2-run byte-y-hệt+0-mutation · (2) probe-loi exit 0 · (3) 3-vế khớp đối-chứng (light 7/6 post-tick đúng logic — số spec "5/6" là snapshot lúc viết, trôi đúng chiều) · (4) fault-inject **9/9** · (5) real-repo 14/14 + 2-PASS/1-FP-classified · (6) ASCII+exit0+0-self-match | ✅ |
| **C** residual+doc+sleep | budget.json (committed `a7bafd5 wal: flush`) + adap-report + hmw.js + fable-real.md + sleep-cmd | **AC-C 8/8** — 0-site-sống `draft 2026-07-15` ngoài exclusion · e0bb5bbf=2 + e50a4bd0 + caveat · 2 append additive · câu luật non-JSON-args ×2 · reconcile spec-pointer · cross-file-bleed + grep-ngược · JSON-OK + non-ASCII **delta 0** (50=50 baseline) | ✅ |

## Điểm nổi stage này

1. **Tick đa-điểm-vào SỐNG:** S136 vào bằng `/tiep` → tick fire 9→10 ngay cửa (trước wave: S134/S135 vào `/tiep` = 0-tick, GAP-1 sống). OR-guard session-label + label-convention PIN hoạt-động đúng thiết-kế ngay lần đầu.
2. **Probe live-run đầu tiên:** `NHIP-NO: kiem light 7/6 deep 7/15 OVERDUE:light | tran-bo-nho 0 over-cap | run-chua-gom 1` — vế-1 đọc post-tick (n-3 đúng), vế-3 khớp orphan-check độc-lập. OVERDUE:light → consent-gate (DP-3) chờ anh.
3. **FP W3 tail-adjacency** (chi-tiết + đề-xuất per-label folding treo anh quyết → `../2026-07-17-S136-laneB-remainder/implement-synthesis.md`).
4. **Nấc trung-thực:** tick-wire + probe-wire trong 4 cmd `.md` = **executed + verified-pending-restart** (command no-hot-reload `pause.md:9`) — phép 7 (pause–tiep counter +1) + phép 1 cửa-sổ mới đo SAU restart. KHÔNG khai "verified" trước restart.
5. **Recovery cost:** relaunch-cắt-gọt chỉ tốn 1 worker (~190K tokens) thay vì chạy lại 3 lane — WAL + diary-trên-đĩa + hook-commit chính là thứ làm được việc này (H22 đúng bài).

## Còn lại của wave (ngoài stage này)

- [!] Stage 5: reviewer pre-commit (đang chạy nền @S136, trace `../2026-07-17-S136-laneB-remainder/sub-reviewer-0.md`) → commit đích-danh M-7 add-list → **RESTART Claude Code** (cmd .md no-hot-reload) — sau restart mới đo phép 7 + phép 1.
- [ ] Stage 6: adap-reports ×5 + email hub (nấc + baseline T6 + errata mis-site + FP W3 + SELF-CHECK 5-ô "PASS-với-carve-out") + STAGE-2 move 7 file → `inbox/ai_infra/` + `_index` processed.
