MK-043. The four numbers are OPTIONAL, for the same reason BelowMinimumDebt's
are (MK-017): the pre-send guard knows them and passes them, and mapRevert decodes a
revert string and knows none of them. Constructing this with four zeros from the decode
path would print four numbers the user never encountered. Absent means absent.
Optionalcapacity: bigintOptionalentireDebt: bigintOptionalnetDebtChange: bigintOptionalremaining: bigintOptionalcause: unknown
A debt increase the contract's borrowing capacity gate would reject (MK-002).
Every Trove carries a
maxBorrowingCapacity,coll * price / (110 * 1e16)(BorrowerOperations.sol:1323-1328), set at open from the OPENING price, lowered tomin(current, recalculated)on a collateral decrease (:879-897), not raised by a price rise or a top-up on the adjust path, and RESET from the current price by every refinance (:1077-1084), which can raise it or cut it (MK-101). A debt increase requiresmaxBorrowingCapacity >= netDebtChange + debt(:1358-1365), wherenetDebtChangeis the draw plus its borrowing fee anddebtis the Trove's debt AFTERupdateSystemAndTroveInterest, so accrued interest counts.