That's in part why I didn't propose that we force manufacturers to specify their products, but simply make sure that if they don't, nobody would want to use their product. Who would buy a CPU they don't know the ISA of?

Forcing the separation between software and hardware companies may be more stringent, but it may be simpler to enforce, and likely even more effective at making sure the hardware is humanely specified than direct regulation would be.