I'm not, I'm thinking of poorly engineered systems that display buggy, unintended behaviors at runtime.

> observably in compliance with the spec

That's so easy to say and so incredibly hard to implement! Most unintended behaviors will never end up being prohibited/defined in the specification written by non-programmers.

The act of translating requirements from human language into well-defined semantics is what programming is.