diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2d896b8..d2074c1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,11 @@
 
 ## Unreleased
 
+## 1.4.2
+
+### Changes
+- **`provably-sdk` minimum raised to 0.3.4.**
+
 ## 1.4.1
 
 ### Changes
diff --git a/pyproject.toml b/pyproject.toml
index 4df9d37..6367a89 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "sourcerykit"
-version = "1.4.1"
+version = "1.4.2"
 description = "Counterspell for hallucinating agents. Python SDK that breaks the illusion on every tool call, API response, and MCP handoff before bad outputs propagate."
 readme = { file = "README.md", content-type = "text/markdown" }
 requires-python = ">=3.12"
@@ -47,7 +47,7 @@ dependencies = [
     "requests >=2.34",
     "jsonschema>=4.0",
     "psycopg[binary]>=3.1",
-    "provably-sdk>=0.3.3,<1",
+    "provably-sdk>=0.3.4,<1",
     "pydantic>=2.6",
     "python-dotenv>=1.2",
     "sqlalchemy>=2.0",
@@ -154,7 +154,7 @@ exclude_also = ["if TYPE_CHECKING:", "raise NotImplementedError", "\\.\\.\\."]
 sourcerykit = "sourcerykit.cli.main:app"
 
 [tool.bumpversion]
-current_version = "1.4.1"
+current_version = "1.4.2"
 commit = false
 tag = false
 tag_name = "v{new_version}"
diff --git a/uv.lock b/uv.lock
index 97e35a7..a47aa20 100644
--- a/uv.lock
+++ b/uv.lock
@@ -1860,7 +1860,7 @@ wheels = [
 
 [[package]]
 name = "provably-sdk"
-version = "0.3.3"
+version = "0.3.4"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "httpx" },
@@ -1868,9 +1868,9 @@ dependencies = [
     { name = "pydantic" },
     { name = "structlog" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/cb/19/13ee32df0574a0171e64a9751d1ad4f8bcb9a82a9e731c51878ae08acbbc/provably_sdk-0.3.3.tar.gz", hash = "sha256:f27a3e6fe0e43566873cbfaf15fc99834069ad57bf8e1a9a447d001d829b998f", size = 68494, upload-time = "2026-10-01T15:32:04.533Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/f5/78/c8e4e2e5437ac2c080af78272ad1785d825c90f9f6a2a6247f8352fe3dae/provably_sdk-0.3.4.tar.gz", hash = "sha256:41248069edc674f8a3b9bbfcb7b81f6dd9d52142458eaeb1148ca8d89bcab688", size = 70092, upload-time = "2026-10-02T13:06:14.269Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/0b/09/155a093e7d15446de4d9bd0532b5fac3fc9f8b3c1c7aacffa53639344475/provably_sdk-0.3.3-py3-none-any.whl", hash = "sha256:bdd389f5a9b4b49597c7163b61b244d5abb35e16c3afdf9732b62203954528d9", size = 26267, upload-time = "2026-10-01T15:32:03.346Z" },
+    { url = "https://files.pythonhosted.org/packages/f1/52/b30c1451ed86454dcbacf130fa8a37c4b6b572d89c53083b660edbd420e1/provably_sdk-0.3.4-py3-none-any.whl", hash = "sha256:7c245b2ba67f2f468d5548ce78f69fc4f79dcbf115d23a71d6efcafe232e0bcc", size = 27334, upload-time = "2026-10-02T13:06:12.857Z" },
 ]
 
 [[package]]
@@ -2423,7 +2423,7 @@ wheels = [
 
 [[package]]
 name = "sourcerykit"
-version = "1.4.1"
+version = "1.4.2"
 source = { editable = "." }
 dependencies = [
     { name = "aiohttp" },
@@ -2476,7 +2476,7 @@ requires-dist = [
     { name = "mypy", marker = "extra == 'dev'", specifier = ">=1.10" },
     { name = "openai-agents", marker = "extra == 'dev'", specifier = ">=0.0.3" },
     { name = "pre-commit", marker = "extra == 'dev'", specifier = ">=4.0" },
-    { name = "provably-sdk", specifier = ">=0.3.3,<1" },
+    { name = "provably-sdk", specifier = ">=0.3.4,<1" },
     { name = "psycopg", extras = ["binary"], specifier = ">=3.1" },
     { name = "pydantic", specifier = ">=2.6" },
     { name = "pytest", marker = "extra == 'dev'", specifier = ">=8.0" },