用途：审查目标仓库中应用信任客户端数据、顺序或时序而非自行强制规则的缺陷，例如可跳过的结账步骤、预计算金额、未同步的余额读写、客户端延长的试用期、错误字段计数、自我审批等。每项发现需给出 file:line 证据、静态优先的复现配方、带理由的严重级别，以及基于事务、行锁、原子条件更新、幂等键或服务端状态迁移守卫的修复方案。
主要能力覆盖的类别：工作流/状态机绕过、价格数量金额篡改、检查后执行型竞态、资源上的 TOCTOU、重复执行（双花与重放）、限额计数逻辑、审批多方流程、推荐返现礼品系统、业务流内跨用户枚举。
使用方式：只读仓库访问，不保证有运行实例；基于框架语义的静态确认足以报告。核心方法为对每个关键业务迁移回答五问：步骤能否重排或跳过、金额等是否客户端可控、是否存在检查与写入间隙、执行两次或零次会怎样、操作是否幂等可重放。动态并发复现仅在明确授权的环境中进行。
适用场景：支付、退款、转账、库存、优惠券、配额、投票计票、试用期与限流计数等业务不变量的审计。
限制：本文档为审计 playbook，未提供具体工具命令或安装步骤；对象级 IDOR、批量导出枚举、注入载荷、礼品卡码熵与密钥存储、登录限流策略等由其他模块负责，此处仅在涉及业务不变量时交叉引用。具体运行环境、价格与收费信息暂未提供。