Correct.
In case of a lockout (presumably Dec 1), teams cant have any contact with any players on the 40 man MLB roster.
That extends to any contact. Medical facilities and/or treatment, rehab, offseason workouts, contract negotiations, etc.
That would extend to playing MiLB if it lasts tbat long.
40 man rosters will not be playing organized baseball come spring 2027 if there's a lockout (or strike) in effect.