🤖 AI

Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness

यह शोधपत्र एक परिमित ऑडिट ढांचे को औपचारिक रूप देता है जो एक रिफाइनमेंट लैटिस के भीतर रिकॉर्ड डोमेन के उनके संबंधित विभाजनों की तुलना करके घोषित और कार्यान्वित पहचान नियमों के बीच व्यवस्थित विचलन का पता लगाता है, जिसमें अंतर्निहित कार्यान्वयन आधार को प्रकट किए बिना विशिष्ट विचलन साक्ष्यों की पहचान करने के लिए एक त्रि-मूल्यवान, गैर-एकदिष्ट मूल्यांकन का उपयोग किया जाता है।

मूल लेखक: Denise M. Case

प्रकाशित 2026-07-24

📖 9 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Denise M. Case

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

"समानता" के अदृश्य नियम

कल्पना कीजिए कि आप एक दोस्त के साथ "डॉट कनेक्ट करने" का एक विशाल, जटिल खेल खेल रहे हैं। आप दोनों के पास एक नियम पुस्तिका है जो कहती है, "यदि हम एक डॉट का रंग बदलते हैं, तो यह वही डॉट रहता है। यदि हम इसे एक नए पेज पर ले जाते हैं, तो यह एक नया डॉट है।" कई कंप्यूटर सिस्टम इसी तरह काम करते हैं: उनके पास एक घोषणा (Declaration) होती है, जो डिजाइनरों द्वारा लिखी गई आधिकारिक नियम पुस्तिका है। यह सिस्टम को बताती है कि दो डेटा के टुकड़ों को "एक ही" (को-रेफरेंसिंग) या "अलग" कैसे तय करना है।

लेकिन यहाँ एक मोड़ है: कंप्यूटर केवल नियम पुस्तिका नहीं पढ़ता; उसके पास एक तंत्र (Mechanism) भी होता है, जो वास्तविक कोड, छिपे हुए स्विच और वे स्वचालित बटन हैं जिन्हें वह खेल खेलते समय दबाता है। कभी-कभी, कंप्यूटर के छिपे हुए बटन नियम पुस्तिका के मुकाबले अलग लय में चलते हैं। हो सकता है कि नियम पुस्तिका कहे "रंग बदलना मायने नहीं रखता," लेकिन कंप्यूटर का कोड गुप्त रूप से कहे, "यदि रंग बदलता है, तो हमें इसे एक बिल्कुल नया डॉट मानना चाहिए!"

यह शोध पत्र कंप्यूटर विज्ञान और तर्कशास्त्र (Logic) की दुनिया में रहता है, विशेष रूप से इस बात पर केंद्रित है कि हम समय के साथ चीजों (जैसे कानूनी नियम, एआई एजेंट, या डेटाबेस रिकॉर्ड) को कैसे ट्रैक रखते हैं। बड़ी समस्या यह है कि सिस्टम अक्सर खुद से झूठ बोलते हैं। वे एक छिपे हुए नियम का पूरी तरह से सुसंगत रूप से पालन कर सकते हैं, फिर भी वह नियम उस नियम से पूरी तरह अलग हो सकता है जिसका उन्होंने पालन करने का वादा किया था। यदि आप जाँच नहीं करते हैं, तो आप सोच सकते हैं कि आप एक ही चीज़ के बारे में बात कर रहे हैं, जबकि कंप्यूटर सोच रहा है कि वह किसी बिल्कुल अलग चीज़ के बारे में बात कर रहा है। यह महत्वपूर्ण है क्योंकि यदि आपका बैंक, आपके मेडिकल रिकॉर्ड, या कोई कानूनी अनुबंध इन छिपे हुए बेमेल (mismatches) पर आधारित है, तो जब आप यह पता लगाने की कोशिश करेंगे कि क्या हुआ था, तो पूरा सिस्टम ढह सकता है।

महान "समानता" ऑडिट (The Great "Same-ness" Audit)

यह शोध पत्र इन छिपे हुए बेमेल को पकड़ने का एक चतुर तरीका पेश करता है। लेखिका, डेनिस केस, इसे एक ऑपरेशनल आइडेंटिटी ऑडिट (Operational Identity Audit) कहती हैं। इसे एक जासूसी कहानी के रूप में समझें जहाँ जासूस केवल संदिग्ध की डायरी (घोषणा) नहीं पढ़ता; बल्कि वे टाइप करते समय संदिग्ध के हाथों को भी देखते हैं (कार्यान्वयन/Implementation)।

