Main Invariants

1. Total amount of owed $M is larger or equal to overall supply of $M $totalOwedM ≥ totalMSupply$

Reasonable parameter bounds:

• 30 days with no calls for $protocol.updateIndex$

• MinterRate - up to 100% (10_000 BPS APY)

• EarnerBaseRate - up to 100% (10_000 BPS APY)

1. Overall amount of owed $M is the sum of active and inactive owed $M $totalOwedM = totalActiveOwedM + totalInactiveOwedM$

2. Overall supply of $M is the sum of earning and non-earning $M $totalMSupply = totalNonEarningMSupply + totalEarningMSupply$