MK-017. Both numbers are OPTIONAL, and that is the fix rather than a weakening.
The pre-send guard knows them and passes them. mapRevert does not: it decodes a revert
string and has no access to the floor or the net debt, so it used to construct this with
0n, 0n. A user who tried to draw 1700 against a floor of 1800 was then told their net
debt was 0 and the minimum was 0, which is not a rounding of the truth, it is two invented
numbers. This programme has spent nine waves closing exactly that defect class in larger
form; leaving a small one in the error surface would be inconsistent.
Absent now means absent: the message says the values are unavailable rather than printing a zero the user never encountered.
OptionalminNetDebt: bigintOptionalnetDebt: bigintOptionalcause: unknown
draw + borrowingFeeis below the (governable)minNetDebtfloor.