Predecessor Detection, Classification, and Assistance (PreDCA) is an AI alignment protocol due to Vanessa Kosoy. It depends on the infra-Bayes framework.
The attendant mathematics is contained in this sequence on Alignment Forum. Unfortunately there is a rather large gap between The Sequence (written at the level of a graduate textbook) and the various talks/explainers/intuition pumps that already exist.