Resolução Geral: firmwares não livres

Linha do tempo

Período de discussão: 18/08/2022 15/09/2022
Período de votação: Domingo 18/09/2022 00:00:00 UTC Sábado 01/10/2022 23:59:59 UTC
O período de discussão foi estendido por mais 7 dias pelo líder do Projeto Debian. [e-mail]

Proponente da proposta A

Steve McIntyre [93sam@debian.org] [texto da proposta] [emenda]

Padrinhos da proposta A

  1. Tobias Frost [tobi@debian.org] [e-mail]
  2. Luca Boccassi [bluca@debian.org] [e-mail]
  3. Ansgar [ansgar@debian.org] [e-mail]
  4. Louis-Philippe Véronneau [pollo@debian.org] [e-mail]
  5. Sebastian Ramacher [sramacher@debian.org] [e-mail]
  6. Samuel Henrique [samueloph@debian.org] [e-mail]
  7. Timo Röhling [roehling@debian.org] [e-mail]
  8. Philip Hands [philh@debian.org] [e-mail]
  9. Joerg Jaspert [joerg@debian.org] [e-mail]
  10. Cyril Brulebois [kibi@debian.org] [e-mail]
  11. Iain Lane [laney@debian.org] [e-mail]
  12. Holger Levsen [holger@debian.org] [e-mail]
  13. Philipp Kern [pkern@debian.org] [e-mail]
  14. Anton Gladky [gladk@debian.org] [e-mail]
  15. Moritz Mühlenhoff [jmm@debian.org] [e-mail]
  16. Gunnar Wolf [gwolf@debian.org] [e-mail]

Proposta A

Opção 1: Apenas um instalador, incluindo firmwares não livres

Incluiremos pacotes de firmwares não livres da seção "non-free-firmware" do repositório Debian em nossas mídias oficiais (imagens do instalador e imagens live). Os binários dos firmwares incluídos serão normalmente ativados por padrão quando o sistema determinar que eles são necessários, mas, sempre que possível, incluiremos maneiras para os(as) usuários(as) desativarem isso na inicialização (opção do menu de inicialização, linha de comando do kernel, etc).

Quando o instalador/sistema live estiver em execução, forneceremos informações ao(à) usuário(a) sobre qual firmware foi carregado (livre e não livre) e também armazenaremos essas informações no sistema de destino para que os(as) usuários(as) possam encontrá-las mais tarde. Onde o firmware não livre for considerado necessário, o sistema de destino será também configurado para usar o componente de firmware não livre por padrão no arquivo do apt sources.list. Nossos(as) usuários(as) devem receber atualizações de segurança e correções importantes para binários de firmware como qualquer outro software instalado.

Publicaremos essas imagens como mídias oficiais do Debian, substituindo o conjuntos de mídias atuais que não incluem pacotes de firmwares não livres.

Proponente da proposta B

Gunnar Wolf [gwolf@debian.org] [texto da proposta] [emenda]

Padrinhos da proposta B

  1. Tobias Frost [tobi@debian.org] [e-mail]
  2. Holger Levsen [holger@debian.org] [e-mail]
  3. Sean Whitton [spwhitton@debian.org] [e-mail]
  4. Steve McIntyre [93sam@debian.org] [e-mail]
  5. Mathias Behrle [mbehrle@debian.org] [e-mail]
  6. Tiago Bortoletto Vaz [tiago@debian.org] [e-mail]
  7. Laura Arjona Reina [larjona@debian.org] [e-mail]
  8. Jonathan Carter [jcc@debian.org] [e-mail]
  9. Philipp Kern [pkern@debian.org] [e-mail]

Proposta B

Opção 2: Recomendamos o instalador contendo firmwares não livres

Incluiremos pacotes de firmwares não livres da seção "non-free-firmware" do repositório Debian em nossas mídias oficiais (imagens do instalador e imagens live). Os binários dos firmwares incluídos serão normalmente ativados por padrão quando o sistema determinar que eles são necessários, mas, sempre que possível, incluiremos maneiras para os(as) usuários(as) desativarem isso na inicialização (opção do menu de inicialização, linha de comando do kernel, etc).

