US Tax Model - Проверяемая формализация налоговых форм IRS

Show HN: A proof-of-concept formalization of the IRS federal tax forms

US Tax Model — это открытый проект на GitHub, который превращает федеральные налоговые формы США и инструкции IRS в исполняемые и проверяемые данные. Каждая строка формы снабжена цитатой из официального документа, а встроенный движок проверяет корректность вычислений. Проект предлагает интерактивное интервью для самостоятельной подготовки декларации: система задаёт вопросы, определяет нужные формы, рассчитывает значения и объясняет каждую цифру. Данные не покидают ваш компьютер, а программа никогда не подаёт и не подписывает декларацию. Всё это делает процесс прозрачным и контролируемым для пользователя.