arelle-release 2.37.59__tar.gz → 2.37.61__tar.gz

{arelle_release-2.37.59 → arelle_release-2.37.61}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: arelle-release
-Version: 2.37.59
+Version: 2.37.61
 Summary: An open source XBRL platform.
 Author-email: "arelle.org" <support@arelle.org>
 License-Expression: Apache-2.0
@@ -59,7 +59,7 @@ Requires-Dist: tinycss2<2,>=1; extra == "esef"
 Provides-Extra: objectmaker
 Requires-Dist: graphviz<1,>=0; extra == "objectmaker"
 Provides-Extra: webserver
-Requires-Dist: cheroot<11,>=8; extra == "webserver"
+Requires-Dist: cheroot<12,>=8; extra == "webserver"
 Requires-Dist: tornado<7,>=6; extra == "webserver"
 Provides-Extra: xule
 Requires-Dist: aniso8601<11,>=10; extra == "xule"

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/ModelDtsObject.py

@@ -1690,6 +1690,7 @@ class RelationStatus:
     INEFFECTIVE = 4
 
 arcCustAttrsExclusions = {XbrlConst.xlink, "use","priority","order","weight","preferredLabel"}
+modelObjectAttrs = frozenset(dir(ModelObject))
 
 class ModelRelationship(ModelObject):
     """
@@ -2086,6 +2087,11 @@ class ModelRelationship(ModelObject):
                         self.toModelObject.qname if isinstance(self.toModelObject, ModelObject) else "??",
                         self.modelDocument.basename, self.sourceline))
 
+    def __dir__(self):
+        # Ignore ModelObject attributes because most relate to the underlying lxml element,
+        # which ModelRelationship does not have.
+        return [a for a in object.__dir__(self) if a.startswith('__') or a not in modelObjectAttrs]
+
     @property
     def viewConcept(self):
         if isinstance(self.toModelObject, ModelConcept):

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/_version.py

@@ -28,7 +28,7 @@ version_tuple: VERSION_TUPLE
 commit_id: COMMIT_ID
 __commit_id__: COMMIT_ID
 
-__version__ = version = '2.37.59'
-__version_tuple__ = version_tuple = (2, 37, 59)
+__version__ = version = '2.37.61'
+__version_tuple__ = version_tuple = (2, 37, 61)
 
-__commit_id__ = commit_id = 'g7c834ed28'
+__commit_id__ = commit_id = 'gb5c8382a6'

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/plugin/validate/EDINET/Constants.py

@@ -11,6 +11,8 @@ class AccountingStandard(Enum):
     US_GAAP = 'US GAAP'
 
 
+domainItemTypeQname = qname("{http://www.xbrl.org/dtr/type/non-numeric}nonnum:domainItemType")
+
 qnEdinetManifestInsert = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}insert")
 qnEdinetManifestInstance = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}instance")
 qnEdinetManifestItem = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}item")

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/plugin/validate/EDINET/PluginValidationDataExtension.py

@@ -42,8 +42,6 @@ from .UploadContents import UploadContents
 _: TypeGetText
 
 
-_DEBIT_QNAME_PATTERN = regex.compile('.*(Liability|Liabilities|Equity)')
-
 STANDARD_TAXONOMY_URL_PREFIXES = frozenset((
     'http://disclosure.edinet-fsa.go.jp/taxonomy/',
     'https://disclosure.edinet-fsa.go.jp/taxonomy/',
@@ -172,12 +170,6 @@ class PluginValidationDataExtension(PluginData):
                     fileSourcePath = fullPath.relative_to(basePath)
                     controllerPluginData.addUsedFilepath(fileSourcePath)
 
-    def _isDebitConcept(self, concept: ModelConcept) -> bool:
-        """
-        :return: Whether the given concept is a debit concept.
-        """
-        return bool(_DEBIT_QNAME_PATTERN.match(concept.qname.localName))
-
     @lru_cache(1)
     def isCorporateForm(self, modelXbrl: ModelXbrl) -> bool:
         formTypes = self.getFormTypes(modelXbrl)
@@ -247,23 +239,23 @@ class PluginValidationDataExtension(PluginData):
         for (contextId, unitId), facts in factsByContextIdAndUnitId.items():
             if not self._contextMatchesStatement(modelXbrl, contextId, statement):
                 continue
-            assetSum = Decimal(0)
-            liabilitiesAndEquitySum = Decimal(0)
+            creditSum = Decimal(0)
+            debitSum = Decimal(0)
             for fact in facts:
                 if isinstance(fact.xValue, float):
                     value = Decimal(fact.xValue)
                 else:
                     value = cast(Decimal, fact.xValue)
-                if self._isDebitConcept(fact.concept):
-                    liabilitiesAndEquitySum += value
-                else:
-                    assetSum += value
+                if fact.concept.balance == "debit":
+                    debitSum += value
+                elif fact.concept.balance == "credit":
+                    creditSum += value
             balanceSheets.append(
                 BalanceSheet(
-                    assetsTotal=assetSum,
+                    creditSum=creditSum,
                     contextId=str(contextId),
                     facts=facts,
-                    liabilitiesAndEquityTotal=liabilitiesAndEquitySum,
+                    debitSum=debitSum,
                     unitId=str(unitId),
                 )
             )
@@ -481,6 +473,17 @@ class PluginValidationDataExtension(PluginData):
     def isStandardTaxonomyUrl(self, uri: str, modelXbrl: ModelXbrl) -> bool:
         return modelXbrl.modelManager.disclosureSystem.hrefValidForDisclosureSystem(uri)
 
+    def iterCoverPages(self, modelXbrl: ModelXbrl) -> Iterable[ModelDocument]:
+        uploadContents = self.getUploadContents(modelXbrl)
+        if uploadContents is None:
+            return
+        for url, doc in modelXbrl.urlDocs.items():
+            path = Path(url)
+            pathInfo = uploadContents.uploadPathsByFullPath.get(path)
+            if pathInfo is None or not pathInfo.isCoverPage:
+                continue
+            yield doc
+
     def iterFacts(self, modelXbrl: ModelXbrl, qname: QName) -> Iterable[ModelFact]:
         yield from modelXbrl.factsByQname.get(qname, set())
 

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/plugin/validate/EDINET/Statement.py

@@ -101,10 +101,10 @@ class Statement:
 
 @dataclass(frozen=True)
 class BalanceSheet:
-    assetsTotal: Decimal
+    creditSum: Decimal
     contextId: str
     facts: list[ModelFact]
-    liabilitiesAndEquityTotal: Decimal
+    debitSum: Decimal
     unitId: str
 
 

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/plugin/validate/EDINET/rules/edinet.py

@@ -44,7 +44,7 @@ def rule_balances(
     for statementInstance in pluginData.getStatementInstances(val.modelXbrl):
         statement = statementInstance.statement
         for balanceSheet in statementInstance.balanceSheets:
-            if balanceSheet.assetsTotal == balanceSheet.liabilitiesAndEquityTotal:
+            if balanceSheet.creditSum == balanceSheet.debitSum:
                 continue
             code = None
             if statement.statementType == StatementType.BALANCE_SHEET:
@@ -62,15 +62,15 @@ def rule_balances(
                 codes=code,
                 msg=_("The %(consolidated)s %(balanceSheet)s is not balanced. "
                       "The sum of all liabilities and equity must equal the sum of all assets. "
-                      "Please correct the debit (%(liabilitiesAndEquitySum)s) and credit (%(assetSum)s) "
+                      "Please correct the debit (%(debitSum)s) and credit (%(creditSum)s) "
                       "values so that they match "
                       "<roleUri=%(roleUri)s> <contextID=%(contextId)s> <unitID=%(unitId)s>."),
                 consolidated=_("consolidated") if statement.isConsolidated
                 else _("nonconsolidated"),
                 balanceSheet=_("balance sheet") if statement.statementType == StatementType.BALANCE_SHEET
                 else _("statement of financial position"),
-                liabilitiesAndEquitySum=f"{balanceSheet.liabilitiesAndEquityTotal:,}",
-                assetSum=f"{balanceSheet.assetsTotal:,}",
+                debitSum=f"{balanceSheet.debitSum:,}",
+                creditSum=f"{balanceSheet.creditSum:,}",
                 roleUri=statement.roleUri,
                 contextId=balanceSheet.contextId,
                 unitId=balanceSheet.unitId,
@@ -93,14 +93,27 @@ 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.getFormTypes(val.modelXbrl)
-    if len(dei) > 0:
+    facts = [
+        fact
+        for qname in (
+            pluginData.jpcrpEsrFilingDateCoverPageQn,
+            pluginData.jpcrpFilingDateCoverPageQn,
+            pluginData.jpspsFilingDateCoverPageQn
+        )
+        for fact in pluginData.iterValidNonNilFacts(val.modelXbrl, qname)
+    ]
+    for modelDocument in pluginData.iterCoverPages(val.modelXbrl):
+        if any(fact.modelDocument == modelDocument for fact in facts):
+            continue
         if not (pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpcrpEsrFilingDateCoverPageQn)
                 or pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpcrpFilingDateCoverPageQn)
                 or pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpspsFilingDateCoverPageQn)):
             yield Validation.error(
                 codes='EDINET.EC1057E',
-                msg=_("The [Submission Date] on the cover page has not been filled in."),
+                msg=_("There is no submission date ('【提出日】') on the cover page. "
+                      "File name: '%(file)s'. "
+                      "Please add '【提出日】' to the relevant file."),
+                file=modelDocument.basename,
             )
 
 

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/plugin/validate/EDINET/rules/gfm.py

@@ -12,7 +12,7 @@ import regex
 from arelle import XbrlConst, XmlUtil
 from arelle.LinkbaseType import LinkbaseType
 from arelle.ModelDtsObject import ModelConcept
-from arelle.ModelInstanceObject import ModelFact
+from arelle.ModelInstanceObject import ModelFact, ModelInlineFootnote
 from arelle.ModelObject import ModelObject
 from arelle.ModelValue import QName
 from arelle.PrototypeDtsObject import LocPrototype, ArcPrototype
@@ -28,7 +28,7 @@ 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 ..Constants import NUMERIC_LABEL_ROLES, domainItemTypeQname
 from ..DisclosureSystems import (DISCLOSURE_SYSTEM_EDINET)
 from ..PluginValidationDataExtension import PluginValidationDataExtension
 
@@ -676,6 +676,35 @@ def rule_gfm_1_3_8(
         )
 
 
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_19(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.19] The id attribute of the element defined in the submitter-specific taxonomy
+    should be set in the following format:{namespace prefix}_{element name}.
+    """
+    improperlyFormattedIds = set()
+    for concept in pluginData.getExtensionConcepts(val.modelXbrl):
+        prefix = concept.qname.prefix or ""
+        name = concept.qname.localName
+        requiredId = f"{prefix}_{name}"
+        if concept.id != requiredId or not prefix:
+            improperlyFormattedIds.add(concept)
+    if len(improperlyFormattedIds) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.3.19',
+            msg=_("The id attribute of the element defined in the submitter-specific taxonomy should be set in the following format: {namespace prefix}_{element name}"),
+            modelObject=improperlyFormattedIds
+        )
+
+
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
@@ -783,6 +812,115 @@ def rule_gfm_1_3_23(
         )
 
 
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_25(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.25] Correct the element name so that it does not end with "Axis", or correct the
+    substitutionGroup to "xbrldt:dimensionItem".
+
+    GFM 1.3.25: The xsd:element substitutionGroup attribute must equal "xbrldt:dimensionItem" if
+    and only if the name attribute ends with "Axis".
+    """
+    for concept in pluginData.getExtensionConcepts(val.modelXbrl):
+        if concept.qname.localName.endswith("Axis") != (concept.substitutionGroupQname == XbrlConst.qnXbrldtDimensionItem):
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.3.25',
+                msg=_("Modify the element name, '%(conceptName)s', so that it does not end with 'Axis', or modify the substitutionGroup to 'xbrldt:dimensionItem'."),
+                conceptName=concept.qname.localName,
+                modelObject=concept,
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_26(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.26] Correct the element name so that it does not end with "Table", or correct the
+    substitutionGroup to "xbrldt:hypercubeItem".
+
+    GFM 1.3.26: The xsd:element name attribute must ends with "Table" if and only if
+    substitutionGroup attribute equals "xbrldt:hypercubeItem".
+    """
+    for concept in pluginData.getExtensionConcepts(val.modelXbrl):
+        if concept.qname.localName.endswith("Table") != (concept.substitutionGroupQname == XbrlConst.qnXbrldtHypercubeItem):
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.3.26',
+                msg=_("The substitution group 'xbrldt:hypercubeItem' is only allowed with an element name that ends with 'Table'."
+                      "Please change %(conceptName)s or change the substitutionGroup."),
+                conceptName=concept.qname.localName,
+                modelObject=concept
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_28(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.28] If the element name of an element extended by a submitter-specific taxonomy ends with "LineItems",
+    set the abstract attribute to "true".
+    """
+    for concept in pluginData.getExtensionConcepts(val.modelXbrl):
+        if concept.qname.localName.endswith("LineItems") and not concept.isAbstract:
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.3.28',
+                msg=_("If the element name of an element extended by a submitter-specific taxonomy ends with 'LineItems', "
+                      "set the abstract attribute to 'true'. For the element, '%(conceptName)s', the abstract attribute is 'false'."),
+                conceptName=concept.qname.localName,
+                modelObject=concept
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_3_29(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.3.29] If the element name of an element extended by the submitter-specific taxonomy ends with
+    "Domain" or "Member", please set the type attribute to "nonnum:domainItemType".
+
+    GFM 1.3.29: The xsd:element name attribute must end with "Domain" or "Member" if and only
+    if the type attribute equals "nonnum:domainItemType".
+    """
+    for concept in pluginData.getExtensionConcepts(val.modelXbrl):
+        isConceptDomain = concept.type.isDomainItemType if concept.type is not None else False
+        if ((concept.qname.localName.endswith("Domain") or concept.qname.localName.endswith("Member")) != isConceptDomain):
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.3.29',
+                msg=_("The type 'us-types:domainItemType' is only allowed with an element name that ends with 'Domain' or 'Member'. "
+                      "Please change %(conceptName)s or change the type."),
+                conceptName=concept.qname.localName,
+                modelObject=concept
+            )
+
+
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
@@ -858,10 +996,13 @@ 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 is not None and
+                    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"),
+                    msg=_("The concept of '%(concept)s' has a label classified as '%(role)s' that is greater than or equal to 511 characters: %(label)s"),
                     concept=concept.qname,
                     role=label.role,
                     label=label.viewText(),
