5.7 KiB
implement-synthesis — wave adap 3 bản AI_INFRA 17-07 (VERIFIED, đóng run)
Run:
2026-07-17-S138-adap-3-ban-17-07· S138 (pipeline invest→spec→review) + S139 (relaunch implement + L3 + ship). Pipeline anh chỉ-định:/check-email→/fable-real invest→ spec →/fable-real review→ hmw Opus MAX implement → L3. Mọi số dưới đây = VERIFIED (em-main hoặc L3 tự đo — không tin lời khai lane).
Kết-quả cuối: L3 VERDICT GO — 0 critical / 0 major / 3 LOW-nit. Wave adopt TRỌN 3 bản, add-only, 0 floor hạ, 0 số config đổi.
Chuỗi thi-công + sự-cố (trung-thực)
| # | Giai-đoạn | Engine | Kết-cục |
|---|---|---|---|
| 1 | STAGE-1 check-email 3 bản | em-main | verify 2-tuyến WHOLE+BODY 3/3 — commit efc0828 |
| 2 | Invest | /fable-real wf_56d248ea-f8e |
CLEAN — sub-investigator-codebase-0.md 30.867B; 3/3 FIT; lead verify 4/4 claim |
| 3 | Review spec v1 | /fable-real wf_a0aa62f5-9e8 |
#53-garble trước verdict → ladder → em-main-solo gate GO_WITH_FIXES 3M/3m/1n → spec v2 (review-synthesis.md) |
| 4a | Implement lần 1 | hmw wf_84c69a1b-960 (S138) |
chết theo phiên 0-vết-đĩa → /tiep §4 relaunch TRỌN (harvest-hồi-tố rỗng) |
| 4b | Implement relaunch | hmw wf_f9981ae5-903 (S139, 2-lane implementer-backend opus MAX) |
done=2/2: L1 CLEAN (sub-0) · L2 #53-garble sau khi xong code — em-main disk-truth hoàn tất (sub-1 ON-BEHALF) |
| 5 | L3 review độc-lập | hmw wf_65e5cf1e-397 (reviewer) |
CLEAN — GO 0C/0M/3-nit (sub-reviewer-0.md, EM-scribe TOOL-AWARE); về KỊP sau pause 3a394b0, harvest-liền |
#53 tally wave này: reviewer-Fable ×1 (mục 3) · implementer-L2 ×1 (mục 4b) · wf-chết-theo-phiên ×1 (4a). Cả 3 lần: ghi-đĩa-trong-lúc-làm + disk-truth ladder cứu trọn — 0 công việc mất, 0 phải làm lại từ đầu (trừ 4a vốn 0-vết).
Deliverable per bản (đối-chiếu 3 broadcast)
Bản 1 — đính-chính-kép 624c378d: (A1) reviewer.md:46 measured-label 4→5 nhãn +grounded (ĐÚNG 1 từ — L3 xác-nhận; nấc G-011 = verified-pending-restart, agent-file no-hot-reload). (A2) Δ2 ext-filter lone-CR = already-compliant SE-originated (standing script đếm byte-CR, không dùng ext-filter) — 0 code; evidence vào adap-report bản-1. CẤM-adopt-lại-2-bản-gốc: tôn-trọng (0 file gốc đụng).
Bản 2 — master-checklist cadd24ae: khối MASTER-CHECKLIST 2-tầng VIEW-derive in 4 cửa (session-start Phase-3 · session-end Phase-4 "TỔNG-HỢP CHỐT" · pause ý-6 · tiep §3-bis bold-block) + câu cấm nguồn-đôi ×4 + luật-số sàn-5 (§L.b(j)(iv)). Heading-count 26/28/7/14 bất-biến (L3 đối-chiếu git show HEAD:), BƯỚC-0 intact ×8, config-token 10/10 nguyên. Dry-run EM in-thử: ĐÃ chạy thật 2 lần trong phiên (báo-cáo /pause bước-5.6 + /tiep §3-bis) — 4 nhóm đủ, chờ-anh có số.
Bản 3 — năm-quyết 123d8272: K1/C1 = 2 câu đóng-băng bề-mặt-đo (§L.b(c) đầu-khối + mirror §2.1.2). K2/C2 = detector C6 cite-2-nấc. K4/C4 = câu relay-attribution rules §6.6 + G-011 ladder canonical on-disk (error-ledger). K5/C5 = detector H24-4 pending-flip. K6 = 2 dòng do-record (Item 3-bis) + luật re-base số-sống (error-ledger). K3 = 0 code — bảng 3-hit/3-traced vào adap-report bản-3.
2 detector mới (INFORM-only, LOW, count-riêng KHÔNG fold TOTAL 45)
- Fault-inject 13/13 + 3 ca phụ, CẢ 2 CHIỀU, ×2 lần độc-lập (em-main + L3 re-run byte-exact): C6 7 ca (dead-file FLAG · correct IM · fence IM · past-eof FLAG · backtick IM · anti-Goodhart 2-cite-1-dead FLAG×1 · 🧊-line IM) + H24-4 6 ca (stamped-same-frag FLAG · superseded IM · not-stamped IM · diff-frag IM · backtick IM · midline-PrevS quét+FLAG · lineage IM) + exit-0 ×2.
- Live-run: exit-0 · TOTAL=45 giữ · C6=0/40-file · H24-4=0 (designed first-run) · boundary "lines 1..8, at line 9".
- M-1 chịu-lực THẬT: HANDOFF.md:7 "Prev S134" giữa-dòng (không cắt) vs :9 boundary — ca sống trên chính file detector đọc.
- Measured-label 2/2 grounded: "172/185 bare-cites" L3 reproduce ĐÚNG TỪNG CHỮ SỐ; "0 flags first-run" khớp live.
- ASCII 0-byte>127 (#30) · Test-Quoted cả 2 matcher (S123) · Test-Excluded self-def · add-only +260/0 · clean-diff 0-FOREIGN-line.
3 LOW-nit (không chặn) + owner-gated
nit-1 sàn-5 vocab-collision session-end :72(🚩H22) vs :108(🔢S138) → chờ anh: rename bản mới (L3 đề-xuất) hay alias-map. · nit-2 mirror-C1 thiếu runs/*/run.md — B1-pointer mitigated, chấp-nhận. · nit-3 G-011 wording variance — unify tuỳ-chọn. Owner-gated còn lại (trình trong adap-reports): nhà 2 câu luật [owner-reviewable] · optional câu cửa-duyệt hứa-máy · fold C6 vào TOTAL + nâng sev sau triage.
Bài học wave (đã vào diary tương-ứng)
- Prompt-đúng KHÔNG chặn #53; ghi-đĩa-TRONG-lúc-làm mới chặn mất-việc — L2 chết giữa fix harness-bug mà 0 công-việc mất (code + harness đều trên đĩa); tái-xác-nhận S123.
- Test-harness cần cùng kỷ-luật naming như production — bẫy
$h/$HPowerShell case-insensitive cắn chính harness dù script-đích đã né (:813). - Nhãn "measured" chỉ sống khi falsify-path tồn-tại + reviewer CHẠY + đứng vững — 2/2 nhãn wave này qua; số comment reproduce đúng từng chữ số (hiếm).
- Luật vừa viết phải áp thử cho nhánh anh-em (di-sản retire-luật S123) — footer-v1 "edits sau GO" vỡ khi áp m-3 no-self-exempt → đảo thứ-tự, L3 chấm SOUND.