AGAR Formalizes LLM Program Evolution as a Markov Decision Process | HACKOBAR_