arelle-release 2.37.40__py3-none-any.whl → 2.37.42__py3-none-any.whl

arelle/_version.py

@@ -17,5 +17,5 @@ __version__: str
 __version_tuple__: VERSION_TUPLE
 version_tuple: VERSION_TUPLE
 
-__version__ = version = '2.37.40'
-__version_tuple__ = version_tuple = (2, 37, 40)
+__version__ = version = '2.37.42'
+__version_tuple__ = version_tuple = (2, 37, 42)

arelle/plugin/validate/EDINET/PluginValidationDataExtension.py

@@ -10,9 +10,12 @@ from functools import lru_cache
 from pathlib import Path
 
 from arelle.ModelDocument import Type as ModelDocumentType
+from arelle.ModelInstanceObject import ModelFact
 from arelle.ModelObject import ModelObject
+from arelle.ModelValue import QName, qname
 from arelle.ModelXbrl import ModelXbrl
 from arelle.PrototypeDtsObject import LinkPrototype
+from arelle.ValidateDuplicateFacts import getDeduplicatedFacts, DeduplicationType
 from arelle.ValidateXbrl import ValidateXbrl
 from arelle.typing import TypeGetText
 from arelle.utils.PluginData import PluginData
@@ -31,8 +34,17 @@ class UploadContents:
 
 @dataclass
 class PluginValidationDataExtension(PluginData):
+    assetsIfrsQn: QName
+    liabilitiesAndEquityIfrsQn: QName
+
     _primaryModelXbrl: ModelXbrl | None = None
 
+    def __init__(self, name: str):
+        super().__init__(name)
+        jpigpNamespace = "http://disclosure.edinet-fsa.go.jp/taxonomy/jpigp/2024-11-01/jpigp_cor"
+        self.assetsIfrsQn = qname(jpigpNamespace, 'AssetsIFRS')
+        self.liabilitiesAndEquityIfrsQn = qname(jpigpNamespace, "LiabilitiesAndEquityIFRS")
+
     # Identity hash for caching.
     def __hash__(self) -> int:
         return id(self)
@@ -63,6 +75,10 @@ class PluginValidationDataExtension(PluginData):
             return False  # Not a zipfile
         return True
 
+    @lru_cache(1)
+    def getDeduplicatedFacts(self, modelXbrl: ModelXbrl) -> list[ModelFact]:
+        return getDeduplicatedFacts(modelXbrl, DeduplicationType.CONSISTENT_PAIRS)
+
     @lru_cache(1)
     def getFootnoteLinkElements(self, modelXbrl: ModelXbrl) -> list[ModelObject | LinkPrototype]:
         # TODO: Consolidate with similar implementations in EDGAR and FERC

arelle/plugin/validate/EDINET/resources/config.xml

@@ -6,6 +6,7 @@
     <DisclosureSystem
             names="EDINET|edinet"
             description="Checks for EDINET."
+            defaultXmlLang="ja"
             blockDisallowedReferences="true"
             validationType="EDINET"
             validTaxonomiesUrl="edinet-taxonomies.xml"

arelle/plugin/validate/EDINET/rules/edinet.py

