This plug manages a leveraged wstETH-collateral USDC-borrow loop on Aave in the market at 0x2f39d218133afab8f2b819b1066c7e434ad94e9e. It reads the exited_loop flag from plug storage and the socket's balances, requiring the loop to still be open. When the USDC borrow rate reaches 0.055, it repays the full vUSDC debt, withdraws all wstETH, and marks the loop exited; otherwise it rebalances debt to the liquidation LTV ceiling divided by 1.2. Running this by hand or on a stale borrow rate risks over-borrowing toward liquidation or missing the rate exit.

• 
  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

  USDC tokenUSDC token

  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

  vUSDC debt balancevUSDC debt balance

  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

  wstETH aTokenwstETH aToken

  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

  awstETH supply balanceawstETH supply balance

  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

  vUSDC debt balance above 0vUSDC debt balance above 0

  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

  wstETH aTokenwstETH aToken

  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

  wstETH liquidation LTVwstETH liquidation LTV

  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

  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

  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

  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

  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

  repay amountrepay amount

  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

  withdraw amountwithdraw amount

  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

  borrow amountborrow amount

  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

  supply amountsupply amount

  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.