Если в вашем ТЗ больше сотни страниц, то в этом ТЗ будут противоречия. При этом нет никакой методики, которая бы позволила доказать непротиворечивость ТЗ. Вам могут пообещать, что проверили все тезисы и гипотезы в ТЗ, но доказать или написать тест на непротиворечивость нельзя. Фактически вы всегда подписываете ТЗ с противоречиями.