工作坊三：两种状态，把重复、逆序与重试做完整

在值守区练习中，事实只有“已看见物品编号”和“已完成核验”。登记台上的文字、出口清单、灯的颜色只是事实的表现。不要分别保存“门开了”“灯变了”“文本换了”三个互不相干的答案，再指望它们永远同时变化。

纸面可以用两张事实卡；进入引擎后再按已有状态课实现。这里没有要求新增数据库、任务编辑器或多周目架构。只要能把同一事实可靠地应用到对象即可。

可见阶段定为 S0 待核验、S1 已核验。S0 内仍需知道玩家有没有取得编号；这是登记动作能否成立的必要条件，而不是再造一个房间版本。用单个布尔值描述可见阶段，不意味着全游戏所有数据只有一个布尔值。

本练习不消耗物品。“已核验但没有编号”的不一致存档，应按明确规则修正或报告，不能让玩家猜是哪张地图错了。

触发是调查登记台且拥有编号证据；本地反馈是登记台明确说已核验；远处反馈是出口的缺项标记改变。玩家走出值守室时保留事实，回到屋里重新应用同一状态。不要靠一次性动画是否播放过来判断任务有没有完成。

如果登记需要一段短演出，先禁止重复提交，在演出结束或可恢复的位置记录完成。具体提交时点取决于实现，必须能够解释关闭对话、切场和重试途中发生了什么；不能只测试作者慢慢点按的顺序。

这些是本练习的测试集合，不是所有状态空间的形式化穷尽证明。以后加入箱子、单向门或追逐，再补它们引入的新状态。

本轮可选择“重开本练习清空两项事实，普通离场返回保留事实”。这比一半对象复位、一半记忆保留更容易解释。若实现了中途恢复点，则要写清恢复时的房间、落点、证据、登记与交互锁，不只保存最后一句文本。

尝试在出口附近重试，确认不会直接出生在结束触发区里无限结束；尝试在登记对话中退出，确认再次开始能恢复控制。失败演示可以保留，但恢复到必死或不可解状态不是有意义的难度。

基础状态稳定后，练习可暂用一张便条朝向改变作为异常。先让玩家见过原方向；便条状态由“已完成核验”派生：核验后改变，普通离场保留，重开恢复，不再增加第三项事实。改变时不挪墙、不改出口、不删除证据。异常用于测试熟悉空间中的差异能否被发现，不增加主线门槛。

保留一份没有异常的对照版。若玩家完成失败，先看是否基础目标就不清楚，而不是把所有迷路都解释成恐怖成功。是否将这种异常移入正式作品，仍是独立创作决定。

给定：编号已获得，尚未核验
当：离场后回到值守室并调查登记台
应当：仍允许核验，不要求再次取得同一证据

给定：核验已完成
当：重复调查登记台，然后返回出口
应当：完成事实不回退，出口仍显示完成

这些句子可手动执行，也可以以后转为自动测试。写出它们不等于运行过。把实际操作、结果、证据文件和未覆盖边界接在每句后面，才形成有效验收记录。

交出两阶段表现表、两项事实的依赖、五种顺序结果以及清楚的重试规则。地图工作页的“状态变化”“门与落点”“状态恢复表”可以保存这些内容；它不是引擎存档，导入工作页不会修改任何游戏文件。

若想马上加入追逐，先问它要验证的新增体验。没有必要的目标时，完成这条小链并进入冷测，比扩大成十几个状态更接近可靠的切片准备。