fn validate_plan(plan: &Plan) -> Result<(), String>
Validate Plan arena shape before spawning execution work.