Positivity bounds in scalar-QED EFT at one-loop level | Synapse