debtAuctionBidSizeunbacked RAI on the protocol's balance sheet. The
debtAuctionBidSizecan be automatically recomputed by the protocol approximately every 4 days (assuming that someone calls the protocol to recalculate the parameter). The current
debtAuctionBidSizeparameter value can be read from the accounting engine contract.
debtAuctionBidSizevalue. If there's more unbacked debt than
debtAuctionBidSize, it means that the protocol is insolvent and the staking pool can start to auction tokens.