Dies hier ist der Schlüsselsatz:
If items(), keys(), values(), iteritems(), iterkeys(), and itervalues() are called with no intervening modifications to the dictionary, the lists will directly correspond.
Ein `dict`-Objekt - egal in welcher Python-Variante implementiert - muss also laut Sprachspezifikation garantieren, dass die Rückgabewerte der o.g. Methoden passend zueinander sind - sich also in ihrer Reihenfolge nicht verändern. Dies gilt solange, wie keine Veränderung am Wörterbuch vorgenommen wird. Ich denke, dies ist der Punkt, auf dem Blackjack aufmerksam machen wollte.
Zur Art der Reihenfolge wird halt nur gesagt, dass es in anderen Python-Implementationen durchaus eine andere Reihenfolge bei der Ausgabe geben kann, was aber nichts mit der außerhalb des Kastens genannten Garantie zu tun hat. Theoretisch wird nichtmal garantiert, dass zwei unterschiedliche `dict`-Instanzen mit der selben Änderungshistorie zwangsläufig die selbe Reihenfolge ausgeben müssten.
Man sollte sich also nicht auf die Reihenfolge im Detail verlassen, sondern nur darauf, dass sie sich wie gesagt nicht ändert, solange man nichts am Dictionary verändert.