# spec-execution synthesis — spec S125 ĐÃ THỰC-THI TRỌN @S126 (2026-07-16)

> Bản-ghi-kết-quả (dạng-1) đóng run `/fable-real` S125: deliverable của run này là `spec-adap-review-s125-16-07-2026.md` (3-mục + checklist A–D) — phiên S126 resume qua `/tiep` đã THỰC-THI TRỌN. Chi-tiết từng phép đo → `../2026-07-16-S126-adap-spec-execute/` (runtime-verify-synthesis.md + sweep-synthesis.md).

| Mục spec | Kết-quả @S126 |
|---|---|
| A1 H23-precedence | **`fable`** — spawn-param THẮNG frontmatter hard-pin ⇒ `/fable-real` SỐNG; báo hub `2026-07-16-se-to-ai_infra-h23-precedence-test-result` (stamp `945cf3ad` exit-0) |
| A2 worker-pin runtime | **`opus`** — lane no-tier resolve `claude-opus-4-8` DÙ lead=Fable ⇒ pin ăn thật (không inherit-lead) |
| A3 autoMemory WRITE-path | file MỚI `project_h23_spawn_precedence.md` byte>0 + index |
| B1 sweep all-inherit | 15 floor-sống/5 file + 3 cùng-lớp → VÁ HẾT; fault-inject 2-chiều PASS; re-grep 0 floor-sống; detector-suite 45 = baseline 0-new |
| B2 memory harness4 | body khớp S124 + update kết-quả H23 |
| B3 retier-megaline · B4 budget:74 | 🔒 soạn surface `b3-b4-owner-gated-proposals.md` — CHỜ ANH, không apply |
| B5 closeout GỘP S125+S126 | session-end phiên S126 (STATUS/HANDOFF/session-log/harvest/commit/push) |
| B6 hub follow-up | 0 mail mới; hub CHƯA reply/re-stamp/vá-snippet — ghi-nhận chờ, KHÔNG stamp trước |
| C 6 product carries | 6/6 còn — re-stamp @HANDOFF S126 |
| D notes | D5 pilot ghi memory h22 (same-model leg; cross-model PENDING) · D1 chưa tới hạn · D2 không nợ · D3/D4 deferred · D6 surface HANDOFF |

Honest-note: lệch plan-vs-runtime duy-nhất = lead phiên thực-thi là **Fable 5** (spec §② dự-kiến Opus 4.8 MAX, owner-choice) — không đổi kết-quả phép đo nào; ngược lại làm control A2 mạnh hơn (chi-tiết runtime-verify-synthesis.md §Pilot).
