От машины Верховного суда к нити Ариадны

Как мы перестали строить идеального судью и научились измерять, насколько у дела вообще есть единственный ответ. Заметка для юриста континентальной школы.

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

I. Мечта: машина Верховного суда

Сначала нам хотелось построить Геркулеса. Так Рональд Дворкин назвал идеального судью, который прочитывает всю правовую традицию как единую связную схему принципов и даже в труднейшем деле выносит единственно правильное решение. Соблазн понятен: машина, которая знает всё право и всегда права. Особенно соблазнителен он для традиции, которая ставит правовую определённость в ранг конституционного принципа.

У этой мечты обнаружились две смертельные болезни сразу, и они независимы друг от друга. Во-первых, Геркулес решает, а инструмент, который решает, наследует весь груз возражений против автоматического правосудия, и наследует справедливо. Во-вторых, Геркулес предполагает, что определённый ответ всегда существует, то есть молча занимает одну сторону в споре Харта и Дворкина, тогда как именно этот вопрос и является предметом спора. Строить машину, которая разрешает философскую проблему явочным порядком, нечестно. Нам нужно было что-то другое.

II. Семь судей, один разум

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

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

Они разошлись, чисто и в правильные стороны. Оценки легли в диапазоне от двойки до восьмёрки, вердикты разделились между «прекратить» и «оставить». Два строгих судьи выбросили иск, рассудив, что искушённый инвестор, подписавший интегрированный договор, не вправе потом называть это мошенничеством. Судьи, склонные к истцу, иск сохранили: на ранней стадии версию истца принимают как истинную и дают фактам всплыть. А один судья, самый интересный, в иске не отказал, но вписал в решение предупреждение: сегодня пропускаю, но скорее всего прикрою дело на стадии суммарного решения, когда на столе окажется внутренняя переписка. У него был самый агрессивный ползунок «обрезать дело» и при этом установка «убивать поздно, а не рано», и эти настройки тянули в разные стороны. Один движок так не умеет, два независимых умеют, и в этом разница между костюмом и характером.

Самое важное было дальше. Безличного судью мы прогнали трижды, и он сказал 4, 4, 4. Потом запустили его же «в дурном настроении», сказав, что утро понедельника забито и терпения на длинный аргумент нет, и он сказал 5, 5, 4. Настроение сдвинуло оценку примерно на балл и ни разу не перевернуло вердикт. Значит, разрыв между восьмёркой и двойкой не был игрой в кости: дрожь от настроения и формулировок оказалась крошечной, а разрыв между типами судей был примерно в пятьдесят шесть раз больше этой дрожи. И ползунки не были декорацией: настройка «склонность прекращать» совпала с выставленными оценками с корреляцией 0,70.

И ещё одно. Каждому судье мы дали приватное поле, не показываемое сторонам, где он обязан был признать, где его решение было выбором, а не велением закона. Все семеро это поле заполнили. Каждый указал на тот самый ход, который и решил дело, и сказал, по существу: это моя настройка, а не то, что закон мне навязал, и судья, пошедший иначе, не ошибся бы. Вот это признание и есть причина, по которой проект существует. Оно ловит момент, когда суд наряжает предпочтение в одежды правила. Здесь поворот и оформился.

III. Поворот: Ариадна вместо Геркулеса

Вывод был такой: перестать быть судьёй. Стать прибором, который измеряет, насколько дело открыто. Не выигрывать спор Харта и Дворкина, а сообщать, дело за делом, на чьей стороне свидетельства.

Исправленный идеал мы назвали Ариадной. В мифе Ариадна не сражается с Минотавром и не вершит суд: она вручает Тесею нить, которая делает лабиринт проходимым. Перенесём фигуру точно. Спор является лабиринтом, доступные на этом вопросе судейские установки являются его коридорами, а наша метрика, которую мы называем Z, является нитью. Низкое Z означает, что у лабиринта по сути один проход и дело решает право. Высокое Z означает настоящий лабиринт, и тогда дело решает судья. Ариадна не выносит вердикта. Она превращает спор в измерение. Русскому читателю идиома про нить Ариадны знакома с детства, и здесь она работает буквально, а не как украшение.

IV. Что такое постура

Центральное понятие надо назвать честно. Постура (англ. posture) представляет собой фильтр и порядок предпочтения над фиксированным, общим для всех набором аргументационных ходов. Важнейшая оговорка, и мы повторяем её везде: постура является научным конструктом, а не источником права. Ни статут, ни прецедент не определяют, что такое «постура», и мы не утверждаем, что определяют. Этот конструкт делает аналитическую работу, которую существующий словарь не делает, и мы строим вокруг него теорию, прямо помечая каждый шаг как построение, а не как закон.

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