@@ -890,7 +1031,7 @@ def rule_gfm_1_5_7(
         labelRels = labelRelationshipSet.fromModelObject(concept)
         for rel in labelRels:
             label = rel.toModelObject
-            if label.role != XbrlConst.documentationLabel and label.textValue is not None:
+            if label is not None and label.role != XbrlConst.documentationLabel and label.textValue is not None:
                 if '<' in label.textValue:
                     yield Validation.warning(
                         codes='EDINET.EC5700W.GFM.1.5.7',
@@ -931,7 +1072,7 @@ def rule_gfm_1_5_8(
         labelRels = labelRelationshipSet.fromModelObject(concept)
         for rel in labelRels:
             label = rel.toModelObject
-            if label.textValue is not None and label.textValue != label.textValue.strip():
+            if label is not None and 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'"),
@@ -963,7 +1104,9 @@ def rule_gfm_1_5_10(
         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:
+            if (label is not None and
+                    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'"),
@@ -1207,3 +1350,154 @@ def rule_gfm_1_8_1(
                 msg=_("The definition relationship is missing the order attribute"),
                 modelObject=rel
             )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_8_3(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.8.3] The target of an effective arc with an xlink:arcrole attribute equal to
+                                "http://xbrl.org/int/dim/arcrole/dimension-domain" or
+                                "http://xbrl.org/int/arcrole/dimension-default" must be of type
+                                nonnum:domainItemType.
+    """
+    dimensionRelationshipSet = val.modelXbrl.relationshipSet((XbrlConst.dimensionDomain, XbrlConst.dimensionDefault))
+    if dimensionRelationshipSet is None:
+        return
+    for rel in dimensionRelationshipSet.modelRelationships:
+        toConcept = rel.toModelObject
+        if toConcept is not None and toConcept.typeQname != domainItemTypeQname:
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.8.3',
+                msg=_("The definition relationship target concept of '%(concept)s' has a type of '%(type)s' instead of 'nonnum:domainItemType'."),
+                concept=toConcept.qname,
+                type=toConcept.typeQname,
+                modelObject=rel
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_8_10(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.8.10] Definition relationships must have unique order attributes
+    """
+    definitionRelationshipSet = val.modelXbrl.relationshipSet(tuple(LinkbaseType.DEFINITION.getArcroles()))
+    if definitionRelationshipSet is None:
+        return
+    for modelObject, rels in definitionRelationshipSet.loadModelRelationshipsFrom().items():
+        if len(rels) <= 1:
+            continue
+        relsByOrder = defaultdict(list)
+        for rel in rels:
+            order = rel.arcElement.get("order")
+            if order is not None:
+                relsByOrder[(order, rel.linkrole, rel.arcrole)].append(rel)
+        for key, orderRels in relsByOrder.items():
+            if len(orderRels) > 1:
+                yield Validation.warning(
+                    codes='EDINET.EC5700W.GFM.1.8.10',
+                    msg=_("The definition relationships have the same order attribute: '%(order)s'"),
+                    order=key[0],
+                    modelObject=orderRels
+                )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_8_11(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.8.11] Definition relationships can not have the xbrldt:usable attribute set to False
+    """
+    definitionRelationshipSet = val.modelXbrl.relationshipSet(tuple(LinkbaseType.DEFINITION.getArcroles()))
+    if definitionRelationshipSet is None:
+        return
+    for rel in definitionRelationshipSet.modelRelationships:
+        if rel.arcrole in [XbrlConst.dimensionDomain, XbrlConst.domainMember]:
+            continue
+        if not rel.isUsable:
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.8.11',
+                msg=_("The definition relationship can not have the xbrldt:usable attribute set to False"),
+                modelObject=rel
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_9_1(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.9.1] References should not be defined for extension concepts.
+    """
+    conceptReferenceSet = val.modelXbrl.relationshipSet(XbrlConst.conceptReference)
+    for modelConcept in conceptReferenceSet.fromModelObjects():
+        if not isinstance(modelConcept, ModelConcept):
+            continue
+        if modelConcept.qname is None or modelConcept.qname.namespaceURI is None:
+            continue
+        if pluginData.isExtensionUri(modelConcept.qname.namespaceURI, val.modelXbrl):
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.9.1',
+                msg=_("References should not be defined for extension concepts: %(conceptName)s"),
+                conceptName=modelConcept.qname,
+                modelObject=modelConcept
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_10_14(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.10.14] All non-empty footnotes must be referenced by an element
+    """
+    footnotes = set()
+    usedFootnoteIDs = set()
+    for ixdsHtmlRootElt in val.modelXbrl.ixdsHtmlElements:
+        for elt in ixdsHtmlRootElt.iterdescendants(XbrlConst.qnIXbrlFootnote.clarkNotation, XbrlConst.qnIXbrl11Footnote.clarkNotation):
+            if isinstance(elt, ModelInlineFootnote) and elt.value != '':
+                footnotes.add(elt)
+    for rel in val.modelXbrl.relationshipSet("XBRL-footnotes").modelRelationships:
+        if rel.fromModelObject is not None and rel.toModelObject is not None:
+            usedFootnoteIDs.add(rel.toModelObject.footnoteID)
+    for footnote in footnotes:
+        if footnote.footnoteID not in usedFootnoteIDs:
+            yield Validation.warning(
+                codes='EDINET.EC5700W.GFM.1.10.14',
+                msg=_("A non-empty footnote is not referenced by an element"),
+                modelObject=footnote
+            )

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle/plugin/validate/EDINET/rules/upload.py

@@ -271,19 +271,37 @@ def rule_EC0132E(
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
-    EDINET.EC0132E: Store the manifest file directly under the relevant folder.
+    EDINET.EC0132E: Cover page or manifest file is missing.
+
+    Note: Cover page is not required in AuditDoc.
     """
     uploadContents = pluginData.getUploadContents()
     if uploadContents is None:
         return
     for reportFolderType, paths in uploadContents.reports.items():
         if reportFolderType.isAttachment:
+            # These rules don't apply to "Attach" directories
             continue
-        if reportFolderType.manifestPath not in paths:
+        coverPageFound = False
+        manifestFound = False
+        for path in paths:
+            pathInfo = uploadContents.uploadPathsByPath[path]
+            if pathInfo.isCoverPage:
+                coverPageFound = True
+            if path == reportFolderType.manifestPath:
+                manifestFound = True
+        if not coverPageFound and reportFolderType != ReportFolderType.AUDIT_DOC:
+            yield Validation.error(
+                codes='EDINET.EC0132E',
+                msg=_("Cover page does not exist in '%(expectedManifestDirectory)s'. "
+                      "Please store the cover file directly under the relevant folder and upload it again. "),
+                expectedManifestDirectory=str(reportFolderType.manifestPath.parent),
+            )
+        if not manifestFound:
             yield Validation.error(
                 codes='EDINET.EC0132E',
                 msg=_("'%(expectedManifestName)s' does not exist in '%(expectedManifestDirectory)s'. "
-                      "Please store the manifest file (or cover file) directly under the relevant folder and upload it again. "),
+                      "Please store the manifest file directly under the relevant folder and upload it again. "),
                 expectedManifestName=reportFolderType.manifestPath.name,
                 expectedManifestDirectory=str(reportFolderType.manifestPath.parent),
             )

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle_release.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: arelle-release
-Version: 2.37.59
+Version: 2.37.61
 Summary: An open source XBRL platform.
 Author-email: "arelle.org" <support@arelle.org>
 License-Expression: Apache-2.0
@@ -59,7 +59,7 @@ Requires-Dist: tinycss2<2,>=1; extra == "esef"
 Provides-Extra: objectmaker
 Requires-Dist: graphviz<1,>=0; extra == "objectmaker"
 Provides-Extra: webserver
-Requires-Dist: cheroot<11,>=8; extra == "webserver"
+Requires-Dist: cheroot<12,>=8; extra == "webserver"
 Requires-Dist: tornado<7,>=6; extra == "webserver"
 Provides-Extra: xule
 Requires-Dist: aniso8601<11,>=10; extra == "xule"

{arelle_release-2.37.59 → arelle_release-2.37.61}/arelle_release.egg-info/requires.txt

@@ -37,7 +37,7 @@ tinycss2<2,>=1
 graphviz<1,>=0
 
 [WebServer]
-cheroot<11,>=8
+cheroot<12,>=8
 tornado<7,>=6
 
 [XULE]

{arelle_release-2.37.59 → arelle_release-2.37.61}/pyproject.toml

@@ -67,7 +67,7 @@ ObjectMaker = [
     'graphviz>=0,<1',
 ]
 WebServer = [
-    'cheroot>=8,<11',
+    'cheroot>=8,<12',
     'tornado>=6,<7',
 ]
 XULE = [