Show HN：美国 IRS 联邦税表的可验证形式化概念验证

一个把美国联邦个人所得税的税表与说明编码为公开、逐行带引用、可机器校验数据的开源项目，首个客户端是引导式自助报税访谈，软件不申报、不签名、不传输，报税数据不出本机。项目用 YAML 描述每行税表，构建时校验引用与类型，报告覆盖 2,313 个锚点和 1,252 条引文；两套独立求值器在 1,648 个用例、2,895,826 个行值上 0 差异。