arelle-release 2.37.46__py3-none-any.whl → 2.38.0__py3-none-any.whl

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

@@ -3,22 +3,47 @@ See COPYRIGHT.md for copyright information.
 """
 from __future__ import annotations
 
-import re
 from collections import defaultdict
+from collections.abc import Iterable
 from pathlib import Path
-from typing import Any, Iterable
+from typing import TYPE_CHECKING, Any
 
-from arelle.ValidateXbrl import ValidateXbrl
+import regex
+
+from arelle import UrlUtil, XbrlConst
+from arelle.Cntlr import Cntlr
+from arelle.FileSource import FileSource
+from arelle.ModelDocument import Type as ModelDocumentType
+from arelle.ModelInstanceObject import ModelFact, ModelInlineFact
+from arelle.ModelObject import ModelObject
 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 ..DisclosureSystems import (DISCLOSURE_SYSTEM_EDINET)
-from ..InstanceType import InstanceType, HTML_EXTENSIONS, IMAGE_EXTENSIONS
+from arelle.ValidateXbrl import ValidateXbrl
+from arelle.XmlValidateConst import VALID
+
+from ..Constants import JAPAN_LANGUAGE_CODES
+from ..DisclosureSystems import DISCLOSURE_SYSTEM_EDINET
+from ..FilingFormat import Ordinance, Taxonomy
 from ..PluginValidationDataExtension import PluginValidationDataExtension
+from ..ReportFolderType import HTML_EXTENSIONS, IMAGE_EXTENSIONS, ReportFolderType
+
+if TYPE_CHECKING:
+    from ..ControllerPluginData import ControllerPluginData
 
 _: TypeGetText
 
+ALLOWED_ROOT_FOLDERS = {
+    "AttachDoc",
+    "AuditDoc",
+    "PrivateAttach",
+    "PrivateDoc",
+    "PublicAttach",
+    "PublicDoc",
+    "XBRL",
+}
+
 FILE_COUNT_LIMITS = {
     Path("AttachDoc"): 990,
     Path("AuditDoc"): 990,
@@ -31,88 +56,101 @@ FILE_COUNT_LIMITS = {
     Path("XBRL"): 99_990,
 }
 
-FILENAME_STEM_PATTERN = re.compile(r'[a-zA-Z0-9_-]*')
+FILENAME_STEM_PATTERN = regex.compile(r'[a-zA-Z0-9_-]*')
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
-def rule_EC0121E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+def rule_EC0100E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
-    EDINET.EC0121E: There is a directory or file that contains more than 31 characters
-    or uses characters other than those allowed (alphanumeric characters, '-' and '_').
+    EDINET.EC0100E: An illegal directory is found directly under the transferred directory.
+    Only the following root folders are allowed:
+        AttachDoc
+        AuditDoc*
+        PrivateAttach
+        PrivateDoc*
+        PublicAttach
+        PublicDoc*
+        XBRL
+    * Only when reporting corrections
 
-    Note: Sample instances from EDINET almost always violate this rule based on our
-    current interpretation. The exception being files placed outside the XBRL directory,
-    i.e. amendment documents. For now, we will only check amendment documents, directory
-    names, or other files in unexpected locations.
+    NOTE: since we do not have access to the submission type, we can't determine if the submission is a correction or not.
+    For this implementation, we will allow all directories that may be valid for at least one submission type.
+    This allows for a false-negative outcome when a non-correction submission has a correction-only root directory.
     """
-    if not pluginData.shouldValidateUpload(val):
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
         return
-    uploadContents = pluginData.getUploadContents(val.modelXbrl)
-    paths = set(uploadContents.directories | uploadContents.unknownPaths)
-    for amendmentPaths in uploadContents.amendmentPaths.values():
-        paths.update(amendmentPaths)
-    for path in paths:
-        if len(str(path.name)) > 31 or not FILENAME_STEM_PATTERN.match(path.stem):
+    for path, pathInfo in uploadContents.uploadPathsByPath.items():
+        if pathInfo.isRoot and path.name not in ALLOWED_ROOT_FOLDERS:
             yield Validation.error(
-                codes='EDINET.EC0121E',
-                msg=_("There is a directory or file in '%(directory)s' that contains more than 31 characters "
-                      "or uses characters other than those allowed (alphanumeric characters, '-' and '_'). "
-                      "Directory or file name: '%(basename)s'. "
-                      "Please change the file name (or folder name) to within 31 characters and to usable "
-                      "characters, and upload again."),
-                directory=str(path.parent),
-                basename=path.name,
-                file=str(path)
+                codes='EDINET.EC0100E',
+                msg=_("An illegal directory is found directly under the transferred directory. "
+                      "Directory name or file name: '%(rootDirectory)s'. "
+                      "Delete all folders except the following folders that exist directly "
+                      "under the root folder, and then upload again: %(allowedDirectories)s."),
+                rootDirectory=path.name,
+                allowedDirectories=', '.join(f"'{d}'" for d in ALLOWED_ROOT_FOLDERS)
             )
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
-def rule_EC0124E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+def rule_EC0124E_EC0187E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
-    EDINET.EC0124E: There are no empty directories.
+    EDINET.EC0124E: There are no empty root directories.
+    EDINET.EC0187E: There are no empty subdirectories.
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
-    uploadFilepaths = pluginData.getUploadFilepaths(val.modelXbrl)
+    uploadFilepaths = pluginData.getUploadFilepaths(fileSource)
     emptyDirectories = []
