Formal Analysis of AGI Decision-Theoretic Models and the Confrontation Question. - Denis Saklakov (CoRR, 2026)