arelle-release 2.37.34__tar.gz → 2.37.36__tar.gz

{arelle_release-2.37.34/arelle_release.egg-info → arelle_release-2.37.36}/PKG-INFO

@@ -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 → arelle_release-2.37.36}/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_release-2.37.34 → arelle_release-2.37.36}/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_release-2.37.34 → arelle_release-2.37.36}/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_release-2.37.34 → arelle_release-2.37.36}/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_release-2.37.34 → arelle_release-2.37.36}/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_release-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_release-2.37.36/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_release-2.37.34 → arelle_release-2.37.36}/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_release-2.37.34 → arelle_release-2.37.36}/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_release-2.37.36/arelle/plugin/validate/EDINET/rules/gfm.py

@@ -0,0 +1,270 @@
+"""
+See COPYRIGHT.md for copyright information.
+"""
+from __future__ import annotations
+
+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,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_gfm_1_1_3(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5700W: [GFM 1.1.3] The URI content of the xlink:href attribute,
+    the xsi:schemaLocation attribute and the schemaLocation attribute must
+    be relative and contain no forward slashes, or a recognized external
+    location of a standard taxonomy schema file, or a "#" followed by a
+    shorthand xpointer.
+    """
+    values = []
+    for modelDocument in val.modelXbrl.urlDocs.values():
+        if pluginData.isStandardTaxonomyUrl(modelDocument.uri, val.modelXbrl):
+            continue
+        rootElt = modelDocument.xmlRootElement
+        for elt in rootElt.iterdescendants(XbrlConst.qnLinkLoc.clarkNotation):
+            uri = elt.attrib.get(XbrlConst.qnXlinkHref.clarkNotation)
+            values.append((modelDocument, elt, uri))
+        for elt in rootElt.iterdescendants(XbrlConst.qnXsdImport.clarkNotation):
+            uri = elt.attrib.get('schemaLocation')
+            values.append((modelDocument, elt, uri))
+        for elt in rootElt.iterdescendants(XbrlConst.qnLinkLinkbase.clarkNotation):
+            uri = elt.attrib.get(XbrlConst.qnXsiSchemaLocation.clarkNotation)
+            values.append((modelDocument, elt, uri))
+    for modelDocument, elt, uri in values:
+        if uri is None:
+            continue
+        if not isHttpUrl(uri):
+            if '/' not in uri:
+                continue  # Valid relative path
+        if pluginData.isStandardTaxonomyUrl(uri, val.modelXbrl):
+            continue  # Valid external URL
+        splitUri, hrefId = splitDecodeFragment(uri)
+        if pluginData.isStandardTaxonomyUrl(splitUri, val.modelXbrl):
+            if hrefId is None or len(hrefId) == 0:
+                continue  # Valid external URL
+            if not any(scheme == "element" for scheme, __ in XmlUtil.xpointerSchemes(hrefId)):
+                continue  # Valid shorthand xpointer
+        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 "
+                  "contain no forward slashes, or a recognized external location of "
+                  "a standard taxonomy schema file, or a '#' followed by a shorthand "
+                  "xpointer. The URI '%(uri)s' is not valid."),
+            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,
+        )