@@ -3,11 +3,14 @@ See COPYRIGHT.md for copyright information.
 """
 from __future__ import annotations
 
-import itertools
-from collections.abc import Iterable
-from typing import Any
+from collections import defaultdict
+from decimal import Decimal
+from typing import Any, Iterable, cast
 
-from arelle import XbrlConst
+import regex
+
+from arelle import XbrlConst, ValidateDuplicateFacts
+from arelle.ValidateDuplicateFacts import DuplicateType
 from arelle.ValidateXbrl import ValidateXbrl
 from arelle.typing import TypeGetText
 from arelle.utils.PluginHooks import ValidationHook
@@ -62,6 +65,41 @@ def rule_EC5002E(
         )
 
 
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC8024E(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC8024E: Instance values of the same element, context, and unit may not
+    have different values or different decimals attributes.
+    Correct the element with the relevant context ID. For elements in an inline XBRL file that have
+    duplicate elements, context IDs, and unit IDs, set the same values for the value and
+    decimals attribute.
+    """
+    duplicateFactSets = ValidateDuplicateFacts.getDuplicateFactSetsWithType(val.modelXbrl.facts, DuplicateType.INCOMPLETE)
+    for duplicateFactSet in duplicateFactSets:
+        fact = duplicateFactSet.facts[0]
+        yield Validation.error(
+            codes='EDINET.EC8024E',
+            msg=_("Instance values of the same element, context, and unit may not "
+                  "have different values or different decimals attributes. <element=%(concept)s> "
+                  "<contextID=%(context)s> <unit=%(unit)s>. Correct the element with the relevant "
+                  "context ID. For elements in an inline XBRL file that have duplicate "
+                  "elements, context IDs, and unit IDs, set the same values for the value and "
+                  "decimals attribute."),
+            concept=fact.qname,
+            context=fact.contextID,
+            unit=fact.unitID,
+            modelObject=duplicateFactSet.facts,
+        )
+
+
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
@@ -84,6 +122,13 @@ def rule_EC8033W(
            and context.endDatetime is not None
            and context.isStartEndPeriod
     ]
