Computably and punctually universal spaces Article in Annals of Pure and Applied Logic (January 2025)