us-tax-model - 米国連邦税フォームの実行可能な形式化
Show HN: A proof-of-concept formalization of the IRS federal tax forms
us-tax-modelは、米国連邦所得税のフォームと指示を、引用付きで機械検証可能なデータとして公開するGitHubプロジェクトです。各フォームはYAMLで記述され、すべての行にIRS文書の引用が付与されています。ガイド付きインタビューが適用フォームを判断し、計算し、各値を説明した上で、ユーザー自身が提出するための値シートを生成します。ソフトウェアは申告書を提出・署名・送信せず、データはマシン外に出ません。Leanによる形式証明や複数の独立した検証機構により、信頼性を高めています。
各レイヤーは、それが何であり、何を保証し、何を保証しないか、そしてどこを見ればよいかを明示しています。