Just when you thought that this would be some DARPAtoTLAneverdisclosed true solution, suddenly it’s out in the open: here.
Indeed, auto-debug it is. Good’ness, questionable is. But that can now improve rapidly to the benefit of all. The link to abuse at functional levels, unresolved.
And, for your viewing pleasure:
[Is that pole a bug or a feature ..? L. Mies van der Rohe at Barça, obviously]