https://towards-alignment.com/cards/reference/nayebi2025core/
Nayebi, 2025 — Core Safety Values for Provably Corrigible Agents | Towards Superintelligence...
Lexicographic utility-head formalism for provably corrigible off-switch behavior.
coresafetyvaluesprovablycorrigible