用途：当用户想推导公式、搭建理论主线、组织假设、把零散方程变成连贯推导时，本技能帮助构建一份诚实的推导包，而非伪造的精美定理叙事。
主要能力：明确目标对象（恒等式/命题/近似/解释）；冻结推导目标；选择统领全局的不变量对象（目标函数、损失、总成本、能量、状态变量等），避免用便捷代理量悄悄替换真实对象；规范化假设与符号，找出隐藏假设、未定义符号与范围歧义；对每一步标注其为恒等式、命题、近似还是解释；制定推导策略与推导图，说明近似在何处进入、特例与一般情形何时分离。
使用方式：默认写入项目根目录的 DERIVATION_PACKAGE.md，除非用户指定其他文件路径。文件结构包括：Target、Status、Invariant Object、Assumptions、Notation、Derivation Strategy、Derivation Map、Main Derivation、Remarks and Interpretation、Boundaries and Non-Claims、Open Risks。若目标文件已存在，先读取并更新相关章节，不盲目复制。
状态取值：COHERENT AS STATED、COHERENT AFTER REFRAMING / EXTRA ASSUMPTION、NOT YET COHERENT。若对象不稳定、假设不牢或前提无法诚实地通向结果，应降级状态并写阻塞报告。
适用场景：理论主线起点不明、公式该从哪个量出发、逻辑不通、需把说明文档变成可写进论文的公式文档。与 proof-writer 的分工是：先固定精确命题、稳定假设与符号，再用 proof-writer 严格证明或反驳。
限制：不编造连贯推导；近似需显式标注；不得把解释性内容当作已证明；不得用“显然”等词掩盖缺口；未确定处写入 Open Risks。