同一状态，两条未来
SimPy 从同一快照续算原排程与 HiGHS 候选排程。已完成工序被冻结；在制品保留原设备与剩余加工时间。
01 · DECISION WORKFLOW
重排未来，保留已经发生的工作。
把设备故障变成候选排程、公平对照与明确确认。求解器和仿真负责算数，工作流负责保留状态。
- 观察快照 + 故障
- 比较原排程 / 候选
- 确认明确选择
- 续算形成新快照
2/4 → 4/4首次故障对照 · 合成任务完工数
2 次事件录制演练中的确认状态转换
0 次模型调用本例由 HiGHS 与 SimPy 计算
问题
第 2 小时，设备发生故障，一件任务已经加工了一部分。整份排程直接重写，会抹掉已完成的工作，还可能把已开工任务移到另一台设备。可用的重排必须先保留这两类承诺，再优化剩余时段。
实现决策
提案经过确认才推进
先比较完工、未完成、加班与时间线，再明确确认。推进会消费所选提案，第二次故障从真实续算后的新状态开始比较。
失败仍有可解释的路径
求解器在隔离进程中运行；失败或超时不会发布提案，也不会推进执行。不可行或更差的候选继续推荐原排程，过期确认不能把提案应用到另一份快照。
亲自检查
公开页面播放一个自编场景的录制结果。要修改故障并调用实际求解器，请安装仓库依赖后启动本地演练：
python -m mpa.demo --port 8840- 比较默认 M1 在第 2 至 6 小时停机的结果。
- 查看冻结前缀与剩余工作，确认选择并推进到第 3.5 小时。
- 比较第二次 M2 故障，再次推进并下载状态转换记录。
适用边界
这是四件任务、有限时间网格上的合成演练。它验证状态转换和比较约束，不代表工厂产能增益或 LLM 排程能力。演练没有连接生产设备。
来源与验证
源码和 CI 链接用于检查实现与复现状态；测试通过不等于部署成功或实际业务收益。