Show HN：用 YAML 把美国联邦个税表做成可机器校验的数据
开发者 emmilco 发布开源项目 us-tax-model，把美国联邦个人所得税的表格与填报说明编码为公开、逐行带引用的 YAML 数据，并配一个引导式自助报税问答作为首个客户端。软件不提交、不签名、不传输税表，数据不出本机。编码的是 IRS 公布的填报流程，而非税法本身。项目自述主要由语言模型生成，因此设计了可独立核查的机制：每行须附文档、税年、修订版、定位符和归档页哈希，缺失即构建失败；2025 年报告含 2313 个锚点、1252 条引文。所有计算行只允许约 20 种原子操作，2384 行中 0 行使用逃…
推荐理由想看 LLM 生成代码如何靠引用哈希、封闭算子和构建期检查做到可审计，这个仓库给了完整样板