The collateral is 418.26 mixUSDC, shares in the mixUSDC vault. At a share price of 1.0008 USDC they are worth 418.59 USDC, or $418.59 at USDC’s $1.

A fall of 5.3% in the vault’s share price would take collateralisation from 111.1% to the liquidation line at 105.3%.

376.69 alUSDb of the debt is set aside for repayment. Line redemptions clear it, and at this share price clearing all of it takes 376.39 mixUSDC from the collateral, plus 0.38 mixUSDC for the line’s 0.1% redemption fee.

Set-aside grows block by block between readings, and an event card’s before figure is the reading at the previous card’s block, so a card’s set-aside move includes what built up in between.