Я ссылаюсь на этот ответ (внимание мое):
Посмотрите атрибуты ContractClass и ContractClassFor. Это позволяет писать классы с кодовыми контрактами в отдельных сборках. Это позволяет вам иметь контракты для работы dev, не загромождать ваш код и также означает, что вам не нужно развернуть контракты с помощью живого кода
Почему вы не хотите, чтобы контракты были развернуты?
Существуют ли контракты с точки зрения наилучшей практики, строго для разработки и контроля качества?
Обычно вы не хотите разворачивать контракты на постсоединения в сборках релизов. Это делается для того, чтобы вы не сталкивались с людьми, использующими ваши сборки, с ошибками, которые вы несете ответственность. Я уверен, что есть и другие причины, но это первый, который мне кажется.
В настоящее время нет единственной точки обзора лучшей практики, о которой я знаю, касающейся кодовых контрактов. Существуют различные способы использования кодовых контрактов (которые описаны в Руководстве пользователя по кодовым контрактам), и каждый из них имеет свои конкретные рекомендации.
Ответ, на который вы ссылаетесь, также не совсем корректен, как я уже сказал в комментариях.