@lifi/composer-sdk 0.3.0 → 0.4.0-staging.1

package/src/examples/staged/aaveDebtRebalanceExactOut.ts

@@ -0,0 +1,301 @@
+import type { ComposeCompileRequest, Flow } from '@lifi/compose-spec';
+
+import { createComposeSdk, materialisers, resources } from '../../index.js';
+import type { Address } from '../../types.js';
+import { API_KEY, BASE_URL } from '../config.js';
+
+// Base mainnet token addresses.
+const BASE_WETH = '0x4200000000000000000000000000000000000006';
+const BASE_USDC = '0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913';
+// Circle EURC on Base (6 decimals).
+const BASE_EURC = '0x60a3E35Cc302bFA44Cb288Bc5a4F316Fdb1adb42';
+
+// Token decimals for the Paraswap BUY (raw-address requests require them).
+const EURC_DECIMALS = 6;
+const USDC_DECIMALS = 6;
+
+// Aave V3 on Base: pool + WETH aToken + variable-debt tokens for the old (USDC)
+// and new (EURC) debt assets. The variable-debt token only feeds aave.borrow
+// (to read the post-borrow debt balance); aave.repay infers the asset from its
+// bound input resource. Verified live against Pool.getReserveData on Base.
+const AAVE_V3_POOL_BASE = '0xA238Dd80C259a72e81d7e4664a9801593F98d1c5';
+const A_BAS_WETH = '0xD4a0e0b9149BCee3C920d2E00b5dE09138fd8bb7';
+const VDEBT_BAS_USDC = '0x59dca05b6c26dbd64b5381374aAaC5CD05644C28';
+const VDEBT_BAS_EURC = '0x03D01595769333174036832e18fA2f17C74f8161';
+
+// Aave V3 flashloan premium (FLASHLOAN_PREMIUM_TOTAL) = 5 bps of principal.
+// Mirrors the builtins package's `computeDefaultFee('aave-v3', amount)`,
+// inlined so the example stays free of compose-internals imports (the SDK must
+// not cross the manifest boundary into the builtins package). Override if the
+// pool's premium has changed on-chain.
+const AAVE_V3_FEE_BPS = 5n;
+const BPS_DENOMINATOR = 10_000n;
+const computeAaveV3Fee = (principal: bigint): bigint =>
+  (principal * AAVE_V3_FEE_BPS) / BPS_DENOMINATOR;
+
+// Source-cap slippage on the EURC → USDC BUY, in basis points. This bounds how
+// much extra EURC Augustus may pull above the quoted source before refunding.
+// `newDebtBorrowAmount` must exceed the resulting `maxAmountIn`.
+const DEFAULT_MAX_SLIPPAGE_BPS = 100; // 1%
+
+export interface AaveDebtRebalanceExactOutInput {
+  readonly owner: Address;
+  /**
+   * WETH collateral used to seed the position (in smallest units, 18 decimals).
+   * In production the position already exists and this seed step is omitted —
+   * the collateral is never touched by the rebalance itself.
+   */
+  readonly collateralAmount: `${bigint}`;
+  /**
+   * Outstanding USDC debt to rebalance away from (6 decimals). The flashloan is
+   * sized to this; in production size it just above the live debt so the capped
+   * repay clears it after accrued interest.
+   */
+  readonly debtAmount: `${bigint}`;
+  /**
+   * EURC to borrow as the *new* debt (6 decimals). Sized as a *generous upper
+   * bound* — large enough that the exact-output BUY can always produce
+   * `debtAmount + aaveV3Fee` USDC even after `maxSlippageBps` of source slippage
+   * (i.e. `newDebtBorrowAmount > maxAmountIn`). The BUY pulls only what it needs;
+   * the unspent EURC is repaid straight back into the freshly-minted EURC debt,
+   * so the *net* new debt is the original USDC debt (in EURC terms) plus only
+   * the slippage/fee actually consumed — NOT the full upper bound.
+   * Note: EUR/USD is not 1:1 — size off a live BUY quote, e.g.
+   *   newDebtBorrowAmount ≈ ceil((debtAmount + aaveV3Fee) * eurcPerUsdc * (1 + slippage))
+   */
+  readonly newDebtBorrowAmount: `${bigint}`;
+  /** Optional source-cap slippage on the BUY, in bps (default 100 = 1%). */
+  readonly maxSlippageBps?: number;
+  /** Optional integrator label for analytics / fee capture. */
+  readonly partner?: string;
+  /** Optional fee recipient; required to actually receive a partner fee. */
+  readonly partnerAddress?: Address;
+  /** Optional fixed partner fee in bps (e.g. '50' = 0.5%); needs partnerAddress. */
+  readonly partnerFeeBps?: string;
+}
+
+/**
+ * Atomically **rebalance** (debt-swap) an Aave V3 position on Base from USDC
+ * debt into EURC debt — same protocol, same WETH collateral, only the debt
+ * *token* changes — using a native **exact-output** (Paraswap/Velora BUY) swap.
+ *
+ * This is the single-protocol "debt switch" pattern productised by Aave's
+ * `ParaSwapDebtSwapAdapter` and DeFi Saver's "Debt Switch": flashloan/borrow the
+ * new debt slightly over a cap, exact-out-swap to produce exactly the old debt
+ * owed, repay the old debt, then repay the leftover new asset back into the
+ * freshly-created new debt so lasting debt = only what was consumed. Contrast
+ * with `aaveToMorphoDebtMigrationWithSwapExactOut.ts`, which *migrates* the whole
+ * position across protocols (Aave → Morpho) and therefore needs a second
+ * flashloan to move the collateral; here the collateral never moves, so a single
+ * flashloan of the old debt token suffices.
+ *
+ * Why rebalance USDC → EURC: at the time of writing EURC's Base Aave V3 variable
+ * borrow APR (~3.87%) sits below USDC's (~4.28%), and a EUR-based borrower may
+ * also want the liability denominated in EUR to match income/assets (removing
+ * USD/EUR FX risk on the debt). The reward is the APR delta over the holding
+ * period; the cost is the Aave flashloan premium plus the realised swap
+ * slippage on the consumed notional only.
+ *
+ * Phase 1 — provision the starting position on Aave V3 (illustrative; omit in
+ * production where the position already exists):
+ * - User direct-deposits WETH.
+ * - `lifi.zap` supplies the WETH to Aave (WETH → aBasWETH routing edge).
+ * - `aave.borrow` mints the USDC debt being rebalanced; the borrowed USDC is
+ *   swept back to the signer as the user's existing loan proceeds.
+ *
+ * Phase 2 — rebalance USDC debt → EURC debt with one flashloan:
+ * - Flashloan (Aave V3, USDC) bridges the old-debt payoff before the new debt
+ *   exists.
+ * - `aave.repay(mode: 'max')` clears the USDC debt with the flashloan; Aave's
+ *   Pool clamps to the outstanding debt exactly, any cap residual is swept.
+ * - `aave.borrow` mints a *capped* (generously over-sized) `newDebtBorrowAmount`
+ *   of EURC against the same, still-supplied WETH collateral.
+ * - `paraswap.buy` buys *exactly* `debtAmount + aaveV3Fee` USDC with the borrowed
+ *   EURC, pulling only the EURC needed. `amountOut` is the exact figure that
+ *   settles the USDC flashloan leg; `unspentIn` is the refunded, unspent EURC.
+ * - `lifi.flashloanRepay` settles the USDC leg from `buy.amountOut` (no
+ *   feeBuffer: `amountOut == principal + fee` by construction).
+ * - `aave.repay(mode: 'max')` repays the unspent EURC (`buy.unspentIn`) straight
+ *   back into the freshly-minted EURC debt, unwinding the borrow buffer. Any
+ *   genuine over-repay surfaces through the repay op's `residual`, swept to the
+ *   signer.
+ *
+ * After execution the signer holds the same WETH collateral on Aave V3 with EURC
+ * debt equal to the original USDC debt (in EUR terms) plus only the consumed
+ * slippage/fee; the USDC debt is closed.
+ */
+export const buildAaveDebtRebalanceExactOut = ({
+  owner,
+  collateralAmount,
+  debtAmount,
+  newDebtBorrowAmount,
+  maxSlippageBps = DEFAULT_MAX_SLIPPAGE_BPS,
+  partner,
+  partnerAddress,
+  partnerFeeBps,
+}: AaveDebtRebalanceExactOutInput): {
+  flow: Flow;
+  request: ComposeCompileRequest;
+} => {
+  const sdk = createComposeSdk({ baseUrl: BASE_URL, apiKey: API_KEY });
+
+  // The USDC the BUY must produce: the flashloan principal plus the Aave V3
+  // flashloan premium. This is exactly what settles the debt flashloan leg.
+  const exactUsdcOut = (
+    BigInt(debtAmount) + computeAaveV3Fee(BigInt(debtAmount))
+  ).toString() as `${bigint}`;
+
+  const builder = sdk.flow(8453, {
+    name: 'aave-debt-rebalance-usdc-to-eurc-exact-out',
+    inputs: {
+      initialCollateral: resources.erc20(BASE_WETH, 8453),
+      // Single flashloan: the old (USDC) debt token. No collateral flashloan is
+      // needed because the WETH collateral never leaves Aave.
+      debtFlashloan: resources.erc20(BASE_USDC, 8453),
+    },
+  });
+
+  // --- Phase 1: provision the starting Aave V3 USDC borrow -----------------
+
+  // WETH → aBasWETH via the aave routing edge family (Aave V3 supply). The
+  // supplied collateral is never withdrawn — it backs the new EURC debt — so
+  // the aBasWETH output is intentionally left unconsumed AND unswept: it is the
+  // user's resulting collateral position and must stay on the (persistent,
+  // per-user) proxy. This is why the flow does NOT set a blanket `sweepTo`
+  // (which would try to transfer the aToken out and revert, since collateral
+  // backing an open debt cannot be moved); instead we explicitly transfer only
+  // the genuinely-loose tokens below.
+  builder.lifi.zap('supply-collateral', {
+    bind: { amountIn: builder.inputs.initialCollateral },
+    config: { resourceOut: resources.erc20(A_BAS_WETH, 8453) },
+  });
+
+  // Borrow the USDC debt being rebalanced. The proceeds are the user's loan;
+  // they remain as the proxy's residual USDC and are forwarded to the signer at
+  // the end of the flow (see `payout-borrow-proceeds`).
+  builder.aave.borrow('borrow-usdc-debt', {
+    bind: {},
+    config: {
+      pool: AAVE_V3_POOL_BASE,
+      asset: BASE_USDC,
+      variableDebtToken: VDEBT_BAS_USDC,
+      amount: debtAmount,
+    },
+  });
+
+  // --- Phase 2: rebalance USDC debt → EURC debt ----------------------------
+
+  // Settle the USDC debt with the flashloan. mode: 'max' makes Aave's Pool
+  // clamp paybackAmount to the outstanding debt exactly; unspent flashloan
+  // principal flows through the op's residual port (swept).
+  builder.aave.repay('repay-usdc-debt', {
+    bind: {
+      assetIn: builder.inputs.debtFlashloan,
+      onBehalfOf: builder.context.executionAddress,
+    },
+    config: { pool: AAVE_V3_POOL_BASE, mode: 'max' },
+  });
+
+  // Borrow a capped (generously over-sized) EURC amount against the same WETH
+  // collateral, now that the USDC debt is cleared. The over-borrow is
+  // intentional and is unwound below.
+  const borrowEurc = builder.aave.borrow('borrow-eurc-debt', {
+    bind: {},
+    config: {
+      pool: AAVE_V3_POOL_BASE,
+      asset: BASE_EURC,
+      variableDebtToken: VDEBT_BAS_EURC,
+      amount: newDebtBorrowAmount,
+    },
+  });
+
+  // Exact-output BUY: produce EXACTLY `exactUsdcOut` USDC from the borrowed
+  // EURC, pulling only the EURC needed and refunding the rest to the proxy
+  // (surfaced as `unspentIn`). `amountOut` is the exact figure that settles the
+  // USDC flashloan leg.
+  const buyUsdc = builder.paraswap.buy('buy-usdc-exact', {
+    bind: { amountIn: borrowEurc.borrowed },
+    config: {
+      resourceOut: resources.erc20(BASE_USDC, 8453),
+      exactAmountOut: exactUsdcOut,
+      srcDecimals: EURC_DECIMALS,
+      destDecimals: USDC_DECIMALS,
+      maxSlippageBps,
+      ...(partner !== undefined ? { partner } : {}),
+      ...(partnerAddress !== undefined ? { partnerAddress } : {}),
+      ...(partnerFeeBps !== undefined ? { partnerFeeBps } : {}),
+    },
+  });
+
+  // Settle the USDC flashloan leg with the exact BUY output. No feeBuffer:
+  // `amountOut == principal + fee` by construction.
+  builder.lifi.flashloanRepay('repay-debt-flashloan', {
+    bind: { funds: buyUsdc.amountOut },
+    config: { leg: 'debtFlashloan' },
+  });
+
+  // Unwind the over-borrow: repay the proxy's FULL residual EURC back into the
+  // freshly-minted EURC debt, so the new debt equals exactly the EURC the swap
+  // consumed. We read the live EURC balance rather than binding `buy.unspentIn`:
+  // unspentIn is only Augustus's refund (cap − used), but the proxy ALSO still
+  // holds the headroom we over-borrowed above the swap cap (borrow − cap), which
+  // Augustus never pulled. The live balance captures both, leaving zero idle.
+  // mode: 'exact' pulls precisely this balance (Aave clamps to min(balance,
+  // debt)); mode: 'max' would pass type(uint256).max and try to pull the whole
+  // outstanding debt, far exceeding the residual on the proxy, and revert.
+  const eurcResidual = builder.core.balanceOf('read-eurc-residual', {
+    bind: {},
+    config: { token: BASE_EURC },
+  });
+  builder.aave.repay('repay-eurc-remainder', {
+    bind: {
+      assetIn: eurcResidual.balance,
+      onBehalfOf: builder.context.executionAddress,
+    },
+    config: { pool: AAVE_V3_POOL_BASE, mode: 'exact' },
+  });
+
+  // Forward the genuinely-loose token — the residual USDC loan proceeds — to the
+  // signer. We read the proxy's LIVE USDC balance rather than the fixed borrowed
+  // amount: Aave's `mode: 'max'` USDC-debt repay overshoots the borrow by up to
+  // 1 wei (ray-math round-trip), so the proxy ends a wei short of `borrowed` —
+  // transferring a fixed amount would revert "transfer amount exceeds balance".
+  // The live balance always moves exactly what is there.
+  //
+  // We deliberately do NOT use a blanket `sweepTo`: the only other proxy-held
+  // balance is the aBasWETH collateral position, which cannot be transferred
+  // while the EURC debt is open (Aave's finalizeTransfer reverts). The position
+  // therefore stays on the persistent per-user proxy; we move out only the USDC.
+  const usdcResidual = builder.core.balanceOf('read-usdc-residual', {
+    bind: {},
+    config: { token: BASE_USDC },
+  });
+  builder.core.transfer('payout-borrow-proceeds', {
+    bind: {
+      amount: usdcResidual.balance,
+      recipient: builder.context.sender,
+    },
+    config: {},
+  });
+
+  const flow = builder.build();
+
+  const request = sdk.request(flow, {
+    signer: owner,
+    inputs: {
+      initialCollateral: materialisers.directDeposit({
+        amount: collateralAmount,
+      }),
+      debtFlashloan: materialisers.flashloan({
+        providerKind: 'aave-v3',
+        amount: debtAmount,
+      }),
+    },
+    // No blanket `sweepTo`: the resulting aBasWETH collateral position stays on
+    // the proxy (it backs the open EURC debt and cannot be moved). The loose
+    // USDC proceeds are forwarded via the explicit `payout-borrow-proceeds`
+    // transfer above.
+  });
+
+  return { flow, request };
+};

