Magnifica Humanitas
A Lean 4 analysis of AI-governance commitments · Release 1.1 · November 2026
The question
When an institution uses AI to make decisions affecting people, what makes its promised protections effective? Pope Leo XIV's encyclical Magnifica Humanitas asks to what extent human judgment, responsibility and dignity will be shaped by automated systems. This study examines how selected commitments addressing that question could work in practice.
What the study found
Through close reading and computer-checked examples, the study separates having a review procedure from allowing a person to challenge a decision, and having the power to correct a decision from actually applying that correction. Its practical result is a six-check framework:
- Identify who is responsible for the case.
- Examine the rule actually used.
- Accept a challenge from the affected person.
- Deliver the review finding to the office that can act.
- Apply the correction.
- Check the result.
The release
Release 1.1 contains a one-page summary, a six-page public report, and a technical paper with the models, proofs, assumptions and reproduction instructions.
Scope
The work formalizes selected commitments rather than the entire encyclical. Its checked examples concern defined models; they do not establish how a particular institution operates. Research and drafting were supported by ChatGPT (OpenAI).