arelle-release 2.37.55__py3-none-any.whl → 2.37.57__py3-none-any.whl

arelle/CntlrCmdLine.py

@@ -950,6 +950,7 @@ class CntlrCmdLine(Cntlr.Cntlr):
         if options.testcaseFilters:
             fo.testcaseFilters = options.testcaseFilters
         if options.testcaseResultsCaptureWarnings:
+            self.errorManager.setErrorCaptureLevel(logging._checkLevel("WARNING"))
             fo.testcaseResultsCaptureWarnings = True
         if options.testcaseResultOptions:
             fo.testcaseResultOptions = options.testcaseResultOptions

arelle/ErrorManager.py

@@ -313,3 +313,6 @@ class ErrorManager:
         if isinstance(argValue, dict):
             return dict((self._loggableValue(k), self._loggableValue(v)) for k, v in argValue.items())
         return str(argValue)
+
+    def setErrorCaptureLevel(self, errorCaptureLevel: int) -> None:
+        self._errorCaptureLevel = errorCaptureLevel

arelle/ValidateDuplicateFacts.py

@@ -402,7 +402,7 @@ def getAspectEqualFacts(
                 fact.qname,
                 (
                     cast(str, fact.xmlLang or "").lower()
-                    if useLang and fact.concept.type.isWgnStringFactType
+                    if useLang and fact.concept.type.isOimTextFactType
                     else None
                 ),
             )

arelle/XbrlConst.py

@@ -139,6 +139,7 @@ qnXlLocatorType = qname("{http://www.xbrl.org/2003/XLink}xl:locatorType")
 qnXlResourceType = qname("{http://www.xbrl.org/2003/XLink}xl:resourceType")
 qnXlArcType = qname("{http://www.xbrl.org/2003/XLink}xl:arcType")
 xhtml = "http://www.w3.org/1999/xhtml"
+qnXhtmlMeta = qname("{http://www.w3.org/1999/xhtml}meta")
 ixbrl = "http://www.xbrl.org/2008/inlineXBRL"
 ixbrl11 = "http://www.xbrl.org/2013/inlineXBRL"
 ixbrlAll = {ixbrl, ixbrl11}

arelle/_version.py

@@ -28,7 +28,7 @@ version_tuple: VERSION_TUPLE
 commit_id: COMMIT_ID
 __commit_id__: COMMIT_ID
 
-__version__ = version = '2.37.55'
-__version_tuple__ = version_tuple = (2, 37, 55)
+__version__ = version = '2.37.57'
+__version_tuple__ = version_tuple = (2, 37, 57)
 
 __commit_id__ = commit_id = None

arelle/plugin/validate/EDINET/Constants.py

@@ -10,25 +10,7 @@ class AccountingStandard(Enum):
     JAPAN_GAAP = 'Japan GAAP'
     US_GAAP = 'US GAAP'
 
-class FormType(Enum):
-    FORM_2_4 = '第二号の四様式'
-    FORM_2_7 = '第二号の七様式'
-    FORM_3 = '第三号様式'
-    FORM_4 = '第四号様式'
 
-    @property
-    def isStockReport(self) -> bool:
-        return self in STOCK_REPORT_FORMS
-
-CORPORATE_FORMS =frozenset([
-    FormType.FORM_2_4,
-    FormType.FORM_2_7,
-    FormType.FORM_3,
-])
-STOCK_REPORT_FORMS = frozenset([
-    FormType.FORM_3,
-    FormType.FORM_4,
-])
 qnEdinetManifestInsert = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}insert")
 qnEdinetManifestInstance = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}instance")
 qnEdinetManifestItem = qname("{http://disclosure.edinet-fsa.go.jp/2013/manifest}item")

arelle/plugin/validate/EDINET/ControllerPluginData.py

@@ -12,9 +12,12 @@ from typing import TYPE_CHECKING
 
 from arelle.Cntlr import Cntlr
 from arelle.FileSource import FileSource
+from arelle.ModelValue import QName
 from arelle.typing import TypeGetText
 from arelle.utils.PluginData import PluginData
 from . import Constants
+from .CoverPageRequirements import CoverPageRequirements
+from .FilingFormat import FilingFormat
 from .ReportFolderType import ReportFolderType
 from .UploadContents import UploadContents, UploadPathInfo
 
