Wie wird die Reihenfolge im Ergebnis eines Non-Equi-Joins ermittelt?

Ich versuche die zugrundeliegende Logik zu verstehen, wie das Ergebnis eines nicht-equi Joins in data.table in auf jeder Ebene der on -Variable angeordnet ist.

Nur um es von Anfang an klarzustellen: Ich habe kein Problem mit der Bestellung selbst, oder um die Ausgabe nach dem Beitritt auf eine gewünschte Weise zu ordnen. Da jedoch die Ausgabe von allen anderen data.table -Operationen sehr konsistent ist, vermute ich, dass auch in nicht-equi-Joins ein Ordnungsmuster angezeigt wird.

Ich werde zwei Beispiele geben, wo zwei verschiedene "große" Datensätze mit einem kleineren zusammengefügt werden. Ich habe versucht, die offensichtlichsten Muster in der Ausgabe innerhalb jeder Verknüpfung zu beschreiben, sowie Instanzen, bei denen das Muster zwischen den Joins der beiden Datensätze abweicht.

Ungleicher Join zwischen dem ersten großen Datensatz und dem kleinen, on = .(y >= val) .

Der zweite 'große' Datensatz:

Gleicher Nicht-Equi-Join zwischen dem zweiten großen Datensatz mit dem kleinen:

Kann jemand die Logik von (1) der Ordnung innerhalb jeder Ebene der on -Variable erklären, hier besonders innerhalb der zweiten Übereinstimmung, wo die ursprüngliche Reihenfolge von Die Daten werden nicht im Ergebnis gespeichert. Und (2) warum unterscheidet sich die Reihenfolge zwischen Chunks in Übereinstimmungen, wenn die zwei verschiedenen Datensätze verwendet werden?