⟨M,N,ε,δ⟩-agreement

A generalization of Aumann's Agreement Theorem across $M$ objectives and $N$ agents, without assuming common priors. This framework also encompasses Debate, CIRL, Iterated Amplification as well. See Nayebi (2025) for the formal definition, and see From Barriers to Alignment to the First Formal Corrigibility Guarantees for applications.