EIISoftware Verifiability1.3

Pre-election binary commitment

Is the running binary cryptographically committed (hash published) before polls open?

max 1 · weight 1binary rule

Scoring rule

{
  "type": "binary"
}

Jurisdiction scores

JurisdictionScoreRationale & evidenceSource
Texasus-tx1/1100.0%

§ 129.021 codifies a pre-election binary commitment: immediately on receiving a voting system, and again at the public logic-and-accuracy test under § 129.023, the general custodian must 'perform a hash validation on each ballot marking device, each unit of automatic tabulating equipment, and each tabulation computer to verify that the source code of the equipment has not been altered.' § 129.023(c-1) repeats the source-code-integrity demonstration before each election. Pre-election cryptographic integrity check codified.

§ view source
claude-opus-4-7
2026-05-20
Estoniaee0.5/150.0%

§ 48⁸(7) requires publication of the e-voting system source code and verification application before the elections, and § 48³ publishes the running applications and website integrity data before voting opens — a strong pre-poll transparency commitment. The statute does not, however, require a published cryptographic hash of the production binary.

The State Electoral Office organises the publication of the source code for the electronic voting system and the verification application before the elections.
§ view source
claude-opus-4-7
2026-05-21
Alabamaus-al0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-09
Alaskaus-ak0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
Argentinaar0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-10
Arizonaus-az0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-04
Arkansasus-ar0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-08
Armeniaam0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-17
Australiaau0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-08
Austriaat0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-16
Belarusby0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-18
Belgiumbe0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-13
Brazilbr0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: Article 59 of Brazil's Electoral Law addresses electronic voting procedures, vote printing, verification mechanisms, and digital signatures, but does not establish any requirement for pre-election cryptographic commitment or publication of binary hashes before polls open. The section focuses on ballot casting, vote recording, and post-election verification procedures rather than pre-election software security measures.

§ view source
claude-haiku-4-5
2026-06-02
Bulgariabg0/10.0%

The section requires publication of cryptographic identifiers derived from the software build process, including source code and built software components, before election day. However, the statute does not explicitly require a cryptographic hash/commitment of the running binary itself to be published before polls open, only identifiers from the build process and public cryptographic keys.

§ view source
claude-haiku-4-5
2026-05-11
Californiaus-ca0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-17
Canadaca0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-05
Chinacn0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-01
Coloradous-co0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section describes Colorado's centralized statewide voter registration system, including its technical capabilities, maintenance responsibilities, and data-sharing features. It does not address cryptographic commitment of running binaries or hash publication related to election software before polls open. The criterion concerns software verifiability through pre-election cryptographic commitments, which is not covered by this voter registration statute.

§ view source
claude-haiku-4-5
2026-06-02
Connecticutus-ct0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
Croatiahr0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section regulates the recordkeeping and reporting procedures of electoral commissions at the electoral district level, including documentation of voter turnout, vote counts, and candidate results. It contains no reference to software, cryptographic commitments, hashing, binary code, or any pre-election technical verification mechanisms.

§ view source
claude-haiku-4-5
2026-06-16
Czechiacz0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-14
Delawareus-de0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section concerns voter registration applications and procedures, including citizenship verification, record-keeping, and digitized signatures. It contains no reference to software, cryptographic commitments, binary hashes, or any election-day technology systems relevant to the pre-election binary commitment criterion.

§ view source
claude-haiku-4-5
2026-06-15
Denmarkdk0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-19
Finlandfi0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-20
Floridaus-fl0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: § 97.0525 online voter registration security — not pre-election binary commit.

§ view source
claude-opus-4-7
2026-05-15
Francefr0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-12
Georgiage0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-18
Georgiaus-ga0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-19
Germanyde0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-07
Greecegr0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-13
Greenlandgl0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-06
Hawaiius-hi0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
Icelandis0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-06
Idahous-id0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section addresses accuracy of voter registration information through data collection and verification from various state and federal agencies. It does not address software, cryptographic commitments, binary hashing, or any election-day technical requirements related to voting system binaries.

no FTS match
claude-haiku-4-5
2026-06-01
Illinoisus-il0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: 10 ILCS 5/4-33 governs voter records; not a pre-deployment voting-system audit.

