diff --git a/package.json b/package.json
index 6afd5df..c02f3fa 100644
--- a/package.json
+++ b/package.json
@@ -54,7 +54,7 @@
     "sharp": "0.35.5",
     "tesseract.js": "7.0.0",
     "three": "^0.186.1",
-    "z3-solver": "5.2.0",
+    "z3-solver": "5.3.3",
     "zod": "4.6.6"
   },
   "engines": {
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
index 70e42f5..5fbd41f 100644
--- a/pnpm-lock.yaml
+++ b/pnpm-lock.yaml
@@ -51,8 +51,8 @@ importers:
         specifier: ^0.186.1
         version: 0.186.1
       z3-solver:
-        specifier: 5.2.0
-        version: 5.2.0
+        specifier: 5.3.3
+        version: 5.3.3
       zod:
         specifier: 4.6.6
         version: 4.6.6
@@ -970,8 +970,8 @@ packages:
   tr46@0.0.3:
     resolution: {integrity: sha512-N3WMsuqV66lT30CrXNbEjx4GEwlow3v6rr4mCcv6prnfwhS01rkgyFdjPNBYd9br7LpXV1+Emh01fHnq2Gdgrw==}
 
-  tslib@2.8.1:
-    resolution: {integrity: sha512-oJFu94HQb+KVduSUQL7wnpmqnfmLsOA/nAh6b6EH0wCEoK0/mPeXU6c3wKDV83MkOuHPRHtSXKKU99IBazS/2w==}
+  tslib@2.9.1:
+    resolution: {integrity: sha512-a4Ux9VKuIMHsOS7ENbEq6hK2ZGYIT27Rtl0E4eD9KqwxhKiQeMZE/9xb3IdYwWaSOyIBQLExhQgXDTYoiCxnWA==}
 
   tsx@4.23.15:
     resolution: {integrity: sha512-Yiex1Ovn8z2xPpOWckIiysV1SSyRMY9BkLF++q0yKiDxCqRhosKfMg3janKkiLBwZ5c/YryloKwGZcrEmtwxKw==}
@@ -1012,8 +1012,8 @@ packages:
   whatwg-url@5.0.0:
     resolution: {integrity: sha512-saE57nupxk6v3HY35+jzBwYa0rKSy0XR8JSxZPwgLr7ys0IBzhGviA1/TUGJLmSVqs8pb9AnvICXEuOHLprYTw==}
 
-  z3-solver@5.2.0:
-    resolution: {integrity: sha512-0mGfrkwV/3zKGLy+EPWlHGORWMVZ8BsaiVYxVxuztk28YHRlD1XO0R7Op7g1nc6JX6kG2b8mHwXTuxSFnYQvww==}
+  z3-solver@5.3.3:
+    resolution: {integrity: sha512-7M2HEYYypcaFib2UOLuR69PHqoOWfXC2VhiVnQggm4ykJXWUfZyZxNhhy9ai1yiu4/yPA9X/rutqSGgafNB4TA==}
     engines: {node: '>=16'}
 
   zlibjs@0.3.1:
@@ -1039,7 +1039,7 @@ snapshots:
 
   '@emnapi/runtime@1.11.3':
     dependencies:
-      tslib: 2.8.1
+      tslib: 2.9.1
     optional: true
 
   '@esbuild/aix-ppc64@0.28.2':
@@ -1282,7 +1282,7 @@ snapshots:
 
   '@swc/helpers@0.5.23':
     dependencies:
-      tslib: 2.8.1
+      tslib: 2.9.1
 
   '@tweenjs/tween.js@23.1.3': {}
 
@@ -1386,7 +1386,7 @@ snapshots:
 
   async-mutex@0.3.2:
     dependencies:
-      tslib: 2.8.1
+      tslib: 2.9.1
 
   base64-js@1.5.1: {}
 
@@ -1711,7 +1711,7 @@ snapshots:
 
   tr46@0.0.3: {}
 
-  tslib@2.8.1: {}
+  tslib@2.9.1: {}
 
   tsx@4.23.15:
     dependencies:
@@ -1765,7 +1765,7 @@ snapshots:
       tr46: 0.0.3
       webidl-conversions: 3.0.1
 
-  z3-solver@5.2.0:
+  z3-solver@5.3.3:
     dependencies:
       async-mutex: 0.3.2