## NVIDIA/OpenShell — v0.1.3-pre.2…v0.1.3-pre.3

_21 commits._

### Features
- **feat(snap): ship the standalone prover binary in the snap (#3717)** (6e865df)
- **feat(examples): run Jupyter notebooks in an OpenShell sandbox (#2253)** (348a1fc)
- **feat(sandbox): write agent output to the container log (#4005)** (8091f66)
- **feat(flake): add packages required to run mise command allowing us to compile vm driver from source (#2151)** (b3e9201)

### Fixes
- **fix(ci): retry Nix shell and app dependency preparation (#4066)** (6048bed)
- **fix(sandbox): restrict provider file mode (#4093)** (8719fc9)
- **fix(policy): refresh pending proposals when the sandbox policy changes (#3923)** (71440b2)
- **fix(supervisor): bound pending exec stdin and cancel stalled writers (#3846)** (8d418f1)
- **fix(cli): start sandbox exec without waiting for piped stdin EOF (#4006)** (ffcbe62)
- **fix(supervisor): wait for repair when the gateway refuses a startup policy write (#3785)** (f290139)
- **fix(snap): simplify snap hooks (#3988)** (1ad4e42)
- **fix(ci): qualify protobuf compatibility by release train (#4049)** (5698c4f)
- **fix(ci): align integration inputs with release candidate source (#4048)** (fde79f1)
- **fix(runtime): recover SSH relays and bound startup diagnostics (#4011)** (fe38637)

### Tests
- **test(python): synchronize interactive exec TTY readiness (#4076)** (76cfd0e)
- **test(tmachine): add Fedora RPM package installer (#4025)** (82e8893)
- **test(e2e): remove schema parity campaign (#3864)** (0e8d9e5)

### Chore
- **chore(gator): default to GPT-6.1 Sol (fixes #4064) (#4065)** (1b77cd4)
- **chore(agents): simplify contributor instructions and workflows (#3987)** (6e369f2)
- **ci: use package installers consistently in integration tests (#4056)** (cb193ef)
- **chore(build): remove bundled Z3 support (#3275)** (e21b7fd)

_Recap by [Repo Wrapped](https://repowrapped.com/gh/NVIDIA/OpenShell?utm_source=github-action)._