Mathematical Formalization of Simulation-Augmented Generation | HACKOBAR_