Lexifina строит «git» для свода законов США

· Программы
Lexifina восстановила историю изменений федерального свода законов США так, как git хранит историю кода: у каждой фразы есть закон-автор и дата вступления в силу. Повод — юристы и языковые модели, которые путают старые и новые редакции.

cover.svg

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

Почему это сложно

Свод законов США (US Code) публикует Office of the Law Revision Counsel в виде последовательных «точек выпуска». Каждая актуальна по состоянию на определённый публичный закон. Там, где разделы не утверждены Конгрессом как позитивное право, свод служит лишь презумптивным доказательством закона, а при расхождениях решает Statutes at Large. Какой закон внёс ту или иную фразу, записано прозой в примечаниях о поправках. Дата вступления изменения в силу часто вынесена в отдельное примечание. Если Конгресс её не указал, закон по умолчанию действует со дня принятия.

Авторы показывают это на определении малого бизнеса-должника в 11 USC § 1182(1). Норма появилась в 2019 году. В марте 2020-го закон CARES временно поднял лимит долга до 7,5 млн долларов, позже срок продлили до марта 2022 года. 27 марта 2022 года повышенный лимит истёк, а 21 июня Конгресс вернул его ещё на два года, причём задним числом: для дел, начатых с 27 марта 2020 года и ещё не завершённых. В июне 2024 года повышенный лимит снова истёк. После индексации в апреле 2025-го он составляет 3 424 000 долларов. Для дела, поданного в мае 2022 года, тогдашняя редакция свода даёт меньший лимит, и ответ меняет лишь более поздний закон.

Модели и время

Исследование Мюнхенского технического университета выявило две ошибки моделей на вопросах по немецким законам. Они применяют нормы, отменённые после даты обучения, и предпочитают новую редакцию даже тогда, когда к фактам применима старая. Одна модель самостоятельно правильно ответила на 24% вопросов о периоде после отсечки, а при подстановке нужного текста закона — на 87%. Попросить модель саму восстановить прежнюю редакцию тоже не выход. Её тексты были похожи на официальные на 93–99%, но точно совпали лишь половина одиночных поправок и пятая часть цепочек, а эксперты нашли в почти верных вариантах юридически значимые ошибки. Вывод авторов: история должна быть проверяемой.

Что сделано

Для каждой пары точек выпуска начиная с 2017 года команда брала принятые между ними законы и в хронологическом порядке применяла их инструкции к старому тексту. Результат сверялся с новой версией. Из 365 изменений в девяти разделах 361 воспроизвело следующую редакцию точно. Оставшиеся четыре помечены с указанием степени подтверждения. Каждое изменение привязано к закону и дате вступления в силу: 261 вступило в силу в день принятия по умолчанию, 72 — по примечанию о дате, 29 — по дате в самой поправке. Ещё одно зависит от решения ведомства, которое может так и не последовать, поэтому его не стали включать в текст.

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

Ограничения

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


Источник: Hacker News

Комментарии

Войдите, чтобы комментировать.

  • Пока нет комментариев.