Ты совершаешь ошибку, деля весь мир на чёрное и белое. "Не слепо доверяю" -- не значит "доверяю потому, что имею математическое доказательство." Математического доказательства о каких-либо свойствах реального мира ты не получишь никогда.
Воспроизводимая сборка позволяет тебе, например, проводить выборочные проверки пакетов раз в год -- выбираешь в случайный день года, случайную сотню бинарей и проверяешь. Если ты увидишь расхождения -- это будет свидетельством в пользу наличия закладок. Если не увидишь, то свидетельством в пользу отсутствия. Если ты возьмёшь в руки теорвер, ты сможешь даже оценить весомость этого свидетельства.
Если тебе этого мало, ты можешь мониторить интернет. Вселенная в которой существуют закладки в дебиане, закладываемые системой сборки, будет отличаться от Вселенной, в которой таких закладок нет. Если ты попробуешь представить обе, то ты увидишь эти различия и даже сможешь выработать для себя методику поиска в интернете признаков того, что ты находишься в первой или во второй.
Эти подхода можно использовать по-отдельности или их можно сочетать -- это уж как больше нравится. Второй даст гораздо более достоверные результаты, но только если ты веришь, что в интернете достаточно энтузиастов проверяет пакеты, и не только популярные, но так же и слабопопулярные, которые ты тем не менее используешь.