作者提出按工作单元分配AI参与与保证的形式化框架，并在17单元机翼梁工作流中执行：AI生成CAD一次通过23项确定性检查，应力条款因收敛证据不足被判ADJUDICATE
核心概要
本文提出一个形式化框架，为工程工作流的每个工作单元记录需求、经批准的操作形式化、参与与保证机制、回退、证据义务与就绪状态，区分确定性验证、统计校准准入、人工判断与裁定、保留确定性工具路径及不参与等不同保证类型；作者在一个17单元机翼梁结构分析工作流中执行该框架，AI生成的CAD程序一次通过全部23项确定性检查，而应力条款因预先声明的网格收敛证据不足未获PASS，转由工程判断裁定。
Figure 3.1: Overview of the workflow-unit participation and assurance framework. Regime classification, assurance evidence and deployment readiness are distinct; the regimes carry different guarantee kinds and are not ordered on a scalar assurance scale. Stage 1 (Section 4.2 ) assigns Type D, Type E or C[assist], or passes the unit to Stage 2, which selects the admission rule for units whose deliverable AI may produce. The record box shows the fields of Definition 6 (* where applicable) together with the record’s readiness status. Under a READY record, the prescribed mechanism produces, admits or authorizes the deliverable, or a declared fallback produces it; under a NOT READY record (dashed outline), the existing non-AI process produces it (Definition 15 ). PASS denotes a favourable study outcome label (Section 5.6 ), which readiness does not imply.
arXiv深度剖析
框架为每个工作单元建立参与与保证记录，包含工程需求、经批准的操作形式化及其范围与版本、适用机制、声明的回退、带证据类型的保证义务、部署就绪状态与制度保证条款。 既有工作分别处理生成能力、机器学习组件保证、组织风险管理、保证案例、确定性验证、统计风险控制、人工监督与工具鉴定；本文的差异在于把这些机制及其局限整合到单个工作单元层面，并显式处理从需求到操作形式化的步骤。 以定义与命题形式给出，包括Type A的逐实例逻辑蕴含、Type B的总体级统计陈述、Type C的发布程序属性，以及Type D/E的参与边界；作者声明未在已查阅文献中发现同类整合方案。
分阶段分类与就绪程序把参与、保证与就绪分离，并区分当前制度分类、原则上可达的目标制度与部署就绪三种状态；只有验证或校准机制实际存在时才分配Type A或Type B。 该程序保证每个工作单元恰好获得一个制度，且分类不依赖就绪状态；就绪是状态而非保证，未就绪的记录不主张保证条款。 作者称这些性质是程序结构的推论，而非关于工程工作的实质结论；判定谓词（如AI是否带来正当价值、是否允许委托、是否存在经批准的形式化）仍属工程与组织判断，需记录理由。
在执行的17单元机翼梁结构分析工作流中，AI生成的CAD程序仅通过确定性门进入分析，一次通过全部23项几何与有效性检查；下游网格、求解与提取保留确定性工具路径；AI草稿仅经授权人工接受后发布。 该案例展示了选择性AI参与与单元级证据处理：1个Type A、6个Type D、4个C[adjudicate]、6个C[assist]，未实例化Type B或Type E。 作者主导的单次端到端执行，制度、准则与工具在运行前冻结；61项哈希清单固定规格、准则、材料数据、分析计划与求解器二进制；求解分析仅执行一次，未独立重复。
有利的数值结果未自动产生PASS：法兰与加筋板应力指标未收敛，四个应力条款在极限与极限载荷两个方向均返回NOT_CONVERGED，最终处置为ADJUDICATE；而屈曲条款因所需证据齐备获得PASS。 该结果把需求到形式化的差距在真实执行中显现出来：预先声明的应力规则覆盖了根部夹持区，但未覆盖运行揭示的端部载荷引入区；作者将其记录为局限，未修改任何准则。 收敛容差在运行前冻结（位移与屈曲因子1%，应力指标5%）；法兰指标从182.6 MPa升至246.5 MPa（25.9%），加筋板从98.4 MPa升至117.8 MPa（16.4%）；事后诊断显示内部法兰变化约0.2%，但未参与裁决。
启示与展望
该框架面向需要在安全关键工作流中决定AI如何参与、以何种机制准入以及证据不足时如何处置的工程组织与研究者。它适用于可分解为工作单元、且每个单元能声明需求、形式化、机制与回退的工程流程；案例适用于一个锥形加筋悬臂铝制机翼梁段的中面壳模型中，在正负端部载荷下按项目定义的应力与屈曲准则评估。作者明确说明该框架不推导工作流级可信性、单元间独立性、误差传播界限或系统安全性，也不建立认证、监管合规或生产率改进。
读者仍需关注：判定谓词依赖工程与组织判断，不同分解可能产生不同分配；形式化保真度对自然语言需求无法由证明建立；Type B保证依赖声明的重复总体、固定生成器版本与校准假设，一次性单元无法使用；Type C保证是程序性的，不保证判断正确；就绪状态取决于对证据充分性的判断。案例方面，结构模型为理想化中面壳、线性化刚性端部载荷关系未建立有限转动有效性、屈曲为完美几何线性分岔、准则为项目定义而非认证要求；AI生成代码未展示操作系统级隔离，网格确定性仅在同一主机验证，求解未独立重复，无人工基线故不主张效率提升。此外，本次解析为快速通读，图表与补充材料中的部分细节未逐项核对，若需引用具体数值或条款应查阅原文与补充材料。