Skip to content

Ranked or Approval Choice with Audit

Social-choice procedure — instantiates Preference Conflict Accommodation

Tallies plural rankings into one winner through a pre-declared social-choice rule, then audits the result for cycles, agenda sensitivity, tie-breaks, and buried minority loss.

Version
v1 · 2026-08-24 · History
Mechanism #
7026
Type
Social Choice Procedure
Form family
Decision, Gate & Allocation
Solution family
Negotiation & Strategic Interaction
Problem family
Goal, Value & Purpose Misalignment
Problem subfamily
Legitimate Value, Preference & Duty Conflict
Origin domain
Political Science
Also from
Economics & Finance, Law & Governance, Mathematics
Instantiates
Preference Conflict Accommodation

When a single collective outcome is genuinely required and the rights floor has already been cleared, the plural preferences have to be collapsed into one choice — and that collapse is never neutral. Ranked or Approval Choice with Audit is the mechanism that performs the collapse honestly: it commits to a social-choice rule (ranked-choice, Borda, approval, Condorcet) before ballots are seen, computes the winner, and then runs the audit that most tallies skip — checking whether the ranking cycles, whether a different agenda order would have reversed the result, how the tie-break bit, and who among the losers was harmed how badly. Its defining move is that the audit is part of the mechanism, not an afterthought: it produces a winner and, in the same breath, a signed record of how fragile that winner is and which minority the aggregate stepped on. It works only on the input someone else has already elicited and validated; its job is to combine that input into a decision and to make the combination inspectable.

Example

A 900-member food cooperative must pick one site for its second store from five candidates; only one can be built. The board declares the rule up front: members submit ranked ballots, the winner is decided by instant-runoff, ties broken by total first-choice votes. The tally runs and the industrial-park site wins after three rounds. Then the audit begins. It re-runs the ballots under Borda and under approval scoring as a robustness check; the industrial-park site wins under two of three, but under Condorcet pairwise comparison there is a cycle — the near-campus site beats industrial-park head-to-head, yet loses the overall tally through vote-splitting.[n1] The audit also drills into the losing minority: members within walking distance of the near-campus site rank the winner dead last, an intense concentrated loss the topline "industrial park won" would have hidden.

The board still selects the industrial-park site, but now the decision ships with its record: the rule was fixed in advance, the result survives two of three rules, a documented cycle exists, and the walking-distance members' dissent is preserved on the record with a note that the board weighed and rejected a satellite pickup point. A losing member can see exactly how their ballot counted — which is what makes the loss legitimate rather than arbitrary.

How it works

  • Pre-commit the rule. Fix eligibility, ballot type, the aggregation rule, agenda order, and tie-break before any ballot is opened, so the rule cannot be chosen to fit a desired winner.
  • Tally under the declared rule. Compute the winner mechanically from the ranked or approval ballots.
  • Stress the result. Re-run under alternative rules, test whether agenda order or clone candidates change the outcome, and check for majority cycles.
  • Drill into the tail. Identify who ranked the winner lowest and how concentrated that loss is, so an average or plurality cannot bury an intense minority.
  • Sign the record. Publish rule, result, sensitivity, tie-break, and preserved dissent as one legitimacy artifact.

Tuning parameters

  • Aggregation rule — ranked-runoff, Borda, approval, or Condorcet. Each rewards a different consensus shape; approval favors broadly-tolerable options, Borda favors high-average, and the choice must be justified, not defaulted.
  • Agenda / pairing order — the sequence in which options or amendments are compared. Sequence can flip a cycle-prone result, so it is fixed in advance and its sensitivity reported.
  • Tie-break rule — the deterministic fallback when the rule leaves a dead heat. A crisp rule avoids ad-hoc improvisation but can feel arbitrary; extreme ties may warrant handing off rather than forcing.
  • Sensitivity threshold — how large a swing under alternative rules counts as "fragile" and gets flagged. Loose thresholds hide instability; tight ones cry wolf.
  • Minority-loss trigger — how concentrated a tail loss must be to require accommodation, exception, or remand rather than silent acceptance.

