B2.22.3Logical Constraint设计
自然映射常常顺带提供逻辑约束，二者在设计中难以分离
别名: 映射约束 · 空间对应 · 关系设计
概念解释
好的空间、时间或结构对应常常不只是帮助用户知道“往哪儿操作”，也让关系中的剩余项变得明显：三个旋钮排成一行对应三个指示灯、拖拽卡片进入唯一空栏、时间线只允许落在两个事件之间。自然映射（natural mapping）在这里顺带生成逻辑约束（logical constraint），实践中往往同时成立。
机制
当控制器、数据对象或步骤与目标保持结构相似时，用户不需要额外规则就能把“哪个可用、哪个已用、哪个唯一剩余”读出来。位置排列暴露一一对应，时间轴暴露前后关系，树状结构暴露父子关系。空间布局承担了一部分工作记忆，因此映射既是识别线索，也是约束载体。反过来说，关系没有可见结构时，逻辑约束只剩文字描述。
边界
两者不能混为同一机制：映射回答“哪个对象对应哪个控制”，逻辑约束回答“关系排除了哪些选择”。空间对应也可能过强，让用户以为必须一一绑定，而真实流程允许多对一、暂存或重排。视觉相似也不保证数据关系正确；后端必须维护约束，否则漂亮对应只会放大错误信心。
怎么落地
- 设计装配、分配和流程界面时，先画关系模型，再让布局继承其结构，而不是按装饰排版。
- 对一一对应使用相邻排列、连线或共享颜色形状；对多对一或例外关系显式标注，避免被空间暗示误读。
- 用任务走查区分失败原因：用户是找不到控制（映射问题），还是无法判断剩余合法项（逻辑问题）。
- 让拖拽、排序和分配结果即时显示剩余集合，并允许撤销，使结构对应和状态约束一起工作。