us-tax-model: 将IRS税表转化为可验证数据
Show HN: A proof-of-concept formalization of the IRS federal tax forms
这是一个概念验证项目，将IRS联邦个人所得税表格及说明转化为公开、可引用且机器可检查的数据。项目通过引导式问答帮助用户自行准备报税，软件仅计算并解释数值，绝不签署或传输任何税务数据，确保所有数据不出本地机器。其核心创新在于将IRS发布的程序而非税法条文编码为数据，每一行计算都附带官方文档引用，并采用Lean等工具进行形式化验证，确保计算逻辑的精确与透明。
编码的是IRS发布的程序，而非《国内收入法典》；每一行数据都附带引用，确保任何人都能独立验证其来源与逻辑。