# Brazil Election Results 2026: When Counting Starts and Where to Check

Scope checked against the publication dated 25 October 2026.

Selected calculations checked in Lean. The empirical study is not formally proved.

Calculation and displayed-value checks:

- The stated 17:00 UTC−3 reference corresponds arithmetically to 20:00 UTC. (`brazil_election_2026_results_time_tse_1`; arithmetic).
- Displayed Flávio Bolsonaro values lie between 0 and 100 in partial-count-chart. (`brazil_election_2026_results_time_tse_2`; displayed-value-domain).
- The chart’s annotated change agrees with its sampled endpoints at the stated precision. (`brazil_election_2026_results_time_tse_3`; arithmetic).

This is an offset calculation on the published schedule, not verification of the legal publication rule, a call, a completed count or a winner.

Outside the proof:

- Authenticity, completeness and accuracy of source observations.
- Data collection, sampling, classification, bootstrap intervals and causal inference.
- Current prices, policy, legal status, allegations, product claims and future outcomes.
- Production code correctness, execution, available liquidity and profitability.

[Machine-readable scope and exact input locations](brazil-election-2026-results-time-tse.json). [Lean calculations](../LibraryChecks.lean). [Mathematical definitions](../ResearchModels.lean). [Verification record](../verification.json). [Complete package](../proofs.zip).

Body SHA-256: `27cd28f8fa7d78c6f634897991b08d830408f7221f1847f7f97ad47dadf6f970`. Source observations are premises, not conclusions of the proofs.

25 Oct 2026: the body hash now leaves out the photograph block (image), as it already left out sources and updatedAt. The scope is unchanged. Previous body SHA-256: 24f8e6301af66d0393e82339de771440297c58db3096ff9545ce6cb12df176c5.