Czy można uznać, że elementy w zakresie w Go są już posortowane rosnąco lub malejąco?

Nie, elementy w zakresie (slice) w Go nie są gwarantowane, że będą posortowane ani rosnąco, ani malejąco. Slice to po prostu dynamiczna tablica, która przechowuje elementy w kolejności ich dodania lub modyfikacji.

Jeśli konieczne jest posortowanie zakresu, należy jawnie wywołać funkcje sortowania z pakietu sort, na przykład:

import (
    "fmt"
    "sort"
)

func main() {
    nums := []int{5, 3, 8, 1}
    sort.Ints(nums) // sortuje zakres rosnąco
    fmt.Println(nums) // [1 3 5 8]
}

Bez takiego sortowania kolejność elementów zależy od logiki programu i nie jest uporządkowana.