Налоговые формы IRS перевели в проверяемые данные

us-tax-model — экспериментальная формализация федеральных налоговых форм и инструкций IRS для физических лиц в США. Каждая строка формы хранится в YAML с идентификатором, типом, выражением и ссылкой на конкретную архивную страницу источника. Поверх данных работает пошаговый опрос: программа выбирает применимые формы, рассчитывает значения и объясняет их происхождение. Она не подписывает и не отправляет декларацию, а введённые сведения не покидают компьютер пользователя. Вычисления ограничены примерно двадцатью простыми операциями вроде суммы, выбора меньшего значения и табличного поиска. Проверка сборки следит за ссылками, отсутствием циклов, совместимостью типов и полнотой условий. Деньги представлены целыми центами без операций с плавающей точкой. Дополнительно реализованы два вычислителя на TypeScript и Lean: на 1648 случаях они сравнили 2 895 826 значений и не обнаружили расхождений. Однако это доказывает лишь согласованность реализаций, а не соответствие исходным инструкциям IRS. Проект сравнивает результаты с PolicyEngine-US, Tax-Calculator и OpenTaxSolver, проводит мутационное тестирование и публикует журнал найденных ошибок. Один пример показывает ограничение такого подхода: обе реализации и все внутренние проверки повторяли неправильную сумму в форме 1040, пока внешний движок не выявил ошибку. Цитата рядом с выражением подтверждает наличие источника, но не правильность его прочтения. Автор открыто сообщает, что формализация в значительной степени написана агентами языковых моделей. Полного построчного прочтения человеком нет. По отчёту от 24 октября 2026 года только 198 из 1515 вычисляемых строк, или 13,1%, имели хотя бы одно подтверждение вне семейства моделей Claude; учтённые человеком проверки численных значений отсутствовали. Отдельные несоответствия при независимом чтении форм ещё разбираются. Заявленный охват 68,6% индивидуальных деклараций тоже ограничен: 148 из 157 условий отказа невозможно измерить имеющимися данными, поэтому фактический охват ниже. Проект воспроизводит опубликованную процедуру IRS, а не сам Internal Revenue Code; юрист его правовые допущения не проверял. Код распространяется под Apache 2.0, данные — под CC0. Разработчик прямо предупреждает, что инструмент не связан с IRS, не даёт налоговых или юридических консультаций и оставляет ответственность за декларацию на пользователе.