feat: add tier4 checker

Signed-off-by: ktro2828 <kotaro.uetake@tier4.jp>

Author: ktro2828

docs/schema/requirement.md

@@ -66,6 +66,6 @@
 
 ## Tier4 Instance (`TIV`)
 
-| ID       | Name         | Severity | Description                             |
-| -------- | ------------ | -------- | --------------------------------------- |
-| `TIV001` | `load-tier4` | `Error`  | Success to initialize `Tier4` instance. |
+| ID       | Name         | Severity | Description                                     |
+| -------- | ------------ | -------- | ----------------------------------------------- |
+| `TIV001` | `load-tier4` | `Error`  | Ensure `Tier4` instance is loaded successfully. |

t4_devkit/sanity/__init__.py

@@ -7,3 +7,4 @@
 from .result import *  # noqa
 from .run import *  # noqa
 from .structure import *  # noqa
+from .tier4 import *  # noqa

t4_devkit/sanity/registry.py

@@ -13,6 +13,7 @@ class RuleGroup(Enum):
     RECORD = "REC"
     REFERENCE = "REF"
     FORMAT = "FMT"
+    TIER4 = "TIV"
 
     @classmethod
     def values(cls) -> list[str]:

t4_devkit/sanity/tier4/__init__.py

@@ -0,0 +1,3 @@
+from __future__ import annotations
+
+from .tiv001 import *  # noqa

t4_devkit/sanity/tier4/tiv001.py

@@ -0,0 +1,38 @@
+from __future__ import annotations
+
+from typing import TYPE_CHECKING
+
+from returns.pipeline import is_successful
+from returns.result import Result, safe
+
+from ..checker import Checker, RuleID, RuleName
+from ..result import Reason
+from ..registry import CHECKERS
+from t4_devkit import Tier4
+
+if TYPE_CHECKING:
+    from ..context import SanityContext
+
+__all__ = ["TIV001"]
+
+
+@CHECKERS.register(RuleID("TIV001"))
+class TIV001(Checker):
+    """A checker for TIV001."""
+
+    name = RuleName("load-tier4")
+    description = "Ensure 'Tier4' instance is loaded successfully."
+
+    def check(self, context: SanityContext) -> list[Reason]:
+        result = _load_tier4_safe(context)
+        return (
+            [] if is_successful(result) else [Reason(f"Failed to load Tier4: {result.failure()}")]
+        )
+
+
+@safe
+def _load_tier4_safe(context: SanityContext) -> Result[Tier4, Exception]:
+    data_root = context.data_root.unwrap()
+    revision = context.version.value_or(None)
+    data_root = data_root.as_posix() if revision is None else data_root.parent.as_posix()
+    return Tier4(data_root, revision=revision, verbose=False)