diff --git a/deps/k_release b/deps/k_release
index 42510b5419..91bf89b507 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.321
+7.1.322
diff --git a/flake.lock b/flake.lock
index 25dda4a85e..4c5a90d046 100644
--- a/flake.lock
+++ b/flake.lock
@@ -400,16 +400,16 @@
         "uv2nix": "uv2nix"
       },
       "locked": {
-        "lastModified": 1778173329,
-        "narHash": "sha256-cIfZEYHdDPg3fMVJRN0BIk6G8S1flNQIXUYtxg7DKA8=",
+        "lastModified": 1778261905,
+        "narHash": "sha256-J6Pci+TA9h1CQZVfFMn63QRlepPtqQnDJgktgl/C00Q=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "7e6c4b59e4e1765ceadeac289705aa90d4a7f361",
+        "rev": "c41cb6d305c6eb116f061d588e06c17e2842d848",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.321",
+        "ref": "v7.1.322",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index e5ff2be308..9695975882 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,7 +5,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    k-framework.url = "github:runtimeverification/k/v7.1.321";
+    k-framework.url = "github:runtimeverification/k/v7.1.322";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     blockchain-k-plugin = {
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 9e25f6c143..540e573270 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -10,7 +10,7 @@ readme = "README.md"
 requires-python = ">=3.10"
 dependencies = [
     "frozendict>=2.4.6,<3",
-    "kframework==7.1.321",
+    "kframework==7.1.322",
     "pathos",
     "tomlkit>=0.11.6",
 ]
diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock
index 13c0941dd8..5506a21d37 100644
--- a/kevm-pyk/uv.lock
+++ b/kevm-pyk/uv.lock
@@ -662,7 +662,7 @@ dev = [
 [package.metadata]
 requires-dist = [
     { name = "frozendict", specifier = ">=2.4.6,<3" },
-    { name = "kframework", specifier = "==7.1.321" },
+    { name = "kframework", specifier = "==7.1.322" },
     { name = "pathos" },
     { name = "tomlkit", specifier = ">=0.11.6" },
 ]
@@ -688,7 +688,7 @@ dev = [
 
 [[package]]
 name = "kframework"
-version = "7.1.321"
+version = "7.1.322"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "coloredlogs" },
@@ -707,9 +707,9 @@ dependencies = [
     { name = "tomli-w" },
     { name = "xdg-base-dirs" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/61/5c/de8dddf1552eb95f3f2bb283499af0eaf4d8ed1a9f750d4375e290fe4480/kframework-7.1.321.tar.gz", hash = "sha256:d056e7f9c1b442a4f143d3ed7f7629ef34276963c467143b58c17e270b0e4ab7", size = 244812, upload-time = "2026-05-07T18:23:57.104Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/68/95/c88d24c8e018493896267d2d053fd21bd3a0495d03b8a5781206284b618d/kframework-7.1.322.tar.gz", hash = "sha256:4587cfed2c0a737a23269a937f831f49a3dcf59f062d15e14c79dbc63233f95e", size = 245321, upload-time = "2026-05-08T18:39:12.977Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/4c/07/f1f29ff9377c6e7e2b479772770c97b472a919fa75e3cadab433b5999672/kframework-7.1.321-py3-none-any.whl", hash = "sha256:838122242865d3e6278ebb76b0cfb7c7724e4eca41ca297f26b52336f63d14f8", size = 296405, upload-time = "2026-05-07T18:23:55.505Z" },
+    { url = "https://files.pythonhosted.org/packages/c1/1c/af31f1203f86b362ab647b2c106d2869a252d54913a1ceb9ab5efe24e7c1/kframework-7.1.322-py3-none-any.whl", hash = "sha256:1acbfe008f3d46418c24dc4c231f7bf388e65a0a110cea5cb05b1b99e05cbf5a", size = 296933, upload-time = "2026-05-08T18:39:11.446Z" },
 ]
 
 [[package]]