It has recently been proposed that unitarity violations in the effective theory could be used to describe the space of theories that can be characterized as HEFT but that, due to non-analyticities, can not be brought up to SMEFT form [1]}.
While this may deserve further study, we are not very sure about that program.
