@educa-corp/fw 0.6.2 → 0.8.0

package/CHANGELOG.md

@@ -3,6 +3,24 @@
 > `fw install` in các mục của những version mới hơn bản đang cài trong dự án.
 > Mỗi lần sửa lệnh, khuôn, bộ câu hỏi hay công cụ đều phải tăng version và thêm một mục ở đây. Test sẽ báo lỗi nếu version chưa có mục.
 
+## 0.8.0 — 2026-10-01
+
+- PRD có mục mới **User flow**: các hành trình xuyên suốt nhiều UC, mỗi hành trình gồm một dòng trong bảng và một sơ đồ mermaid, có nhánh lỗi. **Mỗi UC phải có mặt trong ít nhất một hành trình**, `spec_edit flowcheck` kiểm và PRD thiếu User flow thì không duyệt được. PRD đã có: chạy `/prd <EPIC-ID> change thêm User flow`.
+- `/prd refine` rẻ hơn: các agent ghi kết quả ra file trong `.fw/tmp/`, không đổ báo cáo về phiên chính. Agent kiểm chứng **kiểm từng finding gốc trước, gộp sau**, rồi tự ghi vào `prd-refine.md`. Lăng kính Phạm vi chỉ đọc đúng phần cần của epic và `product.md`. Mọi lăng kính vẫn đọc **toàn bộ PRD**.
+- Finding được **sắp theo mức độ, rồi theo lăng kính** (QA → DEV → SA → Phạm vi). Mã F đánh theo thứ tự đó.
+- **Quyết theo nhóm** cho major và minor (*"nhận tất cả minor"*, *"nhận hết UC-003 trừ F12"*). Critical vẫn phải quyết từng mã.
+- Bảng Tóm tắt của refine ghi số nhận · sửa · bác · hoãn, để đo lớp kiểm chứng.
+- Lăng kính SA soi thêm User flow: ngõ cụt, thiếu nhánh lỗi, sơ đồ không khớp UC.
+- `fw install` thêm `.fw/tmp/` vào `.gitignore`.
+
+## 0.7.0 — 2026-10-01
+
+- Chế độ mới **`/prd <EPIC-ID> refine`**: rà nội dung PRD qua 4 lăng kính (QA · DEV · SA · Phạm vi). Mỗi lăng kính là một sub-agent **Opus**, sau đó một agent **kiểm chứng** loại bỏ finding không đứng vững. Bạn quyết từng finding: nhận, sửa, bác hoặc hoãn.
+- Chống vòng lặp rà không dứt: **tối đa 2 lượt** cho mỗi version. Lượt 2 chỉ soi phần vừa sửa, chỉ báo critical hoặc lỗi do bản sửa. File `review/prd-refine.md` là **sổ quyết định**, điểm đã quyết không bị nêu lại.
+- **Bắt buộc refine trước khi duyệt PRD**: `status=approved` bị chặn khi `refined` khác `version`, hoặc còn critical/major chưa quyết. Sau `/prd change` thì refine lại, và chỉ rà phần vừa đổi.
+- `spec_edit upgrade` bổ sung các trường frontmatter còn thiếu so với khuôn mới (ví dụ `refined`).
+- Lệnh rà hình thức (chính tả, trình bày) sẽ là `/review <file>`, bỏ tên `/review-context`.
+
 ## 0.6.2 — 2026-09-30
 
 - **Hướng dẫn sử dụng** được cài vào dự án ở `.fw/guide/`, đúng với version đang dùng và đọc được khi không có mạng. Bắt đầu từ `.fw/guide/README.md`. Có thể hỏi Claude, ví dụ *"Đọc .fw/guide và cho biết cách đổi PRD"*.

package/bin/fw.js