दो विभाजन (The Two Partitions)
कल्पना कीजिए कि आपके पास 100 मिट्टी के गोलों का ढेर है।

घोषित विभाजन (The Declared Partition): नियम पुस्तिका कहती है, "यदि आप एक गोले को पिचकाते हैं, तो यह अभी भी वही गोला है।" इसलिए, आप सभी पिचके हुए गोलों को एक साथ समूह में रखते हैं। यह "घोषित विभाजन" है।
परिचालन विभाजन (The Operational Partition): अब, उन गोलों को संभालने वाले रोबोट को देखें। भले ही नियम पुस्तिका कहती है कि "पिचकना = समान," लेकिन रोबोट के पास एक गुप्त सेंसर है। हर बार जब एक गोला पिचकाया जाता है, तो रोबोट उस पर एक छोटा सा बिंदु लगा देता है और उसे एक अलग बॉक्स में रख देता है। रोबोट एक छिपे हुए नियम का पालन कर रहा है: "पिचकना = नया गोला।" यह "परिचालन विभाजन" है।

इस शोध पत्र का मुख्य कार्य इन दो समूहों की तुलना करना है। यह पूछता है: क्या रोबोट का छिपा हुआ समूह उस समूह को विभाजित करता है जिसे नियम पुस्तिका ने एक साथ रखने के लिए कहा था?

"विचलन साक्षी" (The "Divergence Witness")
यदि रोबोट उस समूह को विभाजित करता है जिसे नियम पुस्तिका ने एक साथ रखा था, तो शोध पत्र इस घटना को विचलन साक्षी (Divergence Witness) कहता है। यह एक जोड़ी मिट्टी के गोलों को खोजने जैसा है जिन्हें नियम पुस्तिका जुड़वा मानती है, लेकिन रोबोट उन्हें अजनबी मानता है। शोध पत्र सिद्ध करता है कि आपको समस्या खोजने के लिए हर एक गोले की जाँच करने की आवश्यकता नहीं है; केवल इन बेमेल जोड़ों में से एक को खोजना ही यह साबित करने के लिए पर्याप्त है कि सिस्टम अपने स्वयं के नियमों के बारे में झूठ बोल रहा है।

"सिबलिंग" (भाई-बहन) जासूसी कार्य
कभी-कभी, रोबोट केवल किसी यादृच्छिक गुप्त नियम का पालन नहीं कर रहा होता है; वह शायद किसी दूसरे आधिकारिक नियम का पालन कर रहा हो जिसे सिस्टम डिजाइनरों ने उल्लेख करना छोड़ दिया था। शोध पत्र सिब्लिंग्स (Siblings) के विचार को पेश करता है।

कल्पना कीजिए कि नियम पुस्तिका कहती है "रंग मायने रखता है" (नियम A)।
लेकिन एक ज्ञात "सिबलिंग नियम" (नंतु नियम B) है जो कहता है "आकार मायने रखता है।"
यदि रोबोट आकार के आधार पर गोलों को विभाजित कर रहा है, तो ऑडिट कह सकता है, "आह! आप नियम A का पालन नहीं कर रहे हैं, लेकिन आप नियम B का पालन कर रहे हैं।"
हालाँकि, शोध पत्र यहाँ बहुत सावधान है। यह सिद्ध करता है कि केवल इसलिए कि रोबोट उन समूहों के भीतर "आकार" नियम का मिलान करता है जो नियम पुस्तिका ने बनाए थे, इसका मतलब यह नहीं है कि रोबोट हर जगह "आकार" नियम का पूरी तरह से पालन कर रहा है। वह चीजों को मिला-जुला (mix and match) सकता है। शोध पत्र यह वर्गीकृत करने के लिए एक विशिष्ट "लैटिस" (एक फैंसी ग्रिड) बनाता है कि रोबोट का गुप्त नियम आधिकारिक नियम से वास्तव में कैसे भिन्न है।

