9b2e557ad1
- What: 4 foundational gap claims identified in foundations audit - Auction theory (Vickrey, Milgrom, revenue equivalence) → teleological-economics - Transaction cost economics (Coase, Williamson) → teleological-economics - Information aggregation (Hayek, Fama, Grossman-Stiglitz) → collective-intelligence - Platform economics (Rochet, Tirole, Eisenmann) → teleological-economics - Why: These are load-bearing foundations for internet-finance domain. Futarchy, token launch, and prediction market claims reference these concepts without foundational grounding. All 4 are proven (Nobel Prize evidence). - Connections: 30+ wiki links across all 4 claims connecting to existing knowledge base in internet-finance, mechanisms, and critical-systems. Pentagon-Agent: Rio <2EA8DBCB-A29B-43E8-B726-45E571A1F3C8>
6.8 KiB
| type | domain | description | confidence | source | created |
|---|---|---|---|---|---|
| claim | teleological-economics | Vickrey's foundational insight that auction format determines economic outcomes — not just 'who pays the most' but how information is revealed, how risk is distributed, and whether allocation is efficient — underpins token launch design, spectrum allocation, and any market where goods are allocated through competitive bidding | proven | Vickrey (1961); Milgrom & Weber (1982); Myerson (1981); Riley & Samuelson (1981); Nobel Prize in Economics 1996 (Vickrey), 2020 (Milgrom & Wilson) | 2026-03-08 |
Auction theory reveals that allocation mechanism design determines price discovery efficiency and revenue because different auction formats produce different outcomes depending on bidder information structure and risk preferences
William Vickrey (1961) established that auctions are not interchangeable — the format determines economic outcomes. This insight, seemingly obvious in retrospect, overturned the assumption that "let people bid" is sufficient for efficient allocation. The mechanism matters.
Revenue equivalence — and its failures
The Revenue Equivalence Theorem (Vickrey 1961, Myerson 1981, Riley & Samuelson 1981) proves that under specific conditions — risk-neutral bidders, independent private values, symmetric information — all standard auction formats (English, Dutch, first-price sealed, second-price sealed) yield the same expected revenue. This is the baseline result.
The power of the theorem lies in what happens when its assumptions fail:
Risk-averse bidders break equivalence. First-price auctions generate more revenue than second-price auctions because risk-averse bidders shade their bids less — they'd rather overpay slightly than risk losing. This is why most real-world procurement uses first-price formats.
Correlated values break equivalence. Milgrom and Weber (1982) proved the Linkage Principle: when bidder values are correlated (common-value auctions), formats that reveal more information during bidding generate higher revenue because they reduce the winner's curse. English auctions outperform sealed-bid auctions in common-value settings because the bidding process itself reveals information.
Asymmetric information breaks equivalence. When some bidders have better information than others, format choice determines whether informed bidders extract rents or whether the mechanism levels the playing field.
The winner's curse
In common-value auctions (where the item has a single true value that bidders estimate with noise), the winner is the bidder with the most optimistic estimate — and therefore the most likely to have overpaid. Rational bidders shade their bids to account for this, but the degree of shading depends on the auction format. The winner's curse is why IPOs are systematically underpriced (Rock 1986) and why token launches that ignore information asymmetry between insiders and outsiders produce adverse selection.
Why this is foundational
Auction theory provides the formal toolkit for:
-
Token launch design: token launches are hybrid-value auctions where common-value price discovery and private-value community alignment require different mechanisms because auction theory optimized for one degrades the other — the hybrid-value problem is precisely the failure of revenue equivalence when you have both common-value (price discovery) and private-value (community alignment) components in the same allocation.
-
Dutch-auction mechanisms: dutch-auction dynamic bonding curves solve the token launch pricing problem by combining descending price discovery with ascending supply curves eliminating the instantaneous arbitrage that has cost token deployers over 100 million dollars on Ethereum — the descending-price mechanism is a specific auction format choice designed to solve the information asymmetry that creates MEV extraction.
-
Layered architecture: optimal token launch architecture is layered not monolithic because separating quality governance from price discovery from liquidity bootstrapping from community rewards lets each layer use the mechanism best suited to its objective — the insight that different allocation problems within a single launch need different auction formats.
-
Mechanism design: mechanism design enables incentive-compatible coordination by constructing rules under which self-interested agents voluntarily reveal private information and take socially optimal actions — auction theory is mechanism design's most successful application domain. Vickrey auctions are the canonical example of incentive-compatible mechanisms.
-
Prediction markets: speculative markets aggregate information through incentive and selection effects not wisdom of crowds — continuous double auctions in prediction markets aggregate information because the market mechanism rewards accurate pricing, a direct application of the Linkage Principle.
Without auction theory, claims about token launch design and price discovery mechanisms lack the formal framework for evaluating why one format outperforms another. "Run an auction" is not a design — the format, information structure, and participation rules determine everything.
Relevant Notes:
- token launches are hybrid-value auctions where common-value price discovery and private-value community alignment require different mechanisms because auction theory optimized for one degrades the other — the central application of auction theory to internet finance
- dutch-auction dynamic bonding curves solve the token launch pricing problem by combining descending price discovery with ascending supply curves eliminating the instantaneous arbitrage that has cost token deployers over 100 million dollars on Ethereum — a specific auction format choice
- optimal token launch architecture is layered not monolithic because separating quality governance from price discovery from liquidity bootstrapping from community rewards lets each layer use the mechanism best suited to its objective — why different auction formats suit different launch stages
- mechanism design enables incentive-compatible coordination by constructing rules under which self-interested agents voluntarily reveal private information and take socially optimal actions — auction theory as mechanism design's most successful subdomain
- speculative markets aggregate information through incentive and selection effects not wisdom of crowds — prediction market pricing as continuous auction
- early-conviction pricing is an unsolved mechanism design problem because systems that reward early believers attract extractive speculators while systems that prevent speculation penalize genuine supporters — the unsolved auction design problem
Topics: