模拟器使用有界、确定性的广度优先搜索证明每个启用变体至少存在一条合法通关路径。它只执行领域允许的动作：进入场景、发现或出示证据、提出矛盾、推进满足前置条件的披露节点、解锁场景和提交结案。
当结案证据已经齐全且角色已披露部分或完整行为时，模拟器可以执行“决定性追问”。该动作只能让角色沿合法阶段逐级从 Defensive 推进到 Pressured、Cornered 和 ConfessionEligible，不能跳级，也不能绕过 DisclosureGraph 自动认罪。
搜索状态有稳定哈希，并限制最大状态数、回合数和分支数。结果记录访问状态数、回合数、获得的证据、达到的披露节点、结局和可读 trace。模拟不会调用模型，也不会把模型文本当成证据或状态转换。
cargo run -p narrastate-server -- case simulate cases/rain-gallery-variants --json
cargo run -p narrastate-server -- case simulate cases/rain-gallery-variants --variant variant-lin