"वर्जन फील्ड" का जाल
शोध पत्र के सबसे दिलचस्प उदाहरणों में से एक "वर्जन फील्ड" (Version Field) से संबंधित है। एक दस्तावेज़ की कल्पना करें जहाँ हर बार जब आप एक अक्षर बदलते हैं, तो संस्करण संख्या बढ़ जाती है (1.0, 1.1, 1.2)।

नियम पुस्तिका: "यदि पाठ का अर्थ समान रहता है, तो यह वही दस्तावेज़ है।"
रोबोट: "यदि संस्करण संख्या बदलती है, तो यह एक नया दस्तावेज़ है!"
परिणाम: रोबोट संस्करण संख्या के आधार पर दस्तावेज़ों को बहुत छोटे-छोटे समूहों में विभाजित कर देता है, भले ही नियम पुस्तिका कहती है कि वे एक बड़ा समूह होने चाहिए। शोध पत्र दिखाता है कि यह "सब-सिबलिंग विचलन" (Sub-sibling Divergence) नामक एक विशिष्ट प्रकार का बेमेल है। रोबोट बहुत अधिक बारीक (picky) हो रहा है, यहाँ तक कि "आकार" नियम द्वारा बनाए गए समूहों से भी अधिक सूक्ष्म स्तर पर चीजों को विभाजित कर रहा है।

"पास" होने का जाल (Non-Monotonicity)
यहाँ शोध पत्र का सबसे दिमाग घुमा देने वाला हिस्सा है। आमतौर पर, यदि आप एक परीक्षा पास करते हैं, तो आप हमेशा के लिए पास हो जाते हैं। लेकिन यह शोध पत्र सिद्ध करता है कि इस प्रकार के ऑडिट में, पास होना स्थायी नहीं है।
कल्प diजिये कि आप आज 10 गोलों के साथ रोबोट की जाँच करते हैं, और वह पास हो जाता है। आप उसे "विश्वसनीय" घोषित करते हैं।
फिर, कल, आप गोलों के ढेर में एक और गोला जोड़ते हैं और उन्हें एक-दूसरे से जोड़ देते हैं। अचानक, नियम पुस्तिका कहती है, "ओह, ये दो गोले वास्तव में एक ही हैं!" लेकिन रोबलेट अपने गुप्त सेंसर के कारण उन्हें अलग मानता है।
अब, रोबोट फेल हो जाता है! शोध पत्र इसे नॉन-मोनोटोनिसिटी (Non-Monotonicity) कहता है। "पास" का निर्णय केवल उन विशिष्ट घटनाओं के इतिहास के लिए सत्य है जिन्हें आपने देखा है। यदि आप अधिक इतिहास (अधिक परिवर्तन, अधिक समय) जोड़ते हैं, तो एक सिस्टम जो कल पास हुआ था, आज फेल हो सकता है। आप "अच्छे व्यवहार" का स्थायी प्रमाण पत्र प्राप्त नहीं कर सकते; आप केवल "इस विशिष्ट क्षण तक के व्यवहार" के लिए रिपोर्ट कार्ड प्राप्त कर सकते हैं।

यह शोध पत्र किन चीजों को खारिज करता है
यह शोध पत्र बहुत सख्त है कि यह क्या नहीं करता है।

यह आपको यह नहीं बताता कि कौन सा नियम "सही" है (उदाहरण के लिए, क्या "रंग" या "आकार" वस्तु की वास्तविक परिभाषा है)। यह केवल यह जाँचता है कि क्या रोबोट दिए गए नियम का पालन कर रहा है।
यह छिपे हुए नियमों को खोज सकता है, लेकिन केवल तभी जब वे नियम ऑडिटर द्वारा प्रकट या खोजे गए हों। ऑडिट उन तंत्रों (mechanisms) की एक रजिस्ट्री का परीक्षण करके काम करता है (जैसे विशिष्ट कोड फ़ील्ड, वर्कफ़्लो स्टेट, या कॉन्फ़िगरेशन वैल्यू) जिन्हें सिस्टम ऑपरेटर ऑडिटर को दिखाता है, या जिसे ऑडिटर जांच के माध्यम से खोज लेता है। यदि कोई तंत्र अनडॉक्युमेंटेड कोड या किसी ऐसे गुप्त अभ्यास में छिपा है जिसे किसी ने प्रकट नहीं किया है, तो ऑडिट उसे नहीं देख सकता। ऑडिट केवल उन स्विचों की सूची जितना अच्छा है जो डिजाइनरों ने जासूस को दिखाए हैं या जो जासूस ने जांच के माध्यम से खोज लिए हैं।
यह यह नहीं कहता कि रोबोट "टूटा हुआ" है यदि वह दो चीजों को मिला देता है जिन्हें नियम पुस्तिका ने अलग रखा था। शोध पत्र केवल इस बात की परवाह करता है कि क्या रोबोट उन चीजों को विभाजित करता है जिन्हें नियम पुस्तिका ने एक साथ रखा था। विलय (merging) ठीक हो सकता है; विभाजन (splitting) ही अपराध है।

