3.1 KiB
3.1 KiB
Round 82：C7 产线/日容量 CP 硬约束与实例增量
目标
把原先只在 Rule 物化后检测的 C7 产线日产能，接入 operation-level CP-SAT 可行模型，并支持具体 line/day 分钟 RHS 的 one-at-a-time 正向重解和实例成本口径。
语义
- 实例身份：
line-day:{lineId}:{YYYY-MM-DD}；编码/名称只展示，不参与身份。 - 负荷：每道候选工序的 routing setup + run 分钟、激活的顺序换型分钟，以及既有已发布/冻结工单固定分钟，按开工自然日整笔记账；transfer/wait 不计。
- 容量：对应产线/日期 shiftCalendar 的工作班次分钟减休息段。
efficiencyFactor已折算运行时长，容量不再乘效率；件/日字段不参与。 - 长工序跨夜仍归开工日。该语义与现有 Rule C7 一致，但不是跨班可暂停、自然日 overlap 分摊或物化班次模型。
- 非工作日容量 0；缺日历、跨午夜/重叠班次、非法休息段失败关闭。
协议与成本
- protocol v2 新增 C7 RHS 扰动对象：
parameterId/lineId/bucketDate/increment，增量范围 1~1440。 instanceIncrements单次最多 128 个；instanceCostRates只能引用本次实例。实例费率优先于站点默认，显式零有效。/api/master输出逐产线 workingDates，Web 禁用非工作日，后端 422 继续二次校验。- 未配置成本时 rate/unit/currency/estimatedCost/scope/source 全 null；单位为每产线/工作日 C7 RHS 增量分钟，不输出 ROI 或净收益。
- 仍是非物化沙盒重解：OPTIMAL 精确差，FEASIBLE 只给区间，单调性/模型拓扑/RHS 差值失败关闭。
物化边界
CP/Hybrid 最终仍由 Rule 重新占槽。每次物化后按 exact C7 重算并写 materializedC7Validation；若 Rule 的 5% 告警阈值未覆盖精确超载，补充 CAPACITY 冲突以阻断发布。CP solve status 保留，避免把模型状态与物化偏差混为一谈。
验收
- C7 专项：
26 passed / 1 warning。 - 协议/CP/Sidecar/Job 联合回归：
206 passed / 1 warning。 - 全量黄金：
1504 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 与健康冒烟通过；真实 C7 protocol v2 为 869→929、精确改善51000、实例成本120、
runtimeSafe=true。 - 独立审计首轮 1 P1/2 P2：冻结负荷、工作日 UI 与验收记录；实现项均修复并复审关闭。
- GitNexus：13,846 nodes / 63,569 edges / 620 clusters / 300 flows；
detect_changes(compare main)为累计 CRITICAL（76 files / 621 symbols / 104 flows）。
隔离 Web 已验证：L001/#1、2026-08-19、C7 +60 分钟显示 869→929；无费率显示未配置，实例费率 2 显示 CNY120，其他参数不继承该费率，console warning/error 为 0。
边界
- C3 班次窗口、跨班暂停/续作、自然日 overlap 分摊和 CP 时间直接物化留待后续。
- 现场费率、加班规则与财务罚则仍需业务确认。
- 未提交、推送、合并或发布。