Идея -- Топологически-Ориентированное Проектирование (ТОП).
На основе HoTT сделать логический фреймворк, в рамках которого можно будет формально описывать и проектные требования, и конкретные архитектурные и софт-дизайнерские аспекты.

То есть предоставляется математически целостный формальный набор инструментов, который можно будет применять на самых разных уровнях: на этапе анализа, проектирования и реализации. Принципиально важно, что эти инструменты не просто какие-то эвристики программной инженерии, а математические абстракции, увязывающиеся друг с другом в систему с мощнейшим потенциалом.

И мы получим в итоге (достаточно) формальную спецификацию, на основе которой в идеальном случае можно будет автоматически сгенерировать код вместе с, например, триплами Хоара, а как минимум, будет прекрасное ТЗ для AI.

Мой курс вайб-проектирование уже неплохо работает, вчерашний отзыв:

Я прошёл курс по вайб-кодингу и сразу стал применять этот подход в одном из своих проектов в комбинации с BDD.
С помощью Qwen3 по шагам выполняю преобразования:
[ ... ]
Раньше я использовал ИИ как замену Google и StackOverflow. Теперь он превратился для меня в инструмент, которому не было аналогов. Вместо поиска информации ИИ выполняет часть работы: часть того, что он выдаёт сохраняется в проекте в той или иной форме.

По сути, должно получиться этакое усиленное BDD до уровня языков формальных спецификаций наподобие TLA+, или даже модел-чекинг (возможно, следующий сериал будет о нём :).

Ключевая фишка в том, что мы делаем не просто описания тест-кейсов на Gherkin как в голову взбрело самому умненькому/опытненькому (а вдруг такого нету?), а используем для этого строго ограниченный набор инструментов ТОП.

То есть, БАЗА: по сути, мы исходно имеем набор жёстких ограничений ТОП, который нам указывает что НЕ надо делать, и таким образом пространство возможных решений сокращается от бесконечности как сегодня в мейнстриме, до очень ограниченного количества возможностей, которое просчитает любой шахматист-второразрядник.

Причём здесь нету никаких конфликтов с эволюционным подходом, даже наоборот. Просто на каждом шаге на каждой итерации мы получаем крайне ограниченную возможность выбора последующих шагов (в идеале один). Ну как примерно когда вы пишите строку кода cтатической типизации, и чем ближе вы к концу инструкции, тем меньше количество возможностей вам предлагает автозаполнитель.

То есть ТОП это по сути просто такой набор гармонично связанных мета-понятий, которые мы используем при создании Gherkin-сценариев (да или любого другого DSL, по Алану Кэю), и который по определению никогда не даст вам свернуть не туда.

Мы не пишем сперва некоторый сценарий, а потом подыскиваем, что бы ему подошло из понятий ТОП, а сначала формулируем соответствующее множество понятий под задачу, и уже затем в рамках строгих соответствующих ограничений пишем словесные описания.

Ну вот, навскидку, скриншоты возможных сценариев (писал AI, и на таком уровне Клод 4 например будет очень хорошим ассистентом)

(знаете кстати, как можно быстро понять что текст писал AI? он любит начинать фразы с "Это...")