Сократ и техдолг

«Я знаю, что ничего не знаю». — Сократ в передаче Платона, Апология, 21d.

Метод Сократа — майевтика — это искусство задавать вопросы так, чтобы собеседник обнаружил скрытые допущения собственного утверждения. Сократ ничего не утверждал сам. Он только спрашивал, и под напором вопросов собеседник видел, что то, что он считал знанием, было мнением, опиравшимся на непроверенное.

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

Техдолг как непровёденный сократический диалог

Техдолг — это не плохой код. Это хороший вчерашний код в сегодняшнем мире. Если бы мы сегодня писали ту же систему с нуля, мы бы выбрали другую архитектуру — но мы не пишем с нуля, потому что переписывать дорого, а допущения, на которых старая архитектура стояла, сменились бесшумно.

Сократ заметил бы: это не техническая проблема, это эпистемологическая. Команда думала, что знает, как будут эволюционировать требования. Сократ спросил бы: откуда вы это знаете? Если ответ — «нам так сказали», следующий вопрос: а они откуда знают? Через три-четыре «откуда» обнаруживается, что цепочка обоснований обрывается на чьём-то предположении, никем не проверенном.

Регулярный аудит допущений

Здоровая инженерная культура встраивает майевтику в процесс. Обзор архитектурных решений каждые шесть месяцев — не для того, чтобы их пересмотреть, а для того, чтобы спросить: какие допущения, на которых решение стояло, остаются верными? Если все — двигаемся дальше. Если хотя бы одно изменилось — это сигнал, что часть системы стала техдолгом, и его нужно или закрыть, или явно признать.

Amazon делает это через документ под названием «principles» для каждого крупного сервиса: что сервис обещает, на каких допущениях основано обещание, что станет, если допущение перестанет выполняться. Это сократический диалог, оформленный в виде корпоративного артефакта.

Где это пересекается с AI

С приходом больших моделей появилась новая категория допущений, особенно скользких: допущения о поведении модели. «Модель не сгенерирует это», «модель ответит за 200ms», «модель не унаследует bias из данных». Каждое из этих допущений — кандидат на техдолг, и Сократ задал бы тот же вопрос: откуда вы это знаете? Тестов не хватает: модель — функция миллиарда параметров, и поведение не выводимо из спецификации.

Поэтому продвинутые AI-команды строят то, что можно назвать «evals» — постоянно работающие проверки поведения, аналог регрессионных тестов, но устроенные как сократический диалог: «вот вход — какой ответ модель должна дать, и почему». Если модель эволюционировала и ответ изменился — это сигнал, что предыдущее допущение перестало быть верным.

Техдолг возникает не от плохой работы. Он возникает от хорошей работы в условиях, которые молчаливо изменились. Майевтика — единственный регулярный способ сделать молчаливое явным.

Почему командам тяжело это делать

Сократический аудит требует признания, что команда не знает, и в корпоративной культуре это часто читается как слабость. Хорошие команды, наоборот, культивируют это как норму: «не знаем, но знаем, что не знаем» — гораздо более устойчивая позиция, чем «знаем» без проверки.

Сократ платил за свой метод смертью — публика устала от человека, обнажающего её невежество. Современные команды редко платят так высоко, но социальная цена есть всегда: тот, кто задаёт «глупые» вопросы об архитектуре, рискует выглядеть медлительным. Здоровые культуры награждают за такие вопросы, нездоровые — наказывают.

Дешёвая майевтика

Сократический аудит дёшев в исполнении и дорог в отказе. Один час разговора, четыре-пять «откуда вы это знаете?» — и команда обнаруживает три скрытых допущения, которые иначе пришлось бы откапывать после инцидента. Стоимость того же открытия в production на порядки выше: остановка сервиса, разгребание данных, объяснения клиентам.

Тем не менее во многих организациях этот ритуал сопротивляется внедрению, потому что выглядит как пустая трата времени. Команда уже знает, что делает; зачем ставить вопросы, на которые уже есть ответы? Сократ ответил бы: вопросы ставят не для ответов, а для проверки качества имеющихся. Часто оказывается, что ответ есть, но он держится на одном человеке, ушедшем из компании в позапрошлом квартале. Это уже техдолг, просто пока невидимый.

Сократический метод в инженерной практике имеет ещё одно недооценённое свойство: он обучает команду. Молодой инженер, видящий, как старший задаёт пять последовательных «почему?», осваивает образец мышления, который иначе передавался бы годами через ошибки. Это и есть античная пайдейя — образование через диалог, а не через лекции. Хорошие технические руководители тратят значительную часть времени именно на такие разговоры, и потому их команды растут в качестве быстрее, чем команды руководителей, экономящих на «неэффективных» обсуждениях. Сократ был педагогом до того, как был философом. Современная инженерия только начинает это понимать и заново открывать.

Что делать

Введите практику ежеквартального «допущения-аудита» для каждой крупной системы. На одной странице: десять допущений, на которых система стоит. Для каждого — как мы поймём, что оно перестало быть верным. Если для какого-то ответа нет — это уже техдолг, просто пока скрытый. Сократ не нашёл бы ничего нового в этом упражнении. Он сказал бы: вы наконец-то начали мыслить.