@lifi/composer-sdk 0.2.0-staging.4 → 0.2.0

package/dist/generated/operations.generated.d.cts

@@ -2,7 +2,7 @@ import { FlowBuilderInternal } from '../authoring/FlowBuilderCore.cjs';
 import { Bindable, OutputHandle } from '../authoring/handles.cjs';
 import { SignatureBind, CoreCallResult, StaticCallResult } from '../authoring/signatureArgs.cjs';
 import { TypedGuard } from '../types.cjs';
-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.cjs';
+import { CoreSplitConfig, CoreBpsDownConfig, CoreBpsUpConfig, CoreApproveConfig, CoreBalanceOfConfig, CoreTransferConfig, CoreEmitEvent1Config, CoreEmitEvent2Config, CoreEmitEvent3Config, CoreEmitEvent4Config, CoreCallConfig, CoreStaticCallConfig, CoreRawCallConfig, CoreAsResourceConfig, CorePeekConfig, LifiSwapConfig, LifiZapConfig, InvariantNumericConfig, InvariantNumericInRangeConfig, InvariantGteConfig, InvariantGtConfig, InvariantLteConfig, InvariantLtConfig, InvariantEqConfig, InvariantNeqConfig, AaveBorrowConfig, AaveRepayConfig, AaveRepayWithATokensConfig, AaveClaimRewardsConfig, AaveSetEModeConfig, MorphoBlueSupplyCollateralConfig, MorphoBlueWithdrawCollateralConfig, ParaswapBuyConfig } from './config.generated.cjs';
 import '@lifi/compose-spec';
 import 'abitype';
 
@@ -38,6 +38,132 @@ interface InvariantBalanceAtLeastArgs {
     };
     readonly guards?: readonly TypedGuard<never>[];
 }
