lender_supply(assets, min_shares_out)
Measure the transfer into the vault. Accrue. Mint shares ≥ min_shares_out. First deposit enforces MIN_INITIAL_SHARES.
lender_redeem(shares, min_assets_out)
Accrue. Burn shares. Pay available_cash. Require assets ≥ min_assets_out.

