Auditing

What an audit can learn from a learner it cannot see inside.

• MTH.C-2026-6015AuditCP.auditBlind_finiteTrajectory_goodhart

  If every candidate's loss is measurable and a.e. valued in [a, b] under Q, every training-generated trajectory is admissible for F, and the resulting uniform-deviation failure event is measurable, then on an i.i.d. panel of size n drawn from Q, measured cumulative empirical-loss progress exceeds population-loss progress by more than 2 · deltaFiniteExperts (card ι) n (b - a) δ with probability at most ENNReal.ofReal δ.

• MTH.C-2026-6016AuditCP.blackwellEquivalent_publicOnly_iff_auditSealed

  F2 — given A nonempty, BlackwellEquivalent (learnerExperiment K) publicOnlyExperiment ↔ AuditSealed K (blackwell1953).

• MTH.C-2026-6017AuditCP.auditSealed_iff_no_binary_decision_advantage

  F3 — AuditSealed K ↔ ∀ s a a', equalPriorBayesError (K (s, a)) (K (s, a')) = 1/2.