分析与优化
文档状态：当前实现与方法边界。本页描述真实运行如何形成下一配方建议。
唯一业务闭环
真实配方运行 + 实际参数 + 过程上下文 + 有效质量结果
↓
优化观察
↓
下一配方建议（安全边界与已观察覆盖内）
↓
工程师采用 / 修改 / 拒绝，并记录原因
↓
关联实际运行 → 冻结质量结果
建议不是设备命令。它是带输入快照、预测、不确定性、约束、证据范围和理由的追加记录。工程师决定、实际运行关联和结果也分别追加，不能覆盖。
准入与停止
至少三条有效运行覆盖两种不同实际配方后，系统才生成建议。运行必须具有可信身份、实际参数、必要上下文和质量结果。数据不完整、不可比、覆盖不足、约束冲突或模型条件不满足时，系统停止建议并说明原因。
观察覆盖包络
安全边界说明工艺允许到哪里，不说明历史运行观察到了哪里。日常生产运行往往聚集在当前配方附近并同时改动多个参数，代理模型在这种数据上会在簇内给出很小的不确定性，同时向从未运行过的区域自由外推。因此建议除安全边界外，还必须落在真实运行的观察覆盖范围内，由两道各自独立的门共同限定：
- 量程门：每个变量不得超出它在历史运行中的最小值和最大值，外加一个余量。余量取观察跨度的 10% 与变量量程的 2% 中的较大者，因此从未变化过的变量仍保留一个小的本地步长，而不是被冻结或放开整个量程。
- 杠杆门：候选点相对观察数据中心的马氏距离，不得超过观察点自身的最大马氏距离再放宽 10%。这是响应面方法中的帽子矩阵外推判据。它允许在稀疏数据内部插值，同时拒绝偏离生产实际变化方向的点——只看单变量区间的量程门无法表达这一点。
候选点直接在包络内生成，而不是先在整个量程内采样再筛除；参数高度共线时，包络往往只是量程盒中很薄的一片。包络内不存在足够候选点时，系统停止建议并说明生产运行尚未覆盖足够的参数空间。
配方建议仅使用 reach-specification（逼近规格），并始终落在观察覆盖包络内。
优化服务返回本次实际施加的包络，平台用同一批运行独立复算。两者不一致，或任一建议越出包络时，平台停止建议。离线算法评估不适用该门：历史回放只能从真正发生过的运行中选择，因此不构成外推。
数值方法
系统按数据条件选择稳健统计、线性或二次响应面、高斯过程和贝叶斯优化等方法。所有方法都受到同一准入、约束和可追溯要求约束；复杂模型不会因为复杂而获得更高可信度。
机理知识可以作为硬约束、软排序或声明式特征输入。每条建议冻结实际使用的知识、模型和输入版本；知识冲突、过期或范围不匹配时，系统降级或停止。
离线评估边界
离线算法评估可以使用冻结历史数据，按时间隔离未来结果，比较确定性、约束遵守和适用基线。它用于开发和方法审查，不是用户需要创建、审批或执行的业务流程，也不能证明现场收益。
结果与知识
当实际运行、参数回读和检验事实齐备后，系统从源数据一次性冻结建议结果。采用、修改和拒绝原因连同质量结果，构成下一轮观察和后续知识更新的可追溯证据。