用途：针对用户已经部分了解的某一个具体对象（一篇论文、方法、算法、定理、推导或结果）做深度优先的掌握编排，目标是用户能凭记忆重新推导、列出其依赖的每个假设，并准确说明它在何处、为何失效。它本身不产出教学、审计或反例，只在各单点技能之间做路由与门槛控制。
与相邻技能的区别：flow-learn-new-topic 用于不熟悉领域的广度入门；flow-idea-to-proof 用于把用户自己的想法形式化，而本技能的对象已存在且固定。
开始前需确定：确切对象（一个，而非一类）、当前掌握程度（从模糊边缘切入）、目的（实现、在其上构建、评审，或在会议/考试中辩护）。若用户给出的是整个领域，应先路由到 flow-learn-new-topic。
流水线按顺序执行，但从用户的模糊边缘进入：重建推理（professor-mentor-technical-teaching）→ 暴露假设（theory-assumption-extractor）→ 验证机制（theorem-and-claim-audit 和/或 theory-to-toy-cases）→ 压力测试（theory-counterexample-hunter）→ 冷讲复现（naive-student）。每阶段出口门槛需经练习检查点（由 concept-exercise-generator 生成，解答另存文件，偏向分析/推导/构造反例）或讨论轮验证，未独立通过不得前进；已明显越过该阶段模糊边缘的可跳过。
讨论模式：用户向 STUDENT、PEER、MENTOR 三方讲解当前阶段材料，由本文件担任 MODERATOR 逐条裁定。用户先答，PEER 再质疑，升级顺序为：用户作答→同伴质疑→用户重试→同伴部分提示→导师最小依赖，不得跳级；导师连续两轮出手应回退一阶段。门槛通过条件是回放成立且所有承重环节均由用户自己拥有，借用他人环节的模型属于知识债务，应路由到 knowledge-debt-audit。
可选分支：记号或形式化障碍用 theory-formalism-translator；密集论文先抽取形式核心用 theory-paper-to-theorem-distiller；想改进对象则接 gap-finder 再走 flow-idea-to-proof；需要不夺权的共同求解者用 whiteboard-peer；目的是辩护则在阶段 5 后写成成品交 professor-critic，读者与验收标准由用户提供。
限制：仅处理单一对象，范围扩大即应转 flow-learn-new-topic；门槛必须验证而非假定；失败应回退而非硬推；练习在对应技能中生成，不内联于此。资料未提供收费、平台与效果信息。