Здесь юристу романо-германской школы должно стать особенно интересно, потому что он всё это уже знает под другим именем. Это методы толкования. Континентальная догматика со времён Савиньи каталогизировала их: грамматическое (буквальное), систематическое, телеологическое и историческое толкование. Грубое, но рабочее соответствие: буквальное толкование близко к текстуализму, телеологическое к целевому подходу, историческое к оригинализму, систематическое к структурному. Новизна не в том, что мы заново перечислили методы. Новизна в том, что мы превращаем каждый метод в параметризованный фильтр, а затем измеряем, насколько исход дела на самом деле зависит от того, какой метод и какое расположение держит судья. Традиция, помешанная на определённости, такого числа никогда не имела.

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

V. Рой судей, оценки как в фигурном катании, и число Z

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

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

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

VI. Проверенный субстрат, без которого рушится всё

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

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

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

VII. Почему это наука, а не реклама

Дисциплина честности и отличает работу от шумихи. Происхождение каждого утверждения помечено уровнем: Уровень 1 (связующий или подтверждённый делом авторитет), Уровень 2 (научная работа), Уровень 3 (заявленный конструкт проекта). И мы строго разводим два сорта утверждений. Часть положений являются теоремами: это свойства самой линейки, доказываемые из определений, а именно что Z является несмещённой, ограниченной, интерпретируемой, корректно агрегируемой, дисциплинированной воздержанием и независимой от вынесения решения мерой. Другая часть являются гипотезами: это утверждения о мире, и каждая названа вместе с тестом, который её опроверг бы. Ортогональны ли оси. Добавляют ли диспозиционные оси предсказательную силу сверх идеологии (живой конкурент здесь это аттитюдная, или установочная, модель Сигала и Спета). Отслеживает ли Z трудность дела. Превышает ли систематическая дисперсия шум. Держится ли закон устойчивости.

Вся программа поставлена в зависимость от одних ворот валидации: прогнать рой против отложенной выборки реально решённых ходатайств и показать, что междупостурная дисперсия превышает шумовой порог и предсказывает реальную межсудейскую разноголосицу. И мы открыто называем сильнейшую угрозу себе. Есть свежее свидетельство (Познер и Саран, 2024), что передовые модели ведут себя как одна жёсткая формалистская персона, плохо поддающаяся настройке: в их эксперименте модель применяла юридически верный исход в ста процентах случаев против примерно пятидесяти двух процентов у живых судей, то есть у людей это был почти бросок монеты. Если постуры схлопываются в один формалистский голос, Z является артефактом, и программа разворачивается, возможно к настройке на уровне внутренних активаций модели, а не текстовых персон в промпте. Мы доказываем свойства линейки. Мы не делаем вид, будто доказали факты о том, что этой линейкой измеряем, и не делаем вид, будто доказали, что поверхность, на которую линейку положили, истинна.

VIII. Зачем это русскому юристу

Практический облик всего этого в Legawrite.AI называется Правовым компилятором. Он проверяет, собирается ли ходатайство, ровно как компилятор проверяет, собирается ли код против фиксированного инструментария, и компилирует связный исход из заявленной постуры плюс авторитетов плюс фактов. Когда голос отклоняется от того, что заявленная постура подразумевает, отчёт делает отклонение видимым. Правовая шахматная доска становится зримой, и под этой оптикой некоторые реальные мнения читаются как недопустимые ходы. Для практикующего отсюда следует рабочее правило: вы никогда не спорите с постурой коллегии абстрактно. Вы ставите постуру на доску, компилируете из неё связный исход и обнажаете зазор, когда голос ей не соответствует. А перед подачей вы узнаёте, собирается ли ваше собственное ходатайство.

И позиция о легитимности здесь принципиальная. Инструмент развёртывается как поддержка решения под явным контролем человека (принцип CEPEJ «под контролем пользователя»), и никогда как тот, кто судит. Ариадна вручает нить, по лабиринту идёт человек. Только так, и никак иначе, метод является вкладом, а не узурпацией.

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

Резюме одной фразой, к которой всё и сводится. Мы берём научный концепт (постуру), а не источник власти, и строим вокруг него новую теорию вместе с её теоремами. Ариадна даёт нить, а не вердикт. И этот концепт мы намерены довести, как вы и сказали, до Луны.