⟨M,N,ε,δ⟩-agreement

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