> But this makes no sense; the weights are distributed with every copy of Fat Fritz 2. (Otherwise, how would the program run?

This reasoning isn’t correct.

The weights may be as object code not as source. Simply saying the program runs doesn’t mean you’ve distributed the weights anymore than it means your distributed the code.

Last time this came up people pointed at the installation information clause

> “Installation Information” for a User Product means any methods, procedures, authorization keys, or other information required to install and execute modified versions of a covered work in that User Product from a modified version of its Corresponding Source. The information must suffice to ensure that the continued functioning of the modified object code is in no case prevented or interfered with solely because modification has been made.

> Corresponding Source conveyed, and Installation Information provided, in accord with this section must be in a format that is publicly documented (and with an implementation available to the public in source code form), and must require no special password or key for unpacking, reading or copying.