The grouped output row carries both key columns before aggregate facts.
keys then facts
Read output rows
The output has 5 rows in first-seen input order.
output rows=5
Multi-column grouping examples are tiny finite table transforms; SQL dialect completeness, optimizer behavior, indexing, product behavior, and performance claims are out of scope.
Display order is finite
First-seen order is a display convention for this exact model, not a product output-order claim.
display order
Summary
Both key columns stay visible beside the aggregate.