[CLAUDE] Docs: S134 closeout — luy ke TAM TINH (STATUS 528/bundle Run #399 + HANDOFF 10-carry UAT-script + session-log + synthesis dong orphan + harvest 6 vai)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-17 14:45:20 +07:00
parent 6664a6136a
commit 99fc37361f
11 changed files with 108 additions and 18 deletions
--- a/.claude/WAL.md
+++ b/.claude/WAL.md
@ -9,13 +9,16 @@ chain:
 [x] 4. hmw INV-2 wf_58302bd5-b9f [IMPL-A ‖ IMPL-B] — 2/2 done 0-garble · A: 4 file BE +ComputePendingAsync+DTO+D4 (build 0/0, ComputeAsync 0-diff, insertion-only) · B: 6 file FE (hash d28eaa16+bebc0ada ×2 IDENTICAL, npm ×2 PASS, M2 enum-gate) · lead re-verify độc-lập: scope 10 file + hash + grep D4/M2/N8 KHỚP · harvest C4 2 vai APPENDED · evidence: sub-implementer-backend-0.md + sub-implementer-frontend-1.md (hmw index GLOBAL theo taskList — hết collision S133)
 [x] 5a. re-verify build 0-err + filter PeBudgetFreeze 11/11 (INV-2 không vỡ freeze)
 [x] 5b. hmw INV-3 wf_97d6a582-b7e [TEST-C] — 1/1 done 0-garble · +8 test PePendingAccumulationTests C1-C8 (C6 complementary-no-double-count exact-numbers) · full 528/0 (45D+483I) · NO prod bug · evidence: sub-test-specialist-0.md
-[!] 5c. reviewer pre-commit wf_8bb5abee-657 (ghi sub-reviewer-precommit.md) ‖ lead full-suite độc-lập (bg br7adpgua, kỳ vọng 528/0) — cả 2 đang chạy
-[ ] 5. test full + npm ×2 + reviewer pre-commit → commit + push + cicd verify
-[ ] 6. docs closeout
+[x] 5c. reviewer pre-commit wf_8bb5abee-657 — **PASS 0C/0M/4-nice-to-have** (7/7 trục; tự chạy build+npm×2+filter 8/8; #81-indirect 5/5-qua-helper + seeder-safe; scope-drift 0%) ‖ lead full-suite độc-lập **exit-0 Infra 483/0** — CẢ 2 XANH · evidence: sub-reviewer-precommit.md
+[x] 5d. squash §5.0 (reset --soft d4fbced, 9 wal: local TIÊU — 0 lọt origin) → 2 commit sạch e53a693 (docs S133) + **6664a61 (feature S134, 11 file code+test + run-folder + WAL + agent-memory ×3)** → PUSHED d4fbced..6664a61
+[x] 5e. cicd verify 6664a61 wf_f366f38d-498 — **GO 5/5 CLEAN**: Run #399 5m27s · gate 528-exact-log · Mig 67 frozen+89 · bundle ×2 BVCukFP5/CBzUlgOA + DoxyEOxh/BHsBUA8e (byte 3-marker PRESENT, control 0-hit) · smoke 4×200+PE-401 · lead spot-check độc-lập 4/4 khớp · evidence: sub-cicd-monitor-0.md
+[x] 6. docs closeout — STATUS (528 · bundle mới · Recently-Done S134) + HANDOFF (10 carry re-stamp + UAT-script 3-bước + ⚑D1-nháp) + session-log 2026-07-17-S134-pe-luyke-tam-tinh.md + CLAUDE.md row-PE + close-synthesis.md (orphan ĐÓNG) + harvest 6 vai (engine-label GAP-2) · hook-cap ×3 (20.4-21.3K dưới-cap 25.6K → không-nén S122, carry)
+[ ] 7. commit docs closeout + push (docs-only CI-skip) → /pause (anh dặn "xong thì /pause")

-next: chờ return invest → verify claims (spot-check file:line) → ghi spec (mục 2)
+next: mục 7 — commit + push + /pause

 verify:
- ls .claude/workflows/runs/2026-07-17-S134-pe-luyke-tam-tinh/          # run.md + sub-investigator-codebase-0.md (khi invest ghi)
- git log --oneline -1                                                   # de64bf2 (docs S133) hoặc wal: mới hơn
- grep -n "TẠM TÍNH" .claude/workflows/runs/2026-07-17-S134-pe-luyke-tam-tinh/run.md   # goal đúng mạch
+- git log --oneline -2                                       # commit docs closeout S134 trên cùng (sau 6664a61 đã push)
+- curl -s https://admin.solutions.com.vn/ | grep -o 'index-[^"]*js' | head -1   # index-BVCukFP5.js
+- dotnet test SolutionErp.slnx --filter PePendingAccumulation --nologo   # 8/8
+- ssh vietreport-vps 'sqlcmd -S .\SQLEXPRESS -d SolutionErp -U vrapp -Q "SELECT TOP 1 MigrationId FROM __EFMigrationsHistory ORDER BY MigrationId DESC"'   # vẫn 20260717032812 (pass: appsettings.Production.json)
--- a/.claude/agent-memory/cicd-monitor/MEMORY.md
+++ b/.claude/agent-memory/cicd-monitor/MEMORY.md
@ -1,5 +1,9 @@
 # CI/CD Monitor Agent — Persistent Memory

+- **S134 (07-17) verify 6664a61 PE lũy-kế tạm-tính [wf_f366f38d-498 · return CLEAN no-garble] `[engine: opus-worker]`:** VERDICT **GO 5/5** — Run **#399** (id=513) success 5m27s (14:27:29→14:32:56+07); gate **528 EXACT từ log** (45D+483I, +8 PePendingAccumulationTests); Mig 67 top FROZEN + sys.tables 89 (0-mig by-construction, `git diff -- *Migrations*` empty); bundle rotate ×2 admin js `3NCdyODe`→**`BVCukFP5`** css `B--dUHcm`→**`CBzUlgOA`** · eoffice js `CKsoiNCI`→**`DoxyEOxh`** css `BuntB63r`→**`BHsBUA8e`** (FE-src đổi 6 file ⇒ rotate expected; CSS = amber utilities benign #69), real-size 1.659.037/1.565.367B + LM in-window; **byte-verify #77 qua python urllib BYTES**: `pendingPriorPes`=2 + `Tạm tính`=3 + `phiếu trước cùng gói thầu CHƯA duyệt`=2 cả 2 js, control old-hash 900B **ct=text/html** 0-hit; smoke 4×200 + PE 401. Learned: (1) **urllib bytes + `body.count(marker.encode())` = bulletproof cp1252** cho marker tiếng Việt (khác subprocess text=True crash S133); (2) **ct=text/html là SPA-trap discriminator SẠCH HƠN size-919B** (shell size drift per build — 900B lượt này); (3) tasks-API có thể blip empty-200 transient → poll-loop absorb. Poll held-off verify khi running (iter 0-2) đúng bài #242. Tag `[s134, run-399, go-5-5, ct-html-discriminator, urllib-bytes-marker]`
+
+- **S133 (07-17) verify d4fbced PE budget-freeze [wf_4eadbcf6-c25, return sạch — verdict landed SAU khi lead /pause; harvest-liền lúc notification, lead CHƯA re-verify độc lập]:** VERDICT **GO 5/5** — Run **#398** success ~5.5m (gate **520** = 45D+475I, 0 fail/skip); Mig 67 prod: history-top + **11 cột ApprovedBudget\* exact** + backfill **18/18 phiếu DaDuyet chua=0** + sys.tables **89** no-new-table; bundle rotate ×2: admin js `yCkX-2Bp`→**`3NCdyODe`** css `CXD7q9xH`→**`B--dUHcm`** · eoffice js `DKSD4p9k`→**`CKsoiNCI`** css `CjwZwYJo`→**`BuntB63r`**, real-size 1.657.025/1.563.373B, LM 11:18:42/11:19:36+07 in-window; byte-verify #77: `budgetFrozen`=1 + `Ngân sách chốt tại thời điểm duyệt`=1 cả 2 js mới, old-hash control = 900B SPA-trap 0-hit; smoke 4×200 + PE 401-secured. **Surprise: CSS CŨNG rotate cả 2 app** (spec đoán "CSS có thể frozen") — PeDetailTabs badge sinh utility-class mới → content-hash đổi theo content, benign #69; phá streak bundle-FROZEN S129-S132. Lesson tool: python `capture_output text=True` crash cp1252 trên title CI tiếng Việt → dùng `text=False` bytes + `json.loads(bytes)`; foreground sleep bị chặn → `python time.sleep` poll-loop OK. Tag `[s133, run-398, go-5-5, css-rotate-benign, mig67-backfill-18]`
+
 > **Persistent diary cross-session.** Auto-injected first ~200 lines at spawn (L1 HOT).
 > Update BEFORE every stop. Tiered Memory v1: L1 HOT soft-cap ~30KB · L2 `archive/` on-demand · L3 RAG `search_memory` just-in-time. Keep entry ≤ 1.5K chars (gotcha #53).
 > Full verbatim run history pre-S40 → git `d2f52ba` + `archive/2026-05-{runs,q2,q3,q4}.md` + `archive/2026-06.md` + `archive/2026-07.md`. 🗺️ **Lookup map: `archive/_INDEX.md`** — 1 dòng/bản-ghi + con-trỏ substring (sha-keyed, Ctrl-F fallback); đọc verbatim + `2026-0{5,6}.gist.md` theo nhu cầu. See 🔄 Curate-trigger log for archive-move history.
--- a/.claude/agent-memory/investigator-codebase/MEMORY.md
+++ b/.claude/agent-memory/investigator-codebase/MEMORY.md
@ -1,5 +1,7 @@
 # Investigator-Codebase Agent — Persistent Memory

+- **S134 (07-17) PE lũy-kế tạm-tính invest [fable-real Agent-lẻ · #53 return-garble → sub-file 8-phần 20.7KB CỨU TRỌN (lần 3 pattern thắng); entry on-behalf em-main] `[engine: fable-real-single]`:** ground-truth LẬT KHUNG đề bài — row1 "NS trình duyệt trước" ĐÃ gồm ChoDuyet sẵn (`PeBudgetAccumulator.cs:42-48`), gap thật = row2 "đã chọn thầu" (DaDuyet+IsWinner :50-60) + row5/6 dẫn xuất ⇒ spec thu hẹp **0-mig/0-endpoint/0-đụng-chính-xác**. Map 3-bản predicate: helper runtime DUY NHẤT + live `:962` + snapshot `:1018` đều GỌI CHUNG helper (không duplicate) + backfill Mig 67 one-time. Phase-set propose: PriorPes NOT IN {7,99} · delta2 NOT IN {1,7,99}+winner (GỒM ChoDuyet=gap) · delta1 NOT IN {1,7,10,99} (no-double-count); D1 nháp list-only (S89 riêng-tư `:893-898`). 2 errata lead bắt: path thiếu `Dtos/` + hash-value stale (`47c97df1` vs lead-đo `5534addb` — kết luận identical vẫn ĐÚNG). Learned: **đề bài UAT "X không được tính" phải đo predicate THẬT từng-row trước khi nhận khung** — row1 vs row2 khác semantics, gộp chung "lũy kế" là bẫy; PeWorkflowPanel `:510 shouldPickPrice` = predicate "đang duyệt CUỐI" tái dụng được. Tag `[s134, luyke-tam-tinh, invest-lat-khung, 53-garble-diskfile-lan3]`
+
 > **Persistent diary cross-session.** Auto-injected first ~200 lines at spawn (L1 HOT).
 > Update BEFORE every stop. Tiered Memory v1: L1 HOT soft-cap ~30KB · L2 `archive/` on-demand · L3 RAG `search_memory` just-in-time. Keep entry ≤ 1.5K chars (gotcha #53).
 > Full verbatim history pre-S40 → git `d2f52ba` + `archive/2026-05-q1..q4.md` + `archive/2026-06.md`. 🗺️ **Lookup map: `archive/_INDEX.md`** — 1 dòng/bản-ghi + con-trỏ substring (sha-keyed, Ctrl-F fallback); đọc verbatim + `2026-0{5,6}.gist.md` theo nhu cầu. **S80 curate: moved 15 recon entries S65→S76 + 2× 06-20 → archive.**
@ -18,11 +20,10 @@ Read-only INTERNAL audit SOLUTION_ERP codebase. Tools: Read, Grep, Glob, Bash +
 ---

 ## 🆕 Recent invest (S112-S114 stubs — verbatim → git history + `archive/2026-07.md`)
+- **S134 (07-17) PE lũy-kế TẠM-TÍNH invest+spec [fable-real-single; ghi-đĩa-trong-lúc-làm 8 phần → return sạch]:** ⭐ LỆCH-TIỀN-ĐỀ: "lũy kế chỉ bắt DaDuyet" SAI một nửa — `PeBudgetAccumulator.cs:42-48` PrevSubmitted (row1) ĐÃ gồm ChoDuyet=10 từ trước; DaDuyet-only CHỈ ở PrevSelected (row2, :50-60) ⇒ feature thu hẹp = delta row2/row6 (+row1 cho TraLai/nháp tuỳ tập). Predicate runtime 1 BẢN duy nhất (helper) — Features `:962` + WorkflowService `:1018` đều GỌI, Mig67 SQL = bản dịch one-time; "3-4 bản phải khớp" thực tế = 2 sống. FE matrix: row5=1+3 per-cột `PeDetailTabs:1325`, row6=2+4 `:1318`; PeDetailTabs+PeWorkflowPanel 2-app SHA IDENTICAL, types KHÁC (re-confirm S117). Final-approver predicate tái dụng được: `shouldPickPrice` PeWorkflowPanel:510. Dev DB còn phase legacy 3/6 SỐNG → predicate tạm-tính viết loại-trừ `NOT IN (7,99)`. Gotcha mới: SSH prod password extraction 2-step fail ×2 (ConvertFrom-Json null-method) — prod ground UNVERIFIED không chặn spec. Spec 3-mục + 5 decision-points (nháp S89-privacy list-only) → `runs/2026-07-17-S134-pe-luyke-tam-tinh/sub-investigator-codebase-0.md`. Tag `[s134, pe-luyke-tamtinh, lech-tien-de-row1, no-mig]`
 - **S133 (07-17) PE budget FREEZE-at-DaDuyet invest [engine: fable-real-single `wf_348f6155-167`; #53 return-fail (no StructuredOutput) → sub-file 22.5KB cứu trọn, lead ghi entry on-behalf sau verify-đĩa 7/7]:** retro-change 2 đường: BE detail-bundle load pair LIVE `PurchaseEvaluationFeatures.cs:911-912` (DTO :964 — 1 construction site duy nhất) + FE fallback `?? bs.proInitialAmount`/`?? bs.initialAmount` (`PeDetailTabs.tsx:1511/:1526` — draft cite :1288 lệch dòng = class cite-drift S108, bản chất đúng). Finalize = ĐÚNG 4 assignment DaDuyet ALL `PurchaseEvaluationWorkflowService.cs:861/:899/:931/:1053`; `ApplyApprovedPriceOnFinalize` (def :955 static) chỉ 3-call V2 — V1 :1053 KHÔNG gọi ⇒ choke-point = helper MỚI 4-call, KHÔNG tái dụng hook giá-chốt. Vector per-slip: `SetPeCcmBudgetPeriod` NO-phase-guard (:228-242) · `AdjustBudget` admin-bypass (:419-422). Lũy kế row1/2 peer-derived (:917-943) = drift-vector thứ 2 → chụp luôn. Design: 11 cột `ApprovedBudget*` trên PE + display-gate `BudgetFrozen` + 2 terminal-guard + backfill=live-now (Changelogs CÓ log value NHƯNG attribution-gap: log gắn phiếu-đang-mở-lúc-sửa → không tái dựng số lúc duyệt). PeDetailTabs 2-app hash IDENTICAL `931025f2` · types 2-app KHÁC (S117). Tag `[s133, pe-budget-freeze, fable-real, ghi-dia-cuu-2/2, attribution-gap-changelog]`
- **S129 (07-16 đêm) adap 2 errata EOL 3-lane `wf_3fccd7d1`:** T0 sweep = SE **0 defect-site** (counter duy-nhất `agent-frontmatter-eol-check.ps1` byte-level pre-satisfy fix①③; pattern hỏng chỉ ở mention-site). T1: 19 `i/-text` đều declared-binary 0-suspect — **filter mẫu erratum thiếu docx/xlsx = 13 dương-giả trên SE** (tailor-per-class!); generator-drift thật duy-nhất `mfe-eval.ps1:204` Set-Content UTF8 = **BOM+CRLF** (blob mang BOM 3-byte); W0.6 = EOL-only A/B, trục-quote UNDETERMINED — đừng over-read. T2: nấc thật = **4 gated + 3 discipline** (đừng kê "7/7" phẳng — R1 MAJOR). 2 bẫy tự-mắc đáng nhớ: `git log -- <file> | tail -1` = **first-touch KHÔNG phải policy-landing** (.gitattributes 08c7036 06-15 vs 92de58f 07-15) · story "40 = +1 agent mới" BỊA — số scoped=39, delta=`skills/README.md` ngoài glob SKILL.md (meta-count class). #53 WRITE-lane 2/3 lane — journal cứu trọn, em-main scribe. Tag `[s129, adap-errata-eol, byte-counter-pre-satisfy, bom-in-blob, tail1-first-touch-trap]`
- **S114 (07-12) PE multi-winner PER-HANG-MUC (fable-clone):** Mig58/59 multi-winner = WHOLE-SUPPLIER (`PurchaseEvaluationSupplier.IsWinner`); `Quote.IsSelected` per hang-muc×NCC = latent-hook Mig12 nay LIVE (Mig65 backfill re-key winner-truth IsWinner→IsSelected = CARDINALITY-CHANGE #2). winnerQuoteTotal=SUM(Quote WHERE IsSelected) `PeFeatures.cs:1188`. #1 open: N-win 1 hang-muc split KHOI-LUONG hay full-price (schema thieu per-winner volume). Tag `[s114, pe-multiwinner-per-hangmuc, quote-isselected-live]`.
- **S113 (07-12) Supplier import v2 (5-lane ensemble):** selection consumers qua ListSuppliersQuery (`PeDetailTabs:2222`+`ContractCreatePage:321`+dashboard); chot IsPublic-bool + dedup-MST+Code + fail-closed default. Prod 37 NCC. 1 lane #53-garble→em-main recover. Tag `[s113, supplier-import-v2, ma-ncc=code]`.
- **S112 (07-12) Supplier Excel-import + PE sign-off (fable-clone):** Supplier 27/27 bijective (Mig62 SHIPPED prod); dedup Code CI-collation → normalize-case TRUOC store; PE bypass = go/gate `ApplyDrafterBypassOnSubmitAsync`; EDGE-5 drafter-forge-Reject REACHABLE. Tag `[s112, supplier-mapping, pe-bypass-a1, edge5-reachable]`.
+- **[→ archive/2026-07.md @S134] S129 (07-16) adap errata EOL 3-lane:** key giữ — 13 dương-giả do filter erratum thiếu docx/xlsx (tailor-per-class) · `git log|tail -1`=first-touch KHÔNG phải policy-landing · BOM-in-blob `mfe-eval.ps1:204` · meta-count class "40=+1 agent" bịa.
+- **[→ archive/2026-07.md @S134] S112/S113/S114 (07-12) Supplier-import-v2 + PE multi-winner per-hạng-mục:** key giữ — `Quote.IsSelected` per hạng-mục LIVE (Mig65, cardinality-change #2) · winnerQuoteTotal=SUM IsSelected `PeFeatures.cs:1188` · Mã NCC=Code · IsPublic fail-closed · PE bypass `ApplyDrafterBypassOnSubmitAsync`.

 ## 📋 Patterns proven (apply confidently)

--- a/.claude/agent-memory/reviewer/MEMORY.md
+++ b/.claude/agent-memory/reviewer/MEMORY.md
@ -1,5 +1,7 @@
 # Reviewer Agent — Persistent Memory

+- **S134b (07-17) pre-commit review lũy-kế tạm-tính [wf_8bb5abee-657 · ghi sub-reviewer-precommit.md — tên RIÊNG tránh đè sub-reviewer-0 của lượt fable-real] `[engine: opus-worker]`:** **PASS 0C/0M/4 nice-to-have** — 7/7 trục; diff +310/−25 (25 deletion = expand-chữ-ký tại chỗ, scope-drift 0%). Positive đáng nhớ: **bài #81 CỦA CHÍNH MÌNH (S133) được implementer áp đúng** — 5/5 finalize→DaDuyet qua helper (admin-override `:311` gate `targetPhase==DaDuyet` + comment cite #81), seeder `:1323` bypass CỐ Ý + set snapshot trực tiếp → 0 changelog D4 rác. Tự chạy lại build+npm×2+filter 8/8 (KHÔNG tin evidence cũ khi diff đổi). 4 nice-to-have = test-backlog: live-fill symmetric-C7 · admin-override D4-path · MaPhieu-null render · PendingSubmitted âm. Learned: (1) **"insertion-only + `grep '^-'`=0" đọc nhanh + chắc hơn diff-mắt** cho ràng-buộc bất-động; (2) D4-persist-path soi = trace TỪNG caller tới SaveChanges (5/5 có :301/:316), Add-không-save = row ma. Tag `[s134b, precommit-pass, 81-ap-dung, subfile-ten-rieng]`
+
 - **[→ archive/2026-07.md @S134] S133 (07-17) pre-commit review pe-budget-freeze — PASS_WITH_FIXES 0MUST/2SHOULD:** ⭐ literal-grep 4-site enum PASS hết nhưng grep `.Phase = <biến>` lòi 2 đường GIÁN TIẾP bypass helper (`WorkflowService:308` admin-override `= targetPhase` + `DbInitializer:1323` seeder). **Bài: RULE "mọi nhánh set X" grep CẢ assignment-qua-BIẾN — #81 lớp indirect-assignment.** Lead áp 2 SHOULD trong phiên → suite 520/0. Tag `[s133, indirect-assignment-grep, 81-class]`

 > **Persistent diary cross-session.** Auto-injected first ~200 lines at spawn (L1 HOT).
--- a/.claude/agent-memory/test-specialist/MEMORY.md
+++ b/.claude/agent-memory/test-specialist/MEMORY.md
@ -1,5 +1,8 @@
 # Test-Specialist Agent — Persistent Memory

+- **S134 (07-17) PE lũy-kế TẠM TÍNH TEST-C [wf_97d6a582-b7e · return sạch 0-garble] `[engine: opus-worker]`:** +8 `PePendingAccumulationTests.cs` C1-C8 (file MỚI, mirror seed PeBudgetFreezeTests :277-336): C1 ChoDuyet+winner→delta2+PriorPes · C2 TuChoi/DaDuyet loại sạch · C3 nháp list-only/TraLai delta1 · C4 window CreatedAt · C5 delta âm signed · **C6 complementary-no-double-count: gọi CẢ ComputeAsync + ComputePendingAsync cùng seed, assert EXACT-NUMBERS 2 phía (PrevSelected 90tr/1 bất động ⟂ PendingSelected 50tr/1)** · C7 frozen→0/null qua query handler · C8 D4 changelog positive+contrast (filter `ContextNote.Contains("[S134 pending-prior]")` #48). Full **528/0** (45D+483I, +8). Learned: (1) **direct-call accumulator = synthetic curPeId + CreatedAt muộn, KHÔNG cần row phiếu-đang-xét** (chỉ filter Id!=/CreatedAt<); (2) regression "bất động" mạnh nhất = C6-style exact-numbers 2 hàm cùng seed; (3) FluentAssertions `ContainInOrder(params T[])` + because-string overload-clash khi T=Guid → bọc `new[]{...}` trước. Surprise: D4 no-SaveChanges-in-helper → row chỉ persist sau TransitionAsync. Tag `[s134, pependingaccumulation, c6-exact-numbers-complementary, 8-test]`
+
+- **S133 INV-C T1-T9 [wf_75c6bfd3-754 · #53 return-fail lần 3 → disk + lead tự chạy suite; entry on-behalf]:** +9 test vào PeBudgetFreezeTests (`:426` T1 đủ-11-cột · `:480` T2 CCM-threshold · `:524` T3 all-steps · `:555` T4 V1-legacy assert KHÔNG-ApprovedPrice · `:638` T5 guard CCM+Admin Conflict + ChoDuyet-allow · `:687` T6 AdjustBudget DaDuyet+TuChoi · `:730` T7 live-vs-frozen flags/editability · `:783` T8 null-safe no-WorkItem + no-pair · `:821` T9 overwrite + SnapshotAt refresh). FULL suite lead-verified exit-0: **Domain 45 + Infra 474 = 519, 0 fail** (464+10 khớp). ⚠️ Lesson mới: INV-C **ghi đè** `sub-test-specialist-0.md` của INV-A — cùng role + cùng task-index qua 2 invocation chung run-folder = sub-file collision; INV-A content sống nhờ journal + diary. Multi-invocation cùng run → cần label/index phân biệt (báo lead khi gặp lại). Tag `[s133, t1-t9, subfile-collision-multi-invocation]`
 - **S133 (07-17) PE budget-freeze T0 REPRODUCE [wf_d9639faa-97a INV-A, return sạch]:** RED thật `Failed 1/1` — expected ProInitial 100tr, found 999tr @`PeBudgetFreezeTests.cs:184`. Flow chuẩn: đưa phiếu tới DaDuyet QUA `svc.TransitionAsync` (V2 1-Bước-1-Cấp `AllowApproverFinalize=true` + giá chốt), KHÔNG seed thẳng Phase (post-fix snapshot CHỈ set qua transition); mutate pair qua UpdatePeBudgetPro/Ccm (2 handler KHÔNG phase-guard = đúng cơ chế bug); 2 sanity-assert chống vacuous (Phase==DaDuyet + liveRec đổi thật) TRƯỚC assert chính. Bắt được lỗi spec: query THẬT = `GetPurchaseEvaluationQuery` (bundle `.BudgetSummary`), spec ghi nhầm GetPurchaseEvaluationDetailQuery → lead sửa spec. Sau INV-B: T0 GREEN trong 44/44 filter. Tag `[s133, pe-budget-freeze, t0-red-green, anti-vacuous-sanity-assert]`

 > **Persistent diary cross-session.** Auto-injected first ~200 lines at spawn (L1 HOT).
--- a/.claude/workflows/runs/2026-07-17-S134-pe-luyke-tam-tinh/close-synthesis.md
+++ b/.claude/workflows/runs/2026-07-17-S134-pe-luyke-tam-tinh/close-synthesis.md
@ -0,0 +1,23 @@
+# close-synthesis — 2026-07-17-S134-pe-luyke-tam-tinh (VERIFIED)
+
+> Lead-verified synthesis toàn run (dạng-1 flat — đóng orphan). Goal: PE lũy kế TẠM TÍNH vs CHÍNH XÁC (UAT anh Kiệt 15/07 chốt "Vậy em xử lý theo hướng này đi").
+
+## Kết quả chốt (evidence-first)
+
+| Stage | wf | Kết quả VERIFIED | Evidence |
+|---|---|---|---|
+| 1. invest fable-real | Agent lẻ model=fable | map predicate 3-bản + phase-taxonomy + spec propose (⚠️ #53 return-garble → **sub-file 8-phần cứu**, lần 3) | `sub-investigator-codebase-0.md` 20.7KB COMPLETE · lead verify 7/7 claim + 2 errata |
+| 2. spec 3-heading | — | D1-D5 chốt + tập predicate: PriorPes NOT IN {7,99} · delta2 NOT IN {1,7,99}+IsWinner · delta1 NOT IN {1,7,10,99} | `spec-pe-luyke-tam-tinh-17-07-2026.md` |
+| 3. review fable-real | Agent lẻ model=fable | **GO_WITH_FIXES 0C/2M/9n** (M1 D4-shape · M2 banner-gate · D4-seeder CLEAR) → lead áp trọn → spec v2 (⚠️ #53 → sub-file cứu) | `sub-reviewer-0.md` 67 dòng |
+| 4. hmw INV-2 [A‖B] | `wf_58302bd5-b9f` | **2/2 0-garble** — BE 4 file (+68/0 pure-add, ComputeAsync 0-diff, D4 insertion-only +30/0) · FE 6 file (`d28eaa16`+`bebc0ada` ×2 IDENTICAL, npm ×2) · lead re-verify scope/hash/grep + filter S133 11/11 | `sub-implementer-backend-0.md` + `sub-implementer-frontend-1.md` |
+| 5. hmw INV-3 [TEST-C] | `wf_97d6a582-b7e` | **1/1 0-garble** — +8 `PePendingAccumulationTests` C1-C8 (C6 complementary exact-numbers) · full 528/0 · NO prod bug | `sub-test-specialist-0.md` · lead re-run exit-0 Infra 483/0 |
+| 6. reviewer pre-commit | `wf_8bb5abee-657` | **PASS 0C/0M/4n** — 7/7 trục; tự chạy build+npm+filter; #81-indirect 5/5-qua-helper + seeder-safe; scope-drift 0% | `sub-reviewer-precommit.md` |
+| 7. squash+push | — | §5.0 reset-soft → `e53a693` (docs S133) + `6664a61` (feature) → PUSHED `d4fbced..6664a61`, **0 wal: lọt origin** | `git log` |
+| 8. cicd verify | `wf_f366f38d-498` | **GO 5/5 CLEAN-return** — Run **#399** 5m27s · gate **528 EXACT-từ-log** · Mig 67 frozen + 89 bảng · bundle rotate ×2 admin `BVCukFP5`/`CBzUlgOA` + eoffice `DoxyEOxh`/`BHsBUA8e` (LM-in-window, real-size, marker `pendingPriorPes`=2+`Tạm tính`=3+`phiếu trước…CHƯA duyệt`=2, control 900B text/html 0-hit) · smoke 4×200 + PE 401 · **lead spot-check độc-lập 4/4 hash + marker khớp** | `sub-cicd-monitor-0.md` |
+
+## Delta trí-nhớ đáng giữ (đã APPEND các nơi tương ứng)
+
+1. **hmw index sub-file GLOBAL theo taskList** (role khác nhau → hết collision S133; cùng-role re-invocation vẫn đặt tên riêng — đã áp `sub-reviewer-precommit.md`).
+2. **Insertion-only diff = proof mạnh nhất "bất động"** (implementer-backend) · **`sub?: ReactNode` slot-prop** chèn sub-dòng N site không nhân bản markup (implementer-frontend) · **ct=text/html discriminator** SPA-trap (cicd) · **spec ràng-buộc "không đổi X" phải tự-kiểm nguyên-liệu việc-mới** (reviewer M1).
+3. **#53 ×2 lượt fable-real (invest + review) — 0 mất việc** nhờ ghi-đĩa-trong-lúc-làm; 5/5 lane hmw + cicd return CLEAN (chuỗi dài sạch nhất từ trước tới nay).
+4. ⚑ D1 (nháp list-only) chờ anh gật — đổi = 1 predicate + C3 flip.
--- a/.claude/workflows/runs/2026-07-17-S134-pe-luyke-tam-tinh/run.md
+++ b/.claude/workflows/runs/2026-07-17-S134-pe-luyke-tam-tinh/run.md
@ -27,6 +27,8 @@
 - [x] 1. invest fable-real — #53 garble return, **sub-file 8-phần cứu trọn** (157 dòng COMPLETE); phát hiện lật-khung: row1 ĐÃ gồm ChoDuyet, gap thật = row2
 - [x] 2. lead verify 7/7 claim + 2 errata (path `Dtos/`, hash-value) + chốt D1-D5 → ghi spec 3-heading
 - [x] 3. fable-real reviewer — #53 garble return, sub-file cứu (lần 3) · **GO_WITH_FIXES 0C/2M/9n** (M1 changelog-shape đầy-đủ Action=Update né #49 · M2 banner gate phase===ChoDuyet; D4-seeder CLEAR — set trực tiếp không gọi helper) → lead áp TRỌN → spec v2
- [!] 4. hmw implement Opus 4.8 MAX — INV-2 [A‖B] đang chạy (args.run RUN-TRACE)
- [ ] 5. INV-3 [TEST-C] + test full + npm ×2 + reviewer pre-commit → commit/push + cicd verify
- [ ] 6. docs closeout → /pause (anh dặn)
+- [x] 4. hmw INV-2 `wf_58302bd5-b9f` [IMPL-A ‖ IMPL-B] — 2/2 done **0-garble**: A = 4 file BE (+68/0 accumulator pure-add · DTO 5-field append · live-fill/frozen-defaults · D4 insertion-only +30/0, 5 call-site 0-diff) · B = 6 file FE (types ×2 · PeDetailTabs `5534addb`→`d28eaa16` ×2 · PeWorkflowPanel `a83a58e1`→`bebc0ada` ×2 · npm ×2 PASS) · lead re-verify: scope 10-file + hash + grep M2-enum/N8/D4 + filter S133 11/11
+- [x] 5. INV-3 `wf_97d6a582-b7e` [TEST-C] 1/1 0-garble — +8 `PePendingAccumulationTests` (C6 complementary exact-numbers), full **528/0** (45D+483I) + lead re-run độc-lập exit-0 · reviewer pre-commit `wf_8bb5abee-657` **PASS 0C/0M/4n** (tự chạy build+npm+filter; sub-reviewer-precommit.md) · squash §5.0 → `e53a693`+**`6664a61`** PUSHED (0 wal: lọt origin)
+- [x] 6. cicd verify 6664a61 `wf_f366f38d-498` — **GO 5/5 CLEAN-return**: Run #399 5m27s · gate 528 exact-từ-log · Mig 67 frozen + 89 · bundle ×2 `BVCukFP5`/`CBzUlgOA` + `DoxyEOxh`/`BHsBUA8e` byte-verify 3-marker + control-0-hit · smoke 4×200 + PE 401 · lead spot-check độc-lập 4/4 khớp
+- [x] 7. docs closeout — STATUS (528/bundle/Recently-Done S134) + HANDOFF (10 carry + UAT script + ⚑D1) + session-log + CLAUDE.md row-PE + close-synthesis.md (orphan ĐÓNG) + harvest 6 vai (2 impl @INV-2 + inv-cb on-behalf/test-spec/cicd/reviewer-precommit) — hook-cap ×3 dưới-cap không-nén (carry)
+- [ ] 8. /pause (anh dặn "xong thì /pause")
--- a/CLAUDE.md
+++ b/CLAUDE.md
@ -59,7 +59,7 @@ Kiến trúc: **.NET 10 Clean Architecture + 2 React FE (admin + user) + SQL Ser
 | Module | Namespace | Migration | Trạng thái |
 |---|---|---|---|
 | Contract (HĐ) | `Domain/Contracts/` | 1-11 | Feature-complete (7 ContractType × 9 phase) |
-| PurchaseEvaluation (Duyệt NCC tiền-HĐ) | `Domain/PurchaseEvaluations/` | 12,13,15,49,50,52-61,65-67 | Feature-complete — +Hạng mục (Mig 49) +ngân sách per-gói-thầu role PRO/CCM (Mig 50) +Link hồ sơ NAS (Mig 52) +cờ gấp PRO/CCM + CCM duyệt-final theo ngưỡng (Mig 53) +giá đề xuất PRO/CCM + CCM-note (Mig 54/55) +PRO-split + ghi-chú-giá (Mig 56/57) +multi-winner liên-danh + level-finalize + NS-kỳ-CCM (Mig 58/59) +**`EndedByLevelFinalize` runtime-flag + backfill-fix (Mig 60/61, S97 — gotcha #78/#79)** +multi-NCC per-hạng-mục (Mig 65, S114 — gotcha #81) +duyệt-khoảng giá Min–Max (Mig 66, S117) +**freeze NS phiếu DaDuyet snapshot 11-cột + display-gate `budgetFrozen` (Mig 67, S133 — gotcha #81-EXT indirect-assignment)**. Export PDF pending |
+| PurchaseEvaluation (Duyệt NCC tiền-HĐ) | `Domain/PurchaseEvaluations/` | 12,13,15,49,50,52-61,65-67 | Feature-complete — +Hạng mục (Mig 49) +ngân sách per-gói-thầu role PRO/CCM (Mig 50) +Link hồ sơ NAS (Mig 52) +cờ gấp PRO/CCM + CCM duyệt-final theo ngưỡng (Mig 53) +giá đề xuất PRO/CCM + CCM-note (Mig 54/55) +PRO-split + ghi-chú-giá (Mig 56/57) +multi-winner liên-danh + level-finalize + NS-kỳ-CCM (Mig 58/59) +**`EndedByLevelFinalize` runtime-flag + backfill-fix (Mig 60/61, S97 — gotcha #78/#79)** +multi-NCC per-hạng-mục (Mig 65, S114 — gotcha #81) +duyệt-khoảng giá Min–Max (Mig 66, S117) +**freeze NS phiếu DaDuyet snapshot 11-cột + display-gate `budgetFrozen` (Mig 67, S133 — gotcha #81-EXT indirect-assignment)** +**lũy kế TẠM TÍNH vs CHÍNH XÁC (S134, 0-mig — `ComputePendingAsync` complementary [ChoDuyet-winner vào tạm-tính, nháp list-only] + sub-dòng amber matrix + banner màn duyệt + D4 audit-note changelog)**. Export PDF pending |
 | ~~Budget (Ngân sách dự án)~~ | — | 14 → **Mig 50 DROP** | ⚠️ **REMOVED S61** — module Budget cũ XÓA, thay bằng PE-budget-per-gói-thầu (`PeWorkItemBudgets`). FE pages/types/menu `Bg_*` gỡ hết |
 | Master (Supplier/Project/Department) | `Domain/Master/` | 2, 10, 48, 51, 62-64 | Feature-complete — +Project fields Year/Investor/Location/Package (Mig 48) +Department.ParentId org-tree (Mig 51) +Supplier expand 30-field/import/publish-state (Mig 62-64) |
 | Identity (User/Role/Permission/MenuItem) | `Domain/Identity/` | 1, 3, 11 | Feature-complete (30 demo user — 16 sample + 14 Solutions thật) |
--- a/docs/HANDOFF.md
+++ b/docs/HANDOFF.md
@ -2,7 +2,11 @@

 > **Tiering rule (S40):** giữ **2-3 session gần nhất**. Cũ hơn → `docs/changelog/sessions/`. Full brief history pre-S40 → `docs/_archive/HANDOFF-preS40-fullhistory.md`.

-**Last updated:** 2026-07-17 (S133 + closeout @S134 `/tiep` — **PE freeze ngân sách phiếu DaDuyet SHIP PROD `d4fbced` (16 file +7831/−63), CI Run #398 VERDICT GO 5/5, bundle rotate ×2 admin `3NCdyODe`/user `CKsoiNCI`.** UAT anh Kiệt FDC 07-16: cập nhật NS gói thầu làm phiếu ĐÃ DUYỆT đổi số theo → R1 DaDuyet bất biến [Mig 67 snapshot 11 cột chốt tại finalize + site-5 admin-override + backfill 18/18 prod] · R2 phiếu chưa duyệt đọc live "bản cập nhật gần nhất" [display-gate `budgetFrozen` + badge 🔒 FE 2-app SHA-mirror `5534addb`] · R3 no new table [89 giữ]. Reviewer PASS_WITH_FIXES 2 SHOULD = **#81-EXT indirect-assignment** (2 site gán Phase thẳng bypass choke-point → FIXED + test site-5). Test **509→520** (+11 `PeBudgetFreezeTests` T0 RED→GREEN + T1-T9 + site-5), FULL 520/0. ⚠️ #53 ×3 + lesson **sub-file overwrite khi 2 invocation cùng role+index chung run** (INV-A bị INV-C đè — đánh tên riêng per-invocation). S133 `/pause` giữa chờ cicd → S134 `/tiep` nối: verdict GO harvest-liền được **re-verify độc-lập 4/4 KHỚP** [mig prod top `20260717032812` + health 200 + bundle-hash ×2 + filter 11/11] → docs closeout + synthesis đóng orphan run-folder.)
+**Last updated:** 2026-07-17 (S134 — **PE lũy kế TẠM TÍNH vs CHÍNH XÁC SHIP PROD `6664a61` (11 file: 4 BE + 6 FE + 1 test, 0 MIG), CI Run #399 GO 5/5 gate 528-exact, bundle rotate ×2 admin `BVCukFP5`/user `DoxyEOxh`.** UAT anh Kiệt chat 15/07 chốt "Vậy em xử lý theo hướng này đi": vì cung đặc thù, chia 2 số — TẠM TÍNH (tất cả phiếu cùng gói, phần chưa-duyệt sub-dòng amber + danh sách mã+badge) ⟂ CHÍNH XÁC (chỉ DaDuyet, GIỮ NGUYÊN 100% — `ComputeAsync` 0-diff by-construction, C6 exact-numbers guard); banner màn duyệt + nhắc lại trong dialog duyệt (gate `phase===ChoDuyet`, KHÔNG hard-block); D4 audit-note changelog `[S134 pending-prior]` lúc finalize. Pipeline anh chỉ định chạy TRỌN: `/fable-real invest` [#53-garble → sub-file 8-phần cứu, lần 3] → lead verify 7/7 + spec 3-heading → `/fable-real review` [GO_WITH_FIXES 0C/2M/9n → áp trọn spec v2] → **hmw Opus 4.8 MAX 3 lane 0-garble** [INV-2 BE‖FE + INV-3 test +8 → 528/0] → reviewer pre-commit **PASS 0C/0M** → **squash §5.0 trước push (9 wal: tiêu, 0 lọt origin)** → cicd GO 5/5 CLEAN-return + lead spot-check 4/4 khớp. ⚑ **D1 flag anh:** phiếu NHÁP chỉ vào danh sách cảnh báo (mã+badge), KHÔNG cộng tiền tạm-tính — muốn cộng cả nháp ("tất cả lun" nghĩa đen) thì báo em đổi 1 predicate.)
+**Carry MỞ re-stamp (10):** (1) carry-age design-question `[carry:carry-age-vacuous]` (2) hook-cap — S133 ×2 (inv-cb 19.7K · reviewer 20.4K) + **S134 ×3 (inv-cb 20.5K · test-spec 20.4K · cicd 21.3K)** — TẤT CẢ dưới cap anh 25.6K/30.7K, em không tự nén (S122); cụm D6 phình dần, anh chốt hướng `[carry:hook-vs-budget-cap]` (3) UAT S117 incognito `[carry:uat-s117]` (4) PE phân-quyền số-phiếu+user `[carry:pe-phanquyen]` (5) BVAAU `[carry:bvaau]` (6) quyết-định Bình/Lê `[carry:binh-le-decision]` (7) Trà/Bùi re-login `[carry:tra-bui-relogin]` (8) account trùng `[carry:account-trung]` (9) UAT freeze-NS S133 `[carry:uat-s133-budget-freeze]` (10) 🆕 **UAT lũy-kế tạm-tính S134** `[carry:uat-s134-luyke]`.
+**🔴 NEXT anh:** (1) 🆕 **UAT script lũy-kế tạm-tính (3 bước, incognito #77):** (a) đặt 2 phiếu cùng Dự án × Hạng mục — phiếu A **Đã gửi duyệt** (đã chọn NCC + giá), mở phiếu B → bảng "Tổng hợp ngân sách trình ký" row 2 + row 6 hiện sub-dòng **amber "Tạm tính: … (+X từ 1 phiếu chưa duyệt)"** + dưới bảng danh sách "A/0xx (Đã gửi duyệt)"; **số chính xác giữ nguyên**; (b) mở phiếu B ở màn duyệt → **banner amber "⚠ 1 phiếu trước cùng gói thầu CHƯA duyệt…"** + bấm Duyệt → dialog NHẮC LẠI ngay trên ô chọn giá — nút Xác nhận **KHÔNG bị khóa**; (c) duyệt phiếu A xong → mở lại B: sub-dòng tạm-tính biến mất, row 2 chính-xác TĂNG đúng phần A; phiếu ĐÃ DUYỆT bất kỳ: bảng giữ nguyên (freeze S133) `[carry:uat-s134-luyke]`; (2) UAT script freeze-NS S133 (3 bước — segment Prev) `[carry:uat-s133-budget-freeze]`; (3) ⚑ D1 nháp-không-cộng-tiền — gật giữ hay đổi; (4) hook-cap `[carry:hook-vs-budget-cap]`; (5) 2 đề-xuất S131 CHỜ GẬT + CHỜ HUB reply-batch (segment cũ).
+**NEXT em (phiên kế):** watch `broadcasts/inbox`; spawn-probe reviewer Measured-label gate (post-restart, H1 #3); monthly combined audit 2026-08-01; nếu anh đổi D1 → sửa predicate `ComputePendingAsync` (delta-tiền thêm phase 1) + test C3 flip + deploy.
+**Prev S133 (+closeout @S134 `/tiep`):** 2026-07-17 (S133 — **PE freeze ngân sách phiếu DaDuyet SHIP PROD `d4fbced` (16 file +7831/−63), CI Run #398 VERDICT GO 5/5, bundle rotate ×2 admin `3NCdyODe`/user `CKsoiNCI`.** UAT anh Kiệt FDC 07-16: cập nhật NS gói thầu làm phiếu ĐÃ DUYỆT đổi số theo → R1 DaDuyet bất biến [Mig 67 snapshot 11 cột chốt tại finalize + site-5 admin-override + backfill 18/18 prod] · R2 phiếu chưa duyệt đọc live "bản cập nhật gần nhất" [display-gate `budgetFrozen` + badge 🔒 FE 2-app SHA-mirror `5534addb`] · R3 no new table [89 giữ]. Reviewer PASS_WITH_FIXES 2 SHOULD = **#81-EXT indirect-assignment** (2 site gán Phase thẳng bypass choke-point → FIXED + test site-5). Test **509→520** (+11 `PeBudgetFreezeTests` T0 RED→GREEN + T1-T9 + site-5), FULL 520/0. ⚠️ #53 ×3 + lesson **sub-file overwrite khi 2 invocation cùng role+index chung run** (INV-A bị INV-C đè — đánh tên riêng per-invocation). S133 `/pause` giữa chờ cicd → S134 `/tiep` nối: verdict GO harvest-liền được **re-verify độc-lập 4/4 KHỚP** [mig prod top `20260717032812` + health 200 + bundle-hash ×2 + filter 11/11] → docs closeout + synthesis đóng orphan run-folder.)
 **Carry MỞ re-stamp (9):** (1) carry-age design-question `[carry:carry-age-vacuous]` (2) **hook-cap 17.1K — S133 bắn ×2 MỚI: inv-cb 19.7KB + reviewer 20.4KB, đều DƯỚI cap anh 25.6K/30.7K ⇒ em KHÔNG tự nén (S122), chờ anh chốt hướng** `[carry:hook-vs-budget-cap]` (3) UAT S117 incognito `[carry:uat-s117]` (4) PE phân-quyền số-phiếu+user `[carry:pe-phanquyen]` (5) BVAAU `[carry:bvaau]` (6) quyết-định Bình/Lê `[carry:binh-le-decision]` (7) Trà/Bùi re-login `[carry:tra-bui-relogin]` (8) account trùng `[carry:account-trung]` (9) 🆕 **UAT freeze-NS S133** `[carry:uat-s133-budget-freeze]`.
 **🔴 NEXT anh:** (1) 🆕 **UAT script freeze-NS cho anh Kiệt (3 bước, incognito #77):** (a) mở phiếu **ĐÃ DUYỆT** → 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); (b) 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"); (c) 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) `[carry:uat-s133-budget-freeze]`; (2) 🟡 **hook-cap bắn ×2 phiên S133** (inv-cb 19.7K · reviewer 20.4K — dưới cap, em không tự nén) — anh chốt hướng `[carry:hook-vs-budget-cap]`; (3) 2 đề-xuất S131 CHỜ GẬT (wire tick H24 vào `/tiep` + light-run owner-triggered); (4) CHỜ HUB reply-batch (i)/seal-verify/do-token/closure-cadence — khi land em `/check-email` verify hash + áp canonical.
 **NEXT em (phiên kế):** watch `broadcasts/inbox`; spawn-probe reviewer Measured-label gate `reviewer.md:46` runtime-active (post-restart, H1 #3); monthly combined audit 2026-08-01; session-end khi anh gõ (squash `wal:` local trước push — 4 commit local đang chờ).
--- a/docs/STATUS.md
+++ b/docs/STATUS.md
--- a/docs/changelog/sessions/2026-07-17-S134-pe-luyke-tam-tinh.md
+++ b/docs/changelog/sessions/2026-07-17-S134-pe-luyke-tam-tinh.md
@ -0,0 +1,34 @@
+# S134 — PE lũy kế TẠM TÍNH vs CHÍNH XÁC (2026-07-17)
+
+**Commit:** `6664a61` (11 file: 4 BE + 6 FE + 1 test) + `e53a693` (docs S133 closeout, cùng push) — **squash §5.0 trước push, 9 `wal:` local tiêu, 0 lọt origin** · **CI:** Run **#399** VERDICT **GO 5/5** (5m27s, return CLEAN) · **Test:** 520→**528** (45D+483I) · **Mig:** 0 (Mig 67 giữ top, 89 bảng) · **Bundle:** admin `BVCukFP5`/`CBzUlgOA` · user `DoxyEOxh`/`BHsBUA8e` · **Lead:** Fable 5 · HMW-ON · run-folder `.claude/workflows/runs/2026-07-17-S134-pe-luyke-tam-tinh/`
+
+## Đề bài (UAT anh Kiệt FDC — chat 15/07, chốt 16:10 "Vậy em xử ký theo hướng này đi")
+
+Lũy kế PE chỉ bắt phiếu DaDuyet (Kenny S117) → phiếu chưa duyệt không góp vào phiếu sau. Vì **"cung đặc thù"** (phiếu sau trình khi phiếu trước chưa duyệt), anh Kiệt yêu cầu "vẫn cho bắt lên và tính toán, note nó màu gì đó… để đến bước cuối của CEO hay người duyệt thay cần phải duyệt phiếu trước phiếu này". Hướng chốt (em đề xuất, anh Kiệt duyệt ♥): **lũy kế TẠM TÍNH = tất cả** ⟂ **lũy kế CHÍNH XÁC = chỉ phiếu đã duyệt** (giữ nguyên).
+
+## Ship
+
+- **Ground-truth lật khung (fable-real invest):** row 1 ĐÃ gồm ChoDuyet sẵn — gap thật = row 2 (DaDuyet+IsWinner) + row 5/6 dẫn xuất ⇒ **0 migration, 0 endpoint mới, 0 đụng số chính xác**.
+- **BE:** `PeBudgetAccumulator.ComputePendingAsync` MỚI (pure-add +68/0; `ComputeAsync` 0-diff) — PriorPes `NOT IN {7,99}` · delta-selected `NOT IN {1,7,99}`+IsWinner (GỒM ChoDuyet = gap chính) · delta-submitted `NOT IN {1,7,10,99}` (no-double-count, C6 chứng exact-numbers); `PeBudgetSummaryDto` +5 field append-cuối (frozen→defaults R1-S133 / live→fill); **D4 audit-note** trong `ApplyBudgetSnapshotOnFinalizeAsync` (1 chỗ, `Action=Update` né #49, signature giữ → 5 call-site 0-diff).
+- **FE 2-app:** types ×2 · PeDetailTabs →`d28eaa16` ×2 (**`sub?: ReactNode` slot-prop** → sub-dòng amber "Tạm tính" row 1/2/5/6 N8-count-đúng-delta + danh sách mã+badge `PurchaseEvaluationPhaseLabel`, N9 no-link tránh 403-S89 + gate `!budgetFrozen`) · PeWorkflowPanel →`bebc0ada` ×2 (banner gate M2 `!readOnly && phase===ChoDuyet` + reminder trong dialog duyệt; Xác nhận 0-diff).
+- **Decisions D1-D5** (lead chốt theo invest, ⚑ D1 flag anh): nháp list-only KHÔNG cộng tiền · delta row1 làm (TraLai+legacy) · plain-info không hard-block · changelog-in-helper · TuChoi exclude.
+
+## Pipeline (anh chỉ định: "/fable-real invest và review… Sau đó hmw cho Opus 4.8 MAX xử lý")
+
+1. `/fable-real investigator-codebase` — ⚠️ #53 garble return, **sub-file 8-phần 20.7KB cứu trọn** (lần 3 liên tiếp pattern ghi-đĩa-trong-lúc-làm thắng); lead verify **7/7 claim** + 2 errata (path `Dtos/`, hash-value) → spec 3-heading.
+2. `/fable-real reviewer` — ⚠️ #53 garble return, sub-file cứu · **GO_WITH_FIXES 0C/2M/9n**: M1 D4-shape đầy đủ (thiếu → hmw tự thêm param = vỡ chính A6) + M2 banner-gate (edge-note "tự ẩn" SAI vs predicate) + N1-N9; **D4-seeder CLEAR** (set trực tiếp, không gọi helper — 0 changelog rác #75-class) → lead áp TRỌN → spec v2.
+3. **hmw Opus 4.8 MAX** — INV-2 `wf_58302bd5-b9f` [IMPL-A BE ‖ IMPL-B FE] + INV-3 `wf_97d6a582-b7e` [TEST-C] = **3/3 lane 0-garble, return structured đầy đủ** (lần đầu chuỗi dài sạch trọn); lead re-verify độc lập từng chặng (scope/hash/grep/filter-S133-11-11).
+4. Reviewer pre-commit `wf_8bb5abee-657` — **PASS 0C/0M/4-nice-to-have** (tự chạy build+npm ×2+filter 8/8; xác nhận #81-indirect 5/5-qua-helper); lead full-suite độc lập exit-0.
+5. Squash §5.0 → push `d4fbced..6664a61` → cicd `wf_f366f38d-498` **GO 5/5 CLEAN**: gate **528 exact-từ-log** · Mig 67 frozen + 89 · bundle ×2 byte-verify 3 marker PRESENT + control 0-hit · smoke 4×200 + PE 401 → lead spot-check độc lập 4/4 hash + marker khớp.
+
+## Lessons
+
+- **hmw index sub-file GLOBAL theo taskList** (backend=0, frontend=1) → collision S133 tự hết khi role khác nhau; cùng-role re-invocation vẫn phải đặt tên riêng (đã áp `sub-reviewer-precommit.md`).
+- **Insertion-only diff** (`grep '^-'` = 0 real-removal) = bằng chứng mạnh nhất cho "thân method/call-site bất động".
+- **ct=text/html** là SPA-trap discriminator sạch hơn size-heuristic 919B (cicd).
+- Spec đặt ràng buộc "không đổi X" phải tự kiểm việc-mới lấy đủ nguyên liệu trong X-nguyên-trạng (M1 — reviewer).
+
+## Carry
+
+- 🆕 `[carry:uat-s134-luyke]` — UAT script 3 bước trong HANDOFF (sub-dòng amber / banner+dialog / duyệt-A-xong-số-chuyển-chính-xác).
+- ⚑ D1 nháp-không-cộng-tiền — chờ anh gật giữ hay đổi.