跨域类比查找器(Cross-Domain Analogy Finder)是一个研究辅助技能,用于在远距离领域中寻找某个概念的“结构孪生体”——即结构上相同但使用不同语言表述的问题。其核心目的是:借用其他领域的解决方案,或核查某个想法是否已以另一个名称存在。
用途与定位 该技能适用于两种场景:一是“进攻”模式,即从其他领域借用可移植的解决方案;二是“防御”模式,即核查自己想法的新颖性,确认是否已被他人解决。它强调,真正的跨域结构迁移非常罕见,因此大多数运行结果应当是“仅表面相似”,这是正常且成功的运行,而非失败。
不适用场景 该技能明确列出不应使用的情况:作为回避难题、假装高效的方式;用于查找本领域或邻近领域的先例(应使用 literature-triangulation);用于调研某个研究领域(应使用 literature-triangulation);用于核查一个已经选定的想法(应使用 research-idea-stress-test)。如果无法明确说出卡住的问题或待核查的想法,则不应使用该技能,因为它需要一个具体的种子。
两种模式 使用前必须选择一种模式:
- 进攻(借用方案):目标是导入外部工具;走向远距离领域,距离是奖励;检索网络宽松;接受标准是结构性的“我能从中拿走什么”;一次成功即一个可移植工具;当结果可迁移并通过导入测试时停止。
- 防御(核查新颖性):目标是确认想法是否已被解决;先邻近后远距离,但邻近只是搜索顺序而非停止规则;检索网络宽松;接受标准是怀疑性的“我是否被它捕获”;一次成功即一个紧密的身份匹配;当骨架的实例在近处和远处都被清除时停止。
操作流程
- 抽象——剥离词汇:将概念简化为骨架,包括对象、操作符、不变量、动态。校准标准是:抽象到不变量存活但词汇消亡。太浅则按名称搜索,无用;太深则一切皆“状态空间上的动力系统”,搜索空洞。诊断方法:如果骨架已有数十个跨不相关领域的实例,说明抽象太浅;如果只有一个,说明太深或确实新颖。理想状态是来自远距离领域的少量实例。
- 搜索抽象而非名称:搜索骨架的签名,而非标签。例如,“谱隙”返回谱隙,但“控制指数松弛到主导本征模的标量”会返回 Kuramoto 阈值、Cheeger 常数、绝热隙、统计力学松弛时间等。进攻模式走向远距离领域和不熟悉词汇;防御模式枚举骨架实例从近到远,一旦抽象正确,集合是有限的,因此“距离完备”可实现。使用骨架存储作为检索先验,但存储只提议,从不验证。
- 四类判定门:每个候选必须归为以下之一:
- 完全相同:同一问题已被解决。停止,阅读其文献,继承其工具箱、失败模式和反例。
- 可移植:解决方案可迁移。说明其夹带的前提条件(度量?对称性?守恒律?)并检查是否适用于你的场景。
- 带差异的孪生:除一个结构位置外处处匹配。该不匹配即你的开放问题,已预先定位。
- 仅表面相似:有相似性但无可携带内容。丢弃。
- 导入结果测试:对每个非“仅表面相似”的候选,命名具体跨越的内容:定理、界、算法或证明技术,并检查它在家乡说了非平凡的话。如果无法命名可携带结果,则归为仅表面相似。
- 来源:每个防御声明(“领域 X 已解决此问题”)需要真实可查的来源,否则标记为未验证。所有检索视为线索而非事实,直到来源在手。
- 积累:将发现追加到骨架存储,包括骨架、具体实例、可携带结果及来源、任何差异。存储会复合增长,数月后成为以研究邻域为中心的概念图。
输出契约 对每个浮现的命中,输出:骨架(对象/操作符/不变量/动态)、命中(概念、领域、与源的距离)、判定(完全相同/可移植/带差异的孪生/仅表面相似)、可携带结果(命名的定理/界/算法/技术,或“无→丢弃”)、来源(来源或未验证)、差异(如果是孪生,单一结构不匹配→gap-finder)、前提条件(如果可移植,需检查的夹带假设)。最后以诚实统计结束。如果全部返回仅表面相似,明确说明——这是成功运行。
配套文件
- skeleton-store.yaml:积累的概念↔骨架索引(检索先验+模式)。
- calibration-set.md:分级工作示例,技能的地面真值。
交接
- 先例基础→literature-triangulation
- 孪生的差异→gap-finder
- 选定的借用想法,待核查→research-idea-stress-test