spec-lite 1.5.1 → 1.6.0

package/skills-overview.md

@@ -62,14 +62,14 @@ Nhận F-XXX từ argument (hoặc chọn từ prd Feature Index) + tùy chọn
 - **Create-only**: frd.md của feature mục tiêu **chưa tồn tại**. Đã tồn tại → **dừng, redirect `/spec-new`** (thay đổi feature đã spec phải đi qua integration để delta cascade + kéo theo `/spec-tech`/`/spec-test`).
 - Feature mới **đơn lẻ** chưa có trong Index → offer **register một row vào `prd.md > Features`** rồi author.
 
-**Sections template** (7): Overview · User Flows · Feature Acceptance Criteria · User Stories · Verification Rules · Scope · Dependencies
+**Sections template**: Overview · User Flows · Feature Acceptance Criteria (end-to-end) · Non-Functional Requirements · Data & Migration *(nếu có)* · User Stories · Verification Rules · Scope · Dependencies
 
 **Phạm vi hẹp — chủ yếu `frd.md`:**
 - Reference component frd phụ thuộc (Components Used → C-XXX có sẵn).
 - Component cần-nhưng-chưa-có → ghi *candidate* + Open Question cho `/spec-sad`/architect chốt boundary.
 - Có thể register **một** feature row vào prd (side-effect lên prd).
 - **Cascade vocabulary lên `domain.md`** (pha mô tả/WHAT): glossary term + **định nghĩa shared entity** (attributes), `Owner: TBD` để `/spec-sad` gán ở pha thiết kế (HOW). BA define entity, KHÔNG carve/gán Owner.
-- **KHÔNG** tạo `crd.md`/`cdd.md` (sinh ở integration time qua `/spec-new` cascade), không tạo `fdd.md`/`tsd.md`, không đổi status feature đã có, không đụng sad.
+- **KHÔNG** tạo `crd.md`/`cdd.md` (sinh ở integration time qua `/spec-new` cascade), không tạo `fdd.md`/`test-design.md`, không đổi status feature đã có, không đụng sad.
 - Change History operation = `manual` (cả frd lẫn domain). Verification Rules dùng quy ước option-suggester của `/spec-new` (BA owns).
 
 Bỏ qua bước này cũng được — `/spec-new` sẽ tự tạo frd làm fallback khi integration đầu tiên chạm tới feature.
@@ -94,14 +94,14 @@ Bỏ qua bước này cũng được — `/spec-new` sẽ tự tạo frd làm fa
 
 Dùng khi onboarding một project đã có code vào SDD. Mục tiêu: extract main artifacts từ codebase hiện có, sau đó chuyển vào **Integration Pipeline** để implement.
 
-**Thứ tự bắt buộc:** `init` → `component` → `feature` → `tsd` *(tùy chọn — bootstrap test coverage tracking)*
+**Thứ tự bắt buộc:** `init` → `component` → `feature` → `test-design` *(tùy chọn — bootstrap test coverage tracking)*
 
 | Command | Scan | Reads | Writes |
 | --- | --- | --- | --- |
 | `/spec-brownfield-init [path]` | tech stack, README, auth, infra | attachments | `prd.md` *(no indexes)*, `domain.md` *(glossary only)*, `sad.md` |
 | `/spec-brownfield-component [path]` | module dirs, service/controller/entity files | `prd.md`, `domain.md` | `component/{C-XXX}-*/crd.md + cdd.md`; update `prd.md` Component Index; cascade Shared Entities → `domain.md` |
 | `/spec-brownfield-feature [path]` | use cases, routes, test files | `prd.md`, `domain.md`, `component/*/crd.md` | `feature/{F-XXX}-*/frd.md + fdd.md`; update `prd.md` Feature Index |
-| `/spec-tsd [F-XXX]` | — *(không scan code, derive 100% từ frd)* | `feature/{F-XXX}-*/frd.md`, `fdd.md` *(optional)* | `feature/{F-XXX}-*/tsd.md` |
+| `/spec-test-design [F-XXX]` | — *(không scan code, derive 100% từ frd)* | `feature/{F-XXX}-*/frd.md`, `fdd.md` *(optional)* | `feature/{F-XXX}-*/test-design.md` |
 
 ### Phân chia trách nhiệm
 
@@ -173,21 +173,21 @@ Component Index và Feature Index **để placeholder** — sẽ được điề
 
 ---
 
-### `/spec-tsd [F-XXX]`
+### `/spec-test-design [F-XXX]`
 
-**Mục tiêu:** Bootstrap `tsd.md` (Test Spec Document) cho một feature trực tiếp từ frd.md — mechanical derive Test Scenarios + Test Cases. KHÔNG cần integration.
+**Mục tiêu:** Bootstrap `test-design.md` (Test Design Document) cho một feature trực tiếp từ frd.md — mechanical derive Test Scenarios + Test Cases. KHÔNG cần integration.
 
 **Khi nào dùng:**
-- **Brownfield onboarding** — sau `/spec-brownfield-feature` đã sinh frd.md, chạy `/spec-tsd` cho từng feature để có test coverage tracking từ ngày 1.
-- **Greenfield deferred** — feature đã có frd.md từ lâu nhưng tsd.md chưa được tạo.
-- **Ad-hoc rebuild** — tsd drift khỏi frd, regenerate fresh.
+- **Brownfield onboarding** — sau `/spec-brownfield-feature` đã sinh frd.md, chạy `/spec-test-design` cho từng feature để có test coverage tracking từ ngày 1.
+- **Greenfield deferred** — feature đã có frd.md từ lâu nhưng test-design.md chưa được tạo.
+- **Ad-hoc rebuild** — test-design drift khỏi frd, regenerate fresh.
 
 **Khi nào KHÔNG dùng:**
