This plug maintains a leveraged loop of wstETH collateral against USDC debt on the Aave market at 0x2f39d218133afab8f2b819b1066c7e434ad94e9e. It reads the exited_loop flag, wstETH and USDC reserve data, and the socket's account data, prices, and liquidation LTV. It runs only while the loop is open, repaying all debt and withdrawing all collateral once the USDC borrow rate reaches 0.055, and otherwise steering debt to the liquidation ceiling divided by 1.2. Rebalancing by hand or on a stale rate risks liquidation or holding debt at an unfavorable rate.

• 
  Read stored value of

  exited_loopexited_loop

  in

  plug storageplug storage

  Reads a stored value from the socket's persistent storage by key.Reads a stored value from the socket's persistent storage by key.
• 
  Is

  exited_loopexited_loop

  is equal tois equal to

  11

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

  comparisonResultcomparisonResult

  equal toequal to

  falsefalse

  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.
• 
  Get asset data of

  

  wstETHwstETH

  in

  

  EthereumEthereum

  Reads an Aave reserve's live rates and token addresses, with supply and borrow APYs.Reads an Aave reserve's live rates and token addresses, with supply and borrow APYs.
• 
  Get asset data of

  

  USDCUSDC

  in

  

  EthereumEthereum

  Reads an Aave reserve's live rates and token addresses, with supply and borrow APYs.Reads an Aave reserve's live rates and token addresses, with supply and borrow APYs.
• 
  Is

  currentVariableBorrowRatecurrentVariableBorrowRate

  is greater than or equal tois greater than or equal to

  0.0550.055

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

  comparisonResultcomparisonResult

  isis

  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.
• 
  Get balance of

  variableDebtTokenAddressvariableDebtTokenAddress

  held by

  

  0x4844...3a880x4844...3a88

  Reads a token balance held by an address, native or ERC-20.Reads a token balance held by an address, native or ERC-20.
• 
  Set

  vUSDC_debt_balancevUSDC_debt_balance

  to

  balancebalance

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Get balance of

  aTokenAddressaTokenAddress

  held by

  0x4844...3a880x4844...3a88

  Reads a token balance held by an address, native or ERC-20.Reads a token balance held by an address, native or ERC-20.
• 
  Set

  awstETH_supply_balanceawstETH_supply_balance

  to

  balancebalance

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

  vUSDC_debt_balancevUSDC_debt_balance

  greater thangreater than

  00

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

  comparisonResultcomparisonResult

  isis

  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.
• 
  Set stored value of

  exited_loopexited_loop

  in

  plug storageplug storage

  to

  11

  Writes a value to the socket's persistent storage under a scope and key.Writes a value to the socket's persistent storage under a scope and key.
• 
  Repay

  vUSDC_debt_balancevUSDC_debt_balance

  

  USDCUSDC

  to

  

  EthereumEthereum

  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

  awstETH_supply_balanceawstETH_supply_balance

  

  wstETHwstETH

  from

  

  EthereumEthereum

  Withdraws a supplied asset from an Aave market back to the socket.Withdraws a supplied asset from an Aave market back to the socket.
• 
  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.
• 
  Else

  Opens the else branch of a conditional.Opens the else branch of a conditional.
• 
  Get balance of

  aTokenAddressaTokenAddress

  held by

  

  0x4844...3a880x4844...3a88

  Reads a token balance held by an address, native or ERC-20.Reads a token balance held by an address, native or ERC-20.
• 
  Is

  balancebalance

  is equal tois equal to

  00

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

  comparisonResultcomparisonResult

  isis

  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.
• 
  Supply

  33

  

  wstETHwstETH

  to

  

  EthereumEthereum

  Supplies an asset to an Aave market, minting aTokens to the wallet.Supplies an asset to an Aave market, minting aTokens to the wallet.
• 
  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.
• 
  Get

  Your SocketYour Socket

  data in

  

  EthereumEthereum

  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

  

  wstETHwstETH

  in

  

  EthereumEthereum

  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

  

  wstETHwstETH

  in

  

  EthereumEthereum

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

  reserveLiquidationLTVreserveLiquidationLTV

  basis pointsbasis points

  of

  accountTotalCollateralaccountTotalCollateral

  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

  proportionproportion

  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

  1.21.2

  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

  calculationcalculation

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

  accountTotalDebtaccountTotalDebt

  is greater thanis greater 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

  comparisonResultcomparisonResult

  isis

  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

  accountTotalDebtaccountTotalDebt

  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

  calculationcalculation

  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

  priceprice

  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

  calculationcalculation

  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

  

  USDCUSDC

  to

  

  EthereumEthereum

  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

  

  wstETHwstETH

  from

  

  EthereumEthereum

  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

  accountTotalDebtaccountTotalDebt

  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

  calculationcalculation

  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

  priceprice

  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

  calculationcalculation

  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

  

  wstETHwstETH

  to

  

  EthereumEthereum

  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

  

  USDCUSDC

  from

  

  EthereumEthereum

  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.
• 
  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.