diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
index ff72194..0f69e97 100644
--- a/.github/workflows/update-version.yml
+++ b/.github/workflows/update-version.yml
@@ -33,5 +33,17 @@ jobs:
           uv lock --upgrade
           git add pyproject.toml uv.lock
           git commit -m '{pyproject.toml,uv.lock}: sync uv files, KMIR version '${KMIR_VERSION} || true
+      - name: 'Sync K definition files from feature/p-token'
+        run: |
+          git clone --depth 1 --branch feature/p-token \
+            https://github.com/runtimeverification/mir-semantics.git /tmp/mir-semantics
+          for f in p-token.md spl-token.md info.md; do
+            cp /tmp/mir-semantics/kmir/src/kmir/kdist/mir-semantics/symbolic/$f \
+               src/kompass/kdist/kompass/$f
+            sed -i 's|requires "../|requires "mir-semantics/|g' src/kompass/kdist/kompass/$f
+          done
+          rm -rf /tmp/mir-semantics
+          git add src/kompass/kdist/kompass/
+          git commit -m 'Sync K definition files from feature/p-token' || true
       - name: 'Push updates'
         run: git push
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 4d0ae62..d1e522e 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 596bdf2..6a1ad21 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" },