-- Có integration cascade từ spec.md → frd → muốn cập nhật tsd theo changeset → dùng `/spec-test` (preserve ID stable).
+- Có integration cascade từ spec.md → frd → muốn cập nhật test-design theo changeset → dùng `/spec-test` (preserve ID stable).
 
-**Derivation:** mechanical 1:1 từ frd — mỗi Flow → TS, mỗi US/AC → Functional TC, mỗi VR → ≥1 positive + 1+ negative Validation TC, mỗi FAC → Feature AC TC. Priority deterministic theo US Priority + FAC group. KHÔNG interview.
+**Derivation:** mechanical 1:1 từ frd — mỗi Flow → TS, mỗi US/AC → Functional TC, mỗi VR → ≥1 positive + 1+ negative Validation TC, mỗi FAC → E2E TC, mỗi NFR → Non-functional TC, mỗi DM → Data & Migration TC. Priority deterministic theo US Priority + loại requirement. KHÔNG interview.
 
-**Cảnh báo overwrite:** nếu tsd.md đã tồn tại, skill hỏi confirm rõ ràng — regenerate sẽ reassign IDs từ 001 và làm vỡ test code references nếu có.
+**Cảnh báo overwrite:** nếu test-design.md đã tồn tại, skill hỏi confirm rõ ràng — regenerate sẽ reassign IDs từ 001 và làm vỡ test code references nếu có.
 
 ---
 
@@ -203,7 +203,7 @@ Component Index và Feature Index **để placeholder** — sẽ được điề
 /spec-brownfield-feature [path]
          │
          ▼
-/spec-tsd [F-XXX]   (tùy chọn — chạy cho mỗi feature để bootstrap tsd.md)
+/spec-test-design [F-XXX]   (tùy chọn — chạy cho mỗi feature để bootstrap test-design.md)
          │
          ▼
 (fill in NEEDS_CLARIFY items khi có thêm context)
@@ -225,7 +225,7 @@ Nhóm skill dọn dẹp / migrate artifacts hiện có sau khi template được
 
 ### `/artifact-audit [type]`
 
-Phát hiện **main artifact** lỗi thời so với template (xem `conventions.md` §7 Template Versioning). So `template_version` của artifact với `template_version` đọc thẳng từ template tại `.claude/templates/main/` — không manifest, không cache. **Chỉ main artifacts** (`prd`/`domain`/`sad`/`frd`/`fdd`/`tsd`/`crd`/`cdd`); integration artifacts ngoài scope.
+Phát hiện **main artifact** lỗi thời so với template (xem `conventions.md` §7 Template Versioning). So `template_version` của artifact với `template_version` đọc thẳng từ template tại `.claude/templates/main/` — không manifest, không cache. **Chỉ main artifacts** (`prd`/`domain`/`sad`/`frd`/`fdd`/`test-design`/`crd`/`cdd`); integration artifacts ngoài scope.
 
 **Scope:** argument là 1 main type (`/artifact-audit frd`) hoặc list (`frd,crd`); không có arg → audit mọi main type. Type resolve theo **filename**.
 
@@ -260,7 +260,7 @@ Sau khi main artifacts đã sẵn sàng (từ greenfield hoặc brownfield), m
 | --- | --- | --- |
 | `/spec-new [requirement]` | `prd.md`, `domain.md`, frd(s), crd(s) | `.specs/integrations/{slug}/spec.md` |
 | `/spec-tech [number]` | `sad.md`, `domain.md`, cdd(s), fdd(s), `spec.md` | `.specs/integrations/{slug}/tech.md` |
-| `/spec-test [number]` | `spec.md`, frd(s), tsd(s), `tech.md` *(optional)* | `.specs/integrations/{slug}/test.md`, `feature/{F-XXX}/tsd.md` |
+| `/spec-test [number]` | `spec.md`, frd(s), test-design(s), `tech.md` *(optional)* | `.specs/integrations/{slug}/test.md`, `feature/{F-XXX}/test-design.md` |
 | `/plan` | `spec.md`, `tech.md`, `domain.md` | `plan.md`, `todo.md` |
 | `/build` | `plan.md`, `todo.md` | *(source code)* |
 | `/review-integration` | `spec.md`, `tech.md`, `plan.md`, `todo.md`, *(source code)* | *(findings report)* |
@@ -308,21 +308,22 @@ Tạo `.specs/integrations/{slug}/test.md` cho một integration. Chạy bởi *
 
 **Luôn hiển thị danh sách tất cả integrations** trong `.specs/integrations/`, đánh dấu `✓` những cái đã có `test.md`. Nếu có argument → chọn luôn không cần hiển thị.
 
-**Gate check:** spec.md phải `approved` + `features:` non-empty. Integration có `features: []` (thuần component) → dừng vì component-level `tsd` không tồn tại trong kit này.
+**Gate check:** spec.md phải `approved` + `features:` non-empty. Integration có `features: []` (thuần component) → dừng vì component-level `test-design` không tồn tại trong kit này.
 
