@@ -0,0 +43,4 @@
+uko-java:JavaCheckedException a owl:Class ;
+    rdfs:subClassOf uko-code:TypeDefinition ;
+    rdfs:label "JavaCheckedException" ;
+    rdfs:comment "A checked exception declaration in a method's throws clause." .

@@ -0,0 +40,4 @@
+uko-py:PythonDecorator a owl:Class ;
+    rdfs:subClassOf uko-py:PythonFunction ;
+    rdfs:label "PythonDecorator" ;
+    rdfs:comment "A decorator chain entry (@property, @staticmethod, custom decorators)." .

@@ -0,0 +50,4 @@
+# -- Properties --
+
+uko-py:hasDecorator a owl:ObjectProperty ;
+    rdfs:domain uko-py:PythonFunction , uko-py:PythonClass ;

@@ -0,0 +34,4 @@
+uko-rs:RustImpl a owl:Class ;
+    rdfs:subClassOf uko-code:TypeDefinition ;
+    rdfs:label "RustImpl" ;
+    rdfs:comment "A Rust impl block — either inherent or trait implementation." .

@@ -59,0 +63,4 @@
+  3 new depth levels (DECORATED_SIGNATURES, TYPE_STUBS, WITH_TESTS) producing a
+  15-level effective map; TS/RS/Java extend at SIGNATURES level without new
+  insertions. Includes OWL/Turtle ontology files, ProvenanceInfo model with 5
+  required fields, build_detail_level_map/resolve_detail_level utilities, and

@@ -0,0 +91,4 @@
+        resolve_detail_level("DECORATED_SIGNATURES", self.py_levels)
+
+    def time_resolve_with_parent_fallback(self) -> None:
+        """Resolve via parent fallback (name not in child map)."""

@@ -0,0 +138,4 @@
+@then("modifying provenance is_current should raise an error for uko_l3")
+def step_then_provenance_immutable(context: Any) -> None:
+    try:
+        context.provenance.is_current = False  # type: ignore[misc]

@@ -0,0 +141,4 @@
+        context.provenance.is_current = False  # type: ignore[misc]
+        msg = "Expected immutability error"
+        raise AssertionError(msg)
+    except (TypeError, AttributeError, Exception) as exc:

@@ -0,0 +199,4 @@
+
+  @rust_vocab
+  Scenario: Rust vocabulary has 8 properties for uko_l3
+    Then the Rust vocabulary should have 8 properties for uko_l3

@@ -25,6 +44,41 @@ from cleveragents.acms.uko.detail_level_maps import (
     DetailLevelMapBuilder,
     build_effective_map,
 )
+from cleveragents.acms.uko.layer3_java import (

@@ -0,0 +59,4 @@
+# Shared OO effective levels (parent map for all Layer 3 vocabularies)
+# ---------------------------------------------------------------------------
+
+OO_EFFECTIVE_LEVELS: tuple[tuple[str, int], ...] = (

@@ -0,0 +168,4 @@
+        description="Parent class URIs (rdfs:subClassOf).",
+    )
+
+    @field_validator("uri", mode="before")

@@ -0,0 +1,211 @@
+"""Robot Framework helper for UKO Layer 3 technology vocabulary tests.

@@ -0,0 +103,4 @@
+        "A checked exception declaration in a method's throws clause. "
+        "Records the exception class and any conditions."
+    ),
+    subclass_of=(f"{UKO_CODE_NS}TypeDefinition",),

@@ -0,0 +87,4 @@
+        "A decorator chain entry (@property, @staticmethod, "
+        "@classmethod, custom decorators)."
+    ),
+    subclass_of=(f"{UKO_PY_NS}PythonFunction",),

@@ -0,0 +86,4 @@
+        "A Rust impl block — either inherent or trait implementation. "
+        "Extends uko-code:TypeDefinition."
+    ),
+    subclass_of=(f"{UKO_CODE_NS}TypeDefinition",),

@@ -0,0 +133,4 @@
+    uri=f"{UKO_RS_NS}lifetimeParameters",
+    label="lifetimeParameters",
+    comment="Lifetime parameter string (e.g. \"<'a, 'b>\").",
+    domain=(

@@ -0,0 +146,4 @@
+    uri=f"{UKO_RS_NS}traitBounds",
+    label="traitBounds",
+    comment=("Trait bound constraints (e.g. 'T: Clone + Send')."),
+    domain=(

@@ -0,0 +283,4 @@
+        "lifetime parameters, trait bounds, unsafe markers, "
+        "#[derive] macros, and #[must_use] annotations."
+    ),
+    parent_prefixes=("uko-oo:", "uko-func:"),

@@ -0,0 +89,4 @@
+)
+
+
+# ---------------------------------------------------------------------------

@@ -0,0 +149,4 @@
+# ---------------------------------------------------------------------------
+
+
+class UKOClass(BaseModel, frozen=True):