Running EFT-hedron with null constraints at loop level | Synapse