T22 · Lending Protocol

坏账发生的条件：

    抵押品在「清算延迟」这段时间内的跌幅
                >
    清算阈值给出的缓冲 + 清算奖励占用的部分

其中：
  缓冲 = 1 - 债务 / (抵押品价值 * 清算阈值)      ← 你能设计的部分
  清算延迟 = 发现 + 决策 + 资金准备 + 打包上链    ← 你控制不了的部分

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

// 所有比例用万分之一为单位（bps），避免浮点
uint256 constant BPS = 10_000;

struct Account {
    uint256 collateral;   // 抵押品数量
    uint256 debt;         // 债务本金（已按指数累计过利息）
}

/// 健康度大于等于 1 表示安全，小于 1 表示可被清算
/// 返回值同样放大 BPS 倍：10_000 就是 1.0
function healthFactor(
    uint256 collateral,
    uint256 price,              // 抵押品单价
    uint256 liquidationLtv,     // 清算阈值，bps，典型区间在 7000–8500，且每个资产可单独配置
    uint256 debt
) pure returns (uint256) {
    if (debt == 0) return type(uint256).max;
    uint256 adjusted = collateral * price * liquidationLtv / BPS;
    return adjusted * BPS / debt;
}

/// 利用率 = 借出总额 / 存入总额
function utilization(uint256 borrowed, uint256 supplied) pure returns (uint256) {
    if (supplied == 0) return 0;
    return borrowed * BPS / supplied;
}

/// 拐点之前平缓，拐点之后陡峭
function borrowRate(
    uint256 u,           // 利用率，bps
    uint256 base,        // 基础利率
    uint256 slope1,      // 拐点之前的斜率
    uint256 slope2,      // 拐点之后的斜率，通常比 slope1 大一个数量级
    uint256 kink         // 拐点，典型区间在 8000–9000 bps，可配置
) pure returns (uint256) {
    if (u <= kink) {
        return base + u * slope1 / kink;
    }
    uint256 excess = u - kink;
    return base + slope1 + excess * slope2 / (BPS - kink);
}

error NotLiquidatable(uint256 health);
error TooMuchDebt();

function liquidate(
    address user,
    uint256 repayAmount        // 清算人替他还多少债
) external {
    Account storage a = accounts[user];
    _accrueInterest(user);

    uint256 price = priceGuard.readPrice();          // T21 的四个检查在这里面
    uint256 health = healthFactor(a.collateral, price, liquidationLtv, a.debt);
    if (health >= BPS) revert NotLiquidatable(health);

    // 单次最多能还掉多少：closeFactor 典型区间 5000 bps 上下，可配置
    uint256 maxRepay = a.debt * closeFactor / BPS;
    if (repayAmount > maxRepay) revert TooMuchDebt();

    // 清算人拿走的抵押品 = 等值部分 + 奖励
    uint256 seized = repayAmount * BPS / price;
    seized = seized * (BPS + liquidationBonus) / BPS;

    // 抵押品不够了：这就是坏账的诞生现场
    if (seized > a.collateral) {
        seized = a.collateral;
        // 剩余债务无人偿还，必须记账，不能悄悄抹掉
        _recordBadDebt(user, a.debt - repayAmount);
    }

    a.debt -= repayAmount;
    a.collateral -= seized;

    _pullDebtToken(msg.sender, repayAmount);
    _pushCollateral(msg.sender, seized);
}