Observational Indistinguishability: An Axiomatic Limit on Verification from Within a Bounded Perceptual Domain | Synapse