-Context load: `spec.md` + `frd.md` (cho mỗi feature — source của TC) + `tsd.md` (cho mỗi feature nếu tồn tại, để diff và assign next ID) + `tech.md` *(optional, hint env / data set / NFR threshold)*.
+Context load: `spec.md` + `frd.md` (cho mỗi feature — source của TC) + `test-design.md` (cho mỗi feature nếu tồn tại, để diff và assign next ID) + `tech.md` *(optional, hint env / data set / NFR threshold)*.
 
 **KHÔNG interview** — agent **mechanical derive** TC từ frd.md:
 - mỗi Flow → 1 Test Scenario (`TS-F{NNN}-{seq}`)
 - mỗi US AC → 1 Functional TC
 - mỗi VR → 1 positive + 1+ negative Validation TC
-- mỗi FAC → 1 Feature AC TC (theo nhóm e2e / consistency / NFR / data & migration)
+- mỗi FAC → 1 E2E TC (Type e2e / consistency)
+- mỗi NFR → 1 Non-functional TC; mỗi DM → 1 Data & Migration TC
 
-Priority deterministic: US Priority Must/Should/Could → P0/P1/P2 (TC cover US/AC); VR → inherit max priority của Refs; FAC e2e/security/data → P0, consistency/perf/a11y → P1.
+Priority deterministic: US Priority Must/Should/Could → P0/P1/P2 (TC cover US/AC); VR → inherit max priority của Refs; FAC e2e + NFR security + DM → P0, FAC consistency + NFR perf/a11y → P1.
 
-**Cascade Proposals** đề xuất delta cho mỗi `feature/{F-XXX}/tsd.md` qua Changes blocks với markers `[NEW]/[MODIFY {field}]/[REMOVE]`. Feature no-delta → **bỏ block hoàn toàn**, ghi `no-op` trong Cascade Summary.
+**Cascade Proposals** đề xuất delta cho mỗi `feature/{F-XXX}/test-design.md` qua Changes blocks với markers `[NEW]/[MODIFY {field}]/[REMOVE]`. Feature no-delta → **bỏ block hoàn toàn**, ghi `no-op` trong Cascade Summary.
 
-QC review: override priority defaults, fill placeholders (env / data / OOS / strategy), add extra edge cases ngoài AC/VR nếu thấy cần. Sau confirm → auto-cascade ghi tsd.md.
+QC review: override priority defaults, fill placeholders (env / data / OOS / strategy), add extra edge cases ngoài AC/VR nếu thấy cần. Sau confirm → auto-cascade ghi test-design.md.
 
 ---
 
