Description
Audit supplied ballot disposition counts under an explicit denominator convention.
Election and representation indicators depend on the selected vote, seat, population, or eligibility denominator. A threshold also needs an explicit equality and rounding rule. A single quotient, balance, or share can support a larger counting workflow without implementing the full electoral procedure.
Audit supplied ballot disposition counts under an explicit denominator convention.
When to use this tool
Use Ballot Exhaustion Share when you need this particular counting term under an explicit vote, seat, threshold, or reporting-base rule.
How to use the tool and how it works
- Enter exhausted, continuing, excluded, includeExcluded. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read denominator, exhaustedShare, defined. Inspect defined before interpreting the associated values.
Sum exhausted, continuing, and optionally excluded into denominator. Return exhaustedShare=exhausted/denominator when positive, otherwise zero with defined=false; require nonnegative integer counts.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| exhausted | Exhausted | Required. Safe integer; minimum 0. |
| continuing | Continuing | Required. Safe integer; minimum 0. |
| excluded | Excluded | Required. Safe integer; minimum 0. |
| includeExcluded | Include Excluded | Required. Boolean. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| denominator | Denominator | Required. Safe integer. |
| exhaustedShare | Exhausted Share | Required. Finite number. |
| defined | Whether the associated ratio is defined; inspect before using a zero placeholder. | Required. Boolean. |
{
"input": {
"exhausted": 20,
"continuing": 80,
"excluded": 10,
"includeExcluded": false
},
"output": {
"denominator": 100,
"exhaustedShare": 0.2,
"defined": true
}
}Limitations and assumptions
- IncludeExcluded controls the reporting base, not ballot eligibility. The zero share on a zero denominator is a placeholder, and count categories are trusted.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Signed zero is exported as zero.
Alternative or Complementary methods
Compare the supplied counting rule with the authoritative procedure for the relevant election or chamber. Complete allocations need additional eligibility, ranking, transfer, tie, and reporting rules beyond one arithmetic term.
References
Similar or alternative tools
- Ballot Transfer Exhaustion One Round
For nonnegative integer transferable, exhausted within transferable, and nonnegative integer receivedByCandidates, return continuing=sum(receivedByCandidates), accounted=exhausted+continuing, and balanced=(accounted===transferable).
- Ballot Exhaustion Last Preference Token
Find the next explicitly continuing preference; does not conduct or certify an election count.