Lewm, I don't have any first hand evidence, but this is claimed on numerous forum discussions and websites, including vintageknob. I shouldn't have stated it as fact the way I did, but there is at least some circumstantial evidence. According to vintageknob the Nakamichi TX-1000 was also built by Micro to Nakamichi's specifications. As for 'some' Luxmans, the PD-300, 310 and 350 belt drives were almost certainly built by Micro (hard to miss considering the many design similarities), but it might be the case with the PD-444 direct drive as well.
Also according to the vintageknob there were only a handful of manufacturers of DD motors at the time, which were used by all Japanese brands. Micro was basically a precision mechanical engineering company, so it is very unlikely they built DD motors or speed control electronics themselves.
I remember reading a TAS article some years ago describing the Japanese audio ecosystem, which over many decades evolved into a network of companies and designers closely working together. So plenty of overlap indeed as Totem395 suggests. It would be interesting to read a history some day on how this ecosystem operated and who were the designer teams responsible for the top DD tables we hold so dear.