{"_self":{"principle":"Self-explaining payload — no external context required. This _self block describes what you are reading and where to look next.","widget":"article_voxels","feature":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","contains":"claim voxels + source edges","slug":"nogo-n02","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/voxels","write":"https://miscsubjects.com/api/protocol/claim"},"how_to_use":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","write":"https://miscsubjects.com/api/protocol/claim","imessage":null,"router_tag":null,"proof_chain":[{"step":1,"claim":"Articles are voxel graphs of tiered claims, not prose blobs.","verify":"https://miscsubjects.com/api/articles/constitution"},{"step":2,"claim":"Claims link to hash-chained sources via source_ids.","verify":"https://miscsubjects.com/api/articles/nogo-n02/sources"},{"step":3,"claim":"Ask reads topology; ingest/claim append to ledger.","verify":"https://miscsubjects.com/api/protocol"},{"step":4,"claim":"Models queue growth: populate → collaborate → repair → reflex.","verify":"https://miscsubjects.com/api/protocol/grow"},{"step":5,"claim":"Graph proves its own shape (reflex) and $/claim (yield).","verify":"https://miscsubjects.com/graph.html?layer=reflex"},{"step":6,"claim":"Full feature index + _explain on every API response.","verify":"https://miscsubjects.com/api/articles/system-map"}],"related_features":[{"id":"constitution","name":"Article constitution","what":"Binding rules: required article slots, claim/source rules, ontology anti-sprawl.","urls":{"read":"https://miscsubjects.com/api/articles/constitution","read_md":"https://miscsubjects.com/api/articles/constitution?format=markdown"}},{"id":"sources_ledger","name":"Source ledger","what":"Hash-chained cited sources; verify integrity at GET .../sources.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/sources","write":"https://miscsubjects.com/api/protocol/sources"}},{"id":"claim_post","name":"Claim post protocol","what":"Prompt-injection style POST — one claim voxel with who_claims + posted_by.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/voxels","write":"https://miscsubjects.com/api/protocol/claim"}}],"system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown","not_medical_advice":true},"_explain":{"feature":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","why":"Every feature is auditable collective intelligence","how":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","model":null,"verifies":null,"urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/voxels","write":"https://miscsubjects.com/api/protocol/claim"},"imessage":null,"router":null,"related":[{"id":"constitution","what":"Binding rules: required article slots, claim/source rules, ontology anti-sprawl."},{"id":"sources_ledger","what":"Hash-chained cited sources; verify integrity at GET .../sources."},{"id":"claim_post","what":"Prompt-injection style POST — one claim voxel with who_claims + posted_by."}],"not_medical_advice":true},"slug":"nogo-n02","voxels":[{"id":"c1","text":"Arrow's Impossibility Theorem states that no rank-order voting system can simultaneously satisfy unrestricted domain, non-dictatorship, Pareto efficiency, independence of irrelevant alternatives, and collective rationality when three or more options exist.","tier":"human","section":"The Logic","status":"active","source_ids":["s1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"s1","source_type":"book","hash":null}],"why_material":"This is the core theorem statement. It establishes the fundamental limit on fair voting systems."},{"id":"c2","text":"When three or more options exist, adding a third candidate can flip the winner between two original candidates, violating independence of irrelevant alternatives.","tier":"human","section":"The Logic","status":"active","source_ids":["s1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"s1","source_type":"book","hash":null}],"why_material":"Demonstrates the IIA violation with a concrete example."},{"id":"c3","text":"With three voters and three options, Condorcet cycling can occur where no candidate beats all others head-to-head, forcing either infinite cycling or a false winner.","tier":"human","section":"The Logic","status":"active","source_ids":["s1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"s1","source_type":"book","hash":null}],"why_material":"Shows the structural consequence of the theorem."},{"id":"c4","text":"Kenneth Arrow published the proof of the impossibility theorem in 1951 in Social Choice and Individual Values.","tier":"human","section":"The Evidence","status":"active","source_ids":["s1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"s1","source_type":"book","hash":null}],"why_material":"Establishes the historical origin and primary source of the theorem."},{"id":"c5","text":"Arrow was awarded the Nobel Prize in Economic Sciences in 1972 for his contributions to social choice theory.","tier":"human","section":"The Evidence","status":"active","source_ids":["s2"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"s2","source_type":"award","hash":null}],"why_material":"External validation of the theorem's significance through the Nobel Prize."},{"id":"c6","text":"Amartya Sen extended Arrow's theorem in 1970, showing that even minimal liberalism creates impossibility results (the impossibility of a Paretian liberal).","tier":"human","section":"The Evidence","status":"active","source_ids":["s3"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"s3","source_type":"paper","hash":null}],"why_material":"Important extension showing the theorem's scope extends beyond voting to rights and liberalism."},{"id":"c7","text":"Cardinal utility methods such as range voting, scoring rules, and markets escape Arrow's ordinal framework but aggregate monetary value rather than individual preference.","tier":"human","section":"The Uncertainty","status":"active","source_ids":[],"posted_by":null,"who_claims":null,"edges":[],"why_material":"Documents a known escape hatch from the theorem and its limitation."},{"id":"c8","text":"Iterative deliberation escapes Arrow's theorem because discussion changes preferences, though this introduces power dynamics rather than pure reason.","tier":"speculative","section":"The Uncertainty","status":"active","source_ids":[],"posted_by":null,"who_claims":null,"edges":[],"why_material":"Explores a practical but messy escape from the theorem's constraints."},{"id":"c9","text":"Probabilistic voting rules partially escape the impossibility result but dictatorship conditions still persist in the mathematics.","tier":"human","section":"The Uncertainty","status":"active","source_ids":[],"posted_by":null,"who_claims":null,"edges":[],"why_material":"Notes a mathematical relaxation that does not fully eliminate the theorem's force."},{"id":"c10","text":"AI safety faces Arrow's problem when attempting to align models with human values across diverse stakeholders.","tier":"speculative","section":"The Uncertainty","status":"active","source_ids":[],"posted_by":null,"who_claims":null,"edges":[],"why_material":"Connects the classical theorem to a contemporary high-stakes domain."}],"sources":[{"id":"s1","type":"book","url":"https://en.wikipedia.org/wiki/Social_Choice_and_Individual_Values","title":"Social Choice and Individual Values","quote":"Arrow proved the impossible. No system satisfies all five when three or more options exist.","summary":"Arrow's foundational 1951 work proving the impossibility theorem in social choice theory.","claim_ids":["c1","c2","c3","c4"]},{"id":"s2","type":"award","url":"https://www.nobelprize.org/prizes/economic-sciences/1972/summary/","title":"Nobel Prize in Economic Sciences 1972","quote":"Arrow won the Nobel Prize in 1972. The mathematics is absolute.","summary":"Arrow's 1972 Nobel Prize recognizing his work on social choice theory and general economic equilibrium.","claim_ids":["c5"]},{"id":"s3","type":"paper","url":"https://www.jstor.org/stable/1830193","title":"The Impossibility of a Paretian Liberal","quote":"Amartya Sen extended Arrow in 1970. He showed that even minimal liberalism creates impossibility.","summary":"Sen's 1970 extension of Arrow's theorem demonstrating conflict between individual rights and Pareto efficiency.","claim_ids":["c6"]}],"edges":[{"from":"c1","type":"supported_by","target":"s1","source_type":"book","hash":null},{"from":"c2","type":"supported_by","target":"s1","source_type":"book","hash":null},{"from":"c3","type":"supported_by","target":"s1","source_type":"book","hash":null},{"from":"c4","type":"supported_by","target":"s1","source_type":"book","hash":null},{"from":"c5","type":"supported_by","target":"s2","source_type":"award","hash":null},{"from":"c6","type":"supported_by","target":"s3","source_type":"paper","hash":null}],"counts":{"voxels":10,"sources":3,"edges":6},"constitution_url":"/api/articles/constitution","ontology_url":"/api/articles/ontology","system_map_url":"/api/articles/system-map","claim_post":"POST /api/protocol/claim"}