> it's still abstraction by definition

I dislike arguing semantics but I bet it's not an abstraction by most engineers' definition of the word.

If this is true then a PMs jira tickets are an abstraction over an engineers code. It's not necessarily wrong by some interpretations but is not how the majority of engineers would define the word.