§ view source
claude-opus-4-7
2026-05-13
Indianaus-in0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-12
Iowaus-ia0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-06
Irelandie0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-03
Kansasus-ks0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-06
Kazakhstankz0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-haiku-4-5
2026-06-02
Kentuckyus-ky0/10.0%

No matching sections in corpus (FTS returned 0 candidates) — concept not codified in this jurisdiction's election statute.

no FTS match
no-fts-match
2026-05-20
Latvialv0/10.0%

No matching sections in corpus (FTS returned 0 candidates) — concept not codified in this jurisdiction's election statute.

no FTS match
no-fts-match
2026-05-22
Lithuanialt0/10.0%

No matching sections in corpus (FTS returned 0 candidates) — concept not codified in this jurisdiction's election statute.

no FTS match
no-fts-match
2026-05-23
Louisianaus-la0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-08
Luxembourglu0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-16
Madagascarmg0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-09
Maineus-me0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
Maltamt0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: Article 86 addresses ballot box delivery, storage, inspection, and document preservation procedures. It contains no mention of software, binary code, cryptographic commitments, hashing, or any pre-election technical verification mechanisms. The criterion concerns digital election technology governance, which is not the subject of this section.

§ view source
claude-haiku-4-5
2026-06-16
Marylandus-md0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
Massachusettsus-ma0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-10
Mexicomx0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-07
Michiganus-mi0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section concerns recall petition signature verification procedures, using qualified voter files and signature comparisons. It is entirely unrelated to software, cryptographic commitments, hash publication, or pre-election binary commitments. The criterion addresses election technology infrastructure; this statute addresses administrative recall processes.

§ view source
claude-haiku-4-5
2026-05-11
Minnesotaus-mn0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-20
Mississippius-ms0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-09
Missourius-mo0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-08
Moldovamd0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-09
Montanaus-mt0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: The 'digital signature' provisions concern overseas-voter authentication (a U.S. Department of Defense common access card), not a cryptographic commitment of the voting-system binary; Montana does not require pre-election publication of a software hash.

§ view source
claude-opus-4-7
2026-05-22
Nebraskaus-ne0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section governs voter registration records, their public availability, distribution procedures, and security breach notification. It contains no provisions regarding cryptographic commitment of running binaries, hash publication, or any pre-election software verification measures. The criterion concerns software verifiability and cryptographic practices; this section addresses voter data management only.

§ view source
claude-haiku-4-5
2026-06-05
Netherlandsnl0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-08
Nevadaus-nv0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section addresses the declaration requirements for military-overseas ballots and signature methods. It does not address cryptographic commitments, pre-election binary commitments, or software verifiability of election systems.

§ view source
claude-haiku-4-5
2026-06-01
New Hampshireus-nh0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
New Jerseyus-nj0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
New Mexicous-nm0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section addresses driver's license voter registration procedures, including application processes, employee conduct, and transmission of registration data. It does not address election software, binary code, cryptographic commits, or any pre-election technical security measures related to voting systems.

§ view source
claude-haiku-4-5
2026-06-04
New Yorkus-ny0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-18
North Carolinaus-nc0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
North Dakotaus-nd0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-19
North Koreakp0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-01
Norwayno0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-19
Ohious-oh0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section addresses voter registration records, their public disclosure status, and the use of digitized signature lists. It contains no provisions regarding software binaries, cryptographic commitments, or hash publication before polls open. The section is entirely about voter registration data management and is unrelated to the criterion.

§ view source
claude-haiku-4-5
2026-05-11
Oklahomaus-ok0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-07
Oregonus-or0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: ORS § 260.011 addresses cryptocurrency contributions to political candidates and committees. It is unrelated to software verifiability, cryptographic commitments of running binaries, or any pre-election procedures. The section prohibits a payment method but says nothing about election software, binaries, or hash commitments.

§ view source
claude-haiku-4-5
2026-05-31
Pennsylvaniaus-pa0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: Section 1402 governs the physical organization, storage, and accuracy of district voter registration records and registers. It does not address software, binary commitments, cryptographic hashing, or any pre-election technical security measures for election systems. The criterion concerns cryptographic pre-election commitments to running binaries, which is entirely outside the scope of this registration record management statute.

