Complete NLO operators in the Higgs effective field theory | Synapse