Arduino distributes the production files of all of its boards.
Everything we do is always open source.
We release the day the board goes on sale the most up to date file available to us.
Full stop end of story.
Sometimes the factory has to make variations to the board to accommodate issues that happen during the production process (suddenly a part is no longer available, they need to move a part to make it easier to mount or they need to optimise the layout for a new testing rig. these are normal events in a production envirorment especially when production ramps up)
In this case it takes us a few days (or weeks when the factory forgets to tell us they made changes) to update the files distributed online.
Even if a file is slightly older than the one in production , it's still open source hardware.
m