From 2118900202ad672d788ff34e56038eb7a2c2f1f6 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 27 Apr 2026 22:04:17 +0000
Subject: [PATCH 1/6] deps/kmir_release: Set Version 0.4.214

---
 deps/kmir_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/kmir_release b/deps/kmir_release
index 24db9c0..433f494 100644
--- a/deps/kmir_release
+++ b/deps/kmir_release
@@ -1 +1 @@
-0.4.213
+0.4.214

From ea16e1e7393cddd0c0b793bebc88e34caae48237 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 27 Apr 2026 22:04:30 +0000
Subject: [PATCH 2/6] {pyproject.toml,uv.lock}: sync uv files, KMIR version
 0.4.214

---
 pyproject.toml |  4 ++--
 uv.lock        | 30 +++++++++++++++---------------
 2 files changed, 17 insertions(+), 17 deletions(-)

diff --git a/pyproject.toml b/pyproject.toml
index 4d0ae62..8940483 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -8,7 +8,7 @@ version = "0.1.18"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
-    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.213#subdirectory=kmir",
+    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.214#subdirectory=kmir",
 ]
 
 [[project.authors]]
@@ -16,7 +16,7 @@ name = "Runtime Verification, Inc."
 email = "contact@runtimeverification.com"
 
 [tool.uv.sources]
-kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.213", subdirectory = "kmir" }
+kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.214", subdirectory = "kmir" }
 
 [project.scripts]
 kompass = "kompass.__main__:main"
diff --git a/uv.lock b/uv.lock
index 596bdf2..aaa97f0 100644
--- a/uv.lock
+++ b/uv.lock
@@ -503,15 +503,15 @@ wheels = [
 
 [[package]]
 name = "hypothesis"
-version = "6.152.1"
+version = "6.152.4"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "exceptiongroup", marker = "python_full_version < '3.11'" },
     { name = "sortedcontainers" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/64/b1/c32bcddb9aab9e3abc700f1f56faf14e7655c64a16ca47701a57362276ea/hypothesis-6.152.1.tar.gz", hash = "sha256:4f4ed934eee295dd84ee97592477d23e8dc03e9f12ae0ee30a4e7c9ef3fca3b0", size = 465029, upload-time = "2026-04-14T22:29:24.062Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/fa/c7/3147bd903d6b18324a016d43a259cf5b4bb4545e1ead6773dc8a0374e70a/hypothesis-6.152.4.tar.gz", hash = "sha256:31c8f9ce619716f543e2710b489b1633c833586641d9e6c94cee03f109a5afc4", size = 466444, upload-time = "2026-04-27T20:18:37.594Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/5d/83/860fb3075e00b0fc19a22a2301bc3c96f00437558c3911bdd0a3573a4a53/hypothesis-6.152.1-py3-none-any.whl", hash = "sha256:40a3619d9e0cb97b018857c7986f75cf5de2e5ec0fa8a0b172d00747758f749e", size = 530752, upload-time = "2026-04-14T22:29:20.893Z" },
+    { url = "https://files.pythonhosted.org/packages/19/89/0f50dd0d92e8a7dffc24f69ab910ff81db89b2f082ba42682bd57695e4d2/hypothesis-6.152.4-py3-none-any.whl", hash = "sha256:e730fd93c7578182efadc7f90b3c5437ee4d55edf738930eb5043c81ac1d97e8", size = 532145, upload-time = "2026-04-27T20:18:35.043Z" },
 ]
 
 [[package]]
