{"_self":{"principle":"Self-explaining payload — no external context required. This _self block describes what you are reading and where to look next.","widget":"article_bundle","feature":"bundle","name":"LLM article bundle","what":"Paste-ready package: body + claims + sources + voxels + provenance + manifest + constitution.","contains":"body, claims, sources, voxels, provenance, question graph, constitution, llm_manifest","slug":"nogo-n02","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/bundle?format=markdown"},"how_to_use":"Paste into any LLM. Read §SELF first. Write back via ingest or claim endpoints in llm_manifest.","write":null,"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":"topology","name":"Article topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/topology"}},{"id":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/voxels","write":"https://miscsubjects.com/api/protocol/claim"}},{"id":"ask","name":"Ask protocol","what":"Answer only from topology; creates question_node with gaps and ingest_hint.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/prompts","write":"https://miscsubjects.com/api/protocol/ask"}},{"id":"ingest","name":"Ingest protocol","what":"Parse pasted evidence → source ledger + claims + evidence_ingest node.","urls":{"write":"https://miscsubjects.com/api/protocol/ingest"}},{"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"}},{"id":"llm_manifest","name":"LLM manifest","what":"Machine-readable read/write contract for external LLMs.","urls":{"read":"https://miscsubjects.com/api/articles/llm-manifest"}}],"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":"bundle","name":"LLM article bundle","what":"Paste-ready package: body + claims + sources + voxels + provenance + manifest + constitution.","why":"Every feature is auditable collective intelligence","how":"Paste into any LLM. Read §SELF first. Write back via ingest or claim endpoints in llm_manifest.","model":null,"verifies":null,"urls":{"read":"https://miscsubjects.com/api/articles/nogo-n02/bundle?format=markdown"},"imessage":null,"router":null,"related":[{"id":"topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER."},{"id":"voxels","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance."},{"id":"ask","what":"Answer only from topology; creates question_node with gaps and ingest_hint."},{"id":"ingest","what":"Parse pasted evidence → source ledger + claims + evidence_ingest node."},{"id":"claim_post","what":"Prompt-injection style POST — one claim voxel with who_claims + posted_by."},{"id":"llm_manifest","what":"Machine-readable read/write contract for external LLMs."}],"not_medical_advice":true},"bundle_version":1,"generated_at":"2026-07-04T22:32:41.678Z","slug":"nogo-n02","title":"Arrow's Impossibility Theorem","url":"https://miscsubjects.com/a/nogo-n02","register":"grain","tags":["nogo","grain","encyclopedia","limits"],"posted_at":"2026-07-04T18:56:00.788Z","updated_at":"2026-07-04T21:54:49.076Z","body":"# Arrow's Impossibility Theorem\n\n## The Claim\nYou cannot build a fair voting system. Arrow proved it. Any method that respects everyone's preferences either crowns a dictator or spits out nonsense.\n\n## Definitions\n- **Unrestricted domain**: Every possible preference ranking counts.\n- **Non-dictatorship**: No single voter always decides.\n- **Pareto efficiency**: If everyone prefers A, society prefers A.\n- **Independence of irrelevant alternatives**: Adding a loser does not flip the winner.\n- **Collective rationality**: Social choices form a consistent order.\n\n## The Logic\nYou want a voting system that never fails. Arrow wrote five rules. Every sane system should obey them. He proved the impossible. No system satisfies all five when three or more options exist.\n\nYou rank vanilla, chocolate, and strawberry. The group picks vanilla over chocolate. Then strawberry enters the race. Vanilla loses. The third candidate flipped the first two. This violates nothing and everything. Democracy carries a structural flaw.\n\nThree voters disagree. Alice ranks chocolate above vanilla above strawberry. Bob ranks vanilla above strawberry above chocolate. Carol ranks strawberry above chocolate above vanilla. No candidate beats all others head-to-head. Every option loses to someone. Yet someone must win. The system cycles forever or forces a false winner.\n\nYou cannot call this a bug. The geometry of disagreement guarantees this. You cannot aggregate diverse values without breaking something.\n\n## The Evidence\nArrow published his proof in 1951. He won the Nobel Prize in 1972. The mathematics is absolute.\n\nRome fell because senatorial preferences fragmented. No voting method could reconcile patrician and plebeian interests. The Republic collapsed into dictatorship. Arrow's theorem predicted this.\n\nSlavery survived because majority rule could not resolve the conflict. Slave states and free states cycled through compromises. Each compromise satisfied no one. The Civil War broke the cycle with blood.\n\nPonzi schemes exploit the same structure. Early investors prefer the scheme. Late investors prefer truth. The aggregate looks like consensus. Then collapse enters as the third option. The system flips.\n\nForest fires burn in cycles. The forest accumulates fuel. Fire consumes it. Regrowth begins again. No steady state exists. The system oscillates between incompatible states.\n\nTumors grow because cell signaling fails. Individual cells optimize for themselves. The body loses. The patient dies.\n\nAmartya Sen extended Arrow in 1970. He showed that even minimal liberalism creates impossibility. Two people cannot both have rights over personal choices if social preferences must remain consistent. Individual freedom and collective rationality clash.\n\n## The Falsifier\nBuild a rank-order voting system that satisfies all five conditions with three options. You cannot. The theorem is a mathematical proof. It stands forever.\n\nFind a group with three options where no cycle occurs. Such groups exist. Restrict the domain to single-peaked preferences. Most political debates violate this. The falsifier is real but narrow.\n\n## The Uncertainty\nCardinal utility escapes the theorem. Range voting, scoring rules, and markets use prices. They transform ordinal rankings into continuous values. The escape is partial. Prices aggregate dollars, not souls.\n\nIterative deliberation also escapes. Talking changes preferences. The theorem assumes fixed minds. Real minds shift. The escape is messy. Deliberation introduces power dynamics, not pure reason.\n\nProbabilistic voting rules partially escape. The mathematics loosens. But dictatorship still lurks. Every escape trades one limit for another.\n\nAI safety now faces this. Aligning a model with human values means aggregating preferences across stakeholders. Arrow's ghost haunts every constitutional assembly. The problem has no clean solution.","claims":[{"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","effective_weight":0.8,"source_ids":["s1"]},{"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","effective_weight":0.8,"source_ids":["s1"]},{"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","effective_weight":0.8,"source_ids":["s1"]},{"id":"c4","text":"Kenneth Arrow published the proof of the impossibility theorem in 1951 in Social Choice and Individual Values.","tier":"human","effective_weight":0.8,"source_ids":["s1"]},{"id":"c5","text":"Arrow was awarded the Nobel Prize in Economic Sciences in 1972 for his contributions to social choice theory.","tier":"human","effective_weight":0.8,"source_ids":["s2"]},{"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","effective_weight":0.8,"source_ids":["s3"]},{"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","effective_weight":0.8,"source_ids":[]},{"id":"c9","text":"Probabilistic voting rules partially escape the impossibility result but dictatorship conditions still persist in the mathematics.","tier":"human","effective_weight":0.8,"source_ids":[]},{"id":"c8","text":"Iterative deliberation escapes Arrow's theorem because discussion changes preferences, though this introduces power dynamics rather than pure reason.","tier":"speculative","effective_weight":0.12,"source_ids":[]},{"id":"c10","text":"AI safety faces Arrow's problem when attempting to align models with human values across diverse stakeholders.","tier":"speculative","effective_weight":0.12,"source_ids":[]}],"sources":[{"id":"s1","type":"book","url":"https://en.wikipedia.org/wiki/Social_Choice_and_Individual_Values","title":"Social Choice and Individual Values","summary":"Arrow's foundational 1951 work proving the impossibility theorem in social choice theory.","quote":"Arrow proved the impossible. No system satisfies all five when three or more options exist.","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","summary":"Arrow's 1972 Nobel Prize recognizing his work on social choice theory and general economic equilibrium.","quote":"Arrow won the Nobel Prize in 1972. The mathematics is absolute.","claim_ids":["c5"]},{"id":"s3","type":"paper","url":"https://www.jstor.org/stable/1830193","title":"The Impossibility of a Paretian Liberal","summary":"Sen's 1970 extension of Arrow's theorem demonstrating conflict between individual rights and Pareto efficiency.","quote":"Amartya Sen extended Arrow in 1970. He showed that even minimal liberalism creates impossibility.","claim_ids":["c6"]}],"voxels":{"slug":"nogo-n02","counts":{"voxels":10,"sources":3,"edges":6},"note":"slim bundle — full voxels at /api/articles/nogo-n02/voxels"},"constitution":{"url":"https://miscsubjects.com/api/articles/constitution"},"provenance":[],"contributions":[],"topology":null,"slim":true,"ledger_totals":{"claims":10,"sources":3,"exported_claims":10,"exported_sources":3},"question_graph":{"slug":"nogo-n02","questions":[],"evidence":[],"edges":[],"counts":{"questions":0,"evidence":0,"edges":0}},"verification":{"provenance":{"valid":true,"entries":0,"head":"genesis"},"sources":{"valid":false,"broken_at":0}},"counts":{"claims":10,"sources":3,"provenance":0,"contributions":0,"questions":0,"evidence_ingests":0,"voxel_edges":6},"llm_manifest":{"version":"1","site":"https://miscsubjects.com","purpose":"Peptide evidence articles with hash-chained source ledgers, tiered claims, and a question graph. LLMs should READ bundles/URLs and WRITE back via ingest — never invent doses.","read":{"human_page":"https://miscsubjects.com/a/nogo-n02","bundle_json":"https://miscsubjects.com/api/articles/nogo-n02/bundle","bundle_markdown":"https://miscsubjects.com/api/articles/nogo-n02/bundle?format=markdown","topology":"https://miscsubjects.com/api/articles/nogo-n02/topology","question_graph":"https://miscsubjects.com/api/articles/nogo-n02/question-graph","sources":"https://miscsubjects.com/api/articles/nogo-n02/sources","provenance":"https://miscsubjects.com/api/articles/nogo-n02/provenance","contributions":"https://miscsubjects.com/api/articles/nogo-n02/contributions","graph_topology":"https://miscsubjects.com/api/articles/nogo-n02/graph-topology?question={question}","voxels":"https://miscsubjects.com/api/articles/nogo-n02/voxels","constitution":"https://miscsubjects.com/api/articles/constitution","ontology":"https://miscsubjects.com/api/articles/ontology","system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown","health":"https://miscsubjects.com/api/articles/nogo-n02/health","repair":"POST https://miscsubjects.com/api/protocol/repair","list_articles":"https://miscsubjects.com/api/articles","graph_canvas":"https://miscsubjects.com/graph.html?slugs=nogo-n02","graph_yield":"https://miscsubjects.com/api/graph?slugs=nogo-n02&layer=yield","obsidian_vault":"https://miscsubjects.com/api/articles/obsidian-vault?slugs=nogo-n02","graph_query":"https://miscsubjects.com/api/v1/query?from=nogo-n02&kind=claim&where=tier=human"},"ask":{"description":"Answer only from topology; creates a question_node with gaps.","api":"POST https://miscsubjects.com/api/protocol/ask","body":{"slug":"{slug}","question":"string"},"imessage":"nogo-n02|your question","router_tag":"[ARTICLE_ASK]nogo-n02|question[/ARTICLE_ASK]","auth":"x-terminal-key header for API; iMessage/WhatsApp via miscsubjects build"},"ingest":{"description":"Parse pasted evidence → source ledger + claims + evidence_ingest node.","api":"POST https://miscsubjects.com/api/protocol/ingest","body":{"slug":"{slug}","evidence":"paste text","question_node_id":"optional qn_..."},"imessage":"ingest nogo-n02|q:{node_id}|paste evidence","router_tag":"[ARTICLE_INGEST]nogo-n02|evidence[/ARTICLE_INGEST]","tiers":["human","preclinical","anecdotal","mechanistic","speculative"]},"claim":{"description":"Prompt-injection style POST — one claim voxel with who_claims + posted_by provenance.","api":"POST https://miscsubjects.com/api/protocol/claim","body":{"slug":"{slug}","text":"one assertion","tier":"human|preclinical|anecdotal|mechanistic|speculative","who_claims":"study author, platform, or model id","source_ids":"optional [s1]"},"imessage":"claim nogo-n02|tier|assertion — who claims it?","router_tag":"[ARTICLE_CLAIM]nogo-n02|tier|assertion[/ARTICLE_CLAIM]","slots":["what_it_is","who_claims_what","what_is_known","what_is_unknown","mechanism","limitations","disclaimer"]},"tiers":{"human":0.8,"preclinical":0.5,"anecdotal":0.3,"mechanistic":0.3,"speculative":0.1},"invariants":["Self-explaining — every API JSON has _self; every paste widget has §SELF; root index at /api/articles/system-map","Append-only — revisions preserved at ?rev=n","Source chain verifies integrity, not truth","Answers must cite claim ids and source ids from topology","Not medical advice"],"constitution":{"version":1,"principle":"Articles are voxel graphs of claims — not prose blobs. Every assertion is a claim atom with tier, weight, source_ids, and posted_by provenance.","slots":[{"id":"what_it_is","required":true,"answers":"What is this peptide/stack/condition?"},{"id":"who_claims_what","required":true,"answers":"Who claims what — study authors, platforms, n=?"},{"id":"what_is_known","required":true,"answers":"What is known with tier labels (human/preclinical/anecdotal)"},{"id":"what_is_unknown","required":true,"answers":"What is NOT known — explicit gaps"},{"id":"mechanism","required":false,"answers":"Proposed mechanism (mechanistic tier only)"},{"id":"limitations","required":true,"answers":"Limits of evidence — no dose advice"},{"id":"disclaimer","required":true,"answers":"Not medical advice"}],"claim_rules":["One claim = one falsifiable assertion. No compound claims.","Every claim must declare tier: human|preclinical|anecdotal|mechanistic|speculative|system.","system tier = architecture/design axioms (not biological mechanism). Use for protocol self-definition.","Sourced claims must cite source_ids from the hash-chained ledger.","Unsourced claims must set source_status: unsourced and why_material.","posted_by is mandatory on every new claim (model id, human, or channel).","No medical advice, no doses, no 'you should take'.","Bad information is retracted (status:retracted), never deleted — retraction event stays on ledger.","Adversary challenges link via challenges[] / challenged_by[] — target may be downweighted.","Leaked secrets are scrubbed to [REDACTED:secret-leak] with scrub_events tombstone — honest audit trail."],"source_rules":["Every source is a voxel edge: type, url, exact quote, summary, found_by, accessed_at.","Sources hash-chain — prev/hash on append.","Anecdotal sources must name platform (reddit|x|youtube|imessage|user_entry)."],"ontology_rules":["Peptide articles (bpc-157, tb-500) are tree roots.","Condition articles (bpc-157-glp1-gut-damage) branch from peptides.","Stack articles (wolverine-stack-glp1) compose peptides — never duplicate peptide mechanism prose.","If an article has no parent embeds and is not a root peptide → sprawl candidate.","Misstep = duplicate scope with another slug; merge or reparent via embeds."],"post_protocol":{"claim":"POST /api/protocol/claim","source":"POST /api/protocol/sources","ingest":"POST /api/protocol/ingest","webhook":"POST /api/articles/<slug>/webhook {kind:claim|source}","imessage_claim":"claim {slug}|{tier}|your assertion — who claims it, source?","imessage_ingest":"ingest {slug}|evidence paste"}},"this_article":{"slug":"nogo-n02","url":"https://miscsubjects.com/a/nogo-n02","bundle_url":"https://miscsubjects.com/api/articles/nogo-n02/bundle?format=markdown"}},"api_urls":{"bundle":"https://miscsubjects.com/api/articles/nogo-n02/bundle","bundle_markdown":"https://miscsubjects.com/api/articles/nogo-n02/bundle?format=markdown","topology":"https://miscsubjects.com/api/articles/nogo-n02/topology","voxels":"https://miscsubjects.com/api/articles/nogo-n02/voxels","constitution":"https://miscsubjects.com/api/articles/constitution","ontology":"https://miscsubjects.com/api/articles/ontology","question_graph":"https://miscsubjects.com/api/articles/nogo-n02/question-graph","ask":"https://miscsubjects.com/api/protocol/ask","ingest":"https://miscsubjects.com/api/protocol/ingest","claim":"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"}}