spec-lite 1.6.0 → 1.7.0

package/README.md

@@ -128,6 +128,9 @@ Tạo `.specs/integrations/{slug}/tech.md` sau khi `spec.md` được approve. C
 #### `/spec-test [number]`
 Tạo `.specs/integrations/{slug}/test.md` sau khi `spec.md` được approve. Chạy bởi **QC**, **song song / độc lập** với `/spec-tech` — cả hai chỉ phụ thuộc `spec.md`. Mechanical derive Test Scenarios + Test Cases từ frd.md (Flow → TS, US/AC → Functional TC, VR → positive + negative, FAC → E2E TC, NFR → Non-functional TC, DM → Data & Migration TC), priority deterministic. Cascade lên `feature/{F-XXX}/test-design.md` qua Changes blocks. Gate: integration phải có `features:` non-empty (component-thuần không áp dụng).
 
+#### `/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), inherit `TC-F*` nguyên văn. Output: cycle bundle `.specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` (plane 2 tầng, ephemeral per chu kỳ test). Sinh tới 6 doc theo scope×harness — `func-manual`/`func-auto`, `e2e-manual`/`e2e-auto`, `nfr`, `dm` (nfr/dm bỏ nếu rỗng); team chọn harness theo kỹ năng. KHÔNG versioned. Feature-level, chạy sau khi có test-design (không thuộc per-integration pipeline).
+
 #### `/plan`
 Tạo `plan.md` và `todo.md` từ `spec.md` + `tech.md`.
 
@@ -177,9 +180,12 @@ Migrate **main artifact** lỗi thời lên structure mới (mọi main type). T
 | `/spec-new` | `.specs/integrations/{slug}/spec.md` |
 | `/spec-tech` | `.specs/integrations/{slug}/tech.md` |
 | `/spec-test` | `.specs/integrations/{slug}/test.md`, cascade: `feature/{F-XXX}/test-design.md` |
+| `/spec-test-exec` | `.specs/test-executions/{F-XXX}-*/{NNN}-*/test-exec-*.md` (derived từ test-design) |
 | `/plan` | `.specs/integrations/{slug}/plan.md`, `todo.md` |
 | `/build` | *(implements tasks từ `plan.md`/`todo.md`)* |
 | `/review-integration` | *(findings report — không tạo file)* |
 | `/review-everything` | `.specs/integrations/{NNN}-{slug}/review-findings.md` *(qua /spec-new)* |
 
 Feature artifacts (`frd.md`) ở greenfield có thể author trước bằng `/spec-frd`, hoặc mọc dần qua **cascade proposals** từ integrations (`/spec-new` fallback). Component artifacts (`crd.md`/`cdd.md`) ở greenfield chỉ mọc qua cascade — không có skill author trực tiếp (`/spec-frd` chỉ reference component, không tạo crd/cdd).
