verification-before-completion
Dùng khi sắp tuyên bố xong/fixed/PASS/green, trước commit/PR được User yêu cầu, hoặc khi kiểm kết quả từ agent khác. Bỏ qua khi chỉ khám phá/đọc và chưa đưa completion claim.
Instal·la
npx skillscat add toanmobile/agent-workbench/verification-before-completion Instal·la des del registre de SkillsCat.
Verification Before Completion
Gate
Trước mỗi completion claim:
- Identify: lệnh/evidence nào trực tiếp chứng minh claim?
- Run: chạy fresh, targeted và đủ scope; không tin cache/report cũ.
- Read: kiểm exit code, test count, failure và output thật.
- Match: evidence có chứng minh đúng outcome được claim không?
- Claim: nêu command/evidence đã chạy và residual; không phóng đại.
Với bug fix/error correction, gate bắt buộc luôn là PAIRED EXECUTABLE ORACLE: cùng
acceptance/scenario/oracle/execution identity đã thực thi RED trước production edit và GREEN sau edit.
Historical report/log/baseline/source/reviewer chỉ discovery; không có waiver hoặc completion claim khi
thiếu một vế. Không có safe pre-run → BLOCKED.
Claim → evidence
| Claim | Evidence tối thiểu |
|---|---|
| Compile/build xanh | Targeted Gradle compile/build exit 0 trong conversation |
| Test pass | Test thật chạy, đúng test identity/count, 0 failure/error |
| ktlint/detekt sạch | Task tương ứng cho scope đụng exit 0 |
| Regression fix | Executed pre-edit RED + post-edit GREEN của cùng PAIRED EXECUTABLE ORACLE |
| Runtime/UI/lifecycle bug fixed | Device/instrumented/repro + logcat/oracle quan sát được |
| UI / Route / Screen hoạt động | Render phần tử dữ liệu/empty-state thật (không chỉ shell/spinner rỗng) + 0 console.error/pageerror/uncaught exception + 0 request nền 5xx/401/403 |
| Async / Queue / Upload / eSign hoàn tất | Đợi job/queue về trạng thái kết thúc (terminal state) và xác nhận bản ghi/file đích đã lưu bền vững — không tính riêng UI Toast hoặc HTTP 200 ban đầu |
| Tối ưu hiệu năng / bộ nhớ (Perf win) | Đo xen kẽ AB, BA $\ge 5$ cặp sau warmup trên cùng dữ liệu; so sánh median và range. Nếu range > 20% median hoặc hai dải chồng lấp thì báo inconclusive — cấm kết luận từ 1 lần chạy đơn lẻ |
| Security/release safe | Relevant release/config/runtime gate, không chỉ debug compile |
| Agent khác hoàn tất | Đọc diff/file thật và tự chạy verification phù hợp |
Chọn command theo module/blast radius trong AGENTS.md và skills/tdd-workflow/SKILL.md.
Không chạy root full suite, screenshot matrix, macrobenchmark, device hay release gate mặc định nếu claim
không cần chúng. Ngược lại, compile/mock-only test không đủ cho runtime/device/security/performance.
Safety và verdict
- Không reset/revert/xóa dirty work để tạo RED.
- Không dùng “chắc”, “có lẽ”, cache hoặc success-report thay evidence.
- Nếu command không chạy được, ghi chính xác blocker và phần chưa verify.
- Finding/residual còn thật thì verdict phải là residual/blocked, không
CLEAN. - Không commit/push/PR chỉ vì verification pass; cần request rõ của User.
Liên kết: AGENTS.md Rule 5/W6 · rules/core-rules.md §3 (test) · [[tdd-workflow]] · /audit-gate.
Categories
Instal·la
npx skillscat add toanmobile/agent-workbench/verification-before-completion Instal·la des del registre de SkillsCat.