🛑 Спеки VS Факты. — 21 мая 2026 г. в 04:46:06.973
🛑 Спеки VS Факты. Эпоха Spec-Driven Development (SDD), едва успев расцвести, начала угасать. Если вы сейчас внедряете Spec Kit, Kiro или OpenSpec, остановитесь и посмотрите на данные: интерес к SDD упал вдвое всего за два месяца. Спецификация — это не контракт с моделью. Это лишь ваше предсказание о поведении модели. Почему SDD устарело и что идет ему на замену? Разбираем по пунктам: 1. 🎲 Проклятие недетерминизма Спека на естественном языке — это проза. А любая LLM, читая прозу, делает «статистическую выборку» смысла. Даже при `temperature 0.0` модели могут выдавать разные результаты из-за особенностей планирования батчей и вычислений с плавающей запятой. Исследования показывают: большие модели воспроизводят идентичный результат лишь в 12.5% случаев. 2. 🧪 Факт против интерпретации * Спека — это служебная записка, которую каждый «интерн» (новая версия модели) читает по-своему. * Факт — это исполняемое утверждение (тест, инвариант, контракт). Один и тот же тест, написанный в 2025 году, успешно проходит в Sonnet 3.5, 4 и Opus 4.5 без единого изменения. Спецификацию же на 1500 слов пришлось переписывать 4 раза под каждую новую модель. Факты не проходят через интерпретацию ИИ — они проходят через рантайм. 3. 🏛 Возврат к истокам (через 57 лет) «Facts-first» подход — это не революция, а синтез идей Хоара (1969), Бертрана Мейера (Design by Contract, 1992) и QuickCheck. Это математический контракт: «Если условие P верно до выполнения C, то условие Q должно быть верно после». 4. 🚦 Где SDD все еще нужен? Церемонии (спецификации) оправданы только там, где «процесс и есть продукт»: — Compliance и регуляции (ISO 26262, AI Act): где спека — это юридическое доказательство. — B2B интеграции: когда 500 инженеров из разных команд должны договориться. — Onboarding: люди читают документацию, а не только код. 🚀 План миграции на 90 дней: 1. Дни 1-30 (Аудит): Разделите спеки на «живые» (для людей) и «мертвые» (для ИИ). 2. Дни 31-60 (Пивот): Превратите инварианты из прозы в исполняемые контракты (Pact, Hypothesis, тесты). 3. Дни 61-90 (Гейт): Сделайте проверку фактов обязательным шагом в CI. Нет проходящего теста — нет мерджа. Итог: Модели меняются - факты остаются. Хотите стабильную архитектуру в эпоху ИИ? Перестаньте надеяться на «правильный промпт» в спецификации. Напишите один исполняемый факт уже сегодня. Что выберете вы: 6 страниц Markdown или один `exit code 0`? 👇 #SoftwareArchitecture #SDD #LLM #Engineering #Testing #CleanCode #FutureTech #SDLC