用途
该技能面向数学解法语料库，做的是仓库级或语料库级的分解工作，目的是从有边界的解法语料中提取可复用的数学动作，避免产出逐文件摘要或定理包装目录。它被定位为前置环节：对单个数学切片做词汇审计、对一次已完成或暂停的调查做轨迹学习、对特定操作做契约审查，都有各自更聚焦的技能；本技能负责这些聚焦审计之前的整体分解。
主要能力
- 冻结范围：记录每个源仓库的不可变修订版本，以及用于比较的 Jacobian 修订与目录；界定纳入的目录、活动或证书族及排除项。不依据部分克隆、截断工件、生成摘要或不可读依赖宣称语料闭合。
- 先清点工件类型：论文与笔记、Lean 或其他形式化开发、精确的 Python 或原生程序、数值实验、求解器编码与证明、提示与轨迹、证书包、测试夹具、回放或发布元数据等，清点目的是寻找方法族而非按时间顺序总结文件。
- 按解题技术分组：按数学动作而非猜想名称或语言聚类，示例包括精确有限枚举、动态规划、局部引理见证、线性或半定对偶、代数消元、区间包围、规范化、依赖舍入、编码理论剖面、有限状态转移论证等。每族选取能暴露局部动作、精确假设、边界行为和可独立回放夹具的代表来源，持续采样直到新代表不再揭示新的载体、后置条件、表示机制或失败模式。
- 分解每个代表来源：描述精确载体、局部动作与稳定后置条件、周围定理如何使用它、证据或夹具；当表示、闭合和发现细节影响拟议操作时一并记录。技能强调局部动作不自动等于一个操作，需拒绝仅暴露单次循环迭代、求解器控制、回调、证明记账或临时数据结构的边界，也拒绝把动机定理、搜索策略、解释与停止规则捆绑在一起的过宽边界。要求找到在周围论文或猜想消失后仍有意义的一个后置条件，并先解决空、零、恒等、重根、奇异、边界或连续轨迹等闭合情形；例如最大值点可能是整条曲线时，需要精确轨迹变体而非虚构的完整有限见证列表。
- 研究方法文献：把局部动作追溯到一次文献或权威形式化/库来源，核实精确假设、结论、约定、算法机制与对表示敏感的复杂度；区分共享词汇但保证不同的邻近方法；对维护良好的精确后端和标准算法按候选比例调研，判断有界类型化 Jacobian 契约是否可行，而不考虑是否照搬语料手写实现；文献支持定理但在所需规模上不存在可接受精确内核时，记录不确定性。
- 与 Jacobian 对比：检查当前目录、原生 API、规范值、请求与结果模型、测试、准入决定及相关问题；在宣告缺口前先尝试最小精确组合；手动的坐标变换、廉价投影或特定定理装配通常仍属调用方工作，而不兼容的值、分离的证书或隐藏展开可能指向互操作或契约问题。
使用方式
按技能描述的工作流执行：先冻结修订与范围并清点工件类型；再按数学动作聚类并选代表来源；逐一分解代表来源，处理闭合情形，判定表示是否为数学执行证据；追溯一次文献；与当前 Jacobian 目录和最小精确组合对比。每条方法族需给出一种处置：已有操作或精确组合；表示或互操作性修复；发现修复；请求/结果契约修复；规模或后端改进；新的有界操作候选；定义、约定、对抗、蜕变、生产者-消费者或压力夹具；推理、特定定理工作流或证书基础设施；或无支持的 Jacobian 行动。对操作候选需说明语义域、稳定后置条件、源表示、控制工作量与输出量、重建或定义不变量、类型化不完整状态，以及至少一个可区分夹具，并把可复用缺口的存在与公开目录准入分开看待。
适用场景
适用于需要对一个数学解法语料库或代码仓库中反复出现的解法做系统分解、判断哪些局部数学动作可提升为可复用能力的场景，尤其适合在词汇审计、轨迹学习或单项操作契约审查之前进行整体摸底。
限制
- 不在未获用户授权时提交工单、评论、修改外部系统或做仓库变更。
- 不创建大型持久报告、复制的源码归档或生成清单，除非用户要求；只保留回放结论所需的小型夹具与证据。
- 不在提议新工单前过度主张归属，已经属于既有范围的操作、契约或规模问题应强化规范归属。
- 在提出操作时，不因共享后端而混淆不同语义。
- 收尾条件为：每个已清点方法族都有处置、每个拟议操作都与当前精确组合及工单归属对比过、额外代表来源不再产生新的局部动作/表示机制/后置条件/夹具角色。“没有剩余缺口”仅指所声明范围内没有未归类的可复用动作，不代表语料库或数学文献别无他物。
- 该技能及相关文档未提供具体收费、价格、平台或运行环境信息，也未给出可直接执行的安装命令，相关内容暂未提供。