Matching scalar leptoquarks to the SMEFT at one loop | Synapse