US Tax Model - Maschinenprüfbare IRS-Steuerformulare als offene Daten
Show HN: A proof-of-concept formalization of the IRS federal tax forms
US Tax Model verwandelt die US-Bundeseinkommensteuerformulare und ihre Anleitungen in zitierte, ausführbare und maschinell überprüfbare Daten. Jede Zeile verweist auf die archivierte IRS-Seite, aus der sie stammt, und ein geführtes Interview entscheidet, welche Formulare gelten, berechnet sie und erklärt jeden Wert – ohne dass Daten das Gerät verlassen. Das Projekt setzt auf eine geschlossene Atom-Vokabel, Lean-Beweise, unabhängige Evaluatoren und Differentialtests gegen Engines wie PolicyEngine-US, Tax-Calculator und OpenTaxSolver. Ideal für alle, die nachvollziehen wollen, wie Steuersoftware zu ihren Zahlen kommt.
Die Software reicht niemals eine Steuererklärung ein, unterschreibt sie oder überträgt sie – und keine Erklärungsdaten verlassen das Gerät.