# run — 2026-07-17-S133-pe-budget-freeze-daduyet

- **engine:** `/fable-real investigator-codebase` (H21 lệnh-A per-invocation, alias "invest" anh gõ) → lead verify + ghi spec → **hmw implement Opus 4.8 MAX** (anh chỉ định "hwm cho đám Opus 4.8 MAX xử lý") → review → deploy
- **goal:** UAT anh Kiệt FDC (chat 2026-07-16 17:24-17:27): cập nhật ngân sách (`PeWorkItemBudgets` live, per Dự án × Hạng mục) làm **phiếu ĐÃ DUYỆT đổi số theo** (retro-display). Yêu cầu chốt: (R1) phiếu DaDuyet **bất biến** — không đổi gì hết; (R2) ngân sách đúng nhất cho phiếu mới = bản cập nhật **gần nhất** (live giữ nguyên semantics); (R3) "tức lại database tí là oki" — DB delta nhỏ, **không sinh bảng mới** (snapshot AddColumn).
- **session:** S133 · lead: Fable 5 (owner-choice) · HMW-mode ON

## taskList snapshot

1. `[fable-real:invest-pe-budget-freeze]` role=`investigator-codebase` · tier=`'fable'` (engine-đắt trong lượt lệnh anh gõ — H21) — deep-pass:
   - MAP read-sites `PeWorkItemBudgets` trong PE flow (BE projection + FE 2-app consumer, file:line) → xác nhận cơ chế live-join gây retro-change trên phiếu DaDuyet.
   - MAP write-sites (command role-gated PRO/CCM).
   - Kiểm per-slip fields sẵn có (PE.BudgetPeriodAmount / CcmBudgetPeriodAmount Mig 59 / Detail.DonGiaNganSach·ThanhTienNganSach) — dùng lại được làm snapshot không.
   - Liệt kê MỌI nhánh vào DaDuyet (CEO-final · level-finalize Mig 58/60 · CCM-threshold Mig 53) → 1 choke-point đặt snapshot (ứng viên: cùng site `ApplyApprovedPriceOnFinalize`).
   - Propose spec 3-mục + checklist per-vai acceptance ĐO ĐƯỢC + backfill phiếu DaDuyet cũ + edge (TuChoi/TraLai-re-approve/WorkItemId null).
   - RETURN structured (findings + checklistEvidence + memoryDelta) + ghi `sub-investigator-codebase-0.md` (ghi-đĩa-trong-lúc-làm — chống #53).

(taskList implement sẽ append vào run.md này khi spec chốt + HMW implement phóng.)

## Stages

- [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)
- [x] 3. hmw implement Opus MAX theo spec — 3 invocation staged:
  - [x] INV-A (2-task ‖, wf_d9639faa-97a, 0-garble): T0 RED thật (`Failed 1/1` found 999tr @PeBudgetFreezeTests.cs:184, prod sạch — evidence sub-test-specialist-0.md) · FE 4 file (badge amber @ "Tổng hợp ngân sách trình ký" :1352, hash mirror `5534addb` ×2, npm build ×2 PASS) · errata spec: query = GetPurchaseEvaluationQuery (bundle prop BudgetSummary)
  - [x] INV-B (1-task, wf_4bef08b8-730, #53 return-fail ×2): lane XONG 6 file + PeBudgetAccumulator (helper 4-site :862/:901/:934/:1109 · display-gate · 2 guard) — chết trước mig → **em-main-solo Mig 67** (scaffold 11 AddColumn sạch + backfill Sql OUTER APPLY khớp accumulator; apply 2 DB, Dev catch-up Mig 66 lag; build slnx 0/0; filter 44/44 **T0 RED→GREEN**)
  - [x] INV-C (1-task, wf_75c6bfd3-754, #53 lần 3 → disk): +T1-T9 vào PeBudgetFreezeTests (:426/:480/:524/:555/:638/:687/:730/:783/:821) · full suite lead-verified 519/0 · ⚠️ sub-file INV-A bị overwrite (cùng role+index 2 invocation chung run — lesson multi-invocation)
- [x] 4a. reviewer pre-commit (wf_f9c0b939-181, return sạch): **PASS_WITH_FIXES 0M/2S/2N** — 2 SHOULD = #81 indirect-assignment (WorkflowService:308 admin-override `= targetPhase` + DbInitializer:1323 seeder `= current`) → lead FIX cả 2 + test AdminOverride site-5 + seeder snapshot + comment → filter 11/11 · FULL **520/0** (45D+475I) · npm ×2 PASS
- [x] 4b. commit `d4fbced` (16 file, +7831/−63) + push `9e874ca..d4fbced` origin/main
- [x] 4c. cicd-monitor verify d4fbced (wf: `wf_4eadbcf6-c25`, return sạch, verdict về SAU /pause — harvest-liền): **VERDICT GO 5/5** — Run **#398** success gate 520 · Mig 67 prod (11 cột + backfill **18/18** chua=0 + 89 bảng) · bundle rotate ×2 admin js `3NCdyODe` css `B--dUHcm` / eoffice js `CKsoiNCI` css `BuntB63r` (byte-verify PRESENT, old-control 0) · smoke 4×200 + PE 401 · surprise: CSS cũng rotate (badge sinh utility-class mới — benign #69)
- [x] 5. docs closeout @S134 `/tiep` — re-verify độc-lập verdict cicd **4/4 KHỚP** (mig-top ssh + health 200 + bundle-hash curl ×2 + filter 11/11) · STATUS (Mig 67/520/S133-block/bundle-hoist) + HANDOFF (segment S133, 9 carry re-stamp, UAT script 3 bước) + gotchas **#81-EXT** (count giữ 83) + CLAUDE.md row-PE + session-log `2026-07-17-S133-pe-budget-freeze-daduyet.md` + `close-synthesis.md` (orphan dạng-1 ĐÓNG)

## ⏸ PAUSE note (S133 — /pause trong lúc chờ cicd)

- **Lane cicd `wf_4eadbcf6-c25` đang chạy lúc pause.** CI Gitea = server-side, TỰ chạy tiếp (commit `d4fbced` đã push `9e874ca..d4fbced`). `/tiep`: đọc `sub-cicd-monitor-0.md` nếu lane kịp ghi; lane chết theo phiên → em-main tự verify 5 mục theo SPEC cicd trong run này (lệnh sẵn ở WAL `verify:`); KHÔNG cần re-deploy.
- **Docs closeout còn lại (mục 9 WAL):** `STATUS.md` (CURRENT STATE: Mig 66→**67** · Tests 509→**520** [45D+475I, +11 `PeBudgetFreezeTests`] · Recently-Done S133 block · bundle hash MỚI lấy từ verdict cicd) · `HANDOFF.md` segment S133 (re-stamp 8 carry + NEXT-anh UAT) · session-log `2026-07-17-S133-pe-budget-freeze-daduyet.md` · root `CLAUDE.md` row PE +Mig 67 · gotcha mới? (cân nhắc: #81-mở-rộng indirect-assignment — reviewer catch; quyết lúc closeout).
- **Carry hook-vs-budget-cap:** hook nén-17.1K bắn **×2 phiên này** (inv-cb 19.7KB · reviewer 20.4KB — đều DƯỚI cap anh 25.6K/30.7K, em không tự nén theo quyết định S122) — gộp báo anh khi closeout.
- **UAT script anh Kiệt (đưa vào HANDOFF khi closeout):** (1) mở phiếu **ĐÃ DUYỆT** (incognito — #77) → thấy badge **"🔒 Ngân sách chốt tại thời điểm duyệt"**, bảng TỔNG HỢP NGÂN SÁCH **giữ nguyên số** sau khi PRO/CCM cập nhật NS gói thầu (từ phiếu khác cùng gói); (2) phiếu **CHƯA duyệt** cùng gói → thấy số **MỚI** ("ngân sách cập nhật gần nhất"); (3) thử sửa "NS kỳ này (CCM)" / "Điều chỉnh ngân sách" trên phiếu đã duyệt → lỗi **"Phiếu đã kết thúc — ngân sách đã chốt tại thời điểm duyệt, không sửa được nữa."** (chặn cả Admin).

## 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.
