Use innmind/static-analysis

composer.json

@@ -17,7 +17,8 @@
     "require": {
         "php": "~8.2",
         "innmind/immutable": "~4.9|~5.0",
-        "innmind/http": "~7.0"
+        "innmind/http": "~7.0",
+        "innmind/validation": "~1.0"
     },
     "autoload": {
         "psr-4": {
@@ -32,7 +33,7 @@
     },
     "require-dev": {
         "innmind/black-box": "^6.4.1",
-        "vimeo/psalm": "~5.12",
+        "innmind/static-analysis": "^1.2.1",
         "innmind/coding-standard": "~2.0"
     }
 }

src/Exception/LogicException.php

@@ -3,6 +3,6 @@
 
 namespace Innmind\HttpSession\Exception;
 
-class LogicException extends \LogicException implements Exception
+final class LogicException extends \LogicException implements Exception
 {
 }

src/Manager/Native.php

@@ -14,6 +14,7 @@
     Header\Cookie,
     Header\CookieValue,
 };
+use Innmind\Validation\Is;
 use Innmind\Url\Path;
 use Innmind\Immutable\{
     Map,
@@ -38,6 +39,7 @@ public static function of(?Path $save = null): self
         return new self($save);
     }
 
+    #[\Override]
     public function start(ServerRequest $request): Maybe
     {
         if ($this->session instanceof Id) {
@@ -63,7 +65,14 @@ public function start(ServerRequest $request): Maybe
             $values = ($values)($key, $value);
         }
 
-        return Maybe::all(Id::maybe(\session_id()), Name::maybe(\session_name()))
+        return Maybe::all(
+            Maybe::just(\session_id())
+                ->keep(Is::string()->asPredicate())
+                ->flatMap(Id::maybe(...)),
+            Maybe::just(\session_name())
+                ->keep(Is::string()->asPredicate())
+                ->flatMap(Name::maybe(...)),
+        )
             ->map(static fn(Id $id, Name $name) => Session::of($id, $name, $values))
             ->map(function($session) {
                 $this->session = $session->id();
@@ -72,6 +81,7 @@ public function start(ServerRequest $request): Maybe
             });
     }
 
+    #[\Override]
     public function save(Session $session): Maybe
     {
         if ($this->session !== $session->id()) {
@@ -97,6 +107,7 @@ public function save(Session $session): Maybe
         return Maybe::just(new SideEffect);
     }
 
+    #[\Override]
     public function close(Session $session): Maybe
     {
         if ($this->session !== $session->id()) {