Text this: Program Logics for Homogeneous Generative Run-Time Meta-Programming