§ view source
claude-haiku-4-5
2026-05-11
Polandpl0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-05-30
Portugalpt0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section concerns the procedure for early voting on professional grounds (casting votes in advance by presenting proof of work-related impediment). It describes the administrative mechanics of collecting, sealing, and transporting advance ballots to polling stations. The section contains no reference to cryptographic commitments, hashing, software binaries, or any pre-election technical security measure. The criterion addresses digital/cryptographic election integrity, which is entirely outside the scope of this procedural voting regulation.

§ view source
claude-haiku-4-5
2026-06-16
Rhode Islandus-ri0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
Romaniaro0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section concerns the administrative procedures for independent candidate registration, requiring submission of application documents and supporter lists. It does not address software, cryptographic commitments, binary verification, or any aspect of election technology or pre-election security measures relevant to the criterion.

§ view source
claude-haiku-4-5
2026-05-11
Russiaru0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-18
Serbiasr0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: Article 72 (МP Election Law) governs disabled voter's right to bring a helper — unrelated to pre-election binary commitment.

§ view source
claude-opus-4-7
2026-05-15
South Africaza0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-08
South Carolinaus-sc0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-15
South Dakotaus-sd0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-19
Spaines0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: Article 82 of LOREG governs the admission and accreditation of electoral observers (interventores) at polling stations, including verification of their credentials and the timing of their arrival. It does not address software, cryptographic commitments, hash publication, or any pre-election technical verification measures. The criterion concerns election software verifiability, which is entirely outside the scope of this section.

§ view source
claude-haiku-4-5
2026-06-16
Swedense0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-19
Tennesseeus-tn0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section addresses online voter registration procedures and system architecture but contains no reference to cryptographic commitment, hash publication, binary code verification, or any pre-election security measures involving software binaries. The criterion concerns technical election security practices unrelated to voter registration.

§ view source
claude-haiku-4-5
2026-06-11
Turkeytr0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: Law 2820 Article 69 governs party finances — printed receipts for income, not cryptographic binary commitment.

§ view source
claude-opus-4-7
2026-05-17
Ukraineua0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-19
United Kingdomgb0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-05-31
United Statesus0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section establishes a technology pilot program for testing election technology with absent uniformed services and overseas voters. It authorizes the Presidential designee to consider various security techniques including cryptographic voting systems, but does not mandate or establish any requirement that running binaries be cryptographically committed or hashed before polls open. The section is about pilot program authorization and technical considerations, not about pre-election binary commitments.

§ view source
claude-haiku-4-5
2026-05-11
Utahus-ut0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-02
Vermontus-vt0/10.0%

No matching sections in corpus (FTS returned 0 candidates) — concept not codified in this jurisdiction's election statute.

no FTS match
no-fts-match
2026-05-21
Virginiaus-va0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: This section addresses electronic voter registration application procedures, including verification of applicant identity, signature handling, and transmission timelines. It does not address software binaries, cryptographic commitments, hashing, or pre-election commitments of any running code. The criterion concerns election system software integrity; this section concerns only registration data collection and verification.

§ view source
claude-haiku-4-5
2026-06-15
Washingtonus-wa0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-05-26
West Virginiaus-wv0/10.0%

No section in the FTS-surfaced candidates satisfies this criterion. Best signal: Section 3-3B-4 establishes minimum requirements for online voting systems in a pilot program, but does not mandate or address cryptographic commitment of the running binary before polls open. While subsection (7)(E) mentions 'cryptographic protocols' as one possible mechanism for verifying ballot tampering, it does not require pre-election binary commitment or hash publication.

§ view source
claude-haiku-4-5
2026-06-14
Wisconsinus-wi0/10.0%

No candidate sections returned by FTS.

no FTS match
claude-opus-4-7
2026-05-18
Wyomingus-wy0/10.0%

No matching sections in corpus.

no FTS match
no-fts-match
2026-06-16

About this datapoint

Each score is one of: strong, partial, gap, or no codified provision. The evidence quote is a byte-exact substring of the cited statute section at scoring time. If the statute is amended, the old score is preserved with is_current=0 and a new score is inserted on top — never overwritten.