A typed orchestration language for AI-generated, validated tool programs that execute lo…