mechanism-design #

Blocky green-on-black animation showing how private types tᵢ feed into a mechanism M=(S,g), producing an outcome that should match the desired social choice function f(t). The visualization cycles through: (1) the goal f:T→O, (2) implementation via equilibrium play, (3) the revelation principle via a direct truthful mechanism, and (4) feasibility checks requiring Incentive Compatibility (IC) and Individual Rationality (IR).

canvasclick to interact

⏮◀◀▶▶STEP0.25x1xZOOM

t=0s

practical uses #

01.Auction design (e.g., Vickrey/VCG) where truthful bidding is optimal
02.Regulatory and policy design (taxes/subsidies) to induce desired behavior under private information
03.Platform/marketplace rules (matching, fees) that ensure participation (IR) and reduce manipulation (IC)

technical notes #

Single self-contained Canvas2D draw function with a 4-stage loop (~4.2s). Uses snapped coordinates for a retro blocky aesthetic, eased arrow progress, and a simple toy misreport/utility model to illustrate IC/IR pass-fail states. Responsive scaling via scale=Math.min(w,h)/baseSize.

← causal-inference topological-sort →