If you’d told me when I started my career that the halting problem would be complicated by a piece of software deciding it doesn’t feel like stopping, I might’ve picked a different career.
Two recurring failure modes have been coming up in this project. For a while I thought one of them was Crawford-Sobel signal degradation. It isn’t. Going down the rabbit hole to falsify my hypothesis has proven interesting. One may involve Goodhart-like proxy optimization. Both involve unpriced false positives (the bots produce garbage because nothing has penalized them for not doing so) and inadequate stopping criteria (the bots just keep producing garbage without end).
So let’s talk about that a bit.

