[Certora] post-price-drop realizable bad debt cannot increase (liquidate) - #1084

[Certora] post-price-drop realizable bad debt cannot increase (liquidate)#1084

claude[bot] wants to merge 7 commits into

claude/certora-realizable-bad-debtmorpho-org/midnight:claude/certora-realizable-bad-debtfrom

claude/certora-post-drop-rbd-liquidatemorpho-org/midnight:claude/certora-post-drop-rbd-liquidateCopy head branch name to clipboard