QERRA-v2: Deterministic Supervisory Gate and Execution Guard for Mobile Robots | Manifund