В модуле "Мета-AI DSL" ФА, где уже полгода даю базу по заветам Алана Кэя,
прихватил ровно по этой темке свежие июльские материалы одной из топовых консалтинговых ИТ-фирм.

А вроде же эти пацаны у меня не занимались :) А чуть ли не цитируют мои материалы c модуля:

Тестирование как верификация
Суть подхода Алана Кэя
Суть DSL
DSL и формальная семантика
Главный принцип DSL
Уровни иерархии DSL
Погружаемся в трансляцию DSL
Почему DSL -- это (пока) искусство
DSL и математика домена
DDD + метапрограммирование + LLM как компилятор
Многоуровневая спецификация для AI
Спецификация это не контракт

Ну так то, LLM -- это языковая моделька, и конечно ей (полу)формальный язык предметки заходит очень хорошо. Достаточно буквально пары примеров!!1

Разбираем пример домена "Распределённые системы" (Replica, Network, Storage, Clock), строим компилируемый DSL для сценариев тестирования.

DSL + семантическая модель = идеальный минималистичный харнес, и не надо больше ничего выдумывать.