US Tax Model - Formularios de impuestos federales de EE. UU. como datos verificables
Show HN: A proof-of-concept formalization of the IRS federal tax forms
US Tax Model convierte los formularios e instrucciones del impuesto federal sobre la renta de EE. UU. en datos públicos, citados y verificables por máquina. Incluye una entrevista guiada que determina qué formularios aplican, calcula los valores y explica cada cifra, sin firmar ni transmitir declaraciones. Con más de 2,300 anclas de citas, un vocabulario cerrado de operaciones y verificación con Lean y múltiples motores, el proyecto prioriza la transparencia y la comprobabilidad sobre la confianza en los autores.
El software nunca presenta, firma ni transmite una declaración, y ningún dato de la declaración sale de la máquina.