Mở rộng edge case với ak:scenario

Dùng ak:scenario để chuyển feature description hoặc code path thành edge case, failure path và test target cụ thể. Chạy một pass để review nhanh, số iteration cố định để có hard ceiling hoặc saturation mode để tiếp tục tới khi hai iteration liên tiếp không thêm scenario mới.

Chọn ak:scenario cho coverage trước implementation

Dùng ak:scenario khi

• Feature phức tạp hoặc stateful cần edge case trước implementation.
• Bạn đang planning regression test, review API contract hoặc chuẩn bị release risk audit.
• Timing, scale, authorization, data integrity, integration hoặc partial failure có thể thay đổi expected behavior.
• Bạn muốn mỗi scenario được classify và gắn với expected outcome.

Chọn workflow khác khi

• Thay đổi trivial, cosmetic hoặc không có logic branch đáng kể.
• Target đã ổn định và có evidence hiện tại cho cùng risk.
• Bạn cần thực thi test thay vì tạo target. Dùng ak:test.
• Bạn cần verdict từ năm góc nhìn cho design đề xuất. Dùng ak:predict.
• Bạn cần implementation. Đưa scenario đã duyệt vào ak:plan hoặc ak:cook.

Chuẩn bị target và giới hạn

Trước khi bắt đầu:

• Hoàn thành Làm quen và xác nhận Engineer Kit đã được cài cho runtime cùng scope hiện tại.
• Cung cấp feature description hoặc file path hẹp và behavior phải giữ.
• Nêu actor, state, data, integration, constraint và known failure mode.
• Chọn one-shot, --iterations N hoặc --saturation có chủ đích.
• Ưu tiên --iterations N khi cần hard count ceiling. Saturation mode có novelty stop nhưng không có numeric maximum riêng trong shipped contract.
• Loại secret và unrelated file khỏi evidence scope.

Chạy exploration có giới hạn

/ak:scenario "Account recovery with expiring email links, active sessions, and organization SSO" --iterations 25 --domain security --focus failures --format test-scenarios

/ak:scenario "Account recovery with expiring email links, active sessions, and organization SSO" --iterations 25 --domain security --focus failures --format test-scenarios

$ak:scenario "Account recovery with expiring email links, active sessions, and organization SSO" --iterations 25 --domain security --focus failures --format test-scenarios

Dùng one-shot mode bằng cách bỏ cả --iterations và --saturation:

/ak:scenario src/api/account-recovery.ts

Với Codex, dùng $ak:scenario src/api/account-recovery.ts.

Chọn exploration control

Đừng kết hợp claim coverage exhaustive với bất kỳ mode nào. Fixed count là budget và saturation là novelty heuristic—không phải bằng chứng mọi behavior đã được phát hiện.

Hiểu mười hai dimension

Skill trước tiên filter theo relevance thay vì điền mọi category máy móc:

Dimension không liên quan nên được liệt kê cùng lý do và assumption đứng sau việc skip, không âm thầm tính là đã cover. Nếu assumption đó có thể không còn đúng trong vòng đời feature, hãy coi failure của nó là scenario thay vì skip dimension.

Quan sát scenario loop

1. Skill đọc target. Nó xác định actor, component, precondition, state và expected behavior.
2. Skill filter dimension. Relevant dimension trở thành exploration plan; skipped dimension vẫn hiển thị cùng assumption. Breakable skip assumption trở thành failure scenario.
3. Skill đề xuất một situation mỗi iteration. Trigger, flow và expected outcome làm scenario có thể test.
4. Skill classify novelty. Scenario New và Variant hữu ích được giữ; Duplicate, out-of-scope và low-value case bị discard cùng lý do.
5. Skill mở rộng case được giữ. Boundary, interruption, ordering và stale hoặc missing data lộ derived edge case.
6. Skill rotate exploration. Sau ba same-dimension iteration, nó chuyển qua dimension, combination, negation, amplification, persona và temporal shift.
7. Skill checkpoint progress. Mỗi năm iteration, nó summarize kept và discarded case, dimension, severity cùng gap.
8. Skill dừng và tổng hợp. Count hoặc novelty condition đã chọn kết thúc run, sau đó là grouped report và coverage matrix.

Giữ analysis trong authority

Workflow đọc evidence được cho phép và có thể ghi scenario-results.tsv trong iterative mode. Nó không nên đổi product code, tạo test file, liên hệ external system hay thực thi attack payload trong khi tạo scenario.

Giữ sensitive source và customer data khỏi prompt cùng report. Nếu scenario hàm ý destructive test, credential use, production traffic hoặc external cost, hãy ghi nó như gated follow-up thay vì chạy.

Xác minh scenario evidence

Report hoàn chỉnh nên chứa:

• Target, assumption, evidence scope và mode đã chọn.
• Dimension được analyze và dimension bị skip cùng lý do, assumption.
• Scenario với trigger, flow, expected behavior, severity và dimension.
• Trong iterative mode, scenario-results.tsv với novelty classification và discard reason.
• Progress checkpoint cho run dài.
• Coverage matrix và gap rõ ràng.
• Halt reason: one-shot, fixed count hoặc hai iteration không có case mới.
• Recommendation cho test, plan, prediction hoặc security review tiếp theo.

Bundled composite score gán trọng số cho generated scenario, edge case, dimension, actor và severity. Xem nó là internal prioritization heuristic, không phải coverage percentage hay release threshold.

Xử lý sự cố hoặc tiếp tục

Đưa row có thể test sang ak:test, risk Critical và High sang ak:plan, hoặc proposal quan trọng nhất sang ak:predict.

Biết các giới hạn hiện tại

• Scenario generation không chứng minh runtime behavior hay complete coverage.
• Novelty classification và severity có model judgment và có thể sai.
• --saturation có novelty stop hai iteration nhưng không có maximum iteration count do source định nghĩa; dùng --iterations N cho strict resource ceiling.
• Composite score là heuristic và không được trình bày như test coverage.
• Runtime access kiểm soát tệp và context Skill có thể đọc.