Description
Compare support with strict majorities of cast and eligible quantities, preserving nulls for zero denominators.
A ballot record is an explicit selection or ordered list of literal candidate IDs. A tally depends on its rule: first choice, approval, positional scores and pairwise comparisons use different evidence. Partial rankings do not by themselves define a preference for or against omitted candidates. Counts and weights describe supplied records, not certified voters.
Compare support with strict majorities of cast and eligible quantities, preserving nulls for zero denominators.
When to use this tool
Use this audit to show how a support level changes interpretation when the denominator is cast versus eligible quantity.
How to use the tool and how it works
- Enter support, cast, eligible using the definitions below.
- Run the operation. Resolve input-format errors before interpreting an output.
- Read result.castMajority, result.eligibleMajority, result.castShare, result.eligibleShare, using the stated boundary, ordering, sign and absence conventions.
Require 0≤support≤cast≤eligible. Compare support strictly against half of cast and half of eligible, and divide support by each positive denominator for its share.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| support | Finite nonnegative support, no greater than cast, on the same count/weight scale as both denominators. | Finite numeric value satisfying the stated comparisons. |
| cast | Finite nonnegative cast denominator, support≤cast≤eligible. | Finite numeric value satisfying the stated comparisons. |
| eligible | Finite nonnegative eligible denominator, at least cast; the caller defines eligibility. | Finite numeric value satisfying the stated comparisons. |
| Output field | Interpretation |
|---|---|
| result | Object containing the fields below. |
| result.castMajority | support>cast/2, or null when cast=0. |
| result.eligibleMajority | support>eligible/2, or null when eligible=0. |
| result.castShare | support/cast as a fraction, or null when cast=0. |
| result.eligibleShare | support/eligible as a fraction, or null when eligible=0. |
{
"input": {
"support": 6,
"cast": 10,
"eligible": 20
},
"output": {
"result": {
"castMajority": true,
"eligibleMajority": false,
"castShare": 0.6,
"eligibleShare": 0.3
}
}
}Limitations and assumptions
- A zero denominator produces null for both its majority result and share. Values may be finite nonnegative fractional weights; no integer-count or eligibility verification is performed.
- Candidate banks use distinct exact string IDs. Unless an audit explicitly accepts them for reporting, unknown IDs and repeated IDs within a ballot are rejected. Rankings may be partial. These operations do not authenticate records, infer voter intent or apply jurisdiction-specific election rules.
- Every declared outer field is required and unknown outer fields are rejected. Strings and JSON text have size limits, lists are bounded to 128 entries, and JSON nesting/node counts are bounded. Tighter operation-specific bounds stated above take precedence.
- Numeric outputs must remain finite and within safe-integer magnitude. Original record indexes and cell coordinates are zero-based; stated half-open ranges exclude their end.
Alternative or Complementary methods
Choose a tally rule before comparing outcomes. Audit candidate identity and repeated entries first, retain the treatment of empty and partial ballots, and apply any election-specific eligibility or tie-breaking procedure separately.
References
Similar or alternative tools
- Ballot Tally Highest Score Tie Set
Select all candidate IDs tied at the maximum supplied score in original candidate order.
- Single Choice Ballot Count Tally
Count single-choice ballots per candidate and report empty ballots as abstentions.