How does the PGA decide final round pairings when the leader after round 3 is already in the clubhouse and the next two players on the leaderboard are playing in the same group and they tie?

In such a scenario, the PGA typically pairs the tied players based on their scores from the previous rounds, often favoring the player with the better score in the final round for the final pairing. If both players have identical scores, the PGA may consider their overall performance throughout the tournament, including the best score in earlier rounds, to determine the final round groupings. This ensures that the final pairing is competitive and maintains the integrity of the tournament.