us-tax-model - 미국 연방 세금 양식의 검증 가능한 형식화

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

us-tax-model은 미국 연방 소득세 양식과 지침을 인용 가능하고 실행 가능한 데이터로 인코딩한 오픈소스 프로젝트입니다. 모든 계산 라인은 YAML로 표현되며 각 라인에는 IRS 문서 인용과 해시가 포함되어 검증 가능합니다. 인터뷰 기반의 자기 준비 도구를 통해 사용자는 어떤 양식이 필요한지 결정하고, 모든 값을 설명받으며, 직접 제출할 수 있는 값 시트를 받습니다. 소프트웨어는 신고서를 제출하거나 전송하지 않으며, 모든 데이터는 로컬에 유지됩니다. Lean 증명과 다중 엔진 비교를 통해 신뢰성을 높였습니다.