Documento de Eduardo Guimarães-PL_ESPERANTO

Prévia do material em texto

Liberala Partio - Nacia Direkcio - Braziljo-DF
SHS, Quadra 6, Centro Empresarial Brasil 21, Conjunto A, Bloco A, Sala 903, CEP 70.316-102
Telefono: (61) 3202.9922 Interreto: www.pl.org.br Retpoŝto: juridico22pl@gmail.com
PRELIMINA RAPORTO
Ĉi tiu versio estas ankoraŭ prepara kaj estas ankoraŭ konstruata por plibonigi la priskribon.
por ĉiuj ne-2020 malnovaj modelaj voĉdonmaŝinoj.
trovitaj okazoj, kiuj pruvas, ke la Urn Log-dosieroj estas nevalidaj
SÃO PAULO v0.7 - 11/15/2022
Inspektado de la Elektoj (2022) ĉe la TSE
LIBERALA PARTIO PL
Nevalidaj Elektronikaj Balotskatoloj
Teknika raporto
Machine Translated by Google
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 11/15/2022 - 12/2
Totala kunordigo
IVL Teknika Teamo dungita de PL
José Tadeu Candelaria
ITA Teknologia Instituto de Aeronaŭtiko
Federacia Deputito kaj Vicprezidanto de la Liberala Partio
Elektronika Inĝenieristiko, 1980
Kapitano Aŭgusto
Marcio Abreu
Prezidanto de la Legal Vote Institute (IVL)
Nacia Prezidanto de la Liberala Partio
ITA Teknologia Instituto de Aeronaŭtiko
Valdemar da Costa Neto
Aernaŭtika Mekanika Inĝenierado, 1978
Fondanta Asociito de la Legal Vote Institute (IVL)
Elektronika Inĝenieristiko, 1977
Flavio Gottardo de Oliveira
ITA Teknologia Instituto de Aeronaŭtiko
Carlos Rocha, Reprezentanto de la Liberala Partio, por Inspektado ĉe la TSE
Ŝtata Prezidanto de la Liberala Partio de San-Paŭlo
Vicprezidanto de la Legal Vote Institute (IVL)
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
PARTOPRENOJ
Machine Translated by Google
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
Por monitori la konduton de elektronikaj voĉdonaj maŝinoj en la 1-a kaj 2-a deĵoroj, uzante inteligentan 
datuman analizon, la IVL partneris kun Gaio.io. La brazila kompanio konsistas el teamo de specialistoj pri 
informa teknologio kaj statistiko, kiu disvolvis alt-efikan interretan platformon por inteligenta analizo de 
datumoj. Laŭ peto de la IVL, Gaio.io starigi kompletan datumbazon, kun ĉiuj dosieroj Boletim de Urna kaj Log 
de Urna de la pli ol 472 000 elektronikaj balotmaŝinoj uzataj en la elektoj de 2022, akiritaj de la TSE-
portalresultes.tse.jus.br , identigante la modelojn de fabrikado de 2009, 2010, 2011, 2013, 2015 kaj 2020. Estas 
du kolonaj bazoj kun datumoj de ĉiuj elektronikaj voĉdonaj maŝinoj, unu kun 146 524 309 linioj de Urnoj kaj la 
alia kun 4 287 489,47 489,4 Urn3.
La IVL uzis la platformon Gaio por validigi statistikajn studojn, kiuj estas prezentitaj al ni, kun malkovroj de 
signoj de malĝusta funkciado de la elektronika balotsistemo kaj elektronikaj balotmaŝinoj, kiuj pravigas 
profundan esploron. Estas studoj kiuj montras fortajn signojn de enmiksiĝo en la balotprocentoj de la du 
kandidatoj, favorante unu kandidaton super la alia, precipe en la Nordorientaj ŝtatoj. Laŭ peto de la IVL, la 
studoj estis validigitaj de Gaio.io kaj la suba bildo prezentas la validigajn rezultojn, por municipoj kun malpli ol 
100 000 (cent mil) balotantoj en ĉiuj FU-oj.
La IVL-teknika teamo sekvis la gvidliniojn de la TCU-inspekta metodologio, por la kolekto de pruvoj en publikaj 
dokumentoj, kaj estis identiganta, katalogante, stokante kaj studante grandan kvanton da dokumentoj kaj 
informoj disponeblaj en la Interreto, en la retejoj de la Superulo. Balota Tribunalo (TSE), Federacia Kontrola 
Tribunalo (TCU), Federacia Senato, Ĉambro de Deputitoj, Planalto, Nacia Instituto pri Informa Teknologio (ITI), 
Nacia Datumprotekta Aŭtoritato (ANPD), Brazila Asocio de Teknikaj Normoj (ABNT) , gazetaraj veturiloj kaj la 
Interreto ĝenerale.
1. Supozoj
La teknika teamo de la Legal Vote Institute (IVL), dungita de la Liberala Partio (PL), adoptis la procedurojn 
priskribitajn en la inspektadinstrumentoj de la Federal Audit Court (TCU), por kontroli ĉiujn fazojn de la 
voĉdonadprocezo kaj elekta kalkulado kiel same kiel la elektronikan prilaboradon de la agregado de rezultoj, 
konforme al Artikoloj 61 kaj 66 de la Leĝo n-ro 9.504 de 1997, kiuj garantias larĝan kontroladon de politikaj 
partioj, per specifa sistemo starigita tiucele. La TCU-inspektadinstrumentoj estas: Enketo, Konformeca Revizio, 
Operacia Revizio, Inspektado, Akompano kaj Monitorado.
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 15/11/2022 - 3/12
Machine Translated by Google
https://gaio.io
https://gaio.io
https://gaio.io
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
La procentoj ruĝe montras la procentan diferencon favore al la kandidato Lula, en la elektronikaj voĉdonaj 
maŝinoj de malnovaj modeloj (2009, 2010, 2011, 2013 kaj 2015).
aliaj kontrolaj organoj.
Konsiderante ke la balotrezulto en ĉiu municipo devus esti sendependa de la elektronika voĉdonadmaŝino 
produktadmodelo, la IVL decidis sekvi la konsiladon de la TSE kaj revizii la Urn Log-dosieron de ĉiuj elektronikaj 
balotmaŝinoj uzitaj en tiuj elektoj.
• “Protokoloj estas registroj de aktiveco, kiel historio, por iu ajn sistemo. Ĝi estas kie vi povas lokalizi eblajn 
ŝanĝojn kaj alirojn, kiel historio de agadoj disvolvitaj en tiu programo."
• “la baloturna protokolo estas grava kontrola elemento por politikaj partioj kaj
Pri la Urna Protokolo, la glosaro en la retejo de TSE informas tion
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 11/15/2022 - 12/4
Machine Translated by Google
https://www.tse.jus.br/hotsites/catalogo-publicacoes/pdf/glossario_eleicoes_informatizadas.pdf
• rezultoj.tse.jus.br
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
La. Ĉu la Urn Log-dosieroj enhavas la ĝustan valoron de la elektronika voĉdona maŝino identiga 
kodo, en la kampo dokumentita de la TSE, en ĉiuj ĝiaj linioj?
• dataabertos.tse.jus.br
Tiel, por respondi la subajn demandojn, analizo de la protokoloj generitaj de la elektronikaj voĉdonaj 
maŝinoj estis farita.
2. Amplekso kaj Demandoj
La demandoj estas jenaj:
Surbaze de la dokumento "Protokolo formato", ankaŭ disponebla en la TSE-portalo, ni eksciis, ke la 
kampo "ID_UE - identiga kodo de la elektronika voĉdonmaŝino", devas ĉeesti en ĉiuj linioj de la protokolo 
kiel la kvara kampo de maldekstre dekstren.
ç. Ĉu eblas korelacii ĉiun Urn Log-dosieron kun la responda Urn-Bulteno?
iu alia kampo aŭ linio?
Notaria Oficejo de Capital SP la 11/14/2022, alkroĉita, kaj aliaj tra la portalo verifact.com.br, ankaŭ 
alfiksita.
La analizitaj dokumentoj estas ĉiuj en cifereca (aŭ elektronika) formato, alkroĉitaj al la rekordoj kiel 
elektronikaj dosieroj en ZIP-formato, haveblaj sur la TSE-portaloj:
B. La Urn Log-dosieroj enhavas la identigan kodon de la elektronika urno, en
d. Ĉu eblas korelacii ĉiun Urn Log-dosieron kun la urno identigita per ĝia identiga kodo?
elŝutita kaj registrita kiel cifereca pruvo, kelkaj tra Notaria Registro registrita la 5-an.
La objektivo de la teknika laboro prezentita en ĉi tiu Raporto estis trovi la kaŭzon, kiu generintus la 
rezultojn de la statistikaj studoj, kiuj montris troan enmiksiĝon en la balotprocentoj de la kandidatoj, 
pro la elektronikaj balotujoj de malnovaj modeloj, kiuj nefaris. labori ĝuste. Por trovi pruvojn, ke ĉi tiu 
grupo de urnoj ne funkcius ĝuste, oni faris inteligentan analizon de la datumoj enhavitaj en la dosieroj 
Log de Urna de ĉiuj modeloj de elektronikaj urnoj uzataj en la elektoj de 2022.
11/15/2022 - 12/5PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA
Machine Translated by Google
https://resultados.tse.jus.br/oficial/app/index.html#/eleicao/dados-de-urna/
https://dadosabertos.tse.jus.br/
https://www.tse.jus.br/++theme++justica_eleitoral/pdfjs/web/viewer.html?file=https://www.tse.jus.br/eleicoes/eleicoes-2022/arquivos/formato-dos-arquivos-de-log-17-9-22/@@download/file/formato-arquivos-log.pdf
https://verifact.com.br/
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
eldonita de la TSE mem.
Post zorgema analizo de la tuta materialo provizita, kiu inkluzivas la dokumentojn menciitajn supre, 
ni konsideras la sekvajn respondojn al la demandoj prezentitaj ĝustaj kaj pravigitaj:
aliaj balotmodeloj.
3. Analizoj kaj Respondoj
 Ĉi tiu kodo estas eĉ ekster la gamo de kodoj de identigiloj de balotujo
 Ĉu ĝustas por EU2020 Enhavas 
