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$