体验与记录体验日志是在体验过程中按可定位的参照记录可观察结果的条目集合，参照可以是时间点、设置项或操作步骤，它靠记录与参照的对应关系成立。若把评价或推测直接写成条目，后来者就分不清当时看到什么、结论由哪一步得出，也无法把不同时间的记录并排比较。正确做法是每条先写可观察项和对应参照，评价另设字段并注明依据。
机制与评价是两类可还原性不同的陈述：机制句应能还原为一条对照方案，即改变什么、观察什么、其余保持什么；评价句应能还原为一个比较尺度和排序结果。把两者混写，出现分歧时就分不清是条件判断不一致还是尺度不同；正确做法是每句先标明属于哪类，再补上该类所需的对照方案或比较尺度。
体验与记录机制与评价是两类可还原性不同的陈述：机制句应能还原为一条对照方案，即改变什么、观察什么、其余保持什么；评价句应能还原为一个比较尺度和排序结果。把两者混写，出现分歧时就分不清是条件判断不一致还是尺度不同；正确做法是每句先标明属于哪类，再补上该类所需的对照方案或比较尺度。
联网边界是功能从本地处理转入远端处理时划出的状态保存点与恢复点：进入前保存什么、失败后回到哪一步、恢复后从哪里继续。边界不清时，用户会看到操作已经完成但结果没有落地，或者同一动作被重复执行；正确做法是把每个联网环节的保存点、失败回退点和恢复入口分别写清。
体验与记录联网边界是功能从本地处理转入远端处理时划出的状态保存点与恢复点：进入前保存什么、失败后回到哪一步、恢复后从哪里继续。边界不清时，用户会看到操作已经完成但结果没有落地，或者同一动作被重复执行；正确做法是把每个联网环节的保存点、失败回退点和恢复入口分别写清。
权限核对是在操作发生的时点，确认所需许可仍然有效且覆盖本次对象；它靠许可状态与请求时点的一致性成立。只看曾经授予而不看当前状态，会把已失效或已收窄的许可当成可用，造成越权放行或误拒；正确做法是记录判定时点、许可有效期与当前范围，再决定执行、拒绝或请求确认。
体验与记录权限核对是在操作发生的时点，确认所需许可仍然有效且覆盖本次对象；它靠许可状态与请求时点的一致性成立。只看曾经授予而不看当前状态，会把已失效或已收窄的许可当成可用，造成越权放行或误拒；正确做法是记录判定时点、许可有效期与当前范围，再决定执行、拒绝或请求确认。
胜负目标依赖一个可在对局中被确认的终局状态，并把该状态与参与者身份绑定；状态不可复核时，结果只能由外部裁定。
体验与记录体验日志是在体验过程中按可定位的参照记录可观察结果的条目集合，参照可以是时间点、设置项或操作步骤，它靠记录与参照的对应关系成立。若把评价或推测直接写成条目，后来者就分不清当时看到什么、结论由哪一步得出，也无法把不同时间的记录并排比较。正确做法是每条先写可观察项和对应参照，评价另设字段并注明依据。
联网边界是功能从本地处理转入远端处理时划出的状态保存点与恢复点：进入前保存什么、失败后回到哪一步、恢复后从哪里继续。边界不清时，用户会看到操作已经完成但结果没有落地，或者同一动作被重复执行；正确做法是把每个联网环节的保存点、失败回退点和恢复入口分别写清。
体验与记录机制与评价是两类可还原性不同的陈述：机制句应能还原为一条对照方案，即改变什么、观察什么、其余保持什么；评价句应能还原为一个比较尺度和排序结果。把两者混写，出现分歧时就分不清是条件判断不一致还是尺度不同；正确做法是每句先标明属于哪类，再补上该类所需的对照方案或比较尺度。
权限核对是在操作发生的时点，确认所需许可仍然有效且覆盖本次对象；它靠许可状态与请求时点的一致性成立。只看曾经授予而不看当前状态，会把已失效或已收窄的许可当成可用，造成越权放行或误拒；正确做法是记录判定时点、许可有效期与当前范围，再决定执行、拒绝或请求确认。
体验与记录联网边界是功能从本地处理转入远端处理时划出的状态保存点与恢复点：进入前保存什么、失败后回到哪一步、恢复后从哪里继续。边界不清时，用户会看到操作已经完成但结果没有落地，或者同一动作被重复执行；正确做法是把每个联网环节的保存点、失败回退点和恢复入口分别写清。
胜负目标依赖一个可在对局中被确认的终局状态，并把该状态与参与者身份绑定；状态不可复核时，结果只能由外部裁定。
体验与记录权限核对是在操作发生的时点，确认所需许可仍然有效且覆盖本次对象；它靠许可状态与请求时点的一致性成立。只看曾经授予而不看当前状态，会把已失效或已收窄的许可当成可用，造成越权放行或误拒；正确做法是记录判定时点、许可有效期与当前范围，再决定执行、拒绝或请求确认。
资源约束由度量单位、可用上限和消耗记账三部分构成：同一单位让不同行动的开支可比较，超出上限的行动须被规则拒绝。