.. meta::
   :description: Arrow proved no aggregation mechanism satisfies basic fairness axioms. Designing a redistribution system that everyone agrees is fair is mathematically impossible.
   :keywords: Arrow impossibility, social choice, Gibbard, Sen, fairness criteria, Pareto, cycling, ax25, ax15-ax17, agency preservation, adversarial review
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Con-E.2.11 — Arrow Says Fair<br>Design Is Impossible
   :og:card:description: The system claims periodic redistribution is mathematically necessary. Arrow's theorem proves that designing it fairly is mathematically impossible. Both claims cannot coexist.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Adversarial objection: Arrow's impossibility theorem guarantees no fair aggregation for designing redistribution policy. Severity E.
   OO :keywords: Arrow impossibility, social choice, Gibbard, Sen, fairness criteria, Pareto, cycling, ax25, adversarial review, theodicy
   OO :og:card:title: Con-E.2.11 — Arrow's<br>Impossibility Applies
   OO :og:card:description: No aggregation mechanism satisfies basic fairness axioms. Persistent disagreement about fair redistribution is mathematically guaranteed.
   PP :description: Arrow proved no aggregation mechanism satisfies basic fairness axioms. Designing a redistribution system that everyone agrees is fair is mathematically impossible.
   PP :keywords: Arrow impossibility, social choice, Gibbard, Sen, fairness criteria, Pareto, cycling, ax25, ax15-ax17, agency preservation, adversarial review
   PP :og:card:title: Con-E.2.11 — Arrow Says Fair<br>Design Is Impossible
   PP :og:card:description: The system claims periodic redistribution is mathematically necessary. Arrow's theorem proves that designing it fairly is mathematically impossible. Both claims cannot coexist.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 149 chars | :og:card:title: 44 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

.. Migration: from quest.rst label jub-con2r11 -> jub-con35
..   Phase 2I-6 migration, 2026-03-24

.. include:: /_templates/include-file/page-prefix.rst

.. _jub-con35:

Con-E.2.11 --- Arrow's Impossibility Theorem Applies to Jubilee Design
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
*Severity: E (Moderate)*  |  *Sphere: Se1, Se2*  |  *Target: ax25*

Even granting that periodic redistribution is desirable, *designing*
a modern Jubilee system faces Arrow's impossibility theorem (1951).
Implementation requires translating "redistribute accumulated
advantage" into specific policy decisions: which assets, what
thresholds, to whom, what exceptions. Arrow's theorem guarantees that
**no aggregation mechanism** can simultaneously satisfy
non-dictatorship, Pareto efficiency, independence of irrelevant
alternatives, and unrestricted domain.

This guarantees persistent disagreement about "fair" redistribution,
political coalitions opposing any specific implementation, and
cycling (no stable majority for any design). **This is not merely
a practical obstacle; it is a mathematical impossibility.** The PET
system claims the Jubilee System is mathematically necessary (th8, ax25)
but does not address the mathematical impossibility of designing it
in a way that satisfies basic fairness criteria.

**Academic support:** Arrow (1951), *Social Choice and Individual
Values*. Gibbard (1973), *Econometrica* 41(4):587--601. Sen (1970),
*JPE* 78(1):152--157: weaker conditions than Arrow's lead to
impossibility when individual liberty is preserved --- directly
relevant since ax15--ax17 insist on preserving agency.

*(Source: C2.11 from OOv1 Critique Round 2.)*