Building a verified educational video agent that turns a topic into a programmatic video, checks the rendered output against the script, and automatically repairs errors.