spec-lite 1.6.0 → 1.7.1

package/skills/spec-test-exec/SKILL.md

@@ -0,0 +1,254 @@
+---
+name: spec-test-exec
+description: Sinh bundle test-executions cho MỘT feature — render Test Cases trong test-design.md thành các doc thực thi theo harness (func-manual/auto, e2e-manual/auto, nfr, dm). Đọc-xuống từ test-design (source of truth), inherit TC-F* nguyên văn, KHÔNG đẻ ID mới. Mỗi lần chạy = bundle đánh số mới, ephemeral per test cycle.
+---
+
+# spec-test-exec
+
+## Overview
+
+Sinh một **cycle bundle test-executions** cho một feature vào `.specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` — render các Test Case đã thiết kế ở `test-design.md` thành **doc thực thi** theo từng **harness** (manual GUI walk / automation / tool đặc thù / migration script). Plane 2 tầng: feature group (`{F-XXX}-{slug}/`) → cycle bundle (`{NNN}-{cycle-slug}/`); `{NNN}` reset per-feature (xem `conventions.md` §8.1).
+
+**Vị trí trong 3 layer** (xem `conventions.md` §8):
+
+```
+frd.md ──(/spec-test | /spec-test-design)──▶ test-design.md ──(/spec-test-exec)──▶ test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/
+         [DESIGN — TC là gì]                 [SOURCE OF TRUTH]  [EXECUTION — chạy bằng harness gì]
+```
+
+**Cốt lõi — đọc xuống, KHÔNG sáng tạo:**
+- test-design.md là **source of truth** của bộ Test Case. Skill này **chỉ đọc** test-design → route TC vào doc theo section nguồn + harness.
+- **Inherit `TC-F*` nguyên văn** — KHÔNG đẻ ID mới, KHÔNG renumber. (`{PREFIX}_E2E_*` nếu dùng chỉ là title `test.describe` trong code, không phải ID artifact.)
+- Mỗi lần chạy = **bundle đánh số mới** (snapshot độc lập từ test-design hiện tại). **KHÔNG** carry-over result, **KHÔNG** link chuỗi với bundle cũ.
+
+**KHÔNG versioned:** doc test-exec không mang `template_version`/`migrations` — derived, ngoài scope `/artifact-audit` + `/artifact-migrate` (xem `conventions.md` §7 + §8.1).
+
+## When to Use
+
+- Một feature đã có `test-design.md` và cần sinh doc thực thi để bắt đầu một **chu kỳ test** (regression release, sprint test, UAT...).
+- test-design.md vừa cập nhật (qua `/spec-test`) → cần một bundle thực thi mới phản ánh TC hiện tại.
+
+## When NOT to Use
+
+- Feature **chưa có** `test-design.md` → chạy `/spec-test` (qua integration) hoặc `/spec-test-design` (bootstrap) trước.
+- Muốn **thêm/đổi TC** → KHÔNG sửa ở đây (test-exec chỉ đọc). Sửa test-design qua `/spec-test`, rồi sinh lại bundle.
+- Chỉ muốn cập nhật **kết quả thực thi** (Test Result) → edit doc trong bundle trực tiếp (đó là việc của owner khi chạy test), không chạy lại skill.
+
+---
+
+## Process
+
+### Bước 1: Xác định feature
+
+`/spec-test-exec` thao tác trên **đúng một feature**.
+
+**Nếu có ARGUMENT:**
+- Parse: feature ID (`F-012`, `012`) hoặc slug (`F-012-bulk-import`, `bulk-import`).
+- Quét `.specs/main/feature/*/test-design.md`, tìm feature khớp.
+- Không khớp → báo lỗi:
+  > Không tìm thấy feature có test-design.md khớp với "{argument}". Kiểm tra `.specs/main/feature/`.
+
+**Nếu không có ARGUMENT:**
+
+Quét `.specs/main/feature/`. Liệt kê features **có `test-design.md`**, kèm các cycle bundle hiện có trong feature group:
+
+```
+Features có test-design.md:
+
+  [1] F-012 — bulk-import   test-design: approved   cycles: 001-regression, 002-release-2.0
+  [2] F-031 — checkout      test-design: draft       cycles: —
+
+Chọn số feature:
+```
+
+Không feature nào có test-design.md → dừng:
+> Chưa có feature nào có test-design.md. Chạy `/spec-test` hoặc `/spec-test-design` trước.
+
+---
+
+### Bước 2: Gate check + phát hiện section điều kiện
+
+Đọc `.specs/main/feature/{F-XXX}-{slug}/test-design.md`.
+
+**Check 1 — test-design.md tồn tại:** nếu không → dừng (đã xử lý ở Bước 1).
+
+**Check 2 — status (cảnh báo, KHÔNG block):**
+
+Nếu `status` **không phải** `approved`:
+> ⚠ `test-design.md` của **{F-XXX}** đang ở `status: {status}` (chưa approved — có thể còn placeholder TBD ở Test Data / Strategy / Out of Scope).
+>
+> Bundle sinh ra sẽ kế thừa các placeholder đó. Tiếp tục? (yes / no — default yes)
+
+`no` → dừng, gợi ý approve test-design trước.
+
+**Check 3 — phát hiện section required-emptyable rỗng (quyết định nfr/dm):**
+
+Đọc 2 section của test-design:
+- `## Non-Functional Test Cases` — có TC block (`### TC-F...`) không?
+- `## Data & Migration Test Cases` — có TC block không?
+
+Quy tắc (xem `conventions.md` §8.2):
+- Section có ≥1 TC → **sẽ sinh** doc tương ứng (`test-exec-nfr.md` / `test-exec-dm.md`).
+- Section rỗng (chỉ heading, không TC) → **BỎ QUA** doc đó.
+
+Báo lại cho user:
+```
+test-design F-012:
+  Functional TC: 8   Validation TC: 12   E2E TC: 3   NFR TC: 2   DM TC: 0
+→ Sẽ sinh: func-manual, func-auto, e2e-manual, e2e-auto, nfr   (BỎ dm — section rỗng)
+```
+
+---
+
+### Bước 3: Cấp feature group + cycle bundle
+
+**Feature group** `{F-XXX}-{slug}/` — mirror tên thư mục `main/feature/{F-XXX}-{slug}/`. Chưa tồn tại → tạo mới; đã có → dùng lại (gom cycle).
+
+**Cycle number `{NNN}`** — đánh số **per-feature** (reset trong mỗi feature group):
+- Quét max `{NNN}` của các cycle bundle **trong feature group đó**:
+  - `.specs/test-executions/{F-XXX}-{slug}/*/` (active)
+  - `.specs/archive/**/` thuộc cùng feature (cycle đã archive)
+- `{NNN}` mới = max + 1, zero-padded 3 chữ số. Feature group rỗng → `001`.
+
+**Cycle slug** — kebab-case mô tả **chu kỳ test** (vd `regression`, `release-2.0`, `smoke`). KHÔNG nhúng `{F-XXX}` (đã ở tầng feature group). Hỏi user (mặc định gợi ý theo ngữ cảnh):
+
+> Cycle mới: `F-012-bulk-import/003-regression`. Đổi cycle-slug? (Enter để giữ)
+
+**Cảnh báo clobber:** nếu tên cycle trùng một bundle đã có trong feature group → cảnh báo, KHÔNG ghi đè (đề nghị số mới hoặc archive cycle cũ trước).
+
+---
+
+### Bước 4: Route TC → bucket + completeness check
+
+**Đọc toàn bộ TC từ test-design**, gom theo section nguồn:
+
+| Section test-design | Bucket scope | TC fields đọc được |
+| --- | --- | --- |
+| `## Functional Test Cases` | func | Type, **Autoable**, Priority, Covers, Scenario, Preconditions, Steps, Expected, Test data |
+| `## Validation Test Cases` | func | TC ID, Covers VR, Field, Input, Expected, Polarity (**Autoable=YES** uniform) |
+| `## E2E Test Cases` | e2e | Type (journey/consistency/integrity), Priority, Covers FAC, Spans, Preconditions, Steps, Expected |
+| `## Non-Functional Test Cases` | nfr | Type, Priority, Covers NFR, Preconditions, Steps, Expected |
+| `## Data & Migration Test Cases` | dm | Type, Priority, Covers DM, Preconditions, Steps, Expected |
+
+**Route vào doc:**
+
+| Doc | Lấy TC nào |
+| --- | --- |
+| `test-exec-func-manual` | **TOÀN BỘ** Functional + Validation TC (bất kể Autoable) |
+| `test-exec-func-auto` | Functional + Validation TC có **`Autoable ∈ {YES, MAYBE}`** (Validation đều YES) |
+| `test-exec-e2e-manual` | **TOÀN BỘ** E2E TC |
+| `test-exec-e2e-auto` | **TOÀN BỘ** E2E TC (cùng tập với e2e-manual — hai harness thay thế) |
+| `test-exec-nfr` | Non-Functional TC *(bỏ doc nếu rỗng)* |
+| `test-exec-dm` | Data & Migration TC *(bỏ doc nếu rỗng)* |
+
+**Completeness check (BẮT BUỘC trước khi ghi):**
+- Tập `TC-F*` ở 4 **scope bucket** (func ∪ e2e ∪ nfr ∪ dm) phải **bằng** tập TC trong `test-design > Traceability Matrix`.
+- Mỗi `TC-F*` rơi **đúng 1 scope bucket** (func/e2e/nfr/dm) — không lọt, không trùng scope. *(Cùng 1 TC xuất hiện ở cả func-manual lẫn func-auto là ĐÚNG — đó là hai harness của cùng scope func, không tính trùng.)*
+- func-auto là **tập con** của func-manual (chỉ Autoable=YES/MAYBE) — phần `Autoable=NO` chỉ ở manual.
+- Lỗi (TC không route được / TC thừa không có trong Matrix / section nguồn không parse được) → **dừng, báo cụ thể**, KHÔNG ghi bundle nửa vời.
+
+---
+
+### Bước 5: Sinh doc từ template
+
+Với mỗi doc cần sinh, copy từ `templates/test-executions/test-exec-{...}-template.md` rồi điền:
+
+**Frontmatter (`conventions.md` §8.5):**
+- `id: test-exec-{kind}-{F-XXX}-{NNN}-{cycle-slug}` · `type: test-exec-{kind}` · `feature_id: {F-XXX}` · `status: draft`
+- `test_design_ref: main/feature/{F-XXX}-{slug}/test-design.md` (từ `.specs/` root — không phụ thuộc độ sâu bundle)
+- func/e2e: `alt_harness_{auto|manual}: ./test-exec-{...}.md` (relative, cùng bundle)
+- Markdown link tới test-design trong body: bundle sâu 2 tầng → `../../../main/feature/{F-XXX}-{slug}/test-design.md`.
+- **KHÔNG** `template_version`/`migrations`.
+
+**Inherit (đọc xuống — KHÔNG suy diễn lại):**
+- `TC-F*` ID, `Covers`, `Type`, `Priority`, `Preconditions`, `Steps`, `Expected` → copy **nguyên văn** từ test-design vào bảng Coverage + Test Cases của doc.
+- `Autoable` (func) → copy y nguyên; func-auto chỉ chứa YES/MAYBE.
+
+**Testid cho doc automation (chủ yếu e2e-auto):** đọc `.specs/main/feature/{F-XXX}-{slug}/selector-contract.md` (nếu có) — đây là **nguồn testid chung** mà code đã/đang gắn theo cùng contract. Khi điền **POM index §7.1 của e2e-auto** (và func-auto nếu có UI component test dùng testid): dùng **đúng** testid handle trong contract, neo theo `Flow › Step`. **KHÔNG tự đặt testid mới** ở đây (lệch nguồn → vỡ "một-nguồn-hai-bên-đọc"). Biểu thức locator `getByTestId(...)` + file POM `.ts` vẫn do owner viết ở source tree. Feature không có selector-contract → để placeholder + note "feature chưa có selector-contract".
+
+**Placeholder cho owner điền khi chạy** (KHÔNG tự bịa):
+- **Test Result / Status (CI)** → `—` (chưa chạy).
+- **Test File / POM file path + biểu thức locator** → `_Pending — {owner}_` (sống ở source tree). *(Testid handle thì đã có từ selector-contract — xem trên, không để trống.)*
+- **Tool / Command / Layer** (nfr/auto) → gợi ý theo Type nếu suy được (vd NFR performance → `k6`), còn lại để placeholder.
+- Account/Role matrix, Env tiers, Seed, Fixtures → giữ skeleton template để owner điền theo môi trường.
+
+**Coverage tables:** điền từ Traceability Matrix (AC/VR/FAC/NFR/DM → TC IDs) — KHÔNG dựng matrix cạnh tranh; coverage master vẫn ở test-design.
+
+Hiển thị **tóm tắt bundle** (không dump toàn bộ) cho user xem trước khi ghi:
+```
+Cycle F-012-bulk-import/003-regression — sẽ ghi 5 doc:
+  func-manual : 20 TC (8 func + 12 val)        [toàn bộ]
+  func-auto   : 18 TC (Autoable YES/MAYBE)      [2 TC Autoable=NO chỉ ở manual]
+  e2e-manual  : 3 TC
+  e2e-auto    : 3 TC
+  nfr         : 2 TC
+  (dm: bỏ — rỗng)
+Completeness: 25/25 TC ở Traceability Matrix đều routed ✓
+```
+
+---
+
+### Bước 6: Ghi bundle + báo cáo
+
+**[6.1]** Tạo `.specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` (tạo feature group nếu chưa có), ghi từng doc (status `draft`).
+
+**[6.2]** KHÔNG cascade, KHÔNG đụng test-design (đọc-xuống one-way). KHÔNG ghi Change History vào test-design (test-exec không phải nguồn cascade).
+
+**[6.3] Báo cáo:**
+```
+✓ .specs/test-executions/F-012-bulk-import/003-regression/ (từ test-design.md)
+  ✓ test-exec-func-manual.md   — 20 TC
+  ✓ test-exec-func-auto.md     — 18 TC (Autoable YES/MAYBE)
+  ✓ test-exec-e2e-manual.md    — 3 TC
+  ✓ test-exec-e2e-auto.md      — 3 TC
+  ✓ test-exec-nfr.md           — 2 TC
+  (dm bỏ qua — test-design Data & Migration rỗng)
+
+Bước tiếp theo (team chọn harness theo kỹ năng — xem terms/003/004):
+  - func: chạy func-manual (QC) HOẶC func-auto (DEV/SE). Lưu ý auto-only LỌT exploratory + Autoable=NO.
+  - e2e:  chọn 1 trong e2e-manual (QC) / e2e-auto (SE) — thay thế hoàn toàn.
+  - nfr:  SDET/specialist chạy bằng tool tương ứng.
+  - Xóa doc harness không dùng (sinh hết để team chọn).
+  - Điền Test Result / Status khi chạy.
+```
+
+---
+
+## Common Rationalizations
+
+| Rationalization | Reality |
+| --- | --- |
+| "Thêm TC ngay trong bundle cho nhanh" | test-exec chỉ đọc xuống. TC mới phải vào test-design trước (qua `/spec-test`) rồi sinh lại — nếu không sẽ vỡ traceability + ID authority. |
+| "Đổi TC ID cho gọn lại" | ID `TC-F*` do test-design làm chủ, stable. Renumber ở đây phá liên kết với test code + Traceability Matrix. |
+| "Auto chạy pass hết là xong" | func-auto LỌT exploratory + `Autoable=NO` (visual). Manual-only mới đầy đủ scope func (terms/004). |
+| "Sinh thiếu vài doc cho nhanh" | Sinh hết (6 hoặc 4) để team chọn harness. Thiếu = ép harness sai với kỹ năng team. |
+| "Regenerate đè bundle cũ" | Mỗi cycle = bundle số mới. Đè bundle đã có Test Result = mất lịch sử thực thi. |
+
+## Red Flags
+
+- Có `TC-F*` ở test-design Traceability Matrix nhưng không xuất hiện ở doc nào → completeness fail (lọt).
+- Một `TC-F*` rơi vào >1 scope bucket (vd vừa func vừa e2e) → routing bug.
+- func-auto chứa TC `Autoable=NO` → sai filter.
+- Doc test-exec mang `template_version` → sai (test-exec không versioned).
+- Ghi đè bundle cũ đang có Test Result mà không cảnh báo.
+- Bịa Test Result / Locators / Tool thay vì để placeholder.
+- Sửa test-design trong lúc chạy skill (skill này read-only với test-design).
+
+## Verification
+
+Trước khi ghi bundle:
+
+- [ ] Đúng một feature; test-design.md tồn tại (cảnh báo nếu draft, không block).
+- [ ] nfr/dm: chỉ sinh khi section nguồn có TC; rỗng → bỏ doc.
+- [ ] Feature group `{F-XXX}-{slug}/` (mirror main/feature); `{NNN}` = max cycle **trong feature group đó** (active + archived) + 1 (reset per-feature); cycle-slug mô tả chu kỳ.
+- [ ] Route đúng: func ← Functional+Validation (manual=toàn bộ, auto=Autoable YES/MAYBE); e2e ← E2E (cả 2 harness cùng tập); nfr ← Non-Functional; dm ← Data & Migration.
+- [ ] **Completeness**: mọi `TC-F*` ở Traceability Matrix routed đúng 1 scope bucket — không lọt/trùng.
+- [ ] Inherit `TC-F*` + fields nguyên văn; KHÔNG ID mới, KHÔNG renumber.
+- [ ] Frontmatter: `id/type/feature_id/test_design_ref/alt_harness_*` đúng; KHÔNG `template_version`.
+- [ ] Test Result/Status/biểu thức locator + file POM = placeholder, không bịa.
+- [ ] Doc automation (e2e-auto, func-auto): testid trong POM §7.1 / locator reference lấy từ `selector-contract.md` (nếu feature có), KHÔNG tự đặt testid mới; feature thiếu contract → placeholder + note.
+
+Sau khi ghi:
+
+- [ ] Bundle tại `.specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` với 6 (hoặc 4) doc, status `draft`.
+- [ ] KHÔNG đụng test-design (one-way đọc xuống, không cascade, không Change History).

