arelle-release 2.37.56__py3-none-any.whl → 2.37.58__py3-none-any.whl

arelle/plugin/validate/EDINET/resources/cover-page-requirements.csv

@@ -0,0 +1,27 @@
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×
+○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,△,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×
+×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,×,×,×,×,×,×,×,×,×,×,×,×
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,×,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,○,○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,×,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,○,○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,○,○,○,○,○,○,×,○,○,○,○,○,○,×,×,×,×,×,×,○,○,×,×,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,◎,◎,◎,○,◎,◎,×,◎,◎,◎,◎,○,◎,×,×,×,×,×,×,○,○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,×,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,○,○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,×,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,○,○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,×,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,○,○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,×,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,○,○,×,×,○,○,○,○,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,○,○,○,○,○,○,×,○,○,○,○,○,○,×,×,×,×,×,×,○,○,×,×,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,○,○,○,○,○,○,×,○,○,○,○,○,○,×,×,×,×,×,×,○,○,×,×,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,○,○,○,○,○,○,×,○,○,○,○,○,○,×,×,×,×,×,×,○,○,×,×,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,×,×,×,×,×,×,×,○,○,×,×,×,×,×,×,×,×,×,×,○,○,×,×,○,○,○,○,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+○,×,×,○,○,○,○,×,×,×,×,×,×,×,○,○,×,×,×,×,×,×,×,×,×,×,○,○,×,×,○,○,○,○,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×,×
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○,○
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎
+◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎,◎

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

@@ -93,7 +93,7 @@ def rule_EC1057E(
     Ensure that there is a nonnil value disclosed for FilingDateCoverPage
     Note: This rule is only applicable to the public documents.
     """
-    dei = pluginData.getDocumentTypes(val.modelXbrl)
+    dei = pluginData.getFormTypes(val.modelXbrl)
     if len(dei) > 0:
         if not (pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpcrpEsrFilingDateCoverPageQn)
                 or pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpcrpFilingDateCoverPageQn)

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

@@ -10,6 +10,7 @@ from typing import Any, cast, Iterable
 import regex
 
 from arelle import XbrlConst, XmlUtil
+from arelle.ModelDtsObject import ModelConcept
 from arelle.ModelInstanceObject import ModelFact
 from arelle.ModelObject import ModelObject
 from arelle.ModelValue import QName
@@ -26,12 +27,14 @@ from arelle.utils.Units import getDuplicateUnitGroups
 from arelle.utils.validate.Decorator import validation
 from arelle.utils.validate.Validation import Validation
 from arelle.utils.validate.ValidationUtil import etreeIterWithDepth
+from ..Constants import NUMERIC_LABEL_ROLES
 from ..DisclosureSystems import (DISCLOSURE_SYSTEM_EDINET)
 from ..PluginValidationDataExtension import PluginValidationDataExtension
 
 
 _: TypeGetText
 
+DISALLOWED_LABEL_WHITE_SPACE_CHARACTERS = regex.compile(r'\s{2,}')
 GFM_CONTEXT_DATE_PATTERN = regex.compile(r"^[12][0-9]{3}-[01][0-9]-[0-3][0-9]$")
 GFM_RECOMMENDED_NAMESPACE_PREFIXES = {
     XbrlConst.xbrli: ("xbrli",),
@@ -672,6 +675,168 @@ def rule_gfm_1_3_8(
         )
 
 
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_20(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.20] Set the nillable attribute value to "true".
+
+    GFM 1.3.20 The nillable attribute value of an xsd:element must equal "true".
+    """
+    nonNillableElements = set()
+    for concept in val.modelXbrl.qnameConcepts.values():
+        if concept.namespaceURI == XbrlConst.xsd:
+            if concept.get("nillable") == "false":
+                nonNillableElements.add(concept)
+    if len(nonNillableElements) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.3.20',
+            msg=_("Set the nillable attribute value to 'true'."),
+            modelObject=nonNillableElements
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_21(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.21] Remove the tuple definition.
+    """
+    tupleConcepts = [
+        concept for concept in pluginData.getExtensionConcepts(val.modelXbrl)
+        if concept.isTuple
+    ]
+    if len(tupleConcepts) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.3.21',
+            msg=_("Remove the tuple definition."),
+            modelObject=tupleConcepts
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_22(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.22] Do not set the xbrldt:typedDomainRef attribute on elements defined in submitter-specific taxonomies.
+    """
+    typedDomainConcepts = [
+        concept for concept in pluginData.getExtensionConcepts(val.modelXbrl)
+        if concept.isTypedDimension
+    ]
+
+    if len(typedDomainConcepts) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.3.22',
+            msg=_("Do not set the xbrldt:typedDomainRef attribute on elements defined in submitter-specific taxonomies."),
+            modelObject=typedDomainConcepts
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_23(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.23] Set the periodType attribute to "duration".
+
+    GFM 1.3.23 If the abstract attribute of xsd:element is "true", then the
+    xbrli:periodType attribute must be "duration".
+    """
+    instantAbstractElements = set()
+    for concept in val.modelXbrl.qnameConcepts.values():
+        if concept.abstract == "true" and  concept.periodType == "instant":
+            instantAbstractElements.add(concept)
+    if len(instantAbstractElements) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.3.23',
+            msg=_("Set the periodType attribute to 'duration'."),
+            modelObject=instantAbstractElements
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_30(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.30] Set the periodType attribute to "duration".
+
+    GFM 1.3.30 If xsd:element type attribute equals "nonnum:domainItemType" then
+    the xbrli:periodType attribute must equal "duration".
+    """
+    instantDomainElements = set()
+    for concept in val.modelXbrl.qnameConcepts.values():
+        if concept.type is not None and concept.type.isDomainItemType and concept.periodType == "instant":
+            instantDomainElements.add(concept)
+    if len(instantDomainElements) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.3.30',
+            msg=_("Set the periodType attribute to 'duration'."),
+            modelObject=instantDomainElements
+        )
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_31(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.31] Set the abstract attribute to "true".
+
+    GFM 1.3.31: If xsd:element type attribute equals "nonnum:domainItemType" then
+    the abstract attribute must equal to "true".
+    """
+    nonAbstractDomainElements = set()
+    for concept in val.modelXbrl.qnameConcepts.values():
+        if concept.type is not None and concept.type.isDomainItemType and concept.abstract != "true":
+            nonAbstractDomainElements.add(concept)
+    if len(nonAbstractDomainElements) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.3.31',
+            msg=_("Set the abstract attribute to 'true'."),
+            modelObject=nonAbstractDomainElements
+        )
+
+
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
@@ -683,7 +848,7 @@ def rule_gfm_1_5_6(
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
-    EDINET.EC5700W: [GFM 1.5.6] The length of a label must be less than 511 characters unless it its role is documentation.
+    EDINET.EC5700W: [GFM 1.5.6] The length of a label must be less than 511 characters unless its role is documentation.
     """
     labelRelationshipSet = val.modelXbrl.relationshipSet(XbrlConst.conceptLabel)
     if labelRelationshipSet is None:
