formula-derivation

用途：把零散的公式、笔记和理论目标整理成一条连贯的推导主线。适合“这条推导该从哪个量出发”“几段公式之间逻辑不通”“把说明文档变成可写进论文的公式文档”等需求。若推导确实无法自洽，倾向于只给出阻塞报告，而不编造结论。\n\n主要能力：冻结推导目标并区分身份等式、命题、近似与解释四类步骤；挑选贯穿全文的不变量对象，避免用便利的代理量悄悄替换真正的概念对象；规范假设、记号与适用边界，标出隐藏假设、未定义符号和范围歧义；构建推导映射，说明中间步骤依赖哪些假设、近似在哪里进入；最后写出含目标、状态、不变量对象、假设、记号、策略、映射、主体推导、说明与解释、边界与非声明、开放风险的推导包。\n\n使用方式：默认写入项目根目录的 DERIVATION_PACKAGE.md；若用户指定目标文件则优先使用该文件；已有草稿则先读取再更新相关章节，不重复堆叠内容。状态取值为 COHERENT AS STATED、COHERENT AFTER REFRAMING / EXTRA ASSUMPTION、NOT YET COHERENT。完成后简要回复状态、目标是否被改写、更新了哪个文件。与 proof-writer 的分工是：先由本技能固定对象、假设和记号，再用 proof-writer 严格证明或反驳某个具体命题。\n\n限制：资料未提供该技能的收费方式、价格、支持平台及安装命令。它不替代严格数学证明，也不应把解释性文字冒充为已证明结论；若对象、假设或范围不支持自洽推导，应降级状态并写明阻塞原因。