同步远端 PNL0003 诊断和大采样网格能力,语义合并活动感知的 60 秒真停滞判定与旧后端 15 分钟兼容兜底。 纳管热路径优化、15 单元运行证据、浏览器与 API 报告,并补充北京时间更新日志和遗留问题。
5.8 KiB
5.8 KiB
更新日志 2026-08-18
02:28
- 完成 P0 基础回归闭环,并推进 OPT-01:将 760 个兼容代数槽压缩为 440 个逻辑坐标,逻辑消去 320 个 effort 别名;全局 RHS 微基准约提升 12.9%,Python 调用数约下降 36.8%。
- 建立独立可执行的因果数值 IR schema v1,分离结构程序与运行时绑定并支持逐阶段对照和事务回滚;该 IR 仍是参考实现,尚未接管默认 RHS 热路径。
- 修复 PNL00R 上游连接温度引用语义;为热流体闭合增加事务快照、类型化失败诊断、试探态回滚和基于实际试探步长的减步重试,并修复成功恢复后最大步长被永久限制的问题;无状态事件的 Generic 系统也可使用可恢复积分路径。
1 s、2 s、5 s和10 s递进长测均取得完成结果,maxStep=0.02是当前长测首选;另一个5 s/maxStep=0.05单元在模拟时刻约4.252 s因 1200 秒预算合作取消,属于预算控制而非求解失败。- 最终
10 s/maxStep=0.02单次运行在约1602.7 s完成,1717 条序列、1,722,151 个标量全部有限并经历 2 次机械状态转换;模拟时刻约6.964 s的一次热流体试探态失败经事务回滚、减步和 1 次重试后继续完成,因果审计、运行时验证和旧路径回退均为 0。 - 相同
maxStep=0.02的2 s与10 s运行在公共严格前缀检查点逐值一致,确认此前约1.86 s的失败来自不可恢复的试探态闭合处理,而不是远端tStop直接改变物理方程。 - 全量后端共运行
828项测试,结果为 OK,其中3项按条件跳过;差异检查通过且测试后无遗留仿真进程。 - 当前仍有明确限制:跨最大步长严格比较尚未全部通过;最终
0.2 s候选相对旧 golden 为398/402,4 个超差项均是终点派生加速度,旧 golden 未被覆盖;最终10 s仅完成一次,仍需三次中位数、资源稳定性和新 golden 决策。
07:58
- 以
AmesimModels/test_mql.ame为权威重新核对test-mql-8.xml/json:20 类、157 个项目组件、178 条连接和 1092 个参数一致;唯一确定差异是仿真配置,已按 AME 与其结果网格修正为0→10 s、sampleStep=0.01 s、maxStep=0.001 s。 - 新增 AME 防漂移契约,直接验证归档 SHA/字节、
.sim/.results时间轴、单位与表压转换、公式等价、DIRECT/接触/建模线拓扑,以及 XML↔JSON 的逐 ID、参数和端口一致性。 - 建立并批准 production
0.2 s的通用状态 golden 与 physical-state-v2.1 golden:前者覆盖 142 个状态键、3 个检查点和 426 个值;后者覆盖压力、质量流量、质量守恒、总储气质量和离散模式,并保留 AMESim 外部校准 provenance。 - AMESim 外部评估 25 项通过;2 个
t=0.04 s跳变流量因左右极限语义显式不参与外部比较。最差相对误差为0.1393485%,未超过 0.2% 审阅容差;本地物理 golden 33/33 重放误差为 0。 - 最终 production replay 的 worker/orchestration 墙钟为
159.607/160.473 s,状态与物理门禁均通过;按既定安全公式外推 1 s 为1197.053 s,略低于 1200 s soft budget,记录为后续阶段可运行但本次 OPT-00 未启动。 - 历史 production
0.81/2.10 s严格串行复测三次并批准两档 golden;三次检查点、状态、事件、输出契约及除计时外诊断逐值一致,无非有限值或非预期回退。 - 新增 Linux x86_64 的 22 包 binary-only SHA-256 发布锁;全新空 venv 离线安装、
pip check和依赖契约通过,CI 的 quick/historical/main-long 三层任务统一使用该锁。 - 最终 quick workflow 同口径 179 项通过(2 项预期跳过),完整后端 849 项通过(3 项预期跳过),
git diff --check与残留进程检查进入最终收尾。 - OPT-00 已完成当时工作树的本地验收。仍存在的问题:批准报告来自
684d287的脏工作树;后续求解器提交合入后尚未重新运行真实 production 基线和全量回归,远端 workflow 也待提交后首次托管验证。
23:10
- 统一物理回归基线口径:AMESim 仿真结果成为唯一物理数值基线,production runner 每次运行都重新输出当前值、AMESim 基线值、绝对误差和相对误差;Python exact/state golden 降为确定性与实现漂移诊断,不再参与物理正确性批准,但输出契约变化仍会阻断验收。
- 对 AMESim 零基线不再使用人为最小分母:相对误差明确记为
null并由绝对误差门判定;无 AMESim 数据的内部守恒量完整记录为基线不可用,并继续执行独立绝对残差门;通用 AMESim 时序比较 CSV 同步采用该零基线语义。 - manifest loader 现在校验 AMESim 权威归档的角色、仓库内路径、字节数和 SHA-256,并与 physical-state artifact 的 AMESim provenance 交叉绑定,防止基线文件或引用静默漂移。
- 用同步远端元件修正后的真实 production
0.2 s报告复核新门禁:33 条指标均记录,27 条具有 AMESim 基线,其中 25 条参与判定、2 条跳变流量仅记录不判定、6 条内部量走本地不变量门;两类门均通过,最坏相对误差为0.139334%,占 0.2% 包络的比例为0.696670。 - AMESim/runner/主模型等关联回归 67 项通过(3 项按条件跳过),通用 AMESim 比较及上层调用 30 项通过;Python 编译、manifest JSON 校验和
git diff --check均通过。
23:21
- 完成当前工作区快照存档并推送至远端
model-development,提交为a8c7338;本次纳管 32 个文件,相关 68 项回归测试通过(3 项按条件跳过),差异检查无异常。 - 其他对话仍在进行的工作未纳入本次日志提交。当前仍待基于最新求解器代码重新运行真实 production 基线,并确认远端 workflow 首次托管结果。