Cua Driver 0.46.0

Summary

This release adds 1 features and includes 1 fixes.

Features

• formally-verify-cua-driver skill and TLA+ models for the driver's state machines. (#7035)

Fixes

• an invoke_menu worker keeps its pid lease and the desktop lane until it returns. (#7039)

Contributors

This release contains maintainer changes only.

Install

macOS and Linux:

/bin/bash -c "$(curl -fsSL https://cua.ai/driver/install.sh)"

Windows:

irm https://cua.ai/driver/install.ps1 | iex

Cua Driver ships universal macOS binaries, x86_64 and arm64 Windows builds,
and Linux preview builds. Release assets also include tag-pinned installer and
uninstaller scripts.

Why GitHub says “Pre-release”

GitHub's label is used only to keep this monorepo's repository-wide “Latest”
pointer from switching between independently released products. A plain Cua
Driver SemVer is a stable release; npm and PyPI publish it on
their normal stable channels, and the installers resolve the versioned
cua-driver-rs-v* releases directly.

SHA256 Checksums

67b909bc329dfb2c6a17f440739ce827800bf7bd8204e08e4ff7351b53f25f83  SHA256SUMS
4cea926fabda972d9d09df0c8c4e250697c30a704328e3b18f5117f4b4643a8e  SHA256SUMS.sigstore.json
1d37571f8515c59d21cc0e88f149f8a473a5ed1abc6227cb37c3ba1f18629fc6  _install-rust.sh
65ebef433730b3df56da7904ee42c2cbe7632ddc237ca13bc8957ba17a46c9f9  _install-rust.sh.sigstore.json
0830a61895b74b07e63b223f7ee57243706803b831474430f8d52fb0c61cfb13  checksums.txt
b61b9afa3e9b272902ab34372058d8b18f113685b090c3af3ff55eee58af0c42  cua-driver-rs-0.46.0-darwin-arm64.tar.gz
876675dd53c4a512a723a494680fa3296e45dfe7be8f4a52d7cea86fcc630f08  cua-driver-rs-0.46.0-darwin-arm64.tar.gz.sigstore.json
5b2ef007bcfef534ab8df3663a4f1b437c6922deecfa41e7f7748897eb9e2d57  cua-driver-rs-0.46.0-darwin-universal-binary.tar.gz
d601c9aa7ba38d1cb8f577a9a44233ebd6f0e209dc0954f14edd057fc1dff07c  cua-driver-rs-0.46.0-darwin-universal-binary.tar.gz.sigstore.json
5f12ae5de5a5a93536fa98d23e7c4357c8efe276f002d40e4e7a3111962e90fc  cua-driver-rs-0.46.0-darwin-universal.tar.gz
6053ab354b2b44d3bc0024559de91432c2d5e3245ac1ddb1b8094f5f1dac9ae0  cua-driver-rs-0.46.0-darwin-universal.tar.gz.sigstore.json
c5dd41229babb3e38067621446cd6b3a730e8c1d84fddb3877fc0b95d66fe7c6  cua-driver-rs-0.46.0-darwin-x86_64.tar.gz
e081d947b63fefd68ff219cf1f520bdb913bf8cd613e821f556e74fcaa716ffb  cua-driver-rs-0.46.0-darwin-x86_64.tar.gz.sigstore.json
78ed1c166c618f0edebabd9f452fc39a5161473ba980b75214843bcdd4785e06  cua-driver-rs-0.46.0-linux-arm64-binary.tar.gz
ed506f5e2b4686da3a7568fcb7cd80dbd159760a498e7ce8b1080f2aff58c253  cua-driver-rs-0.46.0-linux-arm64-binary.tar.gz.sigstore.json
15887d18f24264f4eb66efee4613d0dd60e528f4ee67002107c670dd39a237a6  cua-driver-rs-0.46.0-linux-arm64.tar.gz
fda0b3ea4a8af3d38836ce2da05f7c74fc9265f85bb3138f15f18f8dd45caf44  cua-driver-rs-0.46.0-linux-arm64.tar.gz.sigstore.json
7b7bc394edfd5548f4e5c3fd20c0d2a02f2ebd3356bf4199934be1d8272a9297  cua-driver-rs-0.46.0-linux-x86_64-binary.tar.gz
a105c2a1052a7e621da062b7a5f5a10285a58c04a40885819be6894e1cfbdc2c  cua-driver-rs-0.46.0-linux-x86_64-binary.tar.gz.sigstore.json
d8fbd2a8cc5f0aa013d1ee2fb90dcba9f3413eb417d9ed768a911f9087c54d18  cua-driver-rs-0.46.0-linux-x86_64.tar.gz
201b21bc4f33eb068a31426bd0b068698f5254c1664be4490467901e0ef7deef  cua-driver-rs-0.46.0-linux-x86_64.tar.gz.sigstore.json
7257df28d2d82ce6197385bc5498e25f156d2c6abe9c823e3b2012bb5d121914  cua-driver-rs-0.46.0-windows-arm64-binary.zip
bc94c5a4046397756f7eadbfcc934c1a0cef8cdb69ad7a813362b482e66bc170  cua-driver-rs-0.46.0-windows-arm64-binary.zip.sigstore.json
d4f8baeafd98314bfa2997e138ce384e9ecb574b4afc39a3c62de1bc298dc8c1  cua-driver-rs-0.46.0-windows-arm64.zip
e35acdb918831dd8ebebc1e519b4f165bc03ab374d369a8787a477cafd0e2a48  cua-driver-rs-0.46.0-windows-arm64.zip.sigstore.json
458ac72c7209bddf5283b44a48e66bcb7ebe69202a4d1b263ada662587c0c45a  cua-driver-rs-0.46.0-windows-x86_64-binary.zip
e2cb2dac94f5ceb9cbecdca85e57063ed81f2e1c6aa3a9850d8724fc757305f7  cua-driver-rs-0.46.0-windows-x86_64-binary.zip.sigstore.json
da35397af50a7e169384997d6060c7059899dbdd010c9527b578ddf24a6fd9b1  cua-driver-rs-0.46.0-windows-x86_64.zip
7ac26dbc709ac05b21c40c9a5d062b3c6b22ba76b201b9c21b8adbbf64eded0f  cua-driver-rs-0.46.0-windows-x86_64.zip.sigstore.json
72fe0e31f89d91cf175bf455f00ab18cda07f006e2e6e1f45834b8870f4d7bea  cua-driver-rs-v0.46.0-skills.tar.gz
2639f100a13cdd54d4ca792d142571c013b73ccb5fadefddbd89770cfe2456ef  cua-driver-rs-v0.46.0-skills.tar.gz.sigstore.json
89b5b0b9b1844eb3881c99bc5a98b9ad57ae6b173d76bc70628cb9804502d0de  cua-hyprland-plugin-0.46.0-5486b6246e4c807c0d793216e52df283671d9362-build-kit.tar.gz
f3b2fafa3263d3c4abde1becf461418302b5ea752c3f69624be50dac2274f0b8  cua-hyprland-plugin-0.46.0-5486b6246e4c807c0d793216e52df283671d9362-build-kit.tar.gz.sigstore.json
c731a803e226007b0aece678e0c932d70206f346147154ed5ce9758257f6c229  cua-hyprland-plugin-0.46.0-5486b6246e4c807c0d793216e52df283671d9362.tar.gz
b27e80d3bab6543c3d526cd9371fa586060d8bb074187aed921a9eced5810fe2  cua-hyprland-plugin-0.46.0-5486b6246e4c807c0d793216e52df283671d9362.tar.gz.sigstore.json
a18f32b559740452f4b5df754a680192a1dca8979aa4a8f7fae197257ff421c2  install.ps1
a154d4ba731151fb7baa061323dc6dfe3e5ec407cd2f67a97fa4c80c35135473  install.ps1.sigstore.json
c9056eea6dbbb11749059d5eb506ea800ec761d5337685ec9b307baf72399c51  install.sh
e0c8fc1fb3f7cab13ae0ca91a6d089255a53a2698f4c490bbe09d10328a85816  install.sh.sigstore.json
1bde1d55e0220fda853c262b5732ecd9b9bd9b181c7db3ee4013ca4be70a93ce  uninstall.ps1
3ad33928caff75f65e60f1b797156d5cbcb40b4d1c2001cdf5b20119507ac17f  uninstall.ps1.sigstore.json
ecb2cb7af6b40c0fc9bf218a803d6d2cb667e08f9b35739813ce9dc5481d820f  uninstall.sh
d2805ac6e965decc6569450a5562f300a02b03182fa49d0d07328795c6b07edd  uninstall.sh.sigstore.json

Full changelog

cua-driver-rs-v0.45.4...cua-driver-rs-v0.46.0