43 lines
3.1 KiB
Markdown
43 lines
3.1 KiB
Markdown
# 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 时间直接物化留待后续。
|
||
- 现场费率、加班规则与财务罚则仍需业务确认。
|
||
- 未提交、推送、合并或发布。
|