从黑盒到透明:可审计的机器人导航运算框架