malvalidajn, unikajn kaj ripetemajn informojn, "67305985", por EU2020
La TSE-portalo informas, ke "la protokolo de balotujo estas grava kontrola elemento por politikaj partioj kaj aliaj 
inspektaj estaĵoj".
Analizinte la protokolojn de ĉiuj balotujoj, ni detektis, ke la informoj de la kodo de identigilo de 
balotujo, kiel eldonita de la Bulteno de TSE, ne ĉeestas en neniu kampo de iu linio de la protokoloj.
Analizinte la protokolojn de ĉiuj balotujoj, ni detektis, ke la informoj de la kodo de identigilo de la 
balotujo, en la kvara kampo de ĉiuj linioj de la protokoloj, kompare kun la kodo publikigita en la Boletim 
de Urna en la retejo de TSE:
Urn Log estas la cifereca dosiero, kiu registras la identigan kodon de la urno kaj ĉiujn koncernajn eventojn, 
kiuj okazis en la respektiva elektronika urno, de la komenca ŝarĝo de la programaro, ĝis la fino de la 2-a 
deĵoro.
• Respondo al Demando b
• Respondo al Demando a
Antaŭ ol respondi la starigitajn demandojn, estas oportune difini, en pli preciza kaj ĝustatempa maniero, kelkajn 
terminojn menciitajn en la demandoj kaj en la subaj respondoj, kaj gravaj por pli bona kompreno de tiu ĉi verko.
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 11/15/2022 - 12/6
Machine Translated by Google
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
Kun ĉi tiuj informoj per la portalo, vi povas aliri la Voĉdonejon.
• Respondo al Demando c
Daŭrigante la antaŭan respondon, kaj konsiderante la Respondon al Demando a, ĉi tiu 
korelacio eblas nur en la urnoj UE2020, ne estante ebla en la antaŭaj modelaj urnoj pro 
manko de la identiga kodo de la elektronika balotujo en la urnoj. Urna Protokolo-dosiero.
Male, la protokolo enhavas liniojn kiuj identigas la Municipon, Zonon kaj Sekcion.
• Respondo al Demando d
Per la langeto Urn Log, eblas aliri la Urn Log-dosieron tie konservitan.
En Balot Box Log-dosieroj, kiuj ne enhavas la ĝustan elektronikan voĉdonmaŝinon 
identigkodon, estas neeble unuvoĉe korelacii ĉi tiun registron kun la Balot Box Bulletin, 
malvalidigante la eblecon de revizio.
Per la retejo de TSE, kun informoj pri la municipo, zono kaj balotsekcio, oni aliras la 
respondan Voĉdonejon. En ĉi tiu bulteno, krom la alir-informoj, troviĝas la urna 
identigkodo.
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 15/11/2022 - 7/12
Machine Translated by Google
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
Malsupre estas ekzemplo de Urn Log-dosiero de UE2020-urno, akirita de la TSE-
retejoresults.tse.jus.br , montrante ĝustan identigkodon de urno, kiu dokumentas la 
suprajn postulojn.
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 11/15/2022 - 12/8
Machine Translated by Google
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
Malsupre estas ekzemplo de Urno-Protokolo de modelo UE2015-urno, kiu ne 
montras la identigan numeron de la urno, montrante anstataŭe falsan numeron, kiu 
nuligas la ligon inter la Urno-Protokolo kaj la urno.
11/15/2022 - 12/9PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA
Machine Translated by Google
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
Malsupre estas la bildo de la panelo de statistika analizo de datumoj de Gaio.io kun la 
pruvo, ke la Urn Log-dosieroj de ĉiuj elektronikaj voĉdonaj maŝinoj de fabrikaj modeloj 
krom la modelo UE2020 estas nevalidaj, tio estas, modeloj 2009, 2010, 2011, 2013 kaj 
2015. .
Ili estas malvalidaj ĉar ili montras falsan valoron anstataŭe de la ĝusta valoro en la 
elektronika voĉdonmaŝino identigkodkampo, farante neebla ligi ĉiun Urn Log-dosieron 
kun la respektiva fizika urno.
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 11/15/2022 - 12/10
Machine Translated by Google
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
4. Konkludoj
Nenio pli por konsideri, ni fermas ĉi tiun raporton.
La laboro de la IVL-teknika teamo dungita de la PL, kun la subteno de la brazila kompanio Gaio.io, specialigita 
pri inteligenta analizo de datumoj, konfirmis, ke la Urn Log-dosieroj de la elektronikaj balotmaŝinoj UE2020 estis 
ĝuste generitaj, kun la ĝusta valoro de la koda identigo de la elektronika balotujo, kiu garantias la ligon de ĉiu 
Log de Ballot-dosiero kun la respektiva fizika balotujo kaj la ĝustan funkciadon de la balotujo.
El teknika vidpunkto, kiam ĝi generas nevalidan Urn Log-dosieron, la elektronika voĉdona maŝino ne funkcias 
kaj konfirmas, ke ĝi uzis kodan version de la programoj malsama ol la versio uzata en la elektronikaj 
voĉdonmaŝinoj modelo UE2020, sigelita en publika ceremonio ĉe la TSE. Egalaj kodoj de voĉdonadmaŝinaj 
programoj generas validajn Balot Box Log-dosierojn.
En tiu ĉi teknika perspektivo, ne eblas validigi la rezultojn generitajn en ĉiuj elektronikaj urnoj de modeloj 2009, 
2010, 2011, 2013 kaj 2015, rezultoj, kiujn oni devus ignori en la totaligo de la elektoj en la dua raŭndo, pro la 
misfunkciado de ĉi tiuj balotujoj.
Alie, la laboro ankaŭ konfirmis, ke ĉiuj Urn Log-dosieroj de la elektronikaj voĉdonaj maŝinoj de fabrikaj modeloj 
krom la modelo UE2020, tio estas, modeloj 2009, 2010, 2011, 2013 kaj 2015, montras falsan valoron anstataŭ la 
ĝusta valoro. de la elektronika urno identigkodo, malpermesante ligi ĉiun Urn Log-dosieron kun la respektiva 
fizika urno.
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 11/15/2022 - 12/11
Machine Translated by Google
PL - Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj v0.7 - KONFIDENCA 11/15/2022 - 12/12
Teknika Raporto - Nevalidaj Elektronikaj Balotskatoloj
ITA Teknologia Instituto de Aeronaŭtiko
Marcio Abreu
Flavio Gottardo de Oliveira
Aernaŭtika Mekanika Inĝenierado, 1978
Vicprezidanto de la Legal Vote Institute (IVL)
Reprezentanto de la Liberala Partio, por Inspektado ĉe la TSE 
Prezidanto de la Instituto Voto Legal M: +55 11 98262-3843 | E:carlos.rocha@samurai.com.br
ITA Teknologia Instituto de Aeronaŭtiko
Carlos Rocha
Fondanta Asociito de la Legal Vote Institute (IVL)
Elektronika Inĝenieristiko, 1980
San-Paŭlo, la 15-an de novembro 2022
IVL trejnadstabo subskriboj
Machine Translated by Google
mailto:carlos.rocha@samurai.com.br