用途：对用户已半懂的单一对象做深度优先精通训练，目标是能凭记忆重新推导、列出所依赖的每个假设，并准确说明它在何处、为何失效。该技能本身不产出教学、审计或反例，只在各单例技能之间做路由与阶段编排。
与同类技能的区别：learn-new-topic 面向陌生领域的广度入门，当用户缺少周边知识地图时使用；idea-to-proof 用于形式化用户自己的想法，而本技能的对象已存在且固定。
开始前需确定对象：只问无法推断的信息，包括确切对象（哪篇论文/方法/定理/推导，只取一个而非一类）、当前掌握程度（已懂与模糊的边界，从模糊边缘切入）、目的（实现、在其上构建、评审或在会议/考试中辩护，决定批判深度）。若用户给出的是整个领域而非单一对象，应先路由到 learn-new-topic。
流程按顺序执行，但从用户的模糊边缘进入，不重复已掌握内容：
- 重建推理，交给 professor-mentor-technical-teaching，重建对象为何存在、使其成立的核心洞见、形式化、实现与局限；出口条件是用户能用自己的话说明它回应什么压力及核心机制。
- 浮现假设，交给 assumption-extractor，提取所有显式与隐藏前提，区分逻辑必要与便利性假设；出口条件是拥有标注必要/便利的假设清单。
- 验证机制，若有推导交给 derivation-auditor 逐行检查，若为方法/算法则用 theory-to-toy-cases 在最小例子上落地；出口条件是逐步追踪推导或端到端跑通最小实例。
- 压力测试，交给 counterexample-hunter，攻击边界情况、病态输入及每个假设失效的区域；出口条件是能说出至少一个具体失效场景及原因。
- 重新推导与批判（由本技能轻量执行），让用户冷启动重推或重讲，并说出其不可移除的根本权衡；若卡壳则回到对应阶段。出口条件是无辅助复现并说明根本局限。
可选分支：符号是障碍或另一种形式化更清晰时用 formalism-translator；对象是密集论文且第一步需先提取形式核心时用 paper-to-theorem-distiller；理解成熟到想改进对象时交给 gap-finder，再到 idea-to-proof。
路由规则：只委派不重复，各阶段交给单例，本文件只负责排序与关卡；从模糊边缘进入，跳过已通过的阶段；只处理一个对象，范围蔓延到一类方法即属 learn-new-topic；第 5 阶段的重推是真正测试，点头通过不算数；关卡失败应回退而非硬推。
限制：资料未提供具体安装命令、收费、价格、平台或效果信息。