aps-agent/docs/round-75-cp-native-infeasible-core-record.md

Round 75 CP-SAT 原生不可行核心记录

日期：2026-08-17；状态：本地实现、全量回归与独立复审完成。

• assumptions 覆盖 C1 precedence、C2 no-overlap、C10 changeover、C11 freeze、C12 team/tooling。
• INFEASIBLE solverMeta 输出 cp-sat-native-core.v1、方法名、规范 constraintIds 与 literalCount。
• 结果诚实标记 minimality=sufficient-assumption-core、isMinimalIis=false。
• CP focused 24 passed；solver affected 79 passed；full golden 1302 passed / 2 warnings。
• 4 个受保护业务文件哈希不变；最终独立复审 AUDIT PASS。
• GitNexus：13,243 nodes / 60,042 edges / 580 clusters / 300 flows；累计 CRITICAL（53 files / 384 symbols / 66 flows）。
• 未执行 commit、push、merge 或 publish。