Certora Audit Remediations#2209

Open

jaybuidl wants to merge 4 commits intodevfrom

fix/certora-audit

Commits on Dec 19, 2025

fix: stakes accounting H-01 M-02

unknownunknown1
authored and
jaybuidl
committed
fix: malicious arbitrable M-01

unknownunknown1
authored and
jaybuidl
committed
fix: safeTransfer check M-03

unknownunknown1
authored and
jaybuidl
committed
fix: whenNotPaused on transferBySortitionModule() L-02
jaybuidl
committed