It is certainly unkind, when a developer asserts the opposite of what you have assumed about their code, to double down and imply they are lying.