T22 · レンディングプロトコル

不良債務の条件：

    清算遅延中の担保下落
                >
    清算閾値の余裕と、報酬が使う部分

余裕 = 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,     // 清算閾値。通常 7000–8500 bps、資産別設定
    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);
}