This plug closes a leveraged Pendle PT position on the 91.5% LLTV Morpho market by flash-loaning the loan-token debt, repaying it, withdrawing collateral, and routing that collateral through a solver to cover the flash loan. It asks the caller for the expiring Pendle market USDat-27AUG2026 and confirms an existing position with collateral above zero. It fires only after that market's expiry timestamp is in the past. Doing it manually risks a repayment or routing amount that leaves the flash loan unrepaid.

• 
  Get expiry of

  

  USDat-27AUG2026USDat-27AUG2026

  Reads the expiry timestamp of a Pendle market.Reads the expiry timestamp of a Pendle market.
• 
  Is

  expiryexpiry

  in the

  pastpast

  Checks whether a timestamp is in the past or the future relative to block time.Checks whether a timestamp is in the past or the future relative to block time.
• 
  requirerequire

  temporalResulttemporalResult

  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.
• 
  Get total supplied and borrowed in

  

  PT-USDat-27AUG2026 / USDCPT-USDat-27AUG2026 / USDC

  Reads a Morpho Blue market's totals: assets and shares supplied and borrowed.Reads a Morpho Blue market's totals: assets and shares supplied and borrowed.
• 
  Get account data in

  

  PT-USDat-27AUG2026 / USDCPT-USDat-27AUG2026 / USDC

  of

  

  USDCUSDC

  Reads your position in a Morpho Blue market: shares, collateral, debt, and health factor.Reads your position in a Morpho Blue market: shares, collateral, debt, and health factor.
• 
  Is

  accountBorrowSharesaccountBorrowShares

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

  comparisonResultcomparisonResult

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

  

  PT-USDat-27AUG2026 / USDCPT-USDat-27AUG2026 / USDC

  Reads a Morpho Blue market's immutable parameters.Reads a Morpho Blue market's immutable parameters.
• 
  Use

  Morpho: Borrow Shares to Borrow AssetsMorpho: Borrow Shares to Borrow Assets

  where

  borrow_sharesis

  accountBorrowSharesaccountBorrowShares

  total_borrow_assetsis

  totalBorrowAssetstotalBorrowAssets

  total_borrow_sharesis

  totalBorrowSharestotalBorrowShares

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

  user_borrow_assets_amountuser_borrow_assets_amount

  to

  borrow_assetsborrow_assets

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

  user_supply_assets_amountuser_supply_assets_amount

  to

  accountCollateralaccountCollateral

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

  user_borrow_assets_amountuser_borrow_assets_amount

  loanTokenloanToken

  Borrows any token the Morpho Blue singleton holds, fee-free, repaid inside this transaction.Borrows any token the Morpho Blue singleton holds, fee-free, repaid inside this transaction.
• 
  Repay

  user_borrow_assets_amountuser_borrow_assets_amount

  loanTokenloanToken

  to

  

  PT-USDat-27AUG2026 / USDCPT-USDat-27AUG2026 / USDC

  Repays loan-asset debt to a Morpho Blue market from the socket's balance.Repays loan-asset debt to a Morpho Blue market from the socket's balance.
• 
  Withdraw

  user_supply_assets_amountuser_supply_assets_amount

  collateralTokencollateralToken

  collateral from

  

  PT-USDat-27AUG2026 / USDCPT-USDat-27AUG2026 / USDC

  Withdraws collateral from a Morpho Blue market back to the socket.Withdraws collateral from a Morpho Blue market back to the socket.
• 
  Get price of

  collateralTokencollateralToken

  in

  

  PT-USDat-27AUG2026 / USDCPT-USDat-27AUG2026 / USDC

  Reads a Morpho Blue market's oracle price of its collateral in its loan asset.Reads a Morpho Blue market's oracle price of its collateral in its loan asset.
• 
  Calculate

  owedowed

  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

  collateral_needed_to_repay_flashloancollateral_needed_to_repay_flashloan

  to

  calculationcalculation

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

  The SolverThe Solver

  Holds an address as a named value that later steps reference.Holds an address as a named value that later steps reference.
• 
  Get balance of

  loanTokenloanToken

  held by

  0x581B...CD9A0x581B...CD9A

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

  collateral_needed_to_repay_flashloancollateral_needed_to_repay_flashloan

  collateralTokencollateralToken

  to

  addressaddress

  Sends a token from the socket to another address, native or ERC-20.Sends a token from the socket to another address, native or ERC-20.
• 
  Get solution

  Hands tokens already transferred to the solver over for routing, then verifies the outcome.Hands tokens already transferred to the solver over for routing, then verifies the outcome.
• 
  Get balance of

  loanTokenloanToken

  held by

  0x581B...CD9A0x581B...CD9A

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

  balancebalance

  minusminus

  balancebalance

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

  calculationcalculation

  greater than or equal togreater than or equal to

  owedowed

  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

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