Actually it is a variation on the GRT that tye likes to call The One True Sort.

Actually it's not. The One True Sort sorts array indices.
What we have here is a run-of-the-mill GRT. Which, btw, is a sub-species of the ST. No debate about it. :-)