А ТЗ и то и другое. И вообще в программировании по моему мнению нет понятия некорректно - программа работает так как написали ТЗ другое дело что при написании ТЗ разработчик мог что-то не описать подумав что это и так ясно а в итоге то что ожидает заказчик не соответствует тому что он хотел тк умолчания разработчик реализовал по другому. Вообще-то мне странно что приходиться писать про такие азы программирования.

Это конечно за исключением когда программист просто не корректно написал программу, допустив просто расхождение с ТЗ.