Quando o instalador/sistema live estiver em execução, forneceremos informações ao(à) usuário(a) sobre qual firmware foi carregado (livre e não livre) e também armazenaremos essas informações no sistema de destino para que os(as) usuários(as) possam encontrá-las mais tarde. Onde o firmware não livre for considerado necessário, o sistema de destino será também configurado para usar o componente de firmware não livre por padrão no arquivo do apt sources.list. Nossos(as) usuários(as) devem receber atualizações de segurança e correções importantes para binários de firmware como qualquer outro software instalado.

Apesar de publicarmos essas imagens como mídias oficiais do Debian, elas não substituirão os conjuntos de mídias atuais que não incluem pacotes de firmwares não livres, mas serão oferecidas juntamente. Imagens que incluem firmwares não livres será apresentadas com mais destaque, para que os(as) recém-chegados(as) as encontrem mais facilmente; imagens totalmente livres não ficarão escondidas; elas serão disponibilizadas nas mesmas páginas do projeto, porém, com menos prioridade visual.

Proponente da proposta C

Bart Martens [bartm@debian.org] [texto da proposta] [emenda]

Padrinhos da proposta C

  1. Stefano Zacchiroli [zack@debian.org] [e-mail]
  2. Laura Arjona Reina [larjona@debian.org] [e-mail]
  3. Holger Levsen [holger@debian.org] [e-mail]
  4. Steve McIntyre [93sam@debian.org] [e-mail]
  5. Philip Rinn [rinni@debian.org] [e-mail]
  6. Jonas Smedegaard [js@debian.org] [e-mail]
  7. Paul Wise [pabs@debian.org] [e-mail]
  8. Simon Josefsson [jas@debian.org] [e-mail]

Proposta C

Opção 3: Permitir a apresentação de instaladores não livres junto com os instaladores livres

O Projeto Debian está autorizado a fazer mídias da distribuição (imagens do instalador e imagens live) contendo softwares não livres do repositório Debian disponível para download junto com as mídias livres, de forma que o(a) usuário(a) seja informado(a) antes de baixar quais são as mídias livres.

Proponente da proposta D

Simon Josefsson [jas@debian.org] [texto da proposta]

Padrinhos da proposta D

  1. Jonas Smedegaard [js@debian.org] [e-mail]
  2. Holger Levsen [holger@debian.org] [e-mail]
  3. Hubert Chathi [uhoreg@debian.org] [e-mail]
  4. Guilhem Moulin [guilhem@debian.org] [e-mail]
  5. Santiago Ruano Rincón [santiago@debian.org] [e-mail]
  6. Shengjing Zhu [zhsj@debian.org] [e-mail]

Proposta D

Opção 4: Instalador com softwares não livres não faz parte do Debian

Continuamos a defender o espírito do §1 do Contrato Social Debian que diz: 

   O Debian permanecerá 100% livre

   Disponibilizamos as definições que usamos para determinar se um software é
   "livre" no documento intitulado "Definição Debian de Software Livre".
   Prometemos que o sistema Debian e todos seus componentes serão livres de
   acordo com essas definições. Iremos fornecer suporte às pessoas que
   desenvolvem ou usam software livre e não livre no Debian. Nunca faremos o
   sistema depender de um componente não livre.

Portanto, não incluiremos nenhum software não livre no Debian, nem no repositório principal ou no instalador/live/cloud ou outras imagens oficiais, e não habilitaremos nada do non-free ou do contrib por padrão.

Também continuamos a defender o espírito do §5 do Contrato Social Debian, que diz: 

   Programas que não atendem nossos padrões de software livre

   Reconhecemos que alguns de nossos(as) usuários(as) precisam usar
   softwares que não atendem à Definição Debian de Software Livre. Criamos
   as áreas "contrib" e "non-free"
   em nossos repositórios para estes softwares. Os pacotes contidos
   nessas áreas não são parte do sistema Debian, embora tenham sido
   configurados para funcionar no Debian. Incentivamos os fornecedores
   de CDs a ler as licenças dos pacotes armazenados nessas áreas,
   a fim de determinar se podem distribuí-los em seus CDs. Portanto,
   embora softwares não livres não sejam parte do Debian, oferecemos
   suporte à sua utilização e disponibilizamos infraestrutura para
   pacotes não livres (como nosso sistema de controle de bugs e listas
   de discussão).

