体验与记录资料对照

体验日志是把一次使用过程拆成可互相对照的观察单元：每条记下当时设置、所做动作和可见结果，使前后条目能比较出变化从哪一步开始；它靠同一观察维度重复出现、条件可追溯成立。

机制与评价是两类用途不同的陈述：机制说明规则如何把条件转成结果，因而能预测未试过的条件组合；评价说明结果相对某个目标是否可取，只能在该目标下比较已给结果；前者靠条件与结果的对应成立，后者靠比较目标公开成立。

机制与评价是两类用途不同的陈述：机制说明规则如何把条件转成结果，因而能预测未试过的条件组合；评价说明结果相对某个目标是否可取，只能在该目标下比较已给结果；前者靠条件与结果的对应成立，后者靠比较目标公开成立。

联网边界是功能开始依赖远端应答的位置，它决定断网后从何处继续；判断边界可看重试时是否要重做前置步骤：只需重发提交，说明本地准备已在边界内完成，需要从头操作则边界更靠前。

联网边界是功能开始依赖远端应答的位置，它决定断网后从何处继续；判断边界可看重试时是否要重做前置步骤：只需重发提交，说明本地准备已在边界内完成，需要从头操作则边界更靠前。

权限核对是把一次请求与一条可判定的授权规则相对照：规则要写明允许的动作、作用对象和生效条件，请求只有在三项都被覆盖时才放行；规则写得含糊时，核对无法给出可复现的结论。

权限核对是把一次请求与一条可判定的授权规则相对照：规则要写明允许的动作、作用对象和生效条件，请求只有在三项都被覆盖时才放行；规则写得含糊时，核对无法给出可复现的结论。

胜负目标是把对局从“继续进行”切换到“已有结果”的终局判定：规则预先写明某种状态出现后停止对局，并事先指定该状态归谁；它靠终局可当场核对、停止后不再允许操作改写结果成立。若状态出现后仍能继续行动并翻转归属，那只是阶段目标。

体验日志是把一次使用过程拆成可互相对照的观察单元：每条记下当时设置、所做动作和可见结果，使前后条目能比较出变化从哪一步开始；它靠同一观察维度重复出现、条件可追溯成立。

联网边界是功能开始依赖远端应答的位置，它决定断网后从何处继续；判断边界可看重试时是否要重做前置步骤：只需重发提交，说明本地准备已在边界内完成，需要从头操作则边界更靠前。

机制与评价是两类用途不同的陈述：机制说明规则如何把条件转成结果，因而能预测未试过的条件组合；评价说明结果相对某个目标是否可取，只能在该目标下比较已给结果；前者靠条件与结果的对应成立，后者靠比较目标公开成立。

权限核对是把一次请求与一条可判定的授权规则相对照：规则要写明允许的动作、作用对象和生效条件，请求只有在三项都被覆盖时才放行；规则写得含糊时，核对无法给出可复现的结论。

联网边界是功能开始依赖远端应答的位置，它决定断网后从何处继续；判断边界可看重试时是否要重做前置步骤：只需重发提交，说明本地准备已在边界内完成，需要从头操作则边界更靠前。

胜负目标是把对局从“继续进行”切换到“已有结果”的终局判定：规则预先写明某种状态出现后停止对局，并事先指定该状态归谁；它靠终局可当场核对、停止后不再允许操作改写结果成立。若状态出现后仍能继续行动并翻转归属，那只是阶段目标。

权限核对是把一次请求与一条可判定的授权规则相对照：规则要写明允许的动作、作用对象和生效条件，请求只有在三项都被覆盖时才放行；规则写得含糊时，核对无法给出可复现的结论。

资源约束是对局中可执行行动集合随存量减少而收缩的规则：初始可选项多于余额能支撑的数量，每次支出后部分行动从可选变为不可选；它靠可选集合确实变小、而非仅显示数字变化成立。若支出后可选行动不变，额度只是装饰。