作者提出按工作单元分配AI参与与保证的形式化框架，并在17单元机翼梁工作流中执行：AI生成CAD一次通过23项确定性检查，应力条款因收敛证据不足被判ADJUDICATE
本文提出一个形式化框架，为工程工作流的每个工作单元记录需求、经批准的操作形式化、参与与保证机制、回退、证据义务与就绪状态，区分确定性验证、统计校准准入、人工判断与裁定、保留确定性工具路径及不参与等不同保证类型；作者在一个17单元机翼梁结构分析工作流中执行该框架，AI生成的CAD程序一次通过全部23项确定性检查，而应力条款因预先声明的网格收敛证据不足未获PASS，转由工程判断裁定。