可验证序列单元

将多步工作分解为以可验证状态结束的小单元，逐步检查并按序交付，使提交和 PR 序列自证其正确性。