{
  "auditedAt": "2026-10-15T20:30:15.194434+00:00",
  "auditedCommit": "b0713821022a67d3f13e4847565e67731c4a9bf2",
  "sources": [
    {
      "file": "votes.zip",
      "sha256": "9353993de5cf03778aef44e01d4925e7ee105f5262491d344a2f0dbc956b0139",
      "bytes": 271292455,
      "url": "https://cdn.tse.jus.br/estatistica/sead/odsele/votacao_secao/votacao_secao_2022_BR.zip"
    },
    {
      "file": "details.zip",
      "sha256": "ad22c50b9e6d9dfb096a2170680a190f1734895ba89d8977b95fd63ca02c03da",
      "bytes": 243822213,
      "url": "https://cdn.tse.jus.br/estatistica/sead/odsele/detalhe_votacao_secao/detalhe_votacao_secao_2022.zip"
    }
  ],
  "voteRows": 5380736,
  "detailSectionTurns": 944150,
  "comparedDomesticSections": 471011,
  "comparedIntegers": 9891231,
  "municipalTransitions": {
    "22→22": 2191,
    "13→13": 3123,
    "13→22": 251,
    "0→22": 3,
    "13→0": 2
  },
  "metadataLocalDisagreements": {
    "sectionTurns": 12246,
    "sections": 6802
  },
  "errors": [],
  "warnings": [
    "14 exact, documented name variants; original TSE EA12 unavailable. No fuzzy matching or name-based automatic remapping."
  ],
  "method": "Independent official CSV/SQLite reconciliation + Python int/Fraction oracle against actual frontend JavaScript; full published census, not a sample",
  "domestic": {
    "total": 471011,
    "l1": 57120571,
    "b1": 50949797,
    "v1": 117935194,
    "w1": 1959922,
    "n1": 3483224,
    "QT_APTOS1": 155758656,
    "QT_ABSTENCOES1": 32380232,
    "l2": 60193094,
    "b2": 58061090,
    "v2": 118254184,
    "w2": 1763778,
    "n2": 3924686,
    "QT_APTOS2": 155758433,
    "QT_ABSTENCOES2": 31815701,
    "analyzable": 471010,
    "invertLB": 19385,
    "invertBL": 1491,
    "inversions": 20876,
    "conditional": 421541,
    "positiveLB": 5,
    "minimumLB": 29,
    "positiveBL": 6,
    "minimumBL": 128,
    "places": 11992,
    "provenMinimum": 0
  },
  "exterior": {
    "total": 1064,
    "l1": 138933,
    "b1": 122548,
    "v1": 294525,
    "w1": 4857,
    "n1": 4650,
    "QT_APTOS1": 695355,
    "QT_ABSTENCOES1": 390750,
    "l2": 152905,
    "b2": 145264,
    "v2": 298169,
    "w2": 5900,
    "n2": 6079,
    "QT_APTOS2": 695578,
    "QT_ABSTENCOES2": 384857,
    "analyzable": 1014,
    "invertLB": 36,
    "invertBL": 7,
    "inversions": 43,
    "conditional": 773,
    "positiveLB": 0,
    "minimumLB": 0,
    "positiveBL": 0,
    "minimumBL": 0,
    "places": 22,
    "provenMinimum": 0
  },
  "excludedDomestic": [
    [
      "AM",
      2550,
      68,
      797
    ]
  ],
  "screenshotExamples": {
    "('AC', 1554, 3, 100)": {
      "row": [
        3,
        100,
        1287,
        1287,
        4,
        206,
        223,
        0,
        21,
        160,
        45,
        205,
        1,
        6,
        316,
        72,
        316,
        104,
        22,
        13,
        7
      ],
      "lulaSwingPP": 76.25505851471071,
      "name": "MANOEL URBANO"
    },
    "('AC', 1139, 7, 67)": {
      "row": [
        7,
        67,
        1341,
        1341,
        25,
        41,
        67,
        0,
        3,
        55,
        9,
        64,
        2,
        27,
        185,
        115,
        184,
        91,
        22,
        13,
        7
      ],
      "lulaSwingPP": 48.6240671641791,
      "name": "FEIJÓ"
    },
    "('MG', 54070, 280, 325)": {
      "row": [
        280,
        325,
        1503,
        1503,
        2,
        24,
        28,
        0,
        0,
        13,
        11,
        24,
        1,
        0,
        32,
        4,
        32,
        7,
        22,
        13,
        7
      ],
      "lulaSwingPP": 47.023809523809526,
      "name": "UNAÍ"
    }
  },
  "sourceResidualByRound": {
    "1": 657,
    "2": 657
  },
  "passed": true,
  "task3": {
    "dataAudit": "docs/task3/data/data-audit.json",
    "mathComparison": {
      "passed": true,
      "sections": 471011,
      "comparisons": 4239099,
      "maxSwingAbsoluteErrorPP": 1.1546319456101628e-14,
      "summary": {
        "invertLB": 19385,
        "invertBL": 1491,
        "conditional": 421541,
        "minimumLB": 29,
        "minimumBL": 128,
        "positiveLB": 5,
        "positiveBL": 6
      },
      "method": "Raw official vote/detail tables; Python int + fractions.Fraction; no JS math or published aggregates",
      "integerComparison": "exact",
      "swingComparison": "Exact rational oracle; JS floating result within 1e-10 pp; rounding only at display"
    },
    "territorialReference": {
      "ibgeSourceSHA256": "9c904fa1feb978a89042bfecd7758e571266f285d6122a4ff02ffe37bffb76a2",
      "features": 5572,
      "electoralMunicipalities": 5570,
      "unmatchedIBGE": [
        "4300001",
        "4300002"
      ],
      "normalizedNameMatches": 5556,
      "nameDifferences": [
        [
          "BA",
          34118,
          "2905602",
          "CAMACÃ",
          "Camacan",
          false
        ],
        [
          "MG",
          44571,
          "3122900",
          "DONA EUSÉBIA",
          "Dona Euzébia",
          false
        ],
        [
          "MG",
          53031,
          "3165206",
          "SÃO THOMÉ DAS LETRAS",
          "São Tomé das Letras",
          false
        ],
        [
          "MT",
          91553,
          "5107800",
          "SANTO ANTÔNIO DO LEVERGER",
          "Santo Antônio de Leverger",
          false
        ],
        [
          "PA",
          4120,
          "1502954",
          "ELDORADO DOS CARAJÁS",
          "Eldorado do Carajás",
          false
        ],
        [
          "PA",
          5290,
          "1506500",
          "SANTA ISABEL DO PARÁ",
          "Santa Izabel do Pará",
          false
        ],
        [
          "RN",
          16039,
          "2400208",
          "ASSÚ",
          "Açu",
          false
        ],
        [
          "RN",
          16233,
          "2401206",
          "AREZ",
          "Arês",
          false
        ],
        [
          "RN",
          17035,
          "2405306",
          "BOA SAÚDE",
          "Januário Cicco",
          false
        ],
        [
          "RO",
          256,
          "1100098",
          "ESPIGÃO DO OESTE",
          "Espigão D'Oeste",
          false
        ],
        [
          "RO",
          337,
          "1100346",
          "ALVORADA DO OESTE",
          "Alvorada D'Oeste",
          false
        ],
        [
          "SE",
          31011,
          "2800100",
          "AMPARO DE SÃO FRANCISCO",
          "Amparo do São Francisco",
          false
        ],
        [
          "SE",
          31518,
          "2802601",
          "GRACCHO CARDOSO",
          "Gracho Cardoso",
          false
        ],
        [
          "SP",
          71013,
          "3550001",
          "SÃO LUÍS DO PARAITINGA",
          "São Luiz do Paraitinga",
          false
        ]
      ],
      "limitation": "2022 TSE EA12 live configuration returned HTTP 404; code/UF/official names are cross-checked against official TSE CSV and IBGE DBF. No fuzzy remapping.",
      "wrongMunicipalityMappings": [],
      "documentedNameVariants": [
        [
          "BA",
          34118,
          "2905602",
          "CAMACÃ",
          "Camacan",
          false
        ],
        [
          "MG",
          44571,
          "3122900",
          "DONA EUSÉBIA",
          "Dona Euzébia",
          false
        ],
        [
          "MG",
          53031,
          "3165206",
          "SÃO THOMÉ DAS LETRAS",
          "São Tomé das Letras",
          false
        ],
        [
          "MT",
          91553,
          "5107800",
          "SANTO ANTÔNIO DO LEVERGER",
          "Santo Antônio de Leverger",
          false
        ],
        [
          "PA",
          4120,
          "1502954",
          "ELDORADO DOS CARAJÁS",
          "Eldorado do Carajás",
          false
        ],
        [
          "PA",
          5290,
          "1506500",
          "SANTA ISABEL DO PARÁ",
          "Santa Izabel do Pará",
          false
        ],
        [
          "RN",
          16039,
          "2400208",
          "ASSÚ",
          "Açu",
          false
        ],
        [
          "RN",
          16233,
          "2401206",
          "AREZ",
          "Arês",
          false
        ],
        [
          "RN",
          17035,
          "2405306",
          "BOA SAÚDE",
          "Januário Cicco",
          false
        ],
        [
          "RO",
          256,
          "1100098",
          "ESPIGÃO DO OESTE",
          "Espigão D'Oeste",
          false
        ],
        [
          "RO",
          337,
          "1100346",
          "ALVORADA DO OESTE",
          "Alvorada D'Oeste",
          false
        ],
        [
          "SE",
          31011,
          "2800100",
          "AMPARO DE SÃO FRANCISCO",
          "Amparo do São Francisco",
          false
        ],
        [
          "SE",
          31518,
          "2802601",
          "GRACCHO CARDOSO",
          "Gracho Cardoso",
          false
        ],
        [
          "SP",
          71013,
          "3550001",
          "SÃO LUÍS DO PARAITINGA",
          "São Luiz do Paraitinga",
          false
        ]
      ],
      "nameVariantsForReview": [],
      "namePolicySHA256": "fa409702ccc762fd5f74095821ed287b9736550e5b2b48f9034b63273cd18a2c"
    },
    "municipalitiesWithBothDirections": 427,
    "dataManifestSHA256": "b9a8611d83c42fa882c441223ea1d06e764d3aa6060dda9907f673305b9a3736",
    "auditorScriptSHA256": "1902641b908abb117fd7414453376ef67848c60a421fc5a0ffb76d3eaa5e31a4",
    "importCheckpointSHA256": "cbbabae239f9e9e7e1e231aeaa1fb6c02203e9257900b8900c73aa75000661f0",
    "scope": "2022 published domestic sections; official exterior vote/turnout totals checked separately; no individual transfers demonstrated",
    "releaseApproved": false,
    "pending": [
      "GitHub Actions and isolated automatic preview",
      "Published version verification",
      "Performance/capacity measurement",
      "Visual and functional browser review"
    ]
  }
}