- Capitalize guard helper comments in Deposit and Withdraw transactors
- Fix canApplyToBrokerCover signature to use SLE::const_ref (matches header)
- Add alice balance invariant check to Withdraw no-op test case
- Add MPT positive test: verify 1-unit MPT passes the precision guard