ओपन डेटा प्रोजेक्ट ने अमेरिकी व्यक्तिगत आयकर फॉर्मों को पंक्तिबद्ध तरीके से एन्कोड किया

अवलोकन

GitHub पर `emmilco/us-tax-model` नामक एक सॉफ्टवेयर प्रोजेक्ट आंतरिक राजस्व सेवा (IRS) के व्यक्तिगत आयकर फॉर्मों और निर्देशों को ओपन डेटा के रूप में एन्कोड करता है। एन्कोड की गई प्रत्येक पंक्ति में संग्रहीत IRS पृष्ठों के लिंक वाले संदर्भ शामिल हैं। यह रिपॉजिटरी 2024 कर वर्ष तक के कर फॉर्मों और तर्क को लागू करती है, जबकि इसके अंतर्निहित गणना इंजन अन्य IRS टूल के लिए सक्रिय हैं।

संरचना और सत्यापन

यह प्रोजेक्ट गणनाओं को सत्यापित करने और मूल स्रोतों तक डेटा का पता लगाने के लिए डिज़ाइन की गई परतों के माध्यम से कर गणनाओं का मॉडल तैयार करता है:

• फैक्ट ग्राफ: Scala में लिखा गया एक घोषणात्मक ज्ञान ग्राफ जो ज्ञात और अज्ञात चर को ट्रैक करता है।
• संचालन: गणनाएं लगभग बीस असत संचालन की एक बंद सूची पर निर्भर करती हैं, जैसे कि जोड़, घटाव, पूर्णांकन और तालिका लुकअप, जिन्हें फ़्लोटिंग-पॉइंट अंकगणित के बिना कार्यान्वित किया जाता है।
• प्रमाण और परीक्षण: इंजन गणितीय स्थिरता की जांच के लिए दो स्वतंत्र मूल्यांकनकर्ताओं और Lean 4 में सिद्ध औपचारिक गुणों का उपयोग करता है।
• स्वतंत्र साक्ष्य: पढ़ने की सटीकता की चुनौती से निपटने के लिए, प्रोजेक्ट स्वतंत्र प्रलेखन, मॉडल समीक्षाओं और तृतीय-पक्ष कर इंजनों के साथ तुलना के माध्यम से क्रॉस-वैलिडेशन का उपयोग करता है।

सीमाएं और व्यावहारिक प्रभाव

यह रिपॉजिटरी आधिकारिक फाइलिंग सेवा के बजाय पूरी तरह से एक स्वतंत्र विश्लेषण और सत्यापन टूल के रूप में कार्य करती है। यह कर रिटर्न दाखिल नहीं करता है; इसके बजाय, यह एक वैल्यू शीट तैयार करता है और उन रिटर्न को प्रोसेस करने से स्पष्ट रूप से मना करता है जो इसके समर्थित दायरे से बाहर आते हैं। उपयोगकर्ता और डेवलपर यह देखने के लिए GitHub पर ओपन-सोर्स रिपॉजिटरी का निरीक्षण कर सकते हैं कि विशिष्ट निर्देशों और सूत्रों को कैसे एन्कोड और परीक्षण किया गया है।