chore: pair the SDK with LeanCTX Engine 3.11.4

CHANGELOG.md

@@ -2,7 +2,7 @@
 
 ## Unreleased (1.2.0)
 
-SDK 1.2.0 pairs all six language packages with LeanCTX Engine **3.11.3** and
+SDK 1.2.0 pairs all six language packages with LeanCTX Engine **3.11.4** and
 adds the v4 preview surfaces below. Interface, schema and transport versions
 and the stable public-surface contract are unchanged. The published 1.1.x
 packages keep their release identity.
@@ -44,8 +44,9 @@ packages keep their release identity.
 ### Changed
 
 - Every language package, the `[agent]` companion-Engine extras and the Agent
-  Tools contract target **LeanCTX Engine 3.11.3** (the Agent Tools protocol
-  is unchanged). `main` previously targeted 3.11.2, 3.11.1 and before that
+  Tools contract target **LeanCTX Engine 3.11.4**, a bugfix release (the
+  Agent Tools protocol is unchanged). `main` previously targeted 3.11.3, 3.11.2,
+  3.11.1 and before that
   3.10.5; before that, only the Python constant had moved
   past 3.10.1 (#18–#21), so a Python `[agent]` install from `main` pulled an
   Engine its own SDK rejected. All six languages agree again.

COMPATIBILITY.md

@@ -3,20 +3,22 @@
 ## `main` (unreleased)
 
 The current `main` source is SDK **1.2.0**, paired with LeanCTX Engine
-**3.11.3** (published 2026-10-11). The public SDK 1.1.1 release below remains
-bound to Engine 3.10.1. Package version fields in this source checkout do not
-establish that an artifact has been published; verify the specific registry
-artifact before installation. A source checkout of `main` needs Engine 3.11.3.
+**3.11.4**, a bugfix release that is not yet published. The public SDK 1.1.1
+release below remains bound to Engine 3.10.1. Package version fields in this
+source checkout do not establish that an artifact has been published; verify
+the specific registry artifact before installation. A source checkout of
+`main` needs Engine 3.11.4.
 
 | Component | Declared scope | Status |
 | --- | --- | --- |
-| Agent Tools Engine | `v3.11.3` | published 2026-10-11; required by `main` in every language package |
+| Agent Tools Engine | `v3.11.4` | unreleased; required by `main` in every language package |
 | Agent Tools protocol | interface `1.0.0`, schema `1`, transport `1` | unchanged from 1.1.0 |
-| Companion Engine wheels | `thinkery-leanctx-engine`, `-cuda`, `-windows-gnu` `==3.11.3` | published with Engine 3.11.3 |
+| Companion Engine wheels | `thinkery-leanctx-engine`, `-cuda`, `-windows-gnu` `==3.11.4` | published with Engine 3.11.4 |
 | Gateway preview | `leanctx-gateway-preview` 0.1 | preview; see `docs/gateway-preview.md` |
 | Rust package | Rust 1.77+ and stable | raised from 1.76 (see CHANGELOG) |
 
-The release-candidate pipeline binds the signed Engine release
+Until v3.11.4 is tagged, the release-candidate pipeline keeps the last
+signed Engine release
 [`v3.11.3`](https://github.com/yvgude/lean-ctx/releases/tag/v3.11.3).
 The tag resolves to commit
 `a6a20406b0fc0a4c1b020657387a41a127d4a9a6`.

README.md

@@ -50,11 +50,11 @@ project-jailed files, cache, search, patches, approved commands
 ## Install
 
 The public SDK 1.1.1 release uses Engine 3.10.1 and its companion wheels. The
-current `main` source targets Engine 3.11.3. Install the public Python SDK and
+current `main` source targets Engine 3.11.4. Install the public Python SDK and
 Engine together with:
 
 > These commands install the published SDK 1.1.1, which requires Engine
-> 3.10.1. Current `main` sources target Engine 3.11.3; package version metadata
+> 3.10.1. Current `main` sources target Engine 3.11.4; package version metadata
 > alone does not identify a published artifact. See
 > [COMPATIBILITY.md](COMPATIBILITY.md#main-unreleased).
 
@@ -78,7 +78,7 @@ CUDA and Windows-GNU builds use the documented `agent-cuda` and
 All six language SDKs implement the five Stable lifecycle primitives and the
 separate Stable Agent Tools surface. The table describes current `main` source
 compatibility. The published SDK 1.1.1 release requires Engine 3.10.1; current
-`main` targets Engine 3.11.3. Registry publication is per artifact and must be
+`main` targets Engine 3.11.4. Registry publication is per artifact and must be
 verified at that registry.
 
 | Runtime | Package source | Package identity |
@@ -161,7 +161,7 @@ The five SDK 1.0 lifecycle primitives remain available unchanged:
 `ContextSession`, `ContextSource`, `ContextView`, `ContextPlan`, and
 `ContextReceipt`. Stable Agent Tools is a separate API surface. The published
 SDK 1.1.1 requires Agent Tools Interface v1 from Engine 3.10.1; current `main`
-targets Engine 3.11.3. The older context-view/recover Engine Interface v1
+targets Engine 3.11.4. The older context-view/recover Engine Interface v1
 remains separate.
 
 See:

contracts/agent-tools-v1.json

@@ -3,7 +3,7 @@
   "version": "1.0.0",
   "schema_version": 1,
   "transport_version": 1,
-  "engine_version": "3.11.3",
+  "engine_version": "3.11.4",
   "transport": {
     "encoding": "UTF-8 JSONL",
     "session": "persistent child process",

docs/CUSTOM-AGENTS.md

@@ -113,12 +113,12 @@ cache. Async task cancellation terminates the process before propagating
 ## Reproduce the Agent Tools evidence
 
 For the public SDK 1.1.0 release, use an Engine 3.10.1 binary; current `main`
-sources target Engine 3.11.3. Both commands below are provider-free and make no
+sources target Engine 3.11.4. Both commands below are provider-free and make no
 network calls:
 
 ```bash
 PYTHONPATH=src:. python scripts/verify_agent_context_e2e.py \
-  --engine /path/to/lean-ctx --expected-engine-version 3.11.3
+  --engine /path/to/lean-ctx --expected-engine-version 3.11.4
 PYTHONPATH=src:. python -m benchmarks.agent_tools.retrieval_benchmark \
   --engine /path/to/lean-ctx
 ```

docs/LANGUAGE-PACKAGES.md

@@ -83,7 +83,7 @@ language tags publish only after all five non-Python SDK build, test, package,
 and clean-install jobs pass.
 
 The public SDK 1.1.0 release requires Engine 3.10.1; current `main` sources
-target Engine 3.11.3. Verify each registry artifact before describing it as
+target Engine 3.11.4. Verify each registry artifact before describing it as
 published; source package version metadata alone is not publication evidence.
 
 ## Registry trust

packages/dotnet/README.md

@@ -9,7 +9,7 @@ loop, and UI. It provides the five Stable lifecycle primitives plus the
 separate Stable Agent Tools API.
 
 The published SDK 1.1.1 release requires Engine 3.10.1; current `main` sources
-target Engine 3.11.3. Check the release-specific compatibility record before
+target Engine 3.11.4. Check the release-specific compatibility record before
 choosing an Engine binary. The package does not embed an Engine and does not
 grant Engine rights. Use
 `LEANCTX_ENGINE_BIN` or an explicit executable path for a separately installed

packages/dotnet/Thinkery.LeanCtx.csproj

@@ -15,7 +15,7 @@
     <RepositoryUrl>https://github.com/Thinkery-AG/leanctx-sdk</RepositoryUrl>
     <RepositoryType>git</RepositoryType>
     <PackageProjectUrl>https://github.com/Thinkery-AG/leanctx-sdk</PackageProjectUrl>
-    <PackageReleaseNotes>LeanCTX SDK 1.2.0. Requires LeanCTX Engine 3.11.3 for Agent Tools.</PackageReleaseNotes>
+    <PackageReleaseNotes>LeanCTX SDK 1.2.0. Requires LeanCTX Engine 3.11.4 for Agent Tools.</PackageReleaseNotes>
     <PublishRepositoryUrl>true</PublishRepositoryUrl>
     <IncludeSymbols>true</IncludeSymbols>
     <SymbolPackageFormat>snupkg</SymbolPackageFormat>

packages/dotnet/src/Protocol.cs

@@ -14,7 +14,7 @@ public static class Constants
     public const string AGENT_TOOLS_INTERFACE_VERSION = "1.0.0";
     public const int AGENT_TOOLS_SCHEMA_VERSION = 1;
     public const int AGENT_TOOLS_TRANSPORT_VERSION = 1;
-    public const string SUPPORTED_AGENT_TOOLS_ENGINE_VERSION = "3.11.3";
+    public const string SUPPORTED_AGENT_TOOLS_ENGINE_VERSION = "3.11.4";
 }
 
 public enum FailureCode

packages/dotnet/tests/Thinkery.LeanCtx.Tests/Program.cs

@@ -49,7 +49,7 @@ private static void ConstantsTest()
         Equal("1.2.0", Constants.__version__);
         Equal("1.0.0", Constants.ENGINE_INTERFACE_VERSION);
         Equal("1.0.0", Constants.AGENT_TOOLS_INTERFACE_VERSION);
-        Equal("3.11.3", Constants.SUPPORTED_AGENT_TOOLS_ENGINE_VERSION);
+        Equal("3.11.4", Constants.SUPPORTED_AGENT_TOOLS_ENGINE_VERSION);
         Equal(1, Constants.SCHEMA_VERSION);
         Equal(1, Constants.TRANSPORT_VERSION);
     }
@@ -294,7 +294,7 @@ private static string FakeAgent(string root, string behavior)
 #!/bin/sh
 IFS= read -r line
 id=$(printf '%s' "$line" | sed -n 's/.*"id":"\([^"]*\)".*/\1/p')
-printf '{"id":"%s","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":[],"engine_version":"3.11.3","schema_version":1,"transport_version":1}}\n' "$id"
+printf '{"id":"%s","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":[],"engine_version":"3.11.4","schema_version":1,"transport_version":1}}\n' "$id"
 while :; do sleep 10; done
 """;
         }
@@ -303,7 +303,7 @@ private static string FakeAgent(string root, string behavior)
             script = """
 #!/bin/sh
 IFS= read -r line
-printf '{"id":"1","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":["ctx_compose","ctx_glob","ctx_read","ctx_search","ctx_symbol","ctx_tree"],"engine_version":"3.11.3","schema_version":1,"transport_version":1}}\n'
+printf '{"id":"1","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":["ctx_compose","ctx_glob","ctx_read","ctx_search","ctx_symbol","ctx_tree"],"engine_version":"3.11.4","schema_version":1,"transport_version":1}}\n'
 IFS= read -r line
 while :; do sleep 10; done
 """;
@@ -323,7 +323,7 @@ private static string FakeAgent(string root, string behavior)
 while IFS= read -r line; do
   id=$(printf '%s' "$line" | sed -n 's/.*"id":"\([^"]*\)".*/\1/p')
   case "$line" in
-    *'"op":"hello"'*) printf '{"id":"%s","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":["ctx_compose","ctx_glob","ctx_provider","ctx_read","ctx_search","ctx_symbol","ctx_tree"],"engine_version":"3.11.3","schema_version":1,"transport_version":1}}\n' "$id" ;;
+    *'"op":"hello"'*) printf '{"id":"%s","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":["ctx_compose","ctx_glob","ctx_provider","ctx_read","ctx_search","ctx_symbol","ctx_tree"],"engine_version":"3.11.4","schema_version":1,"transport_version":1}}\n' "$id" ;;
     *'"op":"close"'*) printf '{"id":"%s","ok":true,"result":{}}\n' "$id"; exit 0 ;;
     *) printf '{"id":"%s","ok":true,"result":{"text":"ctx_read:ok","content_blocks":[],"original_tokens":10,"output_tokens":4,"saved_tokens":6,"mode":null,"changed":false,"shell":null}}\n' "$id" ;;
   esac
@@ -345,7 +345,7 @@ private static string FakeAgent(string root, string behavior)
 while IFS= read -r line; do
   id=$(printf '%s' "$line" | sed -n 's/.*"id":"\([^"]*\)".*/\1/p')
   case "$line" in
-    *'"op":"hello"'*) printf '{"id":"%s","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":["ctx_compose","ctx_glob","ctx_read","ctx_search","ctx_symbol","ctx_tree"],"engine_version":"3.11.3","schema_version":1,"transport_version":1}}\n' "$id" ;;
+    *'"op":"hello"'*) printf '{"id":"%s","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":["ctx_compose","ctx_glob","ctx_read","ctx_search","ctx_symbol","ctx_tree"],"engine_version":"3.11.4","schema_version":1,"transport_version":1}}\n' "$id" ;;
     *'"op":"close"'*) printf '{"id":"%s","ok":true,"result":{}}\n' "$id"; exit 0 ;;
     *) printf '{"id":"%s","ok":true,"result":{"text":"ctx_read:ok","content_blocks":[],"original_tokens":10,"output_tokens":4,"saved_tokens":6,"mode":null,"changed":false,"shell":null}}\n' "$id" ;;
   esac

packages/go/README.md

@@ -10,7 +10,7 @@ primitives plus the separate Stable Agent Tools API.
 
 The module uses the Go-standard `packages/go/vX.Y.Z` tag. The published SDK
 1.1.1 release requires Engine 3.10.1; current `main` sources target Engine
-3.11.3. Check the release-specific compatibility record before choosing an
+3.11.4. Check the release-specific compatibility record before choosing an
 Engine binary.
 
 ```go

packages/go/agent_test.go

@@ -63,7 +63,7 @@ func fakeAgentScript(t *testing.T, behavior string, capturePolicyPath ...string)
 	withWrite := `["ctx_compose","ctx_edit","ctx_fill","ctx_glob","ctx_patch","ctx_read","ctx_search","ctx_symbol","ctx_tree"]`
 	full := `["ctx_compose","ctx_edit","ctx_fill","ctx_glob","ctx_patch","ctx_read","ctx_search","ctx_shell","ctx_symbol","ctx_tree"]`
 	result := `{"changed":false,"content_blocks":[],"mode":"auto","original_tokens":100,"output_tokens":25,"saved_tokens":75,"shell":null,"text":"ok"}`
-	hello := `{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":CAPS,"engine_version":"3.11.3","schema_version":1,"transport_version":1}`
+	hello := `{"agent_tools_interface_version":"1.0.0","allow_exec":false,"allow_write":false,"capabilities":CAPS,"engine_version":"3.11.4","schema_version":1,"transport_version":1}`
 	hello = strings.Replace(hello, "CAPS", readOnly, 1)
 	providerHello := strings.Replace(hello, readOnly, providerReadOnly, 1)
 	if behavior == "badhello" {
@@ -88,7 +88,7 @@ func fakeAgentFullScript(t *testing.T) string {
 while IFS= read -r line; do
   id=$(/usr/bin/printf '%s' "$line" | /usr/bin/sed -n 's/.*"id":"\([^"]*\)".*/\1/p')
   if /usr/bin/printf '%s' "$line" | /usr/bin/grep -q '"op":"hello"'; then
-    /usr/bin/printf '%s\n' '{"id":"'$id'","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":true,"allow_write":true,"capabilities":["ctx_compose","ctx_edit","ctx_fill","ctx_glob","ctx_patch","ctx_read","ctx_search","ctx_shell","ctx_symbol","ctx_tree"],"engine_version":"3.11.3","schema_version":1,"transport_version":1}}'
+    /usr/bin/printf '%s\n' '{"id":"'$id'","ok":true,"result":{"agent_tools_interface_version":"1.0.0","allow_exec":true,"allow_write":true,"capabilities":["ctx_compose","ctx_edit","ctx_fill","ctx_glob","ctx_patch","ctx_read","ctx_search","ctx_shell","ctx_symbol","ctx_tree"],"engine_version":"3.11.4","schema_version":1,"transport_version":1}}'
   elif /usr/bin/printf '%s' "$line" | /usr/bin/grep -q '"op":"close"'; then
     /usr/bin/printf '%s\n' '{"id":"'$id'","ok":true,"result":{}}'
     exit 0

packages/go/version.go

@@ -10,7 +10,7 @@ const (
 	AgentToolsInterfaceVersion       = "1.0.0"
 	AgentToolsSchemaVersion          = 1
 	AgentToolsTransportVersion       = 1
-	SupportedAgentToolsEngineVersion = "3.11.3"
+	SupportedAgentToolsEngineVersion = "3.11.4"
 
 	// Contract-spelling aliases keep generated integrations source-compatible
 	// with the other SDKs, whose constants use uppercase names.

packages/jvm/README.md

@@ -53,7 +53,7 @@ bounded. Explicit `allowLoopbackHttp` is reserved for literal loopback addresses
 in local tests. SDK and Engine licensing remain separate.
 
 The published SDK 1.1.1 release requires Engine 3.10.1; current `main` sources
-target Engine 3.11.3. Check the release-specific compatibility record before
+target Engine 3.11.4. Check the release-specific compatibility record before
 choosing an Engine binary. The SDK source license permits non-production use;
 production use, OEM embedding, and commercial redistribution require a separate
 written agreement signed by Thinkery AG.

packages/jvm/src/main/java/com/thinkery/leanctx/AgentContext.java

@@ -37,7 +37,7 @@ public final class AgentContext implements AutoCloseable {
     public static final String AGENT_TOOLS_INTERFACE_VERSION = "1.0.0";
     public static final int AGENT_TOOLS_SCHEMA_VERSION = 1;
     public static final int AGENT_TOOLS_TRANSPORT_VERSION = 1;
-    public static final String SUPPORTED_AGENT_TOOLS_ENGINE_VERSION = "3.11.3";
+    public static final String SUPPORTED_AGENT_TOOLS_ENGINE_VERSION = "3.11.4";
 
     private static final int MAX_REQUEST_BYTES = 1024 * 1024;
     private static final int MAX_RESPONSE_BYTES = 16 * 1024 * 1024;

packages/jvm/src/main/java/com/thinkery/leanctx/LeanCtx.java

@@ -10,7 +10,7 @@ public final class LeanCtx {
     public static final String AGENT_TOOLS_INTERFACE_VERSION = "1.0.0";
     public static final int AGENT_TOOLS_SCHEMA_VERSION = 1;
     public static final int AGENT_TOOLS_TRANSPORT_VERSION = 1;
-    public static final String SUPPORTED_AGENT_TOOLS_ENGINE_VERSION = "3.11.3";
+    public static final String SUPPORTED_AGENT_TOOLS_ENGINE_VERSION = "3.11.4";
 
     private LeanCtx() {
     }

packages/jvm/src/test/java/com/thinkery/leanctx/AgentToolsTest.java

@@ -278,7 +278,7 @@ private static Path fakeAgent(Path root, boolean badHello, boolean delayCall,
                 + "while IFS= read -r line; do\n"
                 + "  id=$((id + 1))\n"
                 + "  case \"$line\" in\n"
-                + "    *hello*) printf '%s\\n' '{\"id\":\"'\"$id\"'\",\"ok\":true,\"result\":{\"agent_tools_interface_version\":\"1.0.0\",\"allow_exec\":" + allowExec + ",\"allow_write\":" + allowWrite + ",\"capabilities\":" + capabilities + ",\"engine_version\":\"3.11.3\",\"schema_version\":1,\"transport_version\":1}}' ;;\n"
+                + "    *hello*) printf '%s\\n' '{\"id\":\"'\"$id\"'\",\"ok\":true,\"result\":{\"agent_tools_interface_version\":\"1.0.0\",\"allow_exec\":" + allowExec + ",\"allow_write\":" + allowWrite + ",\"capabilities\":" + capabilities + ",\"engine_version\":\"3.11.4\",\"schema_version\":1,\"transport_version\":1}}' ;;\n"
                 + "    *\\\"tool\\\":\\\"ctx_shell\\\"*) printf '%s\\n' '{\"id\":\"'\"$id\"'\",\"ok\":true,\"result\":{\"text\":\"ctx_shell:ok\",\"content_blocks\":[],\"original_tokens\":10,\"output_tokens\":4,\"saved_tokens\":6,\"mode\":null,\"changed\":false,\"shell\":{\"exit_code\":0}}}' ;;\n"
                 + "    *call*) " + delay + "printf '%s\\n' '{\"id\":\"'\"$id\"'\",\"ok\":true,\"result\":{\"text\":\"ctx_read:ok\",\"content_blocks\":[],\"original_tokens\":10,\"output_tokens\":4,\"saved_tokens\":6,\"mode\":null,\"changed\":false,\"shell\":null}}' ;;\n"
                 + "    *close*) printf '%s\\n' '{\"id\":\"'\"$id\"'\",\"ok\":true,\"result\":{}}'; exit 0 ;;\n"

packages/rust/README.md

@@ -24,7 +24,7 @@ context.close()?;
 ```
 
 The published SDK 1.1.1 release requires Engine 3.10.1; current `main` sources
-target Engine 3.11.3. Check the release-specific compatibility record before
+target Engine 3.11.4. Check the release-specific compatibility record before
 choosing an Engine binary. The SDK source license permits non-production use;
 production use, OEM embedding, and commercial redistribution require a separate
 written agreement signed by Thinkery AG.

packages/rust/src/agent.rs

@@ -27,7 +27,7 @@ use crate::protocol::{
 pub const AGENT_TOOLS_INTERFACE_VERSION: &str = "1.0.0";
 pub const AGENT_TOOLS_SCHEMA_VERSION: u64 = 1;
 pub const AGENT_TOOLS_TRANSPORT_VERSION: u64 = 1;
-pub const SUPPORTED_AGENT_TOOLS_ENGINE_VERSION: &str = "3.11.3";
+pub const SUPPORTED_AGENT_TOOLS_ENGINE_VERSION: &str = "3.11.4";
 const MAX_REQUEST_BYTES: usize = 1024 * 1024;
 const MAX_STDERR_BYTES: usize = 64 * 1024;
 const MAX_TASK_BYTES: usize = 16 * 1024;

packages/rust/src/async_agent.rs

@@ -865,7 +865,7 @@ mod tests {
                 "ctx_symbol",
                 "ctx_tree"
             ],
-            "engine_version": "3.11.3",
+            "engine_version": "3.11.4",
             "schema_version": 1,
             "transport_version": 1
         });
@@ -905,7 +905,7 @@ done"#,
                 "ctx_symbol",
                 "ctx_tree"
             ],
-            "engine_version": "3.11.3",
+            "engine_version": "3.11.4",
             "schema_version": 1,
             "transport_version": 1
         });

packages/rust/tests/sdk.rs

@@ -439,7 +439,7 @@ fn agent_script(
             "allow_exec": false,
             "allow_write": false,
             "capabilities": capabilities,
-            "engine_version": "3.11.3",
+            "engine_version": "3.11.4",
             "schema_version": 1,
             "transport_version": 1
         }
@@ -539,7 +539,7 @@ fn public_constants_are_frozen() {
     assert_eq!(leanctx_sdk::TRANSPORT_VERSION, 1);
     assert_eq!(leanctx_sdk::ENGINE_INTERFACE_VERSION, "1.0.0");
     assert_eq!(leanctx_sdk::AGENT_TOOLS_INTERFACE_VERSION, "1.0.0");
-    assert_eq!(leanctx_sdk::SUPPORTED_AGENT_TOOLS_ENGINE_VERSION, "3.11.3");
+    assert_eq!(leanctx_sdk::SUPPORTED_AGENT_TOOLS_ENGINE_VERSION, "3.11.4");
 }
 
 #[test]