+/** Assert that an account holds exactly an expected token balance */
+interface InvariantBalanceEqualsArgs {
+    readonly bind: {
+        readonly expectedAmount: Bindable<'resource'>;
+        readonly account: Bindable<'address'>;
+    };
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert that an account holds at most a maximum token balance */
+interface InvariantBalanceAtMostArgs {
+    readonly bind: {
+        readonly maximumAmount: Bindable<'resource'>;
+        readonly account: Bindable<'address'>;
+    };
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert that an account's token balance is between a minimum and a maximum (inclusive) */
+interface InvariantBalanceInRangeArgs {
+    readonly bind: {
+        readonly minimumAmount: Bindable<'resource'>;
+        readonly maximumAmount: Bindable<'uint256'>;
+        readonly account: Bindable<'address'>;
+    };
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert that a spender is permitted to move at least a minimum allowance on behalf of an owner */
+interface InvariantAllowanceAtLeastArgs {
+    readonly bind: {
+        readonly minimumAmount: Bindable<'resource'>;
+        readonly owner: Bindable<'address'>;
+        readonly spender: Bindable<'address'>;
+    };
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert that a spender's allowance on behalf of an owner exactly equals an expected amount */
+interface InvariantAllowanceEqualsArgs {
+    readonly bind: {
+        readonly expectedAmount: Bindable<'resource'>;
+        readonly owner: Bindable<'address'>;
+        readonly spender: Bindable<'address'>;
+    };
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert that a spender is permitted to move at most a maximum allowance on behalf of an owner */
+interface InvariantAllowanceAtMostArgs {
+    readonly bind: {
+        readonly maximumAmount: Bindable<'resource'>;
+        readonly owner: Bindable<'address'>;
+        readonly spender: Bindable<'address'>;
+    };
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert that a spender's allowance on behalf of an owner is between a minimum and a maximum (inclusive) */
+interface InvariantAllowanceInRangeArgs {
+    readonly bind: {
+        readonly minimumAmount: Bindable<'resource'>;
+        readonly maximumAmount: Bindable<'uint256'>;
+        readonly owner: Bindable<'address'>;
+        readonly spender: Bindable<'address'>;
+    };
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert a uint256 value satisfies a comparison against a constant threshold; reverts on violation */
+interface InvariantNumericArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantNumericConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert min <= value <= max against constant bounds; reverts if outside the range */
+interface InvariantNumericInRangeArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantNumericInRangeConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert a uint256 value is greater than or equal to a constant threshold; reverts on violation */
+interface InvariantGteArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantGteConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert a uint256 value is strictly greater than a constant threshold; reverts on violation */
+interface InvariantGtArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantGtConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert a uint256 value is less than or equal to a constant threshold; reverts on violation */
+interface InvariantLteArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantLteConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert a uint256 value is strictly less than a constant threshold; reverts on violation */
+interface InvariantLtArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantLtConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert a uint256 value equals a constant threshold; reverts on violation */
+interface InvariantEqArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantEqConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Assert a uint256 value does not equal a constant threshold; reverts on violation */
+interface InvariantNeqArgs {
+    readonly bind: {
+        readonly value: Bindable<'uint256'>;
+    };
+    readonly config: InvariantNeqConfig;
+    readonly guards?: readonly TypedGuard<never>[];
+}
 /** Add two unsigned integers (a + b) */
 interface CoreAddArgs {
     readonly bind: {
@@ -174,6 +300,44 @@ interface CoreTransferArgs {
     readonly config: CoreTransferConfig;
     readonly guards?: readonly TypedGuard<'transferred' | 'remainder'>[];
 }
+/** Emit a custom on-chain event carrying 1 32-byte payload value. The value becomes a non-indexed data word in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). */
+interface CoreEmitEvent1Args {
+    readonly bind: {
+        readonly value0: Bindable<'bytes32'>;
+    };
+    readonly config: CoreEmitEvent1Config;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Emit a custom on-chain event carrying 2 32-byte payload values. The values become non-indexed data words in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). */
+interface CoreEmitEvent2Args {
+    readonly bind: {
+        readonly value0: Bindable<'bytes32'>;
+        readonly value1: Bindable<'bytes32'>;
+    };
+    readonly config: CoreEmitEvent2Config;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Emit a custom on-chain event carrying 3 32-byte payload values. The values become non-indexed data words in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). */
+interface CoreEmitEvent3Args {
+    readonly bind: {
+        readonly value0: Bindable<'bytes32'>;
+        readonly value1: Bindable<'bytes32'>;
+        readonly value2: Bindable<'bytes32'>;
+    };
+    readonly config: CoreEmitEvent3Config;
+    readonly guards?: readonly TypedGuard<never>[];
+}
+/** Emit a custom on-chain event carrying 4 32-byte payload values. The values become non-indexed data words in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). */
+interface CoreEmitEvent4Args {
+    readonly bind: {
+        readonly value0: Bindable<'bytes32'>;
+        readonly value1: Bindable<'bytes32'>;
+        readonly value2: Bindable<'bytes32'>;
+        readonly value3: Bindable<'bytes32'>;
+    };
+    readonly config: CoreEmitEvent4Config;
+    readonly guards?: readonly TypedGuard<never>[];
+}
 /** Invoke a smart contract function, optionally spending a token resource */
 interface CoreCallArgs<TSig extends string = string> {
     readonly resource?: Bindable<'resource'>;
@@ -240,12 +404,6 @@ interface AaveSetEModeArgs {
     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: {
@@ -260,50 +418,6 @@ interface MorphoBlueWithdrawCollateralArgs {
     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: {
@@ -387,38 +501,10 @@ 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'>;
 }
@@ -469,6 +555,14 @@ type GeneratedOps = {
         readonly balanceOf: (nodeId: string, args: CoreBalanceOfArgs) => CoreBalanceOfOutputs;
         /** Transfer tokens to a recipient address, optionally specifying a partial amount — original id: "core.transfer" */
         readonly transfer: (nodeId: string, args: CoreTransferArgs) => CoreTransferOutputs;
+        /** Emit a custom on-chain event carrying 1 32-byte payload value. The value becomes a non-indexed data word in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). — original id: "core.emitEvent1" */
+        readonly emitEvent1: (nodeId: string, args: CoreEmitEvent1Args) => void;
+        /** Emit a custom on-chain event carrying 2 32-byte payload values. The values become non-indexed data words in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). — original id: "core.emitEvent2" */
+        readonly emitEvent2: (nodeId: string, args: CoreEmitEvent2Args) => void;
+        /** Emit a custom on-chain event carrying 3 32-byte payload values. The values become non-indexed data words in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). — original id: "core.emitEvent3" */
+        readonly emitEvent3: (nodeId: string, args: CoreEmitEvent3Args) => void;
+        /** Emit a custom on-chain event carrying 4 32-byte payload values. The values become non-indexed data words in a fixed VM log event; the signature is hashed into a discriminator word (it is NOT an indexed EVM topic). — original id: "core.emitEvent4" */
+        readonly emitEvent4: (nodeId: string, args: CoreEmitEvent4Args) => void;
         /** Invoke a smart contract function, optionally spending a token resource — original id: "core.call" */
         readonly call: <TSig extends string>(nodeId: string, args: CoreCallArgs<TSig>) => CoreCallResult<TSig>;
         /** Read from a smart contract at runtime (StaticCall); result is fresh at execution time — original id: "core.staticCall" */
@@ -483,14 +577,42 @@ 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;
     };
     readonly invariant: {
         /** Assert that an account holds at least a minimum token balance — original id: "invariant.balanceAtLeast" */
         readonly balanceAtLeast: (nodeId: string, args: InvariantBalanceAtLeastArgs) => void;
+        /** Assert that an account holds exactly an expected token balance — original id: "invariant.balanceEquals" */
+        readonly balanceEquals: (nodeId: string, args: InvariantBalanceEqualsArgs) => void;
+        /** Assert that an account holds at most a maximum token balance — original id: "invariant.balanceAtMost" */
+        readonly balanceAtMost: (nodeId: string, args: InvariantBalanceAtMostArgs) => void;
+        /** Assert that an account's token balance is between a minimum and a maximum (inclusive) — original id: "invariant.balanceInRange" */
+        readonly balanceInRange: (nodeId: string, args: InvariantBalanceInRangeArgs) => void;
+        /** Assert that a spender is permitted to move at least a minimum allowance on behalf of an owner — original id: "invariant.allowanceAtLeast" */
+        readonly allowanceAtLeast: (nodeId: string, args: InvariantAllowanceAtLeastArgs) => void;
+        /** Assert that a spender's allowance on behalf of an owner exactly equals an expected amount — original id: "invariant.allowanceEquals" */
+        readonly allowanceEquals: (nodeId: string, args: InvariantAllowanceEqualsArgs) => void;
+        /** Assert that a spender is permitted to move at most a maximum allowance on behalf of an owner — original id: "invariant.allowanceAtMost" */
+        readonly allowanceAtMost: (nodeId: string, args: InvariantAllowanceAtMostArgs) => void;
+        /** Assert that a spender's allowance on behalf of an owner is between a minimum and a maximum (inclusive) — original id: "invariant.allowanceInRange" */
+        readonly allowanceInRange: (nodeId: string, args: InvariantAllowanceInRangeArgs) => void;
+        /** Assert a uint256 value satisfies a comparison against a constant threshold; reverts on violation — original id: "invariant.numeric" */
+        readonly numeric: (nodeId: string, args: InvariantNumericArgs) => void;
+        /** Assert min <= value <= max against constant bounds; reverts if outside the range — original id: "invariant.numericInRange" */
+        readonly numericInRange: (nodeId: string, args: InvariantNumericInRangeArgs) => void;
+        /** Assert a uint256 value is greater than or equal to a constant threshold; reverts on violation — original id: "invariant.gte" */
+        readonly gte: (nodeId: string, args: InvariantGteArgs) => void;
+        /** Assert a uint256 value is strictly greater than a constant threshold; reverts on violation — original id: "invariant.gt" */
+        readonly gt: (nodeId: string, args: InvariantGtArgs) => void;
+        /** Assert a uint256 value is less than or equal to a constant threshold; reverts on violation — original id: "invariant.lte" */
+        readonly lte: (nodeId: string, args: InvariantLteArgs) => void;
+        /** Assert a uint256 value is strictly less than a constant threshold; reverts on violation — original id: "invariant.lt" */
+        readonly lt: (nodeId: string, args: InvariantLtArgs) => void;
+        /** Assert a uint256 value equals a constant threshold; reverts on violation — original id: "invariant.eq" */
+        readonly eq: (nodeId: string, args: InvariantEqArgs) => void;
+        /** Assert a uint256 value does not equal a constant threshold; reverts on violation — original id: "invariant.neq" */
+        readonly neq: (nodeId: string, args: InvariantNeqArgs) => 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" */
@@ -503,24 +625,12 @@ type GeneratedOps = {
         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" */
@@ -529,4 +639,4 @@ type GeneratedOps = {
 };
 declare const bindGeneratedOps: (builder: FlowBuilderInternal) => GeneratedOps;
 
-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 };
+export { type AaveBorrowArgs, type AaveBorrowOutputs, type AaveClaimRewardsArgs, type AaveClaimRewardsOutputs, 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 CoreEmitEvent1Args, type CoreEmitEvent2Args, type CoreEmitEvent3Args, type CoreEmitEvent4Args, 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 InvariantAllowanceAtLeastArgs, type InvariantAllowanceAtMostArgs, type InvariantAllowanceEqualsArgs, type InvariantAllowanceInRangeArgs, type InvariantBalanceAtLeastArgs, type InvariantBalanceAtMostArgs, type InvariantBalanceEqualsArgs, type InvariantBalanceInRangeArgs, type InvariantEqArgs, type InvariantGtArgs, type InvariantGteArgs, type InvariantLtArgs, type InvariantLteArgs, type InvariantNeqArgs, type InvariantNumericArgs, type InvariantNumericInRangeArgs, type LifiSwapArgs, type LifiSwapOutputs, type LifiZapArgs, type LifiZapOutputs, type MorphoBlueSupplyCollateralArgs, type MorphoBlueWithdrawCollateralArgs, type MorphoBlueWithdrawCollateralOutputs, type ParaswapBuyArgs, type ParaswapBuyOutputs, bindGeneratedOps };