From c64b807978c88e17bd5e0eb16cb32e85647ee3db Mon Sep 17 00:00:00 2001
From: "v.razuvaev" <rasuvaeff@gmail.com>
Date: Wed, 11 Nov 2026 19:36:03 +0100
Subject: [PATCH] Raise vimeo/psalm to ^7.0
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Downgrade ImmutableDependency to info for DrawnEngine: \Random\Engine::generate
has the narrow stub contract (read-props|write-this-props|io), but the draw tape
is static state and shrinking builds exceptions — the implementation honestly
does more than the stub allows and cannot fit it without losing the tape.
---
 composer.json |  2 +-
 psalm.xml     | 13 +++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)

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>