diff --git a/composer.json b/composer.json
index 2353a71..22bd6ad 100644
--- a/composer.json
+++ b/composer.json
@@ -39,7 +39,7 @@
         "roave/backward-compatibility-check": "^8.0",
         "testo/bridge-infection": "^0.1.6",
         "testo/testo": "^0.10.39 || ^1.0",
-        "vimeo/psalm": "^6.16"
+        "vimeo/psalm": "^7.0"
     },
     "conflict": {
         "rasuvaeff/property-testing": "*"
diff --git a/psalm.xml b/psalm.xml
index d7bc47a..c00d622 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -15,4 +15,17 @@
     <enableExtensions>
         <extension name="redis"/>
     </enableExtensions>
+    <issueHandlers>
+        <!-- \Random\Engine::generate carries the narrow stub contract
+             read-props|write-this-props|io, but DrawnEngine is honest about
+             doing more: the draw tape is static state (read/write globals)
+             and shrinking goes through exception construction (write-refs).
+             The implementation cannot fit the interface contract without
+             losing the tape; downgraded to info for this file only. -->
+        <ImmutableDependency>
+            <errorLevel type="info">
+                <file name="src/Arbitrary/DrawnEngine.php"/>
+            </errorLevel>
+        </ImmutableDependency>
+    </issueHandlers>
 </psalm>