+    latestPriorYearContext = None
+    for priorYearContext in priorYearContexts:
+        if latestPriorYearContext is None or \
+                priorYearContext.endDatetime > latestPriorYearContext.endDatetime:
+            latestPriorYearContext = priorYearContext
+    if latestPriorYearContext is None:
+        return
     currentYearContexts = [
         context
         for contextId, context in val.modelXbrl.contexts.items()
@@ -91,17 +136,72 @@ def rule_EC8033W(
            and context.startDatetime is not None
            and context.isStartEndPeriod
     ]
-    for priorYearContext, currentYearContext in itertools.product(priorYearContexts, currentYearContexts):
-        if priorYearContext.endDatetime > currentYearContext.startDatetime:
+    earliestCurrentYearContext = None
+    for currentYearContext in currentYearContexts:
+        if earliestCurrentYearContext is None or \
+                currentYearContext.endDatetime > earliestCurrentYearContext.startDatetime:
+            earliestCurrentYearContext = currentYearContext
+    if earliestCurrentYearContext is None:
+        return
+    if latestPriorYearContext.endDatetime > earliestCurrentYearContext.startDatetime:
+        yield Validation.warning(
+            codes='EDINET.EC8033W',
+            msg=_("The startDate element of the current year context (id=%(currentYearContextId)s) is "
+                  "set to a date that is earlier than the endDate element of the prior year context "
+                  "(id=%(priorYearContextId)s). Please check the corresponding context ID "
+                  "%(currentYearContextId)s and %(priorYearContextId)s. Set the startDate element of "
+                  "context ID %(currentYearContextId)s to a date that is later than or equal to the "
+                  "endDate element of context ID %(priorYearContextId)s."),
+            currentYearContextId=earliestCurrentYearContext.id,
+            priorYearContextId=latestPriorYearContext.id,
+            modelObject=priorYearContexts + currentYearContexts,
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC8062W(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC8062W: The sum of all liabilities and equity must equal the sum of all assets.
+    """
+    deduplicatedFacts = pluginData.getDeduplicatedFacts(val.modelXbrl)
+    contextIdPattern = regex.compile(r'^(Prior[1-9]Year|CurrentYear|Prior[1-9]Interim|Interim)(Duration|Instant)$')
+
+    factsByContextId = defaultdict(list)
+    for fact in deduplicatedFacts:
+        if fact.qname not in (pluginData.assetsIfrsQn, pluginData.liabilitiesAndEquityIfrsQn):
+            continue
+        if fact.contextID is None or not contextIdPattern.match(fact.contextID):
+            continue
+        factsByContextId[fact.contextID].append(fact)
+
+    for facts in factsByContextId.values():
+        assetSum = Decimal(0)
+        liabilitiesAndEquitySum = Decimal(0)
+        for fact in facts:
+            if isinstance(fact.xValue, float):
+                value = Decimal(fact.xValue)
+            else:
+                value = cast(Decimal, fact.xValue)
+            if fact.qname == pluginData.assetsIfrsQn:
+                assetSum += value
+            elif fact.qname == pluginData.liabilitiesAndEquityIfrsQn:
+                liabilitiesAndEquitySum += value
+        if assetSum != liabilitiesAndEquitySum:
             yield Validation.warning(
-                codes='EDINET.EC8033W',
-                msg=_("The startDate element of the current year context (id=%(currentYearContextId)s) is "
-                      "set to a date that is earlier than the endDate element of the prior year context "
-                      "(id=%(priorYearContextId)s). Please check the corresponding context ID "
-                      "%(currentYearContextId)s and %(priorYearContextId)s. Set the startDate element of "
-                      "context ID %(currentYearContextId)s to a date that is later than or equal to the "
-                      "endDate element of context ID %(priorYearContextId)s."),
-                currentYearContextId=currentYearContext.id,
-                priorYearContextId=priorYearContext.id,
-                modelObject=(priorYearContext, currentYearContext),
+                codes='EDINET.EC8062W',
+                msg=_("The consolidated statement of financial position is not reconciled. "
+                      "The sum of all liabilities and equity must equal the sum of all assets. "
+                      "Please correct the debit (%(liabilitiesAndEquitySum)s) and credit (%(assetSum)s) "
+                      "values so that they match."),
+                liabilitiesAndEquitySum=f"{liabilitiesAndEquitySum:,}",
+                assetSum=f"{assetSum:,}",
+                modelObject=facts,
             )

arelle/plugin/validate/EDINET/rules/gfm.py

@@ -3,13 +3,16 @@ See COPYRIGHT.md for copyright information.
 """
 from __future__ import annotations
 
+from collections import defaultdict
 from datetime import timedelta
 from typing import Any, cast, Iterable
 
 import regex
 
 from arelle import XbrlConst, XmlUtil
+from arelle.ModelInstanceObject import ModelFact
 from arelle.ModelObject import ModelObject
+from arelle.ModelValue import QName
 from arelle.PrototypeDtsObject import LocPrototype, ArcPrototype
 from arelle.UrlUtil import isHttpUrl, splitDecodeFragment
 from arelle.ValidateXbrl import ValidateXbrl
@@ -311,6 +314,42 @@ def rule_gfm_1_2_10(
         )
 
 
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_2_13(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.2.13] An instance having a fact with non-nil content and the xml:lang
+    attribute of value different than the default language must also contain a fact using the same element
+    and all other attributes with an xml:lang attribute that represents the default language.
+    """
+    defaultLang = cast(str, val.disclosureSystem.defaultXmlLang)
+    languageFacts: dict[str,dict[QName, set[ModelFact]]] = defaultdict(lambda: defaultdict(set))
+    for fact in val.modelXbrl.facts:
+        if fact.xValid >= VALID and fact.xmlLang is not None and not fact.isNil:
+            languageFacts[fact.xmlLang][fact.qname].add(fact)
+    for language, qnames in languageFacts.items():
+        if language != defaultLang:
+            for qname, facts in qnames.items():
+                matchingQnames = languageFacts[defaultLang][qname]
+                for fact in facts:
+                    if not any(fact.context.isEqualTo(mq.context) for mq in matchingQnames):
+                        yield Validation.warning(
+                            codes='EDINET.EC5700W.GFM.1.2.13',
+                            msg=_('There is an element whose xml:lang attribute is in a language other than Japanese, '
+                                  'but there is no element whose xml:lang attribute is in Japanese. Delete the non-Japanese element, '
+                                  'or set an element whose xml:lang attribute is in Japanese.'),
+                            modelObject = fact
+                        )
+
+
+
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],

arelle/plugin/validate/ROS/rules/ros.py

@@ -4,10 +4,11 @@ See COPYRIGHT.md for copyright information.
 from __future__ import annotations
 
 import os
-from typing import Any
+from typing import Any, cast
 
 from collections import Counter
 from collections.abc import Iterable
+from decimal import Decimal
 
 from arelle.typing import TypeGetText
 from arelle.ValidateXbrl import ValidateXbrl
@@ -296,23 +297,25 @@ def rule_ros19(
     """
     ROS: Rule 19: DPLTurnoverRevenue should be tested to be less than or equal to 10x the absolute value of Equity
     """
+    def convertToDecimal(value):
+        return Decimal(value) if isinstance(value, float) else cast(Decimal, value)
     equity_facts = val.modelXbrl.factsByLocalName.get(EQUITY, set())
     largest_equity_fact = None
     for e_fact in equity_facts:
         if e_fact.xValid >= VALID:
-            if largest_equity_fact is None or abs(int(e_fact.value)) > abs(int(largest_equity_fact.value)):
+            if largest_equity_fact is None or abs(convertToDecimal(e_fact.xValue)) > abs(convertToDecimal(largest_equity_fact.xValue)):
                 largest_equity_fact = e_fact
 
     turnover_facts = val.modelXbrl.factsByLocalName.get(TURNOVER_REVENUE, set())
     largest_turnover_fact = None
     for t_fact in turnover_facts:
         if t_fact.xValid >= VALID:
-            if largest_turnover_fact is None or int(t_fact.value) > int(largest_turnover_fact.value):
+            if largest_turnover_fact is None or convertToDecimal(t_fact.xValue) > convertToDecimal(largest_turnover_fact.xValue):
                 largest_turnover_fact = t_fact
 
     if (largest_equity_fact is not None and
             largest_turnover_fact is not None and
-            int(largest_turnover_fact.value) > (10 * abs(int(largest_equity_fact.value)))):
+            convertToDecimal(largest_turnover_fact.xValue) > (10 * abs(convertToDecimal(largest_equity_fact.xValue)))):
         yield Validation.error(
             "ROS.19",
             _("Turnover / Revenue (DPLTurnoverRevenue) may exceed the maximum expected value. Please review the submission and, if correct, test your submission with Revenue Online's iXBRL test facility."),

{arelle_release-2.37.40.dist-info → arelle_release-2.37.42.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: arelle-release
-Version: 2.37.40
+Version: 2.37.42
 Summary: An open source XBRL platform.
 Author-email: "arelle.org" <support@arelle.org>
 License-Expression: Apache-2.0

{arelle_release-2.37.40.dist-info → arelle_release-2.37.42.dist-info}/RECORD

@@ -123,7 +123,7 @@ arelle/XmlValidateConst.py,sha256=U_wN0Q-nWKwf6dKJtcu_83FXPn9c6P8JjzGA5b0w7P0,33
 arelle/XmlValidateParticles.py,sha256=Mn6vhFl0ZKC_vag1mBwn1rH_x2jmlusJYqOOuxFPO2k,9231
 arelle/XmlValidateSchema.py,sha256=6frtZOc1Yrx_5yYF6V6oHbScnglWrVbWr6xW4EHtLQI,7428
 arelle/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-arelle/_version.py,sha256=rxJ_q4vyjbOfPG_eNhLacH0vqtMeCXGlM6EfD3QLIcE,515
+arelle/_version.py,sha256=ksGS-4a5qZTGFbhhxaUO_PlhVGdAJc3Vdh01X5jVPGA,515
 arelle/typing.py,sha256=PRe-Fxwr2SBqYYUVPCJ3E7ddDX0_oOISNdT5Q97EbRM,1246
 arelle/api/Session.py,sha256=27HVuK3Bz1_21l4_RLn1IQg6v0MNsUEYrHajymyWwxI,7429
 arelle/archive/CustomLogger.py,sha256=v_JXOCQLDZcfaFWzxC9FRcEf9tQi4rCI4Sx7jCuAVQI,1231
@@ -396,15 +396,15 @@ arelle/plugin/validate/EDINET/Constants.py,sha256=QG69rWdpIrpQzZQkRcDWk2i3rlBVoh
 arelle/plugin/validate/EDINET/DisclosureSystems.py,sha256=3rKG42Eg-17Xx_KXU_V5yHW6I3LTwQunvf4a44C9k_4,36
 arelle/plugin/validate/EDINET/FormType.py,sha256=pJfKjdjqFcRLFgH6xbEixvpwatZBBHI8uI3xjjhaPI0,3175
 arelle/plugin/validate/EDINET/Manifest.py,sha256=VWenzA1ndOp802zpTELSLREbCrzrA-nM1UCRpRf1Q3M,4849
-arelle/plugin/validate/EDINET/PluginValidationDataExtension.py,sha256=vJPs5GgNJbRUBTKP0ULMb4UqvDoGATPC9dTFsKG4HyI,6347
+arelle/plugin/validate/EDINET/PluginValidationDataExtension.py,sha256=8w0C-H4hskBN9rho0M6wGgQfkTZMgM3aot6L0sYLVwc,7084
 arelle/plugin/validate/EDINET/ValidationPluginExtension.py,sha256=HIGOpBOyuVs5SEh573M3IzdouRdEuNIBkdumieZi8r0,959
 arelle/plugin/validate/EDINET/__init__.py,sha256=ew9Rc2qJe5d3XvOOFzhX6MfzxNUtxIYfxRGX-wkfR1c,3555
-arelle/plugin/validate/EDINET/resources/config.xml,sha256=GmLcW7UIj5koXJkN19P6Nq5EZJcs6gKQLQ5f2V6u78w,614
+arelle/plugin/validate/EDINET/resources/config.xml,sha256=7uT4GcRgk5veMLpFhPPQJxbGKiQvM52P8EMrjn0qd0g,646
 arelle/plugin/validate/EDINET/resources/edinet-taxonomies.xml,sha256=997I3RGTLg5OY3vn5hQxVFAAxOmDSOYpuyQe6VnWSY0,16285
 arelle/plugin/validate/EDINET/rules/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-arelle/plugin/validate/EDINET/rules/edinet.py,sha256=PKbylqzhbi2ItMCW-eliaQysCzYg_rAkWzwRJmX1RtQ,4180
+arelle/plugin/validate/EDINET/rules/edinet.py,sha256=DTSQY1iEeJ6TTgLFRwi99Pxu8hUdZd51M398RILhf8c,8494
 arelle/plugin/validate/EDINET/rules/frta.py,sha256=N0YglHYZuLD2IuwE26viR2ViwUYjneBuMFU9vlrS0aQ,7616
-arelle/plugin/validate/EDINET/rules/gfm.py,sha256=Zn803dztEEVAFqOdOnbkWTPt3h6e7DXAulc68U14ylc,20062
+arelle/plugin/validate/EDINET/rules/gfm.py,sha256=4EKMho6eX-Ygl8yMBVabHQpbC-wxMvi067ubN9mp27U,21982
 arelle/plugin/validate/EDINET/rules/upload.py,sha256=HZ-9Gk6WtIichTGcSsSGIrMXNgsgJYQYwfUKeLs1XWU,20369
 arelle/plugin/validate/ESEF/Const.py,sha256=JujF_XV-_TNsxjGbF-8SQS4OOZIcJ8zhCMnr-C1O5Ho,22660
 arelle/plugin/validate/ESEF/Dimensions.py,sha256=MOJM7vwNPEmV5cu-ZzPrhx3347ZvxgD6643OB2HRnIk,10597
@@ -441,7 +441,7 @@ arelle/plugin/validate/ROS/__init__.py,sha256=KuWg1MHVzA2S6eaHFptvP3Vu_5gQWf3OUY
 arelle/plugin/validate/ROS/config.xml,sha256=ZCpCFgr1ZAjoUuhb1eRpDnmKrae-sXA9yl6SOWnrfm8,654
 arelle/plugin/validate/ROS/resources/config.xml,sha256=HXWume5HlrAqOx5AtiWWqgADbRatA8YSfm_JvZGwdgQ,657
 arelle/plugin/validate/ROS/rules/__init__.py,sha256=wW7BUAIb7sRkOxC1Amc_ZKrz03FM-Qh1TyZe6wxYaAU,1567
-arelle/plugin/validate/ROS/rules/ros.py,sha256=pkEDeMeDibxGO597VWQrp4sz7JAxttWbKkn-ncKHvus,19635
+arelle/plugin/validate/ROS/rules/ros.py,sha256=Dk5BkfKQYItImdx5FcFvkMWT5BlJ1r_L7Vn-EsCG85A,19870
 arelle/plugin/validate/UK/ValidateUK.py,sha256=0UhSwsY1lrY-EAEBJJR9QY38YXGBZ6PEgmuC5gQfBlI,57813
 arelle/plugin/validate/UK/__init__.py,sha256=KE6s_B-EvrHDCtWQz2N_wQwyx_ZbWhYNV2GfQnluxMw,30655
 arelle/plugin/validate/UK/config.xml,sha256=mUFhWDfBzGTn7v0ZSmf4HaweQTMJh_4ZcJmD9mzCHrA,1547
@@ -759,9 +759,9 @@ arelle/utils/validate/ValidationUtil.py,sha256=9vmSvShn-EdQy56dfesyV8JjSRVPj7txr
 arelle/utils/validate/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 arelle/webserver/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 arelle/webserver/bottle.py,sha256=P-JECd9MCTNcxCnKoDUvGcoi03ezYVOgoWgv2_uH-6M,362
-arelle_release-2.37.40.dist-info/licenses/LICENSE.md,sha256=Q0tn6q0VUbr-NM8916513NCIG8MNzo24Ev-sxMUBRZc,3959
-arelle_release-2.37.40.dist-info/METADATA,sha256=APvbQz9C9vSm13meJ_BiDNePwH_bHMXmYHcrFeemYbo,9137
-arelle_release-2.37.40.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-arelle_release-2.37.40.dist-info/entry_points.txt,sha256=Uj5niwfwVsx3vaQ3fYj8hrZ1xpfCJyTUA09tYKWbzpo,111
-arelle_release-2.37.40.dist-info/top_level.txt,sha256=fwU7SYawL4_r-sUMRg7r1nYVGjFMSDvRWx8VGAXEw7w,7
-arelle_release-2.37.40.dist-info/RECORD,,
+arelle_release-2.37.42.dist-info/licenses/LICENSE.md,sha256=Q0tn6q0VUbr-NM8916513NCIG8MNzo24Ev-sxMUBRZc,3959
+arelle_release-2.37.42.dist-info/METADATA,sha256=y-aLY_rzUkLN5s8wSNwDLgALr5YnSDDGAqVHrP1lRnI,9137
+arelle_release-2.37.42.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+arelle_release-2.37.42.dist-info/entry_points.txt,sha256=Uj5niwfwVsx3vaQ3fYj8hrZ1xpfCJyTUA09tYKWbzpo,111
+arelle_release-2.37.42.dist-info/top_level.txt,sha256=fwU7SYawL4_r-sUMRg7r1nYVGjFMSDvRWx8VGAXEw7w,7
+arelle_release-2.37.42.dist-info/RECORD,,