This plug closes a WETH/USDC leveraged loop on the Aave market at 0x2f39d218133afab8f2b819b1066c7e434ad94e9e by repaying outstanding USDC debt and withdrawing WETH collateral. It reads the exited_weth/usdc_loop flag, the aWETH supply balance, the USDC debt balance, and the WETH oracle price. It fires only when the loop is not yet exited, a supply position exists, and the WETH price is at or below 2000. Watching this by hand or acting on a stale price risks unwinding late or against an already closed position.

• 
  Read global flag

  exited_weth/usdc_loopexited_weth/usdc_loop

  Reads a boolean flag from the socket's global storage by key.Reads a boolean flag from the socket's global storage by key.
• 
  requirerequire

  exited_weth/usdc_loopexited_weth/usdc_loop

  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

  

  WETHWETH

  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 balance of

  WETH tokenWETH 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

  aWETH_supply_balanceaWETH_supply_balance

  to

  aWETH supply balanceaWETH 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

  aWETH_supply_balanceaWETH_supply_balance

  equal toequal to

  00

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

  aWETH balance equals 0aWETH balance equals 0

  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 price of

  

  WETHWETH

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

  priceprice

  less than or equal toless than or equal to

  20002000

  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 global flag

  exited_weth/usdc_loopexited_weth/usdc_loop

  to

  truetrue

  Writes a boolean flag to the socket's global storage under a key.Writes a boolean flag to the socket's global storage under a key.
• 
  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.
• 
  Get balance of

  USDC debt tokenUSDC debt 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.
• 
  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

  aWETH_supply_balanceaWETH_supply_balance

  

  WETHWETH

  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.