Definition. Independent refinement audit [ftip-00D3]
Definition. Independent refinement audit [ftip-00D3]
Let \(Z_n\in \{0,1\}\) indicate whether the proposal \(\widetilde h_{n+1}\) of Definition [ftip-00CZ] is contaminated under the declared contract. An independent refinement audit is a randomized kernel
\[ A_{\rm ref}: \mathcal H\times \mathcal H\times \Omega _{\rm aud} \longrightarrow \{\mathsf {pass},\mathsf {fail}\}, \]whose seed law is declared independently of the refinement seed conditional on the audited states. Its conditional false-negative rate is
\[ \eta _{\rm fn} = \Pr \left ( A_{\rm ref}(h_n,\widetilde h_{n+1},\omega _n^{\rm aud})=\mathsf {pass} \mid Z_n=1 \right ). \]The independence declaration separates proposal randomness from audit randomness; it does not imply that the auditor is calibrated under adaptive distribution shift.