remove uncheckable and unsound properties because not in interface or

not correctly defined

first: they are all not defined as interface in docs

is_active: defaults to False, also False for BasicUser
is_anonymous: not defined in BaseUser. Afaik cannot be checked safely.
Rendundant for is_authenticated
get_id: return None
identity: raises NotImplemented and not in docs specified

docs/en/docs/authentication.md

@@ -29,8 +29,7 @@ The implementation should implement the inteface `UserInterface`, which includes
 * `.is_authenticated`
 * `.display_name`
 
-Lilya provides two built-in user implementations: `AnonymousUser()`,
-and `BasicUser(username)`.
+Lilya provides two built-in user implementations: `AnonymousUser()` and `BasicUser(username)`.
 
 ## AuthCredentials
 

lilya/authentication.py

@@ -160,6 +160,7 @@ def sync_wrapper(*args: P.args, **kwargs: P.kwargs) -> typing.Any:
 class AuthenticationError(Exception): ...
 
 
+@typing.runtime_checkable
 class AuthenticationBackend(ABC, typing.Protocol):
     @abstractmethod
     async def authenticate(self, connection: Connection) -> AuthResult | None: ...
@@ -170,11 +171,8 @@ def __init__(self, scopes: typing.Sequence[str] | None = None):
         self.scopes = [] if scopes is None else list(scopes)
 
 
+@typing.runtime_checkable
 class UserInterface(typing.Protocol):
-    @property
-    def is_active(self) -> bool:
-        return False
-
     @property
     def is_authenticated(self) -> bool:
         raise NotImplementedError()
@@ -209,7 +207,3 @@ def is_authenticated(self) -> bool:
     @property
     def display_name(self) -> str:
         return ""
-
-    @property
-    def is_anonymous(self) -> bool:
-        return True