Other
- fix(symbolic): make vm.isContext honor the actual forge execution context (#16743) by @gomesalexandre
- fix(cast): stop vaddr watch from silently skipping transfers in the historical/poll gap (#16716) by @gomesalexandre
- fix(cast): treat bare wallet new name as default keystore account (#16219) by @riba2534
- feat(lint): warn on block environment captures (#16727) by @djolertrk
- refactor(lint): reuse Solar resolution queries (#16748) by @figtracer
- fix(symbolic): commit out-of-range constraints for ambiguous vm.bound failures (#16749) by @gomesalexandre
- refactor(evm): gate block context behind monad (#16752) by @mablr
- fix(symbolic): ignore bool invariant return values, matching concrete runner (#16758) by @gomesalexandre
- refactor(symbolic): reuse pure EVM operations (#16763) by @figtracer
- fix(lint): standardize diagnostics and docs (#16754) by @decofe
- chore(deps): bump alloy to 2.4.2 (#16728) by @mattsse
- fix(anvil): preserve Arbitrum L1 block numbers (#16771) by @mablr
- fix(symbolic): refund retry depth on ambiguous mapping sstore forks (#16764) by @gomesalexandre
- feat(lint): unify environment capture warnings (#16755) by @decofe
- fix(lint): reuse Solar semantic queries (#16775) by @DaniPopes