B2.22.1Logical Constraint设计研究
逻辑约束由要素间的推理关系产生，例如剩下一个部件必然属于剩下一个位置
别名: 推理约束 · 关系约束 · 排除法
概念解释
逻辑约束（logical constraint）依靠要素集合之间的关系排除错误选择：部件只有一个空位、字段只能接受剩余的一种类型、流程完成前置步骤后只剩一个合法分支。用户不是记住规则，而是从“已知对象和已用位置”推出唯一可行动作。
机制
约束感来自集合对应和排除过程。界面把部件、槽位、状态或步骤呈现为可比较的集合，用户看到三个零件和三个孔、两个待填字段和两种剩余格式、五个权限中四个已分配，就能通过剩余项确定下一步。这比逐条说明省认知资源，也把正确操作变成关系上的必然结果。前提是系统真实维护这些关系：数量、类型、状态和顺序一旦不同步，用户的推理就会被误导。
怎么研究
给参与者含有完整、缺失或冲突关系信息的界面，要求完成装配、分类、表单或审批任务。测量首次正确选择率、推理时间、回撤次数、错误位置和对关系的口头解释。可改变集合数量、显示剩余项、编号方式和状态同步延迟，检验用户依赖哪一层线索完成排除。
边界
逻辑约束不能自动防止所有错误。集合过大、关系类型过多或必须同时考虑业务例外时，排除会超出工作记忆容量；异步数据、缓存和并发编辑也可能让“剩下一个”不再是事实。它表达的是结构关系，不处理权限、风险和语义例外；系统仍需校验用户是否有权执行唯一可见动作。
怎么落地
- 把可选对象、目标位置、剩余数量或合法状态显示在同一视野内，让用户能通过比对完成推理。
- 对已达上限、已使用、已禁用和剩余项做显式状态标记，不要让用户凭记忆推算。
- 修改任一要素时同步更新关联集合，并在并发场景提示数据可能已变化。
- 验证方法：遮住部分信息做任务重放，观察用户是否退回猜测；恢复完整关系后再测正确率与耗时。