Evidence-first runtime for a wheeled mobile household robot with bounded actions, replayable events, and fail-closed verification.
An embodied task agent that connects perception, action, verification, and learning in a continuous physical-world loop
Agent + reusable skill library for LIBERO manipulation tasks (no RL / VLA / world model; no LLM calls at runtime)