This plug manages a WETH/USDC leverage loop on Aave in the Ethereum market at 0x2f39d218133afab8f2b819b1066c7e434ad94e9e by composing three sub-plugs that supply, maintain a target health factor, and enforce a stop loss. It reads the WETH and USDC reserve data and the position held at 0x484428507A212cA56D71baa27Ca6089a6dB63a88. It runs only when the exited_weth/usdc_swarm flag equals false, opening the position when no aToken is held and unwinding on the stop loss trigger. Managing this by hand across supply, rebalance, and exit risks acting on stale rates or a closed position.

• 
  Read global flag

  exited_weth/usdc_swarmexited_weth/usdc_swarm

  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_swarmexited_weth/usdc_swarm

  is equal tois equal 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 aTokenWETH 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.
• 
  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.
• 
  Use

  Supply if aToken Balance is 0Supply if aToken Balance is 0

  where

  supply_tokenis

  

  WETHWETH

  aave_marketis

  

  EthereumEthereum

  holder_walletis

  

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

  supply_amountis

  55

  Composes another plug inside this one.Composes another plug inside this one.
• 
  Use

  Wind or Unwind to Maintain Target HFWind or Unwind to Maintain Target HF

  where

  aave_marketis

  

  EthereumEthereum

  supply_tokenis

  

  WETHWETH

  target_health_factoris

  1.51.5

  borrow_tokenis

  

  USDCUSDC

  Composes another plug inside this one.Composes another plug inside this one.
• 
  Use

  Stop LossStop Loss

  where

  supply_tokenis

  

  WETHWETH

  aave_marketis

  

  EthereumEthereum

  holder_walletis

  

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

  stop_loss_priceis

  14001400

  global_flag_keyis

  exited_weth/usdc_swarmexited_weth/usdc_swarm

  borrow_tokenis

  

  USDCUSDC

  Composes another plug inside this one.Composes another plug inside this one.