... Просили привести более мэйнстримовский пример для lvl 4 (пути между путями между путями между путями).

На четвёртом уровне абстракции мы можем рассматривать мета-методологии разработки программного обеспечения, и их преобразования.

Имеются два разных подхода к выбору архитектурных решений (которые сами по себе пути третьего уровня):
1. Эволюционный подход: постепенный переход от одной архитектуры к другой по мере роста проекта. Например, плавный переход от простого слоя доступа к данным к многоуровневой архитектуре с дженериками.
2. Трансформационный подход: полное переопределение архитектуры при переходе на новые технологии. Например, радикальная смена подхода при миграции с монолитной архитектуры на микросервисную (а если захотим 💯 вернуться обратно, у нас должна быть уже реализована операция инверсии -- в смысле её полноценного встраивания в подход с самого начала).

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

В контексте гомотопической теории типов этот путь lvl 4 представляет собой формализацию "равенства между способами установления равенства между способами установления равенства" -- своего рода мета-мета-мета-абстракцию, которая позволяет связывать различные парадигмы разработки на высоком уровне.


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


p.s. ладно, насчёт вчерашнего lvl 5 применительно к криптографии, завтра таки расскажу, что это такое может быть: битва между метаподходами.
Например,
сюръективный морфизм алгебраических групп с конечным ядром
vs
дифференциальный криптоанализ алгебраических структур шифров.

p.p.s. Кто проходил мой курс по солверу Z3, попробуйте решить задачку с картинки, будет забавно.