Show HN: A proof-of-concept formalization of the IRS federal tax forms
Summary
Show HN about a proof-of-concept that formalizes US IRS forms as machine-checkable data. The repository encodes forms as data with citations, implements a multi-engine verification pipeline, and includes extensive testing, mutation checks, and an evidence/scoreboard system to track coverage and correctness. It positions tax forms as an open, auditable data model that can be independently reviewed and validated.