ROCK 逼近式求解器(RAP-85C)v1.0.0
把模糊的发明情境通过动态凝炼的提问逐层逼近到根因(物理矛盾),再按三路由求解,输出 docx 报告。术语纪律与路由边界见文末。
术语纪律(红线)
- 对外输出一律用 ROCK 称谓:磐石创新法、基元模型、要素A/B、物理矛盾、理想终态(IFR)、76 条标准策略。TRIZ/ARIZ/物场/S1/S2 等原词只在"来源标注"场景保留。对照表:
references/term_mapping.md。 - 禁止凭记忆给策略/法则编号——所有编号必须查 references 或对应 skill 的数据表。
核心规则:动态凝炼提问(本 skill 的灵魂)
禁止一次性抛出固定的标准问题清单(如"请描述系统组成/主要功能/约束"三连)。每一轮要问的问题必须从用户已给出的描述里现场凝炼。
每一轮提问的生成流程(每轮必走):
- 提取:从用户最新回答中摘出线索——名词(组件/介质)、动词(作用/变化)、数字与条件(工况/量值)、抱怨点(不满现象)、已排除项(试过不行的)。
- 对账:把线索记入条件台账(三栏:已确认 / 假设待确认 / 最大未知),与当前逼近步骤(L1–L6)的通过判据逐条对照,找出缺口。
- 凝炼:针对最大缺口,生成 1~3 个只在此刻才值得问的问题。每个问题必须满足:
- 指向具体缺口,不是泛泛的"请再详细一些";
- 能从用户话里引出为什么问它("你提到排气有余热,那么它的温区和流量范围是……?");
- 用户答完这个问题的答案,能直接推进当前步骤的判据判定。
- 提问模式库见references/approach_patterns.md(缺口类型→凝炼心法)。 - 抛出并小结:抛出问题 + 更新条件台账(哪些新确认、哪些仍是未知)。台账随轮次演进,用户始终能看到"逼近到哪了"。
提问纪律:每轮最多 3 个问题,优先问"答案能关闭最大未知"的那个;用户答非所问时,先复述你的理解请其纠正,再重凝炼;连续 2 轮用户给不出信息,用假设+标注"待验证"的方式推进,不得空转。
六步逼近链(L1–L6)
每步完成判据不满足,不得进入下一步(失败出口见 approach_patterns.md)。
L1 情境陈述
- 目标:结构化现状档案(组件清单、功能、不满现象、工况条件、已排除项)。
- 动态提问指引:首轮只凝炼"补缺口"的问题——用户已说的不再问;缺组件问组成("除了你提到的X,水流路上还有哪些部件?")、缺现象问度量(""不稳"大概在什么范围波动?多快出现?")、缺工况问条件("问题在什么温度/季节/负载下最明显?")。
- 判据:没见过项目的工程师读完能复述。
L2 迷你问题
- 目标:压到最小表述。句式:"在几乎不改变系统、不引入重大成本的前提下,消除【具体不利因素】,同时保持【有用功能】。"
- 动态提问指引:用户列了多个不满 → 凝炼排序问题("这几个里哪个不解决就最疼?它们有没有先后因果?");不利因素太抽象 → 凝炼观测问题(""恒温差"用户端看到的直接现象是什么?")。
- 判据:一个不利因素 + 一个保住的功能 + 一组硬约束,全部具体可指认。
L3 冲突定位
- 目标:基元三角(要素A-要素B-作用场)+ 一句冲突陈述。
- 动态提问指引:作用发出者不明 → 凝炼传导问题("热量是从哪条路径传到管子上的?");场类型不明 → 凝炼介质问题("中间隔着什么介质?")。
- 判据:三要素指认到具体部件/介质。
L4 理想终态(IFR)
- 目标:"【被作用物】自己用现成资源完成功能,不加部件、不复杂化。"
- 动态提问指引:写不出 IFR 时凝炼资源线索问题("系统里或环境里,有没有现成的热/力/空间闲着?");用户心理惯性想"加东西"时反问("如果不许加任何部件,还有什么办法?")。
- 判据:表述里没有"增加/添加/新装"。
L5 物理矛盾逼问
- 目标:"【同一参数】必须 = P(为了A)且 = −P(为了B)。"
- 动态提问指引:对"为什么做不到 IFR"逐层凝炼追问——每层从上一层的回答里挑出矛盾的两端,问"它同时还要满足什么?";需要辅助时引入小矮人法(让用户想象冲突元素是一群小矮人,它们如何同时完成两件事)。
- 判据:主语只有一个、参数只有一个、要求恰好相反,两侧理由能指回 L2/L4 原文。
- 出口:5 层后仍是两个不同参数打架 → 技术矛盾,转 rock-matrix-solver。
L6 表述体检
- 三项:尖锐性(一句话能读完)+ 资源粗盘(有得盘即可,详盘在求解阶段)+ 追问链回看(有没有偷换主语/参数)。全过才进求解。
- 出口:资源粗盘全空 → 大概率表述问题(约束写过头),回 L2/L5 放宽重述。
求解路由(L7–L11,可端到端)
- L7 资源分层盘点(系统内→子系统→超系统/环境 × 物质/场/空间/时间/信息/功能),免费的先用、最近的先用。
- L8 三路由按序:①基元缺陷→76 条标准策略(rock-standard-solver);②尖锐物理矛盾→四大分离原理(空间/时间/条件/系统级别);③技术矛盾→交换冲突矩阵(rock-matrix-solver)。
- L9 概念群 ≥3 个,每个标注用了哪个资源、化解矛盾哪一侧。
- L10 理想度 + 新害检验(理想度 = 有用功能 ÷(成本+有害功能))。
- L11 生成报告:md 组织 →
scripts/md2docx.py转 docx → present_files。报告必含逼近链全记录(每轮的凝炼问题、用户回答要点、台账演进)——这是本 skill 区别于直接给答案的核心资产。
模式开关
- 交互逼近(默认):L1–L6 逐轮提问推进,判据不过不前进。
- 端到端(仅当用户信息一次给足):跳过提问,L6 判据仍须自检,缺口以假设+标注"待验证"补齐,报告中标明。
质量红线
- 不套固定问题清单——每轮问题必须由用户原话凝炼而来,报告里要能看出凝炼痕迹。
- 每轮最多 3 问,且每问附"为什么问"。
- L6 不通过禁止求解;查表编号必须读文件。
- 输出一律 ROCK 术语 + WPS docx。