1: \begin{proof}

2:     An instance is self-certifying if whenever the maximum value is achieved for the utility function $f$, it is achieved for all realizations consistent with the observation. See~\cite{golovin_adaptive_2011} for a more rigorous definition. Golovin and Krause point out that any instance which only depends on the state of items in $A$ is automatically self-certifying (Proposition $5.6$ in~\cite{golovin_adaptive_2011}.) That is the case here, since the objective function $f = \min\left\{ Q, 1 - M_{\partialrealization_A} \right\}$ only depends on the outcome of actions in $A$. Therefore, our instance is self-certifying.

3: \end{proof}

4: