This plug closes a leveraged Pendle PT position on a matured Morpho market and rebuilds it on a later-maturity market. It asks the caller for the expiring Pendle market and lets the solver supply the source Morpho id, destination Pendle market, and destination Morpho id. It fires only after the named market passes expiry, when your debt exceeds 0, and both destination markets pass V6 factory and Chainlink oracle provenance checks. Running it manually risks repaying, redeeming, and re-borrowing across mismatched markets or an unverified oracle.

• 
  Get expiry of

  marketmarket

  Reads the expiry timestamp of a Pendle market.Reads the expiry timestamp of a Pendle market.
• 
  Get current timestamp

  Returns the current block timestamp as Unix seconds.Returns the current block timestamp as Unix seconds.
• 
  requirerequire

  currentTimestampcurrentTimestamp

  greater than or equal togreater than or equal to

  expiryexpiry

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

  marketmarket

  Reads the SY, PT, and YT token addresses of a Pendle market.Reads the SY, PT, and YT token addresses of a Pendle market.
• 
  Expect

  a 32-byte keya 32-byte key

  Leave a typed hole the solver fills at execution time: an address, a 32-byte key, or a number that may not exist yet when you sign.Leave a typed hole the solver fills at execution time: an address, a 32-byte key, or a number that may not exist yet when you sign.
• 
  Get market parameters of

  a marketa market

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

  collateralTokencollateralToken

  is equal tois equal to

  PTPT

  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

  Your WalletYour Wallet

  data in

  a marketa market

  of

  loanTokenloanToken

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

  accountCollateralaccountCollateral

  greater thangreater than

  00

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

  an addressan address

  Leave a typed hole the solver fills at execution time: an address, a 32-byte key, or a number that may not exist yet when you sign.Leave a typed hole the solver fills at execution time: an address, a 32-byte key, or a number that may not exist yet when you sign.
• 
  Is

  an addressan address

  a valid

  V6 factoryV6 factory

  market

  Asks a Pendle market factory whether it deployed a given market.Asks a Pendle market factory whether it deployed a given market.
• 
  requirerequire

  isValidMarketisValidMarket

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

  an addressan address

  Reads the SY, PT, and YT token addresses of a Pendle market.Reads the SY, PT, and YT token addresses of a Pendle market.
• 
  requirerequire

  SYSY

  is equal tois equal to

  SYSY

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

  an addressan address

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

  expiryexpiry

  greater thangreater than

  expiryexpiry

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

  a 32-byte keya 32-byte key

  Leave a typed hole the solver fills at execution time: an address, a 32-byte key, or a number that may not exist yet when you sign.Leave a typed hole the solver fills at execution time: an address, a 32-byte key, or a number that may not exist yet when you sign.
• 
  Get market parameters of

  a marketa market

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

  collateralTokencollateralToken

  is equal tois equal to

  PTPT

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

  loanTokenloanToken

  is equal tois equal to

  loanTokenloanToken

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

  oracleoracle

  a Morpho Chainlink oracle

  Asks the Morpho Chainlink oracle factory whether it deployed a given oracle.Asks the Morpho Chainlink oracle factory whether it deployed a given oracle.
• 
  requirerequire

  isMorphoChainlinkOracleV2isMorphoChainlinkOracleV2

  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 the feeds of

  oracleoracle

  Reads the composition of a Morpho Chainlink oracle: its two base feeds, two quote feeds, and the base and quote vaults.Reads the composition of a Morpho Chainlink oracle: its two base feeds, two quote feeds, and the base and quote vaults.
• 
  Get the

  durationduration

  second TWAP

  PT to assetPT to asset

  oracle for

  an addressan address

  Looks up the Chainlink-compatible oracle Pendle's oracle factory deployed for a market, TWAP window, and oracle type.Looks up the Chainlink-compatible oracle Pendle's oracle factory deployed for a market, TWAP window, and oracle type.
• 
  requirerequire

  base_feed_1base_feed_1

  is equal tois equal to

  oracleoracle

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

  borrowAssetsborrowAssets

  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

  borrowAssetsborrowAssets

  loanTokenloanToken

  to

  a marketa market

  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

  accountCollateralaccountCollateral

  PTPT

  collateral from

  a marketa market

  Withdraws collateral from a Morpho Blue market back to the socket.Withdraws collateral from a Morpho Blue market back to the socket.
• 
  Redeem

  accountCollateralaccountCollateral

  PTPT

  in

  marketmarket

  for

  SYSY

  Redeems a Pendle position for SY, or through the SY into its accounting asset.Redeems a Pendle position for SY, or through the SY into its accounting asset.
• 
  Buy

  PTPT

  with

  netSyOutnetSyOut

  SYSY

  on

  an addressan address

  for at least

  min_outmin_out

  Swaps SY for a Pendle market's PT or YT through the router.Swaps SY for a Pendle market's PT or YT through the router.
• 
  Supply

  netOutnetOut

  PTPT

  as collateral to

  a marketa market

  Supplies an asset as collateral to a Morpho Blue market.Supplies an asset as collateral to a Morpho Blue market.
• 
  Borrow

  owedowed

  loanTokenloanToken

  from

  a marketa market

  Borrows the loan asset from a Morpho Blue market against your supplied collateral.Borrows the loan asset from a Morpho Blue market against your supplied collateral.
• 
  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.