[2405.09301] Vacuum energy in the effective field theory of general relativity with a scalar field