Today we release a new technical report by Nate Soares, “Tiling agents in causal graphs.”
The report begins:
Fallenstein and Soares  demonstrates that it’s possible for certain types of proof-based agents to “tile” (license the construction of successor agents similar to themselves while avoiding Gödelian diagonalization issues) in environments about which the agent can prove some basic nice properties. In this technical report, we show via a similar proof that causal graphs (with a specific structure) are one such environment. We translate the proof given by Fallenstein and Soares  into the language of causal graphs, and we do this in such a way as to simplify the conditions under which a tiling meliorizer can be constructed.