B2.22.2Logical Constraint设计研究
逻辑约束要求相关要素全部可见，遮蔽任一要素即失效
别名: 可见性前提 · 关系显示 · 推理失效
概念解释
这条原则给逻辑约束（logical constraint）补上显示条件：用户必须能看到参与推理的对象、空位、状态或已用项。遮蔽其中一个集合成员、隐藏剩余数量或折叠关联状态后，用户无法完成排除，界面就从“唯一可行”退化为“凭记忆猜”。
机制
排除法需要把当前集合和已排除集合同时保存在视野或工作记忆中。屏幕界面没有物理孔位阻止错误插入，若相关项被分页、折叠、权限遮罩、弹窗或滚动区域拆开，用户必须记住被遮蔽内容；记忆衰减、打断和并发更新都会破坏关系。可见不代表一股脑展示，而是关键关系必须在决策点可感知，或能以低成本展开。
怎么研究
用对照任务比较完整关系视图与遮蔽视图：同一表单或装配任务分别显示全部候选、隐藏剩余计数、折叠已完成项或延迟状态更新。测量错误选择、返回查看次数、外部记忆辅助、任务中断和恢复时间。眼动或滚动日志可以定位用户在哪里寻找缺失关系。
边界
全部可见不等于所有信息常驻。小屏幕、无障碍缩放和复杂企业数据不可能同时摊开；渐进披露仍可用，条件是用户能在当前决策点通过明确入口获得关系摘要。某些安全流程还会刻意隐藏信息，此时不能依赖逻辑约束保护操作，需要另设确认、权限或规则校验。
怎么落地
- 在执行点显示关系摘要，例如“3 个附件，2 个已归类，剩余 1 个待选择格式”。
- 折叠已完成项时保留计数、类型和撤销入口，不要只留一个不可解释的总数。
- 对跨页流程提供可展开的步骤关系图，标明已完成、可做、被阻塞和剩余分支。
- 走查时逐屏列出参与当前决策的要素，若任一要素不可见且无低成本入口，就标记为逻辑约束失效。