<div class="notebook"> <div class="nb-cell markdown" name="md1"> # Comparison of States: the Tests See _Understanding Errors that Can Occur which Method Detects and Prevents (Comparison of States)_ *IMPORTANT*: In order to run the examples below, please start by *authenticating with any Google account*, by clicking the Google icon at the top right corner of this window. </div> <div class="nb-cell markdown" name="md2"> ## State 1 (Properly functioning logical system) </div> <div class="nb-cell query" name="q1"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state1/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [valueAssertionsCanDerive],Result). </div> <div class="nb-cell markdown" name="md5"> ## State 2 (Incomplete coverage by rules) </div> <div class="nb-cell query" name="q2"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state2/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [valueAssertionsCanDerive],Result). </div> <div class="nb-cell markdown" name="md6"> ## State 3 (Inconsistent and Imprecise) </div> <div class="nb-cell query" name="q3"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state3/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [valueAssertionsCanDerive],Result). </div> <div class="nb-cell markdown" name="md7"> ## State 4 (Unreported fact) </div> <div class="nb-cell query" name="q4"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state4/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [valueAssertionsCanDerive],Result). </div> <div class="nb-cell markdown" name="md8"> ## State 4a (Unreported facts, but fact is derived) </div> <div class="nb-cell query" name="q5"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state4a/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks],Result). </div> <div class="nb-cell markdown" name="md9"> ## State 5 (Incomplete, missing fact and derivation rule) </div> <div class="nb-cell query" name="q6"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state5/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks],Result). </div> <div class="nb-cell markdown" name="md10"> ## State 6 (Imprecise rule) </div> <div class="nb-cell query" name="q7"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state6/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks],Result). </div> <div class="nb-cell markdown" name="md11"> ## State 7 (Extension concept, missing metadata) </div> <div class="nb-cell query" name="q8"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state7/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks],Result). </div> <div class="nb-cell markdown" name="md12"> ## State 7a (Extension concept, no missing metadata) </div> <div class="nb-cell query" name="q9"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state7a/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","dm-BalanceSheet-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks],Result). </div> <div class="nb-cell markdown" name="md13"> ## State 9 (Defining completely new structure, missing information) </div> <div class="nb-cell query" name="q10"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state9/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","http://www.xbrlsite.com/2021/testing/ae/disclosure-mechanics/dm.xsd","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks],Result). </div> <div class="nb-cell markdown" name="md14"> ## State 9a (Defining completely new structure properly) </div> <div class="nb-cell query" name="q11"> checkReport3("http://www.xbrlsite.com/2021/testing/ae/state9a/instance.xml", ["http://www.xbrlsite.com/2021/testing/ae/model-structure/model-structure-strict-def.xml","dm-NetAssets-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/reporting-checklist/dr-rules-def.xml","http://www.xbrlsite.com/2021/testing/ae/type-subtype/type-subtype-def.xml"], [newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks],Result). </div> </div>