Питуитарий может взять кодовый diff и проверить, не конфликтует ли он с принятой спецификацией, прежде чем это изменение будет объединено.
Этот нюанс изменил то, как я думаю о проведении исследований протокола вроде Dusk, потому что чтение того, что система должна делать, позволяет понять лишь наполовину.
Dusk построил Питуитарий после того, как внутри себя столкнулся со «сносом» спецификаций: решения, терминология и реализация со временем могут перестать согласовываться по мере развития кодовой базы. Инструмент индексирует зафиксированное намерение, может отмечать изменения в реализации, которые ему противоречат, и может прослеживать, какие связанные области затрагиваются, когда решение меняется. По умолчанию он ещё и детерминирован. Для меня это создаёт полезный стресс‑тест для исследования протокола: если я формирую вывод на основе архитектурного утверждения, мне нужен способ заметить, когда код сдвинулся, а само утверждение — нет.
Спецификация может описывать предполагаемую систему.
Реализация определяет, всё ли это описание по‑прежнему верно.
Этот разрыв стоит проверять.
@Dusk $DUSK #dusk