निष्कर्ष
यह शोध पत्र हमें उन सिस्टमों को पकड़ने के लिए एक गणितीय उपकरण प्रदान करता है जो अपने तरीके से "ईमानदार" हैं लेकिन अपने वादों के प्रति "बेईमान" हैं। यह "कुछ गलत लग रहा है" के अस्पष्ट अहसास को एक ठोस, जांच योग्य बेमेल की सूची में बदल देता है। यह दिखाता है कि डिजिटल दुनिया में, केवल इसलिए कि एक सिस्टम सुसंगत है, इसका मतलब यह नहीं है कि वह सत्यनिष्ठ है। और यह हमें चेतावनी देता है कि एक सिस्टम में हमारा विश्वास हमेशा अस्थायी होता है, क्योंकि इतिहास का बस एक और टुकड़ा जोड़ने से यह उजागर हो सकता है कि सिस्टम कभी उन नियमों का पालन ही नहीं कर रहा था जिन्हें हम समझ रहे थे।

तकनीकी सारांश: घोषित और कार्यान्वित नियमों का एक परिमित ऑडिट (A Finite Audit of Declared and Implemented Rules of Sameness)

1. समस्या विवरण (Problem Statement)

आधुनिक रिकॉर्ड सिस्टम, विशेष रूप से वे जो जवाबदेही और कानूनी संरेखण (legal alignment) का समर्थन करते हैं, अक्सर इस बात पर निरंतर असहमति में रहते हैं कि क्या हुआ, कौन से नियम लागू होते हैं, और किसकी जिम्मेदारी है। विवादों के दौरान स्थिर संदर्भ बनाए रखने के लिए, इन प्रणालियों को रिकॉर्ड की पहचान को तब भी संरक्षित करना चाहिए जब उन्हें रूपांतरित (संशोधित, विभाजित, परिष्कृत) या आदान-प्र been किया जाता है।

मूल समस्या जो संबोधित की गई है वह एक सिस्टम के घोषित पहचान शासन (declared identity regime - जो सिस्टम यह बताता है कि समानता क्या निर्धारित करती है) और उसके कार्यान्वित पहचान व्यवहार (implemented identity behavior - जो सिस्टम वास्तव में करता है) के बीच का विचलन है। एक सिस्टम समानता का एक सुसंगत नियम लागू कर सकता है जिसे किसी भी आर्टिफैक्ट द्वारा घोषित नहीं किया गया है। उदाहरण के लिए, एक स्कीमा 'कंटेंट-फिक्स्ड आइडेंटिटी' घोषित कर सकता है, जबकि एक वर्कफ़्लो या एप्लिकेशन लॉजिक एक वर्शन फ़ील्ड का उपयोग करके प्रत्येक टेक्स्ट संपादन को एक नई इकाई के रूप में मान सकता है। यह विचलन मानक निरंतरता जाँचों (consistency checks) के लिए अदृश्य रहता है क्योंकि सिस्टम कोई विरोधाभासी दावे नहीं करता है; इसका प्रोवेनेंस ग्राफ और ऑडिट लॉग आंतरिक रूप से सुसंगत हो सकते हैं, फिर भी परिचालन नियम (operational rule) घोषित नियम से भिन्न होता है। यह शोध पत्र इस "परिचालन पहचान" (operational identity) को औपचारिक रूप देने और घोषणा और कार्यान्वयन के बीच के अंतर का ऑडिट करने के लिए एक विधि प्रदान करने का प्रयास करता है।

