@lifi/composer-sdk 0.0.1-alpha → 0.2.0-staging.3

package/dist/generated/operations.generated.d.ts

@@ -2,7 +2,7 @@ import { FlowBuilderInternal } from '../authoring/FlowBuilderCore.js';
 import { Bindable, OutputHandle } from '../authoring/handles.js';
 import { SignatureBind, CoreCallResult, StaticCallResult } from '../authoring/signatureArgs.js';
 import { TypedGuard } from '../types.js';
-import { CoreSplitConfig, CoreBpsDownConfig, CoreBpsUpConfig, CoreApproveConfig, CoreBalanceOfConfig, CoreTransferConfig, CoreCallConfig, CoreStaticCallConfig, CoreRawCallConfig, CoreAsResourceConfig, CorePeekConfig, LifiSwapConfig, LifiZapConfig } from './config.generated.js';
+import { CoreSplitConfig, CoreBpsDownConfig, CoreBpsUpConfig, CoreApproveConfig, CoreBalanceOfConfig, CoreTransferConfig, CoreCallConfig, CoreStaticCallConfig, CoreRawCallConfig, CoreAsResourceConfig, CorePeekConfig, LifiSwapConfig, LifiFlashloanRepayConfig, LifiZapConfig, AaveBorrowConfig, AaveRepayConfig, AaveRepayWithATokensConfig, AaveClaimRewardsConfig, AaveSetEModeConfig, AaveGetHealthFactorConfig, MorphoBlueSupplyCollateralConfig, MorphoBlueWithdrawCollateralConfig, MorphoBlueBorrowConfig, MorphoBlueRepayConfig, MorphoBlueSupplyConfig, MorphoBlueWithdrawConfig, MorphoBlueGetPositionConfig, ParaswapBuyConfig } from './config.generated.js';
 import '@lifi/compose-spec';
 import 'abitype';
 
@@ -38,14 +38,6 @@ interface InvariantBalanceAtLeastArgs {
     };
     readonly guards?: readonly TypedGuard<never>[];
 }