package/skills-overview.md

@@ -261,10 +261,11 @@ 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), test-design(s), `tech.md` *(optional)* | `.specs/integrations/{slug}/test.md`, `feature/{F-XXX}/test-design.md` |
+| `/spec-test-exec [F-XXX]` *(feature-level, sau khi có test-design)* | `feature/{F-XXX}/test-design.md` | `.specs/test-executions/{F-XXX}-*/{NNN}-*/test-exec-*.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)* |
-| `/archive` | `.specs/integrations/` | `.specs/archive/` |
+| `/archive` | `.specs/integrations/`, `.specs/test-executions/` | `.specs/archive/{integrations,test-executions}/` |
 
 ### `/spec-new [requirement]`
 
@@ -327,6 +328,18 @@ QC review: override priority defaults, fill placeholders (env / data / OOS / str
 
 ---
 
+### `/spec-test-exec [F-XXX]`
+
+Sinh **bundle test-executions** (bản thực thi) cho **một feature** từ `test-design.md`. Layer EXECUTION — `test-design.md` là **source of truth**, skill **đọc-xuống một chiều** (KHÔNG cascade, KHÔNG sửa test-design). Feature-level, chạy *sau* khi feature đã có test-design (không thuộc per-integration pipeline).
+
+**Cách chạy:** `/spec-test-exec` (list feature có test-design) hoặc `/spec-test-exec F-012`.
+
+**Output:** cycle bundle `.specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` (plane 2 tầng — feature group → cycle bundle, `{NNN}` reset per-feature, ephemeral per chu kỳ test). Mỗi lần chạy = cycle mới.
+
+Route TC theo **section nguồn + Autoable**, sinh **tới 6 doc** (4 nếu feature không NFR/DM): `func-manual` (toàn bộ Functional+Validation), `func-auto` (Autoable=YES/MAYBE), `e2e-manual` + `e2e-auto` (toàn bộ E2E), `nfr`, `dm` *(nfr/dm bỏ nếu section rỗng)*. **Sinh hết để team chọn harness** theo kỹ năng (e2e: manual⇄auto thay thế hoàn toàn; func: auto-only lọt exploratory/visual). **Inherit `TC-F*` nguyên văn** (không đẻ ID) + completeness check mọi TC ở Traceability Matrix rơi đúng 1 scope bucket. KHÔNG versioned. Chi tiết: `conventions.md` §8, `terms/003`+`004`.
+
+---
+
 ### `/plan`
 
 Tạo `plan.md` và `todo.md` từ `spec.md` + `tech.md`. Là SDD wrapper quanh `planning-and-task-breakdown`.
@@ -385,17 +398,17 @@ Review implementation sau `/build` theo năm trục: correctness, readability, a
 
 ### `/archive`
 
-Di chuyển integration đã hoàn thành hoặc không còn active từ `.specs/integrations/` sang `.specs/archive/` để dọn dẹp thư mục làm việc chính.
+Di chuyển artifact đã hoàn thành / không còn active sang `.specs/archive/` — hỗ trợ **cả 2 plane** và **namespace theo loại**.
 
-**Bước 1 — Kiểm tra thư mục:** Tự động tạo `.specs/archive/` nếu chưa tồn tại.
+**Bước 1 — Chuẩn bị:** Tạo lazy subfolder theo loại — `.specs/archive/integrations/` và/hoặc `.specs/archive/test-executions/`.
 
-**Bước 2 — Liệt kê:** Quét `.specs/integrations/`, hiển thị numbered list kèm status (đọc từ `spec.md` nếu có). Nếu không có integration nào → thông báo và dừng.
+**Bước 2 — Liệt kê:** Quét `.specs/integrations/` (mỗi `{id}-{slug}/`) và `.specs/test-executions/` (mỗi cycle bundle `{F-XXX}-{slug}/{NNN}-{cycle-slug}/`, + tùy chọn cả feature group). Hiển thị 2 section đánh số liên tục. Cả hai rỗng → dừng.
 
-**Bước 3 — Xác nhận:** Hiển thị preview mapping `integrations/{slug}/ → archive/{slug}/` trước khi di chuyển. Chờ user confirm.
+**Bước 3 — Xác nhận:** Preview source → namespaced dest (`integrations/{slug}/ → archive/integrations/{slug}/`; cycle bundle → `archive/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/`). Dedupe nếu chọn cả feature group lẫn cycle con.
 
-**Bước 4 — Di chuyển:** Move toàn bộ thư mục, giữ nguyên cấu trúc bên trong. Nếu slug đã tồn tại trong `.specs/archive/` → bỏ qua và cảnh báo để tránh ghi đè.
+**Bước 4 — Di chuyển:** Move giữ nguyên cấu trúc nguồn dưới subfolder loại (test-exec giữ 2 tầng). Dest đã tồn tại → bỏ qua + cảnh báo (no-overwrite). Feature group nguồn rỗng sau khi archive cycle → dọn thư mục rỗng.
 
-**Bước 5 — Kết quả:** Liệt kê integrations đã archive, integrations bị bỏ qua (nếu có), và số integration còn lại trong `.specs/integrations/`.
+**Bước 5 — Kết quả:** Liệt kê đã archive, bị bỏ qua (nếu có), và số còn lại mỗi plane.
 
 ---
 

package/templates/main/feature/selector-contract-template.md

@@ -0,0 +1,88 @@
+---
+id: selector-contract-{feature}
+type: selector-contract
+status: draft
+owner: "{DEV / QC}"
+feature_id: "{Feature ID}"
+template_version: 1
+migrations:
+  - to: 1
+    note: "baseline"
+referenced_by:
+  - conventions.md > 3. Main Artifacts > 3.3 Feature level > selector-contract.md
+  - skills/spec-frd/SKILL.md > Process > Bước 4c (derive) + Bước 7e (save)
+  - skills/spec-brownfield-feature/SKILL.md > Process > Bước 4f (define từ flows) + Bước 6 (generate)
+  - skills/plan/SKILL.md > Process > Bước 2 (load) + Bước 3 (ràng buộc FE task gắn testid)
+  - skills/spec-test-exec/SKILL.md > Process > Bước 5 (testid cho POM automation)
+  - templates/test-executions/test-exec-e2e-auto-template.md > §1 Context (Testid source) + §7.1 Page Object Index
+---
+
+<!--
+Canonical format cho .specs/main/feature/{F-XXX}-{slug}/selector-contract.md.
+
+SELECTOR CONTRACT — hợp đồng `data-testid` giữa CODE (FE gắn) và AUTOMATION TEST (QC/SE dùng).
+Đây là MỘT loại trong họ "*-contract.md". Sau này có thể thêm api-contract.md, seed-contract.md…
+Mỗi loại = file riêng (một nguồn, một consumer rõ ràng) — KHÔNG gộp chung một contract.md.
+
+NGUỒN — derive HOÀN TOÀN từ frd.md > User Flows:
+  - Mỗi element user TƯƠNG TÁC (click/fill) hoặc test ASSERT trong flow → một row testid.
+  - Mỗi element neo vào một BƯỚC (step) của flow → cột "Flow › Step". KHÔNG neo theo màn hình:
+    bước ↔ màn KHÔNG 1:1 (nhiều bước chung một màn, hoặc một flow đi qua nhiều màn) → step mới là khóa chính xác.
+  - testid đặt theo QUY ƯỚC (conventions.md §3.3): {feature-slug}-{element}[-{qualifier}].
+  - fdd KHÔNG phải nguồn — fdd là tech design của module C-XXX, không mô tả UI element.
+
+MỘT NGUỒN — HAI BÊN ĐỌC (⇒ drift bất khả thi):
+  - CODE (qua /plan → /build): FE gắn ĐÚNG các data-testid trong bảng này.
+  - TEST AUTO (qua /spec-test-exec): POM của test-exec-e2e-auto / func-auto dùng ĐÚNG các testid này.
+  Vì cả hai trích CÙNG MỘT file → testid code-gắn và testid test-tìm KHÔNG THỂ lệch nhau.
+
+CHỈ phục vụ nhánh AUTOMATION. Manual buckets (func-manual, e2e-manual) dùng mắt người
+điều hướng qua sản phẩm — KHÔNG cần testid, bỏ qua file này.
+
+THUẦN MÔ TẢ (main spec): file này khai báo testid CẦN CÓ, KHÔNG track trạng thái implementation
+("FE gắn chưa" thuộc tầng code/execution — plan/todo + test-exec, không phải ở đây).
+LOCATOR THÔ cũng KHÔNG ở đây: file chứa GIÁ TRỊ testid (cái handle ổn định), KHÔNG chứa biểu thức
+`page.getByTestId(...)` — biểu thức locator sống trong POM `.ts` ở repo code thật.
+
+RE-DERIVE khi frd User Flows đổi (element mới → thêm row). Vì thuần mô tả, không có trạng thái
+implementation cần giữ → re-derive là overwrite sạch.
+
+VERSIONED: là main artifact nên MANG template_version + migrations, thuộc scope /artifact-audit +
+/artifact-migrate như mọi main artifact khác.
+-->
+
+# Selector Contract: {Feature Name}
+
+**Feature**: {F-XXX} | **Derived from**: frd.md › User Flows | **Status**: {status}
+
+> Hợp đồng `data-testid` cho các element mà automation test (e2e-auto / func-auto) **tương tác** hoặc **assert**.
+> Đây là nguồn DUY NHẤT cho cả FE (gắn testid lúc code) lẫn POM (dùng testid lúc viết test) → hai bên không thể lệch.
+> **Quy ước tên** (conventions.md §3.3): `{feature-slug}-{element}[-{qualifier}]` — vd `order-customer`, `order-submit`, `order-row-{id}`.
+
+## Testid Contract
+
+> Mỗi row = một element trong frd User Flows mà test auto chạm tới. Element manual-only / không-tương-tác KHÔNG cần ở đây.
+> Chỉ liệt kê element test thật sự dùng — đừng gắn testid tràn lan (testid là API công khai cho test; gắn thừa = đóng băng cả thứ đáng được tự do đổi).
+
+| **testid** | **Element** | **Flow › Step** | **Interaction** |
+|---|---|---|---|
+| `{slug}-{element}` | {mô tả element, vd: input tên khách} | {Flow 1 › "nhập tên khách"} | action |
+| `{slug}-{element}` | {vd: badge đếm đơn} | {Flow 1 › "xem danh sách đơn"} | assert |
+
+> **Flow › Step**: neo testid vào đúng bước trong frd User Flows (`{Flow N} › "{nhãn bước}"`). Một màn nhiều bước thì mỗi bước là một row riêng.
+> **Interaction**: `action` (click/fill/select — test tương tác) · `assert` (đọc/verify — test khẳng định) · `nav` (điều hướng).
+
+## Notes *(nếu có)*
+
+> Ghi chú để DEV + QC thống nhất các trường hợp quy ước chưa phủ:
+> - Element mơ hồ (vd hai nút cùng nhãn "Lưu") → cần qualifier phân biệt.
+> - List động → testid kèm id: `{slug}-row-{id}`.
+> - Element QC cần assert nhưng frd flow chưa nêu rõ → thêm row + ghi lý do.
+
+## Change History
+
+> Derive từ frd User Flows — re-derive (overwrite) khi flows đổi. Operation = `manual` (sinh kèm `/spec-frd`/`/spec-brownfield-feature`, ngoài integration).
+
+| **Date** | **Integration** | **Operation** | **Summary** |
+|---|---|---|---|
+| {YYYY-MM-DD} | manual | create | Initial testid skeleton derive từ frd User Flows |

package/templates/main/feature/test-design-template.md

@@ -5,7 +5,7 @@ status: draft
 owner: "{QC}"
 feature_id: "{Feature ID — match frd.md}"
 frd_ref: "feature/{F-XXX}-{slug}/frd.md"
-template_version: 2
+template_version: 3
 migrations:
   - to: 1
     note: "baseline"
@@ -17,6 +17,11 @@ migrations:
       - { 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)'" }
+  - to: 3
+    note: "Thêm field Autoable (YES/MAYBE/NO) cho TC — test-design là SOURCE OF TRUTH route TC vào func-auto (YES/MAYBE) vs func-manual (toàn bộ + NO); hai track chỉ đọc, không tự quyết. Phân loại theo oracle của Expected: lập trình được (giá trị/state/record/HTTP/message/route)=YES, lập trình được nhưng setup nặng=MAYBE, visual (màu/layout/icon/animation)=NO. Mọi Validation TC = YES theo định nghĩa (không cần cột riêng)."
+    update:
+      - { section: "Functional Test Cases", change: "thêm field 'Autoable' (YES/MAYBE/NO) vào mỗi TC block + rule phân loại theo oracle ở đầu section" }
+      - { section: "Validation Test Cases", change: "ghi rõ mọi VR-derived TC = Autoable=YES (uniform, không thêm cột)" }
 ---
 
 <!--
@@ -76,11 +81,18 @@ Cover User Stories và Acceptance Criteria trong frd.
 
 TC ID format: `TC-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). Nếu xóa TC → ID đó retire, seq mới tiếp tục tăng từ max.
 
