From 99dbc9ebc20365ac41cac6f1b6141049338161d3 Mon Sep 17 00:00:00 2001
From: dkcumming <daniel.cumming@runtimeverification.com>
Date: Sat, 14 Mar 2026 05:09:43 +1000
Subject: [PATCH 1/3] Add build dep when running tests

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index a9f0dc0..32a38a3 100644
--- a/Makefile
+++ b/Makefile
@@ -21,16 +21,16 @@ TEST_ARGS :=
 
 test: test-all
 
-test-all:
+test-all: build
 	$(UV_RUN) pytest src/tests --maxfail=1 --verbose --durations=0 --numprocesses=4 --dist=worksteal $(TEST_ARGS)
 
 test-unit:
 	$(UV_RUN) pytest src/tests/unit --maxfail=1 --verbose $(TEST_ARGS)
 
-test-integration:
+test-integration: build
 	$(UV_RUN) pytest src/tests/integration --maxfail=1 --verbose --durations=0 --numprocesses=4 --dist=worksteal $(TEST_ARGS)
 
-test-token:
+test-token: build
 	$(UV_RUN) pytest src/tests/integration/test_token.py --maxfail=1 --verbose --durations=0 --numprocesses=4 --dist=worksteal $(TEST_ARGS)
 
 

From c2391b621e2e8723c1e2db99be84cc59c09d2534 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 13 Mar 2026 19:14:00 +0000
Subject: [PATCH 2/3] Set Version: 0.1.16

---
 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 c34958a..e8e277f 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.15
+0.1.16
diff --git a/pyproject.toml b/pyproject.toml
index 3ce1dac..a44e66a 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kompass"
-version = "0.1.15"
+version = "0.1.16"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
diff --git a/uv.lock b/uv.lock
index 099c64b..a517051 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.11'",
@@ -376,7 +376,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 = [
@@ -571,7 +571,7 @@ dependencies = [
 
 [[package]]
 name = "kompass"
-version = "0.1.15"
+version = "0.1.16"
 source = { editable = "." }
 dependencies = [
     { name = "kmir" },

From 43faaf6ac5e3791c12e268cc5713352814a3392c Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 16 Mar 2026 08:38:42 +0000
Subject: [PATCH 3/3] Set Version: 0.1.17

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

diff --git a/package/version b/package/version
index e8e277f..04c5555 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.16
+0.1.17
diff --git a/pyproject.toml b/pyproject.toml
index c2d6e9d..dafffc9 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kompass"
-version = "0.1.16"
+version = "0.1.17"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
diff --git a/uv.lock b/uv.lock
index b1aa130..990a237 100644
--- a/uv.lock
+++ b/uv.lock
@@ -571,7 +571,7 @@ dependencies = [
 
 [[package]]
 name = "kompass"
-version = "0.1.16"
+version = "0.1.17"
 source = { editable = "." }
 dependencies = [
     { name = "kmir" },