3.1 KiB
3.1 KiB
Round 81:CP RHS 参数增量重解与现场成本口径
目标
在不物化排产结果、不改业务世界的前提下,对当前 CP-SAT 模型中可诚实扰动的 RHS 参数逐个正向重解:C8 交期容差分钟、C12 班组容量和 C12 工装容量。结果只表达有限差分,不冒充 CP 对偶、影子价或货币净收益。
实现
server/aps_domain/cp_rhs.py:固定日期/策略/模型输入,先求基线,再枚举 C8 全体待排条目和 C12 真实 Cumulative 资源实例;校验模型拓扑和唯一 RHS 差值。server/engines/cp_engine.py:C8 只平移延期目标 due RHS;C12 只增加指定资源的 capacity,世界主数据保持不变。server/engines/solver_process.py、solver_worker.py:protocol v2 新增 RHS baseline/perturbation operation;严格字段集合、随机 invocation、请求/响应 digest、扰动和参数状态回显。server/gateway/app.py:cp-rhs.recompute在创建线程前完成全部 422 校验,沿用 JobQueue 的认证 actor、tenant/project、并发和协作取消。apps/web/src/skills/AsyncJobsTab.tsx:三类增量和可选现场费率输入;按资源展示精确值/区间/未激活/异常和成本状态。
失败关闭
- 生产 operation、整约束移除和 RHS 诊断不得混用字段。
- C12 资源必须已接线且
intervalCount>=2;否则 inactive,不启动变体重解。 - C8 只改目标 RHS,若可行性改变则整份报告失败关闭。
- OPTIMAL 负改善、可行基线变体不可行、FEASIBLE 上界为负、区间上下界矛盾、模型拓扑或 RHS 差值漂移均不输出改善值。
- 无显式现场费率时
costStatus=not_configured,费率、单位、币种和估算成本均为 null。加权延期分钟与货币成本不做净值或 ROI 运算。
边界
- C7 产线/日能力尚未进入当前 CP-SAT 可行模型,本轮不提供 C7 RHS 敏感性。
- C8 是延期目标函数中的 due RHS,不是当前 CP 可行域硬约束。
- 费率输入是本次请求显式提供的站点参数默认值;真实资源级费率、延期罚则和财务确认仍需现场校准。
- 本轮不提交、推送、合并或发布。
验证
- CP RHS 专项:
43 passed / 1 warning。 - 协议/CP/Sidecar/Job 联合回归:
180 passed / 1 warning。 - 全量黄金:
1478 passed / 5 warnings。 - Node:
60 passed;Web build:4853 modules,构建通过(仅既有大 chunk 提示)。 - 冻结 Sidecar:CPython 3.13.12、OR-Tools 9.15.6755、SciPy 1.18.0、GLOP probe 与健康冒烟通过;真实 protocol v2 RHS baseline/perturbation
runtimeSafe=true,C8 60 分钟精确改善 18000。 - GitNexus:13,778 nodes / 63,355 edges / 617 clusters / 300 flows;
detect_changes(compare main)为累计 CRITICAL(73 files / 591 symbols / 90 flows)。 - 隔离 8021/5191 真实 Web:无费率任务显示成本未配置;显式 C8 费率 2、增量 60 分钟显示 CNY 120;C12 无资源实例不重解、不估算成本;目标/成本不可相减提示可见。
- 主服务 8003/5173 保持 HTTP 200;受保护业务文件哈希复核不变。