-
chore(release): prepare v3.8.10
Release / SDK release gate (push) Has been cancelledRelease / Build aarch64-apple-darwin (push) Has been cancelledRelease / Build x86_64-apple-darwin (push) Has been cancelledRelease / Build aarch64-unknown-linux-musl (push) Has been cancelledRelease / Build aarch64-unknown-linux-gnu (push) Has been cancelledRelease / Build x86_64-unknown-linux-musl (push) Has been cancelledRelease / Build x86_64-pc-windows-gnu (push) Has been cancelledRelease / Build x86_64-unknown-linux-gnu (push) Has been cancelledRelease / Build x86_64-pc-windows-msvc (push) Has been cancelledRelease / Create Release (push) Has been cancelledRelease / Attach JetBrains Plugin (push) Has been cancelledRelease / Publish to crates.io (push) Has been cancelledRelease / Publish to npm (push) Has been cancelledRelease / Update Homebrew (push) Has been cancelledRelease / Announce on Twitter (push) Has been cancelled发布于
2026-06-20 09:32:50 +00:00 Version bump (rust/Cargo.toml, lean-ctx-bin, pi-lean-ctx) + CHANGELOG.
Headline fixes added to the notes:- #462/#474: restricted shell mode now allows for/while/if loops + subshells
- #476/#477:
lean-ctx uninstall --helpno longer performs a real uninstall
Also harden the property_compression proptest: it now uses the deterministic
entropy entry point. The defaultentropy_compressself-activates the neural
embedding engine on first use (#544/#551); thecfg!(test)guard that
suppresses that load only covers unit tests, so this integration test linked
the lib withoutcfg(test)and ran real per-line GEMM inference for every
generated case — an effective hang on any machine with the embedding model
present. The deterministic path is purpose-built for reproducible testing and
never touches the engine.Co-authored-by: Cursor cursoragent@cursor.com
下载附件