Rsk from Permutation
The RSK correspondence: the insertion and recording tableaux, as a pair.
Both tableaux share a shape (RskShape reads it off either), and each carries its own rows, so the pair alone determines them. A standard_tableau_pair is a tuple of two carriers — the first composite carrier anything here constructs.
Called as CombinatorialMap(x, "Rsk"). The head's page has its examples.