@@ -32,7 +32,8 @@ const SOURCES = [
 const RUNTIME_FILES = ['package.json', 'CHANGELOG.md', 'bin/config.template.yaml', ...SOURCES.map((s) => s.from)];
 const CONFIG = '.fw/config.yaml';
 const SETTINGS = '.claude/settings.json';
-const GITIGNORE_LINE = '.fw/backup/';
+// Không commit: bản sao file đã sửa (khi nâng cấp) và file tạm của các agent.
+const GITIGNORE_LINES = ['.fw/backup/', '.fw/tmp/'];
 
 // Lệnh AI dùng để sửa file spec (xem tools/spec_edit.py). Cho phép sẵn để PO không bị hỏi quyền mỗi lần.
 const SPEC_EDIT = '.fw/core/tools/spec_edit.py';
@@ -100,16 +101,17 @@ function allowSpecEdit(target) {
   return { added };
 }
 
-// .fw/backup/ chứa bản sao file người dùng đã sửa, giữ lại khi nâng cấp — không nên vào git.
-function ignoreBackup(target) {
+// Thêm các dòng còn thiếu vào .gitignore, giữ nguyên nội dung cũ. Trả về các dòng đã thêm.
+function ignoreFwFiles(target) {
   const p = path.join(target, '.gitignore');
   const text = fs.existsSync(p) ? fs.readFileSync(p, 'utf8') : '';
   const lines = text.split(/\r?\n/).map((l) => l.trim());
-  if (lines.includes(GITIGNORE_LINE) || lines.includes('/' + GITIGNORE_LINE)) return false;
+  const add = GITIGNORE_LINES.filter((g) => !lines.includes(g) && !lines.includes('/' + g));
+  if (!add.length) return [];
   const sep = text && !text.endsWith('\n') ? '\n' : '';
-  const block = '\n# @educa-corp/fw — bản sao file đã sửa, tạo khi nâng cấp\n' + GITIGNORE_LINE + '\n';
+  const block = '\n# @educa-corp/fw — bản sao khi nâng cấp, file tạm của agent\n' + add.join('\n') + '\n';
   fs.writeFileSync(p, text + sep + block);
-  return true;
+  return add;
 }
 
 function install(target) {
@@ -177,7 +179,7 @@ function install(target) {
     changes: changesSince(old.version),
     python: findPython(),
     permissions: allowSpecEdit(target),
-    gitignore: ignoreBackup(target),
+    gitignore: ignoreFwFiles(target),
   };
 }
 
@@ -208,7 +210,7 @@ function printReport(r) {
   }
   console.log(`  thêm ${r.added.length} · cập nhật ${r.updated.length} · gỡ ${r.removed.length}`);
   if (r.configCreated) console.log(`  tạo ${CONFIG} — hãy mở file này và khai specs, tracker, units`);
-  if (r.gitignore) console.log(`  thêm ${GITIGNORE_LINE} vào .gitignore`);
+  if (r.gitignore.length) console.log(`  thêm ${r.gitignore.join(', ')} vào .gitignore`);
   if (r.permissions.error) console.log(`  ⚠ ${r.permissions.error}`);
   else if (r.permissions.added.length) console.log(`  thêm ${r.permissions.added.length} luật cho phép vào ${SETTINGS} (AI sửa spec không phải hỏi quyền)`);
   if (r.python) {

package/commands/prd.md

@@ -1,6 +1,6 @@
 ---
-description: Viết PRD chính thức từ epic đã làm rõ (EPIC-ID), hoặc đổi PRD đã có (EPIC-ID change)
-argument-hint: "<EPIC-ID> [change <mô tả thay đổi>] [--force]"
+description: Viết PRD từ epic đã làm rõ (EPIC-ID), rà nội dung PRD (EPIC-ID refine), hoặc đổi PRD (EPIC-ID change)
+argument-hint: "<EPIC-ID> [refine | change <mô tả thay đổi>] [--force]"
 ---
 
 # /prd
@@ -29,9 +29,10 @@ Nếu **trước lệnh này** phiên đã có hội thoại khác, dòng đầu
 |---|---|
 | Không có `change`, chưa có `D`, epic `ready` | Chế độ **tạo**: đọc `.fw/core/ref/prd/new.md` |
 | Không có `change`, chưa có `D`, epic **chưa** `ready` | Dừng: *"EP-xx chưa làm rõ xong. Chạy `/product EP-xx` trước."* Có `--force` thì làm tiếp, nhưng in cảnh báo, ghi vào mục 4 của PRD dòng *"Tạo khi epic chưa ready (--force)"*, và không cho `approved` khi epic còn câu hỏi mở |
-| Không có `change`, **đã có** `D` | Dừng: *"PRD đã có. Muốn đổi thì chạy `/prd EP-xx change <mô tả>`."* Không ghi đè |
+| Không có `change` / `refine`, **đã có** `D` | Dừng: *"PRD đã có. Rà nội dung: `/prd EP-xx refine` · Đổi: `/prd EP-xx change <mô tả>`."* Không ghi đè |
+| Có `refine`, đã có `D` | Chế độ **rà nội dung**: đọc `.fw/core/ref/prd/refine.md` |
 | Có `change`, đã có `D` | Chế độ **đổi**: đọc `.fw/core/ref/prd/change.md` |
-| Có `change`, chưa có `D` | Dừng: *"Chưa có PRD. Chạy `/prd EP-xx` trước."* |
+| Có `change` hoặc `refine`, chưa có `D` | Dừng: *"Chưa có PRD. Chạy `/prd EP-xx` trước."* |
 
 ## Bước 3 — Luật chung
 
@@ -43,10 +44,10 @@ Nếu **trước lệnh này** phiên đã có hội thoại khác, dòng đầu
 6. **Sửa file: CHỈ dùng `spec_edit.py`** (gọi là `SE`). Không dùng Edit/Write, không tự viết script:
    - Tạo: `SE create <file> <<'EOF'` … `EOF` · Sửa: `SE edit <file> <<'EOF'` `[{"old": "…", "new": "…"}]` `EOF` (gom mọi chỗ sửa của một lượt vào một lần gọi)
    - Frontmatter: `SE set <file> version=1.1 status=draft updated=YYYY-MM-DD`
-   - `SE pending <file>` · `SE confirm <file> UC-003-BR02 UC-003-AC01` · `SE next-uc {specs}` · `SE coverage <epic> <prd>`
+   - `SE pending <file>` · `SE confirm <file> UC-003-BR02 UC-003-AC01` · `SE next-uc {specs}` · `SE coverage <epic> <prd>` · `SE flowcheck <prd>`
    - Đọc **một mục**: `SE section <file> <mã>`. Mã mục là `<!-- sec:… -->` ở tiêu đề (vd `constraints`, `usecases`, `open`). **Luôn tìm mục theo mã**, không theo số hay tên tiêu đề, không tự cắt file bằng `sed`/`grep`. Khi sửa, giữ nguyên `<!-- sec:… -->`.
    - `SE` báo lỗi thì **không có gì được ghi**. Đọc lại file, sửa lệnh rồi chạy lại. Không bỏ qua lỗi. Lỗi mà **không in dòng nào** là Python chưa kịp chạy: chạy lại đúng lệnh đó một lần.
-7. **Duyệt.** `status=approved` chỉ đặt được khi không còn `🤖`, `open_questions=0`, và có người duyệt. Hỏi PO *"Ai duyệt PRD này?"* (mặc định là PO của epic), rồi đặt trong **một** lệnh: `SE set D status=approved approved_by=<tên> approved_at=YYYY-MM-DD`. `SE` tự chặn nếu chưa đủ. Không tìm cách lách.
+7. **Duyệt.** `status=approved` chỉ đặt được khi không còn `🤖`, `open_questions=0`, **đã refine đúng version này** (`refined` = `version`, không còn critical/major chưa quyết), và có người duyệt. Chưa refine thì báo *"Chạy `/prd EP-xx refine` trước khi duyệt."* Hỏi PO *"Ai duyệt PRD này?"* (mặc định là PO của epic), rồi đặt trong **một** lệnh: `SE set D status=approved approved_by=<tên> approved_at=YYYY-MM-DD`. `SE` tự chặn nếu chưa đủ. Không tìm cách lách.
 
 ## Bước 4 — Kết thúc
 
@@ -56,7 +57,7 @@ In ra đúng khối sau:
 ---
 Trạng thái : {✅ Đã duyệt v{version} | 🟡 Nháp v{version} — còn {n} mục 🤖, {k} câu hỏi mở}
 Đã ghi     : {D} {· epic → handed-off · product.md nếu có}
-Kiểm       : coverage {đủ | thiếu …} · {số UC} UC · {số BR} BR · {số AC} AC
+Kiểm       : coverage {đủ | thiếu …} · user flow {đủ | thiếu …} · {số UC} UC · {số BR} BR · {số AC} AC
 Luồng      : Product → [PRD ◀ bạn ở đây] → BDD → TDD · Design-spec → Code → Test → QC
-Bước tiếp  : {/bdd UC-xxx | trả lời / xác nhận các mục trên | `/clear` rồi `/prd {id}` để tiếp}
+Bước tiếp  : {`/clear` rồi `/prd {id} refine` | /bdd UC-xxx | trả lời / xác nhận các mục trên}
 ```

package/docs/guide/01-bat-dau.md

@@ -25,10 +25,10 @@ npx @educa-corp/fw install
 Kết quả mẫu:
 
 ```
-fw 0.6.2 — đã cài
-  thêm 20 · cập nhật 0 · gỡ 0
+fw 0.8.0 — đã cài
+  thêm 24 · cập nhật 0 · gỡ 0
   tạo .fw/config.yaml — hãy mở file này và khai specs, tracker, units
-  thêm .fw/backup/ vào .gitignore
+  thêm .fw/backup/, .fw/tmp/ vào .gitignore
   thêm 3 luật cho phép vào .claude/settings.json (AI sửa spec không phải hỏi quyền)
   Python: python
 ```
@@ -43,6 +43,7 @@ Lệnh tạo ra:
 | `.fw/config.yaml` | **Cấu hình của dự án. Bạn được sửa** | ✅ Có |
 | `.fw/guide/` | Bộ hướng dẫn này, đúng với version đang cài | ✅ Có |
 | `.fw/backup/` | Bản sao file bạn đã tự sửa, được giữ lại khi nâng cấp | ❌ Không. `fw install` đã tự thêm vào `.gitignore` |
+| `.fw/tmp/` | File tạm của các agent (ví dụ khi refine) | ❌ Không. Đã tự thêm vào `.gitignore` |
 
 Commit xong, đồng đội clone về là **có ngay**, không cần tự cài.
 

package/docs/guide/02-khai-niem.md

@@ -25,6 +25,7 @@ Chỉ những khái niệm bạn **gặp khi dùng** các lệnh hiện có.
 | **Business Logic** | Cách luật được thực hiện: rẽ nhánh, công thức, thông báo khi lỗi | Email trống hoặc đã có tài khoản → từ chối, báo lý do |
 | **AC** (Acceptance Criteria, điều kiện nghiệm thu) | Điều kiện kiểm được là đạt hay không đạt, dạng *"Khi … thì …"* | UC-002-AC01: Khi tài khoản mới quá 7 ngày chưa đăng nhập thì bị chuyển inactive, đăng nhập bị từ chối |
 | **Ràng buộc** | Điều kiện áp cho **mọi epic**, mã `CON-01`… | CON-01: Audit log không được xoá hay sửa |
+| **User flow** (hành trình) | Đường đi của một actor qua nhiều UC, có rẽ nhánh và nhánh lỗi, vẽ bằng sơ đồ trong PRD. Mã `J1`, `J2`… | J1 Nhân sự mới vào hệ thống: UC-001 → UC-003 → UC-005 |
 | **Checkpoint** | Một điểm dừng để bạn chốt. `/product` có 2 (sản phẩm) hoặc 3 (epic) checkpoint | — |
 
 ## Mã ổn định

package/docs/guide/README.md

@@ -1,7 +1,7 @@
 # Hướng dẫn sử dụng `@educa-corp/fw`
 
 > Framework làm việc với Claude Code: đưa một tính năng đi từ **ý tưởng → làm rõ yêu cầu → PRD → …**, AI hỏi và viết, con người xác nhận ở mỗi bước.
-> Hướng dẫn này viết cho **bản 0.6.2**. Chỉ mô tả những lệnh **đã có**. Lệnh mới có thì hướng dẫn mới được bổ sung.
+> Hướng dẫn này viết cho **bản 0.8.0**. Chỉ mô tả những lệnh **đã có**. Lệnh mới có thì hướng dẫn mới được bổ sung.
 > Trong dự án đã cài framework, bản hướng dẫn đúng với version đang dùng nằm ở **`.fw/guide/`**. Có thể hỏi Claude: *"Đọc .fw/guide và cho biết cách đổi PRD"*.
 
 ---
@@ -21,10 +21,10 @@
 ## Pipeline hiện có
 
 ```
-cài framework ──► /product ──► /product EP-xx ──► /prd EP-xx ┄┄► (bước tiếp: /bdd — sắp có)
-                  tầng          làm rõ một         viết PRD
-                  sản phẩm      tính năng              ▲ │
-                                                       └─┘ /prd EP-xx change  (đổi PRD)
+cài framework ──► /product ──► /product EP-xx ──► /prd EP-xx ──► /prd EP-xx refine ──► duyệt ┄┄► (/bdd — sắp có)
+                  tầng          làm rõ một         viết PRD       rà nội dung
+                  sản phẩm      tính năng              ▲                  │  (bắt buộc)
+                                                       └── /prd EP-xx change ◄──┘  đổi PRD thì refine lại
 ```
 
 Mỗi lệnh kết thúc bằng một khối giống nhau. Bạn chỉ cần đọc dòng **Bước tiếp**:
@@ -48,6 +48,7 @@ Bước tiếp  : `/clear` rồi `/product EP-01`
 | `/product` | PO / BA | Làm rõ **tầng sản phẩm**: tầm nhìn, nhóm người dùng, danh sách epic, ràng buộc | [/product](lenh/product.md) |
 | `/product <EPIC-ID>` | PO / BA | **Làm rõ yêu cầu** một tính năng trước khi viết PRD | [/product](lenh/product.md) |
 | `/prd <EPIC-ID>` | PO / BA | Viết **PRD chính thức** từ epic đã làm rõ | [/prd](lenh/prd.md) |
+| `/prd <EPIC-ID> refine` | PO / BA | **Rà nội dung** PRD qua 4 lăng kính. **Bắt buộc** trước khi duyệt | [/prd refine](lenh/prd-refine.md) |
 | `/prd <EPIC-ID> change <mô tả>` | PO / BA | Thêm, sửa hoặc bỏ nội dung PRD | [/prd](lenh/prd.md) |
 
 ---

package/docs/guide/lenh/prd-refine.md

@@ -0,0 +1,95 @@
+[← Hướng dẫn](../README.md) · [Bảng lệnh](../README.md#bảng-lệnh) · [/prd](prd.md)
+
+# `/prd EP-01 refine` — rà nội dung PRD
+
+> AI rà PRD qua **4 lăng kính** để tìm chỗ nghiệp vụ còn thiếu, mơ hồ hoặc mâu thuẫn, tức những chỗ sẽ làm dev hay QC làm sai hoặc phải đoán. **Bắt buộc**: chưa refine thì không duyệt được PRD.
+> Không rà chính tả hay cách trình bày. Việc đó là của `/review` *(sắp có)*.
+
+| | |
+|---|---|
+| **Gõ** | `/prd EP-01 refine` |
+| **Ai** | PO / BA |
+| **Cần có trước** | PRD đã có |
+| **Số lượt rà** | Tối đa **2** cho mỗi version PRD |
+| **Ghi ra** | `specs/{domain}/{slug}/review/prd-refine.md` · PRD nhận các bản sửa bạn đã chấp nhận |
+| **Bước tiếp** | Duyệt PRD |
+
+---
+
+## 4 lăng kính
+
+| Lăng kính | Soi | Ví dụ finding |
+|---|---|---|
+| **QA** | AC có kiểm được là đạt hay không? AC có lặp lại BR không? | *"UC-002-AC03 nói 'hiển thị thông báo phù hợp' — không kiểm được"* |
+| **DEV** | BR và Business Logic có đủ để làm mà không phải đoán? Nhánh thiếu, điều kiện biên, xử lý khi lỗi, BR mâu thuẫn | *"Gửi email đặt lại mật khẩu thất bại thì sao?"* |
+| **SA** | Các UC có thông suốt, nhất quán? **User flow** có ngõ cụt hay thiếu nhánh lỗi không? Trạng thái, vòng đời của đối tượng; ai được làm gì | *"UC-002 cho Admin khoá tài khoản, nhưng UC-009 tự tạo tài khoản không nói trạng thái ban đầu"* |
+| **Phạm vi** | PRD có vượt ngoài phạm vi epic, đi ngược ràng buộc `CON-xx`, hay giẫm lên epic khác không? | *"UC-009 xử lý đơn hàng CRM — thuộc EP-03"* |
+
+*(Các ví dụ trên là ví dụ minh hoạ.)*
+
+Mỗi lăng kính là một agent riêng, chạy song song, **bắt buộc dùng model Opus**, và đọc **toàn bộ PRD**. Sau đó có thêm **một agent kiểm chứng**: nó **cố chứng minh từng finding là sai** bằng cách tra lại PRD, rồi mới gộp trùng và sắp xếp. Finding nào không đứng vững thì bị bỏ, finding nào được trả lời một phần thì được thu hẹp. Đây là lớp chặn chính đối với các finding do AI ảo giác.
+
+Khi bạn quyết xong, bảng Tóm tắt trong `prd-refine.md` ghi số **nhận · sửa · bác · hoãn**. **Tỉ lệ bác cao** nghĩa là lớp kiểm chứng còn lỏng. Hãy báo người phụ trách framework nếu bạn thấy vậy.
+
+## Mức độ
+
+| Mức | Nghĩa | Có chặn duyệt không |
+|---|---|---|
+| `critical` | Không sửa thì sẽ **làm sai** hoặc không làm được | Có, cho tới khi bạn quyết |
+| `major` | Không sửa thì người làm **phải đoán** | Có, cho tới khi bạn quyết |
+| `minor` | Làm rõ thêm cho dễ đọc, không đổi hành vi | Không |
+
+## Bạn quyết thế nào
+
+AI trình bảng tóm tắt, **sắp theo mức độ** (critical → major → minor), rồi **theo lăng kính** (QA → DEV → SA → Phạm vi). Mã F đánh theo đúng thứ tự đó, nên F01 luôn là finding nặng nhất. Chi tiết từng finding nằm trong `review/prd-refine.md`.
+
+Quyết theo mã:
+
+```
+nhận F01, F03 · bác F02 vì đã có ở UC-002 · F04 sửa thành "khoá 30 phút" · hoãn F05
+```
+
+Hoặc **quyết theo nhóm**, áp cho major và minor:
+
+```
+nhận tất cả minor · nhận hết UC-003 trừ F12 · bác F20–F24 vì đã có ở epic khác
+```
+
+Quyết theo nhóm thì AI **liệt kê lại đúng các mã** sẽ bị áp rồi hỏi bạn xác nhận. **Critical luôn phải quyết từng mã.**
+
+| Quyết định | Kết quả |
+|---|---|
+| `nhận` | AI sửa PRD theo đề xuất |
+| `sửa: …` | AI sửa PRD theo nội dung bạn đưa |
+| `bác: <lý do>` | Không sửa. Lần rà sau **không nêu lại** điểm này |
+| `hoãn` | Không sửa lúc này. Được ghi vào "Câu hỏi còn mở" của PRD để bước QC xử lý |
+
+Bác hay hoãn đều tính là **đã quyết**. Chỉ cần mọi critical và major đều đã có quyết định là đi tiếp được.
+
+## Vì sao chỉ có 2 lượt
+
+Kinh nghiệm cho thấy: rà → sửa → rà lại thì lần nào cũng ra vấn đề mới, nhiều cái là ảo giác, và vòng lặp không dứt. Vì vậy:
+
+| Lượt | Soi gì | Được báo gì |
+|---|---|---|
+| **1** | Toàn bộ PRD | Mọi mức độ |
+| **2** (chỉ khi lượt 1 có bản sửa) | **Chỉ phần vừa sửa**, và các mục tham chiếu tới nó | **Chỉ** critical, hoặc lỗi do chính bản sửa gây ra |
+| 3 | **Không có** | — |
+
+Thêm vào đó, file refine là **sổ quyết định**: lần rà sau đọc lại sổ và không nêu lại những điểm bạn đã quyết.
+
+Sau mỗi lượt có sửa, lệnh sẽ nhắc *"`/clear` rồi `/prd EP-01 refine`"* để chạy lượt 2.
+
+## Sau khi đổi PRD
+
+`/prd EP-01 change …` tăng version, nên bạn phải refine lại trước khi duyệt. Lần đó **chỉ rà các mục vừa đổi** (theo dòng Lịch sử thay đổi), nên nhanh và rẻ.
+
+## Duyệt PRD
+
+PRD chỉ được đặt `approved` khi đủ cả 4 điều kiện:
+1. Không còn 🤖.
+2. Không còn câu hỏi mở.
+3. **Đã refine đúng version này** (`refined` = `version`), và không còn critical/major chưa quyết.
+4. Đã ghi người duyệt.
+
+Công cụ tự chặn nếu thiếu điều kiện nào.

package/docs/guide/lenh/prd.md

@@ -11,7 +11,7 @@
 | **Cần có trước** | Epic `ready` (xem [/product](product.md)) | PRD đã có |
 | **Số lượt** | 2 | 2 |
 | **Ghi ra** | `specs/{domain}/{slug}/prd.md` · epic chuyển `handed-off` | `prd.md`, version tăng (1.0 → 1.1) |
-| **Bước tiếp** | Duyệt PRD → `/bdd UC-xxx` *(sắp có)* | Duyệt lại bản mới |
+| **Bước tiếp** | [`/prd EP-01 refine`](prd-refine.md) → duyệt PRD → `/bdd UC-xxx` *(sắp có)* | [`/prd EP-01 refine`](prd-refine.md) (chỉ rà phần vừa đổi) → duyệt lại |
 
 ---
 
@@ -34,7 +34,7 @@ Bạn đồng ý, gộp hoặc tách UC.
 2. Công cụ **kiểm độ phủ**: mọi BR và AC của epic đều phải có trong PRD. Thiếu thì AI bổ sung cho tới khi đủ. AI không được tự bỏ mục nào; muốn bỏ thì phải hỏi bạn.
 3. AI **chỉ in các mục 🤖**, tức những chỗ AI tự thêm, tách hoặc suy ra khi viết PRD. Không in lại cả PRD.
 4. Bạn mở file để đọc toàn bộ, rồi trả lời hoặc xác nhận theo mã: *"OK UC-003-BR04, UC-003-AC02"*.
-5. Hết 🤖 và hết câu hỏi mở thì AI hỏi *"Ai duyệt PRD này?"*, sau đó đặt `status: approved`.
+5. Tiếp theo **bắt buộc rà nội dung**: `/clear` rồi [`/prd EP-01 refine`](prd-refine.md). Rà xong, hết 🤖 và hết câu hỏi mở thì mới duyệt được. AI hỏi *"Ai duyệt PRD này?"* rồi đặt `status: approved`.
 
 ## PRD trông như thế nào
 
@@ -51,7 +51,23 @@ Acceptance Criteria (điều kiện nghiệm thu)
 - UC-001-AC01. Khi Admin import file 10 dòng, trong đó 2 dòng trùng email thì 8 tài khoản được tạo, 2 dòng được báo lỗi kèm lý do. (nguồn: AC1)
 ```
 
-Gồm 5 mục: **Tổng quan** (mục tiêu, actor, phạm vi, ràng buộc áp dụng) · **Use case** · **Màn hình** · **Câu hỏi còn mở** · **Lịch sử thay đổi**. Cột `Nguồn` chỉ ghi mã (xem [Khái niệm](../02-khai-niem.md#nguồn-của-từng-mục-trong-prd)).
+Gồm 6 mục: **Tổng quan** (mục tiêu, actor, phạm vi, ràng buộc áp dụng) · **User flow** · **Use case** · **Màn hình** · **Câu hỏi còn mở** · **Lịch sử thay đổi**.
+
+**User flow** là các **hành trình** xuyên suốt nhiều UC: actor đi qua những UC nào, rẽ nhánh ở đâu, gặp lỗi thì đi đâu. Mỗi hành trình gồm một dòng trong bảng và một sơ đồ (GitLab hiển thị sẵn):
+
+````
+| J1 | Nhân sự mới vào hệ thống | ACT-03 | UC-001 → UC-003 → UC-005 | Admin tạo tài khoản | Đăng nhập được, đã đổi mật khẩu |
+
+```mermaid
+flowchart TD
+  A["UC-001 Admin tạo tài khoản"] --> B{"Đăng nhập lần đầu bằng?"}
+  B -->|Mật khẩu mặc định| C["UC-005 Bắt đổi mật khẩu"]
+  B -->|Google / Facebook| D["UC-004 Ghép theo email"]
+  C -->|Trùng mật khẩu mặc định| X["Từ chối, nhập lại"]
+```
+````
+
+*(ví dụ minh hoạ)* **Mỗi UC phải có mặt trong ít nhất một hành trình, và mỗi hành trình phải có ít nhất một nhánh lỗi.** Công cụ kiểm điều kiện đầu, và PRD thiếu User flow thì không duyệt được. PRD tạo bằng bản trước 0.8.0 chưa có mục này: chạy `/prd EP-01 change thêm User flow`. Cột `Nguồn` chỉ ghi mã (xem [Khái niệm](../02-khai-niem.md#nguồn-của-từng-mục-trong-prd)).
 
 ---
 
@@ -71,7 +87,7 @@ Dùng cho **mọi** thay đổi: thêm, sửa, bỏ.
 | UC-001-AC07 | thêm | — | Khi sai 3 lần thì … |
 | UC-001-BR06 | bỏ | … | ~~…~~ Đã bỏ (v1.1) |
 
-**Lượt 2: áp dụng.** AI sửa đúng các mục đó, thêm dòng vào Lịch sử thay đổi, tăng version. PRD đang `approved` thì quay về `draft` và **cần duyệt lại**.
+**Lượt 2: áp dụng.** AI sửa đúng các mục đó, thêm dòng vào Lịch sử thay đổi, tăng version. PRD đang `approved` thì quay về `draft`, và phải **refine lại** (chỉ rà phần vừa đổi) rồi **duyệt lại**.
 
 ## Lưu ý
 

package/docs/guide/vai-tro/po-ba.md

@@ -7,17 +7,18 @@
 ## Đường đi của bạn
 
 ```
-/product ──► /product EP-xx ──► /prd EP-xx ──► duyệt PRD ──► (giao cho BDD — sắp có)
-                                    ▲ │
-                                    └─┘ /prd EP-xx change   khi yêu cầu thay đổi
+/product ──► /product EP-xx ──► /prd EP-xx ──► /prd EP-xx refine ──► duyệt PRD ──► (giao cho BDD — sắp có)
+                                    ▲                     │
+                                    └─ /prd EP-xx change ◄┘  khi yêu cầu thay đổi
 ```
 
 | Bước | Lệnh | Bạn làm gì | Hướng dẫn |
 |---|---|---|---|
 | 1 | `/product` | Trả lời về sản phẩm, nhóm người dùng, epic, ràng buộc. Chốt từng mục | [/product](../lenh/product.md) |
 | 2 | `/product EP-xx` | Trả lời AI hỏi về tính năng. Đây là chỗ **quan trọng nhất**: câu trả lời càng rõ thì PRD càng ít phải sửa | [/product](../lenh/product.md#một-epic-product-ep-01) |
-| 3 | `/prd EP-xx` | Duyệt cách chia UC, xác nhận các mục 🤖, ghi người duyệt | [/prd](../lenh/prd.md) |
-| 4 | `/prd EP-xx change …` | Khi yêu cầu đổi. Duyệt kế hoạch thay đổi, rồi duyệt lại PRD | [/prd](../lenh/prd.md#đổi-prd-prd-ep-01-change-mô-tả) |
+| 3 | `/prd EP-xx` | Duyệt cách chia UC, xác nhận các mục 🤖 | [/prd](../lenh/prd.md) |
+| 4 | `/prd EP-xx refine` | Quyết từng finding: nhận, sửa, bác hay hoãn. Tối đa 2 lượt. Xong thì duyệt PRD | [/prd refine](../lenh/prd-refine.md) |
+| 5 | `/prd EP-xx change …` | Khi yêu cầu đổi. Duyệt kế hoạch thay đổi, refine lại phần vừa đổi, rồi duyệt lại PRD | [/prd](../lenh/prd.md#đổi-prd-prd-ep-01-change-mô-tả) |
 
 ## Mẹo
 

package/docs/guide/xu-ly-su-co.md

@@ -20,11 +20,16 @@
 | AI chạy lại cùng một lệnh `spec_edit` | Lần trước Python thoát mà không chạy (thường gặp với bản Store) | Bình thường, AI được dặn chạy lại một lần |
 | `không đặt được status=approved: còn 3 dòng 🤖` | Còn mục chưa được bạn xác nhận | Xác nhận các mục AI liệt kê |
 | `… chưa có approved_by` | Chưa ghi người duyệt | Trả lời câu *"Ai duyệt?"* |
+| `PRD chưa có mục User flow` | PRD tạo bằng bản trước 0.8.0 | Chạy `/prd EP-xx change thêm User flow` |
+| `UC chưa có mặt trong hành trình nào của User flow: UC-007` | Có UC chưa được vẽ vào sơ đồ nào | AI sẽ bổ sung. Hoặc chạy `/prd EP-xx change thêm UC-007 vào user flow` |
+| `… bản v1.2 chưa refine` | PRD chưa được rà nội dung ở version này | Chạy `/prd EP-xx refine` |
+| `… còn finding critical/major chưa có quyết định: F01, F04` | Bạn chưa quyết các finding đó | Trả lời: nhận, sửa, bác (kèm lý do) hay hoãn |
+| `Bản v1.1 đã refine xong` | Gọi refine lại khi PRD chưa đổi | Không cần làm gì. Thật sự muốn rà lại từ đầu thì thêm `--full` |
 | `chưa được PRD dùng tới: BR7, AC12` | Có BR hoặc AC của epic chưa được đưa vào PRD | AI sẽ bổ sung. Nếu bạn muốn bỏ thì nói rõ |
 | `(nguồn: …) chỉ được ghi mã …` | PRD đang ghi nguồn bằng lời (thường là PRD tạo bằng bản trước 0.6.1) | AI sẽ đổi thành mã, thường là `PRD` |
 | `💡 Phiên này đã dài. Nên /clear …` | Phiên đang mang theo hội thoại cũ | Gõ `/clear` rồi gọi lại lệnh |
 | `EP-xx chưa làm rõ xong. Chạy /product EP-xx trước` | Epic chưa `ready` | Chạy tiếp `/product EP-xx`. Thật sự cần PRD sớm thì thêm `--force`, PRD sẽ được ghi chú là tạo khi epic chưa xong |
-| `PRD đã có …` | Gọi `/prd EP-xx` khi PRD đã tồn tại | Dùng `/prd EP-xx change <mô tả>` |
+| `PRD đã có …` | Gọi `/prd EP-xx` khi PRD đã tồn tại | Rà nội dung: `/prd EP-xx refine` · Đổi: `/prd EP-xx change <mô tả>` |
 
 ## Vẫn chưa được?
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@educa-corp/fw",
-  "version": "0.6.2",
+  "version": "0.8.0",
   "description": "Framework làm việc với Claude Code cho phòng PTPM",
   "bin": {
     "fw": "bin/fw.js"

package/ref/prd/change.md

@@ -27,6 +27,7 @@ Khi PO đồng ý kế hoạch:
 1. **Một** lần `SE edit D` cho mọi chỗ sửa:
    - Mục sửa và mục thêm mang `✅`, vì PO vừa duyệt kế hoạch. Mục thêm ghi `(nguồn: PRD)`, trừ khi lấy từ một mã epic hay ràng buộc cụ thể.
    - Mục bỏ: giữ dòng, gạch ngang nội dung, ghi *"Đã bỏ (v{mới})"*.
-   - Thêm dòng vào **5. Lịch sử thay đổi**, dạng *"v1.1 — UC-003: khoá sau 3 lần sai (BR02 sửa, AC05 thêm, BR04 bỏ)"*.
-2. Tăng version phụ (1.0 → 1.1): `SE set D version=1.1 updated=…`. PRD đang `approved` thì đặt luôn `status=draft approved_by=— approved_at=—`.
+   - Thay đổi làm đổi luồng (thêm UC, đổi thứ tự, thêm nhánh lỗi) thì sửa luôn mục **User flow**. Yêu cầu là *"thêm User flow"* (PRD tạo bằng bản cũ) thì vẽ mục này từ checkpoint 2 của epic, theo luật trong `new.md`.
+   - Thêm dòng vào mục **Lịch sử thay đổi**, dạng *"v1.1 — UC-003: khoá sau 3 lần sai (BR02 sửa, AC05 thêm, BR04 bỏ)"*.
+2. Chạy `SE flowcheck D`. Còn UC chưa có trong hành trình nào thì sửa cho đủ. Sau đó tăng version phụ (1.0 → 1.1): `SE set D version=1.1 updated=…`. PRD đang `approved` thì đặt luôn `status=draft approved_by=— approved_at=—`.
 3. Báo lại cho PO. Không in lại cả PRD, chỉ tóm tắt những gì đã đổi. Nếu không còn `🤖` và không còn câu hỏi mở thì hỏi: *"Duyệt lại bản v1.1 không?"* PO đồng ý thì duyệt theo luật 7 của lệnh. Bản mới cần người duyệt mới, nên đặt lại `approved_by` và `approved_at`.

package/ref/prd/lenses.md

@@ -0,0 +1,89 @@
+# Lăng kính rà nội dung PRD — dành cho sub-agent
+
+Bạn là **một** lăng kính. Chỉ soi đúng phần của lăng kính mình, trong đúng **phạm vi** và **ngưỡng báo** được giao. Tìm ít nhưng đúng còn hơn tìm nhiều mà sai.
+
+## Luật chung
+
+1. **Viết bằng ngôn ngữ nghiệp vụ.** Mắt nhìn có thể là kỹ thuật, nhưng finding và đề xuất phải nói *nghiệp vụ còn thiếu hay chưa rõ điều gì*. Không đề xuất API, bảng dữ liệu, retry, timeout hay thư viện.
+2. **Có trích dẫn.** Mỗi finding trích **nguyên văn** đoạn PRD liên quan (≤ 120 ký tự) kèm mã mục (`UC-003-BR02`, `UC-003`, hoặc `Tổng quan`). Finding dạng *"PRD thiếu X"* thì nêu mục lẽ ra phải chứa X.
+3. **Không nêu lại** những gì đã có quyết định trong file refine (`R`), dù là `nhận`, `bác` hay `hoãn`.
+4. **Không hỏi những gì bước sau sẽ trả lời**: giao diện chi tiết (thuộc design-spec), kịch bản kiểm thử (thuộc BDD), cách làm kỹ thuật (thuộc TDD).
+5. **Mức độ:**
+
+| Mức | Khi nào | Ví dụ |
+|---|---|---|
+| `critical` | Không sửa thì dev hoặc QC **sẽ làm sai**, hoặc không làm được | Hai BR mâu thuẫn trực tiếp |
+| `major` | Không sửa thì người làm **phải đoán** | Không nói chuyện gì xảy ra khi import có dòng sai định dạng |
+| `minor` | Làm rõ thêm cho dễ đọc, không đổi hành vi | Tên trạng thái dùng hai cách gọi |
+
+## QA — hình thức của AC
+
+Cố ý hẹp. Chỉ hỏi:
+- AC có nêu **kết quả nhìn thấy được**, kiểm được là đạt / không đạt không?
+- AC có **lặp lại** nội dung BR không? Nếu lặp thì đề xuất làm mỏng AC và trỏ sang BR.
+
+**Không** hỏi "AC đủ chi tiết chưa". Chi tiết cơ chế (số lần, thời hạn, nhánh lỗi) thuộc về BR / Business Logic. Nếu thiếu cơ chế thì đề xuất **thêm vào BR**, không phình AC.
+
+## DEV — BR và Business Logic có đủ để làm không
+
+Đọc như một dev sắp làm: đã đủ để làm **mà không phải đoán** chưa? Soi:
+- nhánh nghiệp vụ còn thiếu;
+- điều kiện biên chưa nói (0, rỗng, tối đa, trùng, đồng thời);
+- xử lý khi có lỗi hay ngoại lệ bị bỏ ngỏ, ví dụ *"gửi email đặt lại mật khẩu thất bại thì sao?"*;
+- BR mơ hồ, hoặc mâu thuẫn với BR khác.
+
+## SA — thông suốt và nhất quán giữa các UC
+
+Đọc như một architect: toàn bộ luồng có **thông suốt và nhất quán** không? Soi:
+- **User flow** (mục `sec:userflow`): mỗi hành trình có đi tới được điểm ra không, có **ngõ cụt** không, có **nhánh lỗi hoặc ngoại lệ** không. Sơ đồ có khớp với các UC không: bước trong sơ đồ có UC nào thực hiện không, UC có làm điều sơ đồ nói không;
+- tương tác giữa các UC đã được định nghĩa chưa (UC này tạo ra thứ mà UC kia cần);
+- **trạng thái và vòng đời** của đối tượng nghiệp vụ có nhất quán không, ví dụ tài khoản: mới → active → inactive;
+- **ai được làm gì, ai sở hữu gì**;
+- cùng một khái niệm có bị gọi hoặc hiểu khác nhau ở hai UC không.
+
+Không phán về kiến trúc hay mô hình dữ liệu kỹ thuật.
+
+## Phạm vi — PRD có đi đúng đường đã chốt không
+
+Đọc **toàn bộ PRD** (chuyện vượt phạm vi thường nằm trong thân UC, không nằm ở Tổng quan). Tài liệu phụ thì chỉ đọc đúng phần được giao: checkpoint 1 của epic, mục Ràng buộc và Danh sách epic của `product.md`. Soi:
+- PRD có **vượt ra ngoài** phạm vi epic, hoặc làm điều epic ghi là "ngoài phạm vi" không;
+- PRD có **đi ngược** một ràng buộc `CON-xx` không;
+- PRD có **giẫm lên** phạm vi của epic khác không.
+
+Không hỏi lại ưu tiên hay mục tiêu, vì đã chốt ở `/product`.
+
+## Định dạng ghi file (agent lăng kính)
+
+Ghi vào file được giao bằng `SE create --replace <file>`, nội dung **chỉ** là danh sách sau:
+
+```
+- lens: DEV
+  severity: major
+  item: UC-003-BR02
+  quote: "…nguyên văn…"
+  finding: "…"
+  suggestion: "…"
+  if_accepted: "…"        # chỉ critical / major: chốt đề xuất này thì phát sinh trường hợp gì
+```
+
+Không tìm thấy gì thì ghi `[]`. Sau đó **chỉ trả về một dòng**: *"{lens}: {k} finding → {file}"*. Không chép lại finding vào câu trả lời.
+
+## Kiểm chứng và ghi file — dành cho agent kiểm chứng
+
+Bạn nhận: PRD `D`, file refine `R` (có thể chưa có), thư mục `W` chứa 4 file kết quả của lượt `n`, và mã F kế tiếp. Làm **đúng thứ tự** sau. Phải **kiểm chứng trước, gộp sau**, để không tự kiểm phần mình vừa viết lại.
+
+**1. Kiểm chứng từng finding gốc.** Đọc cả 4 file. Với **từng** finding, **cố chứng minh nó sai**:
+- Tra PRD: đoạn `quote` có đúng là nguyên văn không? Điều finding nói "thiếu" có thật là thiếu không, hay đã nằm ở mục khác (BR khác, Business Logic, UC khác, Tổng quan, User flow)? Đã được trả lời **một phần** thì thu hẹp finding lại, chỉ giữ phần chưa được trả lời.
+- Finding có hỏi điều thuộc bước sau (giao diện, kịch bản test, kỹ thuật) không? Có đề xuất giải pháp kỹ thuật không?
+- Finding có nêu lại một điểm **đã có quyết định** trong `R` không?
+- Mức độ có đúng định nghĩa không?
+
+Kết luận cho mỗi finding: `ĐÚNG` · `SAI` (bỏ) · `HẠ MỨC` (giữ, đổi mức).
+
+**2. Gộp** các finding ĐÚNG trùng nhau (cùng mục, cùng vấn đề), giữ bản rõ nhất. Hai đề xuất trái ngược nhau thì giữ cả hai trong **một** finding, và ghi rõ là cần PO chọn.
+
+**3. Sắp xếp** theo mức độ (critical → major → minor), sau đó theo lăng kính (QA → DEV → SA → Phạm vi). **Đánh mã F theo đúng thứ tự đó**, bắt đầu từ mã F kế tiếp.
+
+**4. Ghi vào `R`.** Chưa có `R` thì `SE create R` theo khuôn `.fw/core/templates/prd-refine.md`. Đã có thì `SE edit` thêm mục `## Lượt {n} — v{version} <!-- sec:round-{n} -->` ở **cuối**. **Không sửa các lượt cũ.** Thêm một dòng vào bảng Tóm tắt, rồi `SE set R prd_version={version} round={n} status=pending`. Mỗi finding theo đúng mẫu trong khuôn, `Quyết định: chờ`.
+
+**5. Trả về một dòng:** *"thô {a} · bỏ {b} · hạ mức {c} · còn {d} (critical {x} · major {y} · minor {z}) → {R}"*.

package/ref/prd/new.md

@@ -23,15 +23,16 @@ Chỉ **2 lượt** hỏi-đáp, vì epic đã được làm rõ kỹ. Không h
 Khi PO đồng ý cách chia UC:
 
 1. Tạo `D` bằng **một** lần `SE create`, theo khuôn `.fw/core/templates/prd.md`:
-   - **1. Tổng quan:** chuyển từ checkpoint 1 của epic. Ghi các ràng buộc `CON-xx` áp cho epic này.
-   - **2. Use case:** mỗi UC gồm điều kiện trước, kết quả sau, luồng chính (lấy các bước liên quan ở checkpoint 2 của epic), bảng BR, Acceptance Criteria (điều kiện nghiệm thu).
+   - **Tổng quan:** chuyển từ checkpoint 1 của epic. Ghi các ràng buộc `CON-xx` áp cho epic này.
+   - **User flow** (`sec:userflow`): vẽ các **hành trình** xuyên suốt nhiều UC, lấy từ luồng chính và edge case ở checkpoint 2 của epic. Mỗi hành trình gồm một dòng trong bảng và một sơ đồ `mermaid` (`flowchart TD`). Nút trong sơ đồ ghi mã UC, không chép lại BR. **Mỗi hành trình có ít nhất một nhánh lỗi hoặc ngoại lệ. Mỗi UC có mặt trong ít nhất một hành trình.** Nút nào AI tự suy ra (không có trong epic) thì ghi kèm `🤖` trong nhãn.
+   - **Use case:** mỗi UC gồm điều kiện trước, kết quả sau, luồng chính (lấy các bước liên quan ở checkpoint 2 của epic), bảng BR, Acceptance Criteria (điều kiện nghiệm thu).
      - **Cột Business Rule:** một BR mỗi dòng, dạng *"Hệ thống PHẢI / KHÔNG ĐƯỢC …"*.
      - **Cột Business Logic:** rẽ nhánh, công thức, thông báo khi lỗi. Lấy từ edge case và nhật ký làm rõ của epic.
      - **AC:** dạng *"Khi … thì …"*, mô tả **kết quả nhìn thấy được**, không mô tả cơ chế.
-   - **3. Màn hình:** chuyển từ "Màn hình chính" của epic, kèm cột UC.
-   - **4. Câu hỏi còn mở:** chỉ những gì phát sinh khi viết PRD.
-   - **5. Lịch sử thay đổi:** dòng `1.0`.
-2. Chạy `SE coverage <epic> D`. **Thiếu mục nào thì bổ sung vào UC phù hợp rồi chạy lại cho tới khi đủ.** Mục mà PO muốn bỏ thì hỏi PO. Không được tự bỏ.
+   - **Màn hình:** chuyển từ "Màn hình chính" của epic, kèm cột UC.
+   - **Câu hỏi còn mở:** chỉ những gì phát sinh khi viết PRD.
+   - **Lịch sử thay đổi:** dòng `1.0`.
+2. Chạy `SE coverage <epic> D` và `SE flowcheck D`. **Thiếu mục nào thì bổ sung vào UC phù hợp rồi chạy lại cho tới khi đủ.** Mục mà PO muốn bỏ thì hỏi PO. Không được tự bỏ.
 3. Epic giờ chỉ còn là lịch sử:
    - `SE set <epic> status=handed-off`
    - Trong `{specs}/product/product.md`, sửa cột Trạng thái của epic thành `đã có PRD`.

package/ref/prd/refine.md

@@ -0,0 +1,49 @@
+# /prd — chế độ rà nội dung (refine)
+
+Mục đích: tìm chỗ **nghiệp vụ còn thiếu, mơ hồ, mâu thuẫn** đến mức sẽ làm sai hoặc phải đoán ở các bước sau. **Không** rà chính tả hay trình bày, vì đó là việc của `/review`.
+
+- File refine: `R = {specs}/{domain}/{slug}/review/prd-refine.md` (khuôn `.fw/core/templates/prd-refine.md`).
+- Thư mục làm việc của các agent: `W = .fw/tmp/refine/{slug}/`. Thư mục này không commit.
+
+## Bước A — Xác định lượt
+
+Chạy `SE upgrade D` trước. Lệnh này bổ sung trường và mục còn thiếu cho PRD tạo bằng bản cũ (ví dụ `refined`, mục User flow), và đổi mã nguồn `R…` thành `BR…`. Nếu `SE` báo PRD **thiếu mục User flow**, thì dừng và báo: *"PRD chưa có User flow. Chạy `/prd {id} change thêm User flow` trước, rồi refine."*
+
+Đọc frontmatter của `D` (`version`, `refined`) và của `R` (nếu có: `prd_version`, `round`).
+
+| Tình huống | Lượt | Phạm vi |
+|---|---|---|
+| `refined` = `version` | **Dừng.** Báo *"Bản v{version} đã refine xong."* Có `--full` thì chạy lượt 1 trên toàn PRD | — |
+| Chưa có `R`, hoặc chưa từng refine | **1** | Toàn bộ PRD |
+| `R` có `round: 1` **đã áp** bản sửa, `prd_version` < `version` | **2** | Chỉ các mục mà lượt 1 đã sửa hoặc thêm (đọc từ quyết định `nhận` / `sửa` trong `R`), cộng các mục tham chiếu tới chúng |
+| `refined` có giá trị nhưng < `version` (PRD đã qua `/prd change`) | **1** | Chỉ các mục trong dòng Lịch sử thay đổi từ sau `refined` tới nay |
+
+**Không có lượt 3.** Sau lượt 2 thì luôn đặt `refined` (Bước D).
+
+## Bước B — Rà (sub-agent, bắt buộc model Opus)
+
+Phiên chính **không đọc** kết quả chi tiết của các agent. Agent ghi ra file, phiên chính chỉ đọc bảng tóm tắt cuối cùng.
+
+1. Dùng công cụ **Agent**, `model: "opus"`, gọi **4 agent song song trong cùng một lượt**: QA · DEV · SA · Phạm vi. Mỗi agent nhận:
+   - đường dẫn `D` (**đọc toàn bộ**), `R` (nếu có, để đọc sổ quyết định), `.fw/core/ref/prd/lenses.md`, tên lăng kính, **phạm vi** và **ngưỡng báo** của lượt (lượt 1: mọi mức · lượt 2: chỉ critical hoặc lỗi do chính bản sửa gây ra);
+   - riêng **Phạm vi**: thêm các lệnh để đọc tài liệu phụ, **chỉ đúng phần cần**: `SE section <epic> cp1`, `SE section {specs}/product/product.md constraints`, `SE section {specs}/product/product.md epics`;
+   - file kết quả: `W/round-{n}-{lens}.md`. Agent ghi bằng `SE create --replace` (chỉ dùng được trong `.fw/tmp/`) và **chỉ trả về một dòng**: *"{lens}: {k} finding → {file}"*.
+2. Khi đủ 4 dòng, gọi **1 agent kiểm chứng** (`model: "opus"`), giao: `D`, `R`, `W`, số lượt `n`, mã F kế tiếp (lớn nhất trong `R` cộng một, hoặc F01), và phần **"Kiểm chứng và ghi file"** trong `lenses.md`. Agent này kiểm chứng, gộp, sắp xếp, đánh mã, ghi vào `R`, rồi trả về **một dòng** số liệu.
+
+## Bước C — Trình
+
+1. Đọc `SE section R summary` và danh sách tiêu đề finding của lượt này. Danh sách đã được agent kiểm chứng **sắp xếp sẵn** theo mức độ, rồi theo lăng kính (QA → DEV → SA → Phạm vi).
+2. Trình **một bảng tóm tắt** gồm mã · mức · lăng kính · mục · một dòng vấn đề, đúng theo thứ tự đó. Kèm số finding thô, số bị bỏ ở bước kiểm chứng, và số bị hạ mức.
+3. Nhắc PO cách quyết:
+   - *"Chi tiết xem {R}. Quyết theo mã: 'nhận F01, F03 · bác F02 vì … · F04 sửa thành … · hoãn F05'."*
+   - *"Quyết theo nhóm được, áp cho major và minor: 'nhận tất cả minor' · 'nhận hết UC-003 trừ F12' · 'bác F20–F24 vì …'. Critical phải quyết từng mã."*
+4. Lượt này không có finding nào thì báo, rồi sang Bước D luôn.
+
+## Bước D — Áp quyết định
+
+1. **Quyết theo nhóm:** trước khi ghi, liệt kê lại **đúng các mã** sẽ nhận quyết định đó, rồi hỏi *"Đúng chưa?"*. Critical không được quyết theo nhóm.
+2. Ghi quyết định vào `R` (`- Quyết định: …`). **Mọi** finding critical / major phải có quyết định khác `chờ`. Còn thiếu thì hỏi lại, tối đa 4 mã mỗi lượt.
+3. Cập nhật dòng của lượt này trong bảng **Tóm tắt** của `R`: số `nhận` · `sửa` · `bác` · `hoãn`. Đây là số đo để đánh giá lớp kiểm chứng: **tỉ lệ bác cao nghĩa là kiểm chứng còn lỏng**.
+4. Finding `nhận` hoặc `sửa`: áp vào `D` trong **một** lần `SE edit`, theo đúng luật của `.fw/core/ref/prd/change.md` (mã mới lấy số kế tiếp, mục bỏ thì gạch ngang, `(nguồn: PRD)`, có đổi luồng thì sửa cả mục User flow). Thêm một dòng Lịch sử thay đổi nêu mã finding, ví dụ *"v1.3 — refine lượt 1: F01, F03, F04"*.
+5. Có áp bản sửa: tăng version phụ (`SE set D version=… status=draft approved_by=— approved_at=—`), rồi `SE set R status=applied`. Nếu đây là **lượt 1**, báo *"`/clear` rồi `/prd {id} refine` để chạy lượt 2, chỉ soi phần vừa sửa."*
+6. Không áp gì (mọi finding đều bác / hoãn), **hoặc** vừa xong **lượt 2**: `SE set D refined={version hiện tại}` và `SE set R status=done`. Finding `hoãn` thì ghi thêm vào mục **Câu hỏi còn mở** của `D`, kèm chú thích *"(để bước QC)"*.

package/templates/prd-refine.md

@@ -0,0 +1,32 @@
+---
+type: prd-refine
+prd: {đường dẫn prd.md}
+prd_version: {version PRD lúc rà}
+round: 1                 # 1 | 2
+status: pending          # pending | applied | done
+updated: {YYYY-MM-DD}
+---
+
+# Refine PRD — {EPIC-ID}
+
+> Rà **nội dung** PRD qua 4 lăng kính: QA · DEV · SA · Phạm vi. Finding nào cũng đã qua bước **kiểm chứng**.
+> File này cũng là **sổ quyết định**: lần rà sau đọc lại để không nêu lại những điểm đã quyết. **Không xoá finding cũ.**
+> Quyết định: `chờ` · `nhận` · `sửa: <nội dung PO muốn>` · `bác: <lý do>` · `hoãn` (để bước QC).
+
+## Tóm tắt <!-- sec:summary -->
+
+| Lượt | Version | Thô | Bỏ khi kiểm chứng | Hạ mức | Còn | critical | major | minor | Kết luận | Nhận | Sửa | Bác | Hoãn |
+|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
+| 1 | {v} | {n} | {n} | {n} | {n} | {n} | {n} | {n} | {BLOCKED · NEEDS_REVISION · APPROVED_WITH_MINOR_CHANGES} | — | — | — | — |
+
+> Finding sắp theo mức độ (critical → major → minor), rồi theo lăng kính (QA → DEV → SA → Phạm vi). Mã F đánh theo đúng thứ tự đó, nối tiếp qua các lượt.
+> Bốn cột cuối điền khi PO quyết xong. **Tỉ lệ bác cao nghĩa là lớp kiểm chứng còn lỏng.**
+
+## Lượt 1 — v{version} <!-- sec:round-1 -->
+
+### F01 · {QA · DEV · SA · Phạm vi} · {critical · major · minor} · {mã mục}
+- Trích: "{nguyên văn trong PRD}"
+- Vấn đề: {…}
+- Đề xuất: {…}
+- Nếu chốt đề xuất này: {… — chỉ critical / major}
+- Quyết định: chờ

package/templates/prd.md

@@ -6,6 +6,7 @@ status: draft            # draft | approved
 open_questions: 0
 approved_by: —           # người duyệt PRD; bắt buộc có khi status: approved
 approved_at: —           # YYYY-MM-DD
+refined: —              # version đã refine xong (/prd <EPIC-ID> refine); bắt buộc = version khi duyệt
 updated: {YYYY-MM-DD}
 ---
 
@@ -27,7 +28,25 @@ updated: {YYYY-MM-DD}
 - **Phụ thuộc:** {… hoặc "Không có"}
 - **Ràng buộc áp dụng** (từ `product.md`): {CON-01, CON-03 … hoặc "Không có"}
 
-## 2. Use case <!-- sec:usecases -->
+## 2. User flow <!-- sec:userflow -->
+
+> Các **hành trình** xuyên suốt nhiều UC: actor đi qua những UC nào, rẽ nhánh ở đâu, gặp lỗi thì đi đâu. Nút trong sơ đồ **ghi mã UC**, không chép lại BR.
+> Mỗi UC phải có mặt trong ít nhất một hành trình. Mỗi hành trình phải có ít nhất một nhánh lỗi hoặc ngoại lệ.
+
+| Mã | Hành trình | Actor | Đi qua UC | Điểm vào | Điểm ra |
+|---|---|---|---|---|---|
+| J1 | {Tên hành trình} | ACT-xx | UC-{NNN} → UC-{NNN} | {…} | {…} |
+
+### J1 — {Tên hành trình}
+
+```mermaid
+flowchart TD
+    A["UC-{NNN} {bước}"] --> B{"{điểm rẽ nhánh}"}
+    B -->|{nhánh chính}| C["UC-{NNN} {bước}"]
+    B -->|{nhánh lỗi}| X["{kết quả khi lỗi}"]
+```
+
+## 3. Use case <!-- sec:usecases -->
 
 ### UC-{NNN} — {Tên use case}
 
@@ -52,17 +71,17 @@ updated: {YYYY-MM-DD}
 
 - ✅ UC-{NNN}-AC01. Khi {…} thì {…}. (nguồn: AC1)
 
-## 3. Màn hình <!-- sec:screens -->
+## 4. Màn hình <!-- sec:screens -->
 
 | Màn hình | Thành phần chính | Hành động → kết quả | UC |
 |---|---|---|---|
 | {…} | {…} | {…} | UC-{NNN} |
 
-## 4. Câu hỏi còn mở <!-- sec:open -->
+## 5. Câu hỏi còn mở <!-- sec:open -->
 
 - {… hoặc "Không còn"}
 
-## 5. Lịch sử thay đổi <!-- sec:history -->
+## 6. Lịch sử thay đổi <!-- sec:history -->
 
 | Version | Ngày | Thay đổi |
 |---|---|---|

package/tools/spec_edit.py

@@ -17,6 +17,8 @@ Cách dùng (nội dung truyền qua stdin):
   spec_edit.py section <file> <mã>        in đúng một mục theo mã `<!-- sec:… -->` (vd constraints)
   spec_edit.py upgrade <file>             gắn mã mục cho file theo khuôn cũ (chạy một lần)
   spec_edit.py next-uc <thư mục specs>    in mã UC kế tiếp (quét mọi prd.md)
+  spec_edit.py flowcheck <prd>            kiểm User flow: có sơ đồ, mọi UC có mặt trong một hành trình
+  spec_edit.py create --replace <file>    chỉ cho file tạm trong .fw/tmp/ (kết quả của agent)
   spec_edit.py coverage <epic> <prd>      liệt kê BR / AC của epic chưa được PRD dùng tới
 
 Mã thoát: 0 = thành công · 1 = lỗi dữ liệu (không ghi gì) · 2 = sai cách dùng.
@@ -35,9 +37,10 @@ FRONTMATTER = {
     "product": {"status": ["in-progress", "ready"], "checkpoint": (0, 2)},
     "epic": {"status": ["in-progress", "ready", "handed-off"], "checkpoint": (0, 3)},
     "prd": {"status": ["draft", "approved"]},
+    "prd-refine": {"status": ["pending", "applied", "done"], "round": (1, 2)},
 }
 # Trạng thái "đã xong": chỉ đặt được khi không còn 🤖 và không còn câu hỏi mở.
-DONE_STATUS = {"product": "ready", "epic": "ready", "prd": "approved"}
+DONE_STATUS = {"product": "ready", "epic": "ready", "prd": "approved", "prd-refine": "done"}
 COMMON_INT = {"open_questions": (0, 999)}
 DATE = re.compile(r"^\d{4}-\d{2}-\d{2}$")
 VERSION = re.compile(r"^\d+\.\d+$")
@@ -75,8 +78,15 @@ def stdin_text():
     return sys.stdin.read()
 
 
-def cmd_create(path):
-    if os.path.exists(path):
+def in_tmp(path):
+    parts = os.path.abspath(path).replace("\\", "/").split("/")
+    return any(parts[i] == ".fw" and parts[i + 1] == "tmp" for i in range(len(parts) - 1))
+
+
+def cmd_create(path, replace=False):
+    if replace and not in_tmp(path):
+        fail("--replace chỉ dùng cho file tạm trong .fw/tmp/. File spec thì không bao giờ ghi đè.")
+    if os.path.exists(path) and not replace:
         fail(path + " đã tồn tại — không ghi đè. Dùng `edit` hoặc `set`.")
     text = stdin_text()
     check_keys(file_type(text), [], sec_keys(text), creating=True)
@@ -128,7 +138,7 @@ def validate(ftype, key, value):
         fail("type `%s` chưa được khai trong spec_edit.py" % ftype)
     if key == "status" and value not in rules["status"]:
         fail("status=%s không hợp lệ với type %s. Chỉ nhận: %s" % (value, ftype, ", ".join(rules["status"])))
-    rng = rules.get(key) if key == "checkpoint" else COMMON_INT.get(key)
+    rng = rules.get(key) if isinstance(rules.get(key), tuple) else COMMON_INT.get(key)
     if rng:
         if not value.isdigit() or not rng[0] <= int(value) <= rng[1]:
             fail("%s=%s không hợp lệ. Phải là số nguyên từ %d đến %d" % (key, value, rng[0], rng[1]))
@@ -136,11 +146,85 @@ def validate(ftype, key, value):
         fail("updated=%s không hợp lệ. Định dạng YYYY-MM-DD" % value)
     if key == "approved_at" and value != "—" and not DATE.match(value):
         fail("approved_at=%s không hợp lệ. Định dạng YYYY-MM-DD, hoặc — nếu chưa duyệt" % value)
-    if key == "version" and not VERSION.match(value):
-        fail("version=%s không hợp lệ. Định dạng số.số, ví dụ 1.0, 1.1" % value)
+    if key in ("version", "prd_version") and not VERSION.match(value):
+        fail("%s=%s không hợp lệ. Định dạng số.số, ví dụ 1.0, 1.1" % (key, value))
+    if key == "refined" and value != "—" and not VERSION.match(value):
+        fail("refined=%s không hợp lệ. Là version PRD đã refine xong (vd 1.1), hoặc —" % value)
+
+
+# ── Refine: finding critical / major chưa có quyết định thì chưa được đi tiếp ──────────────
+FINDING = re.compile(r"^### (F\d+) · [^·\n]+ · (critical|major|minor) ·", re.M)
+DECISION = re.compile(r"^- Quyết định:\s*(.*)$", re.M)
+
+
+def undecided_findings(text):
+    """Mã các finding critical / major còn `chờ` (hoặc chưa ghi quyết định)."""
+    out = []
+    heads = list(FINDING.finditer(text))
+    for n, h in enumerate(heads):
+        end = heads[n + 1].start() if n + 1 < len(heads) else len(text)
+        block = text[h.end():end]
+        block = re.split(r"^##\s", block, maxsplit=1, flags=re.M)[0]
+        d = DECISION.search(block)
+        if h.group(2) in ("critical", "major") and (not d or d.group(1).strip().startswith("chờ")):
+            out.append(h.group(1))
+    return out
+
+
+def section_text(text, key):
+    lines = text.split("\n")
+    hs = headings(lines)
+    for n, (i, level, _, k) in enumerate(hs):
+        if k == key:
+            end = next((j for j, lv, _, _ in hs[n + 1:] if lv <= level), len(lines))
+            return "\n".join(lines[i:end])
+    return None
+
+
+def flow_problems(text):
+    """Danh sách vấn đề của mục User flow (rỗng = ổn)."""
+    flow = section_text(text, "userflow")
+    if flow is None:
+        return ["PRD chưa có mục User flow (sec:userflow). Chạy `/prd <EPIC-ID> change thêm User flow`."]
+    problems = []
+    if "```mermaid" not in flow:
+        problems.append("mục User flow chưa có sơ đồ mermaid nào")
+    ucs = sorted(set(UC_HEADING.findall(text)))
+    missing = ["UC-" + n for n in ucs if not re.search(r"UC-%s(?![\d-])" % n, flow)]
+    if missing:
+        problems.append("UC chưa có mặt trong hành trình nào của User flow: " + ", ".join(missing))
+    return problems
 
 
-def guard_done(ftype, block, body):
+def cmd_flowcheck(path):
+    problems = flow_problems(read(path))
+    if problems:
+        fail("\n  - ".join([""] + problems))
+    print("User flow đủ — mọi UC đều có mặt trong ít nhất một hành trình")
+
+
+def refine_path(prd_path):
+    return os.path.join(os.path.dirname(os.path.abspath(prd_path)), "review", "prd-refine.md")
+
+
+def guard_refined(path, block):
+    """PRD chỉ được duyệt khi đã refine đúng version đang có và không còn critical/major chưa quyết."""
+    ver = re.search(r"^version:\s*(\S+)", block, re.M)
+    ref = re.search(r"^refined:\s*(\S+)", block, re.M)
+    if not ref or not ver or ref.group(1) != ver.group(1):
+        fail("không đặt được status=approved: bản v%s chưa refine (refined=%s). Chạy `/prd <EPIC-ID> refine` trước."
+             % (ver.group(1) if ver else "?", ref.group(1) if ref else "chưa có"))
+    flow = flow_problems(read(path))
+    if flow:
+        fail("không đặt được status=approved:\n  - " + "\n  - ".join(flow))
+    rp = refine_path(path)
+    pending = undecided_findings(read(rp)) if os.path.isfile(rp) else []
+    if pending:
+        fail("không đặt được status=approved: còn finding critical/major chưa có quyết định: %s (xem %s)"
+             % (", ".join(pending), rp))
+
+
+def guard_done(ftype, block, body, path):
     """Chặn đặt trạng thái 'đã xong' khi còn mục chờ PO — AI không được tự khẳng định."""
     done = DONE_STATUS.get(ftype)
     sm = re.search(r"^status:\s*(\S+)", block, re.M)
@@ -159,6 +243,11 @@ def guard_done(ftype, block, body):
         if fm and fm.group(1) == "—":
             fail("không đặt được status=%s: chưa có %s. Đặt cùng lệnh, ví dụ: "
                  "set <file> status=%s approved_by=<tên> approved_at=YYYY-MM-DD" % (done, field, done))
+    if ftype == "prd":
+        guard_refined(path, block)
+    if ftype == "prd-refine" and undecided_findings(body):
+        fail("không đặt được status=done: còn finding critical/major chưa có quyết định: %s"
+             % ", ".join(undecided_findings(body)))
 
 
 def cmd_set(path, pairs):
@@ -182,7 +271,7 @@ def cmd_set(path, pairs):
         # Giữ nguyên comment đi kèm ở cuối dòng, chỉ đổi giá trị.
         block = line.sub(lambda mm: mm.group(1) + value + (mm.group(3) or ""), block, count=1)
 
-    guard_done(ftype, block, text[m.end():])
+    guard_done(ftype, block, text[m.end():], path)
     write(path, text[: m.start(1)] + block + text[m.end(1):])
     print("đã đặt %s trong %s" % (", ".join(pairs), path))
 
@@ -191,7 +280,8 @@ def cmd_set(path, pairs):
 # Số và tên tiêu đề là cho người đọc, được đổi tự do. Script và AI tìm mục theo mã `sec:`.
 SEC_KEY = re.compile(r"<!--\s*sec:([a-z0-9-]+)\s*-->")
 HEADING = re.compile(r"^(#{2,6})\s+(.*)$")
-TEMPLATE_OF = {"product": "product.md", "epic": "product-epic.md", "prd": "prd.md"}
+TEMPLATE_OF = {"product": "product.md", "epic": "product-epic.md", "prd": "prd.md",
+               "prd-refine": "prd-refine.md"}
 TEMPLATES_DIR = os.path.join(os.path.dirname(os.path.abspath(__file__)), "..", "templates")
 
 
@@ -286,6 +376,26 @@ def cmd_section(path, key):
         "" if have else ". File theo khuôn cũ: chạy `upgrade <file>` trước."))
 
 
+def missing_frontmatter(ftype, text):
+    """Các dòng frontmatter có trong khuôn mà file chưa có. Giá trị mẫu dạng {…} đổi thành —."""
+    name = TEMPLATE_OF.get(ftype)
+    tpath = os.path.join(TEMPLATES_DIR, name) if name else None
+    if not tpath or not os.path.isfile(tpath):
+        return []
+    tm = re.match(r"^---\r?\n(.*?)\r?\n---", read(tpath), re.S)
+    fm = re.match(r"^---\r?\n(.*?)\r?\n---", text, re.S)
+    if not tm or not fm:
+        return []
+    have = set(re.findall(r"^([a-z_]+):", fm.group(1), re.M))
+    out = []
+    for line in tm.group(1).split("\n"):
+        k = re.match(r"^([a-z_]+):\s*(\S*)(.*)$", line)
+        if k and k.group(1) not in have:
+            value = "—" if k.group(2).startswith("{") else k.group(2)
+            out.append("%s: %s%s" % (k.group(1), value, k.group(3)))
+    return out
+
+
 def cmd_upgrade(path):
     """Gắn mã sec: cho file theo khuôn cũ, bằng cách khớp tiêu đề với khuôn. Chỉ cần chạy một lần."""
     text = read(path)
@@ -308,6 +418,11 @@ def cmd_upgrade(path):
         else:
             unknown.append(title)
     new_text = "\n".join(lines)
+    # Trường frontmatter khuôn mới có mà file cũ chưa có (vd refined, approved_by) → thêm với giá trị —.
+    add_fm = missing_frontmatter(ftype, new_text)
+    if add_fm:
+        fm = re.match(r"^---\r?\n(.*?)(\r?\n)---", new_text, re.S)
+        new_text = new_text[:fm.end(1)] + "".join(fm.group(2) + l for l in add_fm) + new_text[fm.end(1):]
     # Mã Business Rule: R3 → BR3 (khuôn từ 0.6.1). Epic: đổi mọi chỗ. PRD: chỉ trong (nguồn: …).
     renamed = [0]
     if ftype == "epic":
@@ -322,6 +437,8 @@ def cmd_upgrade(path):
         write(path, new_text)
     missing = [(k, orig) for k, _, orig in tpl if k not in used]
     print("đã gắn mã: %s" % (", ".join(added) or "không có gì mới"))
+    if add_fm:
+        print("đã thêm trường frontmatter: " + ", ".join(l.split(":")[0] for l in add_fm))
     if renamed[0]:
         print("đã đổi mã Business Rule R… → BR…: %d chỗ" % renamed[0])
     if unknown:
@@ -411,11 +528,16 @@ def main(argv):
     if argv[:1] == ["--check"]:
         print("ok — Python %s" % sys.version.split()[0])
         return
-    if len(argv) < 2 or argv[0] not in ("create", "edit", "set", "pending", "confirm", "next-uc", "coverage", "section", "upgrade"):
+    if len(argv) < 2 or argv[0] not in ("create", "edit", "set", "pending", "confirm", "next-uc", "coverage", "section", "upgrade", "flowcheck"):
         fail(__doc__.split("Cách dùng")[1], 2)
     cmd, path, rest = argv[0], argv[1], argv[2:]
     if cmd == "create":
-        cmd_create(path)
+        if path == "--replace":
+            if not rest:
+                fail("cách dùng: create --replace <file trong .fw/tmp/>", 2)
+            cmd_create(rest[0], replace=True)
+        else:
+            cmd_create(path)
     elif cmd == "edit":
         cmd_edit(path)
     elif cmd == "pending":
@@ -428,6 +550,8 @@ def main(argv):
         cmd_section(path, rest[0])
     elif cmd == "upgrade":
         cmd_upgrade(path)
+    elif cmd == "flowcheck":
+        cmd_flowcheck(path)
     elif cmd == "next-uc":
         cmd_next_uc(path)
     elif cmd == "coverage":