M2 review follow-ups: mainnet labels, deposit post-conditions, green CI#8

Merged

jayteemoney merged 3 commits into

mainfrom

fix/m2-review-followups

Jun 1, 2026

Commits on May 31, 2026

fix(frontend): label UI with the live network (mainnet), not testnet
jayteemoney
committed
fix(frontend): deny-by-default post-conditions on deposit flows
jayteemoney
committed
test(contracts): fix flaky multi-cycle pause/resume invariant
jayteemoney
committed