Padrão or-done-channel em Go - por que não há retorno dentro da seleção interna e o que acontece se os canais done e producers estiverem disponíveis?

Lendo simultaneidade em Go .

Tentando entender o padrão do canal or-done .

Estou com dificuldade para entender o fluxo de execução.

Mencionei o número na linha de onde vem minha dúvida.

1. Por que nenhuma returndeclaração em inner <-donecomo temos em outer select? Por causa de nenhuma returndeclaração, a próxima iteração será executada e se nessa iteração tivermos ambos <- donee <-cdisponíveis. Sabemos select-caseque escolheremos qualquer um dos casos arbitrariamente se vários casos estiverem disponíveis. Isso significa que há uma possibilidade de que <-cserá executado mesmo se <-doneestiver disponível?

2. Já que select-casearbitrariamente escolhe um caso quando vários casos estão disponíveis, é correto assumir que o <- doneserá escolhido eventualmente , mas não é necessário que seja escolhido imediatamente assim que for fechado. Claro, essa dúvida é quando ambos os casos, ie <-donee <-cestavam disponíveis.

3. Existe uma possibilidade que <- vnão está escrita valStreamquando doneé fechada e é perdida para sempre, correto?

orDone := func(done, c <-chan interface{}) <-chan interface{} {
    valStream := make(chan interface{})
    go func() {
        defer close(valStream)
        for {
            select {                   //2
            case <-done:
                return
            case v, ok := <-c:
                if ok == false {
                    return
                }
                select {
                case valStream <- v:   //3
                case <-done:           //1
                }
            }
        }
    }()
    return valStream
}

Basicamente, corrija-me se eu estiver errado ou confirme que meu entendimento da execução está correto. De fato, há "brechas" no código e isso é apenas comportamento do canal aqui.

Pergunta semelhante aqui