清算引擎：压力下的抵押品缓冲
计算健康度指标，跟踪部分清算，并测试理论缓冲能否承受执行成本。
按规则监测偿付能力
抵押借贷系统需要在抵押品相对债务不足时作出反应。Aave 的教育材料描述了基于抵押品价值、加权清算阈值与债务价值的健康因子。不同协议的确切规则与部署版本不同，因此本课使用明确的假设参数，而不是声称存在一种通用机制。
初始借款限额与清算门槛不一定相同。某个仓位可能已无法继续借款，却仍不会立即被清算。反之，健康比率仅略高于触发点时，留给利息累积、价格变动或参数调整的空间可能很小。门槛是规则中的边界，不是建议的运营目标。
用正确单位计算缓冲
对于单一抵押资产，简化健康比率为抵押品价值乘以清算阈值，再除以债务价值。抵押品为 $10,000、阈值为 75%、债务为 $5,000 时，比率为 1.50。如果债务和参数不变，抵押品价值为 $6,666.67 时，比率降至 1.00。这相当于较初始价值下降约 33.33%。
简化条件很重要。利息随时间增加债务；借入的代币可能变价；治理可能调整阈值；抵押品估值可能使用特定预言机，而不是屏幕上的最近价格。因此，算出的价格缓冲是情景结果，而非保证仓位在达到该市场变动之前不会被清算。
在清算过程中追踪资产与债务
在简化的部分清算中，外部参与者偿还部分债务，并获得附带激励的抵押品。借款人资产负债表两侧都缩小，但其权益还要承担激励成本。Gas、流动性和价格风险会影响清算人是否认为操作值得。不同实现可能限制偿还规模或采用不同激励，因此研究真实协议必须参考最新文档。
假设抵押品为 $6,400，债务为 $5,000，阈值为 75%。健康比率为 0.96。某假设清算人偿还 $2,000，并获得 $2,100 抵押品，其中包括 5% 激励。剩余抵押品为 $4,300，债务为 $3,000，比率变为 1.075。在其他影响之前，$100 激励使权益从 $1,400 降至 $1,300。
对市场深度与拥堵进行压力测试
预言机价值未必等于出售抵押品实际能获得的现金。如果多个仓位同时清算，相互竞争的卖出可能压低价格。网络拥堵可能增加交易费用或延迟交易被纳入区块。理论上的激励可能不再足以覆盖实际执行及处置抵押品的成本。
在压力测试表中，同时改变抵押品价格、债务价格、可用市场深度和交易成本。不要假定各项条件独立且有利，例如价格大幅冲击但流动性保持不变。还应区分借款人损失与协议坏账：借款人可能损失抵押品，但系统仍有足够保障；而缺口足够严重时，抵押品耗尽后系统可能留下无法收回的债务。
监测仓位的整个生命周期
仪表板比率只是一个观察值。应记录更新频率、使用哪个预言机、是否包含利息，以及哪些资产可用于偿还。在别处有资金，并不等于在所需时间、所需链上备有正确的债务资产。
在教学模拟中，测试计划调整失败或延迟的情况。如果还款交易回滚、跨链桥暂停或网络费用变高，会怎样？这种练习揭示操作假设，而不规定某一杠杆水平。合理的分析应以模型在什么条件下失效收尾，而不只是展示每个环节按时运作的有利情景。
对于混合抵押品账户，应先计算各资产按清算阈值加权后的贡献，再求和。将最宽松的阈值应用于全部余额，可能高估保护程度。一个组合中，$5,000 按 80% 阈值计算，另有 $5,000 按 60% 计算，贡献的调整后抵押品为 $7,000，而非 $8,000。相关的价格下跌可能同时减少多项贡献，因此仅凭抵押代币的数量，无法证明实现了分散化。
价格没变，抵押规则变化也会缩小缓冲
假设抵押品价值36,000欧元，债务21,600欧元，清算阈值为80%，简化健康因子为36,000 × 0.80 ÷ 21,600 ≈ 1.33。若阈值降至70%，则变为约1.17，即使市场价格完全不变，安全缓冲也已减小。这是参数变化的风险，而非价格变动。
实际计算可能涉及多种抵押品、不同权重、累计利息和特殊模式。本例只帮助分离变量，不描述所有协议的统一规则。应核查具体部署版本如何估值、如何计算债务，以及参数调整何时生效，不能只凭一个界面比率判断。
先分别测试价格、债务与阈值变化，再组合成同一个压力情景。多个输入同时略微恶化，可能显著压缩余量。记录哪些假设保持不变，才能知道结果是某一因素造成，还是多个因素叠加，而不是把所有影响都归于价格。
触发清算，不等于能够按估值卖出
清算参与者还需要提交交易、取得抵押品，并能够在经济上完成后续处置。网络拥堵、市场深度不足和集中发生的强制卖出，都可能使执行成本高于平时。规则允许清算，只是流程开始的条件，不是销售收入已经实现。
从价格更新、条件触发、抵押品转移到可能的市场出售，逐步画出执行链。每一步需要多长时间、哪些资源，以及谁愿意承担成本？账面抵押价值并不必然等于快速出售可收到的金额，尤其是在许多仓位同时需要处理时。
分别回答两个问题：仓位何时具备被清算的条件，以及清算执行后还剩多少价值？第一个计算正确，不保证第二个结果确定。利息、惩罚、费用和实际成交价格都会改变最终损失，因此简化健康因子不应被当作完整的亏损预测。