When it helps, and when it misleads

Its strength is decisiveness with a receipt: it delivers the one outcome the situation demands while exposing the two things a bare vote hides — that the winner may be an artifact of the rule, and that a intense minority may have been sacrificed to a comfortable average. Because the rule is pre-committed, it blocks the most common manipulation, rule-shopping after the ballots are seen.

Its failure mode is the tyranny of the average: a clean winner can conceal polarization and concentrated harm, and no tally rule escapes the fact that with three or more options, reasonable rules can disagree and cycles can exist.[n1] The classic misuse is announcing the rule after a straw poll reveals which method favors the sponsor's option. The guarding discipline is precommitment plus the mandatory tail drill-down: if protected minority loss survives the audit, the aggregate is remanded for accommodation rather than rubber-stamped.

How it implements the components

  • aggregation_and_collective_choice_rule — it is the declared voting/scoring rule with its agenda, cycle handling, and tie-break made explicit.
  • minority_tail_and_information_loss_guardrail — the drill-down into who ranked the winner lowest preserves the intensity and polarization the topline erases.
  • decision_legitimacy_reason_and_dissent_record — the signed rule-plus-sensitivity-plus-dissent artifact lets a loser see how their preference counted.

It does not set the criterion weights through convened deliberation (representation_and_standing_rule and preference_dimension_and_intensity_map — that is Deliberative Weighting Workshop, its nearest twin: this procedure tallies ballots under a fixed rule, whereas the workshop reasons the weights into existence and never runs a ballot).

Editorial Notes

Form Classification

Form family: Decision, Gate & Allocation

Rationale: Ranked or Approval Choice with Audit operates as a case-specific gate, selection, routing, prioritization, or resource disposition because it tallies plural rankings into one winner through a pre-declared social-choice rule, then audits the result for cycles, agenda sensitivity, tie-breaks, and buried minority loss.

Independent corroboration: The frozen evidence defines Ranked or Approval Choice with Audit as 'Tallies plural rankings into one winner through a pre-declared social-choice rule, then audits the result for cycles, agenda sensitivity, tie-breaks, and buried minority loss', so its operative form is Decision, Gate & Allocation.

Nearest alternative: Assessment, Review & Assurance — Ranked or Approval Choice with Audit includes features of a bounded evaluation of existing evidence or work that produces a finding or disposition, but its defining operation is a case-specific gate, selection, routing, prioritization, or resource disposition.

Review outcome: Independent reviewer agreement; medium confidence.

Origin Attribution

Primary origin: Political Science

Origin pattern: Cross-disciplinary synthesis

Present-day reach: Specialized

Rationale: Plural ranking aggregation, winner selection, and minority-loss review belong to voting and democratic-institution analysis.

Related originating lineages:

  • Economics & Finance — Social-choice theory materially supplies cycle and agenda-sensitivity analysis.
  • Law & Governance — Election audit and procedural legitimacy supplied review of the result.
  • Mathematics — Formal voting theory supplied cycle, agenda-sensitivity, and tie analysis.

Review resolution: Both blind reviewers agree on political_science as the primary origin. Explicit reconciliation resolves alternate_origin_disagreement. The merged alternate lineages retain only domains the reviewers identified as materially formative; domain_reach=specialized records later applicability separately from origin breadth.

Encyclopedia synthesis: The exact catalogued form synthesizes established practice rather than reproducing a single standard historical label.

Review outcome: Reconciled after independent review; high confidence.

Notes

[n1] The Condorcet paradox — collective preferences can cycle (A beats B, B beats C, C beats A) even when every individual ranking is consistent — and Arrow's impossibility theorem, which shows no aggregation rule can satisfy a short list of reasonable fairness conditions at once. Together they are why the audit re-runs alternative rules rather than trusting one tally as ground truth. ↩a ↩b