The output sort order of a join depends on: (1) the sort order of inputs, (2) the maintain-order parameter (which preserves input ordering), and (3) the sorted-input parameter (which expects sorted inputs). Key specifiers define what to join ON, not how to sort the output.