arelle-release 2.37.59__py3-none-any.whl → 2.37.61__py3-none-any.whl

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/_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 = None

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/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/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/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/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/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.dist-info → arelle_release-2.37.61.dist-info}/METADATA

@@ -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.dist-info → arelle_release-2.37.61.dist-info}/RECORD

@@ -37,7 +37,7 @@ arelle/LinkbaseType.py,sha256=BwRQl4XZFFCopufC2FEMLhYENNTk2JUWVQvnIUsaqtI,3108
 arelle/LocalViewer.py,sha256=WVrfek_bLeFFxgWITi1EQb6xCQN8O9Ks-ZL16vRncSk,3080
 arelle/Locale.py,sha256=07IDxv8nIfvhyRRllFdEAKRI3yo1D2v781cTrjb_RoQ,33193
 arelle/ModelDocument.py,sha256=R4uVfqks2XRDziRPAp_AUFebrAQBf4FgG97nb5h7fAs,130651
-arelle/ModelDtsObject.py,sha256=nvHQs4BDmPxY6mqLiBuqIGRJXyA1EqOEGB2f3S6A6w4,88656
+arelle/ModelDtsObject.py,sha256=VUDsq8Ua0a-Hrhu-vFMaajwZLKjjr7xC4e-LAJSz-k0,88968
 arelle/ModelFormulaObject.py,sha256=-eb0lBYciEeAvvGduIs3AHGNGrxge9_0g1cVT6UUgvc,122560
 arelle/ModelInstanceObject.py,sha256=77rkxl1FK8OyJhTXkrNv6B_4oEK6IZm9eRQdFDxslGk,74278
 arelle/ModelManager.py,sha256=QUNcD2LC_YyyGFU8bFTSuzIGI1qpOK55KBlQ697Ep1I,11075
@@ -125,7 +125,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=OtIOO8dIBzaWUcN4ZpZMg03PbgyJW5ESDOu8koDT508,708
+arelle/_version.py,sha256=KHvyigprh_4GfUyMHpRp8DoND89ZqncU0BKzMo7CvWY,708
 arelle/typing.py,sha256=PRe-Fxwr2SBqYYUVPCJ3E7ddDX0_oOISNdT5Q97EbRM,1246
 arelle/api/Session.py,sha256=kgSxS7VckA1sQ7xp0pJiK7IK-vRxAdAZKUo8gEx27s8,7549
 arelle/config/creationSoftwareNames.json,sha256=5MK7XUjfDJ9OpRCCHXeOErJ1SlTBZji4WEcEOdOacx0,3128
@@ -312,16 +312,16 @@ arelle/plugin/validate/DBA/rules/tm.py,sha256=ui9oKBqlAForwkQ9kk9KBiUogTJE5pv1Rb
 arelle/plugin/validate/DBA/rules/tr.py,sha256=4TootFjl0HXsKZk1XNBCyj-vnjRs4lg35hfiz_b_4wU,14684
 arelle/plugin/validate/EBA/__init__.py,sha256=x3zXNcdSDJ3kHfL7kMs0Ve0Vs9oWbzNFVf1TK4Avmy8,45924
 arelle/plugin/validate/EBA/config.xml,sha256=37wMVUAObK-XEqakqD8zPNog20emYt4a_yfL1AKubF8,2022
-arelle/plugin/validate/EDINET/Constants.py,sha256=6LVzBTt4045SxUjeQa37tlN8zYLF1QIz16khYo3eY4A,2418
+arelle/plugin/validate/EDINET/Constants.py,sha256=I8d-oc9wG-mImV-3Cv3tInP3QjfWO7DeltbuOepyF58,2514
 arelle/plugin/validate/EDINET/ControllerPluginData.py,sha256=1WhiS0RdrxeXz4pGDzWATEPqCopOh2spr8Z6Qra_Psk,8420
 arelle/plugin/validate/EDINET/CoverPageRequirements.py,sha256=ZR8pk1CQfUIi15as1zVF27W0kRlUF1M_Ygw7appDUno,4488
 arelle/plugin/validate/EDINET/DisclosureSystems.py,sha256=3rKG42Eg-17Xx_KXU_V5yHW6I3LTwQunvf4a44C9k_4,36
 arelle/plugin/validate/EDINET/FilingFormat.py,sha256=SFZ22zFk6RVIA9dpx3iVLlf2heKfZZqt2ZUXUje4BII,18789
 arelle/plugin/validate/EDINET/FormType.py,sha256=jFqjJACJJ4HhkY1t6Fqei0z6rgvH3Mp-dP04KwQVv3Q,2517
 arelle/plugin/validate/EDINET/ManifestInstance.py,sha256=o6BGlaQHSsn6D0VKH4zn59UscKnjTKlo99kSGfGdYlU,6910
-arelle/plugin/validate/EDINET/PluginValidationDataExtension.py,sha256=9YXy4f1EIYq4NGWaOP7dXjVStdtH4Mb4D4wACrIa2PU,22540
+arelle/plugin/validate/EDINET/PluginValidationDataExtension.py,sha256=iA72MJv4r5hhLY5w9YBqQ279RI6ndivXGW-PqqK5rJM,22663
 arelle/plugin/validate/EDINET/ReportFolderType.py,sha256=Q-9a-5tJfhK-cjY8WUB2AT1NI-Nn9cFtARVOIJoLRGU,2979
