原子子任务指无法再合理细分、且具有明确输入输出的最小工作单元；可验证性要求每个子任务存在客观的成功判据。