可达性：为什么结果存在，不等于能够走到那里？

可达性关心的不是某个状态是否存在，而是从当前状态出发，能否经过一串被允许的转换到达它。

例如，一份文件在系统里可以处于“草稿”“审核”“批准”和“发布”四种状态。发布状态确实存在，但草稿不能直接变成发布；若审核权限缺失，目标便暂时不可达。问题不在目标是否合理，而在起点、转换规则和路径是否完整。

可达性不同于可能性：可能性只说明某种结果没有被逻辑排除，可达性还要求存在实际路径。它也不同于局部最优；局部最优是附近没有更好一步，可达性则可能连通往目标的第一步都不存在。规划、学习和 AI 都需要这一判断：目标写得再清楚，也不能代替对转换条件的检查。真正的改变，常从补上一条可行路径开始。