I am familiar with all of your listed sources (even attended one incarnation of the Érdi Gergő talk). Section 3.2 of the paper absolutely does not say that the

I am familiar with all of your listed sources (even attended one incarnation of the Érdi Gergő talk). Section 3.2 of the paper absolutely does not say that the result does not hold. The main point of the construction is that typed quoted representations can preserve totality by disallowing diagonal application. Interpreting untyped quoted representations is impossible all the same, which is what I said in grandparent post. I know Conor's views on total programming and share them, but the 2015 comment is not particularly relevant to the current topic, nor does it reflect on the folklore self-interpreter argument.