Institutional DeFi’s fixed-income stack: why programmable