does it insist on formally-verified self improvements. Does it try understanding its mushy, hazy goal system so as to avoid reifying something it would regret given its current goals.

Apparently not. If it did do these things perfectly, it would not be what we are here calling the "heuristic AI."