40 lines
3.1 KiB
Markdown
40 lines
3.1 KiB
Markdown
# 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；受保护业务文件哈希复核不变。
|