This plug rebalances an Aave position toward a debt target set at the liquidation ceiling divided by a caller supplied health factor divisor. It asks the caller for the Aave market, the supply_token collateral, the target_health_factor divisor, and the borrow_token debt asset. When current debt exceeds target it repays borrow_token and withdraws supply_token; otherwise it supplies supply_token and borrows borrow_token to lever up. Sizing this by hand or against a stale oracle price can misjudge the ceiling and push the position toward liquidation.

• 
  Get

  Your SocketYour Socket

  data in

  aave_marketaave_market

  Reads an address's overall position in an Aave market: collateral, debt, borrow capacity, and health factor.Reads an address's overall position in an Aave market: collateral, debt, borrow capacity, and health factor.
• 
  Get price of

  supply_tokensupply_token

  in

  aave_marketaave_market

  Reads the price the market's own oracle assigns to an asset.Reads the price the market's own oracle assigns to an asset.
• 
  Get liquidation LTV of

  supply_tokensupply_token

  in

  aave_marketaave_market

  Reads the liquidation threshold of an asset in an Aave market.Reads the liquidation threshold of an asset in an Aave market.
• 
  Calculate

  liquidation LTVliquidation LTV

  basis pointsbasis points

  of

  your collateral in USDyour collateral in USD

  Calculates a proportion of a value using percent, basis points, WAD, or RAY units.Calculates a proportion of a value using percent, basis points, WAD, or RAY units.
• 
  Set

  max_debt_before_liquidationmax_debt_before_liquidation

  to

  max debt before liquidationmax debt before liquidation

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Calculate

  max_debt_before_liquidationmax_debt_before_liquidation

  divided bydivided by

  target_health_factortarget_health_factor

  Applies a binary arithmetic operation to two values and returns the result.Applies a binary arithmetic operation to two values and returns the result.
• 
  Set

  target_debttarget_debt

  to

  target debttarget debt

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Is

  your debt in USDyour debt in USD

  greater thangreater than

  target_debttarget_debt

  Compares two values with a chosen operator and returns a boolean.Compares two values with a chosen operator and returns a boolean.
• 
  ifif

  debt over targetdebt over target

  is equal tois equal to

  truetrue

  Steers control flow by comparing two values: branch, loop, or require the condition holds.Steers control flow by comparing two values: branch, loop, or require the condition holds.
• 
  Calculate

  your debt in USDyour debt in USD

  minusminus

  target_debttarget_debt

  Applies a binary arithmetic operation to two values and returns the result.Applies a binary arithmetic operation to two values and returns the result.
• 
  Set

  repay_amountrepay_amount

  to

  repay amount in USDrepay amount in USD

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Calculate

  repay_amountrepay_amount

  divided bydivided by

  supply token pricesupply token price

  Applies a binary arithmetic operation to two values and returns the result.Applies a binary arithmetic operation to two values and returns the result.
• 
  Set

  withdraw_amountwithdraw_amount

  to

  repay amount in tokensrepay amount in tokens

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Repay

  repay_amountrepay_amount

  borrow_tokenborrow_token

  to

  aave_marketaave_market

  Repays borrowed assets to an Aave market from the socket's balance.Repays borrowed assets to an Aave market from the socket's balance.
• 
  Withdraw

  withdraw_amountwithdraw_amount

  supply_tokensupply_token

  from

  aave_marketaave_market

  Withdraws a supplied asset from an Aave market back to the socket.Withdraws a supplied asset from an Aave market back to the socket.
• 
  Else

  Opens the else branch of a conditional.Opens the else branch of a conditional.
• 
  Calculate

  target_debttarget_debt

  minusminus

  your debt in USDyour debt in USD

  Applies a binary arithmetic operation to two values and returns the result.Applies a binary arithmetic operation to two values and returns the result.
• 
  Set

  borrow_amountborrow_amount

  to

  borrow amount in USDborrow amount in USD

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Calculate

  borrow_amountborrow_amount

  divided bydivided by

  supply token pricesupply token price

  Applies a binary arithmetic operation to two values and returns the result.Applies a binary arithmetic operation to two values and returns the result.
• 
  Set

  supply_amountsupply_amount

  to

  borrow amount in tokensborrow amount in tokens

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Supply

  supply_amountsupply_amount

  supply_tokensupply_token

  to

  aave_marketaave_market

  Supplies an asset to an Aave market, minting aTokens to the wallet.Supplies an asset to an Aave market, minting aTokens to the wallet.
• 
  Borrow

  borrow_amountborrow_amount

  borrow_tokenborrow_token

  from

  aave_marketaave_market

  Borrows an asset from an Aave market against collateral you have supplied.Borrows an asset from an Aave market against collateral you have supplied.
• 
  End block

  Closes the innermost open block, whether a conditional branch or a loop.Closes the innermost open block, whether a conditional branch or a loop.