пытаясь найти исключение в пересечении множеств, ты получил логическое противоречие между этой частью:
| Проводки.date_time_docid between :НачДата and :КонДата
и этой
| (Проводки.dtsc1 IS NULL)
select
$Спр.Договор [Дог $Справочник.Договоры]
from
$Справочник.ДоговорыОПС as Спр (nolock)
where
$ПоследнееЗначение.ДоговорыОПС.СостояниеДоговора(Спр.ID,:Дат) = :Сост1
AND $Спр.Договор Not IN (
SELECT
Проводки.dtsc1
FROM
_1sentry as Проводки (nolock)
....
WHERE
....
)
будет понятнее.
Да, и sum(Проводки.sum_) в селекте выглядит по меньшей мере странно, учитывая поставленную задачу.