A Natural Transformation between the Model Constructions of the Completeness and Compactness Theorems, Enhanced by Rigidity and 2-Categorical Strengthening. - Barreto Joaquim Reizi (CoRR, 2025)