节点验证要求机器人到达某处时必须确认自己确实到了预期节点，否则拓扑推理会级联出错。