Prompt AI-KT009 — Kiểm độc lập hợp đồng và bộ kiểm

Nhiệm vụ gốc: R019, gói SD03. Target là agent trong workspace CXK.
Đọc AGENTS.md, README.md, docs/GLOSSARY.md và Research/20260926_AI_THUC_HIEN/KY_THUAT/SD03_THIET_KE_VA_RANH_GIOI.md.
Đầu vào bắt buộc: knowledge-base/schemas/knowledge_item_schema.yaml, knowledge-base/knowledge-cards/_schema.json, knowledge-base/faq/_schema.json, docs/legal/HO_SO_DU_LIEU_VA_NHA_CUNG_CAP.md.
Phụ thuộc nghiệp vụ: R018.
Điều kiện gốc: Người phụ trách nhận việc; dùng đúng phạm vi được quyết định. Nếu thiếu đầu vào, dừng nhánh và ghi phần chờ.
Xác minh đầu ra phụ thuộc có thật, đúng phiên bản và thẩm quyền trước phần cần chúng.
Nếu thiếu, ghi đúng bằng chứng thiếu; dùng thiết kế đã hoàn tất để tiếp tục phần độc lập.
Không coi trạng thái AI_DRAFT_READY của bản chuẩn bị là hoàn thành R019.

Thực hiện đúng các bước sau khi đủ đầu vào:
1. Dùng dữ liệu tổng hợp thử trường thiếu, sai kiểu và tập rỗng. So đầu ra với yêu cầu đã khóa.
Đầu ra: docs/project/HOP_DONG_DU_LIEU.md — Kiểm ca sai và tập rỗng
Kiểm: Ca không đủ điều kiện không được báo đạt.
2. Thử ID trùng, thẻ nháp, nguồn hết quyền và mâu thuẫn trạng thái. Lưu lỗi có bước lặp lại.
Đầu ra: docs/project/HOP_DONG_DU_LIEU.md — Kiểm ID và trạng thái quyền
Kiểm: Các trường hợp bị cấm bị chặn theo hợp đồng.
3. Đối chiếu kết quả, phiên bản và phần chưa kiểm. Trả lỗi hoặc báo đủ điều kiện kỹ thuật theo phạm vi.
Đầu ra: docs/project/HOP_DONG_DU_LIEU.md — Kết luận phạm vi kiểm và bàn giao
Kiểm: Không dùng kết quả checker thay phê duyệt nguồn hoặc nội dung.

Đầu ra đích của parent: docs/project/HOP_DONG_DU_LIEU.md.
Trước sửa canonical, đối chiếu quyết định thật và phạm vi người dùng đang giao.
Giữ bản nguồn và ID, không đổi trạng thái APPROVED; không tự ký nhận vai REVIEW_TECH.
AI có thể hỗ trợ đọc mã, tính toán và ghi lỗi; không thay kiểm độc lập của người được giao.
Không gửi dữ liệu người hoặc nguồn có quyền hạn chế ra ngoài.
Không bật camera, gọi nhà cung cấp hoặc triển khai host chỉ vì prompt này có mặt.
Giữ readiness/chat 503 của bản ngoại tuyến cho đến thay đổi riêng đã đủ điều kiện.
Kiểm thực tế, ghi lệnh, exit, phiên bản, mẫu số và lỗi còn mở. Không bịa kết quả.
Nghiệm thu parent: Ca bị cấm phải thất bại; không coi checker là duyệt nội dung
Kết thúc bằng file đã đổi, kiểm đã chạy, giới hạn và việc cần review.