Finite Validation: Programme Status and a First Observational Bound | Synapse