Reforçando assim a interpretação de que qualquer instalador ou imagem com software não livre não faz parte do sistema Debian, mas apoiamos seu uso e damos boas-vindas a terceiros para distribuir tal trabalho.

Proponente da proposta E

Russ Allbery [rra@debian.org] [texto da proposta]

Padrinhos da proposta E

  1. Richard Laager [rlaager@debian.org] [e-mail]
  2. Ansgar [ansgar@debian.org] [e-mail]
  3. Simon Richter [sjr@debian.org] [e-mail]
  4. Kunal Mehta [legoktm@debian.org] [e-mail]
  5. Tobias Frost [tobi@debian.org] [e-mail]
  6. Steve McIntyre [93sam@debian.org] [e-mail]
  7. Holger Levsen [holger@debian.org] [e-mail]

Proposta E

Opção 5: Alterar o CS para firmwares não livres no instalador, um único instalador

Esta opção de votação substitui o Contrato Social Debian (um documento de fundação) sob o ponto 4.1.5 da constituição e, portanto, requer uma maioria de 3:1.

O Contrato Social Debian será substituído por uma nova versão que é idêntica à versão atual em todos os aspectos, exceto que adiciona a seguinte frase ao final do ponto 5: 

    A mídia oficial do Debian pode incluir firmware que não faz parte do sistema
    Debian para permitir o uso do Debian com hardware que requer tal firmware.

O Projeto Debian também faz a seguinte declaração sobre uma questão do dia:

Incluiremos pacotes de firmwares não livres da seção "non-free-firmware" do repositório Debian em nossas mídias oficiais (imagens do instalador e imagens live). Os binários dos firmwares incluídos serão normalmente ativados por padrão quando o sistema determinar que eles são necessários, mas, sempre que possível, incluiremos maneiras para os(as) usuários(as) desativarem isso na inicialização (opção do menu de inicialização, linha de comando do kernel, etc).

Quando o instalador/sistema live estiver em execução, forneceremos informações ao(à) usuário(a) sobre qual firmware foi carregado (livre e não livre) e também armazenaremos essas informações no sistema de destino para que os(as) usuários(as) possam encontrá-las mais tarde. Onde o firmware não livre for considerado necessário, o sistema de destino será também configurado para usar o componente de firmware não livre por padrão no arquivo do apt sources.list. Nossos(as) usuários(as) devem receber atualizações de segurança e correções importantes para binários de firmware como qualquer outro software instalado.

Publicaremos essas imagens como mídias oficiais do Debian, substituindo o conjuntos de mídias atuais que não incluem pacotes de firmwares não livres.

Proponente da proposta F

Holger Levsen [holger@debian.org] [texto da proposta]

Padrinhos da proposta F

  1. Steve McIntyre [93sam@debian.org] [e-mail]
  2. Timo Röhling [roehling@debian.org] [e-mail]
  3. Tiago Bortoletto Vaz [tiago@debian.org] [e-mail]
  4. Étienne Mollier [emollier@debian.org] [e-mail]
  5. Judit Foglszinger [urbec@debian.org] [e-mail]
  6. David Prévot [taffit@debian.org] [e-mail]
  7. Tobias Frost [tobi@debian.org] [e-mail]
  8. Gunnar Wolf [gwolf@debian.org] [e-mail]
  9. Didier Raboud [odyx@debian.org] [e-mail]

Proposta F

Opção 6: Alterar o CS para firmwares não livres no instalador, manter ambos os instaladores

Esta opção de votação substitui o Contrato Social Debian (um documento de fundação) sob o ponto 4.1.5 da constituição e, portanto, requer uma maioria de 3:1.

O Contrato Social Debian será substituído por uma nova versão que é idêntica à versão atual em todos os aspectos, exceto que adiciona a seguinte frase ao final do ponto 5: 

    A mídia oficial do Debian pode incluir firmware que não faz parte do sistema
    Debian para permitir o uso do Debian com hardware que requer tal firmware.

