机器人覆盖优先 Stage 1 设计 REPAIR-005 聚焦复审请求

• case_id: ANA-ROBOT-INDUSTRY-001
• action_id: NEXT-ROBOT-038R5
• source_audit: AUDIT-ANA-ROBOT-COVERAGE-FIRST-DESIGN-REPAIR004-REREVIEW-001
• design: DESIGN-ANA-ROBOT-COVERAGE-FIRST-CHAIN-COMPANY-REPAIR-005
• batch/run: BATCH-ANA-ROBOT-COVERAGE-FIRST-DESIGN-REPAIR-005 / RUN-ANA-ROBOT-COVERAGE-FIRST-DESIGN-REPAIR-005

唯一范围

仅复审 COVR3VAL-004 的 supersession 精确指向及 8 个真实 mutation→evaluateRuntime 回归。final89、REPAIR003 authorities 和全部已通过门不重开。

冻结结果

• corrected matrix=97；COVR3VAL-004→COVR4VAL-072 恰1；其余96行不变。
• clean runtime errors=0。
• 8 cases 全部 mutation_applied=YES、oracle=evaluateRuntime、actual REJECT、expected code matched。
• tuple swap matched/runtime errors=4/4；其余7例各1/1。
• Stage1 exact-set=11/order1..11；baseline=24/sha256 8189cc0dae2482b86e62012135cbf7847fbb079a5b491b51f96c8d5dbf0928f7。
• manifest prefix=852 rows/289772 bytes/999e3a7a...；reserved Stage1=0。

若聚焦复审 PASS，请只精确释放唯一 Stage1 batch/run；Stage2/3和canonical cutover继续NOT_ALLOWED。