
A market is a theater of deception. When asked to declare the value of a resource, the rational agent will lie. They will understate their desire to lower the price, or overstate it to secure the prize, twisting the allocation of resources into an inefficient fiction. Honesty is a dominated strategy.
To extract the truth, the designer cannot rely on morality; they must alter the physics of the game. They must construct a mechanism where the only way to maximize personal gain is to reveal the exact, unvarnished truth.
The solution is not to charge the winner what they bid, nor to charge them the second-highest bid. The solution is to charge them the exact measure of the harm they inflict on the world. The mechanism calculates the total happiness of the system if the agent had never existed, and compares it to the happiness of the system with the agent present.
The difference is the social cost. The winner pays exactly the amount of value they denied to everyone else by taking the resource. By forcing the agent to internalize the exact externality of their existence, the mechanism aligns private greed perfectly with public truth, rendering deception mathematically useless.