Functional Foundations of the Shadow Theorem: Analysis of the Observational Loss Functional for the Effective Field Theory of Information Reconstruction (EFIR) | Synapse