Module mechanism 

Mechanism design: individual rationality, budget balance, VCG payments, and strategy-proofness checks.

Allocation class: HotZeroHeap. No Vec/String/Box in any kernel.

Assumptions:

• Quasilinear utility: u_i = v_i(allocation) - payment_i.
• Private values (each agent knows their own valuation).
• Risk-neutral agents.

Structs

MechanismReport

Mechanism property report.

Enums

MechanismError

Constants

MAX_AGENTS

Maximum agents in a bounded mechanism.

Functions

check_budget_balance

Check budget balance: returns (is_balanced, net_transfer).

check_individual_rationality

Check individual rationality: every agent’s payment must be <= their valuation (no agent loses by participating).

check_strategy_proofness_2x2

Check strategy-proofness for a 2-agent, 2-type mechanism using precomputed allocation and payment tables.

mechanism_report

Compute a mechanism report: IR, budget balance, total payment, and surplus.

vickrey_clarke_groves_payment_into

VCG (Clarke pivot) payment for single-item allocation to highest bidder.