> They don't lie, because they don't ever have an understanding of truth vs any other language that sounds good.

I'm here for this semantic discussion. I think that premature anthropomorphization is a problem.

I have a program that I assigned a task to. The task is to produce unit tests and integration tests that get complete coverage of the codebase, and ensure that all tests pass. The program reported that it completed the task fully.

In a word, how do you convey the discrepancy between truth and reported fact? In a word, how do you convey the violation of rules presented to the program as invioble?