用途：把老虎机机制创意转成确定性的状态/触发/动作规格，便于工程与数学团队安全实现。
主要能力：定义机制范围与约束（最大赢取、时长上限、重触发限制）；先建模状态与转移，明确基础、功能、奖励、终止等状态及转移事件与守卫条件；为每个机制指定 triggerEvent、entryState、targetState 与动作载荷（如 spins/multiplier/value）；显式约束重触发与冷却；实现前校验状态图完整性，确保转移引用已知状态、非终止状态可达且有出口、机制映射到有效转移；打包交付状态图、机制表、事件契约与已知风险，并给出实现文件的补丁计划。
使用方式：按工作流先定义范围与约束，再建模状态与转移，然后定义触发与动作契约，校验图完整性，最后打包交付。可用命令校验规格：python3 scripts/check_mechanics_spec.py --input <path/to/mechanics_spec.json>，非零退出视为阻塞问题。输出契约包含机制图、校验发现（图一致性与触发/动作覆盖的通过/失败）、补丁计划、验证命令与预期成功标准、残余风险。参考文件包括 references/workflow.md、references/mechanics-patterns.md、references/signoff-template.md。
适用场景：老虎机功能机制设计、评审与加固，从产品想法到可实现的规格交付。
限制：执行规则要求状态转移显式、避免隐式副作用；限制功能循环与重触发以防失控回合；保持机制确定性与可回放；不可达或非终止状态须标记为阻塞。具体平台、收费与价格信息暂未提供。