同一组游戏状态可能同时满足多条对话条件。若系统采用从上往下取第一条匹配的规则，后面的提示即使也满足，也不会显示。理解优先级能帮助判断任务提示为何发生变化。

这份练习把数据、规则和中间状态一起列出。可以先自行推演，再与过程记录逐项比较；如果结果不同，先找到第一处分歧，确认时间单位、端点归属和运算顺序。案例是一套限定模型，不把其他作品的不同实现认定为错误。

规则与输入

使用三项布尔状态：有通行牌、已完成委托、仍需帮助。规则依次为完成且持牌、完成、需要帮助、持牌，最后为默认；本例只选首个匹配，不会把多个分支合并。

状态次序：[有通行牌,已完成委托,仍需帮助] [[False, False, False], [False, False, True], [False, False, True], [False, False, True], [True, False, False], [False, True, True], [False, False, False], [True, False, False], [True, False, False], [False, True, True], [True, False, False], [False, False, True], [True, True, True], [False, False, True]]

逐项推演

快照1：通行牌False、已完成False、需帮助False；匹配规则[4]，首条为4，显示“默认问候”。

快照2：通行牌False、已完成False、需帮助True；匹配规则[2, 4]，首条为2，显示“帮助提示”。

快照3：通行牌False、已完成False、需帮助True；匹配规则[2, 4]，首条为2，显示“帮助提示”。

快照4：通行牌False、已完成False、需帮助True；匹配规则[2, 4]，首条为2，显示“帮助提示”。

快照5：通行牌True、已完成False、需帮助False；匹配规则[3, 4]，首条为3，显示“持牌提示”。

快照6：通行牌False、已完成True、需帮助True；匹配规则[1, 2, 4]，首条为1，显示“完成提示”。

快照7：通行牌False、已完成False、需帮助False；匹配规则[4]，首条为4，显示“默认问候”。

快照8：通行牌True、已完成False、需帮助False；匹配规则[3, 4]，首条为3，显示“持牌提示”。

快照9：通行牌True、已完成False、需帮助False；匹配规则[3, 4]，首条为3，显示“持牌提示”。

快照10：通行牌False、已完成True、需帮助True；匹配规则[1, 2, 4]，首条为1，显示“完成提示”。

快照11：通行牌True、已完成False、需帮助False；匹配规则[3, 4]，首条为3，显示“持牌提示”。

快照12：通行牌False、已完成False、需帮助True；匹配规则[2, 4]，首条为2，显示“帮助提示”。

快照13：通行牌True、已完成True、需帮助True；匹配规则[0, 1, 2, 3, 4]，首条为0，显示“完成并持牌”。

快照14：通行牌False、已完成False、需帮助True；匹配规则[2, 4]，首条为2，显示“帮助提示”。

最终选择序列[4, 2, 2, 2, 3, 1, 4, 3, 3, 1, 3, 2, 0, 2]，多个条件成立时仍只输出一条。

复核与使用边界

列出所有满足的规则，再确认被选择的是其中序号最小的一条。还可以遍历三项状态的全部八种组合，检查每种组合都有且只有一个最终输出。

这些是彼此独立的状态快照，不表示任务真的按这个顺序推进。如果一条宽泛规则放在更具体的规则前面，具体分支可能永远无法到达；排查时应检查顺序，而不只是逐条条件的真假。

复盘时建议保留输入表和中间状态，而不仅保存最终答案。改动一个条件后重新推演，再检查起点、终点、重复值和临界输入；这样能把规则本身、计算实现和显示结果分别核对，避免把一次偶然相同当成验证完成。