借贷提款限制：分开偿付能力与可访问性

提款能力与偿付能力是不同研究问题。借贷储备可能拥有借款人债权，却缺少立即可转现金；储备有现金，个人账户也可能因抵押条件受限。把失败提款叫资不抵债或普通界面故障之前，先诊断实际限制。

Aave V3 Pool参考说明提款行为与账户健康限制，但这些是特定版本机制。实际研究应核对部署市场的当前配置和账户状态，不能假设每种借贷系统限额相同。

分开三条边界

第一，确认账户按协议记账拥有多少资产权利；第二，确认储备按同一单位有多少相关可用流动性；第三，检查账户资格与运营状态。钱包显示的已存余额只是一个输入，不是全额即时提款承诺。

全协议TVL不能代替现金，其中可能包含未偿贷款、多种资产和记账表示。金库余额也可能不在提款机制内。应追踪真正负责交付的资产与合约，不能为了判断安心而代入一个更大的标题余额。

说明观察是只读上限、模拟结果、失败交易还是成功提款。这些证据不能互换。失败交易有具体金额和状态，不自动证明所有更小请求都会失败；模拟成功也不是后来交易已到账。

假设虚构账户拥有一百单位供应权利，简化储备中有六十单位可用现金，但账户抵押条件只允许提出二十五。此时个人条件比现金更紧，不能把只能提二十五全归因于储备缺现金。

之后账户义务发生独立核验的变化，资格上限升至八十，储备现金仍为六十。这时流动性成为更紧边界。显示的一百单位权利没变，即时访问条件却变了。这些是假设诊断数字，不是管理头寸建议。

如果另有实际生效的运营暂停，即使现金和资格满足，允许量也可能为零。但不能仅因失败就推断暂停，要核对相关配置。同一症状可以有多个原因，应保留错误资料与观察区块。

在简化例子中，没有其他限制时，边界可看作相容账户权利、现金和个人限额的最小值。这只是诊断示意，不是完整部署公式。费用、舍入、异步请求或其他机制可能要求不同模型，不能用一个最小值替代实际规则。

现金少，不单独证明借款债权不可回收；账面价值为正，也不证明即时可访问。偿付能力需要回收与负债证据，访问能力需要当前交付条件证据。应让两项结论并存，而不是硬压成“健康”或“失败”二选一标签。

研究多次事件时，保持观察相容，避免只记录失败请求的选择偏差。最终备忘录说明限制层、相容数量与未解决原因，不从一个账户推出全协议结果，也不保证今天可提数量未来始终可用。

若只能取得界面报错，可以如实报告报错和请求条件，并列出需要的储备、账户和配置核对。不要把缺少底层证据变成一个确定原因。定位问题所在层，本身就是有用的研究产出。

不能。TVL可能包含不是目标储备当前现金的资产与债权。