My confusion stemmed from the definition of “sequence semantics”, as the definition of sequence specifically mentions both __getitem__ and __len__.
But I guess an iterator can be an iterable that is not a sequence, but is “sequence-like” in that it lacks __len__ but has a suitable __getitem__.