+
+Ngoài `main/` và `integrations/`, còn plane thứ ba **`.specs/test-executions/`** (execution layer): bundle thực thi *derived* từ `test-design.md` qua `/spec-test-exec`, đánh số per-feature 2 tầng (`{F-XXX}-{slug}/{NNN}-{cycle-slug}/`), ephemeral per chu kỳ test, không versioned. Xem `conventions.md` §8.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "spec-lite",
-  "version": "1.6.0",
+  "version": "1.7.0",
   "description": "Spec-driven development kit for Claude Code",
   "type": "module",
   "bin": {

package/skills/archive/SKILL.md

@@ -1,116 +1,125 @@
 ---
 name: archive
-description: Archive một integration từ .specs/integrations sang .specs/archive. Dùng khi một integration đã hoàn thành hoặc không còn active và cần được lưu trữ ra khỏi thư mục làm việc chính.
+description: Archive một integration hoặc một test-execution (cycle bundle / feature group) sang .specs/archive/ — namespaced theo loại (.specs/archive/integrations/ và .specs/archive/test-executions/). Dùng khi integration đã hoàn thành hoặc một chu kỳ test đã xong và cần dọn ra khỏi thư mục làm việc chính.
 ---
 
 # archive
 
 ## Overview
 
-Di chuyển một integration từ `.specs/integrations/` sang `.specs/archive/` để dọn dẹp thư mục làm việc chính trong khi vẫn giữ nguyên toàn bộ nội dung integration đó.
+Di chuyển một artifact bundle ra khỏi thư mục làm việc sang `.specs/archive/`, giữ nguyên nội dung. Hỗ trợ **hai plane**:
+
+- **Integration**: `.specs/integrations/{id}-{slug}/` → `.specs/archive/integrations/{id}-{slug}/`
+- **Test execution**: `.specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` → `.specs/archive/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/`
+  - Đơn vị archive = **cycle bundle** (một chu kỳ test xong) hoặc **cả feature group** (`{F-XXX}-{slug}/`) khi feature retire.
+
+`.specs/archive/` được **namespace theo loại** (`integrations/` + `test-executions/`) để không trộn lẫn hai plane. Cấu trúc nguồn được giữ nguyên dưới subfolder loại (test-exec giữ 2 tầng feature-group → cycle-bundle).
 
 ## When to Use
 
-- Integration đã hoàn thành (Done) và không cần active nữa
-- Integration bị cancel hoặc deferred vô thời hạn
-- Muốn dọn dẹp `.specs/integrations/` khỏi các integration cũ
+- Integration đã hoàn thành (Done) / cancel / deferred vô thời hạn.
+- Một **chu kỳ test** (cycle bundle test-exec) đã chạy xong, muốn lưu kết quả ra khỏi working set.
+- Feature retire → archive cả feature group test-executions của nó.
+- Dọn dẹp `.specs/integrations/` hoặc `.specs/test-executions/` khỏi bundle cũ.
 
 ## When NOT to Use
 
-- Integration đang In Progress → chưa nên archive
-- Muốn xóa hoàn toàn → đừng archive, thao tác thủ công sau khi confirm với team
+- Integration đang In Progress → chưa nên archive.
+- Cycle test đang chạy dở (Test Result chưa xong) → chưa archive.
+- Muốn xóa hoàn toàn → đừng archive, thao tác thủ công sau khi confirm với team.
 
 ---
 
 ## Process
 
-### Bước 1: Kiểm tra thư mục archive
+### Bước 1: Chuẩn bị thư mục archive
 
-Kiểm tra `.specs/archive/` đã tồn tại chưa.
+`.specs/archive/` chứa subfolder theo loại. **Tạo lazy** — chỉ tạo subfolder loại nào khi thực sự archive item thuộc loại đó:
 
-**Nếu chưa tồn tại** → tạo thư mục `.specs/archive/`.
-
-**Nếu đã tồn tại** → tiếp tục.
+- Archive integration → đảm bảo `.specs/archive/integrations/` tồn tại (tạo nếu chưa).
+- Archive test-execution → đảm bảo `.specs/archive/test-executions/` tồn tại (tạo nếu chưa).
 
 ---
 
-### Bước 2: Liệt kê integrations
-
-Quét `.specs/integrations/` để tìm tất cả các integration (mỗi integration là một thư mục con).
+### Bước 2: Liệt kê archivable từ cả hai plane
 
-**Nếu không có integration nào:**
+Quét `.specs/integrations/` và `.specs/test-executions/`. Hiển thị danh sách **chia section theo plane, đánh số liên tục**:
 
 ```
-Không có integration nào trong .specs/integrations/.
-```
-
-Dừng lại.
-
-**Nếu có integrations**, hiển thị danh sách dạng numbered list, kèm trạng thái nếu đọc được từ `spec.md` (frontmatter `status` hoặc heading):
-
-```
-Integrations trong .specs/integrations/:
+Archivable:
 
+Integrations (.specs/integrations/):
   [1]  001-user-authentication      (approved)
-  [2]  002-payment-integration      (draft)
-  [3]  003-notification-service     (done)
-  [4]  004-admin-panel              (in-progress)
+  [2]  003-notification-service     (done)
+
+Test executions (.specs/test-executions/):
+  [3]  F-012-bulk-import / 001-regression
+  [4]  F-012-bulk-import / 002-release-2.0
+  [5]  F-012-bulk-import            (cả feature group — gồm 001, 002)
+  [6]  F-031-checkout / 001-smoke
 
-Chọn số thứ tự integration để archive (hoặc nhập nhiều số cách nhau bởi dấu cách, ví dụ: 1 3):
+Chọn số để archive (nhiều số cách nhau bởi dấu cách, ví dụ: 1 3):
 ```
 
-Với mỗi integration, cố gắng đọc `spec.md` để lấy status. Nếu không đọc được thì bỏ qua phần status.
+- **Integration**: mỗi `{id}-{slug}/` là 1 dòng. Cố đọc `spec.md` frontmatter `status` để hiển thị (bỏ qua nếu không đọc được).
+- **Test execution**: mỗi **cycle bundle** `{F-XXX}-{slug}/{NNN}-{cycle-slug}/` là 1 dòng (qualified tên feature group). **Thêm 1 dòng cho cả feature group** `{F-XXX}-{slug}/` để archive trọn gói.
+- Cả hai plane rỗng → `Không có gì để archive trong .specs/integrations/ và .specs/test-executions/.` → dừng.
 
 ---
 
 ### Bước 3: Xác nhận
 
-Sau khi user chọn, hiển thị xác nhận trước khi di chuyển:
+Hiển thị source → **namespaced dest** trước khi di chuyển:
 
 ```
-Sẽ archive các integration sau:
+Sẽ archive:
 
-  .specs/integrations/001-user-authentication/  →  .specs/archive/001-user-authentication/
-  .specs/integrations/003-notification-service/ →  .specs/archive/003-notification-service/
+  .specs/integrations/001-user-authentication/
+    →  .specs/archive/integrations/001-user-authentication/
+
+  .specs/test-executions/F-012-bulk-import/001-regression/
+    →  .specs/archive/test-executions/F-012-bulk-import/001-regression/
 
 Xác nhận? (yes/no)
 ```
 
-Nếu user không confirm → hủy, không làm gì.
+- Nếu user chọn **cả feature group** lẫn một cycle con của nó → cảnh báo trùng, chỉ giữ feature group (archive group bao trọn cycle).
+- Không confirm → hủy, không làm gì.
 
 ---
 
 ### Bước 4: Di chuyển
 
-Với mỗi integration đã được confirm:
+Với mỗi item đã confirm, di chuyển **giữ nguyên cấu trúc nguồn** dưới subfolder loại:
+
+- Integration: `.specs/integrations/{id}-{slug}/` → `.specs/archive/integrations/{id}-{slug}/`
+- Cycle bundle: `.specs/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` → `.specs/archive/test-executions/{F-XXX}-{slug}/{NNN}-{cycle-slug}/` (tạo feature group dưới archive nếu chưa có).
+- Feature group: `.specs/test-executions/{F-XXX}-{slug}/` → `.specs/archive/test-executions/{F-XXX}-{slug}/`.
 
-- Di chuyển toàn bộ thư mục `.specs/integrations/{slug}/` sang `.specs/archive/{slug}/`
-- Giữ nguyên toàn bộ cấu trúc thư mục và file bên trong
+Sau khi di chuyển cycle bundle, nếu feature group nguồn **rỗng** (không còn cycle nào) → xóa thư mục feature group rỗng ở `.specs/test-executions/` cho gọn.
 
-Nếu `.specs/archive/{slug}/` đã tồn tại (trùng tên) → cảnh báo:
+**No-overwrite guard:** nếu dest đã tồn tại → cảnh báo và **bỏ qua** item đó (không ghi đè frozen record):
 
 ```
-⚠ .specs/archive/001-user-authentication/ đã tồn tại. Bỏ qua integration này để tránh ghi đè.
+⚠ .specs/archive/test-executions/F-012-bulk-import/001-regression/ đã tồn tại. Bỏ qua để tránh ghi đè.
 ```
 
-Và bỏ qua integration đó, tiếp tục với các integration còn lại.
+Tiếp tục với các item còn lại.
 
 ---
 
 ### Bước 5: Kết quả
 
-Thông báo kết quả:
-
 ```
 ✓ Đã archive:
-  .specs/archive/001-user-authentication/
-  .specs/archive/003-notification-service/
+  .specs/archive/integrations/001-user-authentication/
+  .specs/archive/test-executions/F-012-bulk-import/001-regression/
 
-{nếu có lỗi}
+{nếu có}
 ⚠ Bỏ qua (đã tồn tại):
-  .specs/archive/005-foo/
+  .specs/archive/test-executions/F-031-checkout/001-smoke/
 
-.specs/integrations/ hiện còn {N} integration(s).
+Còn lại: {N} integration(s), {M} test-execution cycle(s).
 ```
 
 ---
@@ -119,7 +128,9 @@ Thông báo kết quả:
 
 Trước khi di chuyển:
 
-- [ ] `.specs/archive/` đã tồn tại (tạo nếu chưa có)
-- [ ] User đã chọn ít nhất 1 integration
-- [ ] User đã confirm trước khi di chuyển
-- [ ] Không ghi đè nếu slug đã tồn tại trong `.specs/archive/`
+- [ ] Subfolder loại tương ứng (`.specs/archive/integrations/` hoặc `.specs/archive/test-executions/`) đã tồn tại (tạo lazy nếu chưa).
+- [ ] User đã chọn ít nhất 1 item.
+- [ ] User đã confirm; trùng feature-group ⨯ cycle-con đã dedupe.
+- [ ] Cấu trúc nguồn giữ nguyên dưới subfolder loại (test-exec giữ 2 tầng).
+- [ ] Không ghi đè nếu dest đã tồn tại.
+- [ ] Feature group nguồn rỗng sau khi archive cycle → dọn thư mục rỗng.

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

@@ -0,0 +1,251 @@
+---
+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.
+
+**Placeholder cho owner điền khi chạy** (KHÔNG tự bịa):
+- **Test Result / Status (CI)** → `—` (chưa chạy).
+- **Execution Locators / Test File / POM** → `_Pending — {owner}_`.
+- **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/Locators = placeholder, không bịa.
+
+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/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, ...)