@@ -410,7 +411,7 @@ Di chuyển integration đã hoàn thành hoặc không còn active từ `.specs
         ▼                       ▼
    /spec-tech              /spec-test
    (review + cascade       (review + cascade
-    → cdd / fdd / sad)      → tsd)
+    → cdd / fdd / sad)      → test-design)
         │                       │
         └───────────┬───────────┘
                     │ (tech.md approved — /plan KHÔNG đợi test.md)

package/templates/integrations/test-template.md

@@ -12,15 +12,15 @@ referenced_by:
 
 ## Context
 
-<!-- Tóm tắt ngắn các thông tin quan trọng từ context đã load (spec.md, tech.md, frd.md, current tsd.md của các feature touched), để file self-contained. -->
+<!-- Tóm tắt ngắn các thông tin quan trọng từ context đã load (spec.md, tech.md, frd.md, current test-design.md của các feature touched), để file self-contained. -->
 
 ## Test Strategy
 
 <!--
 Strategy cho integration này — KHÔNG lặp lại Strategy chung của feature.
 Chỉ ghi delta hoặc nhấn mạnh phần đặc thù integration:
-- Loại test ưu tiên (functional / validation / FAC / cross-story consistency / NFR).
-- Environments / data set / fixture đặc thù.
+- Loại test ưu tiên (functional / validation / FAC e2e: journey / consistency / integrity / NFR / data & migration).
+- Yêu cầu data đặc thù integration (shape) — nguồn/refresh/env assignment thuộc execution layer, KHÔNG ở đây.
 - Risk areas (vd: data migration cần backfill verify, integration đụng auth flow → security regression).
 -->
 
@@ -28,46 +28,40 @@ Chỉ ghi delta hoặc nhấn mạnh phần đặc thù integration:
 
 - {bullet ngắn}
 
-### Environments
-
-| Env | Mục đích | Data set | Ghi chú |
-| --- | --- | --- | --- |
-| {dev / staging / prod-like} | {functional / E2E / load} | {seed / anonymized prod} | ... |
-
 ## Changes
 
 <!--
-test.md = changeset patch áp lên feature tsd.md(s). Mỗi block dưới đây tương ứng 1 feature bị touched.
+test.md = changeset patch áp lên feature test-design.md(s). Mỗi block dưới đây tương ứng 1 feature bị touched.
 Lặp block cho mỗi feature trong `features:` frontmatter mà có delta TC.
 
 **Khi nào BỎ block của 1 feature:**
-- Diff giữa frd hiện tại và tsd.md hiện tại của feature đó = empty (frd không thêm/đổi item nào mà tsd chưa cover).
+- Diff giữa frd hiện tại và test-design.md hiện tại của feature đó = empty (frd không thêm/đổi item nào mà test-design chưa cover).
 - Bỏ block hoàn toàn, ghi `no-op` cho feature đó trong Cascade Summary để minh bạch.
 
 **Operation:**
-- `create` — feature/{F-XXX}/tsd.md chưa tồn tại. Nội dung đầy đủ theo template gốc, mọi TS/TC implicit [NEW] (không cần marker).
-- `update` — feature/{F-XXX}/tsd.md đã tồn tại. Chỉ liệt kê TS/TC bị ảnh hưởng. Mỗi item có marker:
-  - `[NEW]` — TS/TC chưa có trong tsd hiện tại
+- `create` — feature/{F-XXX}/test-design.md chưa tồn tại. Nội dung đầy đủ theo template gốc, mọi TS/TC implicit [NEW] (không cần marker).
+- `update` — feature/{F-XXX}/test-design.md đã tồn tại. Chỉ liệt kê TS/TC bị ảnh hưởng. Mỗi item có marker:
+  - `[NEW]` — TS/TC chưa có trong test-design hiện tại
   - `[MODIFY {field}]` — TS/TC đã có, đang đổi field cụ thể (ví dụ `[MODIFY steps]`, `[MODIFY expected]`, `[MODIFY priority]`, `[MODIFY covers]`)
   - `[REMOVE]` — TS/TC đã có, sẽ bị xóa (ID retire — không tái sử dụng)
 
-**Format reference:** dùng đúng format của template gốc — KHÔNG duplicate skeleton ở đây. `templates/main/feature/tsd-template.md` là single source of truth cho format.
+**Format reference:** dùng đúng format của template gốc — KHÔNG duplicate skeleton ở đây. `templates/main/feature/test-design-template.md` là single source of truth cho format.
 
-**ID assignment:** agent đọc tsd.md hiện tại của feature để xác định next ID:
+**ID assignment:** agent đọc test-design.md hiện tại của feature để xác định next ID:
 - `TS-F{NNN}-{seq}` cho Test Scenarios
-- `TC-F{NNN}-{seq}` cho Test Cases (Functional, Validation, Feature AC dùng chung sequence — không reset theo loại)
+- `TC-F{NNN}-{seq}` cho Test Cases (Functional, Validation, E2E dùng chung sequence — không reset theo loại)
 - ID **stable** — không tái sử dụng khi [REMOVE], không renumber khi [MODIFY].
 
-**Auto-cascade:** sau khi human approve test.md, agent tự apply tất cả Changes blocks vào feature tsd.md. Integration test.md được giữ như PR record bất biến.
+**Auto-cascade:** sau khi human approve test.md, agent tự apply tất cả Changes blocks vào feature test-design.md. Integration test.md được giữ như PR record bất biến.
 -->
 
-### feature/{F-XXX}-{feature-slug}/tsd.md *(lặp block cho mỗi feature trong `features:` mà có delta TC; bỏ block nếu no-delta)*
+### feature/{F-XXX}-{feature-slug}/test-design.md *(lặp block cho mỗi feature trong `features:` mà có delta TC; bỏ block nếu no-delta)*
 
 **Operation:** create | update
-**Format reference:** [tsd-template.md](../../templates/main/feature/tsd-template.md)
+**Format reference:** [test-design-template.md](../../templates/main/feature/test-design-template.md)
 
 <!--
-operation=create → nội dung đầy đủ theo tsd-template.md (Overview, Test Strategy, Test Scenarios, Functional TCs, Validation TCs, Feature AC TCs, Test Data, Traceability Matrix, Out of Scope, Dependencies).
+operation=create → nội dung đầy đủ theo test-design-template.md (Overview, Test Strategy, Test Scenarios, Functional TCs, Validation TCs, E2E TCs, Non-Functional TCs, Data & Migration TCs, Test Data Requirements, Traceability Matrix, Out of Scope, Dependencies).
 operation=update → chỉ liệt kê TS/TC bị ảnh hưởng, mỗi item có marker, và **bắt buộc update Traceability Matrix** rows tương ứng.
 
 Ví dụ operation=update:
@@ -121,13 +115,13 @@ Ví dụ operation=update:
 | `TC-F001-030` | `VR-F001-008` | `refund_reason` | `"Customer changed mind"` | accept | positive | NEW |
 | `TC-F001-031` | `VR-F001-008` | `refund_reason` | `"abc"` | reject — min length | negative | NEW |
 
-#### Feature AC Test Cases
+#### E2E Test Cases
 
 ##### TC-F001-040 [NEW]: E2E checkout + refund
 
 | Field | Value |
 | --- | --- |
-| **Type** | Feature AC — e2e |
+| **Type** | E2E — journey |
 | **Priority** | P0 |
 | **Covers** | `FAC-F001-004` |
 | **Spans** | `US-F001-001`, `US-F001-005` |
@@ -135,6 +129,32 @@ Ví dụ operation=update:
 **Steps:** ...
 **Expected:** ...
 
+#### Non-Functional Test Cases
+
+##### TC-F001-045 [NEW]: Refund endpoint chịu tải
+
+| Field | Value |
+| --- | --- |
+| **Type** | Non-functional — performance |
+| **Priority** | P1 |
+| **Covers** | `NFR-F001-002` |
+
+**Steps:** ...
+**Expected:** ...
+
+#### Data & Migration Test Cases
+
+##### TC-F001-048 [NEW]: Backfill refund_reason cho order cũ
+
+| Field | Value |
+| --- | --- |
+| **Type** | Data migration |
+| **Priority** | P0 |
+| **Covers** | `DM-F001-001` |
+
+**Steps:** ...
+**Expected:** ...
+
 #### Traceability Matrix
 
 Bổ sung row cho mọi item mới + cập nhật row cho item bị [MODIFY]. KHÔNG xóa row của [REMOVE] — đánh dấu retire.
@@ -145,6 +165,8 @@ Bổ sung row cho mọi item mới + cập nhật row cho item bị [MODIFY]. KH
 | `AC-F001-012` | Story AC | `TC-F001-022` | ✅ | NEW |
 | `VR-F001-008` | VR | `TC-F001-030`, `TC-F001-031` | ✅ | NEW |
 | `FAC-F001-004` | Feature AC | `TC-F001-040` | ✅ | NEW |
+| `NFR-F001-002` | NFR | `TC-F001-045` | ✅ | NEW |
+| `DM-F001-001` | Data & Migration | `TC-F001-048` | ✅ | NEW |
 | Flow 3 | Flow | `TS-F001-003` | ✅ | NEW |
 -->
 
@@ -162,5 +184,5 @@ Bổ sung row cho mọi item mới + cập nhật row cho item bị [MODIFY]. KH
 
 | Artifact | Operation | Summary |
 | --- | --- | --- |
-| `feature/F-XXX-{slug}/tsd.md` | create / update | {ngắn: +N TS, +M TC, modify TC-F001-008, remove TC-F001-015} |
-| `feature/F-YYY-{slug}/tsd.md` | no-op | frd không đổi, tsd hiện tại đã cover full |
+| `feature/F-XXX-{slug}/test-design.md` | create / update | {ngắn: +N TS, +M TC, modify TC-F001-008, remove TC-F001-015} |
+| `feature/F-YYY-{slug}/test-design.md` | no-op | frd không đổi, test-design hiện tại đã cover full |

package/templates/main/feature/frd-template.md

@@ -4,10 +4,15 @@ type: frd
 status: draft
 owner: "{BA}"
 feature_id: "{Feature ID từ PRD Feature Index}"
-template_version: 1
+template_version: 2
 migrations:
   - to: 1
     note: "baseline"
+  - to: 2
+    note: "Tách FAC theo type/execution-mode: FAC rescope còn end-to-end (journey + consistency + integrity); tách entries loại NFR → section 'Non-Functional Requirements' và loại data/migration → section 'Data & Migration', cả hai required-emptyable (heading luôn hiện, để trống nếu không có). NFR-F* tham chiếu NFR-* của PRD nếu có thể. Test case downstream giữ prefix TC-F*."
+    add: ["Non-Functional Requirements", "Data & Migration"]
+    update:
+      - { section: "Feature Acceptance Criteria", change: "rescope còn end-to-end (e2e liên story + cross-story consistency + integrity); tách entries loại NFR → section 'Non-Functional Requirements' (required-emptyable), loại data/migration → section 'Data & Migration' (required-emptyable); relocate tương tác, e2e/consistency giữ nguyên" }
 referenced_by:
   - conventions.md > 3. Main Artifacts > 3.3 Feature level > frd.md > Cấu trúc
   - skills/spec-frd/SKILL.md > Process > Bước 5: Write — sinh draft
@@ -55,25 +60,55 @@ flowchart TD
 
 ## Feature Acceptance Criteria
 
-Criteria áp dụng cho **toàn bộ feature** — phần Story AC không cover được. Mọi Feature AC phải test được pass/fail.
+Criteria **end-to-end** áp cho toàn feature mà Story AC lẻ không cover được — verify sự **kết nối giữa các phần** (emergent), không phải behavior từng story. Mọi Feature AC phải test được pass/fail.
 
-Thường gồm 4 nhóm:
-- **End-to-end liên story** — full happy path đi qua nhiều story.
-- **Cross-story consistency** — UI/behavior đồng nhất giữa các màn trong feature.
-- **Non-functional** — performance, accessibility, browser support, i18n, security.
-- **Data & migration** — backfill, schema migration, không mất data cũ.
+Gồm 3 shape (đều functional, scope rộng — trục phân chia + lý do xem `terms/001-frd-fac-pillars.md`; nền tảng type/scope xem `terms/002-functional-test-vs-e2e-test.md`):
+- **Journey (liên story)** — full happy path đi *tuần tự* qua nhiều story trong 1 session; verify state persist + không đứt giữa các bước.
+- **Consistency (đa màn)** — UI/behavior đồng nhất khi *so* nhiều màn trong feature với nhau.
+- **Integrity (bất biến liên story)** — business invariant phải đúng khi *kết hợp* nhiều story, **không nhất thiết theo trình tự** (vd: xóa account → cascade xóa mọi order ở mọi module; tổng/đối soát khớp sau nhiều thao tác). Verify *trạng thái nhất quán cuối cùng*, không phải hành trình tuần tự — đây là nhà cho cross-story functional rule mà journey/consistency không ôm.
 
+> NFR (performance, a11y, security, browser, i18n) và Data & Migration **KHÔNG** thuộc đây — chúng có section riêng bên dưới (khác type / execution-mode).
 > Out of scope: release readiness (runbook/rollout/legal sign-off) và success metric/KPI post-release — đặt ở artifact khác (`tech.md`, `sad.md`, hoặc PMO checklist).
 
 Feature AC ID format: `FAC-F{NNN}-{seq}` — counter **độc lập** với Story AC (`AC-F{NNN}-{seq}`). ID **stable** — không tái sử dụng seq khi xóa, không renumber.
 
-Format: **Given/When/Then bắt buộc** — kể cả NFR / consistency. **Then phải đo được**: ngưỡng cụ thể HOẶC danh sách item so sánh.
+Format: **Given/When/Then bắt buộc** — kể cả consistency. **Then phải đo được**: ngưỡng cụ thể HOẶC danh sách item so sánh.
 
 - `FAC-{F_ID}-001`
   - **Given** {precondition đo được}
   - **When** {action}
   - **Then** {outcome có threshold hoặc danh sách cụ thể, không vague}
 
+## Non-Functional Requirements
+
+<!-- Required-emptyable: GIỮ heading; để trống (không bullet) nếu feature không có NFR riêng ngoài bar chung của PRD. -->
+
+NFR áp cho feature — **non-functional type** (performance, accessibility, security, browser support, i18n). Khác Feature AC ở chỗ verify *chất lượng dưới điều kiện*, không phải *làm đúng việc*.
+
+> **Security — phân biệt rõ type:** access-control / authz rules ("role X không được thấy/làm Y") là **functional** → đặt ở Story AC hoặc Verification Rules, KHÔNG vào đây. Chỉ phần **non-functional** của security (pentest, vulnerability scan, security posture / hardening — verify bằng scanner, không phải walk UI) mới là NFR.
+
+Quan hệ với PRD: mỗi NFR **tham chiếu `NFR-*` của PRD nếu có thể** (refine/siết bar chung cho feature này); nếu là yêu cầu **đặc thù-feature** mà PRD không có → đứng độc lập (không ref).
+
+NFR ID format: `NFR-F{NNN}-{seq}` — counter độc lập. ID **stable** — không tái sử dụng seq khi xóa, không renumber. Format **Given/When/Then bắt buộc**, **Then đo được** (ngưỡng cụ thể).
+
+- `NFR-{F_ID}-001` *(refines `NFR-P01` — nếu có)*
+  - **Given** {điều kiện đo được — vd: 100 RPS sustained 5 phút}
+  - **When** {action}
+  - **Then** {ngưỡng cụ thể — vd: p95 ≤ 500ms, error rate ≤ 0.1%}
+
+## Data & Migration
+
+<!-- Required-emptyable: GIỮ heading; để trống (không bullet) nếu feature không đụng migration / backfill data cũ. -->
+
+Yêu cầu về **dữ liệu cũ qua nâng cấp** — backfill, schema migration, không mất/hỏng data hiện hữu. Functional-type nhưng execution-mode riêng (chạy migration trên dataset, không phải UI flow).
+
+DM ID format: `DM-F{NNN}-{seq}` — counter độc lập. ID **stable** — không tái sử dụng seq khi xóa, không renumber. Format **Given/When/Then bắt buộc**, **Then đo được** (đếm bản ghi / so khớp cụ thể).
+
+- `DM-{F_ID}-001`
+  - **Given** {dataset cũ đo được — vd: 10.000 bản ghi địa chỉ format cũ}
+  - **When** {chạy migration}
+  - **Then** {kết quả đo được — vd: 10.000/10.000 đọc được, 0 bản ghi null, count khớp trước/sau}
+
 ## User Stories
 
 US ID format: `US-F{NNN}-{seq}` — đánh số tăng dần toàn feature. ID **stable** — không tái sử dụng seq khi xóa, không renumber.

package/templates/main/feature/{tsd-template.md → test-design-template.md}

@@ -1,33 +1,39 @@
 ---
-id: tsd-{feature}
-type: tsd
+id: test-design-{feature}
+type: test-design
 status: draft
 owner: "{QC}"
 feature_id: "{Feature ID — match frd.md}"
 frd_ref: "feature/{F-XXX}-{slug}/frd.md"
-template_version: 1
+template_version: 2
 migrations:
   - to: 1
     note: "baseline"
-referenced_by:
-  - conventions.md > 3. Main Artifacts > 3.3 Feature level > tsd.md > Cấu trúc
+  - to: 2
+    note: "Mirror frd v2 + trim execution-leakage (giữ vai WHAT). Tách 'Feature AC Test Cases' (v1) theo type/execution-mode: đổi tên → 'E2E Test Cases' (chỉ FAC end-to-end: journey/consistency/integrity), tách TC loại NFR → 'Non-Functional Test Cases' và loại data/migration → 'Data & Migration Test Cases', cả hai required-emptyable. TC giữ prefix TC-F* chung sequence."
+    add: ["E2E Test Cases", "Non-Functional Test Cases", "Data & Migration Test Cases"]
+    remove:
+      - { section: "Feature AC Test Cases", reason: "đổi tên → 'E2E Test Cases' (chỉ cover FAC end-to-end) + tách TC Type=NFR → 'Non-Functional Test Cases' (required-emptyable), Type=data/migration → 'Data & Migration Test Cases' (required-emptyable); carry-over toàn bộ TC theo field Type, không mất nội dung" }
+      - { section: "Test Strategy > Environments", reason: "env assignment/scheduling là execution concern — design chỉ cần env requirement ở per-TC Preconditions" }
+    update:
+      - { section: "Test Data", change: "đổi thành 'Test Data Requirements' — bỏ cột Nguồn (fixture/factory = provisioning) + Refresh (cadence = execution), thêm cột 'Yêu cầu data (shape)'" }
 ---
 
 <!--
-Canonical format cho feature/{F-XXX}-{slug}/tsd.md.
+Canonical format cho feature/{F-XXX}-{slug}/test-design.md.
 Sinh từ frd.md — mỗi AC / VR / Flow phải có ít nhất 1 test case cover.
 Traceability Matrix ở cuối là source of truth để kiểm tra coverage trước khi đóng feature.
 
-TSD chỉ tồn tại ở FEATURE level — không tách tsd riêng cho component.
+Test Design chỉ tồn tại ở FEATURE level — không tách test-design riêng cho component.
 Component là internal building block; contract của component được verify gián tiếp qua TC ở đây
 và qua unit test trong code (không phải spec artifact).
 -->
 
-# Test Spec: {Feature Name}
+# Test Design: {Feature Name}
 
 ## Overview
 
-{Phạm vi tsd này — feature gì, các luồng / AC / VR chính cần verify, trong 2-3 câu.}
+{Phạm vi test-design này — feature gì, các luồng / AC / VR chính cần verify, trong 2-3 câu.}
 
 ## Test Strategy
 
@@ -36,13 +42,11 @@ và qua unit test trong code (không phải spec artifact).
 - **Functional**: verify từng US / Story AC theo happy + edge.
 - **Validation**: derive 1:1 từ Verification Rules.
 - **Flow-based (E2E)**: chạy theo Mermaid flows trong frd.
-- **Feature AC**: cover các Feature AC — e2e liên story, cross-story consistency, NFR, data & migration.
+- **Feature AC (end-to-end)**: cover `FAC-*` — journey liên story + cross-story consistency.
+- **Non-functional**: cover `NFR-*` — performance / a11y / security (execution-mode riêng: load test, scanner...).
+- **Data & migration** *(nếu có)*: cover `DM-*` — chạy migration trên dataset, verify data cũ không mất/hỏng.
 
-### Environments
-
-| Env | Mục đích | Data set | Ghi chú |
-| --- | --- | --- | --- |
-| {dev / staging / prod-like} | {functional / E2E / load} | {seed / anonymized prod} | ... |
+> Yêu cầu env của mỗi test class ghi inline ở **Preconditions** từng TC (vd "env perf-test", "dataset prod-like đã load"). Gán env tier cụ thể + lịch chạy thuộc **execution layer** — không ở test-design.
 
 ## Test Scenarios
 
@@ -93,7 +97,7 @@ TC ID format: `TC-F{NNN}-{seq}` — đánh số tăng dần toàn feature. ID **
 - {observable outcome 1}
 - {observable outcome 2}
 
-**Test data:** {ref Test Data section hoặc inline literal}
+**Test data:** {ref Test Data Requirements hoặc inline literal}
 
 ---
 
@@ -113,15 +117,15 @@ Form bảng để dễ scan; case phức tạp có thể tách ra block riêng n
 | `TC-{F_ID}-011` | `VR-{F_ID}-001` | `email` | `""` | reject — required | negative |
 | `TC-{F_ID}-012` | `VR-{F_ID}-001` | `email` | `"abc"` | reject — invalid format | negative |
 
-## Feature AC Test Cases
+## E2E Test Cases
 
-Cover Feature Acceptance Criteria (`FAC-*`) trong frd. Feature AC trong frd đã ở format G/W/T → TC ở đây dịch 1:1: Given → Preconditions, When → Steps, Then → Expected.
+Cover Feature Acceptance Criteria (`FAC-*`) trong frd — **end-to-end** (journey + consistency + integrity). FAC ở frd đã ở format G/W/T → TC dịch 1:1: Given → Preconditions, When → Steps, Then → Expected. Phân biệt shape bằng field **Type**: `E2E — journey` = tuần tự liên story / `E2E — consistency` = so khớp đa màn / `E2E — integrity` = assert business invariant sau khi kết hợp nhiều story (không nhất thiết tuần tự) (không có TC riêng cho NFR / data ở đây — xem 2 section bên dưới).
 
-### TC-{F_ID}-040: {Title — e2e liên story}
+### TC-{F_ID}-040: {Title — e2e journey liên story}
 
 | Field | Value |
 | --- | --- |
-| **Type** | Feature AC — e2e |
+| **Type** | E2E — journey |
 | **Priority** | P0 / P1 / P2 |
 | **Covers** | `FAC-{F_ID}-001` |
 | **Spans** | `US-{F_ID}-001`, `US-{F_ID}-002`, `US-{F_ID}-003` |
@@ -145,7 +149,7 @@ Cover Feature Acceptance Criteria (`FAC-*`) trong frd. Feature AC trong frd đã
 
 | Field | Value |
 | --- | --- |
-| **Type** | Feature AC — consistency |
+| **Type** | E2E — consistency |
 | **Priority** | P1 |
 | **Covers** | `FAC-{F_ID}-002` |
 | **Preconditions** | feature đã deploy lên test env, 3 màn Register / Profile / Admin Create accessible |
@@ -164,13 +168,19 @@ Cover Feature Acceptance Criteria (`FAC-*`) trong frd. Feature AC trong frd đã
 
 ---
 
+## Non-Functional Test Cases
+
+<!-- Required-emptyable: GIỮ heading; để trống (không TC) nếu section Non-Functional Requirements ở frd rỗng. -->
+
+Cover `NFR-*` trong frd. **Non-functional type** — execution-mode riêng (load test / scanner / a11y audit), không phải UI walk. Type = `performance` / `a11y` / `security` / ... TC giữ prefix `TC-F*` chung sequence.
+
 ### TC-{F_ID}-050: {Title — NFR perf}
 
 | Field | Value |
 | --- | --- |
-| **Type** | Feature AC — performance |
+| **Type** | Non-functional — performance |
 | **Priority** | P0 |
-| **Covers** | `FAC-{F_ID}-003` |
+| **Covers** | `NFR-{F_ID}-001` |
 | **Preconditions** | env perf-test, dataset baseline đã load |
 
 **Steps:**
@@ -183,12 +193,40 @@ Cover Feature Acceptance Criteria (`FAC-*`) trong frd. Feature AC trong frd đã
 - p95 ≤ 500ms
 - Error rate ≤ 0.1%
 
-## Test Data
+## Data & Migration Test Cases
 
-| Data set | Mục đích | Nguồn | Refresh |
-| --- | --- | --- | --- |
-| `seed_users` | functional positive | fixture / factory | mỗi run |
-| `boundary_inputs` | validation edges | inline trong TC | n/a |
+<!-- Required-emptyable: GIỮ heading; để trống (không TC) nếu section Data & Migration ở frd rỗng. -->
+
+Cover `DM-*` trong frd. Chạy migration trên dataset prod-like rồi assert data cũ nguyên vẹn. Type = `data migration`. TC giữ prefix `TC-F*` chung sequence.
+
+### TC-{F_ID}-060: {Title — migrate data cũ}
+
+| Field | Value |
+| --- | --- |
+| **Type** | Data migration |
+| **Priority** | P0 |
+| **Covers** | `DM-{F_ID}-001` |
+| **Preconditions** | env có dataset cũ prod-like (vd: 10.000 bản ghi địa chỉ format cũ) đã load |
+
+**Steps:**
+
+1. Snapshot count + checksum dataset trước migration
+2. Chạy migration script
+3. Đọc lại toàn bộ bản ghi sau migration
+
+**Expected:**
+
+- Count sau = count trước (10.000/10.000), không bản ghi nào null
+- Mọi địa chỉ cũ đọc được đúng format mới, 0 lỗi parse
+
+## Test Data Requirements
+
+Dữ liệu mỗi test **cần** (requirement — KHÔNG phải provisioning/refresh; cách lấy data + cadence thuộc execution layer).
+
+| Data set | Mục đích | Yêu cầu data (shape / đặc điểm) |
+| --- | --- | --- |
+| `seed_users` | functional positive | user hợp lệ, đủ field bắt buộc |
+| `boundary_inputs` | validation edges | giá trị biên cho mỗi VR (rỗng, sai format, quá dài...) |
 
 ## Traceability Matrix
 
@@ -200,9 +238,10 @@ Cover Feature Acceptance Criteria (`FAC-*`) trong frd. Feature AC trong frd đã
 | `US-{F_ID}-001` | US | `TC-{F_ID}-001`, `TC-{F_ID}-002` | ✅ |
 | `AC-{F_ID}-001` | Story AC | `TC-{F_ID}-001` | ✅ |
 | `VR-{F_ID}-001` | VR | `TC-{F_ID}-010`, `TC-{F_ID}-011`, `TC-{F_ID}-012` | ✅ |
-| `FAC-{F_ID}-001` | Feature AC | `TC-{F_ID}-040` | ✅ |
-| `FAC-{F_ID}-002` | Feature AC | `TC-{F_ID}-041` | ✅ |
-| `FAC-{F_ID}-003` | Feature AC | `TC-{F_ID}-050` | ✅ |
+| `FAC-{F_ID}-001` | Feature AC (e2e) | `TC-{F_ID}-040` | ✅ |
+| `FAC-{F_ID}-002` | Feature AC (consistency) | `TC-{F_ID}-041` | ✅ |
+| `NFR-{F_ID}-001` | NFR | `TC-{F_ID}-050` | ✅ |
+| `DM-{F_ID}-001` | Data & Migration | `TC-{F_ID}-060` | ✅ |
 | `AC-{F_ID}-00X` | Story AC | — | ❌ chưa có TC |
 
 ### Gaps
@@ -211,17 +250,17 @@ Cover Feature Acceptance Criteria (`FAC-*`) trong frd. Feature AC trong frd đã
 
 ## Out of Scope
 
-- {những gì tsd này KHÔNG cover — lý do (vd: thuộc layer khác như infra/security audit, đã verify ở môi trường khác, ...)}
+- {những gì test-design này KHÔNG cover — lý do (vd: thuộc layer khác như infra/security audit, đã verify ở môi trường khác, ...)}
 
 ## Dependencies
 
 ### FRD reference
 
-- `frd.md` của feature này — mọi ID (`US-`, `AC-`, `VR-`, Flow) phải match.
+- `frd.md` của feature này — mọi ID (`US-`, `AC-`, `VR-`, `FAC-`, `NFR-`, `DM-`, Flow) phải match.
 
 ### Components Used (input only)
 
-Tham chiếu `frd.md > Components Used` để hiểu contract của các component được feature này dùng. Behavior của component được verify **gián tiếp** qua các TC ở đây — không tách tsd riêng cho component.
+Tham chiếu `frd.md > Components Used` để hiểu contract của các component được feature này dùng. Behavior của component được verify **gián tiếp** qua các TC ở đây — không tách test-design riêng cho component.
 
 ## Change History
 

package/templates/main/prd-template.md

@@ -68,6 +68,8 @@ Chi tiết về vai trò và thiết kế nằm trong `.specs/main/component/{C-
 
 ## Non-Functional Requirements
 
+NFR **product-wide** (bar chung cho cả sản phẩm). Feature refine/siết bar này cho ngữ cảnh của nó trong `frd.md > Non-Functional Requirements` bằng `NFR-F{NNN}-{seq}` *(tham chiếu `NFR-*` ở đây)*; NFR đặc thù-feature mà chưa có ở đây → nếu lặp lại ở nhiều feature thì **promote** lên bảng này.
+
 | ID | Category | Requirement | Target | Priority |
 | --- | --- | --- | --- | --- |
 | NFR-P01 | Performance | {requirement} | {target đo được} | High/Medium/Low |