A cloud-edge tri-model framework that fuses learning, analytical constraints and logical control for verifiable robotic task planning and safe execution.