Feat/redemption buffer#9

Draft

bribri-wci wants to merge 13 commits intoDistributedCollective:developmentfrom

bribri-wci:feat/redemption-buffer

Commits on Dec 11, 2025

Add redemption buffer funded on borrow and used in redemptions
bribri-wci
committed
Add redemption buffer funded on borrow and used in redemptions
bribri-wci
committed
Wire redemption buffer distributions through FeeDistributor
bribri-wci
committed

Commits on Dec 21, 2025

Reworked redemption buffer fee to be on top of collateral
bribri-wci
committed

Commits on Dec 24, 2025

Tests & TroveManagerBase fix
bribri-wci
committed

Commits on Dec 25, 2025