○本地兜底
一件真事
从贵州的磷矿石到电芯，这条链已经通了。
但化成这道最贵的工序，窗口内哪一点又快又好，还锁在工程师的手感里。
基准田 无经验
没有那句话，整张工艺窗口都得自己试
当场裸跑 · 同种子对照
— 电压
-- 电流
横轴 18h 固定 · 快慢看得见
孪生可信度 · 自证
留出验证:每批的预测区间都在看到读数之前记下
说一句您自己的经验
现场随口说 —— 接得住的编成先验,接不住的当场停靠,不假装全懂
一 · 机理骨架
每条规律都是公开教科书级的定性事实,右边是沙盘里落实它的函数。
规律可查证,实现可点开 —— 两头都不靠信任。
二 · 特征自检—
这些勾不是写死的,是打开这页时当场跑沙盘算出来的。
写死的勾等于自己发奖状;当场算的勾,错了就会在这里变成叉。
三 · 路线声明
现在没有接实测数据,就说没有。公开数据集只写成下一步的锚点,
并写清它和化成首效的口径差在哪。不叠任何文献曲线。
结算
—个试验批次
这条经验，让 AI 少试了这 12 个批次
—
这一批的参数落在哪
灰条是原始工艺窗口,玫红段是这句话收窄后的搜索域,圆点是这一批真的取的值。
五维都画 —— 热力图只画两维,余下三维只在这儿看得见。
本轮推理
四步都是这一批实际算过的数:观测前的预测均值与不确定度、
采集函数给的收益、可行性判定、以及这批读数把最优推到了哪。不是事后编的解说。
这一批离三条红线有多近
读数由这一批的参数当场算出,不是预测。前两条是风险,
条越长越危险;末一条是达标度,反过来,越长越好 —— 所以它们的标签不共用一套念法。
三方对照 · 消融
是翻译在起作用，还是随便一个先验都行
三条曲线同一个沙盘、同一个优化器、同一组种子。
差别只有先验:真翻译 / 无先验裸跑 / 把同一句话的强度接到错的维度上。
第三条是关键 —— 它证明起作用的是"接对了维度",不是"加了个先验"。
真翻译
无先验裸跑
维度打乱(同强度，错维度)
—
01一句人话 → 一份可审计的先验
口诀先翻成一份结构化的先验规格,再由确定性编译器编成中间表示。
翻译层只能在封闭的接口清单里选:均值项、硬剪除、观测噪声项、评估成本项、伪观测、
长度尺度、坐标校准、置信度,以及接不住时的显式停靠。
它不看响应面、不碰目标函数、不提候选点 —— 否则整个演示就是循环论证。
02一次编译，两个引擎解释同一份数据
校验、红线族授权、可行域体积上限(单句最多剪 40%)、降级记录
全部只在编译期发生;浏览器这一侧只做算术,没有权限做判断。
这条结构是修一个真 bug 修出来的:前端曾手写过第二份先验,和后端编译结果悄悄分叉 ——
同一张歪经卡,后端否决,前端却算成全场最省批次。
03称量，不是服从
四条增益轴 + 一条折扣 + 两条否决权,单位是"批次等价",乘一次单批成本就是钱。
四条轴是必要的:安全类的话省的是废品;观测类的话既不省批次也不省废品,
它省的是把一个虚高结果发上产线的那次事故;校准类的话不改响应面也不改搜索域,
它保证的是"你以为设了 200,工件真拿到 200"。漏一条轴,就等于用评分表宣布那一类经验没用。
账按 16 个种子的均值算,不按台上那一轮 —— 演的是一轮,判的是分布。
04孪生是什么，不是什么
不做电化学仿真(P2D / 纽曼模型明确不做)。
它是公开定性机理规则 + 公开量级估算的合成数据生成器,当前版本
无实测数据参与,标定页上每个数都能追到骨架表里的某个函数。
边界也写在前面:只面向过程状态可测的工序 —— 发酵这类核心状态不可观测的工艺现阶段不做,
沙盘造出来对客户不诚实。不把任何文献曲线叠到我们的曲线上做"拟合得很好"的暗示。
全部区间与量级为公开文献典型范围 + 演示标定,
无任何企业实际数据;PoC 阶段由客户产线数据校准。
优化方法为公开学术方法族(高斯过程代理、受约束贝叶斯优化),由团队自行实现。