-/** Route tokens into a DeFi protocol position via the edge catalog */
-interface LifiZapArgs {
-    readonly bind: {
-        readonly amountIn: Bindable<'resource'>;
-    };
-    readonly config: LifiZapConfig;
-    readonly guards?: readonly TypedGuard<'amountOut'>[];
-}
 /** Add two unsigned integers (a + b) */
 interface CoreAddArgs {
     readonly bind: {
@@ -213,6 +205,121 @@ interface CoreAsResourceArgs {
     readonly config: CoreAsResourceConfig;
     readonly guards?: readonly TypedGuard<'resource'>[];
 }
+/** Borrow an asset from an Aave v3 pool against existing collateral, exposing the borrowed asset as a Resource */
+interface AaveBorrowArgs {
+    readonly bind: Record<string, never>;
+    readonly config: AaveBorrowConfig;
+    readonly guards?: readonly TypedGuard<'debtBalance'>[];
+}
+/** Repay an Aave v3 variable-rate debt position with the supplied asset. mode: 'exact' passes the input handle amount; mode: 'max' passes type(uint256).max so Aave's Pool clamps paybackAmount to userVariableDebt exactly. Any unspent input is returned through the residual port. */
+interface AaveRepayArgs {
+    readonly bind: {
+        readonly assetIn: Bindable<'resource'>;
+        readonly onBehalfOf: Bindable<'address'>;
+    };
+    readonly config: AaveRepayConfig;
+    readonly guards?: readonly TypedGuard<'actualRepaid' | 'residual'>[];
+}
+/** Repay an Aave v3 variable-rate debt by burning the caller's aToken balance, returning any unspent residual */
+interface AaveRepayWithATokensArgs {
+    readonly bind: {
+        readonly aTokenIn: Bindable<'resource'>;
+    };
+    readonly config: AaveRepayWithATokensConfig;
+    readonly guards?: readonly TypedGuard<'actualRepaid' | 'residual'>[];
+}
+/** Claim a specific Aave v3 incentives reward token against a set of receipt-token positions, exposing the claimed amount as a Resource */
+interface AaveClaimRewardsArgs {
+    readonly bind: Record<string, never>;
+    readonly config: AaveClaimRewardsConfig;
+    readonly guards?: readonly TypedGuard<'claimedAmount'>[];
+}
+/** Switch the executionAddress's Aave v3 eMode category. 0 disables eMode. The pool reverts if the switch would make the position unhealthy or if any open borrow is for an asset outside the target category. */
+interface AaveSetEModeArgs {
+    readonly bind: Record<string, never>;
+    readonly config: AaveSetEModeConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Read the current Aave v3 health factor (WAD-scaled, 1e18; type(uint256).max for users with no debt) by static-calling IPool.getUserAccountData and decomposing the returned tuple. Exposes the healthFactor element as a uint256 handle suitable for use with core.numericInvariant. */
+interface AaveGetHealthFactorArgs {
+    readonly bind: Record<string, never>;
+    readonly config: AaveGetHealthFactorConfig;
+    readonly guards?: readonly TypedGuard<'healthFactor'>[];
+}
+/** Deposit the collateral asset of a Morpho Blue market on behalf of the execution proxy. mode: 'exact' pulls the input handle's amount. mode: 'all' reads the proxy's current ERC20 balance of the market's collateral token and pulls that amount, ignoring the input handle's literal value — note this pulls the proxy's total balance (including unrelated upstream residuals), not just the input port's delivery. Credits Position.collateral on the Morpho singleton; emits no return value and exposes no resource output (the collateral is non-transferable accounting state). */
+interface MorphoBlueSupplyCollateralArgs {
+    readonly bind: {
+        readonly assetIn: Bindable<'resource'>;
+    };
+    readonly config: MorphoBlueSupplyCollateralConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Withdraw collateral from a Morpho Blue market position to the receiver address. Exposes the withdrawn ERC20 amount as a Resource output. */
+interface MorphoBlueWithdrawCollateralArgs {
+    readonly bind: Record<string, never>;
+    readonly config: MorphoBlueWithdrawCollateralConfig;
+    readonly guards?: readonly TypedGuard<'collateralWithdrawn'>[];
+}
+/** Borrow the loan asset from a Morpho Blue market against existing collateral. Exposes the borrowed amount as a Resource and the (assetsBorrowed, sharesBorrowed) tuple as handles. */
+interface MorphoBlueBorrowArgs {
+    readonly bind: Record<string, never>;
+    readonly config: MorphoBlueBorrowConfig;
+    readonly guards?: readonly TypedGuard<'assetsBorrowed' | 'sharesBorrowed'>[];
+}
+/** Repay a Morpho Blue debt position with the supplied asset. mode: 'exact' repays the input handle amount; mode: 'max' reads Position.borrowShares via a precursor static call and repays in shares mode to retire the debt to the wei. Returns any unspent residual as a Resource. */
+interface MorphoBlueRepayArgs {
+    readonly bind: {
+        readonly assetIn: Bindable<'resource'>;
+        readonly onBehalfOf: Bindable<'address'>;
+    };
+    readonly config: MorphoBlueRepayConfig;
+    readonly guards?: readonly TypedGuard<'actualRepaid' | 'sharesRepaid' | 'residual'>[];
+}
+/** Supply the loan asset of a Morpho Blue market and receive supplyShares accounting credit. Returns the (assetsSupplied, sharesSupplied) tuple as handles and any unspent residual as a Resource. */
+interface MorphoBlueSupplyArgs {
+    readonly bind: {
+        readonly assetIn: Bindable<'resource'>;
+    };
+    readonly config: MorphoBlueSupplyConfig;
+    readonly guards?: readonly TypedGuard<'assetsSupplied' | 'sharesSupplied' | 'residual'>[];
+}
+/** Withdraw the loan asset from a Morpho Blue supply position. mode: 'exact' withdraws the configured amount; mode: 'max' reads Position.supplyShares via a precursor static call and burns all shares to retire the supply to the wei. Exposes the withdrawn amount as a Resource. */
+interface MorphoBlueWithdrawArgs {
+    readonly bind: Record<string, never>;
+    readonly config: MorphoBlueWithdrawConfig;
+    readonly guards?: readonly TypedGuard<'assetsWithdrawn' | 'sharesWithdrawn'>[];
+}
+/** Read a Morpho Blue Position struct via a static call on the singleton. Exposes (supplyShares, borrowShares, collateral) as handles whose kinds match the on-chain field types (uint256, uint128, uint128). */
+interface MorphoBlueGetPositionArgs {
+    readonly bind: Record<string, never>;
+    readonly config: MorphoBlueGetPositionConfig;
+    readonly guards?: readonly TypedGuard<'supplyShares' | 'borrowShares' | 'collateral'>[];
+}
+/** Transfer principal + fee back to the LiFi flashloan adapter for one leg */
+interface LifiFlashloanRepayArgs {
+    readonly bind: {
+        readonly funds: Bindable<'resource'>;
+        readonly feeBuffer?: Bindable<'resource'>;
+    };
+    readonly config: LifiFlashloanRepayConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Route tokens into a DeFi protocol position via the edge catalog */
+interface LifiZapArgs {
+    readonly bind: {
+        readonly amountIn: Bindable<'resource'>;
+    };
+    readonly config: LifiZapConfig;
+    readonly guards?: readonly TypedGuard<'amountOut'>[];
+}
+/** Exact-output (BUY) swap via the Paraswap/Velora Market API: produce exactly `exactAmountOut` of the destination token, pulling only the source needed and exposing the genuinely-unspent source as `unspentIn`. */
+interface ParaswapBuyArgs {
+    readonly bind: {
+        readonly amountIn: Bindable<'resource'>;
+    };
+    readonly config: ParaswapBuyConfig;
+    readonly guards?: readonly TypedGuard<'unspentIn'>[];
+}
 /** Read a smart contract value at compile time (off-chain eth_call); result is baked as a literal */
 interface CorePeekArgs {
     readonly bind: Record<string, never>;
@@ -230,9 +337,6 @@ interface LifiSwapOutputs {
     readonly amountOut: OutputHandle<'resource'>;
     readonly unspentIn: OutputHandle<'resource'>;
 }
-interface LifiZapOutputs {
-    readonly amountOut: OutputHandle<'resource'>;
-}
 interface CoreAddOutputs {
     readonly result: OutputHandle<'uint256'>;
 }
@@ -267,6 +371,61 @@ interface CoreRawCallOutputs {
 interface CoreAsResourceOutputs {
     readonly resource: OutputHandle<'resource'>;
 }
+interface AaveBorrowOutputs {
+    readonly borrowed: OutputHandle<'resource'>;
+    readonly debtBalance: OutputHandle<'uint256'>;
+}
+interface AaveRepayOutputs {
+    readonly actualRepaid: OutputHandle<'uint256'>;
+    readonly residual: OutputHandle<'resource'>;
+}
+interface AaveRepayWithATokensOutputs {
+    readonly actualRepaid: OutputHandle<'uint256'>;
+    readonly residual: OutputHandle<'resource'>;
+}
+interface AaveClaimRewardsOutputs {
+    readonly claimed: OutputHandle<'resource'>;
+    readonly claimedAmount: OutputHandle<'uint256'>;
+}
+interface AaveGetHealthFactorOutputs {
+    readonly healthFactor: OutputHandle<'uint256'>;
+}
+interface MorphoBlueWithdrawCollateralOutputs {
+    readonly withdrawn: OutputHandle<'resource'>;
+    readonly collateralWithdrawn: OutputHandle<'uint256'>;
+}
+interface MorphoBlueBorrowOutputs {
+    readonly borrowed: OutputHandle<'resource'>;
+    readonly assetsBorrowed: OutputHandle<'uint256'>;
+    readonly sharesBorrowed: OutputHandle<'uint256'>;
+}
+interface MorphoBlueRepayOutputs {
+    readonly actualRepaid: OutputHandle<'uint256'>;
+    readonly sharesRepaid: OutputHandle<'uint256'>;
+    readonly residual: OutputHandle<'resource'>;
+}
+interface MorphoBlueSupplyOutputs {
+    readonly assetsSupplied: OutputHandle<'uint256'>;
+    readonly sharesSupplied: OutputHandle<'uint256'>;
+    readonly residual: OutputHandle<'resource'>;
+}
+interface MorphoBlueWithdrawOutputs {
+    readonly withdrawn: OutputHandle<'resource'>;
+    readonly assetsWithdrawn: OutputHandle<'uint256'>;
+    readonly sharesWithdrawn: OutputHandle<'uint256'>;
+}
+interface MorphoBlueGetPositionOutputs {
+    readonly supplyShares: OutputHandle<'uint256'>;
+    readonly borrowShares: OutputHandle<'uint128'>;
+    readonly collateral: OutputHandle<'uint128'>;
+}
+interface LifiZapOutputs {
+    readonly amountOut: OutputHandle<'resource'>;
+}
+interface ParaswapBuyOutputs {
+    readonly amountOut: OutputHandle<'resource'>;
+    readonly unspentIn: OutputHandle<'resource'>;
+}
 interface CorePeekOutputs {
     readonly result: OutputHandle<'uint256'>;
 }
@@ -324,6 +483,8 @@ type GeneratedOps = {
     readonly lifi: {
         /** Swap tokens via the LI.FI aggregator API — original id: "lifi.swap" */
         readonly swap: (nodeId: string, args: LifiSwapArgs) => LifiSwapOutputs;
+        /** Transfer principal + fee back to the LiFi flashloan adapter for one leg — original id: "lifi.flashloanRepay" */
+        readonly flashloanRepay: (nodeId: string, args: LifiFlashloanRepayArgs) => void;
         /** Route tokens into a DeFi protocol position via the edge catalog — original id: "lifi.zap" */
         readonly zap: (nodeId: string, args: LifiZapArgs) => LifiZapOutputs;
     };
@@ -331,7 +492,41 @@ type GeneratedOps = {
         /** Assert that an account holds at least a minimum token balance — original id: "invariant.balanceAtLeast" */
         readonly balanceAtLeast: (nodeId: string, args: InvariantBalanceAtLeastArgs) => void;
     };
+    readonly aave: {
+        /** Borrow an asset from an Aave v3 pool against existing collateral, exposing the borrowed asset as a Resource — original id: "aave.borrow" */
+        readonly borrow: (nodeId: string, args: AaveBorrowArgs) => AaveBorrowOutputs;
+        /** Repay an Aave v3 variable-rate debt position with the supplied asset. mode: 'exact' passes the input handle amount; mode: 'max' passes type(uint256).max so Aave's Pool clamps paybackAmount to userVariableDebt exactly. Any unspent input is returned through the residual port. — original id: "aave.repay" */
+        readonly repay: (nodeId: string, args: AaveRepayArgs) => AaveRepayOutputs;
+        /** Repay an Aave v3 variable-rate debt by burning the caller's aToken balance, returning any unspent residual — original id: "aave.repayWithATokens" */
+        readonly repayWithATokens: (nodeId: string, args: AaveRepayWithATokensArgs) => AaveRepayWithATokensOutputs;
+        /** Claim a specific Aave v3 incentives reward token against a set of receipt-token positions, exposing the claimed amount as a Resource — original id: "aave.claimRewards" */
+        readonly claimRewards: (nodeId: string, args: AaveClaimRewardsArgs) => AaveClaimRewardsOutputs;
+        /** Switch the executionAddress's Aave v3 eMode category. 0 disables eMode. The pool reverts if the switch would make the position unhealthy or if any open borrow is for an asset outside the target category. — original id: "aave.setEMode" */
+        readonly setEMode: (nodeId: string, args: AaveSetEModeArgs) => void;
+        /** Read the current Aave v3 health factor (WAD-scaled, 1e18; type(uint256).max for users with no debt) by static-calling IPool.getUserAccountData and decomposing the returned tuple. Exposes the healthFactor element as a uint256 handle suitable for use with core.numericInvariant. — original id: "aave.getHealthFactor" */
+        readonly getHealthFactor: (nodeId: string, args: AaveGetHealthFactorArgs) => AaveGetHealthFactorOutputs;
+    };
+    readonly morphoBlue: {
+        /** Deposit the collateral asset of a Morpho Blue market on behalf of the execution proxy. mode: 'exact' pulls the input handle's amount. mode: 'all' reads the proxy's current ERC20 balance of the market's collateral token and pulls that amount, ignoring the input handle's literal value — note this pulls the proxy's total balance (including unrelated upstream residuals), not just the input port's delivery. Credits Position.collateral on the Morpho singleton; emits no return value and exposes no resource output (the collateral is non-transferable accounting state). — original id: "morphoBlue.supplyCollateral" */
+        readonly supplyCollateral: (nodeId: string, args: MorphoBlueSupplyCollateralArgs) => void;
+        /** Withdraw collateral from a Morpho Blue market position to the receiver address. Exposes the withdrawn ERC20 amount as a Resource output. — original id: "morphoBlue.withdrawCollateral" */
+        readonly withdrawCollateral: (nodeId: string, args: MorphoBlueWithdrawCollateralArgs) => MorphoBlueWithdrawCollateralOutputs;
+        /** Borrow the loan asset from a Morpho Blue market against existing collateral. Exposes the borrowed amount as a Resource and the (assetsBorrowed, sharesBorrowed) tuple as handles. — original id: "morphoBlue.borrow" */
+        readonly borrow: (nodeId: string, args: MorphoBlueBorrowArgs) => MorphoBlueBorrowOutputs;
+        /** Repay a Morpho Blue debt position with the supplied asset. mode: 'exact' repays the input handle amount; mode: 'max' reads Position.borrowShares via a precursor static call and repays in shares mode to retire the debt to the wei. Returns any unspent residual as a Resource. — original id: "morphoBlue.repay" */
+        readonly repay: (nodeId: string, args: MorphoBlueRepayArgs) => MorphoBlueRepayOutputs;
+        /** Supply the loan asset of a Morpho Blue market and receive supplyShares accounting credit. Returns the (assetsSupplied, sharesSupplied) tuple as handles and any unspent residual as a Resource. — original id: "morphoBlue.supply" */
+        readonly supply: (nodeId: string, args: MorphoBlueSupplyArgs) => MorphoBlueSupplyOutputs;
+        /** Withdraw the loan asset from a Morpho Blue supply position. mode: 'exact' withdraws the configured amount; mode: 'max' reads Position.supplyShares via a precursor static call and burns all shares to retire the supply to the wei. Exposes the withdrawn amount as a Resource. — original id: "morphoBlue.withdraw" */
+        readonly withdraw: (nodeId: string, args: MorphoBlueWithdrawArgs) => MorphoBlueWithdrawOutputs;
+        /** Read a Morpho Blue Position struct via a static call on the singleton. Exposes (supplyShares, borrowShares, collateral) as handles whose kinds match the on-chain field types (uint256, uint128, uint128). — original id: "morphoBlue.getPosition" */
+        readonly getPosition: (nodeId: string, args: MorphoBlueGetPositionArgs) => MorphoBlueGetPositionOutputs;
+    };
+    readonly paraswap: {
+        /** Exact-output (BUY) swap via the Paraswap/Velora Market API: produce exactly `exactAmountOut` of the destination token, pulling only the source needed and exposing the genuinely-unspent source as `unspentIn`. — original id: "paraswap.buy" */
+        readonly buy: (nodeId: string, args: ParaswapBuyArgs) => ParaswapBuyOutputs;
+    };
 };
 declare const bindGeneratedOps: (builder: FlowBuilderInternal) => GeneratedOps;
 
-export { type CoreAddArgs, type CoreAddOutputs, type CoreApproveArgs, type CoreAsResourceArgs, type CoreAsResourceOutputs, type CoreAssertEqualArgs, type CoreAssertGtArgs, type CoreAssertGteArgs, type CoreAssertInRangeArgs, type CoreAssertLtArgs, type CoreAssertLteArgs, type CoreAssertNotEqualArgs, type CoreBalanceOfArgs, type CoreBalanceOfOutputs, type CoreBpsDownArgs, type CoreBpsDownOutputs, type CoreBpsUpArgs, type CoreBpsUpOutputs, type CoreCallArgs, type CoreDivideDownArgs, type CoreDivideDownOutputs, type CoreDivideUpArgs, type CoreDivideUpOutputs, type CoreMergeArgs, type CoreMergeOutputs, type CoreMultiplyArgs, type CoreMultiplyOutputs, type CorePeekArgs, type CorePeekOutputs, type CoreRawCallArgs, type CoreRawCallOutputs, type CoreSplitArgs, type CoreSplitOutputs, type CoreStaticCallArgs, type CoreSubtractArgs, type CoreSubtractOutputs, type CoreTransferArgs, type CoreTransferOutputs, type GeneratedOps, type InvariantBalanceAtLeastArgs, type LifiSwapArgs, type LifiSwapOutputs, type LifiZapArgs, type LifiZapOutputs, bindGeneratedOps };
+export { type AaveBorrowArgs, type AaveBorrowOutputs, type AaveClaimRewardsArgs, type AaveClaimRewardsOutputs, type AaveGetHealthFactorArgs, type AaveGetHealthFactorOutputs, type AaveRepayArgs, type AaveRepayOutputs, type AaveRepayWithATokensArgs, type AaveRepayWithATokensOutputs, type AaveSetEModeArgs, type CoreAddArgs, type CoreAddOutputs, type CoreApproveArgs, type CoreAsResourceArgs, type CoreAsResourceOutputs, type CoreAssertEqualArgs, type CoreAssertGtArgs, type CoreAssertGteArgs, type CoreAssertInRangeArgs, type CoreAssertLtArgs, type CoreAssertLteArgs, type CoreAssertNotEqualArgs, type CoreBalanceOfArgs, type CoreBalanceOfOutputs, type CoreBpsDownArgs, type CoreBpsDownOutputs, type CoreBpsUpArgs, type CoreBpsUpOutputs, type CoreCallArgs, type CoreDivideDownArgs, type CoreDivideDownOutputs, type CoreDivideUpArgs, type CoreDivideUpOutputs, type CoreMergeArgs, type CoreMergeOutputs, type CoreMultiplyArgs, type CoreMultiplyOutputs, type CorePeekArgs, type CorePeekOutputs, type CoreRawCallArgs, type CoreRawCallOutputs, type CoreSplitArgs, type CoreSplitOutputs, type CoreStaticCallArgs, type CoreSubtractArgs, type CoreSubtractOutputs, type CoreTransferArgs, type CoreTransferOutputs, type GeneratedOps, type InvariantBalanceAtLeastArgs, type LifiFlashloanRepayArgs, type LifiSwapArgs, type LifiSwapOutputs, type LifiZapArgs, type LifiZapOutputs, type MorphoBlueBorrowArgs, type MorphoBlueBorrowOutputs, type MorphoBlueGetPositionArgs, type MorphoBlueGetPositionOutputs, type MorphoBlueRepayArgs, type MorphoBlueRepayOutputs, type MorphoBlueSupplyArgs, type MorphoBlueSupplyCollateralArgs, type MorphoBlueSupplyOutputs, type MorphoBlueWithdrawArgs, type MorphoBlueWithdrawCollateralArgs, type MorphoBlueWithdrawCollateralOutputs, type MorphoBlueWithdrawOutputs, type ParaswapBuyArgs, type ParaswapBuyOutputs, bindGeneratedOps };

package/dist/generated/operations.generated.js

@@ -8,31 +8,35 @@ const bindGeneratedOps = (builder) => ({
       a: "resource",
       b: "resource"
     }),
-    merge: (nodeId, args) => builder.call(nodeId, "core.merge", args, { merged: "resource" }),
-    add: (nodeId, args) => builder.call(nodeId, "core.add", args, { result: "uint256" }),
-    subtract: (nodeId, args) => builder.call(nodeId, "core.subtract", args, {
+    merge: (nodeId, args) => builder.call(nodeId, "core.merge", { ...args, config: {} }, {
+      merged: "resource"
+    }),
+    add: (nodeId, args) => builder.call(nodeId, "core.add", { ...args, config: {} }, {
+      result: "uint256"
+    }),
+    subtract: (nodeId, args) => builder.call(nodeId, "core.subtract", { ...args, config: {} }, {
       result: "uint256"
     }),
-    multiply: (nodeId, args) => builder.call(nodeId, "core.multiply", args, {
+    multiply: (nodeId, args) => builder.call(nodeId, "core.multiply", { ...args, config: {} }, {
       result: "uint256"
     }),
-    divideDown: (nodeId, args) => builder.call(nodeId, "core.divideDown", args, {
+    divideDown: (nodeId, args) => builder.call(nodeId, "core.divideDown", { ...args, config: {} }, {
       result: "uint256"
     }),
-    divideUp: (nodeId, args) => builder.call(nodeId, "core.divideUp", args, {
+    divideUp: (nodeId, args) => builder.call(nodeId, "core.divideUp", { ...args, config: {} }, {
       result: "uint256"
     }),
     bpsDown: (nodeId, args) => builder.call(nodeId, "core.bpsDown", args, {
       result: "uint256"
     }),
     bpsUp: (nodeId, args) => builder.call(nodeId, "core.bpsUp", args, { result: "uint256" }),
-    assertEqual: (nodeId, args) => builder.call(nodeId, "core.assertEqual", args, {}),
-    assertNotEqual: (nodeId, args) => builder.call(nodeId, "core.assertNotEqual", args, {}),
-    assertGt: (nodeId, args) => builder.call(nodeId, "core.assertGt", args, {}),
-    assertGte: (nodeId, args) => builder.call(nodeId, "core.assertGte", args, {}),
-    assertLt: (nodeId, args) => builder.call(nodeId, "core.assertLt", args, {}),
-    assertLte: (nodeId, args) => builder.call(nodeId, "core.assertLte", args, {}),
-    assertInRange: (nodeId, args) => builder.call(nodeId, "core.assertInRange", args, {}),
+    assertEqual: (nodeId, args) => builder.call(nodeId, "core.assertEqual", { ...args, config: {} }, {}),
+    assertNotEqual: (nodeId, args) => builder.call(nodeId, "core.assertNotEqual", { ...args, config: {} }, {}),
+    assertGt: (nodeId, args) => builder.call(nodeId, "core.assertGt", { ...args, config: {} }, {}),
+    assertGte: (nodeId, args) => builder.call(nodeId, "core.assertGte", { ...args, config: {} }, {}),
+    assertLt: (nodeId, args) => builder.call(nodeId, "core.assertLt", { ...args, config: {} }, {}),
+    assertLte: (nodeId, args) => builder.call(nodeId, "core.assertLte", { ...args, config: {} }, {}),
+    assertInRange: (nodeId, args) => builder.call(nodeId, "core.assertInRange", { ...args, config: {} }, {}),
     approve: (nodeId, args) => builder.call(nodeId, "core.approve", args, {}),
     balanceOf: (nodeId, args) => builder.call(nodeId, "core.balanceOf", args, {
       balance: "resource"
@@ -75,12 +79,78 @@ const bindGeneratedOps = (builder) => ({
       amountOut: "resource",
       unspentIn: "resource"
     }),
+    flashloanRepay: (nodeId, args) => builder.call(nodeId, "lifi.flashloanRepay", args, {}),
     zap: (nodeId, args) => builder.call(nodeId, "lifi.zap", args, {
       amountOut: "resource"
     })
   },
   invariant: {
-    balanceAtLeast: (nodeId, args) => builder.call(nodeId, "invariant.balanceAtLeast", args, {})
+    balanceAtLeast: (nodeId, args) => builder.call(
+      nodeId,
+      "invariant.balanceAtLeast",
+      { ...args, config: {} },
+      {}
+    )
+  },
+  aave: {
+    borrow: (nodeId, args) => builder.call(nodeId, "aave.borrow", args, {
+      borrowed: "resource",
+      debtBalance: "uint256"
+    }),
+    repay: (nodeId, args) => builder.call(nodeId, "aave.repay", args, {
+      actualRepaid: "uint256",
+      residual: "resource"
+    }),
+    repayWithATokens: (nodeId, args) => builder.call(nodeId, "aave.repayWithATokens", args, {
+      actualRepaid: "uint256",
+      residual: "resource"
+    }),
+    claimRewards: (nodeId, args) => builder.call(nodeId, "aave.claimRewards", args, {
+      claimed: "resource",
+      claimedAmount: "uint256"
+    }),
+    setEMode: (nodeId, args) => builder.call(nodeId, "aave.setEMode", args, {}),
+    getHealthFactor: (nodeId, args) => builder.call(nodeId, "aave.getHealthFactor", args, {
+      healthFactor: "uint256"
+    })
+  },
+  morphoBlue: {
+    supplyCollateral: (nodeId, args) => builder.call(nodeId, "morphoBlue.supplyCollateral", args, {}),
+    withdrawCollateral: (nodeId, args) => builder.call(nodeId, "morphoBlue.withdrawCollateral", args, {
+      withdrawn: "resource",
+      collateralWithdrawn: "uint256"
+    }),
+    borrow: (nodeId, args) => builder.call(nodeId, "morphoBlue.borrow", args, {
+      borrowed: "resource",
+      assetsBorrowed: "uint256",
+      sharesBorrowed: "uint256"
+    }),
+    repay: (nodeId, args) => builder.call(nodeId, "morphoBlue.repay", args, {
+      actualRepaid: "uint256",
+      sharesRepaid: "uint256",
+      residual: "resource"
+    }),
+    supply: (nodeId, args) => builder.call(nodeId, "morphoBlue.supply", args, {
+      assetsSupplied: "uint256",
+      sharesSupplied: "uint256",
+      residual: "resource"
+    }),
+    withdraw: (nodeId, args) => builder.call(nodeId, "morphoBlue.withdraw", args, {
+      withdrawn: "resource",
+      assetsWithdrawn: "uint256",
+      sharesWithdrawn: "uint256"
+    }),
+    getPosition: (nodeId, args) => builder.call(nodeId, "morphoBlue.getPosition", args, {
+      supplyShares: "uint256",
+      borrowShares: "uint128",
+      collateral: "uint128"
+    })
+  },
+  paraswap: {
+    buy: (nodeId, args) => builder.call(nodeId, "paraswap.buy", args, {
+      amountOut: "resource",
+      unspentIn: "resource"
+    })
   }
 });
 export {

package/dist/generated/operations.generated.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/generated/operations.generated.ts"],"sourcesContent":["// AUTO-GENERATED from manifest.json — do not edit by hand.\n// Regenerate with: yarn workspace @lifi/composer-sdk generate\n\nimport type {\n  AnyBindable,\n  FlowBuilderInternal,\n} from '../authoring/FlowBuilderCore.js';\nimport type { Bindable, OutputHandle } from '../authoring/handles.js';\nimport type {\n  CoreCallResult,\n  SignatureBind,\n  StaticCallResult,\n} from '../authoring/signatureArgs.js';\nimport {\n  buildCallWireFormat,\n  buildStaticCallWireFormat,\n} from '../authoring/signatureArgs.js';\nimport type { TypedGuard } from '../types.js';\n\nimport type {\n  CoreApproveConfig,\n  CoreAsResourceConfig,\n  CoreBalanceOfConfig,\n  CoreBpsDownConfig,\n  CoreBpsUpConfig,\n  CoreCallConfig,\n  CorePeekConfig,\n  CoreRawCallConfig,\n  CoreSplitConfig,\n  CoreStaticCallConfig,\n  CoreTransferConfig,\n  LifiSwapConfig,\n  LifiZapConfig,\n} from './config.generated.js';\n\n/** Split a resource into two outputs by basis-point ratio */\nexport interface CoreSplitArgs {\n  readonly bind: {\n    readonly source: Bindable<'resource'>;\n  };\n  readonly config: CoreSplitConfig;\n  readonly guards?: readonly TypedGuard<'a' | 'b'>[];\n}\n\n/** Merge two same-token resources into one by addition */\nexport interface CoreMergeArgs {\n  readonly bind: {\n    readonly a: Bindable<'resource'>;\n    readonly b: Bindable<'resource'>;\n  };\n  readonly guards?: readonly TypedGuard<'merged'>[];\n}\n\n/** Swap tokens via the LI.FI aggregator API */\nexport interface LifiSwapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiSwapConfig;\n  readonly guards?: readonly TypedGuard<'unspentIn'>[];\n}\n\n/** Assert that an account holds at least a minimum token balance */\nexport interface InvariantBalanceAtLeastArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Route tokens into a DeFi protocol position via the edge catalog */\nexport interface LifiZapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiZapConfig;\n  readonly guards?: readonly TypedGuard<'amountOut'>[];\n}\n\n/** Add two unsigned integers (a + b) */\nexport interface CoreAddArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Subtract b from a (a - b); reverts on underflow */\nexport interface CoreSubtractArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Multiply two unsigned integers (a * b) */\nexport interface CoreMultiplyArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Divide a by b, rounding toward zero */\nexport interface CoreDivideDownArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Divide a by b, rounding away from zero */\nexport interface CoreDivideUpArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Multiply value by basis points and divide by 10000, rounding down */\nexport interface CoreBpsDownArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: CoreBpsDownConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Multiply value by basis points and divide by 10000, rounding up */\nexport interface CoreBpsUpArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: CoreBpsUpConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Assert a == b; reverts if not equal */\nexport interface CoreAssertEqualArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a != b; reverts if equal */\nexport interface CoreAssertNotEqualArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a > b; reverts if a <= b */\nexport interface CoreAssertGtArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a >= b; reverts if a < b */\nexport interface CoreAssertGteArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a < b; reverts if a >= b */\nexport interface CoreAssertLtArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a <= b; reverts if a > b */\nexport interface CoreAssertLteArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert min <= value <= max; reverts if value is outside the range */\nexport interface CoreAssertInRangeArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n    readonly min: Bindable<'uint256'>;\n    readonly max: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Approve an ERC20 spender for the given token and amount */\nexport interface CoreApproveArgs {\n  readonly bind: {\n    readonly amount: Bindable<'resource'>;\n  };\n  readonly config: CoreApproveConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Read an ERC20 balance, producing a resource */\nexport interface CoreBalanceOfArgs {\n  readonly bind: Record<string, never>;\n  readonly config: CoreBalanceOfConfig;\n  readonly guards?: readonly TypedGuard<'balance'>[];\n}\n\n/** Transfer tokens to a recipient address, optionally specifying a partial amount */\nexport interface CoreTransferArgs {\n  readonly bind: {\n    readonly amount: Bindable<'resource'>;\n    readonly recipient: Bindable<'address'>;\n  };\n  readonly config: CoreTransferConfig;\n  readonly guards?: readonly TypedGuard<'transferred' | 'remainder'>[];\n}\n\n/** Invoke a smart contract function, optionally spending a token resource */\nexport interface CoreCallArgs<TSig extends string = string> {\n  readonly resource?: Bindable<'resource'>;\n  readonly bind: SignatureBind<TSig>;\n  readonly config: Omit<CoreCallConfig, 'args' | 'functionSignature'> & {\n    readonly functionSignature: TSig;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Read from a smart contract at runtime (StaticCall); result is fresh at execution time */\nexport interface CoreStaticCallArgs<TSig extends string = string> {\n  readonly bind: SignatureBind<TSig>;\n  readonly config: Omit<CoreStaticCallConfig, 'args' | 'functionSignature'> & {\n    readonly functionSignature: TSig;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Invoke a contract with pre-encoded calldata */\nexport interface CoreRawCallArgs {\n  readonly bind: Record<string, never>;\n  readonly config: CoreRawCallConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Graduate a raw handle to a resource, enabling slippage surfacing and linearity tracking */\nexport interface CoreAsResourceArgs {\n  readonly bind: {\n    readonly handle: Bindable<'uint256'>;\n  };\n  readonly config: CoreAsResourceConfig;\n  readonly guards?: readonly TypedGuard<'resource'>[];\n}\n\n/** Read a smart contract value at compile time (off-chain eth_call); result is baked as a literal */\nexport interface CorePeekArgs {\n  readonly bind: Record<string, never>;\n  readonly config: CorePeekConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\nexport interface CoreSplitOutputs {\n  readonly a: OutputHandle<'resource'>;\n  readonly b: OutputHandle<'resource'>;\n}\n\nexport interface CoreMergeOutputs {\n  readonly merged: OutputHandle<'resource'>;\n}\n\nexport interface LifiSwapOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n  readonly unspentIn: OutputHandle<'resource'>;\n}\n\nexport interface LifiZapOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n}\n\nexport interface CoreAddOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreSubtractOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreMultiplyOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreDivideDownOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreDivideUpOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreBpsDownOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreBpsUpOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreBalanceOfOutputs {\n  readonly balance: OutputHandle<'resource'>;\n}\n\nexport interface CoreTransferOutputs {\n  readonly transferred: OutputHandle<'resource'>;\n  readonly remainder: OutputHandle<'resource'>;\n}\n\nexport interface CoreRawCallOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreAsResourceOutputs {\n  readonly resource: OutputHandle<'resource'>;\n}\n\nexport interface CorePeekOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport type GeneratedOps = {\n  readonly core: {\n    /** Split a resource into two outputs by basis-point ratio — original id: \"core.split\" */\n    readonly split: (nodeId: string, args: CoreSplitArgs) => CoreSplitOutputs;\n    /** Merge two same-token resources into one by addition — original id: \"core.merge\" */\n    readonly merge: (nodeId: string, args: CoreMergeArgs) => CoreMergeOutputs;\n    /** Add two unsigned integers (a + b) — original id: \"core.add\" */\n    readonly add: (nodeId: string, args: CoreAddArgs) => CoreAddOutputs;\n    /** Subtract b from a (a - b); reverts on underflow — original id: \"core.subtract\" */\n    readonly subtract: (\n      nodeId: string,\n      args: CoreSubtractArgs,\n    ) => CoreSubtractOutputs;\n    /** Multiply two unsigned integers (a * b) — original id: \"core.multiply\" */\n    readonly multiply: (\n      nodeId: string,\n      args: CoreMultiplyArgs,\n    ) => CoreMultiplyOutputs;\n    /** Divide a by b, rounding toward zero — original id: \"core.divideDown\" */\n    readonly divideDown: (\n      nodeId: string,\n      args: CoreDivideDownArgs,\n    ) => CoreDivideDownOutputs;\n    /** Divide a by b, rounding away from zero — original id: \"core.divideUp\" */\n    readonly divideUp: (\n      nodeId: string,\n      args: CoreDivideUpArgs,\n    ) => CoreDivideUpOutputs;\n    /** Multiply value by basis points and divide by 10000, rounding down — original id: \"core.bpsDown\" */\n    readonly bpsDown: (\n      nodeId: string,\n      args: CoreBpsDownArgs,\n    ) => CoreBpsDownOutputs;\n    /** Multiply value by basis points and divide by 10000, rounding up — original id: \"core.bpsUp\" */\n    readonly bpsUp: (nodeId: string, args: CoreBpsUpArgs) => CoreBpsUpOutputs;\n    /** Assert a == b; reverts if not equal — original id: \"core.assertEqual\" */\n    readonly assertEqual: (nodeId: string, args: CoreAssertEqualArgs) => void;\n    /** Assert a != b; reverts if equal — original id: \"core.assertNotEqual\" */\n    readonly assertNotEqual: (\n      nodeId: string,\n      args: CoreAssertNotEqualArgs,\n    ) => void;\n    /** Assert a > b; reverts if a <= b — original id: \"core.assertGt\" */\n    readonly assertGt: (nodeId: string, args: CoreAssertGtArgs) => void;\n    /** Assert a >= b; reverts if a < b — original id: \"core.assertGte\" */\n    readonly assertGte: (nodeId: string, args: CoreAssertGteArgs) => void;\n    /** Assert a < b; reverts if a >= b — original id: \"core.assertLt\" */\n    readonly assertLt: (nodeId: string, args: CoreAssertLtArgs) => void;\n    /** Assert a <= b; reverts if a > b — original id: \"core.assertLte\" */\n    readonly assertLte: (nodeId: string, args: CoreAssertLteArgs) => void;\n    /** Assert min <= value <= max; reverts if value is outside the range — original id: \"core.assertInRange\" */\n    readonly assertInRange: (\n      nodeId: string,\n      args: CoreAssertInRangeArgs,\n    ) => void;\n    /** Approve an ERC20 spender for the given token and amount — original id: \"core.approve\" */\n    readonly approve: (nodeId: string, args: CoreApproveArgs) => void;\n    /** Read an ERC20 balance, producing a resource — original id: \"core.balanceOf\" */\n    readonly balanceOf: (\n      nodeId: string,\n      args: CoreBalanceOfArgs,\n    ) => CoreBalanceOfOutputs;\n    /** Transfer tokens to a recipient address, optionally specifying a partial amount — original id: \"core.transfer\" */\n    readonly transfer: (\n      nodeId: string,\n      args: CoreTransferArgs,\n    ) => CoreTransferOutputs;\n    /** Invoke a smart contract function, optionally spending a token resource — original id: \"core.call\" */\n    readonly call: <TSig extends string>(\n      nodeId: string,\n      args: CoreCallArgs<TSig>,\n    ) => CoreCallResult<TSig>;\n    /** Read from a smart contract at runtime (StaticCall); result is fresh at execution time — original id: \"core.staticCall\" */\n    readonly staticCall: <TSig extends string>(\n      nodeId: string,\n      args: CoreStaticCallArgs<TSig>,\n    ) => StaticCallResult<TSig>;\n    /** Invoke a contract with pre-encoded calldata — original id: \"core.rawCall\" */\n    readonly rawCall: (\n      nodeId: string,\n      args: CoreRawCallArgs,\n    ) => CoreRawCallOutputs;\n    /** Graduate a raw handle to a resource, enabling slippage surfacing and linearity tracking — original id: \"core.asResource\" */\n    readonly asResource: (\n      nodeId: string,\n      args: CoreAsResourceArgs,\n    ) => CoreAsResourceOutputs;\n    /** Read a smart contract value at compile time (off-chain eth_call); result is baked as a literal — original id: \"core.peek\" */\n    readonly peek: (nodeId: string, args: CorePeekArgs) => CorePeekOutputs;\n  };\n  readonly lifi: {\n    /** Swap tokens via the LI.FI aggregator API — original id: \"lifi.swap\" */\n    readonly swap: (nodeId: string, args: LifiSwapArgs) => LifiSwapOutputs;\n    /** Route tokens into a DeFi protocol position via the edge catalog — original id: \"lifi.zap\" */\n    readonly zap: (nodeId: string, args: LifiZapArgs) => LifiZapOutputs;\n  };\n  readonly invariant: {\n    /** Assert that an account holds at least a minimum token balance — original id: \"invariant.balanceAtLeast\" */\n    readonly balanceAtLeast: (\n      nodeId: string,\n      args: InvariantBalanceAtLeastArgs,\n    ) => void;\n  };\n};\n\nexport const bindGeneratedOps = (\n  builder: FlowBuilderInternal,\n): GeneratedOps => ({\n  core: {\n    split: (nodeId: string, args: CoreSplitArgs) =>\n      builder.call(nodeId, 'core.split', args, {\n        a: 'resource',\n        b: 'resource',\n      } as const),\n    merge: (nodeId: string, args: CoreMergeArgs) =>\n      builder.call(nodeId, 'core.merge', args, { merged: 'resource' } as const),\n    add: (nodeId: string, args: CoreAddArgs) =>\n      builder.call(nodeId, 'core.add', args, { result: 'uint256' } as const),\n    subtract: (nodeId: string, args: CoreSubtractArgs) =>\n      builder.call(nodeId, 'core.subtract', args, {\n        result: 'uint256',\n      } as const),\n    multiply: (nodeId: string, args: CoreMultiplyArgs) =>\n      builder.call(nodeId, 'core.multiply', args, {\n        result: 'uint256',\n      } as const),\n    divideDown: (nodeId: string, args: CoreDivideDownArgs) =>\n      builder.call(nodeId, 'core.divideDown', args, {\n        result: 'uint256',\n      } as const),\n    divideUp: (nodeId: string, args: CoreDivideUpArgs) =>\n      builder.call(nodeId, 'core.divideUp', args, {\n        result: 'uint256',\n      } as const),\n    bpsDown: (nodeId: string, args: CoreBpsDownArgs) =>\n      builder.call(nodeId, 'core.bpsDown', args, {\n        result: 'uint256',\n      } as const),\n    bpsUp: (nodeId: string, args: CoreBpsUpArgs) =>\n      builder.call(nodeId, 'core.bpsUp', args, { result: 'uint256' } as const),\n    assertEqual: (nodeId: string, args: CoreAssertEqualArgs) =>\n      builder.call(nodeId, 'core.assertEqual', args, {}),\n    assertNotEqual: (nodeId: string, args: CoreAssertNotEqualArgs) =>\n      builder.call(nodeId, 'core.assertNotEqual', args, {}),\n    assertGt: (nodeId: string, args: CoreAssertGtArgs) =>\n      builder.call(nodeId, 'core.assertGt', args, {}),\n    assertGte: (nodeId: string, args: CoreAssertGteArgs) =>\n      builder.call(nodeId, 'core.assertGte', args, {}),\n    assertLt: (nodeId: string, args: CoreAssertLtArgs) =>\n      builder.call(nodeId, 'core.assertLt', args, {}),\n    assertLte: (nodeId: string, args: CoreAssertLteArgs) =>\n      builder.call(nodeId, 'core.assertLte', args, {}),\n    assertInRange: (nodeId: string, args: CoreAssertInRangeArgs) =>\n      builder.call(nodeId, 'core.assertInRange', args, {}),\n    approve: (nodeId: string, args: CoreApproveArgs) =>\n      builder.call(nodeId, 'core.approve', args, {}),\n    balanceOf: (nodeId: string, args: CoreBalanceOfArgs) =>\n      builder.call(nodeId, 'core.balanceOf', args, {\n        balance: 'resource',\n      } as const),\n    transfer: (nodeId: string, args: CoreTransferArgs) =>\n      builder.call(nodeId, 'core.transfer', args, {\n        transferred: 'resource',\n        remainder: 'resource',\n      } as const),\n    call: <TSig extends string>(nodeId: string, args: CoreCallArgs<TSig>) => {\n      const wire = buildCallWireFormat({\n        resource: args.resource,\n        bind: args.bind as Record<string, AnyBindable>,\n        config: args.config as Record<string, unknown>,\n        guards: args.guards,\n      });\n      return builder.call(nodeId, wire.op, wire, {\n        result: 'uint256',\n      } as const) as unknown as CoreCallResult<TSig>;\n    },\n    staticCall: <TSig extends string>(\n      nodeId: string,\n      args: CoreStaticCallArgs<TSig>,\n    ) =>\n      builder.call(\n        nodeId,\n        'core.staticCall',\n        buildStaticCallWireFormat({\n          bind: args.bind as Record<string, AnyBindable>,\n          config: args.config as Record<string, unknown>,\n          guards: args.guards,\n        }),\n        { result: 'uint256' } as const,\n      ) as unknown as StaticCallResult<TSig>,\n    rawCall: (nodeId: string, args: CoreRawCallArgs) =>\n      builder.call(nodeId, 'core.rawCall', args, {\n        result: 'uint256',\n      } as const),\n    asResource: (nodeId: string, args: CoreAsResourceArgs) =>\n      builder.call(nodeId, 'core.asResource', args, {\n        resource: 'resource',\n      } as const),\n    peek: (nodeId: string, args: CorePeekArgs) =>\n      builder.call(nodeId, 'core.peek', args, { result: 'uint256' } as const),\n  },\n  lifi: {\n    swap: (nodeId: string, args: LifiSwapArgs) =>\n      builder.call(nodeId, 'lifi.swap', args, {\n        amountOut: 'resource',\n        unspentIn: 'resource',\n      } as const),\n    zap: (nodeId: string, args: LifiZapArgs) =>\n      builder.call(nodeId, 'lifi.zap', args, {\n        amountOut: 'resource',\n      } as const),\n  },\n  invariant: {\n    balanceAtLeast: (nodeId: string, args: InvariantBalanceAtLeastArgs) =>\n      builder.call(nodeId, 'invariant.balanceAtLeast', args, {}),\n  },\n});\n"],"mappings":"AAaA;AAAA,EACE;AAAA,EACA;AAAA,OACK;AA+aA,MAAM,mBAAmB,CAC9B,aACkB;AAAA,EAClB,MAAM;AAAA,IACJ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM;AAAA,MACvC,GAAG;AAAA,MACH,GAAG;AAAA,IACL,CAAU;AAAA,IACZ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM,EAAE,QAAQ,WAAW,CAAU;AAAA,IAC1E,KAAK,CAAC,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY,MAAM,EAAE,QAAQ,UAAU,CAAU;AAAA,IACvE,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM;AAAA,MAC1C,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM;AAAA,MAC1C,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,YAAY,CAAC,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM;AAAA,MAC5C,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM;AAAA,MAC1C,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,SAAS,CAAC,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;AAAA,MACzC,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM,EAAE,QAAQ,UAAU,CAAU;AAAA,IACzE,aAAa,CAAC,QAAgB,SAC5B,QAAQ,KAAK,QAAQ,oBAAoB,MAAM,CAAC,CAAC;AAAA,IACnD,gBAAgB,CAAC,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,uBAAuB,MAAM,CAAC,CAAC;AAAA,IACtD,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;AAAA,IAChD,WAAW,CAAC,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,MAAM,CAAC,CAAC;AAAA,IACjD,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;AAAA,IAChD,WAAW,CAAC,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,MAAM,CAAC,CAAC;AAAA,IACjD,eAAe,CAAC,QAAgB,SAC9B,QAAQ,KAAK,QAAQ,sBAAsB,MAAM,CAAC,CAAC;AAAA,IACrD,SAAS,CAAC,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;AAAA,IAC/C,WAAW,CAAC,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,MAAM;AAAA,MAC3C,SAAS;AAAA,IACX,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM;AAAA,MAC1C,aAAa;AAAA,MACb,WAAW;AAAA,IACb,CAAU;AAAA,IACZ,MAAM,CAAsB,QAAgB,SAA6B;AACvE,YAAM,OAAO,oBAAoB;AAAA,QAC/B,UAAU,KAAK;AAAA,QACf,MAAM,KAAK;AAAA,QACX,QAAQ,KAAK;AAAA,QACb,QAAQ,KAAK;AAAA,MACf,CAAC;AACD,aAAO,QAAQ,KAAK,QAAQ,KAAK,IAAI,MAAM;AAAA,QACzC,QAAQ;AAAA,MACV,CAAU;AAAA,IACZ;AAAA,IACA,YAAY,CACV,QACA,SAEA,QAAQ;AAAA,MACN;AAAA,MACA;AAAA,MACA,0BAA0B;AAAA,QACxB,MAAM,KAAK;AAAA,QACX,QAAQ,KAAK;AAAA,QACb,QAAQ,KAAK;AAAA,MACf,CAAC;AAAA,MACD,EAAE,QAAQ,UAAU;AAAA,IACtB;AAAA,IACF,SAAS,CAAC,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;AAAA,MACzC,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,YAAY,CAAC,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM;AAAA,MAC5C,UAAU;AAAA,IACZ,CAAU;AAAA,IACZ,MAAM,CAAC,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM,EAAE,QAAQ,UAAU,CAAU;AAAA,EAC1E;AAAA,EACA,MAAM;AAAA,IACJ,MAAM,CAAC,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM;AAAA,MACtC,WAAW;AAAA,MACX,WAAW;AAAA,IACb,CAAU;AAAA,IACZ,KAAK,CAAC,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY,MAAM;AAAA,MACrC,WAAW;AAAA,IACb,CAAU;AAAA,EACd;AAAA,EACA,WAAW;AAAA,IACT,gBAAgB,CAAC,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,4BAA4B,MAAM,CAAC,CAAC;AAAA,EAC7D;AACF;","names":[]}
+{"version":3,"sources":["../../src/generated/operations.generated.ts"],"sourcesContent":["// AUTO-GENERATED from manifest.json — do not edit by hand.\n// Regenerate with: yarn workspace @lifi/composer-sdk generate\n\nimport type {\n  AnyBindable,\n  FlowBuilderInternal,\n} from '../authoring/FlowBuilderCore.js';\nimport type { Bindable, OutputHandle } from '../authoring/handles.js';\nimport type {\n  CoreCallResult,\n  SignatureBind,\n  StaticCallResult,\n} from '../authoring/signatureArgs.js';\nimport {\n  buildCallWireFormat,\n  buildStaticCallWireFormat,\n} from '../authoring/signatureArgs.js';\nimport type { TypedGuard } from '../types.js';\n\nimport type {\n  AaveBorrowConfig,\n  AaveClaimRewardsConfig,\n  AaveGetHealthFactorConfig,\n  AaveRepayConfig,\n  AaveRepayWithATokensConfig,\n  AaveSetEModeConfig,\n  CoreApproveConfig,\n  CoreAsResourceConfig,\n  CoreBalanceOfConfig,\n  CoreBpsDownConfig,\n  CoreBpsUpConfig,\n  CoreCallConfig,\n  CorePeekConfig,\n  CoreRawCallConfig,\n  CoreSplitConfig,\n  CoreStaticCallConfig,\n  CoreTransferConfig,\n  LifiFlashloanRepayConfig,\n  LifiSwapConfig,\n  LifiZapConfig,\n  MorphoBlueBorrowConfig,\n  MorphoBlueGetPositionConfig,\n  MorphoBlueRepayConfig,\n  MorphoBlueSupplyCollateralConfig,\n  MorphoBlueSupplyConfig,\n  MorphoBlueWithdrawCollateralConfig,\n  MorphoBlueWithdrawConfig,\n  ParaswapBuyConfig,\n} from './config.generated.js';\n\n/** Split a resource into two outputs by basis-point ratio */\nexport interface CoreSplitArgs {\n  readonly bind: {\n    readonly source: Bindable<'resource'>;\n  };\n  readonly config: CoreSplitConfig;\n  readonly guards?: readonly TypedGuard<'a' | 'b'>[];\n}\n\n/** Merge two same-token resources into one by addition */\nexport interface CoreMergeArgs {\n  readonly bind: {\n    readonly a: Bindable<'resource'>;\n    readonly b: Bindable<'resource'>;\n  };\n  readonly guards?: readonly TypedGuard<'merged'>[];\n}\n\n/** Swap tokens via the LI.FI aggregator API */\nexport interface LifiSwapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiSwapConfig;\n  readonly guards?: readonly TypedGuard<'unspentIn'>[];\n}\n\n/** Assert that an account holds at least a minimum token balance */\nexport interface InvariantBalanceAtLeastArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Add two unsigned integers (a + b) */\nexport interface CoreAddArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Subtract b from a (a - b); reverts on underflow */\nexport interface CoreSubtractArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Multiply two unsigned integers (a * b) */\nexport interface CoreMultiplyArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Divide a by b, rounding toward zero */\nexport interface CoreDivideDownArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Divide a by b, rounding away from zero */\nexport interface CoreDivideUpArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Multiply value by basis points and divide by 10000, rounding down */\nexport interface CoreBpsDownArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: CoreBpsDownConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Multiply value by basis points and divide by 10000, rounding up */\nexport interface CoreBpsUpArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: CoreBpsUpConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Assert a == b; reverts if not equal */\nexport interface CoreAssertEqualArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a != b; reverts if equal */\nexport interface CoreAssertNotEqualArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a > b; reverts if a <= b */\nexport interface CoreAssertGtArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a >= b; reverts if a < b */\nexport interface CoreAssertGteArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a < b; reverts if a >= b */\nexport interface CoreAssertLtArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a <= b; reverts if a > b */\nexport interface CoreAssertLteArgs {\n  readonly bind: {\n    readonly a: Bindable<'uint256'>;\n    readonly b: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert min <= value <= max; reverts if value is outside the range */\nexport interface CoreAssertInRangeArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n    readonly min: Bindable<'uint256'>;\n    readonly max: Bindable<'uint256'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Approve an ERC20 spender for the given token and amount */\nexport interface CoreApproveArgs {\n  readonly bind: {\n    readonly amount: Bindable<'resource'>;\n  };\n  readonly config: CoreApproveConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Read an ERC20 balance, producing a resource */\nexport interface CoreBalanceOfArgs {\n  readonly bind: Record<string, never>;\n  readonly config: CoreBalanceOfConfig;\n  readonly guards?: readonly TypedGuard<'balance'>[];\n}\n\n/** Transfer tokens to a recipient address, optionally specifying a partial amount */\nexport interface CoreTransferArgs {\n  readonly bind: {\n    readonly amount: Bindable<'resource'>;\n    readonly recipient: Bindable<'address'>;\n  };\n  readonly config: CoreTransferConfig;\n  readonly guards?: readonly TypedGuard<'transferred' | 'remainder'>[];\n}\n\n/** Invoke a smart contract function, optionally spending a token resource */\nexport interface CoreCallArgs<TSig extends string = string> {\n  readonly resource?: Bindable<'resource'>;\n  readonly bind: SignatureBind<TSig>;\n  readonly config: Omit<CoreCallConfig, 'args' | 'functionSignature'> & {\n    readonly functionSignature: TSig;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Read from a smart contract at runtime (StaticCall); result is fresh at execution time */\nexport interface CoreStaticCallArgs<TSig extends string = string> {\n  readonly bind: SignatureBind<TSig>;\n  readonly config: Omit<CoreStaticCallConfig, 'args' | 'functionSignature'> & {\n    readonly functionSignature: TSig;\n  };\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Invoke a contract with pre-encoded calldata */\nexport interface CoreRawCallArgs {\n  readonly bind: Record<string, never>;\n  readonly config: CoreRawCallConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\n/** Graduate a raw handle to a resource, enabling slippage surfacing and linearity tracking */\nexport interface CoreAsResourceArgs {\n  readonly bind: {\n    readonly handle: Bindable<'uint256'>;\n  };\n  readonly config: CoreAsResourceConfig;\n  readonly guards?: readonly TypedGuard<'resource'>[];\n}\n\n/** Borrow an asset from an Aave v3 pool against existing collateral, exposing the borrowed asset as a Resource */\nexport interface AaveBorrowArgs {\n  readonly bind: Record<string, never>;\n  readonly config: AaveBorrowConfig;\n  readonly guards?: readonly TypedGuard<'debtBalance'>[];\n}\n\n/** Repay an Aave v3 variable-rate debt position with the supplied asset. mode: 'exact' passes the input handle amount; mode: 'max' passes type(uint256).max so Aave's Pool clamps paybackAmount to userVariableDebt exactly. Any unspent input is returned through the residual port. */\nexport interface AaveRepayArgs {\n  readonly bind: {\n    readonly assetIn: Bindable<'resource'>;\n    readonly onBehalfOf: Bindable<'address'>;\n  };\n  readonly config: AaveRepayConfig;\n  readonly guards?: readonly TypedGuard<'actualRepaid' | 'residual'>[];\n}\n\n/** Repay an Aave v3 variable-rate debt by burning the caller's aToken balance, returning any unspent residual */\nexport interface AaveRepayWithATokensArgs {\n  readonly bind: {\n    readonly aTokenIn: Bindable<'resource'>;\n  };\n  readonly config: AaveRepayWithATokensConfig;\n  readonly guards?: readonly TypedGuard<'actualRepaid' | 'residual'>[];\n}\n\n/** Claim a specific Aave v3 incentives reward token against a set of receipt-token positions, exposing the claimed amount as a Resource */\nexport interface AaveClaimRewardsArgs {\n  readonly bind: Record<string, never>;\n  readonly config: AaveClaimRewardsConfig;\n  readonly guards?: readonly TypedGuard<'claimedAmount'>[];\n}\n\n/** Switch the executionAddress's Aave v3 eMode category. 0 disables eMode. The pool reverts if the switch would make the position unhealthy or if any open borrow is for an asset outside the target category. */\nexport interface AaveSetEModeArgs {\n  readonly bind: Record<string, never>;\n  readonly config: AaveSetEModeConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Read the current Aave v3 health factor (WAD-scaled, 1e18; type(uint256).max for users with no debt) by static-calling IPool.getUserAccountData and decomposing the returned tuple. Exposes the healthFactor element as a uint256 handle suitable for use with core.numericInvariant. */\nexport interface AaveGetHealthFactorArgs {\n  readonly bind: Record<string, never>;\n  readonly config: AaveGetHealthFactorConfig;\n  readonly guards?: readonly TypedGuard<'healthFactor'>[];\n}\n\n/** Deposit the collateral asset of a Morpho Blue market on behalf of the execution proxy. mode: 'exact' pulls the input handle's amount. mode: 'all' reads the proxy's current ERC20 balance of the market's collateral token and pulls that amount, ignoring the input handle's literal value — note this pulls the proxy's total balance (including unrelated upstream residuals), not just the input port's delivery. Credits Position.collateral on the Morpho singleton; emits no return value and exposes no resource output (the collateral is non-transferable accounting state). */\nexport interface MorphoBlueSupplyCollateralArgs {\n  readonly bind: {\n    readonly assetIn: Bindable<'resource'>;\n  };\n  readonly config: MorphoBlueSupplyCollateralConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Withdraw collateral from a Morpho Blue market position to the receiver address. Exposes the withdrawn ERC20 amount as a Resource output. */\nexport interface MorphoBlueWithdrawCollateralArgs {\n  readonly bind: Record<string, never>;\n  readonly config: MorphoBlueWithdrawCollateralConfig;\n  readonly guards?: readonly TypedGuard<'collateralWithdrawn'>[];\n}\n\n/** Borrow the loan asset from a Morpho Blue market against existing collateral. Exposes the borrowed amount as a Resource and the (assetsBorrowed, sharesBorrowed) tuple as handles. */\nexport interface MorphoBlueBorrowArgs {\n  readonly bind: Record<string, never>;\n  readonly config: MorphoBlueBorrowConfig;\n  readonly guards?: readonly TypedGuard<'assetsBorrowed' | 'sharesBorrowed'>[];\n}\n\n/** Repay a Morpho Blue debt position with the supplied asset. mode: 'exact' repays the input handle amount; mode: 'max' reads Position.borrowShares via a precursor static call and repays in shares mode to retire the debt to the wei. Returns any unspent residual as a Resource. */\nexport interface MorphoBlueRepayArgs {\n  readonly bind: {\n    readonly assetIn: Bindable<'resource'>;\n    readonly onBehalfOf: Bindable<'address'>;\n  };\n  readonly config: MorphoBlueRepayConfig;\n  readonly guards?: readonly TypedGuard<\n    'actualRepaid' | 'sharesRepaid' | 'residual'\n  >[];\n}\n\n/** Supply the loan asset of a Morpho Blue market and receive supplyShares accounting credit. Returns the (assetsSupplied, sharesSupplied) tuple as handles and any unspent residual as a Resource. */\nexport interface MorphoBlueSupplyArgs {\n  readonly bind: {\n    readonly assetIn: Bindable<'resource'>;\n  };\n  readonly config: MorphoBlueSupplyConfig;\n  readonly guards?: readonly TypedGuard<\n    'assetsSupplied' | 'sharesSupplied' | 'residual'\n  >[];\n}\n\n/** Withdraw the loan asset from a Morpho Blue supply position. mode: 'exact' withdraws the configured amount; mode: 'max' reads Position.supplyShares via a precursor static call and burns all shares to retire the supply to the wei. Exposes the withdrawn amount as a Resource. */\nexport interface MorphoBlueWithdrawArgs {\n  readonly bind: Record<string, never>;\n  readonly config: MorphoBlueWithdrawConfig;\n  readonly guards?: readonly TypedGuard<\n    'assetsWithdrawn' | 'sharesWithdrawn'\n  >[];\n}\n\n/** Read a Morpho Blue Position struct via a static call on the singleton. Exposes (supplyShares, borrowShares, collateral) as handles whose kinds match the on-chain field types (uint256, uint128, uint128). */\nexport interface MorphoBlueGetPositionArgs {\n  readonly bind: Record<string, never>;\n  readonly config: MorphoBlueGetPositionConfig;\n  readonly guards?: readonly TypedGuard<\n    'supplyShares' | 'borrowShares' | 'collateral'\n  >[];\n}\n\n/** Transfer principal + fee back to the LiFi flashloan adapter for one leg */\nexport interface LifiFlashloanRepayArgs {\n  readonly bind: {\n    readonly funds: Bindable<'resource'>;\n    readonly feeBuffer?: Bindable<'resource'>;\n  };\n  readonly config: LifiFlashloanRepayConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Route tokens into a DeFi protocol position via the edge catalog */\nexport interface LifiZapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiZapConfig;\n  readonly guards?: readonly TypedGuard<'amountOut'>[];\n}\n\n/** Exact-output (BUY) swap via the Paraswap/Velora Market API: produce exactly `exactAmountOut` of the destination token, pulling only the source needed and exposing the genuinely-unspent source as `unspentIn`. */\nexport interface ParaswapBuyArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: ParaswapBuyConfig;\n  readonly guards?: readonly TypedGuard<'unspentIn'>[];\n}\n\n/** Read a smart contract value at compile time (off-chain eth_call); result is baked as a literal */\nexport interface CorePeekArgs {\n  readonly bind: Record<string, never>;\n  readonly config: CorePeekConfig;\n  readonly guards?: readonly TypedGuard<'result'>[];\n}\n\nexport interface CoreSplitOutputs {\n  readonly a: OutputHandle<'resource'>;\n  readonly b: OutputHandle<'resource'>;\n}\n\nexport interface CoreMergeOutputs {\n  readonly merged: OutputHandle<'resource'>;\n}\n\nexport interface LifiSwapOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n  readonly unspentIn: OutputHandle<'resource'>;\n}\n\nexport interface CoreAddOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreSubtractOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreMultiplyOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreDivideDownOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreDivideUpOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreBpsDownOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreBpsUpOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreBalanceOfOutputs {\n  readonly balance: OutputHandle<'resource'>;\n}\n\nexport interface CoreTransferOutputs {\n  readonly transferred: OutputHandle<'resource'>;\n  readonly remainder: OutputHandle<'resource'>;\n}\n\nexport interface CoreRawCallOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport interface CoreAsResourceOutputs {\n  readonly resource: OutputHandle<'resource'>;\n}\n\nexport interface AaveBorrowOutputs {\n  readonly borrowed: OutputHandle<'resource'>;\n  readonly debtBalance: OutputHandle<'uint256'>;\n}\n\nexport interface AaveRepayOutputs {\n  readonly actualRepaid: OutputHandle<'uint256'>;\n  readonly residual: OutputHandle<'resource'>;\n}\n\nexport interface AaveRepayWithATokensOutputs {\n  readonly actualRepaid: OutputHandle<'uint256'>;\n  readonly residual: OutputHandle<'resource'>;\n}\n\nexport interface AaveClaimRewardsOutputs {\n  readonly claimed: OutputHandle<'resource'>;\n  readonly claimedAmount: OutputHandle<'uint256'>;\n}\n\nexport interface AaveGetHealthFactorOutputs {\n  readonly healthFactor: OutputHandle<'uint256'>;\n}\n\nexport interface MorphoBlueWithdrawCollateralOutputs {\n  readonly withdrawn: OutputHandle<'resource'>;\n  readonly collateralWithdrawn: OutputHandle<'uint256'>;\n}\n\nexport interface MorphoBlueBorrowOutputs {\n  readonly borrowed: OutputHandle<'resource'>;\n  readonly assetsBorrowed: OutputHandle<'uint256'>;\n  readonly sharesBorrowed: OutputHandle<'uint256'>;\n}\n\nexport interface MorphoBlueRepayOutputs {\n  readonly actualRepaid: OutputHandle<'uint256'>;\n  readonly sharesRepaid: OutputHandle<'uint256'>;\n  readonly residual: OutputHandle<'resource'>;\n}\n\nexport interface MorphoBlueSupplyOutputs {\n  readonly assetsSupplied: OutputHandle<'uint256'>;\n  readonly sharesSupplied: OutputHandle<'uint256'>;\n  readonly residual: OutputHandle<'resource'>;\n}\n\nexport interface MorphoBlueWithdrawOutputs {\n  readonly withdrawn: OutputHandle<'resource'>;\n  readonly assetsWithdrawn: OutputHandle<'uint256'>;\n  readonly sharesWithdrawn: OutputHandle<'uint256'>;\n}\n\nexport interface MorphoBlueGetPositionOutputs {\n  readonly supplyShares: OutputHandle<'uint256'>;\n  readonly borrowShares: OutputHandle<'uint128'>;\n  readonly collateral: OutputHandle<'uint128'>;\n}\n\nexport interface LifiZapOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n}\n\nexport interface ParaswapBuyOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n  readonly unspentIn: OutputHandle<'resource'>;\n}\n\nexport interface CorePeekOutputs {\n  readonly result: OutputHandle<'uint256'>;\n}\n\nexport type GeneratedOps = {\n  readonly core: {\n    /** Split a resource into two outputs by basis-point ratio — original id: \"core.split\" */\n    readonly split: (nodeId: string, args: CoreSplitArgs) => CoreSplitOutputs;\n    /** Merge two same-token resources into one by addition — original id: \"core.merge\" */\n    readonly merge: (nodeId: string, args: CoreMergeArgs) => CoreMergeOutputs;\n    /** Add two unsigned integers (a + b) — original id: \"core.add\" */\n    readonly add: (nodeId: string, args: CoreAddArgs) => CoreAddOutputs;\n    /** Subtract b from a (a - b); reverts on underflow — original id: \"core.subtract\" */\n    readonly subtract: (\n      nodeId: string,\n      args: CoreSubtractArgs,\n    ) => CoreSubtractOutputs;\n    /** Multiply two unsigned integers (a * b) — original id: \"core.multiply\" */\n    readonly multiply: (\n      nodeId: string,\n      args: CoreMultiplyArgs,\n    ) => CoreMultiplyOutputs;\n    /** Divide a by b, rounding toward zero — original id: \"core.divideDown\" */\n    readonly divideDown: (\n      nodeId: string,\n      args: CoreDivideDownArgs,\n    ) => CoreDivideDownOutputs;\n    /** Divide a by b, rounding away from zero — original id: \"core.divideUp\" */\n    readonly divideUp: (\n      nodeId: string,\n      args: CoreDivideUpArgs,\n    ) => CoreDivideUpOutputs;\n    /** Multiply value by basis points and divide by 10000, rounding down — original id: \"core.bpsDown\" */\n    readonly bpsDown: (\n      nodeId: string,\n      args: CoreBpsDownArgs,\n    ) => CoreBpsDownOutputs;\n    /** Multiply value by basis points and divide by 10000, rounding up — original id: \"core.bpsUp\" */\n    readonly bpsUp: (nodeId: string, args: CoreBpsUpArgs) => CoreBpsUpOutputs;\n    /** Assert a == b; reverts if not equal — original id: \"core.assertEqual\" */\n    readonly assertEqual: (nodeId: string, args: CoreAssertEqualArgs) => void;\n    /** Assert a != b; reverts if equal — original id: \"core.assertNotEqual\" */\n    readonly assertNotEqual: (\n      nodeId: string,\n      args: CoreAssertNotEqualArgs,\n    ) => void;\n    /** Assert a > b; reverts if a <= b — original id: \"core.assertGt\" */\n    readonly assertGt: (nodeId: string, args: CoreAssertGtArgs) => void;\n    /** Assert a >= b; reverts if a < b — original id: \"core.assertGte\" */\n    readonly assertGte: (nodeId: string, args: CoreAssertGteArgs) => void;\n    /** Assert a < b; reverts if a >= b — original id: \"core.assertLt\" */\n    readonly assertLt: (nodeId: string, args: CoreAssertLtArgs) => void;\n    /** Assert a <= b; reverts if a > b — original id: \"core.assertLte\" */\n    readonly assertLte: (nodeId: string, args: CoreAssertLteArgs) => void;\n    /** Assert min <= value <= max; reverts if value is outside the range — original id: \"core.assertInRange\" */\n    readonly assertInRange: (\n      nodeId: string,\n      args: CoreAssertInRangeArgs,\n    ) => void;\n    /** Approve an ERC20 spender for the given token and amount — original id: \"core.approve\" */\n    readonly approve: (nodeId: string, args: CoreApproveArgs) => void;\n    /** Read an ERC20 balance, producing a resource — original id: \"core.balanceOf\" */\n    readonly balanceOf: (\n      nodeId: string,\n      args: CoreBalanceOfArgs,\n    ) => CoreBalanceOfOutputs;\n    /** Transfer tokens to a recipient address, optionally specifying a partial amount — original id: \"core.transfer\" */\n    readonly transfer: (\n      nodeId: string,\n      args: CoreTransferArgs,\n    ) => CoreTransferOutputs;\n    /** Invoke a smart contract function, optionally spending a token resource — original id: \"core.call\" */\n    readonly call: <TSig extends string>(\n      nodeId: string,\n      args: CoreCallArgs<TSig>,\n    ) => CoreCallResult<TSig>;\n    /** Read from a smart contract at runtime (StaticCall); result is fresh at execution time — original id: \"core.staticCall\" */\n    readonly staticCall: <TSig extends string>(\n      nodeId: string,\n      args: CoreStaticCallArgs<TSig>,\n    ) => StaticCallResult<TSig>;\n    /** Invoke a contract with pre-encoded calldata — original id: \"core.rawCall\" */\n    readonly rawCall: (\n      nodeId: string,\n      args: CoreRawCallArgs,\n    ) => CoreRawCallOutputs;\n    /** Graduate a raw handle to a resource, enabling slippage surfacing and linearity tracking — original id: \"core.asResource\" */\n    readonly asResource: (\n      nodeId: string,\n      args: CoreAsResourceArgs,\n    ) => CoreAsResourceOutputs;\n    /** Read a smart contract value at compile time (off-chain eth_call); result is baked as a literal — original id: \"core.peek\" */\n    readonly peek: (nodeId: string, args: CorePeekArgs) => CorePeekOutputs;\n  };\n  readonly lifi: {\n    /** Swap tokens via the LI.FI aggregator API — original id: \"lifi.swap\" */\n    readonly swap: (nodeId: string, args: LifiSwapArgs) => LifiSwapOutputs;\n    /** Transfer principal + fee back to the LiFi flashloan adapter for one leg — original id: \"lifi.flashloanRepay\" */\n    readonly flashloanRepay: (\n      nodeId: string,\n      args: LifiFlashloanRepayArgs,\n    ) => void;\n    /** Route tokens into a DeFi protocol position via the edge catalog — original id: \"lifi.zap\" */\n    readonly zap: (nodeId: string, args: LifiZapArgs) => LifiZapOutputs;\n  };\n  readonly invariant: {\n    /** Assert that an account holds at least a minimum token balance — original id: \"invariant.balanceAtLeast\" */\n    readonly balanceAtLeast: (\n      nodeId: string,\n      args: InvariantBalanceAtLeastArgs,\n    ) => void;\n  };\n  readonly aave: {\n    /** Borrow an asset from an Aave v3 pool against existing collateral, exposing the borrowed asset as a Resource — original id: \"aave.borrow\" */\n    readonly borrow: (\n      nodeId: string,\n      args: AaveBorrowArgs,\n    ) => AaveBorrowOutputs;\n    /** Repay an Aave v3 variable-rate debt position with the supplied asset. mode: 'exact' passes the input handle amount; mode: 'max' passes type(uint256).max so Aave's Pool clamps paybackAmount to userVariableDebt exactly. Any unspent input is returned through the residual port. — original id: \"aave.repay\" */\n    readonly repay: (nodeId: string, args: AaveRepayArgs) => AaveRepayOutputs;\n    /** Repay an Aave v3 variable-rate debt by burning the caller's aToken balance, returning any unspent residual — original id: \"aave.repayWithATokens\" */\n    readonly repayWithATokens: (\n      nodeId: string,\n      args: AaveRepayWithATokensArgs,\n    ) => AaveRepayWithATokensOutputs;\n    /** Claim a specific Aave v3 incentives reward token against a set of receipt-token positions, exposing the claimed amount as a Resource — original id: \"aave.claimRewards\" */\n    readonly claimRewards: (\n      nodeId: string,\n      args: AaveClaimRewardsArgs,\n    ) => AaveClaimRewardsOutputs;\n    /** Switch the executionAddress's Aave v3 eMode category. 0 disables eMode. The pool reverts if the switch would make the position unhealthy or if any open borrow is for an asset outside the target category. — original id: \"aave.setEMode\" */\n    readonly setEMode: (nodeId: string, args: AaveSetEModeArgs) => void;\n    /** Read the current Aave v3 health factor (WAD-scaled, 1e18; type(uint256).max for users with no debt) by static-calling IPool.getUserAccountData and decomposing the returned tuple. Exposes the healthFactor element as a uint256 handle suitable for use with core.numericInvariant. — original id: \"aave.getHealthFactor\" */\n    readonly getHealthFactor: (\n      nodeId: string,\n      args: AaveGetHealthFactorArgs,\n    ) => AaveGetHealthFactorOutputs;\n  };\n  readonly morphoBlue: {\n    /** Deposit the collateral asset of a Morpho Blue market on behalf of the execution proxy. mode: 'exact' pulls the input handle's amount. mode: 'all' reads the proxy's current ERC20 balance of the market's collateral token and pulls that amount, ignoring the input handle's literal value — note this pulls the proxy's total balance (including unrelated upstream residuals), not just the input port's delivery. Credits Position.collateral on the Morpho singleton; emits no return value and exposes no resource output (the collateral is non-transferable accounting state). — original id: \"morphoBlue.supplyCollateral\" */\n    readonly supplyCollateral: (\n      nodeId: string,\n      args: MorphoBlueSupplyCollateralArgs,\n    ) => void;\n    /** Withdraw collateral from a Morpho Blue market position to the receiver address. Exposes the withdrawn ERC20 amount as a Resource output. — original id: \"morphoBlue.withdrawCollateral\" */\n    readonly withdrawCollateral: (\n      nodeId: string,\n      args: MorphoBlueWithdrawCollateralArgs,\n    ) => MorphoBlueWithdrawCollateralOutputs;\n    /** Borrow the loan asset from a Morpho Blue market against existing collateral. Exposes the borrowed amount as a Resource and the (assetsBorrowed, sharesBorrowed) tuple as handles. — original id: \"morphoBlue.borrow\" */\n    readonly borrow: (\n      nodeId: string,\n      args: MorphoBlueBorrowArgs,\n    ) => MorphoBlueBorrowOutputs;\n    /** Repay a Morpho Blue debt position with the supplied asset. mode: 'exact' repays the input handle amount; mode: 'max' reads Position.borrowShares via a precursor static call and repays in shares mode to retire the debt to the wei. Returns any unspent residual as a Resource. — original id: \"morphoBlue.repay\" */\n    readonly repay: (\n      nodeId: string,\n      args: MorphoBlueRepayArgs,\n    ) => MorphoBlueRepayOutputs;\n    /** Supply the loan asset of a Morpho Blue market and receive supplyShares accounting credit. Returns the (assetsSupplied, sharesSupplied) tuple as handles and any unspent residual as a Resource. — original id: \"morphoBlue.supply\" */\n    readonly supply: (\n      nodeId: string,\n      args: MorphoBlueSupplyArgs,\n    ) => MorphoBlueSupplyOutputs;\n    /** Withdraw the loan asset from a Morpho Blue supply position. mode: 'exact' withdraws the configured amount; mode: 'max' reads Position.supplyShares via a precursor static call and burns all shares to retire the supply to the wei. Exposes the withdrawn amount as a Resource. — original id: \"morphoBlue.withdraw\" */\n    readonly withdraw: (\n      nodeId: string,\n      args: MorphoBlueWithdrawArgs,\n    ) => MorphoBlueWithdrawOutputs;\n    /** Read a Morpho Blue Position struct via a static call on the singleton. Exposes (supplyShares, borrowShares, collateral) as handles whose kinds match the on-chain field types (uint256, uint128, uint128). — original id: \"morphoBlue.getPosition\" */\n    readonly getPosition: (\n      nodeId: string,\n      args: MorphoBlueGetPositionArgs,\n    ) => MorphoBlueGetPositionOutputs;\n  };\n  readonly paraswap: {\n    /** Exact-output (BUY) swap via the Paraswap/Velora Market API: produce exactly `exactAmountOut` of the destination token, pulling only the source needed and exposing the genuinely-unspent source as `unspentIn`. — original id: \"paraswap.buy\" */\n    readonly buy: (nodeId: string, args: ParaswapBuyArgs) => ParaswapBuyOutputs;\n  };\n};\n\nexport const bindGeneratedOps = (\n  builder: FlowBuilderInternal,\n): GeneratedOps => ({\n  core: {\n    split: (nodeId: string, args: CoreSplitArgs) =>\n      builder.call(nodeId, 'core.split', args, {\n        a: 'resource',\n        b: 'resource',\n      } as const),\n    merge: (nodeId: string, args: CoreMergeArgs) =>\n      builder.call(nodeId, 'core.merge', { ...args, config: {} }, {\n        merged: 'resource',\n      } as const),\n    add: (nodeId: string, args: CoreAddArgs) =>\n      builder.call(nodeId, 'core.add', { ...args, config: {} }, {\n        result: 'uint256',\n      } as const),\n    subtract: (nodeId: string, args: CoreSubtractArgs) =>\n      builder.call(nodeId, 'core.subtract', { ...args, config: {} }, {\n        result: 'uint256',\n      } as const),\n    multiply: (nodeId: string, args: CoreMultiplyArgs) =>\n      builder.call(nodeId, 'core.multiply', { ...args, config: {} }, {\n        result: 'uint256',\n      } as const),\n    divideDown: (nodeId: string, args: CoreDivideDownArgs) =>\n      builder.call(nodeId, 'core.divideDown', { ...args, config: {} }, {\n        result: 'uint256',\n      } as const),\n    divideUp: (nodeId: string, args: CoreDivideUpArgs) =>\n      builder.call(nodeId, 'core.divideUp', { ...args, config: {} }, {\n        result: 'uint256',\n      } as const),\n    bpsDown: (nodeId: string, args: CoreBpsDownArgs) =>\n      builder.call(nodeId, 'core.bpsDown', args, {\n        result: 'uint256',\n      } as const),\n    bpsUp: (nodeId: string, args: CoreBpsUpArgs) =>\n      builder.call(nodeId, 'core.bpsUp', args, { result: 'uint256' } as const),\n    assertEqual: (nodeId: string, args: CoreAssertEqualArgs) =>\n      builder.call(nodeId, 'core.assertEqual', { ...args, config: {} }, {}),\n    assertNotEqual: (nodeId: string, args: CoreAssertNotEqualArgs) =>\n      builder.call(nodeId, 'core.assertNotEqual', { ...args, config: {} }, {}),\n    assertGt: (nodeId: string, args: CoreAssertGtArgs) =>\n      builder.call(nodeId, 'core.assertGt', { ...args, config: {} }, {}),\n    assertGte: (nodeId: string, args: CoreAssertGteArgs) =>\n      builder.call(nodeId, 'core.assertGte', { ...args, config: {} }, {}),\n    assertLt: (nodeId: string, args: CoreAssertLtArgs) =>\n      builder.call(nodeId, 'core.assertLt', { ...args, config: {} }, {}),\n    assertLte: (nodeId: string, args: CoreAssertLteArgs) =>\n      builder.call(nodeId, 'core.assertLte', { ...args, config: {} }, {}),\n    assertInRange: (nodeId: string, args: CoreAssertInRangeArgs) =>\n      builder.call(nodeId, 'core.assertInRange', { ...args, config: {} }, {}),\n    approve: (nodeId: string, args: CoreApproveArgs) =>\n      builder.call(nodeId, 'core.approve', args, {}),\n    balanceOf: (nodeId: string, args: CoreBalanceOfArgs) =>\n      builder.call(nodeId, 'core.balanceOf', args, {\n        balance: 'resource',\n      } as const),\n    transfer: (nodeId: string, args: CoreTransferArgs) =>\n      builder.call(nodeId, 'core.transfer', args, {\n        transferred: 'resource',\n        remainder: 'resource',\n      } as const),\n    call: <TSig extends string>(nodeId: string, args: CoreCallArgs<TSig>) => {\n      const wire = buildCallWireFormat({\n        resource: args.resource,\n        bind: args.bind as Record<string, AnyBindable>,\n        config: args.config as Record<string, unknown>,\n        guards: args.guards,\n      });\n      return builder.call(nodeId, wire.op, wire, {\n        result: 'uint256',\n      } as const) as unknown as CoreCallResult<TSig>;\n    },\n    staticCall: <TSig extends string>(\n      nodeId: string,\n      args: CoreStaticCallArgs<TSig>,\n    ) =>\n      builder.call(\n        nodeId,\n        'core.staticCall',\n        buildStaticCallWireFormat({\n          bind: args.bind as Record<string, AnyBindable>,\n          config: args.config as Record<string, unknown>,\n          guards: args.guards,\n        }),\n        { result: 'uint256' } as const,\n      ) as unknown as StaticCallResult<TSig>,\n    rawCall: (nodeId: string, args: CoreRawCallArgs) =>\n      builder.call(nodeId, 'core.rawCall', args, {\n        result: 'uint256',\n      } as const),\n    asResource: (nodeId: string, args: CoreAsResourceArgs) =>\n      builder.call(nodeId, 'core.asResource', args, {\n        resource: 'resource',\n      } as const),\n    peek: (nodeId: string, args: CorePeekArgs) =>\n      builder.call(nodeId, 'core.peek', args, { result: 'uint256' } as const),\n  },\n  lifi: {\n    swap: (nodeId: string, args: LifiSwapArgs) =>\n      builder.call(nodeId, 'lifi.swap', args, {\n        amountOut: 'resource',\n        unspentIn: 'resource',\n      } as const),\n    flashloanRepay: (nodeId: string, args: LifiFlashloanRepayArgs) =>\n      builder.call(nodeId, 'lifi.flashloanRepay', args, {}),\n    zap: (nodeId: string, args: LifiZapArgs) =>\n      builder.call(nodeId, 'lifi.zap', args, {\n        amountOut: 'resource',\n      } as const),\n  },\n  invariant: {\n    balanceAtLeast: (nodeId: string, args: InvariantBalanceAtLeastArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.balanceAtLeast',\n        { ...args, config: {} },\n        {},\n      ),\n  },\n  aave: {\n    borrow: (nodeId: string, args: AaveBorrowArgs) =>\n      builder.call(nodeId, 'aave.borrow', args, {\n        borrowed: 'resource',\n        debtBalance: 'uint256',\n      } as const),\n    repay: (nodeId: string, args: AaveRepayArgs) =>\n      builder.call(nodeId, 'aave.repay', args, {\n        actualRepaid: 'uint256',\n        residual: 'resource',\n      } as const),\n    repayWithATokens: (nodeId: string, args: AaveRepayWithATokensArgs) =>\n      builder.call(nodeId, 'aave.repayWithATokens', args, {\n        actualRepaid: 'uint256',\n        residual: 'resource',\n      } as const),\n    claimRewards: (nodeId: string, args: AaveClaimRewardsArgs) =>\n      builder.call(nodeId, 'aave.claimRewards', args, {\n        claimed: 'resource',\n        claimedAmount: 'uint256',\n      } as const),\n    setEMode: (nodeId: string, args: AaveSetEModeArgs) =>\n      builder.call(nodeId, 'aave.setEMode', args, {}),\n    getHealthFactor: (nodeId: string, args: AaveGetHealthFactorArgs) =>\n      builder.call(nodeId, 'aave.getHealthFactor', args, {\n        healthFactor: 'uint256',\n      } as const),\n  },\n  morphoBlue: {\n    supplyCollateral: (nodeId: string, args: MorphoBlueSupplyCollateralArgs) =>\n      builder.call(nodeId, 'morphoBlue.supplyCollateral', args, {}),\n    withdrawCollateral: (\n      nodeId: string,\n      args: MorphoBlueWithdrawCollateralArgs,\n    ) =>\n      builder.call(nodeId, 'morphoBlue.withdrawCollateral', args, {\n        withdrawn: 'resource',\n        collateralWithdrawn: 'uint256',\n      } as const),\n    borrow: (nodeId: string, args: MorphoBlueBorrowArgs) =>\n      builder.call(nodeId, 'morphoBlue.borrow', args, {\n        borrowed: 'resource',\n        assetsBorrowed: 'uint256',\n        sharesBorrowed: 'uint256',\n      } as const),\n    repay: (nodeId: string, args: MorphoBlueRepayArgs) =>\n      builder.call(nodeId, 'morphoBlue.repay', args, {\n        actualRepaid: 'uint256',\n        sharesRepaid: 'uint256',\n        residual: 'resource',\n      } as const),\n    supply: (nodeId: string, args: MorphoBlueSupplyArgs) =>\n      builder.call(nodeId, 'morphoBlue.supply', args, {\n        assetsSupplied: 'uint256',\n        sharesSupplied: 'uint256',\n        residual: 'resource',\n      } as const),\n    withdraw: (nodeId: string, args: MorphoBlueWithdrawArgs) =>\n      builder.call(nodeId, 'morphoBlue.withdraw', args, {\n        withdrawn: 'resource',\n        assetsWithdrawn: 'uint256',\n        sharesWithdrawn: 'uint256',\n      } as const),\n    getPosition: (nodeId: string, args: MorphoBlueGetPositionArgs) =>\n      builder.call(nodeId, 'morphoBlue.getPosition', args, {\n        supplyShares: 'uint256',\n        borrowShares: 'uint128',\n        collateral: 'uint128',\n      } as const),\n  },\n  paraswap: {\n    buy: (nodeId: string, args: ParaswapBuyArgs) =>\n      builder.call(nodeId, 'paraswap.buy', args, {\n        amountOut: 'resource',\n        unspentIn: 'resource',\n      } as const),\n  },\n});\n"],"mappings":"AAaA;AAAA,EACE;AAAA,EACA;AAAA,OACK;AAwsBA,MAAM,mBAAmB,CAC9B,aACkB;AAAA,EAClB,MAAM;AAAA,IACJ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM;AAAA,MACvC,GAAG;AAAA,MACH,GAAG;AAAA,IACL,CAAU;AAAA,IACZ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG;AAAA,MAC1D,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,KAAK,CAAC,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG;AAAA,MACxD,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG;AAAA,MAC7D,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG;AAAA,MAC7D,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,YAAY,CAAC,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG;AAAA,MAC/D,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG;AAAA,MAC7D,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,SAAS,CAAC,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;AAAA,MACzC,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM,EAAE,QAAQ,UAAU,CAAU;AAAA,IACzE,aAAa,CAAC,QAAgB,SAC5B,QAAQ,KAAK,QAAQ,oBAAoB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;AAAA,IACtE,gBAAgB,CAAC,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,uBAAuB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;AAAA,IACzE,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;AAAA,IACnE,WAAW,CAAC,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;AAAA,IACpE,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;AAAA,IACnE,WAAW,CAAC,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;AAAA,IACpE,eAAe,CAAC,QAAgB,SAC9B,QAAQ,KAAK,QAAQ,sBAAsB,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;AAAA,IACxE,SAAS,CAAC,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;AAAA,IAC/C,WAAW,CAAC,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,MAAM;AAAA,MAC3C,SAAS;AAAA,IACX,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM;AAAA,MAC1C,aAAa;AAAA,MACb,WAAW;AAAA,IACb,CAAU;AAAA,IACZ,MAAM,CAAsB,QAAgB,SAA6B;AACvE,YAAM,OAAO,oBAAoB;AAAA,QAC/B,UAAU,KAAK;AAAA,QACf,MAAM,KAAK;AAAA,QACX,QAAQ,KAAK;AAAA,QACb,QAAQ,KAAK;AAAA,MACf,CAAC;AACD,aAAO,QAAQ,KAAK,QAAQ,KAAK,IAAI,MAAM;AAAA,QACzC,QAAQ;AAAA,MACV,CAAU;AAAA,IACZ;AAAA,IACA,YAAY,CACV,QACA,SAEA,QAAQ;AAAA,MACN;AAAA,MACA;AAAA,MACA,0BAA0B;AAAA,QACxB,MAAM,KAAK;AAAA,QACX,QAAQ,KAAK;AAAA,QACb,QAAQ,KAAK;AAAA,MACf,CAAC;AAAA,MACD,EAAE,QAAQ,UAAU;AAAA,IACtB;AAAA,IACF,SAAS,CAAC,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;AAAA,MACzC,QAAQ;AAAA,IACV,CAAU;AAAA,IACZ,YAAY,CAAC,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM;AAAA,MAC5C,UAAU;AAAA,IACZ,CAAU;AAAA,IACZ,MAAM,CAAC,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM,EAAE,QAAQ,UAAU,CAAU;AAAA,EAC1E;AAAA,EACA,MAAM;AAAA,IACJ,MAAM,CAAC,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM;AAAA,MACtC,WAAW;AAAA,MACX,WAAW;AAAA,IACb,CAAU;AAAA,IACZ,gBAAgB,CAAC,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,uBAAuB,MAAM,CAAC,CAAC;AAAA,IACtD,KAAK,CAAC,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY,MAAM;AAAA,MACrC,WAAW;AAAA,IACb,CAAU;AAAA,EACd;AAAA,EACA,WAAW;AAAA,IACT,gBAAgB,CAAC,QAAgB,SAC/B,QAAQ;AAAA,MACN;AAAA,MACA;AAAA,MACA,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE;AAAA,MACtB,CAAC;AAAA,IACH;AAAA,EACJ;AAAA,EACA,MAAM;AAAA,IACJ,QAAQ,CAAC,QAAgB,SACvB,QAAQ,KAAK,QAAQ,eAAe,MAAM;AAAA,MACxC,UAAU;AAAA,MACV,aAAa;AAAA,IACf,CAAU;AAAA,IACZ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM;AAAA,MACvC,cAAc;AAAA,MACd,UAAU;AAAA,IACZ,CAAU;AAAA,IACZ,kBAAkB,CAAC,QAAgB,SACjC,QAAQ,KAAK,QAAQ,yBAAyB,MAAM;AAAA,MAClD,cAAc;AAAA,MACd,UAAU;AAAA,IACZ,CAAU;AAAA,IACZ,cAAc,CAAC,QAAgB,SAC7B,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;AAAA,MAC9C,SAAS;AAAA,MACT,eAAe;AAAA,IACjB,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;AAAA,IAChD,iBAAiB,CAAC,QAAgB,SAChC,QAAQ,KAAK,QAAQ,wBAAwB,MAAM;AAAA,MACjD,cAAc;AAAA,IAChB,CAAU;AAAA,EACd;AAAA,EACA,YAAY;AAAA,IACV,kBAAkB,CAAC,QAAgB,SACjC,QAAQ,KAAK,QAAQ,+BAA+B,MAAM,CAAC,CAAC;AAAA,IAC9D,oBAAoB,CAClB,QACA,SAEA,QAAQ,KAAK,QAAQ,iCAAiC,MAAM;AAAA,MAC1D,WAAW;AAAA,MACX,qBAAqB;AAAA,IACvB,CAAU;AAAA,IACZ,QAAQ,CAAC,QAAgB,SACvB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;AAAA,MAC9C,UAAU;AAAA,MACV,gBAAgB;AAAA,MAChB,gBAAgB;AAAA,IAClB,CAAU;AAAA,IACZ,OAAO,CAAC,QAAgB,SACtB,QAAQ,KAAK,QAAQ,oBAAoB,MAAM;AAAA,MAC7C,cAAc;AAAA,MACd,cAAc;AAAA,MACd,UAAU;AAAA,IACZ,CAAU;AAAA,IACZ,QAAQ,CAAC,QAAgB,SACvB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;AAAA,MAC9C,gBAAgB;AAAA,MAChB,gBAAgB;AAAA,MAChB,UAAU;AAAA,IACZ,CAAU;AAAA,IACZ,UAAU,CAAC,QAAgB,SACzB,QAAQ,KAAK,QAAQ,uBAAuB,MAAM;AAAA,MAChD,WAAW;AAAA,MACX,iBAAiB;AAAA,MACjB,iBAAiB;AAAA,IACnB,CAAU;AAAA,IACZ,aAAa,CAAC,QAAgB,SAC5B,QAAQ,KAAK,QAAQ,0BAA0B,MAAM;AAAA,MACnD,cAAc;AAAA,MACd,cAAc;AAAA,MACd,YAAY;AAAA,IACd,CAAU;AAAA,EACd;AAAA,EACA,UAAU;AAAA,IACR,KAAK,CAAC,QAAgB,SACpB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;AAAA,MACzC,WAAW;AAAA,MACX,WAAW;AAAA,IACb,CAAU;AAAA,EACd;AACF;","names":[]}

package/dist/guards.generated-BPLFwe7y.d.ts

@@ -0,0 +1,19 @@
+import { TypedGuard } from './types.js';
+import { CoreNumericInvariantGuardConfig, SlippageGuardConfig } from './generated/config.generated.js';
+
+/** Assert that output amounts are within a slippage tolerance in basis points */
+declare const slippage: <P extends string>(config: Omit<SlippageGuardConfig, "port"> & {
+    port: P;
+}) => TypedGuard<P>;
+/** Assert a numeric (uint256) handle output of the target op satisfies a comparison against a constant threshold. Emits one IR1 binary invariant; reverts the run on violation. */
+declare const coreNumericInvariant: <P extends string>(config: Omit<CoreNumericInvariantGuardConfig, "port"> & {
+    port: P;
+}) => TypedGuard<P>;
+
+declare const guardsMod_coreNumericInvariant: typeof coreNumericInvariant;
+declare const guardsMod_slippage: typeof slippage;
+declare namespace guardsMod {
+  export { guardsMod_coreNumericInvariant as coreNumericInvariant, guardsMod_slippage as slippage };
+}
+
+export { coreNumericInvariant as c, guardsMod as g, slippage as s };

package/dist/guards.generated-M3VAIevI.d.cts

@@ -0,0 +1,19 @@
+import { TypedGuard } from './types.cjs';
+import { CoreNumericInvariantGuardConfig, SlippageGuardConfig } from './generated/config.generated.cjs';
+
+/** Assert that output amounts are within a slippage tolerance in basis points */
+declare const slippage: <P extends string>(config: Omit<SlippageGuardConfig, "port"> & {
+    port: P;
+}) => TypedGuard<P>;
+/** Assert a numeric (uint256) handle output of the target op satisfies a comparison against a constant threshold. Emits one IR1 binary invariant; reverts the run on violation. */
+declare const coreNumericInvariant: <P extends string>(config: Omit<CoreNumericInvariantGuardConfig, "port"> & {
+    port: P;
+}) => TypedGuard<P>;
+
+declare const guardsMod_coreNumericInvariant: typeof coreNumericInvariant;
+declare const guardsMod_slippage: typeof slippage;
+declare namespace guardsMod {
+  export { guardsMod_coreNumericInvariant as coreNumericInvariant, guardsMod_slippage as slippage };
+}
+
+export { coreNumericInvariant as c, guardsMod as g, slippage as s };