- What: Added Yamamoto (PLOS One, 2026-02) as evidence to the existing
Arrow's impossibility claim in foundations/collective-intelligence/.
Enriched body with paragraph on formal proof calculus representation
and its implications. Updated source field and last_evaluated date.
Marked archive source as processed.
- Why: Yamamoto provides the first full formal representation of Arrow's
theorem in proof calculus (complementing AAAI 2008 computer-aided
proof), revealing the global structure of the social welfare function.
This upgrades the claim's evidentiary basis from mathematical argument
to formally derivable result, strengthening the alignment impossibility
implication.
- Connections: Enrichment only — no standalone claim warranted per
curator notes. Relates to formal verification theme in
domains/ai-alignment/ (machine-checked correctness).
Pentagon-Agent: Theseus <3F9A1B2C-D4E5-6F7A-8B9C-0D1E2F3A4B5C>
b917ff7e4f