wal: flush 20260717T0958

.claude/workflows/runs/2026-07-17-S133-pe-budget-freeze-daduyet/run.md

@@ -18,7 +18,17 @@
 
 ## Stages
 
-- [ ] 1. invest fable-real (wf: `wf_348f6155-167`)
-- [ ] 2. lead verify + ghi `spec-pe-budget-freeze-daduyet-17-07-2026.md`
-- [ ] 3. hmw implement Opus MAX theo spec (BE ‖ FE → test)
+- [x] 1. invest fable-real (wf: `wf_348f6155-167`) — #53 return-fail, disk sub-file 22.5KB cứu; lead verify 7/7 claim PASS
+- [x] 2. lead verify + ghi `spec-pe-budget-freeze-daduyet-17-07-2026.md` (OD1 CÓ · OD2 CÓ · OD3 KHÔNG)
+- [ ] 3. hmw implement Opus MAX theo spec — 3 invocation staged:
+  - [ ] INV-A (2-task ‖): test-specialist T0 REPRODUCE (RED evidence, KHÔNG đụng src/) ‖ implementer-frontend (types ×2 riêng + PeDetailTabs SHA-mirror badge + npm build ×2)
+  - [ ] INV-B (1-task): implementer-backend (Domain +11 col · Config · Mig 67 3-file + backfill idempotent · PeBudgetAccumulator · ApplyBudgetSnapshotOnFinalizeAsync 4-site · display-gate BudgetFrozen · 2 terminal-guard · build slnx · T0 GREEN)
+  - [ ] INV-C (1-task): test-specialist T1-T9 + full suite
 - [ ] 4. reviewer pre-commit → commit/push → cicd verify prod
+
+## taskList snapshot — implement (append @spec-chốt)
+
+- INV-A.1 `[impl:t0-reproduce]` test-specialist — PeBudgetFreezeTests T0: đưa phiếu tới DaDuyet QUA service finalize (mirror PeApproverFinalizeTests, KHÔNG seed thẳng Phase), đổi pair qua UpdatePeBudgetPro, GetDetail assert giữ số cũ → RED hiện tại (evidence log).
+- INV-A.2 `[impl:fe-badge-types]` implementer-frontend — types 2 app +budgetFrozen (file KHÔNG mirror, sửa riêng) + PeDetailTabs 2 app badge 🔒 (SHA-mirror, hash-object bằng nhau) + npm build ×2.
+- INV-B.1 `[impl:be-full]` implementer-backend — theo spec ② bước 1-7 + checklist BE.
+- INV-C.1 `[impl:test-full]` test-specialist — T1-T9 + dotnet test full PASS.