Re: "Does what it says in the code"
While you are mostly right, it actually is "Still does what is said in the previous code.", or "Compared to the previous code these behaviors changed". That totally unrelated to functional correctness, but still useful information. Those humans you are talking about can add this as another tool in their toolbox.