功能与操作说明
公式推导与计算追溯
查看公式如何代入和变换，并在支持条件下重放计算。
使用内置推导公式
- 让专家调用公式目录工具，查看支持逐步追踪的公式标识、变量定义及单位。
- 确认公式与业务口径一致，提供完整变量数值；调用 ugsci_trace_calculation。
- 查看逐步符号表达、变量绑定、数值计算和有效性判断；核对每一步与原输入是否一致。
- 保存公式版本、输入指纹、结果及可用的 replay_token，作为复算依据。
自由公式操作
自由公式默认关闭，需要管理员在 GenUI 设置中启用相应开关，并确认 SymPy 等依赖和复杂度限制。启用后支持预检、符号重排与求解、数值代入，以及替换、化简、展开、收集和求解等变换。先做 formula_preview 检查语法、符号和复杂度，再请求 derive、evaluate 或 transform。
推导展示记录的是可检查的数学步骤，不是模型内部思维过程，也不自动证明用户输入方程符合真实物理系统。变量单位、适用域和边界条件需要用户与专家明确。
重放与版本差异
ugsci_replay_calculation 验证签名重放令牌后重跑支持的内置公式，比较输入指纹与引擎、提供者版本。返回 reproducible 或 version_changed 等状态及差异信息。
令牌可能因签名环境缺失无法生成，也可能因密钥变化或格式错误无法验证。重放能力限于支持的计算路径，不意味着任意历史聊天、仿真或自由公式都可通过同一令牌复现。
练习提问
先列出可追踪的 UGS 公式。选择适合我数据的一项，解释变量与单位。
先预检完整性；输入不齐时不要计算。
执行后展示逐步代入、有效性判断、版本、输入指纹及可用重放令牌。