You are correct in what Pro does…adds 15 ( on a 1 sec trans) frames to the out point of the first clip and 15 to the in point of the second clip. In a perfect world, the editor makes the decision to add a transition while cutting the clips in the source window and then cuts it appropriatly, knowing what the “extra” frames are.