+**Autoable** — test-design là **source of truth** cho field này; cả `test-exec-func-auto` lẫn `test-exec-func-manual` **chỉ đọc**, không tự quyết. Route TC vào đâu: func-auto cover `YES/MAYBE`, func-manual cover **toàn bộ** + `NO`. Phân loại theo **oracle của Expected** (cái mà outcome được verify):
+
+- `YES` — oracle **lập trình được**: giá trị / state / record / HTTP status / error-message text / route / computed result. *(Mọi Validation TC ⇒ YES theo định nghĩa.)*
+- `MAYBE` — oracle lập trình được **nhưng** chỉ tới được qua setup nặng: multi-entity seed, cross-service integration, prior state phức tạp.
+- `NO` — oracle **visual**: màu / spacing / layout / icon-asset render / animation / "trông đúng". Hiếm có `TC-F*` — assertion visual thuần thường không thành AC nên thành exploratory (không ID) ở manual, không phải TC này.
+
 ### TC-{F_ID}-001: {Title ngắn — verb-first}
 
 | Field | Value |
 | --- | --- |
 | **Type** | Functional — positive / negative |
+| **Autoable** | YES / MAYBE / NO — phân loại theo oracle (rule ở đầu section) |
 | **Priority** | P0 / P1 / P2 |
 | **Covers** | `US-{F_ID}-001`, `AC-{F_ID}-001` |
 | **Scenario** | `TS-{F_ID}-001` |