O Projeto Debian também faz a seguinte declaração sobre uma questão do dia:

Incluiremos pacotes de firmwares não livres da seção "non-free-firmware" do repositório Debian em nossas mídias oficiais (imagens do instalador e imagens live). Os binários dos firmwares incluídos serão normalmente ativados por padrão quando o sistema determinar que eles são necessários, mas, sempre que possível, incluiremos maneiras para os(as) usuários(as) desativarem isso na inicialização (opção do menu de inicialização, linha de comando do kernel, etc).

Quando o instalador/sistema live estiver em execução, forneceremos informações ao(à) usuário(a) sobre qual firmware foi carregado (livre e não livre) e também armazenaremos essas informações no sistema de destino para que os(as) usuários(as) possam encontrá-las mais tarde. Onde o firmware não livre for considerado necessário, o sistema de destino será também configurado para usar o componente de firmware não livre por padrão no arquivo do apt sources.list. Nossos(as) usuários(as) devem receber atualizações de segurança e correções importantes para binários de firmware como qualquer outro software instalado.

Publicaremos essas imagens como mídias oficiais do Debian, juntamente com os conjuntos de mídias atuais que não incluem pacotes de firmwares não livres.

Quorum

Com a lista atual de desenvolvedores(as) votantes, temos: 

 Número atual de desenvolvedores = 991
 Q ( raíz quadrada(núm. desenvolvedores) / 2 ) = 15.7400762386972
 K min(5, Q )           = 5
 Quorum  (3 x Q )       = 47.2202287160916

Quorum

Obs: Não usamos o formato "desenvolvedores(as)" para não gerar confusão com os parênteses da fórmula.

Dados e estatísticas

Para esta GR, como sempre, serão coletadas estatísticas sobre as cédulas recebidas e os reconhecimentos enviados periodicamente durante o período de votação. Além disso, a lista de eleitores(as) será registrada. E também, o registro de contagem estará disponível para visualização.

Maioria requerida

As propostas 5 e 6 precisam de uma maioria qualificada de 3:1

Maioria

Resultado

Representação gráfica dos resultados

No gráfico acima, quaisquer nós de cor rosa implicam que a opção não superou a maioria, e o azul é o vencedor. O octógono é usado para as opções que não superaram o padrão.

Na tabela a seguir, o par[linha x][coluna y] representa os votos que a opção x recebeu sobre a opção y. Uma explicação mais detalhada da matriz de duelos pode ajudar na compreensão da tabela. Para entender o método de Condorcet, a página da Wikipedia é bastante informativa.

A matriz de duelos
 Opções
  1 2 3 4 5 6 7
Opção 1   158 206 270 72 129 264
Opção 2 170   235 286 121 75 291
Opção 3 144 99   294 127 84 306
Opção 4 80 64 53   74 55 135
Opção 5 229 219 229 279   169 289
Opção 6 216 253 266 298 163   311
Opção 7 91 63 51 197 63 42  

Olhando a linha 2, coluna 1, "recomendamos o instalador contendo firmwares não livres"
recebeu 170 votos sobre "apenas um instalador, incluindo firmwares não livres"

Olhando a linha 1, coluna 2, "apenas um instalador, incluindo firmwares não livres"
recebeu 158 votos sobre "recomendamos o instalador contendo firmwares não livres".

Vitórias por pares

O conjunto de Schwartz contém

Os(As) vencedores(as)

O Debian usa o método de Condorcet para votação. De forma simplista, o método de Condorcet puro pode ser declarado da seguinte forma:
Considere todos os possíveis enfrentamentos entre pares de candidatos(as). O(A) vencedor(a) do Condorcet, se houver, é o(a) candidato(a) que vencer cada um dos(as) outros(as) candidatos(as) nesse enfrentamento por pares. O problema é que, em eleições complexas, pode muito bem haver uma relação circular em que A vence B, B vence C, e C vence A. A maioria das variações no Condorcet usa vários meios de resolver o empate. Veja Cloneproof Schwartz Sequential Dropping (o método Schulze) para mais detalhes. A variante do Debian é explicada na constituição, especificamente, A.6.

Secretário do projeto Debian