SPF alignment for DMARC without a dedicated IP for outgoing emails

This is exactly the implementation required to make DMARC work correctly in reject mode and enable the implementation of BIMI.

Is it possible to find out if anyone at HS is working on this new BIMI standard, but especially the full DMARC implementation and domain alignment?

HS is even described in this article as not possible.