arelle-release 2.37.34__py3-none-any.whl → 2.37.36__py3-none-any.whl

arelle/FileSource.py

@@ -119,7 +119,8 @@ class FileNamedStringIO(io.StringIO):  # provide string IO in memory but behave
         self.fileName = fileName
 
     def close(self) -> None:
-        del self.fileName
+        if hasattr(self, 'fileName'):
+            del self.fileName
         super().close()
 
     def __str__(self) -> str:
@@ -139,7 +140,8 @@ class FileNamedBytesIO(io.BytesIO):  # provide Bytes IO in memory but behave as
         self.fileName = fileName
 
     def close(self) -> None:
-        del self.fileName
+        if hasattr(self, 'fileName'):
+            del self.fileName
         super().close()
 
     def __str__(self) -> str:

arelle/ModelValue.py

@@ -35,11 +35,11 @@ def qname(value: ModelObject | str | QName, name: str | ModelObject | None = Non
 def qname(value: ModelObject, name: QName, noPrefixIsNoNamespace: bool) -> QName: ...
 
 @overload
-def qname(value: ModelObject | str | QName | Any | None, name: str | ModelObject | dict[str, str] | None) -> QName | None : ...
+def qname(value: ModelObject | str | QName | Any | None, name: str | ModelObject | dict[str, str] | dict[str | None, str] | None) -> QName | None : ...
 
 def qname(
     value: ModelObject | str | QName | Any | None,
-    name: str | QName | ModelObject | dict[str, str] | None = None,
+    name: str | QName | ModelObject | dict[str, str] | dict[str | None, str] | None = None,
     noPrefixIsNoNamespace: bool = False,
     castException: Exception | None = None,
     prefixException: Exception | None = None,
@@ -66,6 +66,7 @@ def qname(
     elif not isinstance(value, str):
         if castException: raise castException
         return None
+    namespaceDict: dict[str | None, str] | None
     if value and value[0] == '{': # clark notation (with optional prefix)
         namespaceURI,sep,prefixedLocalName = value[1:].rpartition('}')
         prefix: str | None
@@ -85,7 +86,7 @@ def qname(
     else:
         if isinstance(name, dict):
             namespaceURI = None
-            namespaceDict = name # note that default prefix must be None, not '', in dict
+            namespaceDict = cast(dict[str | None, str], name)  # note that default prefix must be None, not '', in dict
         elif name is not None:
             if name:  # len > 0
                 namespaceURI = value

arelle/Validate.py

@@ -764,7 +764,7 @@ class Validate:
             status = "pass" if numErrors == 0 else "fail"
         elif expected == "invalid":
             status = "fail" if numErrors == 0 else "pass"
-        elif expected in (None, []) and numErrors == 0:
+        elif expected in (None, []) and numErrors == 0 and not expectedWarnings:
             status = "pass"
         elif isinstance(expected, (QName, str, dict, list)) or expectedWarnings:
             status = "fail"

arelle/XbrlConst.py

@@ -55,6 +55,9 @@ qnXbrliDenominator = qname("{http://www.xbrl.org/2003/instance}xbrli:denominator
 qnXbrliTuple = qname("{http://www.xbrl.org/2003/instance}xbrli:tuple")
 qnXbrliContext = qname("{http://www.xbrl.org/2003/instance}xbrli:context")
 qnXbrliPeriod = qname("{http://www.xbrl.org/2003/instance}xbrli:period")
+qnXbrliStartDate = qname("{http://www.xbrl.org/2003/instance}xbrli:startDate")
+qnXbrliEndDate = qname("{http://www.xbrl.org/2003/instance}xbrli:endDate")
+qnXbrliInstant = qname("{http://www.xbrl.org/2003/instance}xbrli:instant")
 qnXbrliIdentifier = qname("{http://www.xbrl.org/2003/instance}xbrli:identifier")
 qnXbrliUnit = qname("{http://www.xbrl.org/2003/instance}xbrli:unit")
 qnXbrliStringItemType = qname("{http://www.xbrl.org/2003/instance}xbrli:stringItemType")

arelle/_version.py

@@ -17,5 +17,5 @@ __version__: str
 __version_tuple__: VERSION_TUPLE
 version_tuple: VERSION_TUPLE
 
-__version__ = version = '2.37.34'
-__version_tuple__ = version_tuple = (2, 37, 34)
+__version__ = version = '2.37.36'
+__version_tuple__ = version_tuple = (2, 37, 36)

arelle/plugin/validate/EDINET/Constants.py

@@ -0,0 +1,12 @@
+"""
+See COPYRIGHT.md for copyright information.
+"""
+from arelle.ModelValue import qname
+
+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")
+qnEdinetManifestIxbrl = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}ixbrl")
+qnEdinetManifestList = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}list")
+qnEdinetManifestTitle = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}title")
+qnEdinetManifestTocComposition = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}tocComposition")

arelle/plugin/validate/EDINET/Manifest.py

@@ -0,0 +1,124 @@
+"""
+See COPYRIGHT.md for copyright information.
+"""
+from __future__ import annotations
+
+import zipfile
+from dataclasses import dataclass
+from functools import lru_cache
+from pathlib import Path
+
+from lxml import etree
+from lxml.etree import _Element
+
+from arelle import XbrlConst
+from arelle.FileSource import FileSource
+from arelle.ModelValue import QName, qname
+from . import Constants
+
+
+@dataclass(frozen=True)
+class Manifest:
+    instances: list[ManifestInstance]
+    path: Path
+    titlesByLang: dict[str, str]
+    tocItems: list[ManifestTocItem]
+
+
+@dataclass(frozen=True)
+class ManifestTocItem:
+    extrole: str
+    childItems: list[ManifestTocItem]
+    itemIn: str
+    parent: QName | None
+    ref: str
+    start: QName | None
+
+
+@dataclass(frozen=True)
+class ManifestInstance:
+    id: str
+    ixbrlFiles: list[Path]
+    preferredFilename: str
+    type: str
+
+
+def _parseManifestTocItems(parentElt: _Element, parentQName: QName | None) -> list[ManifestTocItem]:
+    tocItems = []
+    for itemElt in parentElt.iterchildren(tag=Constants.qnEdinetManifestItem.clarkNotation):
+        childTocItems = []
+        for insertElt in itemElt.iterchildren(tag=Constants.qnEdinetManifestInsert.clarkNotation):
+            childParentQName = qname(insertElt.attrib.get("parent"), insertElt.nsmap) if insertElt.attrib.get("parent") else None
+            childTocItems.extend(_parseManifestTocItems(insertElt, childParentQName))
+        tocItems.append(ManifestTocItem(
+            extrole=itemElt.attrib.get("extrole", ""),
+            childItems=childTocItems,
+            parent=parentQName,
+            itemIn=itemElt.attrib.get("in", ""),
+            ref=itemElt.attrib.get("ref", ""),
+            start=qname(itemElt.attrib.get("start"), itemElt.nsmap) if itemElt.attrib.get("start") else None,
+        ))
+    return tocItems
+
+
+def _parseManifestDoc(xmlRootElement: _Element, path: Path) -> Manifest:
+    instances = []
+    titlesByLang = {}
+    base = path.parent
+    tocElts = list(xmlRootElement.iterchildren(tag=Constants.qnEdinetManifestTocComposition.clarkNotation))
+    assert len(tocElts) == 1, 'There should be exactly one tocComposition element in the manifest.'
+    for titleElt in tocElts[0].iterchildren(tag=Constants.qnEdinetManifestTitle.clarkNotation):
+        lang = titleElt.attrib.get(XbrlConst.qnXmlLang.clarkNotation, "")
+        titlesByLang[lang] = titleElt.text.strip() if titleElt.text else ""
+    tocItems = _parseManifestTocItems(tocElts[0], None)
+    listElts = list(xmlRootElement.iterchildren(tag=Constants.qnEdinetManifestList.clarkNotation))
+    assert len(listElts) == 1, 'There should be exactly one list element in the manifest.'
+    for instanceElt in listElts[0].iterchildren(tag=Constants.qnEdinetManifestInstance.clarkNotation):
+        instanceId = str(instanceElt.attrib.get("id", ""))
+        instanceType = str(instanceElt.attrib.get("type", ""))
+        preferredFilename = str(instanceElt.attrib.get("preferredFilename", ""))
+        ixbrlFiles = []
+        for ixbrlElt in instanceElt.iterchildren(tag=Constants.qnEdinetManifestIxbrl.clarkNotation):
+            uri = ixbrlElt.text.strip() if ixbrlElt.text is not None else None
+            if uri is not None and len(uri) > 0:
+                ixbrlFiles.append(base / uri)
+        instances.append(ManifestInstance(
+            id=instanceId,
+            ixbrlFiles=ixbrlFiles,
+            preferredFilename=preferredFilename,
+            type=instanceType,
+        ))
+    return Manifest(
+        instances=instances,
+        path=path,
+        titlesByLang=titlesByLang,
+        tocItems=tocItems,
+    )
+
+
+@lru_cache(1)
+def parseManifests(filesource: FileSource) -> list[Manifest]:
+    manifests: list[Manifest] = []
+    if filesource.isArchive:
+        if filesource.isTaxonomyPackage:
+            return manifests
+        if filesource.reportPackage is not None:
+            return manifests
+        for _archiveFile in (filesource.dir or ()):
+            if not Path(_archiveFile).stem.startswith('manifest'):
+                continue
+            assert isinstance(filesource.fs, zipfile.ZipFile), \
+                "The EDINET plugin only supports archives in .zip format."
+            with filesource.fs.open(_archiveFile) as manifestDoc:
+                xmlRootElement = etree.fromstring(manifestDoc.read())
+                manifests.append(_parseManifestDoc(xmlRootElement, Path(_archiveFile)))
+    elif (dirpath := Path(str(filesource.url))).is_dir():
+        for file in dirpath.rglob("*"):
+            if not file.is_file():
+                continue
+            if not file.stem.startswith('manifest'):
+                continue
+            with open(file, 'rb') as manifestDoc:
+                xmlRootElement = etree.fromstring(manifestDoc.read())
+                manifests.append(_parseManifestDoc(xmlRootElement, file))
+    return manifests

arelle/plugin/validate/EDINET/PluginValidationDataExtension.py

@@ -9,7 +9,10 @@ from dataclasses import dataclass
 from functools import lru_cache
 from pathlib import Path
 
+from arelle.ModelDocument import Type as ModelDocumentType
+from arelle.ModelObject import ModelObject
 from arelle.ModelXbrl import ModelXbrl
+from arelle.PrototypeDtsObject import LinkPrototype
 from arelle.ValidateXbrl import ValidateXbrl
 from arelle.typing import TypeGetText
 from arelle.utils.PluginData import PluginData
@@ -60,6 +63,29 @@ class PluginValidationDataExtension(PluginData):
             return False  # Not a zipfile
         return True
 
+    @lru_cache(1)
+    def getFootnoteLinkElements(self, modelXbrl: ModelXbrl) -> list[ModelObject | LinkPrototype]:
+        # TODO: Consolidate with similar implementations in EDGAR and FERC
+        doc = modelXbrl.modelDocument
+        if doc is None:
+            return []
+        if doc.type in (ModelDocumentType.INLINEXBRL, ModelDocumentType.INLINEXBRLDOCUMENTSET):
+            elts = (linkPrototype
+                            for linkKey, links in modelXbrl.baseSets.items()
+                            for linkPrototype in links
+                            if linkPrototype.modelDocument.type in (ModelDocumentType.INLINEXBRL, ModelDocumentType.INLINEXBRLDOCUMENTSET)
+                            and linkKey[1] and linkKey[2] and linkKey[3]  # fully specified roles
+                            and linkKey[0] != "XBRL-footnotes")
+        else:
+            rootElt = doc.xmlDocument.getroot()
+            elts = rootElt.iterdescendants(tag="{http://www.xbrl.org/2003/linkbase}footnoteLink")
+        return [
+            elt
+            for elt in elts
+            if isinstance(elt, (ModelObject, LinkPrototype))
+        ]
+
+
     def getUploadFileSizes(self, modelXbrl: ModelXbrl) -> dict[Path, int]:
         """
         Get the sizes of files in the upload directory.

arelle/plugin/validate/EDINET/__init__.py

@@ -5,17 +5,15 @@ See COPYRIGHT.md for copyright information.
 """
 from __future__ import annotations
 
-import zipfile
 from collections import defaultdict
 from pathlib import Path
 from typing import Any
 
-from lxml import etree
-from lxml.etree import _Element
-
 from arelle.FileSource import FileSource
 from arelle.ModelXbrl import ModelXbrl
 from arelle.Version import authorLabel, copyrightLabel
+from . import Constants
+from .Manifest import Manifest, ManifestInstance, parseManifests
 from .ValidationPluginExtension import ValidationPluginExtension
 from .rules import edinet, frta, gfm, upload
 
@@ -52,53 +50,18 @@ def disclosureSystemConfigURL(*args: Any, **kwargs: Any) -> str:
     return validationPlugin.disclosureSystemConfigURL
 
 
-def _parseManifestDoc(xmlRootElement: _Element, base: Path) -> dict[str, list[Path]]:
-    sets = defaultdict(list)
-    for instanceElt in xmlRootElement.iter(tag="{http://disclosure.edinet-fsa.go.jp/2013/manifest}instance"):
-        instanceId = str(instanceElt.attrib["id"])
-        for ixbrlElt in instanceElt.iter(tag="{http://disclosure.edinet-fsa.go.jp/2013/manifest}ixbrl"):
-            uri = ixbrlElt.text.strip() if ixbrlElt.text is not None else None
-            if uri:
-                sets[instanceId].append(base / uri)
-    return sets
-
-
 def fileSourceEntrypointFiles(filesource: FileSource, inlineOnly: bool, *args: Any, **kwargs: Any) -> list[dict[str, Any]] | None:
-    manifests = {}
-    if filesource.isArchive:
-        if filesource.isTaxonomyPackage:
-            return None
-        if filesource.reportPackage is not None:
-            return None
-        for _archiveFile in (filesource.dir or ()):
-            if not Path(_archiveFile).stem.startswith('manifest'):
-                continue
-            assert isinstance(filesource.fs, zipfile.ZipFile), \
-                "The EDINET plugin only supports archives in .zip format."
-            with filesource.fs.open(_archiveFile) as manifestDoc:
-                base = Path(_archiveFile).parent
-                xmlRootElement = etree.fromstring(manifestDoc.read())
-                manifests.update(_parseManifestDoc(xmlRootElement, base))
-    elif (dirpath := Path(str(filesource.url))).is_dir():
-        for file in dirpath.rglob("*"):
-            if not file.is_file():
-                continue
-            if not file.stem.startswith('manifest'):
-                continue
-            with open(file, 'rb') as manifestDoc:
-                base = file.parent
-                xmlRootElement = etree.fromstring(manifestDoc.read())
-                manifests.update(_parseManifestDoc(xmlRootElement, base))
+    manifests = parseManifests(filesource)
     if len(manifests) == 0:
         return None
-
     entrypointFiles = []
-    for instanceId, uris in manifests.items():
-        entrypoints = []
-        for uri in uris:
-            filesource.select(str(uri))
-            entrypoints.append({"file": filesource.url})
-        entrypointFiles.append({'ixds': entrypoints})
+    for manifest in manifests:
+        for instance in manifest.instances:
+            entrypoints = []
+            for ixbrlFile in instance.ixbrlFiles:
+                filesource.select(str(ixbrlFile))
+                entrypoints.append({"file": filesource.url})
+            entrypointFiles.append({'ixds': entrypoints})
     return entrypointFiles
 
 

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

@@ -3,21 +3,30 @@ See COPYRIGHT.md for copyright information.
 """
 from __future__ import annotations
 
-from collections.abc import Iterable
-from typing import Any
+from typing import Any, cast, Iterable
+
+import regex
 
 from arelle import XbrlConst, XmlUtil
+from arelle.ModelObject import ModelObject
+from arelle.PrototypeDtsObject import LocPrototype, ArcPrototype
 from arelle.UrlUtil import isHttpUrl, splitDecodeFragment
 from arelle.ValidateXbrl import ValidateXbrl
+from arelle.ValidateXbrlCalcs import insignificantDigits
+from arelle.XbrlConst import xhtmlBaseIdentifier, xmlBaseIdentifier
+from arelle.XmlValidate 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 arelle.utils.validate.ValidationUtil import etreeIterWithDepth
 from ..DisclosureSystems import (DISCLOSURE_SYSTEM_EDINET)
 from ..PluginValidationDataExtension import PluginValidationDataExtension
 
 _: TypeGetText
 
+GFM_CONTEXT_DATE_PATTERN = regex.compile(r"^[12][0-9]{3}-[01][0-9]-[0-3][0-9]$")
+
 
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
@@ -64,7 +73,7 @@ def rule_gfm_1_1_3(
                 continue  # Valid external URL
             if not any(scheme == "element" for scheme, __ in XmlUtil.xpointerSchemes(hrefId)):
                 continue  # Valid shorthand xpointer
-        yield Validation.error(
+        yield Validation.warning(
             codes='EDINET.EC5700W.GFM.1.1.3',
             msg=_("The URI content of the xlink:href attribute, the xsi:schemaLocation "
                   "attribute and the schemaLocation attribute must be relative and "
@@ -74,3 +83,188 @@ def rule_gfm_1_1_3(
             uri=uri,
             modelObject=elt,
         )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_1_7(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.1.7] Attribute xml:base must not appear in any filing document.
+    This check has been updated to check for the xhtml:base attribute in order to account for iXBRL filings.
+
+    Original GFM text: Attribute xml:base must not appear in any filing document.
+    """
+    baseElements = []
+    for rootElt in val.modelXbrl.ixdsHtmlElements:
+            for uncast_elt, depth in etreeIterWithDepth(rootElt):
+                elt = cast(Any, uncast_elt)
+                if elt.get(xmlBaseIdentifier) is not None:
+                    baseElements.append(elt)
+                if elt.tag == xhtmlBaseIdentifier:
+                    baseElements.append(elt)
+    if len(baseElements) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.1.7',
+            msg=_("Attribute xml:base must not appear in any filing document."),
+            modelObject=baseElements,
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_2_16(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.2.16] Use the decimals attribute instead of the precision attribute.
+
+    Original GFM text: The xbrli:xbrl element must not have any facts with the precision attribute.
+    """
+    errors = []
+    for fact in val.modelXbrl.facts:
+        concept = fact.concept
+        if concept is None:
+            continue
+        if not concept.isNumeric:
+            continue
+        if fact.precision is not None:
+            errors.append(fact)
+    if len(errors) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.2.16',
+            msg=_("Use the decimals attribute instead of the precision attribute."),
+            modelObject=errors,
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_2_22(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.2.22] In your taxonomy, do not expand the
+    xlink:arcrole attribute of the link:footnoteArc element. Modify the value
+    of the xlink:arcrole attribute to "http://www.xbrl.org/2003/arcrole/fact-footnote".
+
+    Original GFM text: The xlink:arcrole attribute of a link:footnoteArc element must
+    be defined in the XBRL Specification 2.1 or declared in a standard taxonomy schema.
+    """
+    errors = []
+    for elt in pluginData.getFootnoteLinkElements(val.modelXbrl):
+        for child in elt:
+            if not isinstance(child, (ModelObject, LocPrototype, ArcPrototype)):
+                continue
+            xlinkType = child.get(XbrlConst.qnXlinkType.clarkNotation)
+            if xlinkType == "arc":
+                arcrole = child.get(XbrlConst.qnXlinkArcRole.clarkNotation)
+                if arcrole != XbrlConst.factFootnote:
+                    errors.append(child)
+    if len(errors) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.2.22',
+            msg=_("Do not use extension arcroles for the link:footnoteArc element. "
+                  "Use the standard 'http://www.xbrl.org/2003/arcrole/fact-footnote' arcrole instead."),
+            modelObject=errors,
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_2_25(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.2.25] Set the date in the period element in the
+    following format: YYYY-MM-DD.
+
+    Original GFM text: Dates in period element of the context must comply with
+    yyyy-mm-dd format. No time is allowed in the value for dates.
+    """
+    errors = []
+    for context in val.modelXbrl.contexts.values():
+        for elt in context.iterdescendants(
+            XbrlConst.qnXbrliStartDate.clarkNotation,
+            XbrlConst.qnXbrliEndDate.clarkNotation,
+            XbrlConst.qnXbrliInstant.clarkNotation
+        ):
+            dateText = XmlUtil.text(elt)
+            if not GFM_CONTEXT_DATE_PATTERN.match(dateText):
+                errors.append(elt)
+    if len(errors) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.2.25',
+            msg=_("Set the date in the period element in the following "
+                  "format: YYYY-MM-DD."),
+            modelObject=errors,
+        )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_2_26(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.2.26] The decimals attribute value must not cause truncation of
+    non-zero digits in the fact value. Update the fact value to match the precision of
+    the decimals attribute, or update the decimals attribute.
+
+    Original GFM text: The decimals attribute value must not cause non-zero digits in
+    the fact value to be changed to zero.
+    """
+    errors = []
+    for fact in val.modelXbrl.facts:
+        if (
+                fact.context is None or
+                fact.concept is None or
+                fact.concept.type is None or
+                getattr(fact,"xValid", 0) < VALID or
+                fact.isNil or
+                not fact.isNumeric or
+                not fact.decimals or
+                fact.decimals == "INF"
+        ):
+            continue
+        try:
+            insignificance = insignificantDigits(fact.xValue, decimals=fact.decimals)
+            if insignificance is not None:
+                errors.append(fact)
+        except (ValueError,TypeError):
+            errors.append(fact)
+    if len(errors) > 0:
+        yield Validation.warning(
+            codes='EDINET.EC5700W.GFM.1.2.26',
+            msg=_("The decimals attribute value must not cause truncation of "
+                  "non-zero digits in the fact value. Update the fact value to "
+                  "match the precision of the decimals attribute, or update the"
+                  "decimals attribute."),
+            modelObject=errors,
+        )

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

@@ -4,11 +4,10 @@ See COPYRIGHT.md for copyright information.
 from __future__ import annotations
 
 import re
-import zipfile
 from collections import defaultdict
 from collections.abc import Iterable
 from pathlib import Path
-from typing import Any, cast, IO
+from typing import Any
 
 from arelle.ValidateXbrl import ValidateXbrl
 from arelle.typing import TypeGetText
@@ -17,6 +16,7 @@ from arelle.utils.validate.Decorator import validation
 from arelle.utils.validate.Validation import Validation
 from ..DisclosureSystems import (DISCLOSURE_SYSTEM_EDINET)
 from ..FormType import FormType, HTML_EXTENSIONS, IMAGE_EXTENSIONS
+from ..Manifest import parseManifests
 from ..PluginValidationDataExtension import PluginValidationDataExtension
 
 _: TypeGetText
@@ -452,3 +452,73 @@ def rule_EC1020E(
                 path=str(path),
                 file=str(path),
             )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_manifest_preferredFilename(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5804E: The preferredFilename attribute must be set on the instance
+    element in the manifest file.
+
+    EDINET.EC5805E: The instance file extension is not ".xbrl". File name: xxx
+    Please change the extension of the instance name set in the preferredFilename
+    attribute value of the instance element in the manifest file to ".xbrl".
+
+    EDINET.EC5806E: The same instance file name is set multiple times. File name: xxx
+    The preferredFilename attribute value of the instance element in the manifest
+    file must be unique within the same file.
+    """
+    if not pluginData.shouldValidateUpload(val):
+        return
+    manifests = parseManifests(val.modelXbrl.fileSource)
+    for manifest in manifests:
+        preferredFilenames = set()
+        duplicateFilenames = set()
+        for instance in manifest.instances:
+            if len(instance.preferredFilename) == 0:
+                yield Validation.error(
+                    codes='EDINET.EC5804E',
+                    msg=_("The instance file name is not set. "
+                          "Set the instance name as the preferredFilename attribute value "
+                          "of the instance element in the manifest file. (manifest: '%(manifest)s', id: %(id)s)"),
+                    manifest=str(manifest.path),
+                    id=instance.id,
+                )
+                continue
+            preferredFilename = Path(instance.preferredFilename)
+            if preferredFilename.suffix != '.xbrl':
+                yield Validation.error(
+                    codes='EDINET.EC5805E',
+                    msg=_("The instance file extension is not '.xbrl'. "
+                          "File name: '%(preferredFilename)s'. "
+                          "Please change the extension of the instance name set in the "
+                          "preferredFilename attribute value of the instance element in "
+                          "the manifest file to '.xbrl'. (manifest: '%(manifest)s', id: %(id)s)"),
+                    preferredFilename=instance.preferredFilename,
+                    manifest=str(manifest.path),
+                    id=instance.id,
+                )
+                continue
+            if instance.preferredFilename in preferredFilenames:
+                duplicateFilenames.add(instance.preferredFilename)
+                continue
+            preferredFilenames.add(instance.preferredFilename)
+        for duplicateFilename in duplicateFilenames:
+            yield Validation.error(
+                codes='EDINET.EC5806E',
+                msg=_("The same instance file name is set multiple times. "
+                      "File name: '%(preferredFilename)s'. "
+                      "The preferredFilename attribute value of the instance "
+                      "element in the manifest file must be unique within the "
+                      "same file. (manifest: '%(manifest)s')"),
+                manifest=str(manifest.path),
+                preferredFilename=duplicateFilename,
+            )

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

@@ -296,67 +296,21 @@ def rule_main(
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
 )
-def rule_ros6(
+def rule_ros20(
         pluginData: PluginValidationDataExtension,
         val: ValidateXbrl,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
-    ROS: Rule 6: ProfitLossOnOrdinaryActivitiesBeforeTax OR ProfitLossBeforeTax must exist in the document and be non-nil.
-    """
-    non_nil_profit_loss_fact_exists = any(
-        not fact.isNil for fact in val.modelXbrl.factsByLocalName.get(IE_PROFIT_LOSS, set())
-    )
-    non_nil_profit_loss_ordinary_fact_exists = any(
-        not fact.isNil for fact in val.modelXbrl.factsByLocalName.get(IE_PROFIT_LOSS_ORDINARY, set())
-    )
-    if not non_nil_profit_loss_fact_exists and not non_nil_profit_loss_ordinary_fact_exists:
-        yield Validation.error(
-            codes='ROS.6',
-            msg=_("Profit or Loss Before Tax (uk gaap:ProfitLossOnOrdinaryActivitiesBeforeTax) is missing."),
-            modelObject=val.modelXbrl
-        )
-
-
-@validation(
-        hook=ValidationHook.XBRL_FINALLY,
-    )
-def rule_ros18(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
-        *args: Any,
-        **kwargs: Any,
-) -> Iterable[Validation]:
-    """
-    ROS: Rule 18: DPLTurnoverRevenue cannot be a negative value.
-    """
-    return errorOnNegativeFact(
-            val.modelXbrl,
-            conceptLn=TURNOVER_REVENUE,
-            code='ROS.18',
-            message=_("Turnover / Revenue cannot be a negative value.")
-        )
-
-
-@validation(
-    hook=ValidationHook.XBRL_FINALLY,
-)
-def rule_ros19(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
-        *args: Any,
-        **kwargs: Any,
-) -> Iterable[Validation]:
-    """
-    ROS: Rule 19:PrincipalCurrencyUsedInBusinessReport must exist and its value must match the unit
+    ROS: Rule 20:PrincipalCurrencyUsedInBusinessReport must exist and its value must match the unit
     used for the majority of monetary facts.
     """
     principal_currency_facts = val.modelXbrl.factsByLocalName.get(PRINCIPAL_CURRENCY, set())
     principal_currency_values = set(fact.text for fact in principal_currency_facts)
     if len(principal_currency_values) != 1:
         yield Validation.error(
-            "ROS.19",
+            "ROS.20",
             _("'PrincipalCurrencyUsedInBusinessReport' must exist and have a single value.  Values found: %(principal_currency_values)s."),
             modelObject=principal_currency_facts,
             principal_currency_values=principal_currency_values,
@@ -370,7 +324,7 @@ def rule_ros19(
         for unit, count in unit_counts.items():
             if count > principal_currency_value_count:
                 yield Validation.warning(
-                    "ROS.19",
+                    "ROS.20",
                     _("'PrincipalCurrencyUsedInBusinessReport' has a value of %(principal_currency_value)s, "
                       "which must match the functional(majority) unit of the financial statement."),
                     modelObject=principal_currency_facts,

{arelle_release-2.37.34.dist-info → arelle_release-2.37.36.dist-info}/METADATA

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

{arelle_release-2.37.34.dist-info → arelle_release-2.37.36.dist-info}/RECORD

@@ -21,7 +21,7 @@ arelle/DialogRssWatch.py,sha256=mjc4pqyFDISY4tQtME0uSRQ3NlcWnNsOsMu9Zj8tTd0,1378
 arelle/DialogURL.py,sha256=JH88OPFf588E8RW90uMaieok7A_4kOAURQ8kHWVhnao,4354
 arelle/DialogUserPassword.py,sha256=kWPlCCihhwvsykDjanME9qBDtv6cxZlsrJyoMqiRep4,13769
 arelle/DisclosureSystem.py,sha256=mQlz8eezPpJuG6gHBV-x4-5Hne3LVh8TQf-Qm9jiFxI,24757
-arelle/FileSource.py,sha256=S19Rll9CoRPZ2zJCAlNHv1jt2UUfiLbSgI2tDdJq5Xc,47899
+arelle/FileSource.py,sha256=asaX2wM47T7S6kELwmXm-YjGIoV6poWz_YdYThY0lpk,47983
 arelle/FunctionCustom.py,sha256=d1FsBG14eykvpLpgaXpN8IdxnlG54dfGcsXPYfdpA9Q,5880
 arelle/FunctionFn.py,sha256=BcZKah1rpfquSVPwjvknM1pgFXOnK4Hr1e_ArG_mcJY,38058
 arelle/FunctionIxt.py,sha256=8JELGh1l4o8Ul4_G7JgwX8Ebch9it2DblI6OkfL33Cw,80082
@@ -46,7 +46,7 @@ arelle/ModelRenderingObject.py,sha256=iPhSUlSBG-FLzAfIdUW06UZDgTCaZJ4K2mxvAtSe2B
 arelle/ModelRssItem.py,sha256=GzFkmluOlFsVcrxn9HAyOAcuE7rcHUOGkp4Q6F2IlT8,7713
 arelle/ModelRssObject.py,sha256=xjuwyJ8pU5sQmNPJFQakDEEnujZg2bMCTaj3zVezHL8,992
 arelle/ModelTestcaseObject.py,sha256=dnCxatJcFPlu5BgTuToqgrQowYNx4YtA5KrmW4vHko4,22432
-arelle/ModelValue.py,sha256=t0mVl3-EcE4MaXdRL9F94XaBwBfu1xG2DmFuHOczrEk,39447
+arelle/ModelValue.py,sha256=0sr7njFjGI2W3Bct2dxf2LoG_fLerHQouQtM0v0ZY2E,39573
 arelle/ModelVersObject.py,sha256=cPD1IzhkCfuV1eMgVFWes88DH_6WkUj5kj7sgGF2M0I,26062
 arelle/ModelVersReport.py,sha256=bXEA9K3qkH57aABn5l-m3CTY0FAcF1yX6O4fo-URjl8,73326
 arelle/ModelXbrl.py,sha256=bj-_enkb2AV2KVCRrRf2YPGxOoO9cdqKnVqfy3bGFZk,72125
@@ -65,7 +65,7 @@ arelle/UITkTable.py,sha256=N83cXi5c0lLZLsDbwSKcPrlYoUoGsNavGN5YRx6d9XY,39810
 arelle/UiUtil.py,sha256=3G0xPclZI8xW_XQDbiFrmylB7Nd5muqi5n2x2oMkMZU,34218
 arelle/Updater.py,sha256=IZ8cq44Rq88WbQcB1VOpMA6bxdfZxfYQ8rgu9Ehpbes,7448
 arelle/UrlUtil.py,sha256=HrxZSG59EUMGMMGmWPuZkPi5-0BGqY3jAMkp7V4IdZo,32400
-arelle/Validate.py,sha256=SxdFqjqNy3Dp2dFZV2YXn61uygZsf2UtSE5gmdqiZY8,58024
+arelle/Validate.py,sha256=YQUr2t2lyuQJD4ygfKgbj7grON-Od5pYfkjFVS5XuDM,58049
 arelle/ValidateDuplicateFacts.py,sha256=L556J1Dhz4ZmsMlRNoDCMpFgDQYiryd9vuBYDvE0Aq8,21769
 arelle/ValidateFilingText.py,sha256=xnXc0xgdNiHQk0eyP7VSSpvw7qr-pRFRwqqoUb569is,54051
 arelle/ValidateInfoset.py,sha256=Rz_XBi5Ha43KpxXYhjLolURcWVx5qmqyjLxw48Yt9Dg,20396
@@ -114,7 +114,7 @@ arelle/ViewWinVersReport.py,sha256=aYfsOgynVZpMzl6f2EzQCBLzdihYGycwb5SiTghkgMQ,9
 arelle/ViewWinXml.py,sha256=4ZGKtjaoCwU9etKYm9ZAS7jSmUxba1rqNEdv0OIyjTY,1250
 arelle/WatchRss.py,sha256=5Ih4igH2MM4hpOuAXy9eO0QAyZ7jZR3S5bPzo2sdFpw,14097
 arelle/WebCache.py,sha256=HlF4vfjxO0bSFHqMPfjnmkrzc7RK9XT714a7g3XFTDY,45192
-arelle/XbrlConst.py,sha256=k-cingAiunkqPd7YkFMgF6y5syj9GRWP84DTK2aDrCY,57935
+arelle/XbrlConst.py,sha256=T8Cvogf1j2I5aws7ZDwLmCj6zcYwxUZIk9ZXDYwHfxU,58164
 arelle/XbrlUtil.py,sha256=s2Vmrh-sZI5TeuqsziKignOc3ao-uUgnCNoelP4dDj0,9212
 arelle/XhtmlValidate.py,sha256=0gtm7N-kXK0RB5o3c1AQXjfFuRp1w2fKZZAeyruNANw,5727
 arelle/XmlUtil.py,sha256=1VToOOylF8kbEorEdZLThmq35j9bmuF_DS2q9NthnHU,58774
@@ -123,7 +123,7 @@ arelle/XmlValidateConst.py,sha256=U_wN0Q-nWKwf6dKJtcu_83FXPn9c6P8JjzGA5b0w7P0,33
 arelle/XmlValidateParticles.py,sha256=Mn6vhFl0ZKC_vag1mBwn1rH_x2jmlusJYqOOuxFPO2k,9231
 arelle/XmlValidateSchema.py,sha256=6frtZOc1Yrx_5yYF6V6oHbScnglWrVbWr6xW4EHtLQI,7428
 arelle/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-arelle/_version.py,sha256=UdKRHaB3pyxyxupZQ1MDG4KdlqxGBWeWxgwroLH2N_g,515
+arelle/_version.py,sha256=qE1JoU23iZVZMuNLXnlDRaP4Udr6pvevq0c9sMilUZ4,515
 arelle/typing.py,sha256=PRe-Fxwr2SBqYYUVPCJ3E7ddDX0_oOISNdT5Q97EbRM,1246
 arelle/api/Session.py,sha256=27HVuK3Bz1_21l4_RLn1IQg6v0MNsUEYrHajymyWwxI,7429
 arelle/archive/CustomLogger.py,sha256=v_JXOCQLDZcfaFWzxC9FRcEf9tQi4rCI4Sx7jCuAVQI,1231
@@ -392,18 +392,20 @@ arelle/plugin/validate/DBA/rules/tm.py,sha256=ui9oKBqlAForwkQ9kk9KBiUogTJE5pv1Rb
 arelle/plugin/validate/DBA/rules/tr.py,sha256=zdi3kQ82whmweVWRLbMvcNpM8sqtUliPsGfd81rgZws,14671
 arelle/plugin/validate/EBA/__init__.py,sha256=1kW-04W32sStSAL8wvW1ZpXnjlFv6KLbfE4aifYUB2A,46000
 arelle/plugin/validate/EBA/config.xml,sha256=37wMVUAObK-XEqakqD8zPNog20emYt4a_yfL1AKubF8,2022
+arelle/plugin/validate/EDINET/Constants.py,sha256=QG69rWdpIrpQzZQkRcDWk2i3rlBVohr4VtSdW-IS5_w,734
 arelle/plugin/validate/EDINET/DisclosureSystems.py,sha256=3rKG42Eg-17Xx_KXU_V5yHW6I3LTwQunvf4a44C9k_4,36
 arelle/plugin/validate/EDINET/FormType.py,sha256=pJfKjdjqFcRLFgH6xbEixvpwatZBBHI8uI3xjjhaPI0,3175
-arelle/plugin/validate/EDINET/PluginValidationDataExtension.py,sha256=VSSffANEC5kuvLC54pWYQ7w8fuSKo5LGdiuZ3NwWktg,5061
+arelle/plugin/validate/EDINET/Manifest.py,sha256=VWenzA1ndOp802zpTELSLREbCrzrA-nM1UCRpRf1Q3M,4849
+arelle/plugin/validate/EDINET/PluginValidationDataExtension.py,sha256=vJPs5GgNJbRUBTKP0ULMb4UqvDoGATPC9dTFsKG4HyI,6347
 arelle/plugin/validate/EDINET/ValidationPluginExtension.py,sha256=HIGOpBOyuVs5SEh573M3IzdouRdEuNIBkdumieZi8r0,959
-arelle/plugin/validate/EDINET/__init__.py,sha256=7Z3IdTdx0OdSm65jYYeRx_0B_zSvUKQubgXpa76OlvA,5164
+arelle/plugin/validate/EDINET/__init__.py,sha256=ew9Rc2qJe5d3XvOOFzhX6MfzxNUtxIYfxRGX-wkfR1c,3555
 arelle/plugin/validate/EDINET/resources/config.xml,sha256=GmLcW7UIj5koXJkN19P6Nq5EZJcs6gKQLQ5f2V6u78w,614
 arelle/plugin/validate/EDINET/resources/edinet-taxonomies.xml,sha256=997I3RGTLg5OY3vn5hQxVFAAxOmDSOYpuyQe6VnWSY0,16285
 arelle/plugin/validate/EDINET/rules/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 arelle/plugin/validate/EDINET/rules/edinet.py,sha256=hm5T8PiQbOKP58BiSV9UFvKQX10uNBpxUZ06ORSU1cE,2117
 arelle/plugin/validate/EDINET/rules/frta.py,sha256=l7BQHOenDjYrpCX6bsXyUHgyvkjbfvJWfbpBthCHmBI,1713
-arelle/plugin/validate/EDINET/rules/gfm.py,sha256=rj1ylvRIoauyzlEW1z1UxOkgO6fzvoMl5myRKkEZzY4,3295
-arelle/plugin/validate/EDINET/rules/upload.py,sha256=sZFDSRWukJZEEBfg_RsG1q3Qw1IHhD0LZjl9LL1i9Ao,17048
+arelle/plugin/validate/EDINET/rules/gfm.py,sha256=EYOPRzJrjp9taPFm53vn7e4CEq0rgIps4_bEslSZJWo,10392
+arelle/plugin/validate/EDINET/rules/upload.py,sha256=HZ-9Gk6WtIichTGcSsSGIrMXNgsgJYQYwfUKeLs1XWU,20369
 arelle/plugin/validate/ESEF/Const.py,sha256=JujF_XV-_TNsxjGbF-8SQS4OOZIcJ8zhCMnr-C1O5Ho,22660
 arelle/plugin/validate/ESEF/Dimensions.py,sha256=MOJM7vwNPEmV5cu-ZzPrhx3347ZvxgD6643OB2HRnIk,10597
 arelle/plugin/validate/ESEF/Util.py,sha256=QH3btcGqBpr42M7WSKZLSdNXygZaZLfEiEjlxoG21jE,7950
@@ -439,7 +441,7 @@ arelle/plugin/validate/ROS/__init__.py,sha256=KuWg1MHVzA2S6eaHFptvP3Vu_5gQWf3OUY
 arelle/plugin/validate/ROS/config.xml,sha256=ZCpCFgr1ZAjoUuhb1eRpDnmKrae-sXA9yl6SOWnrfm8,654
 arelle/plugin/validate/ROS/resources/config.xml,sha256=HXWume5HlrAqOx5AtiWWqgADbRatA8YSfm_JvZGwdgQ,657
 arelle/plugin/validate/ROS/rules/__init__.py,sha256=wW7BUAIb7sRkOxC1Amc_ZKrz03FM-Qh1TyZe6wxYaAU,1567
-arelle/plugin/validate/ROS/rules/ros.py,sha256=6DciQvv3H9QCEaDgINfHejZd196pEulUcQHk2qqMWhs,19921
+arelle/plugin/validate/ROS/rules/ros.py,sha256=Vv7qKMmhBEuPu7y_g0sjiDLnm5VXXz6EVdzonJbCUtg,18436
 arelle/plugin/validate/UK/ValidateUK.py,sha256=0UhSwsY1lrY-EAEBJJR9QY38YXGBZ6PEgmuC5gQfBlI,57813
 arelle/plugin/validate/UK/__init__.py,sha256=KE6s_B-EvrHDCtWQz2N_wQwyx_ZbWhYNV2GfQnluxMw,30655
 arelle/plugin/validate/UK/config.xml,sha256=mUFhWDfBzGTn7v0ZSmf4HaweQTMJh_4ZcJmD9mzCHrA,1547
@@ -754,9 +756,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.34.dist-info/licenses/LICENSE.md,sha256=Q0tn6q0VUbr-NM8916513NCIG8MNzo24Ev-sxMUBRZc,3959
-arelle_release-2.37.34.dist-info/METADATA,sha256=580O6L8VeM_RIhUWVmkF7s_ifRMpg3mYX3e_8G3u33I,9137
-arelle_release-2.37.34.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-arelle_release-2.37.34.dist-info/entry_points.txt,sha256=Uj5niwfwVsx3vaQ3fYj8hrZ1xpfCJyTUA09tYKWbzpo,111
-arelle_release-2.37.34.dist-info/top_level.txt,sha256=fwU7SYawL4_r-sUMRg7r1nYVGjFMSDvRWx8VGAXEw7w,7
-arelle_release-2.37.34.dist-info/RECORD,,
+arelle_release-2.37.36.dist-info/licenses/LICENSE.md,sha256=Q0tn6q0VUbr-NM8916513NCIG8MNzo24Ev-sxMUBRZc,3959
+arelle_release-2.37.36.dist-info/METADATA,sha256=O21K0JV03vScH1fAs0RomXYXTEyz-r135EHcUNJbaI8,9137
+arelle_release-2.37.36.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+arelle_release-2.37.36.dist-info/entry_points.txt,sha256=Uj5niwfwVsx3vaQ3fYj8hrZ1xpfCJyTUA09tYKWbzpo,111
+arelle_release-2.37.36.dist-info/top_level.txt,sha256=fwU7SYawL4_r-sUMRg7r1nYVGjFMSDvRWx8VGAXEw7w,7
+arelle_release-2.37.36.dist-info/RECORD,,