A planner chooses an allocation of a divisible resource and charges agents based on their reported type. We discover and describe the set of dominant-strategy incentive-compatible (strategy-proof) mechanisms when the planner has the ability to observe the true type of agents ex-post and punish...