Interface Trove

A live Trove position. Every numeric field except liquidationPrice and healthFactor comes straight from a contract getter, correct by construction. The two derived fields are thin transforms of those authoritative values (see docs/05-math-and-hints.md §4), proven against computeCR.

interface Trove {
    blockNumber: bigint;
    collateral: bigint;
    entireDebt: bigint;
    exists: boolean;
    healthFactor: number;
    icr: bigint;
    interestOwed: bigint;
    interestRate: number;
    isLiquidatable: boolean;
    liquidationPrice: bigint;
    nominalICR: bigint;
    price: bigint;
    principal: bigint;
    status: TroveStatus;
}

Properties

blockNumber collateral entireDebt exists healthFactor icr interestOwed interestRate isLiquidatable liquidationPrice nominalICR price principal status

Properties

blockNumber

blockNumber: bigint

The block every field here was read at. Both multicalls are pinned to it, so icr and price cannot come from different states (MK-013).

collateral

collateral: bigint

Entire collateral incl. pending redistribution, getEntireDebtAndColl.coll (BTC wei).

entireDebt

entireDebt: bigint

Live entire debt = principal + interest from getEntireDebtAndColl (the value ICR uses).

exists

exists: boolean

True only for an active position with debt.

healthFactor

healthFactor: number

Derived: icr / MCR as a number (1.0 at MCR).

icr

icr: bigint

getCurrentICR(address, price), 1e18 fixed point.

interestOwed

interestOwed: bigint

Interest accrued to NOW, getEntireDebtAndColl.interest (NOT getTroveInterestOwed, which is the stale stored value; C3).

interestRate

interestRate: number

The fixed rate locked at open, in basis points, getTroveInterestRate.

isLiquidatable

isLiquidatable: boolean

icr < MCR, the protocol's ONLY liquidation gate (TroveManager.sol:1148). There is no Recovery Mode widening: TroveManager.sol contains no reference to CCR. Always equal to isLiquidatable(address); a fork test pins that the two agree (MK-001).

liquidationPrice

liquidationPrice: bigint

Derived: BTC/USD price at which ICR hits MCR = (MCR × entireDebt) / collateral.

nominalICR

nominalICR: bigint

getNominalICR(address).

price

price: bigint

fetchPrice() at blockNumber, the price icr was measured against.

principal

principal: bigint

Principal component of the debt (draw + fee + 200 gas reserve, + any pending), excl. interest, getEntireDebtAndColl.principal.

status

status: TroveStatus

getTroveStatus.

Settings

Member Visibility

On This Page

Properties