2. कार्यप्रणाली (Methodology)

यह शोध पत्र एक औपचारिक ऑडिट प्रक्रिया प्रस्तावित करता है जो रिकॉर्ड डोमेन $R$ के दो विभाजनों (partitions) की तुलना करता है: घोषित विभाजन और परिचालन पहचान विभाजन।

2.1. घोषित विभाजन ( $\pi_\tau$ )
एक घोषित पहचान शासन $\tau$ और एक फैमिली-लेबल वाले ट्रांसफॉर्मेशन हिस्ट्री $H$ से व्युत्पन्न। शासन एक पहचान आधार (identity basis) (जैसे, कंटेंट-फिक्स्ड, स्ट्रक्चर-फिक्स्ड) और एक वर्गीकरण फ़ंक्शन को परिभाषित करता है जो यह निर्धारित करता है कि रूपांतरण पहचान को बनाए रखते हैं, तोड़ते हैं, या पहचान के प्रति तटस्थ हैं। घोषित विभाजन इतिहास में गैर-ब्रेकिंग किनारों (non-breaking edges) द्वारा उत्पन्न समतुल्यता संबंध (equivalence relation) है।

2.2. परिचालन पहचान विभाजन ( $\pi_d$ )
एक प्रकट कार्यान्वयन तंत्र (एक "सरफेस") $d$ और उसके पहचान-प्रासंगिक उपयोगों (identity-relevant uses) से व्युत्पन्न।

तंत्र रजिस्ट्री ($DB$): प्रकट कार्यान्वयन आर्टिफैक्ट्स (फील्ड्स, वर्कफ़्लो स्टेट्स, प्रेडिकेट्स) का एक परिमित सेट, जिसमें गणना योग्य अवलोकन मानचित्र (computable observation maps) हैं।
पहचान-प्रासंगिक परिणाम (Identity-Relevant Outcomes): ऑडिट विशिष्ट परिणाम प्रकारों पर केंद्रित है: रिफरेंट-आइडेंटिफायर असाइनमेंट, रेजोल्यूशन, पर्सिस्टेंस, ट्रांसफॉर्मेशन ट्रीटमेंट, एप्लिकेबिलिटी सिलेक्शन, या ऑपरेशन एडमिसिबिलिटी।
सरफेस कंट्रोल: एक तंत्र केवल तभी ऑडिट सतह (audit surface) है यदि उसके पहचान-प्रासंगिक उपयोग उसके मान (value) के माध्यम से फैक्टर होते हैं। यदि उपयोग कई आर्टिफैक्ट्स द्वारा संयुक्त रूप से नियंत्रित होते हैं, तो ऑडिट एक संयुक्त तंत्र तक बढ़ जाता है।
परिचालन विभाजन (Operational Partition): रिकॉर्ड्स को उनके "पहचान-उपचार हस्ताक्षरों" (identity-treatment signatures - सतह द्वारा उत्पन्न परिणामों का वेक्टर) द्वारा समूहीकृत किया जाता है। समान हस्ताक्षर वाले रिकॉर्ड $\pi_d$ में एक ही ब्लॉक के अंतर्गत आते हैं।

2.3. ऑडिट प्रक्रिया
ऑडिट रिफाइनमेंट लैटिस (refinement lattice) के भीतर $\pi_\tau$ और $\pi_d$ की तुलना करता है:

विश्वसनीयता (Faithfulness): एक सतह विश्वसनीय है यदि $\pi_\tau$ , $\pi_d$ को रिफाइन करता है (अर्थात, सतह एक घोषित सह-संदर्भ वर्ग को विभाजित नहीं करती है)।
विचलन गवाह (Divergence Witness): एक जोड़ा $(r, s)$ जहाँ $r \sim_\tau s$ (घोषित रूप से समान) लेकिन $IT_d(r) \neq IT_d(s)$ (परिचालन रूप से भिन्न माना गया)।
वर्गीकरण: यदि एक सिब्लिंग आइडेंटिटी बेसिस $\tau'$ $τ^{'}$ मौजूद है (जैसे, स्ट्रक्चर-फिक्स्ड बनाम कंटेंट-फिक्स्ड), तो विचलन को घोषित वर्गों के भीतर स्थानीय रूप से चार मामलों में वर्गीकृत किया जाता है:
1. सिब्लिंग-अलाइन्ड (Sibling-aligned): सतह ठीक वैसे ही विभाजित करती है जैसे सिब्लिंग करता है।
2. सब-सिब्लिंग (Sub-sibling): सतह सिब्लिंग की तुलना में बहुत अधिक सूक्ष्मता से विभाजित करती है।
3. सुपर-सिब्लिंग (Super-sibling): सतह सिब्लिंग के कुछ लेकिन सभी अंतरों को नहीं बनाती है।
4. सिब्लिंग-इनकंपैरेबल (Sibling-incomparable): सतह वे अंतर बनाती है जो सिब्लिंग नहीं बनाता और अन्य को छोड़ देती है।
शासन प्रतिस्थापन (Regime Substitution): एक मजबूत वैश्विक स्थिति जहाँ $\pi_d = \pi_{\tau'}$ पूरे डोमेन पर। शोध पत्र सिद्ध करता है कि सिब्लिंग अलाइनमेंट, शासन प्रतिस्थापन को अनिवार्य नहीं बनाता है।

3. मुख्य योगदान (Key Contributions)

शोध पत्र पाँच विशिष्ट योगदान देता है:

परिचालन पहचान विभाजन: यह एक घोषित तंत्र रजिस्ट्री पर एक गणना योग्य वस्तु के रूप में एक कार्यान्वयन सतह द्वारा प्रेरित समानता के नियम को परिभाषित करता है।
विश्वसनीयता और विचलन: यह विश्वसनीयता को एक रिफाइनमेंट संबंध के रूप में परिभाषित करता है और इसे खंडित करने के लिए एक परिमित विचलन गवाह प्रदान करता है। यह स्थापित करता है कि विश्वसनीयता एकतरफा है: घोषित वर्ग को विभाजित करना एक दोष है, लेकिन दो अलग घोषित वर्गों को मिलाना एक एकल सतह का दोष नहीं है (यह स्टोर-स्तर का संलयन हो सकता है)।
विचलन वर्गीकरण: यह सिब्लिंग बेस उपलब्ध होने पर विचलन के लिए एक चार-तरफा स्थानीय लैटिस वर्गीकरण पेश करता है, जो शासन प्रतिस्थापन की वैश्विक स्थिति से इस स्थानीय संरेखण को अलग करता है। यह एक ठोस निर्माण (एक वर्शन फ़ील्ड जो प्रत्येक संपादन पर बढ़ता है) प्रदान करता है जो सब-सिब्लिंग मामले में आता है।
पास वर्डिक्ट की गैर-मोनोटोनिसिटी (Non-Monotonicity of Pass Verdicts): यह सिद्ध करता है कि "पास" का निर्णय ट्रांसफॉर्मेशन हिस्ट्री के विस्तार के तहत मोनोटोनिक नहीं है। इतिहास जोड़ने से पहले से अलग घोषित वर्ग आपस में मिल सकते हैं, जिससे उन रिकॉर्ड्स के बीच विचलन गवाह उत्पन्न होता है जिनका पहले परीक्षण किया गया था और जिन्हें विश्वसनीय पाया गया था, बिना सतह या रिकॉर्ड्स में किसी परिवर्तन के।
प्रकटीकरण-सापेक्षता (Disclosure-Relativity): यह स्पष्ट रूप से ऑडिट को तीन प्रकटीकरण सीमाओं के सापेक्ष फ्रेम करता है: रजिस्ट्री में आर्टिफैक्ट्स, मूल्यांकित सतह, और पहचाने गए पहचान-प्रासंगिक उपयोग। प्रत्येक सीमा एक पूर्णता दावा (completeness claim) रखती जिसे प्रक्रिया निष्पादित नहीं कर सकती लेकिन एक परिमित गवाह के साथ खंडित कर सकती है।

4. परिणाम और निर्णायकता (Results and Decidability)

परिमित निर्णायकता (Finite Decidability): एक परिमित रिकॉर्ड डोमेन, परिमित इतिहास और निर्णायक वर्गीकरण कार्यों की धारणा के तहत, घोषित विभाजन, परिचालन विभाजन, विश्वसनीयता, विचलन गवाह और विचलन वर्गीकरण सभी गणनीय (computable) हैं।
जटिलता (Complexity): यूनियन-फाइंड का उपयोग करके $\pi$ बनाने के लिए $O((n+h)\alpha(n))$ समय लगता है, जहाँ $n$ रिकॉर्ड्स की संख्या है और $h$ इतिहास की लंबाई है। वर्डिक्ट और वर्गीकरण को पेयर एन्यूमरेशन (pair enumeration) के माध्यम से $O(n^2)$ समय में या हैशिंग का उपयोग करके अपेक्षित $O(n)$ समय में कंप्यूट किया जा सकता है।
तीन-मूल्य वाला वर्डिक्ट (Three-Valued Verdict): ऑडिट पास (pass), फेल (fail) (गवाह और वर्गीकरण के साथ), या अनिश्चित (indeterminate) (यदि पूर्वशर्तें जैसे इतिहास की सटीकता या सतह नियंत्रण पूरे नहीं होते हैं) लौटाता है।
कार्यकारी उदाहरण (Worked Example): एक कानूनी-संरेखण परिदृश्य दिखाता है कि कैसे एक सिस्टम 'कंटेंट-फिक्स्ड रूल आइडेंटिटी' ( $RULE\text{-}C$ ) घोषित करता है जबकि एक वर्शन फ़ील्ड कार्यान्वयन प्रत्येक टेक्स्ट परिवर्तन पर रिकॉर्ड को विभाजित करता है। ऑडिट इसे सब-सिब्लिंग विचलन के रूप में पहचानता है (जो कंटेंट-फिक्स्ड और स्ट्रक्चर-फिक्स्ड दोनों से अधिक सूक्ष्म है), यह सिद्ध करता है कि सिस्टम घोषित शासन नहीं चला रहा है, न ही यह केवल सिब्लिंग शासन ( $RULE\text{-}S$ ) चला रहा है।

5. महत्व और दावे (Significance and Claims)

शोध पत्र दावा करता है कि यह एक सिस्टम क्या घोषित करता है और वह क्या करता है, इसके बीच की तुलना का "दूसरा आधा हिस्सा" प्रदान करता है। इसका महत्व निम्नलिखित में निहित है:

अदृश्य को औपचारिक बनाना: यह "अघोषित समानता के नियम" को गणना योग्य और ऑडिट योग्य बनाता है, जो इसे साधारण विसंगति या विरोधाभास से अलग करता है।
तटस्थता: यह "सही" पहचान आधार (जैसे, क्या कंटेंट या स्ट्रक्चर को नियम परिभाषित करना चाहिए) को निर्धारित नहीं करता है। इसके बजाय, यह प्रभावी घोषित शासन को एक इनपुट के रूप में लेता है और जाँचता है कि क्या कार्यान्वयन इसके प्रति वफादार है।
ऑडिट कठोरता: यह स्थापित करता है कि पास वर्डिक्ट एक विशिष्ट इतिहास और प्रकटीकरण सेट के बारे में एक कथन है, न कि एक स्टोर का स्थायी प्रमाण। यह रेखांकित करता है कि इतिहास का विस्तार करने से पिछले 'पास' वर्डिक्ट को पूर्वव्यापी रूप से अमान्य किया जा सकता है।
सीमाएँ: शोध पत्र अपने दायरे के बारे में विनम्र है। यह रजिस्ट्री के बाहर छिपे तंत्रों की खोज नहीं करता है, न ही यह किसी मौलिक कानूनी या कारण संबंधी प्रश्नों को हल करता है। यह एक औपचारिक वस्तु (परिचालन विभाजन) प्रदान करता है और विचलन के लिए एक परिमित गवाह देता है, विचलन के लिए जिम्मेदार विशिष्ट आधार की पहचान करने का कार्य ऑडिटर पर छोड़ देता है।

ऑडिट को विवाद के विषय के संबंध में जिम्मेदारी और कानूनी व्याख्या के उच्च-क्रम के प्रश्नों के परीक्षण के लिए एक आवश्यक पूर्व शर्त के रूप में प्रस्तुत किया गया है, जिससे यह सुनिश्चित होता है कि विवाद के विषय के संदर्भ को स्थिर और निरीक्षण योग्य बना कर रखा जाए।