I understand now. So UDT is secretly ambient control, expressed a notch less formally (without the concept of ambient dependence). It is specifically the toy examples you considered that take the form of what I described as “explicit updateless control”, where world-programs are given essentially parametrized by agent’s source code (or, agent’s decisions), and I mistook this imprecise interpretation of the toy examples for the whole picture. The search for the points from which the agent controls the world in UDT is essentially part of “mathematical intuition” module, so AlephNeil got that right, where I failed.
I understand now. So UDT is secretly ambient control, expressed a notch less formally (without the concept of ambient dependence). It is specifically the toy examples you considered that take the form of what I described as “explicit updateless control”, where world-programs are given essentially parametrized by agent’s source code (or, agent’s decisions), and I mistook this imprecise interpretation of the toy examples for the whole picture. The search for the points from which the agent controls the world in UDT is essentially part of “mathematical intuition” module, so AlephNeil got that right, where I failed.