Meta: I would recommend distinguishing between citation-notes and content-notes. Scrolling a long way down to find a citation is annoying and distracting, but so is the feeling that I might be missing some content if I don’t scroll down to look.
Apologies if this has been brought up before.
I may be misreading, but I don’t see how Eliezer’s eval is broken. It can choose between a faithful evaluation and one in which inner calls to eval are replaced with a given value. That’s more powerful than standard.