@@ -692,7 +857,7 @@ def rule_gfm_1_5_6(
         labelRels = labelRelationshipSet.fromModelObject(concept)
         for rel in labelRels:
             label = rel.toModelObject
-            if label.role != XbrlConst.documentationLabel and label.viewText() is not None and len(label.viewText()) > 511:
+            if label.role != XbrlConst.documentationLabel and label.viewText() is not None and len(label.viewText()) >= 511:
                 yield Validation.warning(
                     codes='EDINET.EC5700W.GFM.1.5.6',
                     msg=_("The concept of '%(concept)s' has a label classified as '%(role)s' that is longer than 511 characters: %(label)s"),
@@ -701,3 +866,107 @@ def rule_gfm_1_5_6(
                     label=label.viewText(),
                     modelObject=label
                 )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_5_7(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.5.7] A label cannot contain the "<" character or consecutive white space characters including
+                    but not limited to: space, carriage return, line feed or tab.
+    """
+    labelRelationshipSet = val.modelXbrl.relationshipSet(XbrlConst.conceptLabel)
+    if labelRelationshipSet is None:
+        return
+    for concept in val.modelXbrl.qnameConcepts.values():
+        labelRels = labelRelationshipSet.fromModelObject(concept)
+        for rel in labelRels:
+            label = rel.toModelObject
+            if label.role != XbrlConst.documentationLabel and label.textValue is not None:
+                if '<' in label.textValue:
+                    yield Validation.warning(
+                        codes='EDINET.EC5700W.GFM.1.5.7',
+                        msg=_("The concept of '%(concept)s' has a label classified as '%(role)s that contains the '<' character: %(label)s"),
+                        concept=concept.qname,
+                        role=label.role,
+                        label=label.textValue,
+                        modelObject=label
+                    )
+                elif DISALLOWED_LABEL_WHITE_SPACE_CHARACTERS.search(label.textValue):
+                    yield Validation.warning(
+                        codes='EDINET.EC5700W.GFM.1.5.7',
+                        msg=_("The concept of '%(concept)s' has a label classified as '%(role)s' that contains consecutive white space characters: %(label)s"),
+                        concept=concept.qname,
+                        role=label.role,
+                        label=label.textValue,
+                        modelObject=label
+                    )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_5_8(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.5.8] A label should not begin or end with a white space character
+    """
+    labelRelationshipSet = val.modelXbrl.relationshipSet(XbrlConst.conceptLabel)
+    if labelRelationshipSet is None:
+        return
+    for concept in val.modelXbrl.qnameConcepts.values():
+        labelRels = labelRelationshipSet.fromModelObject(concept)
+        for rel in labelRels:
+            label = rel.toModelObject
+            if label.textValue is not None and label.textValue != label.textValue.strip():
+                yield Validation.warning(
+                    codes='EDINET.EC5700W.GFM.1.5.8',
+                    msg=_("The concept of '%(concept)s' has a label that contains disallowed white space either at the begining or the end: '%(label)s'"),
+                    concept=concept.qname,
+                    label=label.textValue,
+                    modelObject=label
+                )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_5_10(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.5.10] A non-numeric concept should not have a label with a numeric role
+    """
+    labelRelationshipSet = val.modelXbrl.relationshipSet(XbrlConst.conceptLabel)
+    if labelRelationshipSet is None:
+        return
+    for concept in val.modelXbrl.qnameConcepts.values():
+        if concept.isNumeric:
+            continue
+        labelRels = labelRelationshipSet.fromModelObject(concept)
+        for rel in labelRels:
+            label = rel.toModelObject
+            if not pluginData.isStandardTaxonomyUrl(label.modelDocument.uri, val.modelXbrl) and label.role in NUMERIC_LABEL_ROLES:
+                yield Validation.warning(
+                    codes='EDINET.EC5700W.GFM.1.5.10',
+                    msg=_("The non-numeric concept of '%(concept)s' has a label with a numeric role of '%(labelrole)s'"),
+                    concept=concept.qname,
+                    labelrole=label.role,
+                    modelObject=label
+                )

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

@@ -6,20 +6,24 @@ from __future__ import annotations
 import re
 from collections import defaultdict
 from pathlib import Path
-from typing import Any, Iterable, TYPE_CHECKING
+from typing import Any, Iterable, TYPE_CHECKING, cast
 
 import regex
 
-from arelle import UrlUtil
+from arelle import UrlUtil, XbrlConst
 from arelle.Cntlr import Cntlr
 from arelle.FileSource import FileSource
+from arelle.ModelInstanceObject import ModelFact
 from arelle.ValidateXbrl import ValidateXbrl
+from arelle.XmlValidateConst import VALID
 from arelle.typing import TypeGetText
 from arelle.utils.PluginHooks import ValidationHook
 from arelle.utils.validate.Decorator import validation
 from arelle.utils.validate.Validation import Validation
 from .. import Constants
+from ..CoverPageRequirements import CoverPageItemStatus
 from ..DisclosureSystems import (DISCLOSURE_SYSTEM_EDINET)
+from ..FilingFormat import FILING_FORMATS
 from ..ReportFolderType import ReportFolderType, HTML_EXTENSIONS, IMAGE_EXTENSIONS
 from ..PluginValidationDataExtension import PluginValidationDataExtension
 
@@ -631,6 +635,11 @@ def rules_cover_page(
 ) -> Iterable[Validation]:
     """
     EDINET.EC1000E: Cover page must contain "【表紙】".
+    EDINET.EC1001E: A required item is missing from the cover page.
+    EDINET.EC1002E: A duplicate item is included on the cover page.
+    EDINET.EC1003E: An unnecessary item is included on the cover page.
+    EDINET.EC1004E: An item on the cover page is out of order.
+    EDINET.EC1005E: A required item on the cover page is missing a valid value.
     """
     uploadContents = pluginData.getUploadContents(val.modelXbrl)
     if uploadContents is None:
@@ -645,7 +654,7 @@ def rules_cover_page(
         for elt in rootElt.iterdescendants():
             if not coverPageTextFound and elt.text and '【表紙】' in elt.text:
                 coverPageTextFound = True
-            # TODO: Other checks related to the cover page will be implemented here.
+                break
         if not coverPageTextFound:
             yield Validation.error(
                 codes='EDINET.EC1000E',
@@ -654,6 +663,85 @@ def rules_cover_page(
                       "Please add '【表紙】' to the relevant file."),
                 file=doc.basename,
             )
+        filingFormat = pluginData.getFilingFormat(val.modelXbrl)
+        if filingFormat is None:
+            return
+        coverPageRequirements = pluginData.getCoverPageRequirements(val.modelXbrl)
+        currentLineNumber = 0
+        for qname in pluginData.coverPageItems:
+            foundFacts = []
+            validNonNilFacts = []
+            for fact in pluginData.iterFacts(val.modelXbrl, qname):
+                if fact.modelDocument != doc:
+                    continue
+                if fact.qname.prefix is not None and filingFormat.includesTaxonomyPrefix(fact.qname.prefix):
+                    foundFacts.append(fact)
+                if fact.xValid >= VALID and not fact.isNil:
+                    validNonNilFacts.append(fact)
+
+            for fact in sorted(foundFacts, key=lambda f: cast(int, f.sourceline)):
+                if (sourceLine := cast(int, fact.sourceline)) <= currentLineNumber:
+                    yield Validation.error(
+                        codes='EDINET.EC1004E',
+                        msg=_("Cover item %(localName)s is not in the correct order. "
+                              "File name: '%(file)s'. "
+                              "Please correct the order of cover items in the appropriate file."),
+                        localName=qname.localName,
+                        file=doc.basename,
+                        modelObject=fact,
+                    )
+                else:
+                    currentLineNumber = sourceLine
+
+            if len(foundFacts) > 1:
+                yield Validation.error(
+                    codes='EDINET.EC1002E',
+                    msg=_("Cover item %(localName)s is duplicated. "
+                          "File name: '%(file)s'. "
+                          "Please check the cover item %(localName)s of the relevant file "
+                          "and make sure there are no duplicates."),
+                    localName=qname.localName,
+                    file=doc.basename,
+                    modelObject=foundFacts,
+                )
+
+            status = coverPageRequirements.get(qname, filingFormat)
+            if status is None:
+                continue
+            if status == CoverPageItemStatus.REQUIRED:
+                if len(foundFacts) == 0:
+                    yield Validation.error(
+                        codes='EDINET.EC1001E',
+                        msg=_("Cover item %(localName)s is missing. "
+                              "File name: '%(file)s'. "
+                              "Please add the cover item %(localName)s to the relevant file."),
+                        localName=qname.localName,
+                        file=doc.basename,
+                    )
+                elif len(validNonNilFacts) == 0:
+                    yield Validation.error(
+                        codes='EDINET.EC1005E',
+                        msg=_("Cover item %(localName)s is missing a valid value. "
+                              "File name: '%(file)s'. "
+                              "Please enter a valid value for %(localName)s in the relevant file."),
+                        localName=qname.localName,
+                        file=doc.basename,
+                        modelObject=foundFacts,
+                    )
+            elif status == CoverPageItemStatus.PROHIBITED:
+                for fact in foundFacts:
+                    if fact.isNil:
+                        continue  # Prohibited cover pages facts are allowed, only if nil.
+                    yield Validation.error(
+                        codes='EDINET.EC1003E',
+                        msg=_("Cover item %(localName)s is not necessary. "
+                              "File name: '%(file)s' (line %(line)s). "
+                              "Please add the cover item %(localName)s to the relevant file."),
+                        localName=qname.localName,
+                        file=doc.basename,
+                        line=fact.sourceline,
+                        modelObject=fact,
+                    )
 
 
 @validation(
@@ -766,6 +854,77 @@ def rule_uri_references(
             continue
 
 
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC1009R(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1009R: The HTML file size must be 2.5MB (megabytes) or less.
+    """
+    for path, size in pluginData.getUploadFileSizes(fileSource).items():
+        if path.suffix not in HTML_EXTENSIONS:
+            continue
+        if size > 2_500_000:
+            yield Validation.warning(
+                codes='EDINET.EC1009R',
+                msg=_("The HTML file size exceeds the maximum limit. "
+                      "File name: '%(path)s'. "
+                      "Please split the file so that the file size is 2.5MB or less."),
+                path=str(path),
+            )
+
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC1010E(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1010E: The charset specification in the content attribute of the HTML <meta> tag must be UTF-8.
+    """
+    for modelDocument in val.modelXbrl.urlDocs.values():
+        path = Path(modelDocument.uri)
+        if path.suffix not in HTML_EXTENSIONS:
+            continue
+        rootElt = modelDocument.xmlRootElement
+        matchingElt = None
+        missingElts = []
+        for metaElt in rootElt.iterdescendants(tag=XbrlConst.qnXhtmlMeta.clarkNotation):
+            if metaElt.qname.localName != 'meta':
+                continue
+            content = metaElt.get('content')
+            if content is None:
+                continue
+            charset = content.split('charset=')[-1].strip().lower()
+            if charset == 'utf-8':
+                matchingElt = metaElt
+            else:
+                missingElts.append(metaElt)
+
+        if matchingElt is None or len(missingElts) > 0:
+            yield Validation.error(
+                codes='EDINET.EC1010E',
+                msg=_("The charset specification in the content attribute of the HTML <meta> tag is not UTF-8. "
+                      "File name: '%(path)s'. "
+                      "Please change the character code of the file to UTF-8."),
+                path=str(path),
+                modelObject=missingElts
+            )
+
+
 @validation(
     hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
@@ -833,20 +992,22 @@ def rule_EC1017E(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
-def rule_EC1020E(
+def rule_html_elements(
         pluginData: PluginValidationDataExtension,
         val: ValidateXbrl,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
+    EDINET.EC1011E: The HTML lang attribute is not Japanese.
     EDINET.EC1020E: When writing a DOCTYPE declaration, do not define it multiple times.
-    Also, please modify the relevant file so that there is only one html tag, one head tag, and one body tag each.
+        Also, please modify the relevant file so that there is only one html tag, one head tag, and one body tag each.
 
-    Note: Some violations of this rule (such as multiple DOCTYPE declarations) prevent Arelle from parsing
+    Note: Some violations of EC1020E (such as multiple DOCTYPE declarations) prevent Arelle from parsing
     the XML at all, and thus an XML schema error will be triggered rather than this validation error.
     """
     checkNames = frozenset({'body', 'head', 'html'})
+    langAttributeValues = frozenset({'ja', 'jp', 'ja-jp', 'JA', 'JP', 'JA-JP'})
     for modelDocument in val.modelXbrl.urlDocs.values():
         path = Path(modelDocument.uri)
         if path.suffix not in HTML_EXTENSIONS:
@@ -857,10 +1018,22 @@ def rule_EC1020E(
         }
         for elt in rootElt.iterdescendants():
             name = elt.qname.localName
-            if name not in checkNames:
-                continue
-            eltCounts[name] = eltCounts.get(name, 0) + 1
-            pass
+            if name in checkNames:
+                eltCounts[name] = eltCounts.get(name, 0) + 1
+            if not isinstance(elt, ModelFact):
+                lang = elt.get(XbrlConst.qnXmlLang.clarkNotation)
+                if lang is not None and lang not in langAttributeValues:
+                    yield Validation.error(
+                        codes='EDINET.EC1011E',
+                        msg=_("The language setting is not Japanese. "
+                              "File name: %(file)s (line %(line)s). "
+                              "Please set the lang attribute on the given line of the "
+                              "relevant file to one of the following: %(langValues)s."),
+                        file=modelDocument.basename,
+                        line=elt.sourceline,
+                        langValues=', '.join(langAttributeValues),
+                    )
+
         if any(count > 1 for count in eltCounts.values()):
             yield Validation.error(
                 codes='EDINET.EC1020E',

arelle/plugin/validate/ROS/PluginValidationDataExtension.py

@@ -35,6 +35,8 @@ SCHEMA_PATTERNS = {
     "http://www.cro.ie/": re.compile(r"^\d{1,6}$")
 }
 
+UK_REF_NS_PATTERN = re.compile(r"^http://xbrl.frc.org.uk/general/\d{4,}-\d{2,}-\d{2,}/ref$")
+
 TR_NAMESPACES = {
     "http://www.xbrl.org/inlineXBRL/transformation/2010-04-20",
     "http://www.xbrl.org/inlineXBRL/transformation/2011-07-31",

arelle/plugin/validate/ROS/ValidationPluginExtension.py

@@ -12,6 +12,7 @@ from .PluginValidationDataExtension import PluginValidationDataExtension
 
 _: TypeGetText
 
+CURRENCIES_DIMENSION = 'CurrenciesDimension'
 EQUITY = 'Equity'
 IE_PROFIT_LOSS = 'ProfitLossBeforeTax'
 IE_PROFIT_LOSS_ORDINARY = 'ProfitLossOnOrdinaryActivitiesBeforeTax'