Question about the implicitly-sorted-rule of key

[navegador5]

the document mentioned:

Insertion order of record keys does not affect equality of records, 
because there's no way to observe the original ordering of the keys, as they're implicitly sorted:

what is the sort rule? A or B ?

A. first sort index-like keys : ("1", "15", "6"... ), then others ["aa","bb","cc"]_
B.just sort them together : [1,15, 6, "aa","bb","cc"]

[acutmore]

The keys are sorted as strings ("11" < "2" === true). No preference is given to integer index like strings.

proposal-record-tuple/spec/abstract-operations.html

Line 915 in 5c9a6e1

1. Let _sortedEntries_ be a new List containing the values of _entries_ sorted such that, for any entry two entries _a_ and _b_, _a_ will be placed before _b_ if the result of performing Abstract Relational Comparison _a_.[[Key]] < _b_.[[Key]] is *true*.

for any entry two entries a and b, a will be placed before b if the result of performing Abstract Relational Comparison a.[[Key]] < b.[[Key]] is true.