规则与目标资料对照

胜负目标是赛前把某个可观察终局事实指定为停局并归属结果的规则，靠停局原因能追溯到该事实成立。反向看，若对局因时间耗尽或外部中断结束而规则未预先指定归属，那只是中止，不是胜负目标。

资源约束是让多个目标争夺同一份有限额度的支付规则，靠一处占用后另一处在同一时点无法获得支付成立。反向看，若支出后原本可行的另一目标仍能同时完成，额度只是记录，不构成约束；额度可恢复时它限制的是顺序，不是永久排除。

资源约束是让多个目标争夺同一份有限额度的支付规则，靠一处占用后另一处在同一时点无法获得支付成立。反向看，若支出后原本可行的另一目标仍能同时完成，额度只是记录，不构成约束；额度可恢复时它限制的是顺序，不是永久排除。

风险回报是把损失发生写成收益取得前置条件的得失说明，靠这种依赖关系能被明确写出成立。判断时看收益是否依赖该不利结果；若损失与收益能各自独立发生，二者只是并存代价，不构成回报关系。

风险回报是把损失发生写成收益取得前置条件的得失说明，靠这种依赖关系能被明确写出成立。判断时看收益是否依赖该不利结果；若损失与收益能各自独立发生，二者只是并存代价，不构成回报关系。

规则例外是主条款中把列明情形改按另一结果处理的分支，靠窄条件与替代结果同时可查成立。反向查时，只有“不适用”而没有替代处理的是适用范围限制；在一般结果之外追加后果的则是罚则，不是例外。

规则例外是主条款中把列明情形改按另一结果处理的分支，靠窄条件与替代结果同时可查成立。反向查时，只有“不适用”而没有替代处理的是适用范围限制；在一般结果之外追加后果的则是罚则，不是例外。

输入映射是规则层对设备信号先过滤再命名的归属规则，靠筛选条件与动作名称同时写明成立。反向看，若轻碰或长按出现时有时无的动作，说明阈值或重复抑制未写进映射；只列按键名称的说明不构成完整映射。

胜负目标是赛前把某个可观察终局事实指定为停局并归属结果的规则，靠停局原因能追溯到该事实成立。反向看，若对局因时间耗尽或外部中断结束而规则未预先指定归属，那只是中止，不是胜负目标。

风险回报是把损失发生写成收益取得前置条件的得失说明，靠这种依赖关系能被明确写出成立。判断时看收益是否依赖该不利结果；若损失与收益能各自独立发生，二者只是并存代价，不构成回报关系。

资源约束是让多个目标争夺同一份有限额度的支付规则，靠一处占用后另一处在同一时点无法获得支付成立。反向看，若支出后原本可行的另一目标仍能同时完成，额度只是记录，不构成约束；额度可恢复时它限制的是顺序，不是永久排除。

规则例外是主条款中把列明情形改按另一结果处理的分支，靠窄条件与替代结果同时可查成立。反向查时，只有“不适用”而没有替代处理的是适用范围限制；在一般结果之外追加后果的则是罚则，不是例外。

风险回报是把损失发生写成收益取得前置条件的得失说明，靠这种依赖关系能被明确写出成立。判断时看收益是否依赖该不利结果；若损失与收益能各自独立发生，二者只是并存代价，不构成回报关系。

输入映射是规则层对设备信号先过滤再命名的归属规则，靠筛选条件与动作名称同时写明成立。反向看，若轻碰或长按出现时有时无的动作，说明阈值或重复抑制未写进映射；只列按键名称的说明不构成完整映射。

规则例外是主条款中把列明情形改按另一结果处理的分支，靠窄条件与替代结果同时可查成立。反向查时，只有“不适用”而没有替代处理的是适用范围限制；在一般结果之外追加后果的则是罚则，不是例外。

操作反馈是把本次输入引起的状态差分在操作当下呈现出来的信号，靠差异范围能对应到该次输入成立。反向看，按了没反应是反馈缺失，整屏刷新则使差异无法归属；事后可查的日志不能替代当下可读的差分。