package/src/examples/staged/aaveHealthFactorExplode.ts

@@ -0,0 +1,70 @@
+import type { ComposeCompileRequest, Flow } from '@lifi/compose-spec';
+
+import { createComposeSdk, guards } from '../../index.js';
+import type { Address } from '../../types.js';
+import { API_KEY, BASE_URL } from '../config.js';
+
+// Base mainnet Aave v3 Pool.
+const AAVE_V3_POOL = '0xA238Dd80C259a72e81d7e4664a9801593F98d1c5';
+
+// 1.0 WAD (1e18) — minimum acceptable health factor.
+const MIN_HEALTH_FACTOR_WAD = '1000000000000000000';
+
+export interface AaveHealthFactorExplodeInput {
+  readonly signer: Address;
+}
+
+/**
+ * EXPLODE / DecomposeValue showcase.
+ *
+ * NOTE: currently disabled end-to-end. `aave.getHealthFactor` is in the
+ * default `DISABLED_COMPOSE_OPS` set on zap-backend because the EXPLODE
+ * opcode is not yet supported on-chain. The example still builds a valid
+ * Flow JSON (and its spec passes), but submitting the request to a backend
+ * with default config will fail at op resolution. Re-enable by unsetting
+ * `aave.getHealthFactor` in the backend's `DISABLED_COMPOSE_OPS` once
+ * contracts ship EXPLODE.
+ *
+ * Builds a minimal compose flow that:
+ * - StaticCalls `IPool.getUserAccountData(user)` on Aave v3 (Base)
+ * - Decomposes the returned 6-tuple via the EXPLODE opcode
+ * - Asserts `healthFactor >= 1.0 WAD` via `core.numericInvariant`
+ *
+ * The signer must hold an Aave v3 position on the target chain so HF > 0.
+ * Uses `allow-revert` so the compiled calldata is returned even if the
+ * assertion would fail — handy for tracing on a fork.
+ */
+export const buildAaveHealthFactorExplode = ({
+  signer,
+}: AaveHealthFactorExplodeInput): {
+  flow: Flow;
+  request: ComposeCompileRequest;
+} => {
+  const sdk = createComposeSdk({ baseUrl: BASE_URL, apiKey: API_KEY });
+
+  const builder = sdk.flow(8453 /* Base */, {
+    name: 'aave-hf-explode-showcase',
+    inputs: {},
+  });
+
+  builder.aave.getHealthFactor('checkHf', {
+    bind: {},
+    config: { pool: AAVE_V3_POOL, user: signer },
+    guards: [
+      guards.coreNumericInvariant({
+        port: 'healthFactor',
+        op: 'gte',
+        threshold: MIN_HEALTH_FACTOR_WAD,
+      }),
+    ],
+  });
+
+  const flow = builder.build();
+  const request = sdk.request(flow, {
+    signer,
+    inputs: {},
+    simulationPolicy: 'allow-revert',
+  });
+
+  return { flow, request };
+};