-arelle/plugin/validate/EDINET/Statement.py,sha256=0Mw5IB7LMtvUZ-2xKZfxmq67xF_dCgJo3eNLweLFRHU,9350
+arelle/plugin/validate/EDINET/Statement.py,sha256=CGq8c647pIEBQtOv8AL0U4knT8HofOdK8IaUjHrcOYU,9331
 arelle/plugin/validate/EDINET/UploadContents.py,sha256=o29mDoX48M3S2jQqrJO4ZaulltAPt4vD-qdsWTMCUPc,1196
 arelle/plugin/validate/EDINET/ValidationPluginExtension.py,sha256=8LNqvXzNaWP54dShEjet5ely4BnM8ByCSyimKpUx3_s,2577
 arelle/plugin/validate/EDINET/__init__.py,sha256=T_p2phcMw1lR4J1X4gvqJPEcZNJdJXtaPpc159A-3_8,3298
@@ -330,11 +330,11 @@ arelle/plugin/validate/EDINET/resources/cover-page-requirements.csv,sha256=8ILKN
 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/contexts.py,sha256=KPoyWfRaURvxoGVcWP64mTMTAKPMSmQSX06RClCLddw,7590
-arelle/plugin/validate/EDINET/rules/edinet.py,sha256=g3IPMV5-mWbVwVmEwv5-h1LOtdfeBQ9gZI27m744FFw,12628
+arelle/plugin/validate/EDINET/rules/edinet.py,sha256=1dHYl0nqZ5ql0SaE9Jj95fGegOMlssQNayeebV0iCJQ,13118
 arelle/plugin/validate/EDINET/rules/frta.py,sha256=N0YglHYZuLD2IuwE26viR2ViwUYjneBuMFU9vlrS0aQ,7616
-arelle/plugin/validate/EDINET/rules/gfm.py,sha256=BAcH_yVnJw3abMfsUBk_skZAjB96h-lff795OdnozvQ,45905
+arelle/plugin/validate/EDINET/rules/gfm.py,sha256=XcWjLUxQs521Jbdr3S96RDlJld2m2d3xFFsaRTrP-qM,58037
 arelle/plugin/validate/EDINET/rules/manifests.py,sha256=MoT9R_a4BzuYdQVbF7RC5wz134Ve68svSdJ3NlpO_AU,4026
-arelle/plugin/validate/EDINET/rules/upload.py,sha256=E_sEhsuUkoH648PGWwpN90uOQMjKNFaZ8priucmYMOk,47908
+arelle/plugin/validate/EDINET/rules/upload.py,sha256=YdjVIRTO9Zrmdprx-y0uo6MzHP7YLYYItwbR8AjP_fE,48731
 arelle/plugin/validate/ESEF/Const.py,sha256=JujF_XV-_TNsxjGbF-8SQS4OOZIcJ8zhCMnr-C1O5Ho,22660
 arelle/plugin/validate/ESEF/Dimensions.py,sha256=MOJM7vwNPEmV5cu-ZzPrhx3347ZvxgD6643OB2HRnIk,10597
 arelle/plugin/validate/ESEF/Util.py,sha256=QH3btcGqBpr42M7WSKZLSdNXygZaZLfEiEjlxoG21jE,7950
@@ -684,9 +684,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.59.dist-info/licenses/LICENSE.md,sha256=Q0tn6q0VUbr-NM8916513NCIG8MNzo24Ev-sxMUBRZc,3959
-arelle_release-2.37.59.dist-info/METADATA,sha256=wh7XkuU_1WbVuQhpnKA9ybkP_WlbD4eKla0WJ_2md1E,9327
-arelle_release-2.37.59.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-arelle_release-2.37.59.dist-info/entry_points.txt,sha256=Uj5niwfwVsx3vaQ3fYj8hrZ1xpfCJyTUA09tYKWbzpo,111
-arelle_release-2.37.59.dist-info/top_level.txt,sha256=fwU7SYawL4_r-sUMRg7r1nYVGjFMSDvRWx8VGAXEw7w,7
-arelle_release-2.37.59.dist-info/RECORD,,
+arelle_release-2.37.61.dist-info/licenses/LICENSE.md,sha256=Q0tn6q0VUbr-NM8916513NCIG8MNzo24Ev-sxMUBRZc,3959
+arelle_release-2.37.61.dist-info/METADATA,sha256=_DG9yzSHAuG1UQGwzEWLrLD4Ow0SU8Qojx592crUxU0,9327
+arelle_release-2.37.61.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+arelle_release-2.37.61.dist-info/entry_points.txt,sha256=Uj5niwfwVsx3vaQ3fYj8hrZ1xpfCJyTUA09tYKWbzpo,111
+arelle_release-2.37.61.dist-info/top_level.txt,sha256=fwU7SYawL4_r-sUMRg7r1nYVGjFMSDvRWx8VGAXEw7w,7
+arelle_release-2.37.61.dist-info/RECORD,,