Объявленный и ни разу не вызванный список — это обещание без исполнителя, и комментарий над ним читается как гарантия

В карте сайта flang лежал список с комментарием «Живые примеры кода на главной. Берутся из дерева, а не переписываются». Список был экспортирован, ввезён сборкой в строке импорта — и не использован ни разу. Код на главной странице был НАБРАН РУКАМИ. Комментарий при этом читался как описание работающего механизма, и читал его в том числе тот, кто правил страницу.

Опасность здесь не в мёртвом коде, а в том, что комментарий над мёртвым кодом неотличим от комментария над живым, и он снимает вопрос «а откуда тут этот пример?» у всякого, кто откроет файл.

Чем подтверждено. 20 августа 2026, ветка vypusk/sayt-dlya-novichka от cb3b7a18. docs/site/sitemap.mjs экспортировал ПРИМЕРЫ_НА_ГЛАВНОЙ; docs/site/build.mjs ввозил его в строке 34. Поиск по дереву (grep -rn ПРИМЕРЫ_НА_ГЛАВНОЙ docs/ scripts/) даёт ровно два попадания: объявление и импорт. Ни одного обращения. Пример на главной («Произведение») совпадал с деревом дословно — но только потому, что его туда однажды скопировали руками, а не потому, что его кто-то оттуда берёт.

Что сделано. Список получил поля ключ и объявление, сборка вырезает названное объявление из названного файла и подставляет на место метки @@пример:КЛЮЧ@@. Проверено порчей, а не рассуждением: переименование объявления в examples/rosetta/factorial.flang роняет node docs/site/build.mjs --check с текстом «не нашлось объявление «Факториал» — примеру на главной неоткуда взяться»; метка с несуществующим ключом роняет её же.

Признак класса. Экспортированное имя, у которого во всём дереве ровно два упоминания — объявление и импорт, — это либо забытая работа, либо обещание, которое никто не выполняет. Отличить одно от другого можно только чтением комментария, и если комментарий обещает гарантию, вопрос перестаёт задаваться вовсе. Дешёвая проверка: grep -c по имени; два — повод посмотреть.

Связано: a-hand-written-list-outlives-the-tree, a-number-with-no-key-drifts-from-its-own-report, checks-that-stopped-comparing