You were correct.  Uniquify did a suburb job of translating HF's chip RTL into an architecture.

Don't blame them in the rush to assign blame.  They did exactly what they were asked to do, but it wound up costing them $$$,$$$ for their efforts.