This plug repays a caller's USDC debt in a 91.5% LLTV Morpho Blue market and withdraws the matured PT collateral of the Pendle USDat-27AUG2026 market. It asks the caller to name that expiring Pendle market and supply the source Morpho market and solver routing. It fires only after the named market has matured and while an open borrow exists. Repaying and unwinding by hand, or routing on a stale oracle price, risks leaving the flash loan uncovered and reverting the transaction.

• 
  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

  Your WalletYour Wallet

  data in

  

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

  of

  

  USDCUSDC

  Reads an address's position in a Morpho Blue market: shares, collateral, debt, and health factor.Reads an address's 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.