@@ -105,7 +117,7 @@ TC ID format: `TC-F{NNN}-{seq}` — đánh số tăng dần toàn feature. ID **
 
 ## Validation Test Cases
 
-Derive 1:1 từ Verification Rules trong frd. Mỗi `VR-F{NNN}-{seq}` cần ít nhất:
+Derive 1:1 từ Verification Rules trong frd. **Mọi Validation TC ⇒ `Autoable=YES`** (oracle input→accept/reject, logic thuần — không phụ thuộc visual); uniform nên không thêm cột. Mỗi `VR-F{NNN}-{seq}` cần ít nhất:
 - 1 positive (rule pass)
 - 1+ negative — mỗi nhánh fail là 1 case riêng (vd VR "email format" → 1 case cho missing `@`, 1 case cho missing domain, ...)
 

package/templates/test-executions/test-exec-dm-template.md

@@ -0,0 +1,83 @@
+---
+id: test-exec-dm-{F-XXX}-{NNN}-{slug}
+type: test-exec-dm
+status: draft
+owner: "{SE / DBA}"
+feature_id: "{F-XXX}"
+test_design_ref: "main/feature/{F-XXX}-{slug}/test-design.md"
+referenced_by:
+  - conventions.md > Test Execution Artifacts > test-exec-dm.md
+  - terms/003-test-exec-buckets.md
+---
+
+<!--
+Canonical format cho .specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/test-exec-dm.md.
+EXECUTION layer — ephemeral per test cycle, harness "migration script trên dataset prod-like", owner SE/DBA.
+Cover Data & Migration (DM) — backfill, schema migration, data cũ không mất/hỏng. Xem terms/003.
+
+KHÔNG versioned: không template_version / migrations, ngoài scope /artifact-audit + /artifact-migrate.
+Derived từ test-design.md → test-design đổi thì REGENERATE.
+
+CHỈ TẠO file này khi frd.md có `DM-F*` (test-design § Data & Migration Test Cases không rỗng).
+  Feature không đụng migration → KHÔNG tạo test-exec-dm.md.
+
+Source of truth: test-design.md > Data & Migration Test Cases.
+  - ID = TC-F{NNN}-{seq} inherit từ test-design (Covers DM-F*). KHÔNG tạo ID mới.
+  - Coverage master = test-design.md > Traceability Matrix.
+-->
+
+# Data & Migration Test Execution: {Feature Name}
+
+**Feature**: {F-XXX} | **Owner**: {owner} | **Status**: {status}
+
+---
+
+## 1. Context
+
+| **Field** | **Detail** |
+|---|---|
+| **Feature Summary** | {1–2 câu — migration/backfill scope} |
+| **DM covered** | {DM IDs — `DM-F{NNN}-001`, ...} |
+| **Source** | [test-design.md](../../../main/feature/{F-XXX}-{slug}/test-design.md) — TC IDs (Data & Migration Test Cases) + Traceability Matrix |
+| **Migration artifact** | {ref script/EF migration: `{migration-name}` hoặc path} |
+
+---
+
+## 2. Dataset & Migration Setup
+
+> Migration chạy trên dataset **prod-like** — không phải seed nhỏ. Phải snapshot trước để so khớp.
+
+| **Field** | **Detail** |
+|---|---|
+| **Dataset** | {vd: 10.000 bản ghi địa chỉ format cũ — nguồn / cách load} |
+| **Pre-condition chung** | Migration script đã review · dataset prod-like đã load vào env test |
+| **Snapshot before** | count + checksum trước migration (baseline để assert) |
+| **Rollback plan** | {cách revert nếu migration fail — backup/restore / down-migration} |
+
+---
+
+## 3. DM Execution
+
+> **Input:** test-design.md § Data & Migration Test Cases (TC ID, expected — đếm/so khớp).
+> **Test Result:** `—` (chưa chạy) | `✅ Pass` | `❌ Fail` | `⛔ Blocked` | `🔴 HOLD`
+
+| **TC ID** | **Covers** | **Pre-condition** | **Migration Command** | **Expected** | **Test Result** | **Priority** |
+|---|---|---|---|---|---|---|
+| `TC-F{NNN}-060` | `DM-F{NNN}-001` | Dataset prod-like loaded ({N} bản ghi cũ) · snapshot baseline | `{migration-command}` | count sau = count trước ({N}/{N}) · 0 null · format mới parse đúng | — | 🔴 P0 |
+
+---
+
+## 4. Exit Criteria
+
+- [ ] Mọi DM P0 TC pass — data cũ nguyên vẹn (count + checksum khớp)
+- [ ] 0 bản ghi mất / null / lỗi parse sau migration
+- [ ] Rollback đã verify chạy được (dry-run hoặc trên copy)
+- [ ] Test Result column updated đầy đủ
+
+---
+
+## 5. Change Log
+
+| **Date** | **Cycle** | **Changes** | **Author** |
+|---|---|---|---|
+| {YYYY-MM-DD} | {cycle/release} | Initial DM execution (derive từ test-design.md) | {Author} |