-    for path in uploadFilepaths:
-        if path.suffix:
+    for path, zipPath in uploadFilepaths.items():
+        if not zipPath.is_dir():
             continue
         if not any(path in p.parents for p in uploadFilepaths):
-            emptyDirectories.append(str(path))
+            emptyDirectories.append(path)
     for emptyDirectory in emptyDirectories:
-        yield Validation.error(
-            codes='EDINET.EC0124E',
-            msg=_("There is no file directly under '%(emptyDirectory)s'. "
-                  "No empty folders. "
-                  "Please store the file in the appropriate folder or delete the folder and upload again."),
-            emptyDirectory=emptyDirectory,
-        )
+        if len(emptyDirectory.parts) <= 1:
+            yield Validation.error(
+                codes='EDINET.EC0124E',
+                msg=_("There is no file directly under '%(emptyDirectory)s'. "
+                      "No empty root folders. "
+                      "Please store the file in the appropriate folder or delete the folder and upload again."),
+                emptyDirectory=str(emptyDirectory),
+            )
+        else:
+            yield Validation.error(
+                codes='EDINET.EC0187E',
+                msg=_("'%(parentDirectory)s' contains a subordinate directory ('%(emptyDirectory)s') with no files. "
+                      "Please store the file in the corresponding subfolder or delete the subfolder and upload again."),
+                parentDirectory=str(emptyDirectory.parent),
+                emptyDirectory=str(emptyDirectory),
+            )
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0129E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
@@ -120,9 +158,7 @@ def rule_EC0129E(
     EDINET.EC0129E: Limit the number of subfolders to 3 or less from the XBRL directory.
     """
     startingDirectory = 'XBRL'
-    if not pluginData.shouldValidateUpload(val):
-        return
-    uploadFilepaths = pluginData.getUploadFilepaths(val.modelXbrl)
+    uploadFilepaths = pluginData.getUploadFilepaths(fileSource)
     for path in uploadFilepaths:
         parents = [parent.name for parent in path.parents]
         if startingDirectory in parents:
@@ -144,37 +180,29 @@ def rule_EC0129E(
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0130E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
     EDINET.EC0130E: File extensions must match the file extensions allowed in Figure 2-1-3 and Figure 2-1-5.
     """
-    if not pluginData.shouldValidateUpload(val):
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
         return
-    uploadContents = pluginData.getUploadContents(val.modelXbrl)
-    checks = []
-    for instanceType, amendmentPaths in uploadContents.amendmentPaths.items():
-        for amendmentPath in amendmentPaths:
-            isSubdirectory = amendmentPath.parent.name != instanceType.value
-            checks.append((amendmentPath, True, instanceType, isSubdirectory))
-    for instanceType, formPaths in uploadContents.instances.items():
-        for amendmentPath in formPaths:
-            isSubdirectory = amendmentPath.parent.name != instanceType.value
-            checks.append((amendmentPath, False, instanceType, isSubdirectory))
-    for path, isAmendment, instanceType, isSubdirectory in checks:
-        ext = path.suffix
-        if len(ext) == 0:
+    for path, pathInfo in uploadContents.uploadPathsByPath.items():
+        if pathInfo.reportFolderType is None or pathInfo.isDirectory:
             continue
-        validExtensions = instanceType.getValidExtensions(isAmendment, isSubdirectory)
+        validExtensions = pathInfo.reportFolderType.getValidExtensions(pathInfo.isCorrection, pathInfo.isSubdirectory)
         if validExtensions is None:
             continue
+        ext = path.suffix
         if ext not in validExtensions:
             yield Validation.error(
                 codes='EDINET.EC0130E',
@@ -192,51 +220,68 @@ def rule_EC0130E(
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0132E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **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.
     """
-    if not pluginData.shouldValidateUpload(val):
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
         return
-    uploadContents = pluginData.getUploadContents(val.modelXbrl)
-    for instanceType in (InstanceType.AUDIT_DOC, InstanceType.PRIVATE_DOC, InstanceType.PUBLIC_DOC):
-        if instanceType not in uploadContents.instances:
-            continue
-        if instanceType.manifestPath in uploadContents.instances.get(instanceType, []):
+    for reportFolderType, paths in uploadContents.reports.items():
+        if reportFolderType.isAttachment:
+            # These rules don't apply to "Attach" directories
             continue
-        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. "),
-            expectedManifestName=instanceType.manifestPath.name,
-            expectedManifestDirectory=str(instanceType.manifestPath.parent),
-        )
+        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 directly under the relevant folder and upload it again. "),
+                expectedManifestName=reportFolderType.manifestPath.name,
+                expectedManifestDirectory=str(reportFolderType.manifestPath.parent),
+            )
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0183E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
     EDINET.EC0183E: The compressed file size exceeds 55MB.
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
-    size = val.modelXbrl.fileSource.getBytesSize()
+    size = fileSource.getBytesSize()
     if size is None:
         return  # File size is not available, cannot validate
     if size > 55_000_000:  # Interpretting MB as megabytes (1,000,000 bytes)
@@ -248,22 +293,21 @@ def rule_EC0183E(
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0188E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
     EDINET.EC0188E: There is an HTML file directly under PublicDoc or PrivateDoc whose first 7 characters are not numbers.
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
-    pattern = re.compile(r'^\d{7}')
-    uploadFilepaths = pluginData.getUploadFilepaths(val.modelXbrl)
+    pattern = regex.compile(r'^\d{7}')
+    uploadFilepaths = pluginData.getUploadFilepaths(fileSource)
     docFolders = frozenset({"PublicDoc", "PrivateDoc"})
     for path in uploadFilepaths:
         if path.suffix not in HTML_EXTENSIONS:
@@ -282,24 +326,55 @@ def rule_EC0188E(
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC0192E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC0192E: The cover file for PrivateDoc cannot be set because it uses a
+    PublicDoc cover file. Please delete the cover file from PrivateDoc and upload
+    it again.
+    """
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
+        return
+    for path, pathInfo in uploadContents.uploadPathsByPath.items():
+        if not pathInfo.isCoverPage:
+            continue
+        # Only applies to PrivateDoc correction reports
+        if pathInfo.isCorrection and pathInfo.reportFolderType == ReportFolderType.PRIVATE_DOC:
+            yield Validation.error(
+                codes='EDINET.EC0192E',
+                msg=_("The cover file for PrivateDoc ('%(file)s') cannot be set because it uses a PublicDoc cover file. "
+                      "Please delete the cover file from PrivateDoc and upload it again."),
+                file=str(path),
+            )
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0198E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
     EDINET.EC0198E: The number of files in the total submission and directories can not exceed the upper limit.
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
     fileCounts: dict[Path, int] = defaultdict(int)
-    uploadFilepaths = pluginData.getUploadFilepaths(val.modelXbrl)
-    for path in uploadFilepaths:
-        if len(path.suffix) == 0:
+    uploadFilepaths = pluginData.getUploadFilepaths(fileSource)
+    for path, zipPath in uploadFilepaths.items():
+        if zipPath.is_dir():
             continue
         for directory in FILE_COUNT_LIMITS.keys():
             if directory in path.parents:
@@ -319,21 +394,100 @@ def rule_EC0198E(
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC0233E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC0233E: There is a file in the report directory that comes before the cover file
+    in file name sort order.
+
+    NOTE: This includes files in subdirectories. For example, PublicDoc/00000000_images/image.png
+    comes before PublicDoc/0000000_header_*.htm
+    """
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
+        return
+    directories = defaultdict(list)
+    for path in uploadContents.sortedPaths:
+        pathInfo = uploadContents.uploadPathsByPath[path]
+        if pathInfo.isDirectory:
+            continue
+        if pathInfo.reportFolderType in (ReportFolderType.PRIVATE_DOC, ReportFolderType.PUBLIC_DOC):
+            directories[pathInfo.reportPath].append(pathInfo)
+    for reportPath, pathInfos in directories.items():
+        coverPagePath = next(iter(p for p in pathInfos if p.isCoverPage), None)
+        if coverPagePath is None:
+            continue
+        errorPathInfos = pathInfos[:pathInfos.index(coverPagePath)]
+        for pathInfo in errorPathInfos:
+            yield Validation.error(
+                codes='EDINET.EC0233E',
+                msg=_("There is a file in the report directory in '%(reportPath)s' that comes before the cover "
+                      "file ('%(coverPage)s') in file name sort order. "
+                      "Directory name or file name: '%(path)s'. "
+                      "Please make sure that there are no files that come before the cover file in the file "
+                      "name sort order, and then upload again."),
+                reportPath=str(reportPath),
+                coverPage=str(coverPagePath.path.name),
+                path=str(pathInfo.path),
+            )
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC0234E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC0234E: A cover file exists in an unsupported subdirectory.
+    """
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
+        return
+    for path, pathInfo in uploadContents.uploadPathsByPath.items():
+        if pathInfo.isDirectory:
+            continue
+        if pathInfo.reportFolderType not in (ReportFolderType.PRIVATE_DOC, ReportFolderType.PUBLIC_DOC):
+            continue
+        if pathInfo.isSubdirectory and pathInfo.isCoverPage:
+            yield Validation.error(
+                codes='EDINET.EC0234E',
+                msg=_("A cover file ('%(coverPage)s') exists in an unsupported subdirectory. "
+                      "Directory: '%(directory)s'. "
+                      "Please make sure there is no cover file in the subfolder and upload again."),
+                coverPage=str(path.name),
+                directory=str(path.parent),
+            )
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0237E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
     EDINET.EC0237E: The directory or file path to the lowest level exceeds the maximum value (259 characters).
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
-    uploadFilepaths = pluginData.getUploadFilepaths(val.modelXbrl)
+    uploadFilepaths = pluginData.getUploadFilepaths(fileSource)
     for path in uploadFilepaths:
         if len(str(path)) <= 259:
             continue
@@ -348,21 +502,20 @@ def rule_EC0237E(
 
 
 @validation(
-    hook=ValidationHook.XBRL_FINALLY,
+    hook=ValidationHook.FILESOURCE,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
 def rule_EC0206E(
-        pluginData: PluginValidationDataExtension,
-        val: ValidateXbrl,
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
     EDINET.EC0206E: Empty files are not permitted.
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
-    for path, size in pluginData.getUploadFileSizes(val.modelXbrl).items():
+    for path, size in pluginData.getUploadFileSizes(fileSource).items():
         if size > 0:
             continue
         yield Validation.error(
@@ -375,22 +528,409 @@ def rule_EC0206E(
         )
 
 
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC0349E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC0349E: An unexpected directory or file exists directly beneath the XBRL directory.
+    Only PublicDoc, PrivateDoc, or AuditDoc directories may exist directly beneath the XBRL directory.
+    """
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
+        return
+    xbrlDirectoryPath = Path('XBRL')
+    allowedPaths = {p.xbrlDirectory for p in (
+        ReportFolderType.AUDIT_DOC,
+        ReportFolderType.PRIVATE_DOC,
+        ReportFolderType.PUBLIC_DOC,
+    )}
+    for path, pathInfo in uploadContents.uploadPathsByPath.items():
+        if path.parent != xbrlDirectoryPath:
+            continue
+        if path not in allowedPaths:
+            yield Validation.error(
+                codes='EDINET.EC0349E',
+                msg=_("An unexpected directory or file exists directly beneath the XBRL directory. "
+                      "Directory or file name: '%(file)s'."),
+                file=path.name,
+            )
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC0352E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC0352E: An XBRL file with an invalid name exists.
+    """
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
+        return
+    for path, pathInfo in uploadContents.uploadPathsByPath.items():
+        if (
+            pathInfo.isDirectory or
+            pathInfo.isCorrection or
+            pathInfo.isSubdirectory or
+            pathInfo.isAttachment or
+            pathInfo.reportFolderType is None or
+            any(path == t.manifestPath for t in ReportFolderType)
+        ):
+            continue
+        patterns = pathInfo.reportFolderType.ixbrlFilenamePatterns
+        if not any(pattern.fullmatch(path.name) for pattern in patterns):
+            yield Validation.error(
+                codes='EDINET.EC0352E',
+                msg=_("A file with an invalid name exists. "
+                      "File path: '%(path)s'."),
+                path=str(path),
+            )
+
+
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
-def rule_EC1016E(
+def rule_cover_items(
         pluginData: PluginValidationDataExtension,
         val: ValidateXbrl,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
-    EDINET.EC1016E: The image file is over 300KB.
+    EDINET.EC1000E: Cover page must contain "【表紙】".
+    EDINET.EC1001E: A required item is missing from the cover page.
+    EDINET.EC1002E: A duplicate item is included on the cover page.
+    EDINET.EC1003E: An unnecessary item is included on the cover page.
+    EDINET.EC1004E: An item on the cover page is out of order.
+    EDINET.EC1005E: A required item on the cover page is missing a valid value.
+    """
+    uploadContents = pluginData.getUploadContents(val.modelXbrl)
+    if uploadContents is None:
+        return
+    for url, doc in val.modelXbrl.urlDocs.items():
+        path = Path(url)
+        pathInfo = uploadContents.uploadPathsByFullPath.get(path)
+        if pathInfo is None or not pathInfo.isCoverPage:
+            continue
+        rootElt = doc.xmlRootElement
+        coverPageTextFound = False
+        for elt in rootElt.iterdescendants():
+            if not coverPageTextFound and elt.text and '【表紙】' in elt.text:
+                coverPageTextFound = True
+                break
+        if not coverPageTextFound:
+            yield Validation.error(
+                codes='EDINET.EC1000E',
+                msg=_("There is no '【表紙】' on the cover page. "
+                      "File name: '%(file)s'. "
+                      "Please add '【表紙】' to the relevant file."),
+                file=doc.basename,
+            )
+        filingFormat = pluginData.getFilingFormat(val.modelXbrl)
+        if filingFormat is None:
+            return
+        allCoverItems = pluginData.getCoverItems(val.modelXbrl)
+        requiredCoverItems = pluginData.getCoverItemRequirements(val.modelXbrl)
+        if requiredCoverItems is None:
+            return
+        prohibitedCoverItems = allCoverItems - set(requiredCoverItems)
+        sequenceQueue = list(requiredCoverItems)
+
+        ixNStag = doc.ixNStag
+        rootElt = doc.xmlRootElement
+        foundFactsByQname = defaultdict(list)
+        outOfSequence = False
+        seenInSequence = set()
+        for elt in rootElt.iterdescendants(ixNStag + "nonNumeric", ixNStag + "nonFraction", ixNStag + "fraction"):
+            if not isinstance(elt, ModelFact):
+                continue
+            if not elt.qname in allCoverItems:
+                continue
+            if elt.qname in prohibitedCoverItems:
+                yield Validation.error(
+                    codes='EDINET.EC1003E',
+                    msg=_("Cover item %(localName)s is not necessary. "
+                          "File name: '%(file)s' (line %(line)s). "
+                          "Please add the cover item %(localName)s to the relevant file."),
+                    localName=elt.qname.localName,
+                    file=doc.basename,
+                    line=elt.sourceline,
+                    modelObject=elt,
+                )
+                continue
+            foundFactsByQname[elt.qname].append(elt)
+            if elt.qname in seenInSequence:
+                yield Validation.error(
+                    codes='EDINET.EC1002E',
+                    msg=_("Cover item %(localName)s is duplicated. "
+                          "File name: '%(file)s'. "
+                          "Please check the cover item %(localName)s of the relevant file "
+                          "and make sure there are no duplicates."),
+                    localName=elt.qname.localName,
+                    file=doc.basename,
+                    modelObject=elt,
+                )
+                continue
+            seenInSequence.add(elt.qname)
+            if len(sequenceQueue) == 0:
+                continue
+            if outOfSequence:
+                continue
+            if not sequenceQueue[0] == elt.qname:
+                outOfSequence = True
+                yield Validation.error(
+                    codes='EDINET.EC1004E',
+                    msg=_("Cover item %(localName)s is not in the correct order. "
+                          "File name: '%(file)s'. "
+                          "Please correct the order of cover items in the appropriate file."),
+                    localName=elt.qname.localName,
+                    file=doc.basename,
+                    modelObject=elt,
+                )
+            if elt.qname in sequenceQueue:
+                sequenceQueue.remove(elt.qname)
+
+        for qname in requiredCoverItems:
+            foundFacts = foundFactsByQname.get(qname, [])
+            # No facts found.
+            if len(foundFacts) == 0:
+                yield Validation.error(
+                    codes='EDINET.EC1001E',
+                    msg=_("Cover item %(localName)s is missing. "
+                          "File name: '%(file)s'. "
+                          "Please add the cover item %(localName)s to the relevant file."),
+                    localName=qname.localName,
+                    file=doc.basename,
+                )
+            # Fact(s) found, but no valid, non-nil value.
+            elif not any(f.xValid >= VALID and not f.isNil for f in foundFacts):
+                yield Validation.error(
+                    codes='EDINET.EC1005E',
+                    msg=_("Cover item %(localName)s is missing a valid value. "
+                          "File name: '%(file)s'. "
+                          "Please enter a valid value for %(localName)s in the relevant file."),
+                    localName=qname.localName,
+                    file=doc.basename,
+                    modelObject=foundFacts,
+                )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC1006E(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1006E: Prohibited tag is used in HTML.
+    """
+    for doc in val.modelXbrl.urlDocs.values():
+        for elt in pluginData.getProhibitedTagElements(doc):
+            yield Validation.error(
+                codes='EDINET.EC1006E',
+                msg=_("Prohibited tag (%(tag)s) is used in HTML. File name: %(file)s (line %(line)s). "
+                      "Please correct the prohibited tags for the relevant files. "
+                      "For information on prohibited tags, please refer to \"4-1-4 Prohibited Rules\" "
+                      "in the Validation Guidelines."),
+                tag=elt.qname.localName,
+                file=doc.basename,
+                line=elt.sourceline,
+                modelObject=elt,
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_uri_references(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1007E: A URI in an HTML file must not be a URL or absolute path.
+    EDINET.EC1013E: A URI in an HTML file directly beneath a report folder
+        must specify a path under a subdirectory.
+    EDINET.EC1014E: A URI in an HTML file must not specify a path to a directory.
+    EDINET.EC1015E: A URI in an HTML file within a subdirectory
+        must not specify a path directly beneath the report folder.
+    EDINET.EC1021E: A URI in an HTML file must not specify a path to a file that doesn't exist.
+    EDINET.EC1023E: A URI in an HTML file must not specify a path to a PDF file.
+    EDINET.EC1035E: A URI in an HTML file must not specify a path to a location higher than the report path.
+
+    Note: See "図表 3-4-8 PublicDoc フォルダ全体のイメージ" in "File Specification for EDINET".
     """
-    if not pluginData.shouldValidateUpload(val):
+    uploadContents = pluginData.getUploadContents(val.modelXbrl)
+    if uploadContents is None:
         return
-    for path, size in pluginData.getUploadFileSizes(val.modelXbrl).items():
+    for uriReference in pluginData.uriReferences:
+        if UrlUtil.isAbsolute(uriReference.attributeValue):
+            yield Validation.error(
+                codes='EDINET.EC1007E',
+                msg=_("The URI in the HTML specifies a URL or absolute path. "
+                      "File name: '%(file)s' (line %(line)s). "
+                      "Please change the links in the files to relative paths."),
+                file=uriReference.document.basename,
+                line=uriReference.element.sourceline,
+                modelObject=uriReference.element,
+            )
+            continue
+
+        uriPath = Path(uriReference.attributeValue)
+        documentFullPath = Path(uriReference.document.uri)
+        referenceFullPath = (documentFullPath.parent / uriPath).resolve()
+        documentPathInfo = uploadContents.uploadPathsByFullPath.get(documentFullPath)
+        assert documentPathInfo is not None # Should always be present, as it must exist to have a uriReference discovered.
+        reportFullPath = Path(str(val.modelXbrl.fileSource.baseurl)) / (documentPathInfo.reportPath or "")
+
+        if reportFullPath not in referenceFullPath.parents:
+            yield Validation.error(
+                codes='EDINET.EC1035E',
+                msg=_("The URI in the HTML specifies a path that navigates "
+                      "outside of the report folder '%(reportPath)s'. "
+                      "File name: '%(file)s' (line %(line)s). "
+                      "You cannot create a link from a subfolder to a parent folder. "
+                      "Please delete the link."),
+                reportPath=str(documentPathInfo.reportPath),
+                file=uriReference.document.basename,
+                line=uriReference.element.sourceline,
+                modelObject=uriReference.element,
+            )
+            continue
+
+        if not documentPathInfo.isSubdirectory:
+            if documentFullPath.parent not in referenceFullPath.parent.parents:
+                yield Validation.error(
+                    codes='EDINET.EC1013E',
+                    msg=_("The URI in the HTML file directly beneath '%(reportPath)s' "
+                          "specifies a path not under a subdirectory. "
+                          "File name: '%(file)s' (line %(line)s). "
+                          "Please move the referenced file into a subfolder beneath "
+                          "'%(reportPath)s', or correct the URI."),
+                    reportPath=str(documentPathInfo.reportPath),
+                    file=uriReference.document.basename,
+                    line=uriReference.element.sourceline,
+                    modelObject=uriReference.element,
+                )
+                continue
+
+        elif referenceFullPath.parent == reportFullPath:
+            yield Validation.error(
+                codes='EDINET.EC1015E',
+                msg=_("The URI in the HTML file within a subdirectory specifies a "
+                      "path to a file located directly beneath '%(reportPath)s'. "
+                      "File name: '%(file)s' (line %(line)s). "
+                      "You cannot create a link from a subfolder to this parent folder. "
+                      "Please correct the relevant link."),
+                reportPath=str(documentPathInfo.reportPath),
+                file=uriReference.document.basename,
+                line=uriReference.element.sourceline,
+                modelObject=uriReference.element,
+            )
+            continue
+
+        referencePathInfo = uploadContents.uploadPathsByFullPath.get(referenceFullPath)
+        if referencePathInfo is not None and referencePathInfo.isDirectory:
+            yield Validation.error(
+                codes='EDINET.EC1014E',
+                msg=_("The URI in the HTML specifies a path to a directory. "
+                      "File name: '%(file)s' (line %(line)s). "
+                      "Please update the URI to reference a file."),
+                file=uriReference.document.basename,
+                line=uriReference.element.sourceline,
+                modelObject=uriReference.element,
+            )
+            continue
+
+        if referenceFullPath.suffix.lower() == '.pdf':
+            yield Validation.error(
+                codes='EDINET.EC1023E',
+                msg=_("The URI in the HTML specifies a path to a PDF file. "
+                      "File name: '%(file)s' (line %(line)s). "
+                      "Please remove the link from the relevant file."),
+                file=uriReference.document.basename,
+                line=uriReference.element.sourceline,
+                modelObject=uriReference.element,
+            )
+            continue
+
+        if not val.modelXbrl.fileSource.exists(str(referenceFullPath)):
+            yield Validation.error(
+                codes='EDINET.EC1021E',
+                msg=_("The linked file ('%(path)s') does not exist. "
+                      "File name: '%(file)s' (line %(line)s). "
+                      "Please update the URI to reference a file."),
+                path=str(uriPath),
+                file=uriReference.document.basename,
+                line=uriReference.element.sourceline,
+                modelObject=uriReference.element,
+            )
+            continue
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC1009R(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1009R: The HTML file size must be 2.5MB (megabytes) or less.
+    """
+    for path, size in pluginData.getUploadFileSizes(fileSource).items():
+        if path.suffix not in HTML_EXTENSIONS:
+            continue
+        if size > 2_500_000:
+            yield Validation.warning(
+                codes='EDINET.EC1009R',
+                msg=_("The HTML file size exceeds the maximum limit. "
+                      "File name: '%(path)s'. "
+                      "Please split the file so that the file size is 2.5MB or less."),
+                path=str(path),
+            )
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC1016E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1016E: The image file is over 300KB.
+    """
+    for path, size in pluginData.getUploadFileSizes(fileSource).items():
         if path.suffix not in IMAGE_EXTENSIONS:
             continue
         if size <= 300_000:  # Interpretting KB as kilobytes (1,000 bytes)
@@ -405,25 +945,95 @@ def rule_EC1016E(
         )
 
 
+@validation(
+    hook=ValidationHook.COMPLETE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC1017E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1017E: There is an unused file.
+    """
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
+        return
+    existingSubdirectoryFilepaths = {
+        path
+        for path, pathInfo in uploadContents.uploadPathsByPath.items()
+        if pathInfo.isSubdirectory and not pathInfo.isDirectory
+    }
+    usedFilepaths = pluginData.getUsedFilepaths()
+    unusedSubdirectoryFilepaths = existingSubdirectoryFilepaths - usedFilepaths
+    for path in unusedSubdirectoryFilepaths:
+        yield Validation.error(
+            codes='EDINET.EC1017E',
+            msg=_("There is an unused file. "
+                  "File name: '%(file)s'. "
+                  "Please remove the file or reference it in the HTML."),
+            file=str(path),
+        )
+
+
+@validation(
+    hook=ValidationHook.COMPLETE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_toc(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    Performs validation via controller-level TableOfContentsBuilder.
+    """
+    tocBuilder = pluginData.getTableOfContentsBuilder()
+    yield from tocBuilder.validate()
+
+
 @validation(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
-def rule_EC1020E(
+def rule_toc_pre(
         pluginData: PluginValidationDataExtension,
         val: ValidateXbrl,
         *args: Any,
         **kwargs: Any,
 ) -> Iterable[Validation]:
     """
+    Doesn't perform validations, but prepares data for TableOfContentsBuilder.
+    """
+    manifestInstance = pluginData.getManifestInstance(val.modelXbrl)
+    if manifestInstance is not None and manifestInstance.type == ReportFolderType.PUBLIC_DOC.value:
+        pluginData.addToTableOfContents(val.modelXbrl)
+    return iter(())
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_html_elements(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1011E: The HTML lang attribute is not Japanese.
     EDINET.EC1020E: When writing a DOCTYPE declaration, do not define it multiple times.
-    Also, please modify the relevant file so that there is only one html tag, one head tag, and one body tag each.
+        Also, please modify the relevant file so that there is only one html tag, one head tag, and one body tag each.
 
-    Note: Some violations of this rule (such as multiple DOCTYPE declarations) prevent Arelle from parsing
+    Note: Some violations of EC1020E (such as multiple DOCTYPE declarations) prevent Arelle from parsing
     the XML at all, and thus an XML schema error will be triggered rather than this validation error.
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
     checkNames = frozenset({'body', 'head', 'html'})
     for modelDocument in val.modelXbrl.urlDocs.values():
         path = Path(modelDocument.uri)
@@ -434,11 +1044,25 @@ def rule_EC1020E(
             rootElt.qname.localName: 1
         }
         for elt in rootElt.iterdescendants():
-            name = elt.qname.localName
-            if name not in checkNames:
+            if not isinstance(elt, ModelObject):
                 continue
-            eltCounts[name] = eltCounts.get(name, 0) + 1
-            pass
+            name = elt.qname.localName
+            if name in checkNames:
+                eltCounts[name] = eltCounts.get(name, 0) + 1
+            if not isinstance(elt, ModelFact):
+                lang = elt.get(XbrlConst.qnXmlLang.clarkNotation)
+                if lang is not None and lang not in JAPAN_LANGUAGE_CODES:
+                    yield Validation.error(
+                        codes='EDINET.EC1011E',
+                        msg=_("The language setting is not Japanese. "
+                              "File name: %(file)s (line %(line)s). "
+                              "Please set the lang attribute on the given line of the "
+                              "relevant file to one of the following: %(langValues)s."),
+                        file=modelDocument.basename,
+                        line=elt.sourceline,
+                        langValues=', '.join(JAPAN_LANGUAGE_CODES),
+                    )
+
         if any(count > 1 for count in eltCounts.values()):
             yield Validation.error(
                 codes='EDINET.EC1020E',
@@ -456,11 +1080,202 @@ def rule_EC1020E(
     hook=ValidationHook.XBRL_FINALLY,
     disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
 )
-def rule_manifest_preferredFilename(
+def rule_EC1031E(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC1031E: Prohibited attribute is used in HTML.
+    """
+    for doc in val.modelXbrl.urlDocs.values():
+        for elt, attributeName in pluginData.getProhibitedAttributeElements(doc):
+            yield Validation.error(
+                codes='EDINET.EC1031E',
+                msg=_("Prohibited attribute '%(attributeName)s' is used in HTML. "
+                      "File name: %(file)s (line %(line)s). "
+                      "Please correct the tag attributes of the relevant file."),
+                attributeName=attributeName,
+                file=doc.basename,
+                line=elt.sourceline,
+                modelObject=elt,
+            )
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC5032E(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5032E: A manifest file for an IFRS submission must not define multiple instances.
+    """
+    instances = pluginData.getManifestInstances()
+    instancesByManifest = defaultdict(list)
+    for instance in instances:
+        instancesByManifest[instance.path].append(instance)
+    for manifestPath, instances in instancesByManifest.items():
+        if len(instances) < 2:
+            continue
+        for instance in instances:
+            if instance.filingFormat is None:
+                continue
+            if (
+                    instance.filingFormat.ordinance == Ordinance.IFRS or
+                    Taxonomy.IFRS in instance.filingFormat.taxonomies
+            ):
+                yield Validation.error(
+                    codes='EDINET.EC5032E',
+                    msg=_("A manifest file for an IFRS submission defines multiple instances. "
+                          "File: '%(path)s'. "
+                          "If you use the IFRS taxonomy, please specify only one instance."),
+                    path=str(manifestPath),
+                )
+                break
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC8023W(
         pluginData: PluginValidationDataExtension,
         val: ValidateXbrl,
         *args: Any,
         **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC8023W: In IXBRL files, 'nonFraction' elements should be immediately preceded by
+    '△' if and only if the sign attribute is '-'.
+
+    * Tagging using International Financial Reporting Standards taxonomy elements is not checked.
+    * Tagging using Japanese GAAP notes or IFRS financial statement filer-specific additional elements
+        may be identified as an exception and a warning displayed, even if the data content is correct.
+
+    Note: This implementation interprets "immediately preceded" to mean that the symbol is present in the text
+    immediately before the target element, not nested within, or separated by, siblings elements. The use of
+    this symbol in sample filings support this interpretation.
+    """
+    negativeChar = '△'
+    for fact in val.modelXbrl.facts:
+        if not isinstance(fact, ModelInlineFact):
+            continue
+        if fact.localName != 'nonFraction':
+            continue
+        if fact.qname.namespaceURI == pluginData.namespaces.jpigp:
+            continue
+
+        precedingChar = None
+        precedingSibling = fact.getprevious()
+        # Check for the tail of the preceding sibling first.
+        if precedingSibling is not None:
+            if precedingSibling.tail:
+                strippedText = precedingSibling.tail.strip()
+                if strippedText:
+                    precedingChar = strippedText[-1]
+        # If nothing found, check the parent element if this is the first child.
+        elif (parent := fact.getparent()) is not None:
+            if fact == list(parent)[0] and parent.text:
+                strippedText = parent.text.strip()
+                if strippedText:
+                    precedingChar = strippedText[-1]
+
+        if fact.sign == '-' :
+            if precedingChar != negativeChar:
+                yield Validation.error(
+                    codes='EDINET.EC8023W',
+                    msg=_("In an inline XBRL file, if the sign attribute of the ix:nonFraction "
+                          "element is set to \"-\" (minus), you must set \"△\" immediately "
+                          "before the ix:nonFraction element tag."),
+                    modelObject=fact,
+                )
+        else:
+            if precedingChar == negativeChar:
+                yield Validation.error(
+                    codes='EDINET.EC8023W',
+                    msg=_("In an inline XBRL file, if the sign attribute of the ix:nonFraction "
+                          "element is not set to \"-\" (minus), there is no need to set \"△\" "
+                          "immediately before the ix:nonFraction element tag."),
+                    modelObject=fact,
+                )
+
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_filenames(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC0121E: There is a directory or file that contains
+    more than 31 characters or uses characters other than those allowed (alphanumeric characters,
+    '-' and '_').
+    Note: Applies to everything EXCEPT files directly beneath non-correction report folders.
+
+    EDINET.EC0200E: There is a file that uses characters other
+    than those allowed (alphanumeric characters, '-' and '_').
+    Note: Applies ONLY to files directly beneath non-correction report folders.
+    """
+    uploadContents = pluginData.getUploadContents()
+    if uploadContents is None:
+        return
+    for path, pathInfo in uploadContents.uploadPathsByPath.items():
+        isReportFile = (
+                not pathInfo.isAttachment and
+                not pathInfo.isCorrection and
+                not pathInfo.isDirectory and
+                not pathInfo.isSubdirectory
+        )
+        charactersAreValid = FILENAME_STEM_PATTERN.fullmatch(path.stem)
+        lengthIsValid = isReportFile or (len(path.name) <= 31)
+        if charactersAreValid and lengthIsValid:
+            continue
+        if isReportFile:
+            yield Validation.error(
+                codes='EDINET.EC0200E',
+                msg=_("There is a file inside the XBRL directory that uses characters "
+                      "other than those allowed (alphanumeric characters, '-' and '_'). "
+                      "File: '%(path)s'. "
+                      "Please change the filename to usable characters, and upload again."),
+                path=str(path)
+            )
+        else:
+            yield Validation.error(
+                codes='EDINET.EC0121E',
+                msg=_("There is a directory or file in '%(directory)s' that contains more "
+                      "than 31 characters or uses characters other than those allowed "
+                      "(alphanumeric characters, '-' and '_'). "
+                      "Directory or filename: '%(basename)s'. "
+                      "Please change the file name (or folder name) to within 31 characters and to usable "
+                      "characters, and upload again."),
+                directory=str(path.parent),
+                basename=path.name,
+            )
+
+
+@validation(
+    hook=ValidationHook.FILESOURCE,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_manifest_preferredFilename(
+        pluginData: ControllerPluginData,
+        cntlr: Cntlr,
+        fileSource: FileSource,
+        *args: Any,
+        **kwargs: Any,
 ) -> Iterable[Validation]:
     """
     EDINET.EC5804E: The preferredFilename attribute must be set on the instance
@@ -473,10 +1288,14 @@ def rule_manifest_preferredFilename(
     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.
+
+    EDINET.EC8008W: The file name of the report instance set in the manifest file
+    does not conform to the rules.
+
+    EDINET.EC8009W: The file name of the audit report instance set in the manifest file
+    does not conform to the rules.
     """
-    if not pluginData.shouldValidateUpload(val):
-        return
-    instances = pluginData.getManifestInstances(val.modelXbrl)
+    instances = pluginData.getManifestInstances()
     preferredFilenames: dict[Path, set[str]] = defaultdict(set)
     duplicateFilenames = defaultdict(set)
     for instance in instances:
@@ -490,6 +1309,7 @@ def rule_manifest_preferredFilename(
                 id=instance.id,
             )
             continue
+
         preferredFilename = Path(instance.preferredFilename)
         if preferredFilename.suffix != '.xbrl':
             yield Validation.error(
@@ -504,6 +1324,34 @@ def rule_manifest_preferredFilename(
                 id=instance.id,
             )
             continue
+
+        reportFolderType = ReportFolderType.parse(instance.type)
+        match = True if reportFolderType is None else any(
+            pattern.fullmatch(preferredFilename.name)
+            for pattern in reportFolderType.xbrlFilenamePatterns
+        )
+        if not match:
+            if reportFolderType == ReportFolderType.AUDIT_DOC:
+                yield Validation.warning(
+                    codes='EDINET.EC8009W',
+                    msg=_("The file name of the audit report instance set in the manifest "
+                          "file does not conform to the rules. "
+                          "File name: '%(file)s'. "
+                          "Please set the file name of the corresponding audit report instance "
+                          "according to the rules. Please correct the contents of the manifest file."),
+                    file=preferredFilename.name,
+                )
+            else:
+                yield Validation.warning(
+                    codes='EDINET.EC8008W',
+                    msg=_("The file name of the report instance set in the manifest "
+                          "file does not comply with the regulations. "
+                          "File name: '%(file)s'. "
+                          "Please set the file name of the corresponding report instance "
+                          "according to the rules. Please correct the contents of the manifest file."),
+                    file=preferredFilename.name,
+                )
+
         if instance.preferredFilename in preferredFilenames[instance.path]:
             duplicateFilenames[instance.path].add(instance.preferredFilename)
             continue