fix(test): definitive test_proptest.py - no unused imports, sorted imports, no RESOURCE_TYPES

Author: Aliipou

tests/test_proptest.py

@@ -9,20 +9,19 @@
 
 Run: pytest tests/test_proptest.py
 """
-import pytest
-from hypothesis import given, assume, settings
+from hypothesis import given, settings
 from hypothesis import strategies as st
 
 try:
-    from freedom_kernel import (
+    from freedom_kernel import (  # noqa: I001
         Action, AgentType, Entity, FreedomVerifier,
         OwnershipRegistry, Resource, ResourceType, RightsClaim,
     )
     RUST_KERNEL = True
 except ImportError:
-    from freedom_theory.kernel.verifier import FreedomVerifier, Action  # type: ignore[no-reattr]
-    from freedom_theory.kernel.entities import Entity, AgentType, Resource, ResourceType
+    from freedom_theory.kernel.entities import AgentType, Entity, Resource, ResourceType  # noqa: I001
     from freedom_theory.kernel.registry import OwnershipRegistry, RightsClaim
+    from freedom_theory.kernel.verifier import Action, FreedomVerifier  # type: ignore[no-reattr]
     RUST_KERNEL = False
 
 
@@ -60,8 +59,7 @@ def test_every_forbidden_flag_blocks(flag):
     action = Action(action_id=f"test-{flag}", actor=bot, **{flag: True})
     result = v.verify(action)
     assert not result.permitted, f"Flag {flag} must always block"
-    assert any("FORBIDDEN" in viol for viol in result.violations), \
-        f"Violation list must contain FORBIDDEN for flag {flag}"
+    assert any("FORBIDDEN" in viol for viol in result.violations),         f"Violation list must contain FORBIDDEN for flag {flag}"
 
 
 @given(