Lending withdrawals: separate solvency from access
Withdrawal capacity and solvency are different research questions. A lending reserve can have claims on borrowers while holding little immediately transferable cash. An individual account can also face collateral constraints even when the reserve has available liquidity. Diagnose the actual restriction before calling a failed withdrawal either insolvency or a harmless interface problem.
Aave’s V3 Pool reference describes withdrawal behavior and account health constraints. These are version-specific mechanics. Use the deployed market’s current configuration and account state instead of assuming that every lending system shares the same limits.
Separate three boundaries
First identify the asset quantity the account owns under the protocol’s accounting. Second determine the reserve’s relevant available liquidity in the same units. Third inspect account-specific eligibility and operational conditions. A wallet’s displayed supplied balance is only one input, not a promise of immediate withdrawal of that entire amount.
Do not use protocol-wide TVL as cash. That total may include loans outstanding, multiple assets and accounting representations. Likewise, a treasury balance may sit outside the withdrawal mechanism. Trace the asset and contract actually responsible for delivery rather than substituting a larger headline balance.
Record whether an observation is a read-only limit, a simulation, a failed transaction or a completed withdrawal. These evidence types are not interchangeable. A failed transaction includes a specific amount and state; it does not automatically establish that every smaller request would fail.
Hypothetical competing constraints
Assume a fictional account has a 100-unit supply claim. The reserve has 60 units of cash available under a simplified model, while the account’s collateral condition permits withdrawal of only 25. In that moment the account constraint is tighter than the cash quantity.
After an independently verified change in the account’s obligations, suppose its eligibility limit rises to 80 while reserve cash stays at 60. Now liquidity becomes the tighter boundary. The displayed 100-unit claim did not change, but immediate access conditions did. These figures describe a hypothetical diagnostic, not an instruction for managing a position.
A further operational pause could make the allowed amount zero even with cash and eligibility otherwise sufficient. Investigate the relevant configuration rather than inferring a pause merely because a request failed. The same symptom can have several causes, so preserve error evidence and the observation block.
Withdrawal-constraint worksheet
| Layer | Evidence to retain |
|---|---|
| Account claim | Asset units and accounting method |
| Reserve liquidity | Relevant immediately deliverable quantity |
| Account eligibility | Collateral or other applicable conditions |
| Operational state | Active restrictions in the actual implementation |
| Requested action | Amount, destination and relevant method |
| Observed outcome | Limit, simulation or transaction result |
In the simplified example, the bound is the minimum of compatible claim, cash and account limit, provided no additional restriction applies. This is a diagnostic illustration, not a complete implementation formula. Fees, rounding, asynchronous requests or other mechanics can require a different model.
Explain what remains unknown
Low cash alone does not establish that borrower claims are unrecoverable. Conversely, a positive book value does not establish immediate access. Solvency analysis needs evidence about recoverability and liabilities; access analysis needs evidence about current delivery conditions. Keep both conclusions visible rather than forcing a binary healthy-or-failed label.
For repeated incidents, compare like observations and avoid selection bias from only recording failed requests. The final memo should identify the limiting layer, compatible quantities and unresolved causes. It should not claim a protocol-wide outcome from one account or imply that a currently permitted amount is guaranteed to remain available.
FAQ
Does high TVL prove withdrawals are immediately available?
No. TVL can include assets and claims that are not current cash for the relevant reserve.
Does a failed withdrawal prove insolvency?
No. Inspect account eligibility, reserve liquidity, operational restrictions and the specific failure before assigning a cause.