@@ -27,12 +30,14 @@ _: TypeGetText
 @dataclass
 class ControllerPluginData(PluginData):
     _manifestInstancesById: dict[str, ManifestInstance]
+    _uploadContents: UploadContents | None
     _usedFilepaths: set[Path]
 
     def __init__(self, name: str):
         super().__init__(name)
         self._manifestInstancesById = {}
         self._usedFilepaths = set()
+        self._uploadContents = None
 
     def __hash__(self) -> int:
         return id(self)
@@ -43,24 +48,31 @@ class ControllerPluginData(PluginData):
         """
         self._manifestInstancesById[manifestInstance.id] = manifestInstance
 
+    @lru_cache(1)
+    def getCoverPageRequirements(self, csvPath: Path, coverPageItems: tuple[QName, ...], filingFormats: tuple[FilingFormat, ...]) -> CoverPageRequirements:
+        return CoverPageRequirements(csvPath, coverPageItems, filingFormats)
+
     def getManifestInstances(self) -> list[ManifestInstance]:
         """
         Retrieve all loaded manifest instances.
         """
         return list(self._manifestInstancesById.values())
 
-    @lru_cache(1)
-    def getUploadContents(self, fileSource: FileSource) -> UploadContents:
-        uploadFilepaths = self.getUploadFilepaths(fileSource)
+    def getUploadContents(self) -> UploadContents | None:
+        return self._uploadContents
+
+    def setUploadContents(self, fileSource: FileSource) -> UploadContents:
         reports = defaultdict(list)
         uploadPaths = {}
-        for path in uploadFilepaths:
+        for path, zipPath in self.getUploadFilepaths(fileSource).items():
             if len(path.parts) == 0:
                 continue
+            assert isinstance(fileSource.basefile, str)
+            fullPath = Path(fileSource.basefile) / path
             parents = list(reversed([p.name for p in path.parents if len(p.name) > 0]))
             reportFolderType = None
             isCorrection = True
-            isDirectory = len(path.suffix) == 0
+            isDirectory = zipPath.is_dir()
             isInSubdirectory = False
             reportPath = None
             if len(parents) > 0:
@@ -79,32 +91,43 @@ class ControllerPluginData(PluginData):
                     if not isCorrection:
                         reports[reportFolderType].append(path)
             uploadPaths[path] = UploadPathInfo(
+                fullPath=fullPath,
                 isAttachment=reportFolderType is not None and reportFolderType.isAttachment,
                 isCorrection=isCorrection,
                 isCoverPage=not isDirectory and path.stem.startswith(Constants.COVER_PAGE_FILENAME_PREFIX),
-                isDirectory=len(path.suffix) == 0,
+                isDirectory=isDirectory,
                 isRoot=len(path.parts) == 1,
                 isSubdirectory=isInSubdirectory or (isDirectory and reportFolderType is not None),
                 path=path,
                 reportFolderType=reportFolderType,
                 reportPath=reportPath,
             )
-        return UploadContents(
+        self._uploadContents = UploadContents(
             reports={k: frozenset(v) for k, v in reports.items() if len(v) > 0},
-            uploadPaths=uploadPaths
+            uploadPaths=list(uploadPaths.values())
         )
+        return self._uploadContents
 
     @lru_cache(1)
-    def getUploadFilepaths(self, fileSource: FileSource) -> list[Path]:
+    def getUploadFilepaths(self, fileSource: FileSource) -> dict[Path, zipfile.Path]:
         if not self.isUpload(fileSource):
-            return []
-        paths = set()
+            return {}
+        paths = {}
         assert isinstance(fileSource.fs, zipfile.ZipFile)
-        for name in fileSource.fs.namelist():
-            path = Path(name)
-            paths.add(path)
-            paths.update(path.parents)
-        return sorted(paths)
+        # First, fill in paths from zip file list
+        for file in fileSource.fs.filelist:
+            zipPath = zipfile.Path(fileSource.fs, file.filename)
+            paths[Path(file.filename)] = zipPath
+        # Then, fill in any parent directories that weren't in file list
+        for path in list(paths):
+            for parent in path.parents:
+                if parent in paths:
+                    continue
+                paths[parent] = zipfile.Path(fileSource.fs, parent.as_posix() + '/')
+        return {
+            path: paths[path]
+            for path in sorted(paths)
+        }
 
     @lru_cache(1)
     def getUploadFileSizes(self, fileSource: FileSource) -> dict[Path, int]:
@@ -131,10 +154,10 @@ class ControllerPluginData(PluginData):
         if (fileSource.fs is None or
                 not isinstance(fileSource.fs, zipfile.ZipFile)):
             if fileSource.cntlr is not None:
-                fileSource.cntlr.error(
-                    level="WARNING",
-                    codes="EDINET.uploadNotValidated",
-                    msg=_("The target file is not a zip file, so upload validation could not be performed.")
+                fileSource.cntlr.addToLog(
+                    _("The target file is not a zip file, so upload validation was not performed."),
+                    messageCode="EDINET.uploadNotValidated",
+                    file=str(fileSource.url)
                 )
             return False
         return True

arelle/plugin/validate/EDINET/CoverPageRequirements.py

@@ -0,0 +1,118 @@
+"""
+See COPYRIGHT.md for copyright information.
+"""
+from __future__ import annotations
+
+from enum import Enum
+from pathlib import Path
+
+from arelle.ModelValue import QName
+from .FilingFormat import FilingFormat
+
+
+# Cover page requirements parsing is designed so that the contents of Attachment #5
+# in "(Appendix) Taxonomy Extension Guideline" (ESE140111.zip), or future versions,
+# can be easily exported to a CSV file where the rows correspond to Cover Page items
+# andt the columns correspond to different formats.
+class CoverPageRequirements:
+    _coverPageItems: tuple[QName, ...]
+    _csvPath: Path
+    _data: dict[QName, dict[FilingFormat, CoverPageItemStatus | None]] | None
+    _filingFormats: tuple[FilingFormat, ...]
+
+    def __init__(self, csvPath: Path, coverPageItems: tuple[QName, ...], filingFormats: tuple[FilingFormat, ...]):
+        self._coverPageItems = coverPageItems
+        self._csvPath = csvPath
+        self._data = None
+        self._filingFormats = filingFormats
+
+    def _load(self) -> dict[QName, dict[FilingFormat, CoverPageItemStatus | None]]:
+        if self._data is None:
+            with open(self._csvPath, encoding='utf-8') as f:
+                data = [
+                    [
+                        CoverPageItemStatus.parse(cell) for cell in line.strip().split(',')
+                    ]
+                    for line in f.readlines()
+                ]
+                self._data = {}
+                assert len(data) == len(self._coverPageItems), \
+                    "Unexpected number of rows in cover page requirements CSV."
+                for rowIndex, row in enumerate(data):
+                    assert len(row) == len(self._filingFormats), \
+                        f"Unexpected number of columns in cover page requirements CSV at row {rowIndex}."
+                    coverPageItem = self._coverPageItems[rowIndex]
+                    self._data[coverPageItem] = {}
+                    for colIndex, cell in enumerate(row):
+                        filingFormat = self._filingFormats[colIndex]
+                        self._data[coverPageItem][filingFormat] = cell
+        return self._data
+
+
+    def get(self, coverPageItem: QName, filingFormat: FilingFormat) -> CoverPageItemStatus | None:
+        data = self._load()
+        if coverPageItem not in data:
+            return None
+        if filingFormat not in data[coverPageItem]:
+            return None
+        return data[coverPageItem][filingFormat]
+
+
+class CoverPageItemStatus(Enum):
+    # The values of the enum correspond to the symbols used in the spreadsheet.
+    PROHIBITED = '×'
+    OPTIONAL = '△'
+    CONDITIONAL = '○'
+    REQUIRED = '◎'
+
+    @classmethod
+    def parse(cls, value: str) -> CoverPageItemStatus | None:
+        try:
+            return cls(value)
+        except ValueError:
+            return None
+
+# The below values are based on Attachment #5 in "(Appendix) Taxonomy Extension Guideline" (ESE140111.zip).
+# Column D lists the elements of the cover page. Rows purely for grouping are omitted.
+# The order is preserved. The index is used to map to other data structures.
+COVER_PAGE_ITEM_LOCAL_NAMES = (
+    # Submitter Information (提出者情報)
+    'EDINETCodeDEI',
+    'FundCodeDEI',
+    'SecurityCodeDEI',
+    'FilerNameInJapaneseDEI',
+    'FilerNameInEnglishDEI',
+    'FundNameInJapaneseDEI',
+    'FundNameInEnglishDEI',
+
+    # Document Submission Information (提出書類情報)
+    'CabinetOfficeOrdinanceDEI',
+    'DocumentTypeDEI',
+    'AccountingStandardsDEI',
+    'WhetherConsolidatedFinancialStatementsArePreparedDEI',
+    'IndustryCodeWhenConsolidatedFinancialStatementsArePreparedInAccordanceWithIndustrySpecificRegulationsDEI',
+    'IndustryCodeWhenFinancialStatementsArePreparedInAccordanceWithIndustrySpecificRegulationsDEI',
+
+    # Current Fiscal Year (当会計期間)
+    'CurrentFiscalYearStartDateDEI',
+    'CurrentPeriodEndDateDEI',
+    'TypeOfCurrentPeriodDEI',
+    'CurrentFiscalYearEndDateDEI',
+
+    # Previous Fiscal Year (比較対象会計期間)
+    'PreviousFiscalYearStartDateDEI',
+    'ComparativePeriodEndDateDEI',
+    'PreviousFiscalYearEndDateDEI',
+
+    # Next Fiscal Year (次の中間期の会計期間)
+    'NextFiscalYearStartDateDEI',
+    'EndDateOfQuarterlyOrSemiAnnualPeriodOfNextFiscalYearDEI',
+
+    'NumberOfSubmissionDEI',
+    'AmendmentFlagDEI',
+    'IdentificationOfDocumentSubjectToAmendmentDEI',
+
+    # Type of Correction (訂正の種類)
+    'ReportAmendmentFlagDEI',
+    'XBRLAmendmentFlagDEI',
+)

arelle/plugin/validate/EDINET/FilingFormat.py

@@ -0,0 +1,253 @@
+"""
+See COPYRIGHT.md for copyright information.
+"""
+from __future__ import annotations
+
+from dataclasses import dataclass
+from enum import Enum
+
+from .FormType import FormType
+
+
+class Ordinance(Enum):
+    # The below values are based on the "府令" ("Ordinance") column
+    # of Table 2-3-1 in "Framework Design of EDINET Taxonomy" (ESE140301.pdf).
+    DISCLOSURE = '開示府令'
+    SPECIFIED_SECURITIES_DISCLOSURE = '特定有価証券開示府令'
+    OTHER_SHARE_PURCHASE_TENDER_OFFER = '他社株買付府令'
+    OWN_SHARE_PURCHASE_TENDER_OFFER = '自社株買付府令'
+    LARGE_SHAREHOLDING = '大量保有府令'
+    INTERNAL_CONTROL = '内部統制府令'
+
+
+class DocumentType(Enum):
+    # The below values are based on the "書類種別" ("Document Type") column
+    # of Table 2-3-1 in "Framework Design of EDINET Taxonomy" (ESE140301.pdf).
+    ANNUAL_SECURITIES_REPORT = '有価証券報告書'
+    EXTRAORDINARY_REPORT = '臨時報告書'
+    INTERNAL_CONTROL_REPORT = '内部統制報告書'
+    LARGE_SHAREHOLDING_REPORT = '大量保有報告書'
+    OPINION_STATEMENT = '意見表明報告書'
+    REPORT_ON_STATUS_OF_OWN_SHARE_REPURCHASE = '自己株券買付状況報告書'
+    RESPONSE_TO_QUESTIONS_REPORT = '対質問回答報告書'
+    SECURITIES_REGISTRATION_STATEMENT = '有価証券届出書'
+    SEMI_ANNUAL_REPORT = '半期報告書'
+    SHELF_REGISTRATION_STATEMENT = '発行登録書'
+    SHELF_REGISTRATION_SUPPLEMENT = '発行登録追補書類'
+    TENDER_OFFER_REPORT = '公開買付報告書'
+    TENDER_OFFER_STATEMENT = '公開買付届出書'
+    WITHDRAWAL_OF_TENDER_OFFER_STATEMENT = '公開買付撤回届出書'
+
+
+class Taxonomy(Enum):
+    # The order of the below taxonomy values is based on Table 2-3-1 in
+    # "Framework Design of EDINET Taxonomy" (ESE140301.pdf).The same table was used to
+    # determine the applicable taxonomies in the FilingFormat configurations below.
+    # The prefixes associated with each taxonomy were inferred from the above
+    # document and "(Appendix) Conventions and Rules for EDINET Taxonomy" (ESE140304.pdf)
+    DEI = 'jpdei' # 'ＤＥＩタクソノミ'
+    FINANCIAL_STATEMENT = 'jppfs' # '財務諸表本表タクソノミ'
+    IFRS = 'jpigp' # 国際会計基準タクソノミ
+    DISCLOSURE_ORDINANCE = 'jpcrp' # '開示府令タクソノミ'
+    EXTRAORDINARY_REPORT = 'jpcrp-esr' # '臨時報告書タクソノミ'
+    STATUS_OF_SHARE_BUYBACKS = 'jpsps-esr' # '自己株券買付状況報告書タクソノミ'
+    CABINET_OFFICE_ORDINANCE_ON_SPECIFIED_SECURITIES_DISCLOSURE = 'jpsps' # '特定有価証券開示府令タクソノミ'
+    STATUS_OF_SPECIFIC_SECURITIES_TREASURY_STOCK_PURCHASES = 'jpsps-sbr' # '特定有価証券自己株券買付状況報告書タクソノミ'
+    SPECIFIED_SECURITIES_EXTRAORDINARY_REPORT = 'jpsps-esr' # '特定有価証券臨時報告書タクソノミ'
+    TENDER_OFFER_NOTIFICATION = 'jptoo-ton' # '他社株公開買付届出書タクソノミ'
+    OTHER_COMPANY_OPINION_STATEMENT = 'jptoo-pst' # '他社株意見表明報告書タクソノミ'
+    TENDER_OFFER_WITHDRAWAL_NOTIFICATION = 'jptoo-wto' # '他社株公開買付撤回届出書タクソノミ'
+    TENDER_OFFER_REPORT = 'jptoo-tor' # '他社株公開買付報告書タクソノミ'
+    OTHER_COMPANY_STOCK_QUESTION_AND_ANSWER_REPORT = 'jptoo-toa' # '他社株対質問回答報告書タクソノミ'
+    TENDER_OFFER = 'jptoi' # '自社株公開買付タクソノミ'
+    LARGE_VOLUME_HOLDINGS = 'jplvh' # '大量保有タクソノミ'
+    INTERNAL_CONTROL = 'jpctl' # '内部統制タクソノミ'
+
+    @classmethod
+    def parse(cls, value: str) -> Taxonomy | None:
+        try:
+            return cls(value)
+        except ValueError:
+            return None
+
+@dataclass(frozen=True)
+class FilingFormat:
+    ordinance: Ordinance
+    documentType: DocumentType
+    formType: FormType
+    taxonomies: frozenset[Taxonomy]
+
+    def includesTaxonomyPrefix(self, prefix: str) -> bool:
+        taxonomy = Taxonomy.parse(prefix.split('_')[0])
+        return taxonomy is not None and (
+            taxonomy == Taxonomy.DEI or # DEI is always included
+            taxonomy in self.taxonomies
+        )
+
+DEFAULT_DISCLOSURE_TAXONOMIES = frozenset({
+    Taxonomy.FINANCIAL_STATEMENT,
+    Taxonomy.IFRS,
+    Taxonomy.DISCLOSURE_ORDINANCE,
+})
+DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES = frozenset({
+    Taxonomy.FINANCIAL_STATEMENT,
+    Taxonomy.CABINET_OFFICE_ORDINANCE_ON_SPECIFIED_SECURITIES_DISCLOSURE,
+})
+FINANCIAL_STATEMENT_TAXONOMIES = frozenset({
+    Taxonomy.DISCLOSURE_ORDINANCE,
+    Taxonomy.FINANCIAL_STATEMENT,
+})
+
+# The below values are based on Table 2-3-1 in "Framework Design of EDINET Taxonomy" (ESE140301.pdf).
+# The order is preserved. The index is used to map to other data structures. EDINET documentation often
+# references this same list of formats in this same order.
+FILING_FORMATS = (
+    # 開示府令
+
+    # 有価証券届出書 第二号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_2, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第二号の二様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_2_2, frozenset({Taxonomy.DISCLOSURE_ORDINANCE})),
+    # 有価証券届出書 第二号の三様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_2_3, frozenset({Taxonomy.DISCLOSURE_ORDINANCE})),
+    # 有価証券届出書 第二号の四様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_2_4, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第二号の五様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_2_5, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第二号の六様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_2_6, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第二号の七様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_2_7, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第三号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_3, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第三号の二様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_3_2, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第四号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_4, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第四号の三様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_4_3, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第五号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_5, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第五号の二様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_5_2, DEFAULT_DISCLOSURE_TAXONOMIES),
+    # 臨時報告書 第五号の三様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.EXTRAORDINARY_REPORT, FormType.FORM_5_3, frozenset({Taxonomy.EXTRAORDINARY_REPORT})),
+    # 有価証券届出書 第七号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_7, FINANCIAL_STATEMENT_TAXONOMIES),
+    # 有価証券届出書 第七号の四様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_7_4, FINANCIAL_STATEMENT_TAXONOMIES),
+    # 有価証券報告書 第八号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_8, FINANCIAL_STATEMENT_TAXONOMIES),
+    # 有価証券報告書 第九号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_9, FINANCIAL_STATEMENT_TAXONOMIES),
+
+    # 半期報告書 第九号の三様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_9_3, FINANCIAL_STATEMENT_TAXONOMIES),
+    # 半期報告書 第十号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_10, FINANCIAL_STATEMENT_TAXONOMIES),
+    # 発行登録書 第十一号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SHELF_REGISTRATION_STATEMENT, FormType.FORM_11, frozenset({Taxonomy.DISCLOSURE_ORDINANCE})),
+    # 発行登録書 第十一号の二様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SHELF_REGISTRATION_STATEMENT, FormType.FORM_11_2, frozenset({Taxonomy.DISCLOSURE_ORDINANCE})),
+    # 発行登録書 第十一号の二の二様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SHELF_REGISTRATION_STATEMENT, FormType.FORM_11_2_2, frozenset({Taxonomy.DISCLOSURE_ORDINANCE})),
+    # 発行登録追補書類 第十二号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SHELF_REGISTRATION_SUPPLEMENT, FormType.FORM_12, frozenset({Taxonomy.DISCLOSURE_ORDINANCE})),
+    # 発行登録追補書類 第十二号の二様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.SHELF_REGISTRATION_SUPPLEMENT, FormType.FORM_12_2, frozenset({Taxonomy.DISCLOSURE_ORDINANCE})),
+    # 自己株券買付状況報 告書 第十七号様式
+    FilingFormat(Ordinance.DISCLOSURE,  DocumentType.REPORT_ON_STATUS_OF_OWN_SHARE_REPURCHASE, FormType.FORM_17, frozenset({Taxonomy.STATUS_OF_SHARE_BUYBACKS})),
+
+    # 特定有価証券開示府令
+
+    # 有価証券届出書 第四号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_4, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第四号の三様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_4_3, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第四号の三の二様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_4_3_2, frozenset({Taxonomy.CABINET_OFFICE_ORDINANCE_ON_SPECIFIED_SECURITIES_DISCLOSURE})),
+    # 有価証券届出書 第四号の三の三様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_4_3_3, frozenset({Taxonomy.CABINET_OFFICE_ORDINANCE_ON_SPECIFIED_SECURITIES_DISCLOSURE})),
+    # 有価証券届出書 第五号の二様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_5_2, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第五号の四様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_5_4, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第六号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_6, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券届出書 第六号の五様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SECURITIES_REGISTRATION_STATEMENT, FormType.FORM_6_5, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書【みなし有価証券届出書】第六号の七及び第七号 様式 - manually switched to ANNUAL_SECURITIES_REPORT
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_6_7_AND_FORM_7, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書【みなし有価証券届出書】第六号の九及び第九号 様式 - manually switched to ANNUAL_SECURITIES_REPORT
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_6_9_AND_FORM_9, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第七号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_7, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第七号の三様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_7_3, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第八号の二様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_8_2, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第八号の四様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_8_4, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第九号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_9, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 有価証券報告書 第九号の五様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.ANNUAL_SECURITIES_REPORT, FormType.FORM_9_5, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第十号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_10, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第十号の三様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_10_3, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第十一号の二様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_11_2, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第十一号の四様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_11_4, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第十二号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_12, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 半期報告書 第十二号の五様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SEMI_ANNUAL_REPORT, FormType.FORM_12_5, DEFAULT_SPECIFIED_SECURITIES_DISCLOSURE_TAXONOMIES),
+    # 発行登録書 第十五号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SHELF_REGISTRATION_STATEMENT, FormType.FORM_15, frozenset({Taxonomy.CABINET_OFFICE_ORDINANCE_ON_SPECIFIED_SECURITIES_DISCLOSURE})),
+    # 発行登録書 第十五号の三様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SHELF_REGISTRATION_STATEMENT, FormType.FORM_15_3, frozenset({Taxonomy.CABINET_OFFICE_ORDINANCE_ON_SPECIFIED_SECURITIES_DISCLOSURE})),
+    # 発行登録追補書類 第二十一号様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.SHELF_REGISTRATION_SUPPLEMENT, FormType.FORM_21, frozenset({Taxonomy.CABINET_OFFICE_ORDINANCE_ON_SPECIFIED_SECURITIES_DISCLOSURE})),
+    # 自己株券買付状況報 告書 第二十五号の三様式
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.REPORT_ON_STATUS_OF_OWN_SHARE_REPURCHASE, FormType.FORM_25_3, frozenset({Taxonomy.STATUS_OF_SPECIFIC_SECURITIES_TREASURY_STOCK_PURCHASES})),
+    # 臨時報告書
+    FilingFormat(Ordinance.SPECIFIED_SECURITIES_DISCLOSURE,  DocumentType.EXTRAORDINARY_REPORT, FormType.NONE_SPECIFIED, frozenset({Taxonomy.SPECIFIED_SECURITIES_EXTRAORDINARY_REPORT})),
+
+    # 他社株買付府令
+
+    # 公開買付届出書 第二号様式
+    FilingFormat(Ordinance.OTHER_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.TENDER_OFFER_STATEMENT, FormType.FORM_2, frozenset({Taxonomy.TENDER_OFFER_NOTIFICATION})),
+    # 意見表明報告書 第四号様式
+    FilingFormat(Ordinance.OTHER_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.OPINION_STATEMENT, FormType.FORM_4, frozenset({Taxonomy.OTHER_COMPANY_OPINION_STATEMENT})),
+    # 公開買付撤回届出書 第五号様式
+    FilingFormat(Ordinance.OTHER_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.WITHDRAWAL_OF_TENDER_OFFER_STATEMENT, FormType.FORM_5, frozenset({Taxonomy.TENDER_OFFER_WITHDRAWAL_NOTIFICATION})),
+    # 公開買付報告書 第六号様式
+    FilingFormat(Ordinance.OTHER_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.TENDER_OFFER_REPORT, FormType.FORM_6, frozenset({Taxonomy.TENDER_OFFER_REPORT})),
+    # 対質問回答報告書 第八号様式
+    FilingFormat(Ordinance.OTHER_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.RESPONSE_TO_QUESTIONS_REPORT, FormType.FORM_8, frozenset({Taxonomy.OTHER_COMPANY_STOCK_QUESTION_AND_ANSWER_REPORT})),
+
+    # 自社株買付府令
+
+    # 公開買付届出書 第二号様式
+    FilingFormat(Ordinance.OWN_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.TENDER_OFFER_STATEMENT, FormType.FORM_2, frozenset({Taxonomy.TENDER_OFFER})),
+    # 公開買付撤回届出書 第三号様式
+    FilingFormat(Ordinance.OWN_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.WITHDRAWAL_OF_TENDER_OFFER_STATEMENT, FormType.FORM_3, frozenset({Taxonomy.TENDER_OFFER})),
+    # 公開買付報告書 第四号様式
+    FilingFormat(Ordinance.OWN_SHARE_PURCHASE_TENDER_OFFER,  DocumentType.TENDER_OFFER_REPORT, FormType.FORM_4, frozenset({Taxonomy.TENDER_OFFER})),
+
+    # 大量保有府令
+
+    # 大量保有報告書 第一号様式
+    FilingFormat(Ordinance.LARGE_SHAREHOLDING,  DocumentType.LARGE_SHAREHOLDING_REPORT, FormType.FORM_1, frozenset({Taxonomy.LARGE_VOLUME_HOLDINGS})),
+    # 大量保有報告書 第一号及び第二号様式
+    FilingFormat(Ordinance.LARGE_SHAREHOLDING,  DocumentType.LARGE_SHAREHOLDING_REPORT, FormType.FORM_1_AND_2, frozenset({Taxonomy.LARGE_VOLUME_HOLDINGS})),
+    # 大量保有報告書 第三号様式
+    FilingFormat(Ordinance.LARGE_SHAREHOLDING,  DocumentType.LARGE_SHAREHOLDING_REPORT, FormType.FORM_3, frozenset({Taxonomy.LARGE_VOLUME_HOLDINGS})),
+
+    # 内部統制府令
+
+    # 内部統制報告書 第一号様式
+    FilingFormat(Ordinance.INTERNAL_CONTROL,  DocumentType.INTERNAL_CONTROL_REPORT, FormType.FORM_1, frozenset({Taxonomy.INTERNAL_CONTROL})),
+)

arelle/plugin/validate/EDINET/FormType.py

@@ -0,0 +1,81 @@
+"""
+See COPYRIGHT.md for copyright information.
+"""
+from __future__ import annotations
+
+from enum import Enum
+
+
+class FormType(Enum):
+    FORM_1 = '第一号様式'
+    FORM_1_AND_2 = '第一号及び第二号様式'
+    FORM_2 = '第二号様式'
+    FORM_2_2 = '第二号の二様式'
+    FORM_2_3 = '第二号の三様式'
+    FORM_2_4 = '第二号の四様式'
+    FORM_2_5 = '第二号の五様式'
+    FORM_2_6 = '第二号の六様式'
+    FORM_2_7 = '第二号の七様式'
+    FORM_3 = '第三号様式'
+    FORM_3_2 = '第三号の二様式'
+    FORM_4 = '第四号様式'
+    FORM_4_3 = '第四号の三様式'
+    FORM_4_3_2 = '第四号の三の二様式'
+    FORM_4_3_3 = '第四号の三の三様式'
+    FORM_5 = '第五号様式'
+    FORM_5_2 = '第五号の二様式'
+    FORM_5_3 = '第五号の三様式'
+    FORM_5_4 = '第五号の四様式'
+    FORM_6 = '第六号様式'
+    FORM_6_5 = '第六号の五様式'
+    FORM_6_7_AND_FORM_7 = '第六号の七及び第七号様式'
+    FORM_6_9_AND_FORM_9 = '第六号の九及び第九号様式'
+    FORM_7 = '第七号様式'
+    FORM_7_3 = '第七号の三様式'
+    FORM_7_4 = '第七号の四様式'
+    FORM_8 = '第八号様式'
+    FORM_8_2 = '第八号の二様式'
+    FORM_8_4 = '第八号の四様式'
+    FORM_9 = '第九号様式'
+    FORM_9_3 = '第九号の三様式'
+    FORM_9_5 = '第九号の五様式'
+    FORM_10 = '第十号様式'
+    FORM_10_3 = '第十号の三様式'
+    FORM_11 = '第十一号様式'
+    FORM_11_2 = '第十一号の二様式'
+    FORM_11_2_2 = '第十一号の二の二様式'
+    FORM_11_4 = '第十一号の四様式'
+    FORM_12 = '第十二号様式'
+    FORM_12_2 = '第十二号の二様式'
+    FORM_12_5 = '第十二号の五様式'
+    FORM_15 = '第十五号様式'
+    FORM_15_3 = '第十五号の三様式'
+    FORM_17 = '第十七号様式'
+    FORM_21 = '第二十一号様式'
+    FORM_25_3 = '第二十五号の三様式'
+    NONE_SPECIFIED = '様式なし'
+
+    @classmethod
+    def parse(cls, value: str) -> FormType | None:
+        try:
+            return cls(value)
+        except ValueError:
+            return None
+
+    @property
+    def isCorporateForm(self) -> bool:
+        return self in CORPORATE_FORMS
+
+    @property
+    def isStockReport(self) -> bool:
+        return self in STOCK_REPORT_FORMS
+
+CORPORATE_FORMS =frozenset([
+    FormType.FORM_2_4,
+    FormType.FORM_2_7,
+    FormType.FORM_3,
+])
+STOCK_REPORT_FORMS = frozenset([
+    FormType.FORM_3,
+    FormType.FORM_4,
+])