用途：Token Invariants 是一个代币流转与金库不变量审查技能，用于检测代币和金库逻辑是否可能违反其他智能体所依赖的经济或会计假设。它作为内部专项模块运行。
主要能力：覆盖铸造与销毁权限问题、提现控制失效、记账漂移、赎回不匹配、手续费逻辑不匹配，以及金库余额或份额不一致。检查重点包括：代币供应量变化缺乏强健权限校验；提现路径与会计假设不一致；手续费或赎回计算可能造成破坏信任的失衡；金库逻辑信任过期或弱绑定状态。
输出形式：每条发现应说明系统似乎承诺的不变量是什么、代码如何可能违反它，以及下游智能体为何应将其视为信任问题。
使用方式与限制：资料未提供具体安装命令、调用接口或运行步骤；适用场景与不适用边界暂未提供。本技能聚焦不变量审查，不替代完整审计。