ROCK 分离法则求解器（rock-separation-solver）
一、定位与边界
做什么：针对"同一参数必须 P 且必须 −P"型核心冲突，走完"物理矛盾定式 → 四问维度判定 → 分离法则选择 → 法则菜单发散 → 方案移植 → 效能比评价"全流程，输出 WPS docx 求解报告。
不做什么：
- 问题还说不清矛盾在哪 → 先走 rock-rap-solver（逼近式凝炼），逼出核心冲突后再回来
- 冲突是"改善 A 恶化 B"两难（两个参数之间）而非同一参数相反要求 → 走 rock-matrix-solver
- 问题本质是基元作用缺陷（不足/有害/缺失）而非参数相反 → 走 rock-standard-solver
二、术语纪律（强制）
- 对外输出一律用 ROCK 称谓：核心冲突（=物理矛盾）、磐石法则（=发明原理）、四大分离法则（=分离原理）、理想终态（=IFR）、效能比（=理想度）。完整映射见
references/term_mapping.md。 - 理论出处（人物、机构）仅在"来源标注"场景保留原名。
三、七步流程
第 1 步：收集输入
收集问题情境、系统组成、约束条件。缺信息必须追问，不猜（追问方式参照 rock-rap-solver 的动态凝炼规则：从用户回答中提炼问题，不套固定清单）。
第 2 步：核心冲突定式
把问题压成标准核心冲突表述（句式强制）：
> 【参数 P】必须 = +P（为了 A / 保持某有用功能），且必须 = −P（为了 B / 消除某有害作用）
判定门：压不出同一参数的相反要求 → 不是核心冲突，按第一节边界转路由。若能压出多组核心冲突，全部列出，逐组走第 3~6 步。
第 3 步：四问维度判定（本 skill 的核心）
按 references/decision_tree.md 的四问决策树，依次问：
- 不同时间？ 此时要 +P、彼时要 −P → 时间分离
- 不同空间？ 此处要 +P、彼处要 −P → 空间分离
- 不同条件？ 同一位置同一时刻，但工况/对象/环境不同 → 条件分离
- 不同层级？ 部分要 +P、整体要 −P（或相反）→ 系统级分离
判定规则：按 1→2→3→4 顺序问，第一条成立即用，不贪多；但允许记录次要可行分离作为备选路线（报告须标注主次）。四问全不成立 → 核心冲突表述有问题，回第 2 步重压，或转 rock-matrix-solver。
第 4 步：分离法则确认与菜单展开
按判定的分离法则，从 references/principle_menus.md 读出对应磐石法则菜单（必须读文件，禁止凭记忆给编号）。菜单是发散引导，不是硬约束。
第 5 步：方案移植
对菜单内每条磐石法则：给法则定义 → 跨行业类比 → 迁移到本问题产出候选方案。要求：
- 产出 ≥3 个候选方案（可来自同一分离法则，也可来自次要分离法则）
- 每个方案落到具体改动点（部件/结构/参数级），不接受"考虑动态化"这类空话
- 每个方案必须说明它牺牲了什么——没有代价的"方案"是折中被误写成了解
第 6 步：效能比评价（四维打分）
按 rock-standard-solver 同口径四维打分（保证四个 skill 评分一致）：可实现性 30%、成本 20%、风险 20%、效果 30%，各维 1~5 分，逐维必须给理由。加权分 ≥4.0 推荐、3.0~3.9 备选、<3.0 淘汰。另做两项校验：
- 理想终态校验：推荐方案离"系统自己完成功能、不加部件不复杂化"有多远，写明。
- 新害检查：方案是否引入新的有害作用，写明。
第 7 步：docx 报告输出
生成《ROCK分离法则求解报告_<问题名>.md》→ 用 scripts/md2docx.py 转 .docx（黑体标题/宋体正文/表格），present_files 打开预览。报告八节强制结构：
1. 问题情境与输入台账（含追问记录）
2. 核心冲突定式（P 与 −P 双方理由逐条列）
3. 四问判定过程（四问逐条回答，主次分离标注）
4. 分离法则与磐石法则菜单（查表结果，注明出处文件）
5. 方案移植（法则→类比→具体方案→代价）
6. 四维打分表与排序
7. 推荐结论 + 理想终态校验 + 新害检查
8. 附录：术语映射对照、数据来源标注
四、质量红线
- 法则编号必须读
principle_menus.md，禁止凭记忆输出编号。 - 四问判定必须逐问给答案，不允许"直接选了空间分离"——跳问 = 违规。
- 打分逐维给理由，禁止只给数字。
- 各源菜单有差异时，以双源一致的核心集为主菜单，差异就地标注，不得隐瞒。
- 判定出多条可行分离时，主路线必须明示，备选路线可以进方案池但需标注来源分离。
五、协作路由
- 上游：
rock-rap-solver（L5 逼出核心冲突后转入本 skill） - 平行：
rock-matrix-solver（交换冲突）、rock-standard-solver（基元缺陷） - 四个 skill 打分口径一致（可实现性30/成本20/风险20/效果30），报告可互相引用。
