Signed Compression Progress on a Sealed Audit is Goodhart-Resistant

En 3 lignesUn article théorique prouve que la récompense basée sur la compression (diminution de la perte d'audit) résiste à Goodhart : si r_t = E(θ_{t-1}) - E(θ_t), la récompense cumulée converge exactement vers l'amélioration réelle de l'audit. Pour des panels finis, l'écart empirique est borné par 2Δ_n(F,δ). Les auteurs formalisent en Lean 4 et valident sur ARC-TGI.

Résumé généré par Claude — vérifié par l'humain