发布

  • chore(release): prepare v3.8.10
    Release / SDK release gate (push) Has been cancelled
    Release / Build aarch64-apple-darwin (push) Has been cancelled
    Release / Build x86_64-apple-darwin (push) Has been cancelled
    Release / Build aarch64-unknown-linux-musl (push) Has been cancelled
    Release / Build aarch64-unknown-linux-gnu (push) Has been cancelled
    Release / Build x86_64-unknown-linux-musl (push) Has been cancelled
    Release / Build x86_64-pc-windows-gnu (push) Has been cancelled
    Release / Build x86_64-unknown-linux-gnu (push) Has been cancelled
    Release / Build x86_64-pc-windows-msvc (push) Has been cancelled
    Release / Create Release (push) Has been cancelled
    Release / Attach JetBrains Plugin (push) Has been cancelled
    Release / Publish to crates.io (push) Has been cancelled
    Release / Publish to npm (push) Has been cancelled
    Release / Update Homebrew (push) Has been cancelled
    Release / Announce on Twitter (push) Has been cancelled

    frostbyte_neo 发布于 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 --help no longer performs a real uninstall

    Also harden the property_compression proptest: it now uses the deterministic
    entropy entry point. The default entropy_compress self-activates the neural
    embedding engine on first use (#544/#551); the cfg!(test) guard that
    suppresses that load only covers unit tests, so this integration test linked
    the lib without cfg(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

    下载附件