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 [[email protected]] [texto da proposta] [emenda]

Padrinhos da proposta A

Tobias Frost [[email protected]] [e-mail]
Luca Boccassi [[email protected]] [e-mail]
Ansgar [[email protected]] [e-mail]
Louis-Philippe Véronneau [[email protected]] [e-mail]
Sebastian Ramacher [[email protected]] [e-mail]
Samuel Henrique [[email protected]] [e-mail]
Timo Röhling [[email protected]] [e-mail]
Philip Hands [[email protected]] [e-mail]
Joerg Jaspert [[email protected]] [e-mail]
Cyril Brulebois [[email protected]] [e-mail]
Iain Lane [[email protected]] [e-mail]
Holger Levsen [[email protected]] [e-mail]
Philipp Kern [[email protected]] [e-mail]
Anton Gladky [[email protected]] [e-mail]
Moritz Mühlenhoff [[email protected]] [e-mail]
Gunnar Wolf [[email protected]] [e-mail]

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 [[email protected]] [texto da proposta] [emenda]

Padrinhos da proposta B

Tobias Frost [[email protected]] [e-mail]
Holger Levsen [[email protected]] [e-mail]
Sean Whitton [[email protected]] [e-mail]
Steve McIntyre [[email protected]] [e-mail]
Mathias Behrle [[email protected]] [e-mail]
Tiago Bortoletto Vaz [[email protected]] [e-mail]
Laura Arjona Reina [[email protected]] [e-mail]
Jonathan Carter [[email protected]] [e-mail]
Philipp Kern [[email protected]] [e-mail]

Proposta B

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

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 [[email protected]] [texto da proposta] [emenda]

Padrinhos da proposta C

Stefano Zacchiroli [[email protected]] [e-mail]
Laura Arjona Reina [[email protected]] [e-mail]
Holger Levsen [[email protected]] [e-mail]
Steve McIntyre [[email protected]] [e-mail]
Philip Rinn [[email protected]] [e-mail]
Jonas Smedegaard [[email protected]] [e-mail]
Paul Wise [[email protected]] [e-mail]
Simon Josefsson [[email protected]] [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 [[email protected]] [texto da proposta]

Padrinhos da proposta D

Jonas Smedegaard [[email protected]] [e-mail]
Holger Levsen [[email protected]] [e-mail]
Hubert Chathi [[email protected]] [e-mail]
Guilhem Moulin [[email protected]] [e-mail]
Santiago Ruano Rincón [[email protected]] [e-mail]
Shengjing Zhu [[email protected]] [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 [[email protected]] [texto da proposta]

Padrinhos da proposta E

Richard Laager [[email protected]] [e-mail]
Ansgar [[email protected]] [e-mail]
Simon Richter [[email protected]] [e-mail]
Kunal Mehta [[email protected]] [e-mail]
Tobias Frost [[email protected]] [e-mail]
Steve McIntyre [[email protected]] [e-mail]
Holger Levsen [[email protected]] [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:

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 [[email protected]] [texto da proposta]

Padrinhos da proposta F

Steve McIntyre [[email protected]] [e-mail]
Timo Röhling [[email protected]] [e-mail]
Tiago Bortoletto Vaz [[email protected]] [e-mail]
Étienne Mollier [[email protected]] [e-mail]
Judit Foglszinger [[email protected]] [e-mail]
David Prévot [[email protected]] [e-mail]
Tobias Frost [[email protected]] [e-mail]
Gunnar Wolf [[email protected]] [e-mail]
Didier Raboud [[email protected]] [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:

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

A opção 1 alcançou o quorum: 264 > 47.2202287160916
A opção 2 alcançou o quorum: 291 > 47.2202287160916
A opção 3 alcançou o quorum: 306 > 47.2202287160916
A opção 4 alcançou o quorum: 135 > 47.2202287160916
A opção 5 alcançou o quorum: 289 > 47.2202287160916
A opção 6 alcançou o quorum: 311 > 47.2202287160916

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

A opção 1 supera a maioria. 2.901 (264/91) > 1
A opção 2 supera a maioria. 4.619 (291/63) > 1
A opção 3 supera a maioria. 6.000 (306/51) > 1
Descartando a opção 4 por causa da maioria. 0.685 (135/197) <= 1
A opção 5 supera a maioria. 4.587 (289/63) >= 3
A opção 6 supera a maioria. 7.405 (311/42) >= 3

Resultado

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.

Opção 1 "Apenas um instalador, incluindo firmwares não livres"
Opção 2 "Recomendamos o instalador contendo firmwares não livres"
Opção 3 "Permitir a apresentação de instaladores não livres junto com os instaladores livres"
Opção 4 "Instalador com softwares não livres não faz parte do Debian"
Opção 5 "Alterar o CS para firmwares não livres no instalador, um único instalador"
Opção 6 "Alterar o CS para firmwares não livres no instalador, manter ambos os instaladores"
Opção 7 "None of the above (nenhuma das anteriores)"

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

A opção 2 vence a opção 1 por ( 170 - 158) = 12 votos.
A opção 1 vence a opção 3 por ( 206 - 144) = 62 votos.
A opção 5 vence a opção 1 por ( 229 - 72) = 157 votos.
A opção 6 vence a opção 1 por ( 216 - 129) = 87 votos.
A opção 1 vence a opção 7 por ( 264 - 91) = 173 votos.
A opção 2 vence a opção 3 por ( 235 - 99) = 136 votos.
A opção 5 vence a opção 2 por ( 219 - 121) = 98 votos.
A opção 6 vence a opção 2 por ( 253 - 75) = 178 votos.
A opção 2 vence a opção 7 por ( 291 - 63) = 228 votos.
A opção 5 vence a opção 3 por ( 229 - 127) = 102 votos.
A opção 6 vence a opção 3 por ( 266 - 84) = 182 votos.
A opção 3 vence a opção 7 por ( 306 - 51) = 255 votos.
A opção 5 vence a opção 6 por ( 169 - 163) = 6 votos.
A opção 5 vence a opção 7 por ( 289 - 63) = 226 votos.
A opção 6 vence a opção 7 por ( 311 - 42) = 269 votos.

O conjunto de Schwartz contém

Opção 5 "Alterar o CS para firmware não livre no instalador, um único instalador"

Os(As) vencedores(as)

Opção 5 "Alterar o CS para firmware não livre no instalador, um único instalador"

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