By that logic any OSHW project using integrated circuits is closed-source. After all, the PDK is proprietary, the fab's production pipeline isn't publicly available, and there isn't even a way to confirm the HDL supplied is actually what is being used in the chip!
If we want truly open-source hardware we'll have to go back to relay computers. Everything beyond that is "a joke".