@@ -581,8 +581,8 @@ wheels = [
 
 [[package]]
 name = "kmir"
-version = "0.4.213"
-source = { git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.213#5a864b44591f250e3585136e5a84b93b1ad8f4c8" }
+version = "0.4.214"
+source = { git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.214#d0ca5fa09343678640b0988a5645c978eb0bea44" }
 dependencies = [
     { name = "kframework" },
     { name = "rust-demangler" },
@@ -616,7 +616,7 @@ dev = [
 ]
 
 [package.metadata]
-requires-dist = [{ name = "kmir", git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.213" }]
+requires-dist = [{ name = "kmir", git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.214" }]
 
 [package.metadata.requires-dev]
 dev = [
@@ -960,20 +960,20 @@ wheels = [
 
 [[package]]
 name = "packaging"
-version = "26.1"
+version = "26.2"
 source = { registry = "https://pypi.org/simple" }
-sdist = { url = "https://files.pythonhosted.org/packages/df/de/0d2b39fb4af88a0258f3bac87dfcbb48e73fbdea4a2ed0e2213f9a4c2f9a/packaging-26.1.tar.gz", hash = "sha256:f042152b681c4bfac5cae2742a55e103d27ab2ec0f3d88037136b6bfe7c9c5de", size = 215519, upload-time = "2026-04-14T21:12:49.362Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/d7/f1/e7a6dd94a8d4a5626c03e4e99c87f241ba9e350cd9e6d75123f992427270/packaging-26.2.tar.gz", hash = "sha256:ff452ff5a3e828ce110190feff1178bb1f2ea2281fa2075aadb987c2fb221661", size = 228134, upload-time = "2026-04-24T20:15:23.917Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/7a/c2/920ef838e2f0028c8262f16101ec09ebd5969864e5a64c4c05fad0617c56/packaging-26.1-py3-none-any.whl", hash = "sha256:5d9c0669c6285e491e0ced2eee587eaf67b670d94a19e94e3984a481aba6802f", size = 95831, upload-time = "2026-04-14T21:12:47.56Z" },
+    { url = "https://files.pythonhosted.org/packages/df/b2/87e62e8c3e2f4b32e5fe99e0b86d576da1312593b39f47d8ceef365e95ed/packaging-26.2-py3-none-any.whl", hash = "sha256:5fc45236b9446107ff2415ce77c807cee2862cb6fac22b8a73826d0693b0980e", size = 100195, upload-time = "2026-04-24T20:15:22.081Z" },
 ]
 
 [[package]]
 name = "pathspec"
-version = "1.1.0"
+version = "1.1.1"
 source = { registry = "https://pypi.org/simple" }
-sdist = { url = "https://files.pythonhosted.org/packages/2e/17/9c3094b822982b9f1ea666d8580ce59000f61f87c1663556fb72031ad9ec/pathspec-1.1.0.tar.gz", hash = "sha256:f5d7c555da02fd8dde3e4a2354b6aba817a89112fa8f333f7917a2a4834dd080", size = 133918, upload-time = "2026-04-23T01:46:22.298Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/5a/82/42f767fc1c1143d6fd36efb827202a2d997a375e160a71eb2888a925aac1/pathspec-1.1.1.tar.gz", hash = "sha256:17db5ecd524104a120e173814c90367a96a98d07c45b2e10c2f3919fff91bf5a", size = 135180, upload-time = "2026-04-27T01:46:08.907Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/fa/c9/8eed0486f074e9f1ca7f8ce5ad663e65f12fdab344028d658fa1b03d35e0/pathspec-1.1.0-py3-none-any.whl", hash = "sha256:574b128f7456bd899045ccd142dd446af7e6cfd0072d63ad73fbc55fbb4aaa42", size = 56264, upload-time = "2026-04-23T01:46:20.606Z" },
+    { url = "https://files.pythonhosted.org/packages/f1/d9/7fb5aa316bc299258e68c73ba3bddbc499654a07f151cba08f6153988714/pathspec-1.1.1-py3-none-any.whl", hash = "sha256:a00ce642f577bf7f473932318056212bc4f8bfdf53128c78bbd5af0b9b20b189", size = 57328, upload-time = "2026-04-27T01:46:07.06Z" },
 ]
 
 [[package]]
@@ -1434,11 +1434,11 @@ wheels = [
 
 [[package]]
 name = "tzdata"
-version = "2026.1"
+version = "2026.2"
 source = { registry = "https://pypi.org/simple" }
-sdist = { url = "https://files.pythonhosted.org/packages/19/f5/cd531b2d15a671a40c0f66cf06bc3570a12cd56eef98960068ebbad1bf5a/tzdata-2026.1.tar.gz", hash = "sha256:67658a1903c75917309e753fdc349ac0efd8c27db7a0cb406a25be4840f87f98", size = 197639, upload-time = "2026-04-03T11:25:22.002Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/ba/19/1b9b0e29f30c6d35cb345486df41110984ea67ae69dddbc0e8a100999493/tzdata-2026.2.tar.gz", hash = "sha256:9173fde7d80d9018e02a662e168e5a2d04f87c41ea174b139fbef642eda62d10", size = 198254, upload-time = "2026-04-24T15:22:08.651Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/b0/70/d460bd685a170790ec89317e9bd33047988e4bce507b831f5db771e142de/tzdata-2026.1-py2.py3-none-any.whl", hash = "sha256:4b1d2be7ac37ceafd7327b961aa3a54e467efbdb563a23655fbfe0d39cfc42a9", size = 348952, upload-time = "2026-04-03T11:25:20.313Z" },
+    { url = "https://files.pythonhosted.org/packages/ce/e4/dccd7f47c4b64213ac01ef921a1337ee6e30e8c6466046018326977efd95/tzdata-2026.2-py2.py3-none-any.whl", hash = "sha256:bbe9af844f658da81a5f95019480da3a89415801f6cc966806612cc7169bffe7", size = 349321, upload-time = "2026-04-24T15:22:05.876Z" },
 ]
 
 [[package]]

From 9f7476c579b7bd57c934e11118d709180b77547d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 27 Apr 2026 22:04:48 +0000
Subject: [PATCH 3/6] Set Version: 0.1.19

---
 package/version | 2 +-
 pyproject.toml  | 2 +-
 uv.lock         | 6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/package/version b/package/version
index f8bc4c6..d8a023e 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.18
+0.1.19
diff --git a/pyproject.toml b/pyproject.toml
index 8940483..98afd7b 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kompass"
-version = "0.1.18"
+version = "0.1.19"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
diff --git a/uv.lock b/uv.lock
index aaa97f0..13db05c 100644
--- a/uv.lock
+++ b/uv.lock
@@ -1,5 +1,5 @@
 version = 1
-revision = 3
+revision = 2
 requires-python = ">=3.10, <4"
 resolution-markers = [
     "python_full_version >= '3.15'",
@@ -393,7 +393,7 @@ name = "exceptiongroup"
 version = "1.3.1"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
-    { name = "typing-extensions", marker = "python_full_version < '3.13'" },
+    { name = "typing-extensions", marker = "python_full_version < '3.11'" },
 ]
 sdist = { url = "https://files.pythonhosted.org/packages/50/79/66800aadf48771f6b62f7eb014e352e5d06856655206165d775e675a02c9/exceptiongroup-1.3.1.tar.gz", hash = "sha256:8b412432c6055b0b7d14c310000ae93352ed6754f70fa8f7c34141f91c4e3219", size = 30371, upload-time = "2025-11-21T23:01:54.787Z" }
 wheels = [
@@ -590,7 +590,7 @@ dependencies = [
 
 [[package]]
 name = "kompass"
-version = "0.1.18"
+version = "0.1.19"
 source = { editable = "." }
 dependencies = [
     { name = "kmir" },

From 884687f7819a1db4e44a89143715fc21325085d8 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 27 Apr 2026 22:05:11 +0000
Subject: [PATCH 4/6] {pyproject.toml,uv.lock}: sync uv files, KMIR version
 0.4.214

---
 uv.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/uv.lock b/uv.lock
index 13db05c..fd0b7df 100644
--- a/uv.lock
+++ b/uv.lock
@@ -1,5 +1,5 @@
 version = 1
-revision = 2
+revision = 3
 requires-python = ">=3.10, <4"
 resolution-markers = [
     "python_full_version >= '3.15'",
@@ -393,7 +393,7 @@ name = "exceptiongroup"
 version = "1.3.1"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
-    { name = "typing-extensions", marker = "python_full_version < '3.11'" },
+    { name = "typing-extensions", marker = "python_full_version < '3.13'" },
 ]
 sdist = { url = "https://files.pythonhosted.org/packages/50/79/66800aadf48771f6b62f7eb014e352e5d06856655206165d775e675a02c9/exceptiongroup-1.3.1.tar.gz", hash = "sha256:8b412432c6055b0b7d14c310000ae93352ed6754f70fa8f7c34141f91c4e3219", size = 30371, upload-time = "2025-11-21T23:01:54.787Z" }
 wheels = [

From 2ed1d265363a90632f0118fdf6e9a0c892831ca9 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 27 Apr 2026 22:45:55 +0000
Subject: [PATCH 5/6] deps/kmir_release: Set Version 0.4.215

---
 deps/kmir_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/kmir_release b/deps/kmir_release
index 433f494..96ade87 100644
--- a/deps/kmir_release
+++ b/deps/kmir_release
@@ -1 +1 @@
-0.4.214
+0.4.215

From 1cecff6003c07143b8215e338b26c755a9f40f81 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 27 Apr 2026 22:46:09 +0000
Subject: [PATCH 6/6] {pyproject.toml,uv.lock}: sync uv files, KMIR version
 0.4.215

---
 pyproject.toml |  4 ++--
 uv.lock        | 12 ++++++------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/pyproject.toml b/pyproject.toml
index 98afd7b..b74ec44 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -8,7 +8,7 @@ version = "0.1.19"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
-    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.214#subdirectory=kmir",
+    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.215#subdirectory=kmir",
 ]
 
 [[project.authors]]
@@ -16,7 +16,7 @@ name = "Runtime Verification, Inc."
 email = "contact@runtimeverification.com"
 
 [tool.uv.sources]
-kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.214", subdirectory = "kmir" }
+kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.215", subdirectory = "kmir" }
 
 [project.scripts]
 kompass = "kompass.__main__:main"
diff --git a/uv.lock b/uv.lock
index fd0b7df..a7fddb3 100644
--- a/uv.lock
+++ b/uv.lock
@@ -555,7 +555,7 @@ wheels = [
 
 [[package]]
 name = "kframework"
-version = "7.1.318"
+version = "7.1.319"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "coloredlogs" },
@@ -574,15 +574,15 @@ dependencies = [
     { name = "tomli-w" },
     { name = "xdg-base-dirs" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/18/a6/91835ae4f4b0f30aeab718597b328b9c0a74f0308853f2e316084c4c35ab/kframework-7.1.318.tar.gz", hash = "sha256:f8718648cf34609ee81f07101e4d8ab7a0f5db5dbad26b32af4b7bfead2a7d0c", size = 244398, upload-time = "2026-04-15T12:18:19Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/b6/9f/4f483cd6ac148795fdefc314f113740056c4fa272a7bf2c5470b4c5ac7ba/kframework-7.1.319.tar.gz", hash = "sha256:a5c3299661ae11d4463c1a8ba49e0f941428b30f0247c0f3005f36d3d7bbf271", size = 244504, upload-time = "2026-04-27T13:56:07.565Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/c6/ea/eb7134a1875243438ff2fc833a41b848a4dd43ca1e8a1e090dbb1361673a/kframework-7.1.318-py3-none-any.whl", hash = "sha256:7a617914ce059ca323159230d5b9f3540a54b7aeb72e4d68f39662dd0ffc5026", size = 295988, upload-time = "2026-04-15T12:18:17.673Z" },
+    { url = "https://files.pythonhosted.org/packages/a2/d9/49627f3a9eafc143087382a8e892d29bb81186ae1ebb8e667d15ac937537/kframework-7.1.319-py3-none-any.whl", hash = "sha256:5441f7a2ac6633afa1491f4817f6dc3631b9f74e2017632ca9586b7c544e1642", size = 296077, upload-time = "2026-04-27T13:56:05.99Z" },
 ]
 
 [[package]]
 name = "kmir"
-version = "0.4.214"
-source = { git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.214#d0ca5fa09343678640b0988a5645c978eb0bea44" }
+version = "0.4.215"
+source = { git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.215#23ec4e1dcd59f8257858170e0811700f18cb97f4" }
 dependencies = [
     { name = "kframework" },
     { name = "rust-demangler" },
@@ -616,7 +616,7 @@ dev = [
 ]
 
 [package.metadata]
-requires-dist = [{ name = "kmir", git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.214" }]
+requires-dist = [{ name = "kmir", git = "https://github.com/runtimeverification/mir-semantics.git?subdirectory=kmir&rev=v0.4.215" }]
 
 [package.metadata.requires-dev]
 dev = [