@ni_nad Indeed! One of my Paulisms is that a bug is a mismatch between expectation and actual behavior, and there are thus no bugs unless there are expectations.
(Among other things, this helps explain why unchanged code can acquire new bugs, why “bit rot” is real: even if code doesn’t change, context does.)