A model of UDT with a halting oracle — AI Alignment Forum