用途：该技能面向严谨的数学建模工作，覆盖假设设定、一阶条件（FOC）、均衡、证明、比较静态、数值校验，以及可渲染的模型笔记产出。
主要能力：以四道关卡构成正确性底线——对象与记号、假设、推导、验证与渲染，按读者信任链排序，且四关并行，文档内建于产物而非独立阶段。核心原则为“无定义对象、无可解释假设、无说明直觉，则不得操作”。
使用方式：按阶段加载参考文件，不要每次调度都全部加载。references/planning.md 用于 PLAN 阶段，覆盖模型清单/假设图硬门与验证计划；references/integrate-drift-tests.md 用于漂移测试阶段，识别值得保护的建模结果、设定符号与数值容差约定；references/integration.md 用于集成阶段，提供面向读者的可读性层；references/objective-first.md 由 integration.md A 节按需加载。
产物要求：Gate 1 为每个对象写一条符号台账，含符号、含义（类型/空间、指称、来源）、首次使用位置、复用位置、内联替代、名称额外承载内容、考虑过的最近符号及选择理由；Gate 2 为每条假设写台账，含陈述、解释、所依附的原始对象、首次使用位置、复用范围、无此假设的后果、额外承载内容、最近假设及理由；Gate 3 要求推导可审计，先命名解概念、一句话说明顶层目标、引用依赖、每步一个代数动作并给出规则与理由。
限制：资料未提供安装命令、价格、平台或效果信息。非默认约束包括限制须落在原始对象上、记号固定、限制须前置声明。BLOCKING 项须修复方可批准，ADVISORY 项可标为次要。