In mechanism design with (partially) veriﬁable information, the revelation principle obtains in full generality if allocations are modelled as the product set of outcomes and veriﬁable information. Incentive constraints fully characterize the implementable set of these product-allocations. The revelation principle does not generally hold when an allocation is modelled as only an outcome. However, any outcome of an implementable product-allocation is also implementable under this restricted modelling, provided that the mechanism designer can expand communication by adding unveriﬁable messages and restrict communication by limiting the use of messages. A canonical representation of such mechanisms is presented, implying that an inalienable right of the agent to withhold evidence does not aﬀect implementability.
Strausz, Roland, "Mechanism Design with Partially Verifiable Information" (2016). Cowles Foundation Discussion Papers. 2491.