Look, it is absolutely irrelevant for Chinese authorities whether Synlait may or may not fullfill any contract they may or may not have with ATM.
They do allow only formula approved in China into the country - and if the factory with approval can't manufacture for any reason, than so be it. No problem for the Chinese authorities and certainly not a reason to allow somebody else to substitute (obviously unless they do have a Chinese licence as well) the product.
Ah yes, and just checked - it looks like these requirements apply as well for daigou ...
https://www.export2asia.com/blog/exp...formula-china/