package/src/examples/staged/aaveToMorphoDebtMigration.ts

@@ -0,0 +1,200 @@
+import type { ComposeCompileRequest, Flow } from '@lifi/compose-spec';
+
+import { createComposeSdk, materialisers, resources } from '../../index.js';
+import type { Address } from '../../types.js';
+import {
+  padForAaveDebtRounding,
+  trimForAaveWithdrawalRounding,
+} from '../aaveRounding.js';
+import { API_KEY, BASE_URL } from '../config.js';
+
+// Base mainnet token addresses.
+const BASE_WETH = '0x4200000000000000000000000000000000000006';
+const BASE_USDC = '0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913';
+
+// Aave V3 on Base (pool + aWETH receipt + variable-debt USDC).
+const AAVE_V3_POOL_BASE = '0xA238Dd80C259a72e81d7e4664a9801593F98d1c5';
+const A_BAS_WETH = '0xD4a0e0b9149BCee3C920d2E00b5dE09138fd8bb7';
+const VDEBT_BAS_USDC = '0x59dca05b6c26dbd64b5381374aAaC5CD05644C28';
+
+// Morpho Blue WETH/USDC market on Base (same parameters as the
+// `morphoBlueBorrow` / `morphoBlueRepay` examples).
+const ADAPTIVE_CURVE_IRM_BASE = '0x46415998764C29aB2a25CbeA6254146D50D22687';
+const WETH_USDC_ORACLE = '0xFEa2D58cEfCb9fcb597723c6bAE66fFE4193aFE4';
+const WETH_USDC_LLTV = '860000000000000000';
+
+const MORPHO_WETH_USDC_MARKET = {
+  loanToken: BASE_USDC,
+  collateralToken: BASE_WETH,
+  oracle: WETH_USDC_ORACLE,
+  irm: ADAPTIVE_CURVE_IRM_BASE,
+  lltv: WETH_USDC_LLTV,
+};
+
+export interface AaveToMorphoDebtMigrationInput {
+  readonly owner: Address;
+  /** WETH collateral the user posts (in smallest units). */
+  readonly collateralAmount: `${bigint}`;
+  /** USDC principal borrowed from Aave (in smallest units). */
+  readonly debtAmount: `${bigint}`;
+  /**
+   * Aave-V3 flashloan fee on `debtAmount` — equals
+   * `computeDefaultFee('aave-v3', debtAmount)` (5 bps of the principal).
+   */
+  readonly debtFlashloanFee: `${bigint}`;
+}
+
+/**
+ * Atomically provision an Aave V3 borrow position on Base and migrate it to
+ * a Morpho Blue WETH/USDC market — all in a single compose flow driven by
+ * two concurrent flashloans.
+ *
+ * Phase 1 — provision the source position on Aave V3:
+ * - User direct-deposits WETH.
+ * - `lifi.zap` supplies the WETH to Aave (WETH → aBasWETH routing edge).
+ * - `aave.borrow` mints USDC debt; the borrowed USDC stays on the proxy
+ *   and is swept back to the signer as the user's loan proceeds.
+ *
+ * Phase 2 — migrate the position to Morpho using two concurrent flashloans:
+ * - Flashloan #1 (Aave V3, USDC) bridges the Aave debt payoff before the
+ *   Morpho borrow exists.
+ * - Flashloan #2 (Balancer V2, WETH) bridges the Morpho collateral supply
+ *   before the Aave collateral is freed.
+ * - `aave.repay` clears the Aave USDC debt with flashloan #1.
+ * - `lifi.zap` withdraws the freed WETH from Aave (aBasWETH → WETH).
+ * - `morphoBlue.supplyCollateral` deposits flashloan #2's WETH into Morpho.
+ * - `morphoBlue.borrow` mints exactly `debtAmount + debtFlashloanFee` USDC
+ *   so the `borrowed` resource settles flashloan #1 with zero residual.
+ * - Two `lifi.flashloanRepay` ops settle each leg: the USDC leg from the
+ *   Morpho borrow, the WETH leg from the Aave withdrawal (Balancer V2
+ *   charges no fee, so the principal alone covers it).
+ *
+ * After execution the signer holds `debtAmount` USDC and an open Morpho
+ * Blue position (`collateralAmount` WETH collateral, `debtAmount +
+ * debtFlashloanFee` USDC debt). The Aave position is closed.
+ */
+export const buildAaveToMorphoDebtMigration = ({
+  owner,
+  collateralAmount,
+  debtAmount,
+  debtFlashloanFee,
+}: AaveToMorphoDebtMigrationInput): {
+  flow: Flow;
+  request: ComposeCompileRequest;
+} => {
+  const sdk = createComposeSdk({ baseUrl: BASE_URL, apiKey: API_KEY });
+
+  // Both flashloan legs absorb Aave's 1-wei scaled-balance skew: the USDC
+  // leg funds a max-mode repay, the WETH leg is covered by a withdrawal.
+  const debtFlashloanAmount = padForAaveDebtRounding(debtAmount);
+  const collateralFlashloanAmount =
+    trimForAaveWithdrawalRounding(collateralAmount);
+
+  // Morpho borrow must equal principal + Aave-V3 flashloan fee so the
+  // `borrowed` resource exactly settles the USDC flashloan leg.
+  const morphoBorrowAmount = (
+    BigInt(debtFlashloanAmount) + BigInt(debtFlashloanFee)
+  ).toString() as `${bigint}`;
+
+  const builder = sdk.flow(8453, {
+    name: 'aave-to-morpho-debt-migration',
+    inputs: {
+      initialCollateral: resources.erc20(BASE_WETH, 8453),
+      debtFlashloan: resources.erc20(BASE_USDC, 8453),
+      collateralFlashloan: resources.erc20(BASE_WETH, 8453),
+    },
+  });
+
+  // --- Phase 1: provision the Aave V3 borrow position ----------------------
+
+  // WETH → aBasWETH via the aave routing edge family (Aave V3 supply).
+  const supplyToAave = builder.lifi.zap('supply-to-aave', {
+    bind: { amountIn: builder.inputs.initialCollateral },
+    config: { resourceOut: resources.erc20(A_BAS_WETH, 8453) },
+  });
+
+  // Borrow USDC against the freshly supplied collateral. The `borrowed`
+  // resource is left unbound; request-level `sweepTo` forwards it to the
+  // signer as the user's loan proceeds.
+  builder.aave.borrow('borrow-from-aave', {
+    bind: {},
+    config: {
+      pool: AAVE_V3_POOL_BASE,
+      asset: BASE_USDC,
+      variableDebtToken: VDEBT_BAS_USDC,
+      amount: debtAmount,
+    },
+  });
+
+  // --- Phase 2: migrate to Morpho with two concurrent flashloans -----------
+
+  // Settle the Aave USDC debt with flashloan #1. mode: 'max' makes Aave's
+  // Pool clamp paybackAmount to userVariableDebt exactly, so any unspent
+  // flashloan principal flows through the op's residual port (swept by the
+  // request-level sweepTo).
+  builder.aave.repay('repay-aave', {
+    bind: {
+      assetIn: builder.inputs.debtFlashloan,
+      onBehalfOf: builder.context.executionAddress,
+    },
+    config: { pool: AAVE_V3_POOL_BASE, mode: 'max' },
+  });
+
+  // Withdraw the freed WETH from Aave (aBasWETH → WETH) via routing.
+  const withdrawFromAave = builder.lifi.zap('withdraw-from-aave', {
+    bind: { amountIn: supplyToAave.amountOut },
+    config: { resourceOut: resources.erc20(BASE_WETH, 8453) },
+  });
+
+  // Open the Morpho Blue position with flashloan #2's WETH.
+  builder.morphoBlue.supplyCollateral('supply-to-morpho', {
+    bind: { assetIn: builder.inputs.collateralFlashloan },
+    config: { marketParams: MORPHO_WETH_USDC_MARKET, mode: 'exact' },
+  });
+
+  // Borrow exactly principal + fee from Morpho to settle the USDC leg.
+  const morphoBorrow = builder.morphoBlue.borrow('borrow-from-morpho', {
+    bind: {},
+    config: {
+      marketParams: MORPHO_WETH_USDC_MARKET,
+      amount: morphoBorrowAmount,
+    },
+  });
+
+  // Settle the USDC flashloan leg with the Morpho borrow.
+  builder.lifi.flashloanRepay('repay-debt-flashloan', {
+    bind: { funds: morphoBorrow.borrowed },
+    config: { leg: 'debtFlashloan' },
+  });
+
+  // Settle the WETH flashloan leg with the Aave withdrawal. Balancer V2
+  // charges no fee, so the withdrawn principal alone covers the leg.
+  builder.lifi.flashloanRepay('repay-collateral-flashloan', {
+    bind: { funds: withdrawFromAave.amountOut },
+    config: { leg: 'collateralFlashloan' },
+  });
+
+  const flow = builder.build();
+
+  const request = sdk.request(flow, {
+    signer: owner,
+    inputs: {
+      initialCollateral: materialisers.directDeposit({
+        amount: collateralAmount,
+      }),
+      debtFlashloan: materialisers.flashloan({
+        providerKind: 'aave-v3',
+        amount: debtFlashloanAmount,
+      }),
+      collateralFlashloan: materialisers.flashloan({
+        providerKind: 'balancer-v2',
+        amount: collateralFlashloanAmount,
+      }),
+    },
+    // Sweep the Aave borrow proceeds (and any aave.repay residual) to the
+    // signer.
+    sweepTo: builder.context.sender,
+  });
+
+  return { flow, request };
+};