用途 该技能面向数学智能体的轨迹复盘：从一次已完成或已暂停的调查中提取可复用的 Jacobian 经验，而不是接着解题。正确结果可能暴露流程缺陷，失败搜索也可能揭示有用的数学词汇。
主要能力
- 建立证据：记录预期与实际结果、停止条件、记录覆盖范围以及可用的修订/目录上下文；以可观测来源、调用、代码、产物、修正和最终声明为依据，旁白叙述本身不算执行证据。
- 重建决策：还原改变正确性、成本、进度或置信度的决策；对依赖数学主张、数值或符号工作、求解器语义或自定义代码的发现，查阅数学证据，保留决定性主张与后续修正及其假设和证据范围。
- 归因经验：区分可用能力、环境限制、发现/选择、执行摩擦、表示/互操作、契约/规模缺陷、缺失操作、交接失败和调用方推理；在可用时将会话可见目录与所需后置条件比较，提出新工作前检查当前源码；手写代码和未使用工具只是线索，不自动等于缺失操作。
- 区分可复用操作缺口与公开目录准入：已有后置条件但适用范围窄属于规模/后端问题；便利性或特定定理的组装不因出现在轨迹中就成为公开操作，提出发布时使用准入契约。
- 按需路由：仅当请求的后续需要更深工作流时才路由，包括工具采纳评估（受控可用性、发现或选择）、工具摩擦审计（选定工具之后的问题）、公开操作契约审计（特定数学契约）或新留出可靠性探针。未解决的猜想通常不适合作为评估标准；提出评估时抽取冻结、可独立检查的有限义务，并保留污染边界。
使用方式 按“来源证据、含义、适度修复、不确定性”逐项报告实质发现；有助于解释结论变化时附上紧凑的主张/修正账本；提出实现时说明所有权与成功标准；建议新问题前先窄范围搜索现有问题；外部变更需用户授权。优先采用能解释失败的发现、契约、表示或规模修复；仅对可复用决策指导更新技能，仅对持久公开行为更新产品文档；孤立的智能体失误可能无需仓库改动。当请求的轨迹已被完整交代、有支撑的经验与剩余证明缺口清晰时停止，报告覆盖范围，而非暗示底层数学问题已解决。
适用场景 适用于数学智能体运行后的复盘、经验沉淀、缺陷归因和后续工作流分流。
限制 不继续求解问题；不将旁白当作执行证据；不以未解决猜想作为评估标准；不编造轨迹中不存在的当前能力；外部变更需授权。具体收费、价格、平台支持等信息暂未提供。