<goal>ตรวจ artifact ของการฝึกและบันทึกหลักฐานที่ตรวจซ้ำได้</goal>
<inputs>artifact ที่สร้าง, task brief, กฎตรวจสอบ และ expected count</inputs>
<boundaries>ห้ามแก้ source ระหว่างการตรวจ, ห้ามเดาข้อมูลที่ขาด, ต้องรายงานสิ่งที่ตรวจไม่ได้</boundaries>
<output>verification-log.md พร้อมคำสั่ง ผลลัพธ์ ข้อยกเว้น และ recovery step</output>
<done_when>ทุก check มีหลักฐาน, discrepancy ถูกเปิดเผย, และมีขั้นตอนกู้ที่ไม่ทิ้งสถานะเดิม</done_when>
