体验与记录体验日志是一组可独立引用的过程观察片段，每个片段标注它在整个使用路径中的位置、当时的观察口径和记录边界；它靠片段能被放回原过程定位成立。记录时只写当时可观察到的条件、动作和结果，不把事后解释写回前面的条目；超出当时可见范围的内容单独列为待核，不混入片段本身。
机制与评价是两类可分开推翻的陈述：机制句说的是条件与结果之间的转换关系，改变条件后结果是否跟着变就是它的检验；评价句说的是结果在给定比较对象和尺度下的位置，比较对象或尺度一变，结论就可以变，而规则本身未必变。二者可以同时出现，但不能互相担保：机制成立不产生评价，评价成立也不证明机制；把评价写成机制，会让读者无法知道该改条件还是该改标准。
体验与记录机制与评价是两类可分开推翻的陈述：机制句说的是条件与结果之间的转换关系，改变条件后结果是否跟着变就是它的检验；评价句说的是结果在给定比较对象和尺度下的位置，比较对象或尺度一变，结论就可以变，而规则本身未必变。二者可以同时出现，但不能互相担保：机制成立不产生评价，评价成立也不证明机制；把评价写成机制，会让读者无法知道该改条件还是该改标准。
联网边界是同一功能中不同动作各自依赖外部交换的分界集合，而不是整个功能的一个开关；它靠按动作分别标明完成条件从哪来成立。一个动作若在没有外部回应时仍能给出可继续的结果，其边界在该动作之后；若必须拿到回应才能确定下一步，边界就在发出请求之前。因此同一功能可以同时存在多条边界，判断时按具体动作归位。
体验与记录联网边界是同一功能中不同动作各自依赖外部交换的分界集合，而不是整个功能的一个开关；它靠按动作分别标明完成条件从哪来成立。一个动作若在没有外部回应时仍能给出可继续的结果，其边界在该动作之后；若必须拿到回应才能确定下一步，边界就在发出请求之前。因此同一功能可以同时存在多条边界，判断时按具体动作归位。
权限核对是执行前的排除性检查：先列出本次请求会触及的对象和可能产生的影响，再逐项排除未被当前规则覆盖的部分；只有剩余项为零，才可执行。它不回答账号拥有多少权限，也不把一次通过推广到同类请求；同一账号换个对象或换个时点，都要重新走一遍排除。
体验与记录权限核对是执行前的排除性检查：先列出本次请求会触及的对象和可能产生的影响，再逐项排除未被当前规则覆盖的部分；只有剩余项为零，才可执行。它不回答账号拥有多少权限，也不把一次通过推广到同类请求；同一账号换个对象或换个时点，都要重新走一遍排除。
胜负目标是赛前把某个可观察终局事实指定为停局并归属结果的规则，靠停局原因能追溯到该事实成立。反向看，若对局因时间耗尽或外部中断结束而规则未预先指定归属，那只是中止，不是胜负目标。
体验与记录体验日志是一组可独立引用的过程观察片段，每个片段标注它在整个使用路径中的位置、当时的观察口径和记录边界；它靠片段能被放回原过程定位成立。记录时只写当时可观察到的条件、动作和结果，不把事后解释写回前面的条目；超出当时可见范围的内容单独列为待核，不混入片段本身。
联网边界是同一功能中不同动作各自依赖外部交换的分界集合，而不是整个功能的一个开关；它靠按动作分别标明完成条件从哪来成立。一个动作若在没有外部回应时仍能给出可继续的结果，其边界在该动作之后；若必须拿到回应才能确定下一步，边界就在发出请求之前。因此同一功能可以同时存在多条边界，判断时按具体动作归位。
体验与记录机制与评价是两类可分开推翻的陈述：机制句说的是条件与结果之间的转换关系，改变条件后结果是否跟着变就是它的检验；评价句说的是结果在给定比较对象和尺度下的位置，比较对象或尺度一变，结论就可以变，而规则本身未必变。二者可以同时出现，但不能互相担保：机制成立不产生评价，评价成立也不证明机制；把评价写成机制，会让读者无法知道该改条件还是该改标准。
权限核对是执行前的排除性检查：先列出本次请求会触及的对象和可能产生的影响，再逐项排除未被当前规则覆盖的部分；只有剩余项为零，才可执行。它不回答账号拥有多少权限，也不把一次通过推广到同类请求；同一账号换个对象或换个时点，都要重新走一遍排除。
体验与记录联网边界是同一功能中不同动作各自依赖外部交换的分界集合，而不是整个功能的一个开关；它靠按动作分别标明完成条件从哪来成立。一个动作若在没有外部回应时仍能给出可继续的结果，其边界在该动作之后；若必须拿到回应才能确定下一步，边界就在发出请求之前。因此同一功能可以同时存在多条边界，判断时按具体动作归位。
胜负目标是赛前把某个可观察终局事实指定为停局并归属结果的规则，靠停局原因能追溯到该事实成立。反向看，若对局因时间耗尽或外部中断结束而规则未预先指定归属，那只是中止，不是胜负目标。
体验与记录权限核对是执行前的排除性检查：先列出本次请求会触及的对象和可能产生的影响，再逐项排除未被当前规则覆盖的部分；只有剩余项为零，才可执行。它不回答账号拥有多少权限，也不把一次通过推广到同类请求；同一账号换个对象或换个时点，都要重新走一遍排除。
资源约束是让多个目标争夺同一份有限额度的支付规则，靠一处占用后另一处在同一时点无法获得支付成立。反向看，若支出后原本可行的另一目标仍能同时完成，额度只是记录，不构成约束；额度可恢复时它限制的是顺序，不是永久排除。