@lifi/composer-sdk 0.11.3 → 0.13.0

package/dist/generated/config.generated.d.ts

@@ -845,7 +845,7 @@ export interface ParaswapBuyConfig {
    */
   partnerAddress?: string;
   /**
-   * Integrator fee in basis points; non-negative integer string capped at 9000.
+   * Paraswap partner fee in basis points; non-negative integer string capped at 9000.
    */
   partnerFeeBps?: string;
 }
@@ -885,21 +885,7 @@ export interface FlySwapConfig {
  */
 export type Between86400000000000008640000000000000 = number;
 export interface ContinuationSettleConfig {
-  /**
-   * @minItems 1
-   */
-  outcomes: [{
-    /**
-     * EVM address: 0x followed by 40 hex characters
-     */
-    token: Address;
-    minAmount?: IntegerStringInput;
-    /**
-     * EVM address: 0x followed by 40 hex characters
-     */
-    destination: Address;
-    chainId: Positive;
-  }, ...{
+  outcomes: {
     /**
      * EVM address: 0x followed by 40 hex characters
      */
@@ -910,18 +896,18 @@ export interface ContinuationSettleConfig {
      */
     destination: Address;
     chainId: Positive;
-  }[]];
+  }[];
   continuationFlow?: Flow;
   validity: {
     expiresAtMs: Between86400000000000008640000000000000;
   };
-  perpetual?: boolean;
   provider?: string;
   funding?: "inline" | "external";
   /**
    * EVM address: 0x followed by 40 hex characters
    */
   refund?: Address;
+  exact?: boolean;
 }
 export interface UniswapV2AddLiquidityConfig {
   /**
@@ -1023,6 +1009,7 @@ export interface LifiIntentsOrderConfig {
   slippage?: LessThan1;
   validitySeconds?: Between1300;
   exclusiveSeconds?: Between0120;
+  exactAmountOut?: string;
 }
 export interface LifiIntentsRefundConfig {
   /**
@@ -1074,6 +1061,7 @@ export type DirectDepositMaterialiserConfig = {
 } | {
   allowNonExact: true;
   simAmount?: string;
+  minAmount?: IntegerStringInput;
 };
 export interface CallMaterialiserConfig {
   /**

package/dist/generated/operations.generated.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"operations.generated.cjs","names":["buildCallWireFormat","buildStaticCallWireFormat"],"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 { FlowBuilderInternal } from '../authoring/FlowBuilderCore.js';\nimport type {\n  Bindable,\n  FamilyCount,\n  FamilySource,\n  OutputFamilyHandles,\n  OutputHandle,\n} 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  ContinuationSettleConfig,\n  CoreApproveConfig,\n  CoreAsResourceConfig,\n  CoreBalanceOfConfig,\n  CoreBpsDownConfig,\n  CoreBpsUpConfig,\n  CoreCallConfig,\n  CoreEmitEvent1Config,\n  CoreEmitEvent2Config,\n  CoreEmitEvent3Config,\n  CoreEmitEvent4Config,\n  CorePartitionConfig,\n  CorePeekConfig,\n  CoreRawCallConfig,\n  CoreSplitAtConfig,\n  CoreSplitConfig,\n  CoreStaticCallConfig,\n  CoreTransferConfig,\n  FlySwapConfig,\n  InvariantEqConfig,\n  InvariantGtConfig,\n  InvariantGteConfig,\n  InvariantLtConfig,\n  InvariantLteConfig,\n  InvariantNeqConfig,\n  InvariantNumericConfig,\n  InvariantNumericInRangeConfig,\n  LifiBridgeConfig,\n  LifiIntentsAttestNonFillConfig,\n  LifiIntentsOrderConfig,\n  LifiIntentsRefundConfig,\n  LifiIntentsRefundOnNonFillConfig,\n  LifiSwapConfig,\n  LifiZapAsyncConfig,\n  LifiZapConfig,\n  MorphoBlueBorrowConfig,\n  MorphoBlueGetPositionConfig,\n  MorphoBlueRepayConfig,\n  MorphoBlueSupplyCollateralConfig,\n  MorphoBlueSupplyConfig,\n  MorphoBlueWithdrawCollateralConfig,\n  MorphoBlueWithdrawConfig,\n  ParaswapBuyConfig,\n  UniswapV2AddLiquidityConfig,\n  UniswapV2RemoveLiquidityConfig,\n  UniswapV3IncreaseLiquidityConfig,\n  UniswapV3MintConfig,\n} from './config.generated.js';\n\n/** Split a resource into two outputs by basis-point ratio. Output `a` receives `bps` of the source, rounded up, and `b` takes the remainder. */\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/** Split a resource at a fixed amount. Output `head` receives `min(source, amount)`; `tail` receives the rest, and is 0 (omitted when unspent) when the source is at or below `amount`. */\nexport interface CoreSplitAtArgs {\n  readonly bind: {\n    readonly source: Bindable<'resource'>;\n  };\n  readonly config: CoreSplitAtConfig;\n  readonly guards?: readonly TypedGuard<'head' | 'tail'>[];\n}\n\n/** Partition a resource into one output per basis-point share. `bps` lists 2 to 16 shares summing to 10000; output `parts.i` receives share i, rounded down, and the last part takes the remainder. */\nexport interface CorePartitionArgs<\n  TBps extends FamilySource<CorePartitionConfig['bps']> = FamilySource<\n    CorePartitionConfig['bps']\n  >,\n> {\n  readonly bind: {\n    readonly source: Bindable<'resource'>;\n  };\n  readonly config: Omit<CorePartitionConfig, 'bps'> & {\n    readonly bps: TBps &\n      FamilyCount<NoInfer<TBps>, Readonly<CorePartitionConfig['bps']>>;\n  };\n  readonly guards?: readonly TypedGuard<`parts.${number}`>[];\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/** Bridge tokens to another chain via the LI.FI aggregator API */\nexport interface LifiBridgeArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiBridgeConfig;\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/** Assert that an account holds exactly an expected token balance */\nexport interface InvariantBalanceEqualsArgs {\n  readonly bind: {\n    readonly expectedAmount: Bindable<'resource'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that an account holds at most a maximum token balance */\nexport interface InvariantBalanceAtMostArgs {\n  readonly bind: {\n    readonly maximumAmount: Bindable<'resource'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that an account's token balance is between a minimum and a maximum (inclusive) */\nexport interface InvariantBalanceInRangeArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly maximumAmount: Bindable<'uint256'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender is permitted to move at least a minimum allowance on behalf of an owner */\nexport interface InvariantAllowanceAtLeastArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender's allowance on behalf of an owner exactly equals an expected amount */\nexport interface InvariantAllowanceEqualsArgs {\n  readonly bind: {\n    readonly expectedAmount: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender is permitted to move at most a maximum allowance on behalf of an owner */\nexport interface InvariantAllowanceAtMostArgs {\n  readonly bind: {\n    readonly maximumAmount: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender's allowance on behalf of an owner is between a minimum and a maximum (inclusive) */\nexport interface InvariantAllowanceInRangeArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly maximumAmount: Bindable<'uint256'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value satisfies a comparison against a constant threshold; reverts on violation */\nexport interface InvariantNumericArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantNumericConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert min <= value <= max against constant bounds; reverts if outside the range */\nexport interface InvariantNumericInRangeArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantNumericInRangeConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is greater than or equal to a constant threshold; reverts on violation */\nexport interface InvariantGteArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantGteConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is strictly greater than a constant threshold; reverts on violation */\nexport interface InvariantGtArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantGtConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is less than or equal to a constant threshold; reverts on violation */\nexport interface InvariantLteArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantLteConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is strictly less than a constant threshold; reverts on violation */\nexport interface InvariantLtArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantLtConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value equals a constant threshold; reverts on violation */\nexport interface InvariantEqArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantEqConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value does not equal a constant threshold; reverts on violation */\nexport interface InvariantNeqArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantNeqConfig;\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 the whole input resource to a recipient address. To send part of a resource, split it first with `core.split` or `core.splitAt`. */\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'>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent1Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent1Config;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent2Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n    readonly value1: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent2Config;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent3Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n    readonly value1: Bindable<'bytes32'>;\n    readonly value2: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent3Config;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent4Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n    readonly value1: Bindable<'bytes32'>;\n    readonly value2: Bindable<'bytes32'>;\n    readonly value3: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent4Config;\n  readonly guards?: readonly TypedGuard<never>[];\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/** Route tokens into a DeFi protocol position via the edge catalog */\nexport interface LifiZapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n    readonly recipient?: Bindable<'address'>;\n  };\n  readonly config: LifiZapConfig;\n  readonly guards?: readonly TypedGuard<'amountOut'>[];\n}\n\n/** Route tokens into a DeFi protocol position whose output becomes available after the initiating transaction settles */\nexport interface LifiZapAsyncArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n    readonly recipient: Bindable<'address'>;\n  };\n  readonly config: LifiZapAsyncConfig;\n  readonly guards?: readonly TypedGuard<never>[];\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\n/** Swap via Fly's DexAggregator, sized at runtime: the router calldata leaves `amountIn` unset, so an upstream op's output can feed the swap without being known at plan time. Either leg may be the chain-native coin. */\nexport interface FlySwapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: FlySwapConfig;\n  readonly guards?: readonly TypedGuard<'unspentIn'>[];\n}\n\n/** Fund a deferred settlement and commit to a future outcome */\nexport interface ContinuationSettleArgs {\n  readonly bind: {\n    readonly input: Bindable<'resource'>;\n  };\n  readonly config: ContinuationSettleConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Deposit two ERC-20 tokens into an existing Uniswap V2 pair (or an ABI-identical fork such as SushiSwap V2) through its Router02 and receive the pair's LP token; unused input returns as residuals. Asserts on chain that the router's factory is `factory`, that the factory's pair for the two tokens is `pair`, and that the pair holds non-zero reserves. Exposes the pool price read before the deposit as `poolPrice`. The deposit is protected only with a `band` guard on `poolPrice` and a `slippage` guard on `liquidity`. Fee-on-transfer tokens are unsupported. */\nexport interface UniswapV2AddLiquidityArgs {\n  readonly bind: {\n    readonly tokenA: Bindable<'resource'>;\n    readonly tokenB: Bindable<'resource'>;\n  };\n  readonly config: UniswapV2AddLiquidityConfig;\n  readonly guards?: readonly TypedGuard<\n    'liquidity' | 'residualA' | 'residualB' | 'poolPrice'\n  >[];\n}\n\n/** Burn a Uniswap V2 LP token (or one of an ABI-identical fork such as SushiSwap V2) through its Router02 and receive both underlying tokens. Asserts on chain that the router's factory is `factory` and that the factory's pair for `tokenA`/`tokenB` is the input LP token. The withdrawal is protected only with a `slippage` guard on each of `tokenA` and `tokenB`. Fee-on-transfer tokens are unsupported: the outputs are the amounts the router reports, which would overstate what such a token delivers. */\nexport interface UniswapV2RemoveLiquidityArgs {\n  readonly bind: {\n    readonly liquidity: Bindable<'resource'>;\n  };\n  readonly config: UniswapV2RemoveLiquidityConfig;\n  readonly guards?: readonly TypedGuard<'tokenA' | 'tokenB'>[];\n}\n\n/** Open a Uniswap V3 concentrated-liquidity position (or one on an ABI-identical fork) for a tick range, minting the position NFT straight to `recipient`, which must not be the execution address. Exposes the new `tokenId`; unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. */\nexport interface UniswapV3MintArgs {\n  readonly bind: {\n    readonly tokenA: Bindable<'resource'>;\n    readonly tokenB: Bindable<'resource'>;\n    readonly recipient: Bindable<'address'>;\n  };\n  readonly config: UniswapV3MintConfig;\n  readonly guards?: readonly TypedGuard<\n    'tokenId' | 'liquidity' | 'sqrtPriceX96' | 'residualA' | 'residualB'\n  >[];\n}\n\n/** Add two tokens to an existing Uniswap V3 position (or one on an ABI-identical fork). `owner` must own `tokenId`, and the position must hold the two input tokens; both are asserted on chain, since the position manager checks neither. Unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. */\nexport interface UniswapV3IncreaseLiquidityArgs {\n  readonly bind: {\n    readonly tokenA: Bindable<'resource'>;\n    readonly tokenB: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n  };\n  readonly config: UniswapV3IncreaseLiquidityConfig;\n  readonly guards?: readonly TypedGuard<\n    'liquidity' | 'sqrtPriceX96' | 'residualA' | 'residualB'\n  >[];\n}\n\n/** Swap or bridge tokens through a LI.FI Intents order a solver fills */\nexport interface LifiIntentsOrderArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiIntentsOrderConfig;\n  readonly guards?: readonly TypedGuard<'unspentIn'>[];\n}\n\n/** Refund a LI.FI Intents escrow order after its expiry. Anyone may call; the escrow pays the order's user. Only an order the order server reports before delivery (status Open or Signed) is refunded. */\nexport interface LifiIntentsRefundArgs {\n  readonly bind: Record<string, never>;\n  readonly config: LifiIntentsRefundConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Step 1 of the early refund of a cross-chain LI.FI Intents order: on the order's output chain, after its fill deadline, record that the output was not filled. Keep the transaction hash for lifiIntents.refundOnNonFill. */\nexport interface LifiIntentsAttestNonFillArgs {\n  readonly bind: Record<string, never>;\n  readonly config: LifiIntentsAttestNonFillConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Step 2 of the early refund of a cross-chain LI.FI Intents order: on the order's input chain, prove the non-fill attestation through Polymer and refund the order's user. A resolution_error means the proof is not ready yet; retry. */\nexport interface LifiIntentsRefundOnNonFillArgs {\n  readonly bind: Record<string, never>;\n  readonly config: LifiIntentsRefundOnNonFillConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\nexport interface CoreSplitOutputs {\n  readonly a: OutputHandle<'resource'>;\n  readonly b: OutputHandle<'resource'>;\n}\n\nexport interface CoreSplitAtOutputs {\n  readonly head: OutputHandle<'resource'>;\n  readonly tail: OutputHandle<'resource'>;\n}\n\nexport interface CorePartitionOutputs<\n  TBps extends FamilySource<CorePartitionConfig['bps']> = FamilySource<\n    CorePartitionConfig['bps']\n  >,\n> {\n  readonly parts: OutputFamilyHandles<TBps>;\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 LifiBridgeOutputs {\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}\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 LifiZapAsyncOutputs {\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 interface FlySwapOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n  readonly unspentIn: OutputHandle<'resource'>;\n}\n\nexport interface ContinuationSettleOutputs {\n  readonly output: OutputHandle<'resource'>;\n}\n\nexport interface UniswapV2AddLiquidityOutputs {\n  readonly liquidity: OutputHandle<'resource'>;\n  readonly residualA: OutputHandle<'resource'>;\n  readonly residualB: OutputHandle<'resource'>;\n  readonly poolPrice: OutputHandle<'uint256'>;\n}\n\nexport interface UniswapV2RemoveLiquidityOutputs {\n  readonly tokenA: OutputHandle<'resource'>;\n  readonly tokenB: OutputHandle<'resource'>;\n}\n\nexport interface UniswapV3MintOutputs {\n  readonly tokenId: OutputHandle<'uint256'>;\n  readonly liquidity: OutputHandle<'uint256'>;\n  readonly sqrtPriceX96: OutputHandle<'uint256'>;\n  readonly residualA: OutputHandle<'resource'>;\n  readonly residualB: OutputHandle<'resource'>;\n}\n\nexport interface UniswapV3IncreaseLiquidityOutputs {\n  readonly liquidity: OutputHandle<'uint256'>;\n  readonly sqrtPriceX96: OutputHandle<'uint256'>;\n  readonly residualA: OutputHandle<'resource'>;\n  readonly residualB: OutputHandle<'resource'>;\n}\n\nexport interface LifiIntentsOrderOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n  readonly unspentIn: OutputHandle<'resource'>;\n}\n\nexport type GeneratedOps = {\n  readonly core: {\n    /** Split a resource into two outputs by basis-point ratio. Output `a` receives `bps` of the source, rounded up, and `b` takes the remainder. — original id: \"core.split\" */\n    readonly split: (nodeId: string, args: CoreSplitArgs) => CoreSplitOutputs;\n    /** Split a resource at a fixed amount. Output `head` receives `min(source, amount)`; `tail` receives the rest, and is 0 (omitted when unspent) when the source is at or below `amount`. — original id: \"core.splitAt\" */\n    readonly splitAt: (\n      nodeId: string,\n      args: CoreSplitAtArgs,\n    ) => CoreSplitAtOutputs;\n    /** Partition a resource into one output per basis-point share. `bps` lists 2 to 16 shares summing to 10000; output `parts.i` receives share i, rounded down, and the last part takes the remainder. — original id: \"core.partition\" */\n    readonly partition: <\n      const TBps extends FamilySource<CorePartitionConfig['bps']>,\n    >(\n      nodeId: string,\n      args: CorePartitionArgs<TBps>,\n    ) => CorePartitionOutputs<TBps>;\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 the whole input resource to a recipient address. To send part of a resource, split it first with `core.split` or `core.splitAt`. — original id: \"core.transfer\" */\n    readonly transfer: (\n      nodeId: string,\n      args: CoreTransferArgs,\n    ) => CoreTransferOutputs;\n    /** 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\" */\n    readonly emitEvent1: (nodeId: string, args: CoreEmitEvent1Args) => void;\n    /** 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\" */\n    readonly emitEvent2: (nodeId: string, args: CoreEmitEvent2Args) => void;\n    /** 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\" */\n    readonly emitEvent3: (nodeId: string, args: CoreEmitEvent3Args) => void;\n    /** 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\" */\n    readonly emitEvent4: (nodeId: string, args: CoreEmitEvent4Args) => void;\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    /** Bridge tokens to another chain via the LI.FI aggregator API — original id: \"lifi.bridge\" */\n    readonly bridge: (\n      nodeId: string,\n      args: LifiBridgeArgs,\n    ) => LifiBridgeOutputs;\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    /** Route tokens into a DeFi protocol position whose output becomes available after the initiating transaction settles — original id: \"lifi.zapAsync\" */\n    readonly zapAsync: (\n      nodeId: string,\n      args: LifiZapAsyncArgs,\n    ) => LifiZapAsyncOutputs;\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    /** Assert that an account holds exactly an expected token balance — original id: \"invariant.balanceEquals\" */\n    readonly balanceEquals: (\n      nodeId: string,\n      args: InvariantBalanceEqualsArgs,\n    ) => void;\n    /** Assert that an account holds at most a maximum token balance — original id: \"invariant.balanceAtMost\" */\n    readonly balanceAtMost: (\n      nodeId: string,\n      args: InvariantBalanceAtMostArgs,\n    ) => void;\n    /** Assert that an account's token balance is between a minimum and a maximum (inclusive) — original id: \"invariant.balanceInRange\" */\n    readonly balanceInRange: (\n      nodeId: string,\n      args: InvariantBalanceInRangeArgs,\n    ) => void;\n    /** Assert that a spender is permitted to move at least a minimum allowance on behalf of an owner — original id: \"invariant.allowanceAtLeast\" */\n    readonly allowanceAtLeast: (\n      nodeId: string,\n      args: InvariantAllowanceAtLeastArgs,\n    ) => void;\n    /** Assert that a spender's allowance on behalf of an owner exactly equals an expected amount — original id: \"invariant.allowanceEquals\" */\n    readonly allowanceEquals: (\n      nodeId: string,\n      args: InvariantAllowanceEqualsArgs,\n    ) => void;\n    /** Assert that a spender is permitted to move at most a maximum allowance on behalf of an owner — original id: \"invariant.allowanceAtMost\" */\n    readonly allowanceAtMost: (\n      nodeId: string,\n      args: InvariantAllowanceAtMostArgs,\n    ) => void;\n    /** Assert that a spender's allowance on behalf of an owner is between a minimum and a maximum (inclusive) — original id: \"invariant.allowanceInRange\" */\n    readonly allowanceInRange: (\n      nodeId: string,\n      args: InvariantAllowanceInRangeArgs,\n    ) => void;\n    /** Assert a uint256 value satisfies a comparison against a constant threshold; reverts on violation — original id: \"invariant.numeric\" */\n    readonly numeric: (nodeId: string, args: InvariantNumericArgs) => void;\n    /** Assert min <= value <= max against constant bounds; reverts if outside the range — original id: \"invariant.numericInRange\" */\n    readonly numericInRange: (\n      nodeId: string,\n      args: InvariantNumericInRangeArgs,\n    ) => void;\n    /** Assert a uint256 value is greater than or equal to a constant threshold; reverts on violation — original id: \"invariant.gte\" */\n    readonly gte: (nodeId: string, args: InvariantGteArgs) => void;\n    /** Assert a uint256 value is strictly greater than a constant threshold; reverts on violation — original id: \"invariant.gt\" */\n    readonly gt: (nodeId: string, args: InvariantGtArgs) => void;\n    /** Assert a uint256 value is less than or equal to a constant threshold; reverts on violation — original id: \"invariant.lte\" */\n    readonly lte: (nodeId: string, args: InvariantLteArgs) => void;\n    /** Assert a uint256 value is strictly less than a constant threshold; reverts on violation — original id: \"invariant.lt\" */\n    readonly lt: (nodeId: string, args: InvariantLtArgs) => void;\n    /** Assert a uint256 value equals a constant threshold; reverts on violation — original id: \"invariant.eq\" */\n    readonly eq: (nodeId: string, args: InvariantEqArgs) => void;\n    /** Assert a uint256 value does not equal a constant threshold; reverts on violation — original id: \"invariant.neq\" */\n    readonly neq: (nodeId: string, args: InvariantNeqArgs) => 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 continuation: {\n    /** Fund a deferred settlement and commit to a future outcome — original id: \"continuation.settle\" */\n    readonly settle: (\n      nodeId: string,\n      args: ContinuationSettleArgs,\n    ) => ContinuationSettleOutputs;\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  readonly fly: {\n    /** Swap via Fly's DexAggregator, sized at runtime: the router calldata leaves `amountIn` unset, so an upstream op's output can feed the swap without being known at plan time. Either leg may be the chain-native coin. — original id: \"fly.swap\" */\n    readonly swap: (nodeId: string, args: FlySwapArgs) => FlySwapOutputs;\n  };\n  readonly uniswapV2: {\n    /** Deposit two ERC-20 tokens into an existing Uniswap V2 pair (or an ABI-identical fork such as SushiSwap V2) through its Router02 and receive the pair's LP token; unused input returns as residuals. Asserts on chain that the router's factory is `factory`, that the factory's pair for the two tokens is `pair`, and that the pair holds non-zero reserves. Exposes the pool price read before the deposit as `poolPrice`. The deposit is protected only with a `band` guard on `poolPrice` and a `slippage` guard on `liquidity`. Fee-on-transfer tokens are unsupported. — original id: \"uniswapV2.addLiquidity\" */\n    readonly addLiquidity: (\n      nodeId: string,\n      args: UniswapV2AddLiquidityArgs,\n    ) => UniswapV2AddLiquidityOutputs;\n    /** Burn a Uniswap V2 LP token (or one of an ABI-identical fork such as SushiSwap V2) through its Router02 and receive both underlying tokens. Asserts on chain that the router's factory is `factory` and that the factory's pair for `tokenA`/`tokenB` is the input LP token. The withdrawal is protected only with a `slippage` guard on each of `tokenA` and `tokenB`. Fee-on-transfer tokens are unsupported: the outputs are the amounts the router reports, which would overstate what such a token delivers. — original id: \"uniswapV2.removeLiquidity\" */\n    readonly removeLiquidity: (\n      nodeId: string,\n      args: UniswapV2RemoveLiquidityArgs,\n    ) => UniswapV2RemoveLiquidityOutputs;\n  };\n  readonly uniswapV3: {\n    /** Open a Uniswap V3 concentrated-liquidity position (or one on an ABI-identical fork) for a tick range, minting the position NFT straight to `recipient`, which must not be the execution address. Exposes the new `tokenId`; unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. — original id: \"uniswapV3.mint\" */\n    readonly mint: (\n      nodeId: string,\n      args: UniswapV3MintArgs,\n    ) => UniswapV3MintOutputs;\n    /** Add two tokens to an existing Uniswap V3 position (or one on an ABI-identical fork). `owner` must own `tokenId`, and the position must hold the two input tokens; both are asserted on chain, since the position manager checks neither. Unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. — original id: \"uniswapV3.increaseLiquidity\" */\n    readonly increaseLiquidity: (\n      nodeId: string,\n      args: UniswapV3IncreaseLiquidityArgs,\n    ) => UniswapV3IncreaseLiquidityOutputs;\n  };\n  readonly lifiIntents: {\n    /** Swap or bridge tokens through a LI.FI Intents order a solver fills — original id: \"lifiIntents.order\" */\n    readonly order: (\n      nodeId: string,\n      args: LifiIntentsOrderArgs,\n    ) => LifiIntentsOrderOutputs;\n    /** Refund a LI.FI Intents escrow order after its expiry. Anyone may call; the escrow pays the order's user. Only an order the order server reports before delivery (status Open or Signed) is refunded. — original id: \"lifiIntents.refund\" */\n    readonly refund: (nodeId: string, args: LifiIntentsRefundArgs) => void;\n    /** Step 1 of the early refund of a cross-chain LI.FI Intents order: on the order's output chain, after its fill deadline, record that the output was not filled. Keep the transaction hash for lifiIntents.refundOnNonFill. — original id: \"lifiIntents.attestNonFill\" */\n    readonly attestNonFill: (\n      nodeId: string,\n      args: LifiIntentsAttestNonFillArgs,\n    ) => void;\n    /** Step 2 of the early refund of a cross-chain LI.FI Intents order: on the order's input chain, prove the non-fill attestation through Polymer and refund the order's user. A resolution_error means the proof is not ready yet; retry. — original id: \"lifiIntents.refundOnNonFill\" */\n    readonly refundOnNonFill: (\n      nodeId: string,\n      args: LifiIntentsRefundOnNonFillArgs,\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    splitAt: (nodeId: string, args: CoreSplitAtArgs) =>\n      builder.call(nodeId, 'core.splitAt', args, {\n        head: 'resource',\n        tail: 'resource',\n      } as const),\n    partition: <const TBps extends FamilySource<CorePartitionConfig['bps']>>(\n      nodeId: string,\n      args: CorePartitionArgs<TBps>,\n    ) =>\n      builder.call(\n        nodeId,\n        'core.partition',\n        args,\n        { parts: 'resource' } as const,\n        { parts: 'bps' } as const,\n      ) as unknown as CorePartitionOutputs<TBps>,\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      } as const),\n    emitEvent1: (nodeId: string, args: CoreEmitEvent1Args) =>\n      builder.call(nodeId, 'core.emitEvent1', args, {}),\n    emitEvent2: (nodeId: string, args: CoreEmitEvent2Args) =>\n      builder.call(nodeId, 'core.emitEvent2', args, {}),\n    emitEvent3: (nodeId: string, args: CoreEmitEvent3Args) =>\n      builder.call(nodeId, 'core.emitEvent3', args, {}),\n    emitEvent4: (nodeId: string, args: CoreEmitEvent4Args) =>\n      builder.call(nodeId, 'core.emitEvent4', args, {}),\n    call: <TSig extends string>(nodeId: string, args: CoreCallArgs<TSig>) => {\n      const wire = buildCallWireFormat({\n        resource: args.resource,\n        bind: args.bind,\n        config: args.config,\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,\n          config: args.config,\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    bridge: (nodeId: string, args: LifiBridgeArgs) =>\n      builder.call(nodeId, 'lifi.bridge', 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    zapAsync: (nodeId: string, args: LifiZapAsyncArgs) =>\n      builder.call(nodeId, 'lifi.zapAsync', 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    balanceEquals: (nodeId: string, args: InvariantBalanceEqualsArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.balanceEquals',\n        { ...args, config: {} },\n        {},\n      ),\n    balanceAtMost: (nodeId: string, args: InvariantBalanceAtMostArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.balanceAtMost',\n        { ...args, config: {} },\n        {},\n      ),\n    balanceInRange: (nodeId: string, args: InvariantBalanceInRangeArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.balanceInRange',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceAtLeast: (nodeId: string, args: InvariantAllowanceAtLeastArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceAtLeast',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceEquals: (nodeId: string, args: InvariantAllowanceEqualsArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceEquals',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceAtMost: (nodeId: string, args: InvariantAllowanceAtMostArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceAtMost',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceInRange: (nodeId: string, args: InvariantAllowanceInRangeArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceInRange',\n        { ...args, config: {} },\n        {},\n      ),\n    numeric: (nodeId: string, args: InvariantNumericArgs) =>\n      builder.call(nodeId, 'invariant.numeric', args, {}),\n    numericInRange: (nodeId: string, args: InvariantNumericInRangeArgs) =>\n      builder.call(nodeId, 'invariant.numericInRange', args, {}),\n    gte: (nodeId: string, args: InvariantGteArgs) =>\n      builder.call(nodeId, 'invariant.gte', args, {}),\n    gt: (nodeId: string, args: InvariantGtArgs) =>\n      builder.call(nodeId, 'invariant.gt', args, {}),\n    lte: (nodeId: string, args: InvariantLteArgs) =>\n      builder.call(nodeId, 'invariant.lte', args, {}),\n    lt: (nodeId: string, args: InvariantLtArgs) =>\n      builder.call(nodeId, 'invariant.lt', args, {}),\n    eq: (nodeId: string, args: InvariantEqArgs) =>\n      builder.call(nodeId, 'invariant.eq', args, {}),\n    neq: (nodeId: string, args: InvariantNeqArgs) =>\n      builder.call(nodeId, 'invariant.neq', args, {}),\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  continuation: {\n    settle: (nodeId: string, args: ContinuationSettleArgs) =>\n      builder.call(nodeId, 'continuation.settle', args, {\n        output: 'resource',\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  fly: {\n    swap: (nodeId: string, args: FlySwapArgs) =>\n      builder.call(nodeId, 'fly.swap', args, {\n        amountOut: 'resource',\n        unspentIn: 'resource',\n      } as const),\n  },\n  uniswapV2: {\n    addLiquidity: (nodeId: string, args: UniswapV2AddLiquidityArgs) =>\n      builder.call(nodeId, 'uniswapV2.addLiquidity', args, {\n        liquidity: 'resource',\n        residualA: 'resource',\n        residualB: 'resource',\n        poolPrice: 'uint256',\n      } as const),\n    removeLiquidity: (nodeId: string, args: UniswapV2RemoveLiquidityArgs) =>\n      builder.call(nodeId, 'uniswapV2.removeLiquidity', args, {\n        tokenA: 'resource',\n        tokenB: 'resource',\n      } as const),\n  },\n  uniswapV3: {\n    mint: (nodeId: string, args: UniswapV3MintArgs) =>\n      builder.call(nodeId, 'uniswapV3.mint', args, {\n        tokenId: 'uint256',\n        liquidity: 'uint256',\n        sqrtPriceX96: 'uint256',\n        residualA: 'resource',\n        residualB: 'resource',\n      } as const),\n    increaseLiquidity: (nodeId: string, args: UniswapV3IncreaseLiquidityArgs) =>\n      builder.call(nodeId, 'uniswapV3.increaseLiquidity', args, {\n        liquidity: 'uint256',\n        sqrtPriceX96: 'uint256',\n        residualA: 'resource',\n        residualB: 'resource',\n      } as const),\n  },\n  lifiIntents: {\n    order: (nodeId: string, args: LifiIntentsOrderArgs) =>\n      builder.call(nodeId, 'lifiIntents.order', args, {\n        amountOut: 'resource',\n        unspentIn: 'resource',\n      } as const),\n    refund: (nodeId: string, args: LifiIntentsRefundArgs) =>\n      builder.call(nodeId, 'lifiIntents.refund', args, {}),\n    attestNonFill: (nodeId: string, args: LifiIntentsAttestNonFillArgs) =>\n      builder.call(nodeId, 'lifiIntents.attestNonFill', args, {}),\n    refundOnNonFill: (nodeId: string, args: LifiIntentsRefundOnNonFillArgs) =>\n      builder.call(nodeId, 'lifiIntents.refundOnNonFill', args, {}),\n  },\n});\n"],"mappings":";;;AAgvCA,MAAa,oBACX,aACkB;CAClB,MAAM;EACJ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM;GACvC,GAAG;GACH,GAAG;EACL,CAAU;EACZ,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;GACzC,MAAM;GACN,MAAM;EACR,CAAU;EACZ,YACE,QACA,SAEA,QAAQ,KACN,QACA,kBACA,MACA,EAAE,OAAO,WAAW,GACpB,EAAE,OAAO,MAAM,CACjB;EACF,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC1D,QAAQ,WACV,CAAU;EACZ,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EACxD,QAAQ,UACV,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC7D,QAAQ,UACV,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC7D,QAAQ,UACV,CAAU;EACZ,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC/D,QAAQ,UACV,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC7D,QAAQ,UACV,CAAU;EACZ,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,EACzC,QAAQ,UACV,CAAU;EACZ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM,EAAE,QAAQ,UAAU,CAAU;EACzE,cAAc,QAAgB,SAC5B,QAAQ,KAAK,QAAQ,oBAAoB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACtE,iBAAiB,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,uBAAuB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACzE,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACnE,YAAY,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACpE,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACnE,YAAY,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACpE,gBAAgB,QAAgB,SAC9B,QAAQ,KAAK,QAAQ,sBAAsB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACxE,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,YAAY,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,MAAM,EAC3C,SAAS,WACX,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,EAC1C,aAAa,WACf,CAAU;EACZ,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,OAA4B,QAAgB,SAA6B;GACvE,MAAM,OAAOA,gCAAAA,oBAAoB;IAC/B,UAAU,KAAK;IACf,MAAM,KAAK;IACX,QAAQ,KAAK;IACb,QAAQ,KAAK;GACf,CAAC;GACD,OAAO,QAAQ,KAAK,QAAQ,KAAK,IAAI,MAAM,EACzC,QAAQ,UACV,CAAU;EACZ;EACA,aACE,QACA,SAEA,QAAQ,KACN,QACA,mBACAC,gCAAAA,0BAA0B;GACxB,MAAM,KAAK;GACX,QAAQ,KAAK;GACb,QAAQ,KAAK;EACf,CAAC,GACD,EAAE,QAAQ,UAAU,CACtB;EACF,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,EACzC,QAAQ,UACV,CAAU;EACZ,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,EAC5C,UAAU,WACZ,CAAU;EACZ,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM,EAAE,QAAQ,UAAU,CAAU;CAC1E;CACA,MAAM;EACJ,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM;GACtC,WAAW;GACX,WAAW;EACb,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,eAAe,MAAM;GACxC,WAAW;GACX,WAAW;EACb,CAAU;EACZ,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY,MAAM,EACrC,WAAW,WACb,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,EAC1C,WAAW,WACb,CAAU;CACd;CACA,WAAW;EACT,iBAAiB,QAAgB,SAC/B,QAAQ,KACN,QACA,4BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,gBAAgB,QAAgB,SAC9B,QAAQ,KACN,QACA,2BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,gBAAgB,QAAgB,SAC9B,QAAQ,KACN,QACA,2BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,iBAAiB,QAAgB,SAC/B,QAAQ,KACN,QACA,4BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,mBAAmB,QAAgB,SACjC,QAAQ,KACN,QACA,8BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,kBAAkB,QAAgB,SAChC,QAAQ,KACN,QACA,6BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,kBAAkB,QAAgB,SAChC,QAAQ,KACN,QACA,6BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,mBAAmB,QAAgB,SACjC,QAAQ,KACN,QACA,8BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM,CAAC,CAAC;EACpD,iBAAiB,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,4BAA4B,MAAM,CAAC,CAAC;EAC3D,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;EAChD,KAAK,QAAgB,SACnB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;EAChD,KAAK,QAAgB,SACnB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,KAAK,QAAgB,SACnB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;CAClD;CACA,MAAM;EACJ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,eAAe,MAAM;GACxC,UAAU;GACV,aAAa;EACf,CAAU;EACZ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM;GACvC,cAAc;GACd,UAAU;EACZ,CAAU;EACZ,mBAAmB,QAAgB,SACjC,QAAQ,KAAK,QAAQ,yBAAyB,MAAM;GAClD,cAAc;GACd,UAAU;EACZ,CAAU;EACZ,eAAe,QAAgB,SAC7B,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,SAAS;GACT,eAAe;EACjB,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;EAChD,kBAAkB,QAAgB,SAChC,QAAQ,KAAK,QAAQ,wBAAwB,MAAM,EACjD,cAAc,UAChB,CAAU;CACd;CACA,YAAY;EACV,mBAAmB,QAAgB,SACjC,QAAQ,KAAK,QAAQ,+BAA+B,MAAM,CAAC,CAAC;EAC9D,qBACE,QACA,SAEA,QAAQ,KAAK,QAAQ,iCAAiC,MAAM;GAC1D,WAAW;GACX,qBAAqB;EACvB,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,UAAU;GACV,gBAAgB;GAChB,gBAAgB;EAClB,CAAU;EACZ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,oBAAoB,MAAM;GAC7C,cAAc;GACd,cAAc;GACd,UAAU;EACZ,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,gBAAgB;GAChB,gBAAgB;GAChB,UAAU;EACZ,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,uBAAuB,MAAM;GAChD,WAAW;GACX,iBAAiB;GACjB,iBAAiB;EACnB,CAAU;EACZ,cAAc,QAAgB,SAC5B,QAAQ,KAAK,QAAQ,0BAA0B,MAAM;GACnD,cAAc;GACd,cAAc;GACd,YAAY;EACd,CAAU;CACd;CACA,cAAc,EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,uBAAuB,MAAM,EAChD,QAAQ,WACV,CAAU,EACd;CACA,UAAU,EACR,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;EACzC,WAAW;EACX,WAAW;CACb,CAAU,EACd;CACA,KAAK,EACH,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,YAAY,MAAM;EACrC,WAAW;EACX,WAAW;CACb,CAAU,EACd;CACA,WAAW;EACT,eAAe,QAAgB,SAC7B,QAAQ,KAAK,QAAQ,0BAA0B,MAAM;GACnD,WAAW;GACX,WAAW;GACX,WAAW;GACX,WAAW;EACb,CAAU;EACZ,kBAAkB,QAAgB,SAChC,QAAQ,KAAK,QAAQ,6BAA6B,MAAM;GACtD,QAAQ;GACR,QAAQ;EACV,CAAU;CACd;CACA,WAAW;EACT,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,kBAAkB,MAAM;GAC3C,SAAS;GACT,WAAW;GACX,cAAc;GACd,WAAW;GACX,WAAW;EACb,CAAU;EACZ,oBAAoB,QAAgB,SAClC,QAAQ,KAAK,QAAQ,+BAA+B,MAAM;GACxD,WAAW;GACX,cAAc;GACd,WAAW;GACX,WAAW;EACb,CAAU;CACd;CACA,aAAa;EACX,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,WAAW;GACX,WAAW;EACb,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,sBAAsB,MAAM,CAAC,CAAC;EACrD,gBAAgB,QAAgB,SAC9B,QAAQ,KAAK,QAAQ,6BAA6B,MAAM,CAAC,CAAC;EAC5D,kBAAkB,QAAgB,SAChC,QAAQ,KAAK,QAAQ,+BAA+B,MAAM,CAAC,CAAC;CAChE;AACF"}
+{"version":3,"file":"operations.generated.cjs","names":["buildCallWireFormat","buildStaticCallWireFormat"],"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 { FlowBuilderInternal } from '../authoring/FlowBuilderCore.js';\nimport type {\n  Bindable,\n  FamilyCount,\n  FamilySource,\n  OutputFamilyHandles,\n  OutputHandle,\n} 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  ContinuationSettleConfig,\n  CoreApproveConfig,\n  CoreAsResourceConfig,\n  CoreBalanceOfConfig,\n  CoreBpsDownConfig,\n  CoreBpsUpConfig,\n  CoreCallConfig,\n  CoreEmitEvent1Config,\n  CoreEmitEvent2Config,\n  CoreEmitEvent3Config,\n  CoreEmitEvent4Config,\n  CorePartitionConfig,\n  CorePeekConfig,\n  CoreRawCallConfig,\n  CoreSplitAtConfig,\n  CoreSplitConfig,\n  CoreStaticCallConfig,\n  CoreTransferConfig,\n  FlySwapConfig,\n  InvariantEqConfig,\n  InvariantGtConfig,\n  InvariantGteConfig,\n  InvariantLtConfig,\n  InvariantLteConfig,\n  InvariantNeqConfig,\n  InvariantNumericConfig,\n  InvariantNumericInRangeConfig,\n  LifiBridgeConfig,\n  LifiIntentsAttestNonFillConfig,\n  LifiIntentsOrderConfig,\n  LifiIntentsRefundConfig,\n  LifiIntentsRefundOnNonFillConfig,\n  LifiSwapConfig,\n  LifiZapAsyncConfig,\n  LifiZapConfig,\n  MorphoBlueBorrowConfig,\n  MorphoBlueGetPositionConfig,\n  MorphoBlueRepayConfig,\n  MorphoBlueSupplyCollateralConfig,\n  MorphoBlueSupplyConfig,\n  MorphoBlueWithdrawCollateralConfig,\n  MorphoBlueWithdrawConfig,\n  ParaswapBuyConfig,\n  UniswapV2AddLiquidityConfig,\n  UniswapV2RemoveLiquidityConfig,\n  UniswapV3IncreaseLiquidityConfig,\n  UniswapV3MintConfig,\n} from './config.generated.js';\n\n/** Split a resource into two outputs by basis-point ratio. Output `a` receives `bps` of the source, rounded up, and `b` takes the remainder. */\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/** Split a resource at a fixed amount. Output `head` receives `min(source, amount)`; `tail` receives the rest, and is 0 (omitted when unspent) when the source is at or below `amount`. */\nexport interface CoreSplitAtArgs {\n  readonly bind: {\n    readonly source: Bindable<'resource'>;\n  };\n  readonly config: CoreSplitAtConfig;\n  readonly guards?: readonly TypedGuard<'head' | 'tail'>[];\n}\n\n/** Partition a resource into one output per basis-point share. `bps` lists 2 to 16 shares summing to 10000; output `parts.i` receives share i, rounded down, and the last part takes the remainder. */\nexport interface CorePartitionArgs<\n  TBps extends FamilySource<CorePartitionConfig['bps']> = FamilySource<\n    CorePartitionConfig['bps']\n  >,\n> {\n  readonly bind: {\n    readonly source: Bindable<'resource'>;\n  };\n  readonly config: Omit<CorePartitionConfig, 'bps'> & {\n    readonly bps: TBps &\n      FamilyCount<NoInfer<TBps>, Readonly<CorePartitionConfig['bps']>>;\n  };\n  readonly guards?: readonly TypedGuard<`parts.${number}`>[];\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/** Bridge tokens to another chain via the LI.FI aggregator API */\nexport interface LifiBridgeArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiBridgeConfig;\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/** Assert that an account holds exactly an expected token balance */\nexport interface InvariantBalanceEqualsArgs {\n  readonly bind: {\n    readonly expectedAmount: Bindable<'resource'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that an account holds at most a maximum token balance */\nexport interface InvariantBalanceAtMostArgs {\n  readonly bind: {\n    readonly maximumAmount: Bindable<'resource'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that an account's token balance is between a minimum and a maximum (inclusive) */\nexport interface InvariantBalanceInRangeArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly maximumAmount: Bindable<'uint256'>;\n    readonly account: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender is permitted to move at least a minimum allowance on behalf of an owner */\nexport interface InvariantAllowanceAtLeastArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender's allowance on behalf of an owner exactly equals an expected amount */\nexport interface InvariantAllowanceEqualsArgs {\n  readonly bind: {\n    readonly expectedAmount: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender is permitted to move at most a maximum allowance on behalf of an owner */\nexport interface InvariantAllowanceAtMostArgs {\n  readonly bind: {\n    readonly maximumAmount: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert that a spender's allowance on behalf of an owner is between a minimum and a maximum (inclusive) */\nexport interface InvariantAllowanceInRangeArgs {\n  readonly bind: {\n    readonly minimumAmount: Bindable<'resource'>;\n    readonly maximumAmount: Bindable<'uint256'>;\n    readonly owner: Bindable<'address'>;\n    readonly spender: Bindable<'address'>;\n  };\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value satisfies a comparison against a constant threshold; reverts on violation */\nexport interface InvariantNumericArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantNumericConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert min <= value <= max against constant bounds; reverts if outside the range */\nexport interface InvariantNumericInRangeArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantNumericInRangeConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is greater than or equal to a constant threshold; reverts on violation */\nexport interface InvariantGteArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantGteConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is strictly greater than a constant threshold; reverts on violation */\nexport interface InvariantGtArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantGtConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is less than or equal to a constant threshold; reverts on violation */\nexport interface InvariantLteArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantLteConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value is strictly less than a constant threshold; reverts on violation */\nexport interface InvariantLtArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantLtConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value equals a constant threshold; reverts on violation */\nexport interface InvariantEqArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantEqConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Assert a uint256 value does not equal a constant threshold; reverts on violation */\nexport interface InvariantNeqArgs {\n  readonly bind: {\n    readonly value: Bindable<'uint256'>;\n  };\n  readonly config: InvariantNeqConfig;\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 the whole input resource to a recipient address. To send part of a resource, split it first with `core.split` or `core.splitAt`. */\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'>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent1Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent1Config;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent2Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n    readonly value1: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent2Config;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent3Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n    readonly value1: Bindable<'bytes32'>;\n    readonly value2: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent3Config;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** 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). */\nexport interface CoreEmitEvent4Args {\n  readonly bind: {\n    readonly value0: Bindable<'bytes32'>;\n    readonly value1: Bindable<'bytes32'>;\n    readonly value2: Bindable<'bytes32'>;\n    readonly value3: Bindable<'bytes32'>;\n  };\n  readonly config: CoreEmitEvent4Config;\n  readonly guards?: readonly TypedGuard<never>[];\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/** Route tokens into a DeFi protocol position via the edge catalog */\nexport interface LifiZapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n    readonly recipient?: Bindable<'address'>;\n  };\n  readonly config: LifiZapConfig;\n  readonly guards?: readonly TypedGuard<'amountOut'>[];\n}\n\n/** Route tokens into a DeFi protocol position whose output becomes available after the initiating transaction settles */\nexport interface LifiZapAsyncArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n    readonly recipient: Bindable<'address'>;\n  };\n  readonly config: LifiZapAsyncConfig;\n  readonly guards?: readonly TypedGuard<never>[];\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\n/** Swap via Fly's DexAggregator, sized at runtime: the router calldata leaves `amountIn` unset, so an upstream op's output can feed the swap without being known at plan time. Either leg may be the chain-native coin. */\nexport interface FlySwapArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: FlySwapConfig;\n  readonly guards?: readonly TypedGuard<'unspentIn'>[];\n}\n\n/** Fund a deferred settlement and commit to a future outcome */\nexport interface ContinuationSettleArgs {\n  readonly bind: {\n    readonly input: Bindable<'resource'>;\n  };\n  readonly config: ContinuationSettleConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Deposit two ERC-20 tokens into an existing Uniswap V2 pair (or an ABI-identical fork such as SushiSwap V2) through its Router02 and receive the pair's LP token; unused input returns as residuals. Asserts on chain that the router's factory is `factory`, that the factory's pair for the two tokens is `pair`, and that the pair holds non-zero reserves. Exposes the pool price read before the deposit as `poolPrice`. The deposit is protected only with a `band` guard on `poolPrice` and a `slippage` guard on `liquidity`. Fee-on-transfer tokens are unsupported. */\nexport interface UniswapV2AddLiquidityArgs {\n  readonly bind: {\n    readonly tokenA: Bindable<'resource'>;\n    readonly tokenB: Bindable<'resource'>;\n  };\n  readonly config: UniswapV2AddLiquidityConfig;\n  readonly guards?: readonly TypedGuard<\n    'liquidity' | 'residualA' | 'residualB' | 'poolPrice'\n  >[];\n}\n\n/** Burn a Uniswap V2 LP token (or one of an ABI-identical fork such as SushiSwap V2) through its Router02 and receive both underlying tokens. Asserts on chain that the router's factory is `factory` and that the factory's pair for `tokenA`/`tokenB` is the input LP token. The withdrawal is protected only with a `slippage` guard on each of `tokenA` and `tokenB`. Fee-on-transfer tokens are unsupported: the outputs are the amounts the router reports, which would overstate what such a token delivers. */\nexport interface UniswapV2RemoveLiquidityArgs {\n  readonly bind: {\n    readonly liquidity: Bindable<'resource'>;\n  };\n  readonly config: UniswapV2RemoveLiquidityConfig;\n  readonly guards?: readonly TypedGuard<'tokenA' | 'tokenB'>[];\n}\n\n/** Open a Uniswap V3 concentrated-liquidity position (or one on an ABI-identical fork) for a tick range, minting the position NFT straight to `recipient`, which must not be the execution address. Exposes the new `tokenId`; unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. */\nexport interface UniswapV3MintArgs {\n  readonly bind: {\n    readonly tokenA: Bindable<'resource'>;\n    readonly tokenB: Bindable<'resource'>;\n    readonly recipient: Bindable<'address'>;\n  };\n  readonly config: UniswapV3MintConfig;\n  readonly guards?: readonly TypedGuard<\n    'tokenId' | 'liquidity' | 'sqrtPriceX96' | 'residualA' | 'residualB'\n  >[];\n}\n\n/** Add two tokens to an existing Uniswap V3 position (or one on an ABI-identical fork). `owner` must own `tokenId`, and the position must hold the two input tokens; both are asserted on chain, since the position manager checks neither. Unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. */\nexport interface UniswapV3IncreaseLiquidityArgs {\n  readonly bind: {\n    readonly tokenA: Bindable<'resource'>;\n    readonly tokenB: Bindable<'resource'>;\n    readonly owner: Bindable<'address'>;\n  };\n  readonly config: UniswapV3IncreaseLiquidityConfig;\n  readonly guards?: readonly TypedGuard<\n    'liquidity' | 'sqrtPriceX96' | 'residualA' | 'residualB'\n  >[];\n}\n\n/** Swap or bridge tokens through a LI.FI Intents order a solver fills */\nexport interface LifiIntentsOrderArgs {\n  readonly bind: {\n    readonly amountIn: Bindable<'resource'>;\n  };\n  readonly config: LifiIntentsOrderConfig;\n  readonly guards?: readonly TypedGuard<'unspentIn'>[];\n}\n\n/** Refund a LI.FI Intents escrow order after its expiry. Anyone may call; the escrow pays the order's user. Only an order the order server reports before delivery (status Open or Signed) is refunded. */\nexport interface LifiIntentsRefundArgs {\n  readonly bind: Record<string, never>;\n  readonly config: LifiIntentsRefundConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Step 1 of the early refund of a cross-chain LI.FI Intents order: on the order's output chain, after its fill deadline, record that the output was not filled. Keep the transaction hash for lifiIntents.refundOnNonFill. */\nexport interface LifiIntentsAttestNonFillArgs {\n  readonly bind: Record<string, never>;\n  readonly config: LifiIntentsAttestNonFillConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\n/** Step 2 of the early refund of a cross-chain LI.FI Intents order: on the order's input chain, prove the non-fill attestation through Polymer and refund the order's user. A resolution_error means the proof is not ready yet; retry. */\nexport interface LifiIntentsRefundOnNonFillArgs {\n  readonly bind: Record<string, never>;\n  readonly config: LifiIntentsRefundOnNonFillConfig;\n  readonly guards?: readonly TypedGuard<never>[];\n}\n\nexport interface CoreSplitOutputs {\n  readonly a: OutputHandle<'resource'>;\n  readonly b: OutputHandle<'resource'>;\n}\n\nexport interface CoreSplitAtOutputs {\n  readonly head: OutputHandle<'resource'>;\n  readonly tail: OutputHandle<'resource'>;\n}\n\nexport interface CorePartitionOutputs<\n  TBps extends FamilySource<CorePartitionConfig['bps']> = FamilySource<\n    CorePartitionConfig['bps']\n  >,\n> {\n  readonly parts: OutputFamilyHandles<TBps>;\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 LifiBridgeOutputs {\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}\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 LifiZapAsyncOutputs {\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 interface FlySwapOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n  readonly unspentIn: OutputHandle<'resource'>;\n}\n\nexport interface ContinuationSettleOutputs {\n  readonly output: OutputHandle<'resource'>;\n}\n\nexport interface UniswapV2AddLiquidityOutputs {\n  readonly liquidity: OutputHandle<'resource'>;\n  readonly residualA: OutputHandle<'resource'>;\n  readonly residualB: OutputHandle<'resource'>;\n  readonly poolPrice: OutputHandle<'uint256'>;\n}\n\nexport interface UniswapV2RemoveLiquidityOutputs {\n  readonly tokenA: OutputHandle<'resource'>;\n  readonly tokenB: OutputHandle<'resource'>;\n}\n\nexport interface UniswapV3MintOutputs {\n  readonly tokenId: OutputHandle<'uint256'>;\n  readonly liquidity: OutputHandle<'uint256'>;\n  readonly sqrtPriceX96: OutputHandle<'uint256'>;\n  readonly residualA: OutputHandle<'resource'>;\n  readonly residualB: OutputHandle<'resource'>;\n}\n\nexport interface UniswapV3IncreaseLiquidityOutputs {\n  readonly liquidity: OutputHandle<'uint256'>;\n  readonly sqrtPriceX96: OutputHandle<'uint256'>;\n  readonly residualA: OutputHandle<'resource'>;\n  readonly residualB: OutputHandle<'resource'>;\n}\n\nexport interface LifiIntentsOrderOutputs {\n  readonly amountOut: OutputHandle<'resource'>;\n  readonly unspentIn: OutputHandle<'resource'>;\n}\n\nexport type GeneratedOps = {\n  readonly core: {\n    /** Split a resource into two outputs by basis-point ratio. Output `a` receives `bps` of the source, rounded up, and `b` takes the remainder. — original id: \"core.split\" */\n    readonly split: (nodeId: string, args: CoreSplitArgs) => CoreSplitOutputs;\n    /** Split a resource at a fixed amount. Output `head` receives `min(source, amount)`; `tail` receives the rest, and is 0 (omitted when unspent) when the source is at or below `amount`. — original id: \"core.splitAt\" */\n    readonly splitAt: (\n      nodeId: string,\n      args: CoreSplitAtArgs,\n    ) => CoreSplitAtOutputs;\n    /** Partition a resource into one output per basis-point share. `bps` lists 2 to 16 shares summing to 10000; output `parts.i` receives share i, rounded down, and the last part takes the remainder. — original id: \"core.partition\" */\n    readonly partition: <\n      const TBps extends FamilySource<CorePartitionConfig['bps']>,\n    >(\n      nodeId: string,\n      args: CorePartitionArgs<TBps>,\n    ) => CorePartitionOutputs<TBps>;\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 the whole input resource to a recipient address. To send part of a resource, split it first with `core.split` or `core.splitAt`. — original id: \"core.transfer\" */\n    readonly transfer: (\n      nodeId: string,\n      args: CoreTransferArgs,\n    ) => CoreTransferOutputs;\n    /** 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\" */\n    readonly emitEvent1: (nodeId: string, args: CoreEmitEvent1Args) => void;\n    /** 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\" */\n    readonly emitEvent2: (nodeId: string, args: CoreEmitEvent2Args) => void;\n    /** 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\" */\n    readonly emitEvent3: (nodeId: string, args: CoreEmitEvent3Args) => void;\n    /** 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\" */\n    readonly emitEvent4: (nodeId: string, args: CoreEmitEvent4Args) => void;\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    /** Bridge tokens to another chain via the LI.FI aggregator API — original id: \"lifi.bridge\" */\n    readonly bridge: (\n      nodeId: string,\n      args: LifiBridgeArgs,\n    ) => LifiBridgeOutputs;\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    /** Route tokens into a DeFi protocol position whose output becomes available after the initiating transaction settles — original id: \"lifi.zapAsync\" */\n    readonly zapAsync: (\n      nodeId: string,\n      args: LifiZapAsyncArgs,\n    ) => LifiZapAsyncOutputs;\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    /** Assert that an account holds exactly an expected token balance — original id: \"invariant.balanceEquals\" */\n    readonly balanceEquals: (\n      nodeId: string,\n      args: InvariantBalanceEqualsArgs,\n    ) => void;\n    /** Assert that an account holds at most a maximum token balance — original id: \"invariant.balanceAtMost\" */\n    readonly balanceAtMost: (\n      nodeId: string,\n      args: InvariantBalanceAtMostArgs,\n    ) => void;\n    /** Assert that an account's token balance is between a minimum and a maximum (inclusive) — original id: \"invariant.balanceInRange\" */\n    readonly balanceInRange: (\n      nodeId: string,\n      args: InvariantBalanceInRangeArgs,\n    ) => void;\n    /** Assert that a spender is permitted to move at least a minimum allowance on behalf of an owner — original id: \"invariant.allowanceAtLeast\" */\n    readonly allowanceAtLeast: (\n      nodeId: string,\n      args: InvariantAllowanceAtLeastArgs,\n    ) => void;\n    /** Assert that a spender's allowance on behalf of an owner exactly equals an expected amount — original id: \"invariant.allowanceEquals\" */\n    readonly allowanceEquals: (\n      nodeId: string,\n      args: InvariantAllowanceEqualsArgs,\n    ) => void;\n    /** Assert that a spender is permitted to move at most a maximum allowance on behalf of an owner — original id: \"invariant.allowanceAtMost\" */\n    readonly allowanceAtMost: (\n      nodeId: string,\n      args: InvariantAllowanceAtMostArgs,\n    ) => void;\n    /** Assert that a spender's allowance on behalf of an owner is between a minimum and a maximum (inclusive) — original id: \"invariant.allowanceInRange\" */\n    readonly allowanceInRange: (\n      nodeId: string,\n      args: InvariantAllowanceInRangeArgs,\n    ) => void;\n    /** Assert a uint256 value satisfies a comparison against a constant threshold; reverts on violation — original id: \"invariant.numeric\" */\n    readonly numeric: (nodeId: string, args: InvariantNumericArgs) => void;\n    /** Assert min <= value <= max against constant bounds; reverts if outside the range — original id: \"invariant.numericInRange\" */\n    readonly numericInRange: (\n      nodeId: string,\n      args: InvariantNumericInRangeArgs,\n    ) => void;\n    /** Assert a uint256 value is greater than or equal to a constant threshold; reverts on violation — original id: \"invariant.gte\" */\n    readonly gte: (nodeId: string, args: InvariantGteArgs) => void;\n    /** Assert a uint256 value is strictly greater than a constant threshold; reverts on violation — original id: \"invariant.gt\" */\n    readonly gt: (nodeId: string, args: InvariantGtArgs) => void;\n    /** Assert a uint256 value is less than or equal to a constant threshold; reverts on violation — original id: \"invariant.lte\" */\n    readonly lte: (nodeId: string, args: InvariantLteArgs) => void;\n    /** Assert a uint256 value is strictly less than a constant threshold; reverts on violation — original id: \"invariant.lt\" */\n    readonly lt: (nodeId: string, args: InvariantLtArgs) => void;\n    /** Assert a uint256 value equals a constant threshold; reverts on violation — original id: \"invariant.eq\" */\n    readonly eq: (nodeId: string, args: InvariantEqArgs) => void;\n    /** Assert a uint256 value does not equal a constant threshold; reverts on violation — original id: \"invariant.neq\" */\n    readonly neq: (nodeId: string, args: InvariantNeqArgs) => 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 continuation: {\n    /** Fund a deferred settlement and commit to a future outcome — original id: \"continuation.settle\" */\n    readonly settle: (\n      nodeId: string,\n      args: ContinuationSettleArgs,\n    ) => ContinuationSettleOutputs;\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  readonly fly: {\n    /** Swap via Fly's DexAggregator, sized at runtime: the router calldata leaves `amountIn` unset, so an upstream op's output can feed the swap without being known at plan time. Either leg may be the chain-native coin. — original id: \"fly.swap\" */\n    readonly swap: (nodeId: string, args: FlySwapArgs) => FlySwapOutputs;\n  };\n  readonly uniswapV2: {\n    /** Deposit two ERC-20 tokens into an existing Uniswap V2 pair (or an ABI-identical fork such as SushiSwap V2) through its Router02 and receive the pair's LP token; unused input returns as residuals. Asserts on chain that the router's factory is `factory`, that the factory's pair for the two tokens is `pair`, and that the pair holds non-zero reserves. Exposes the pool price read before the deposit as `poolPrice`. The deposit is protected only with a `band` guard on `poolPrice` and a `slippage` guard on `liquidity`. Fee-on-transfer tokens are unsupported. — original id: \"uniswapV2.addLiquidity\" */\n    readonly addLiquidity: (\n      nodeId: string,\n      args: UniswapV2AddLiquidityArgs,\n    ) => UniswapV2AddLiquidityOutputs;\n    /** Burn a Uniswap V2 LP token (or one of an ABI-identical fork such as SushiSwap V2) through its Router02 and receive both underlying tokens. Asserts on chain that the router's factory is `factory` and that the factory's pair for `tokenA`/`tokenB` is the input LP token. The withdrawal is protected only with a `slippage` guard on each of `tokenA` and `tokenB`. Fee-on-transfer tokens are unsupported: the outputs are the amounts the router reports, which would overstate what such a token delivers. — original id: \"uniswapV2.removeLiquidity\" */\n    readonly removeLiquidity: (\n      nodeId: string,\n      args: UniswapV2RemoveLiquidityArgs,\n    ) => UniswapV2RemoveLiquidityOutputs;\n  };\n  readonly uniswapV3: {\n    /** Open a Uniswap V3 concentrated-liquidity position (or one on an ABI-identical fork) for a tick range, minting the position NFT straight to `recipient`, which must not be the execution address. Exposes the new `tokenId`; unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. — original id: \"uniswapV3.mint\" */\n    readonly mint: (\n      nodeId: string,\n      args: UniswapV3MintArgs,\n    ) => UniswapV3MintOutputs;\n    /** Add two tokens to an existing Uniswap V3 position (or one on an ABI-identical fork). `owner` must own `tokenId`, and the position must hold the two input tokens; both are asserted on chain, since the position manager checks neither. Unused input comes back as residuals. The deposit is protected only with a `band` guard on `sqrtPriceX96` (read before the deposit) and a `slippage` guard on `liquidity`; a band of N bps on `sqrtPriceX96` allows about 2N bps of price movement. Fee-on-transfer tokens are unsupported. — original id: \"uniswapV3.increaseLiquidity\" */\n    readonly increaseLiquidity: (\n      nodeId: string,\n      args: UniswapV3IncreaseLiquidityArgs,\n    ) => UniswapV3IncreaseLiquidityOutputs;\n  };\n  readonly lifiIntents: {\n    /** Swap or bridge tokens through a LI.FI Intents order a solver fills — original id: \"lifiIntents.order\" */\n    readonly order: (\n      nodeId: string,\n      args: LifiIntentsOrderArgs,\n    ) => LifiIntentsOrderOutputs;\n    /** Refund a LI.FI Intents escrow order after its expiry. Anyone may call; the escrow pays the order's user. Only an order the order server reports before delivery (status Open or Signed) is refunded. — original id: \"lifiIntents.refund\" */\n    readonly refund: (nodeId: string, args: LifiIntentsRefundArgs) => void;\n    /** Step 1 of the early refund of a cross-chain LI.FI Intents order: on the order's output chain, after its fill deadline, record that the output was not filled. Keep the transaction hash for lifiIntents.refundOnNonFill. — original id: \"lifiIntents.attestNonFill\" */\n    readonly attestNonFill: (\n      nodeId: string,\n      args: LifiIntentsAttestNonFillArgs,\n    ) => void;\n    /** Step 2 of the early refund of a cross-chain LI.FI Intents order: on the order's input chain, prove the non-fill attestation through Polymer and refund the order's user. A resolution_error means the proof is not ready yet; retry. — original id: \"lifiIntents.refundOnNonFill\" */\n    readonly refundOnNonFill: (\n      nodeId: string,\n      args: LifiIntentsRefundOnNonFillArgs,\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    splitAt: (nodeId: string, args: CoreSplitAtArgs) =>\n      builder.call(nodeId, 'core.splitAt', args, {\n        head: 'resource',\n        tail: 'resource',\n      } as const),\n    partition: <const TBps extends FamilySource<CorePartitionConfig['bps']>>(\n      nodeId: string,\n      args: CorePartitionArgs<TBps>,\n    ) =>\n      builder.call(\n        nodeId,\n        'core.partition',\n        args,\n        { parts: 'resource' } as const,\n        { parts: 'bps' } as const,\n      ) as unknown as CorePartitionOutputs<TBps>,\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      } as const),\n    emitEvent1: (nodeId: string, args: CoreEmitEvent1Args) =>\n      builder.call(nodeId, 'core.emitEvent1', args, {}),\n    emitEvent2: (nodeId: string, args: CoreEmitEvent2Args) =>\n      builder.call(nodeId, 'core.emitEvent2', args, {}),\n    emitEvent3: (nodeId: string, args: CoreEmitEvent3Args) =>\n      builder.call(nodeId, 'core.emitEvent3', args, {}),\n    emitEvent4: (nodeId: string, args: CoreEmitEvent4Args) =>\n      builder.call(nodeId, 'core.emitEvent4', args, {}),\n    call: <TSig extends string>(nodeId: string, args: CoreCallArgs<TSig>) => {\n      const wire = buildCallWireFormat({\n        resource: args.resource,\n        bind: args.bind,\n        config: args.config,\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,\n          config: args.config,\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    bridge: (nodeId: string, args: LifiBridgeArgs) =>\n      builder.call(nodeId, 'lifi.bridge', 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    zapAsync: (nodeId: string, args: LifiZapAsyncArgs) =>\n      builder.call(nodeId, 'lifi.zapAsync', 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    balanceEquals: (nodeId: string, args: InvariantBalanceEqualsArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.balanceEquals',\n        { ...args, config: {} },\n        {},\n      ),\n    balanceAtMost: (nodeId: string, args: InvariantBalanceAtMostArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.balanceAtMost',\n        { ...args, config: {} },\n        {},\n      ),\n    balanceInRange: (nodeId: string, args: InvariantBalanceInRangeArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.balanceInRange',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceAtLeast: (nodeId: string, args: InvariantAllowanceAtLeastArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceAtLeast',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceEquals: (nodeId: string, args: InvariantAllowanceEqualsArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceEquals',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceAtMost: (nodeId: string, args: InvariantAllowanceAtMostArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceAtMost',\n        { ...args, config: {} },\n        {},\n      ),\n    allowanceInRange: (nodeId: string, args: InvariantAllowanceInRangeArgs) =>\n      builder.call(\n        nodeId,\n        'invariant.allowanceInRange',\n        { ...args, config: {} },\n        {},\n      ),\n    numeric: (nodeId: string, args: InvariantNumericArgs) =>\n      builder.call(nodeId, 'invariant.numeric', args, {}),\n    numericInRange: (nodeId: string, args: InvariantNumericInRangeArgs) =>\n      builder.call(nodeId, 'invariant.numericInRange', args, {}),\n    gte: (nodeId: string, args: InvariantGteArgs) =>\n      builder.call(nodeId, 'invariant.gte', args, {}),\n    gt: (nodeId: string, args: InvariantGtArgs) =>\n      builder.call(nodeId, 'invariant.gt', args, {}),\n    lte: (nodeId: string, args: InvariantLteArgs) =>\n      builder.call(nodeId, 'invariant.lte', args, {}),\n    lt: (nodeId: string, args: InvariantLtArgs) =>\n      builder.call(nodeId, 'invariant.lt', args, {}),\n    eq: (nodeId: string, args: InvariantEqArgs) =>\n      builder.call(nodeId, 'invariant.eq', args, {}),\n    neq: (nodeId: string, args: InvariantNeqArgs) =>\n      builder.call(nodeId, 'invariant.neq', args, {}),\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  continuation: {\n    settle: (nodeId: string, args: ContinuationSettleArgs) =>\n      builder.call(nodeId, 'continuation.settle', args, {\n        output: 'resource',\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  fly: {\n    swap: (nodeId: string, args: FlySwapArgs) =>\n      builder.call(nodeId, 'fly.swap', args, {\n        amountOut: 'resource',\n        unspentIn: 'resource',\n      } as const),\n  },\n  uniswapV2: {\n    addLiquidity: (nodeId: string, args: UniswapV2AddLiquidityArgs) =>\n      builder.call(nodeId, 'uniswapV2.addLiquidity', args, {\n        liquidity: 'resource',\n        residualA: 'resource',\n        residualB: 'resource',\n        poolPrice: 'uint256',\n      } as const),\n    removeLiquidity: (nodeId: string, args: UniswapV2RemoveLiquidityArgs) =>\n      builder.call(nodeId, 'uniswapV2.removeLiquidity', args, {\n        tokenA: 'resource',\n        tokenB: 'resource',\n      } as const),\n  },\n  uniswapV3: {\n    mint: (nodeId: string, args: UniswapV3MintArgs) =>\n      builder.call(nodeId, 'uniswapV3.mint', args, {\n        tokenId: 'uint256',\n        liquidity: 'uint256',\n        sqrtPriceX96: 'uint256',\n        residualA: 'resource',\n        residualB: 'resource',\n      } as const),\n    increaseLiquidity: (nodeId: string, args: UniswapV3IncreaseLiquidityArgs) =>\n      builder.call(nodeId, 'uniswapV3.increaseLiquidity', args, {\n        liquidity: 'uint256',\n        sqrtPriceX96: 'uint256',\n        residualA: 'resource',\n        residualB: 'resource',\n      } as const),\n  },\n  lifiIntents: {\n    order: (nodeId: string, args: LifiIntentsOrderArgs) =>\n      builder.call(nodeId, 'lifiIntents.order', args, {\n        amountOut: 'resource',\n        unspentIn: 'resource',\n      } as const),\n    refund: (nodeId: string, args: LifiIntentsRefundArgs) =>\n      builder.call(nodeId, 'lifiIntents.refund', args, {}),\n    attestNonFill: (nodeId: string, args: LifiIntentsAttestNonFillArgs) =>\n      builder.call(nodeId, 'lifiIntents.attestNonFill', args, {}),\n    refundOnNonFill: (nodeId: string, args: LifiIntentsRefundOnNonFillArgs) =>\n      builder.call(nodeId, 'lifiIntents.refundOnNonFill', args, {}),\n  },\n});\n"],"mappings":";;;AAgvCA,MAAa,oBACX,aACkB;CAClB,MAAM;EACJ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM;GACvC,GAAG;GACH,GAAG;EACL,CAAU;EACZ,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;GACzC,MAAM;GACN,MAAM;EACR,CAAU;EACZ,YACE,QACA,SAEA,QAAQ,KACN,QACA,kBACA,MACA,EAAE,OAAO,WAAW,GACpB,EAAE,OAAO,MAAM,CACjB;EACF,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC1D,QAAQ,WACV,CAAU;EACZ,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EACxD,QAAQ,UACV,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC7D,QAAQ,UACV,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC7D,QAAQ,UACV,CAAU;EACZ,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC/D,QAAQ,UACV,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,EAC7D,QAAQ,UACV,CAAU;EACZ,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,EACzC,QAAQ,UACV,CAAU;EACZ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM,EAAE,QAAQ,UAAU,CAAU;EACzE,cAAc,QAAgB,SAC5B,QAAQ,KAAK,QAAQ,oBAAoB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACtE,iBAAiB,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,uBAAuB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACzE,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACnE,YAAY,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACpE,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACnE,YAAY,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACpE,gBAAgB,QAAgB,SAC9B,QAAQ,KAAK,QAAQ,sBAAsB;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GAAG,CAAC,CAAC;EACxE,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,YAAY,QAAgB,SAC1B,QAAQ,KAAK,QAAQ,kBAAkB,MAAM,EAC3C,SAAS,WACX,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,EAC1C,aAAa,WACf,CAAU;EACZ,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,CAAC,CAAC;EAClD,OAA4B,QAAgB,SAA6B;GACvE,MAAM,OAAOA,gCAAAA,oBAAoB;IAC/B,UAAU,KAAK;IACf,MAAM,KAAK;IACX,QAAQ,KAAK;IACb,QAAQ,KAAK;GACf,CAAC;GACD,OAAO,QAAQ,KAAK,QAAQ,KAAK,IAAI,MAAM,EACzC,QAAQ,UACV,CAAU;EACZ;EACA,aACE,QACA,SAEA,QAAQ,KACN,QACA,mBACAC,gCAAAA,0BAA0B;GACxB,MAAM,KAAK;GACX,QAAQ,KAAK;GACb,QAAQ,KAAK;EACf,CAAC,GACD,EAAE,QAAQ,UAAU,CACtB;EACF,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,EACzC,QAAQ,UACV,CAAU;EACZ,aAAa,QAAgB,SAC3B,QAAQ,KAAK,QAAQ,mBAAmB,MAAM,EAC5C,UAAU,WACZ,CAAU;EACZ,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM,EAAE,QAAQ,UAAU,CAAU;CAC1E;CACA,MAAM;EACJ,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,aAAa,MAAM;GACtC,WAAW;GACX,WAAW;EACb,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,eAAe,MAAM;GACxC,WAAW;GACX,WAAW;EACb,CAAU;EACZ,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,YAAY,MAAM,EACrC,WAAW,WACb,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,EAC1C,WAAW,WACb,CAAU;CACd;CACA,WAAW;EACT,iBAAiB,QAAgB,SAC/B,QAAQ,KACN,QACA,4BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,gBAAgB,QAAgB,SAC9B,QAAQ,KACN,QACA,2BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,gBAAgB,QAAgB,SAC9B,QAAQ,KACN,QACA,2BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,iBAAiB,QAAgB,SAC/B,QAAQ,KACN,QACA,4BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,mBAAmB,QAAgB,SACjC,QAAQ,KACN,QACA,8BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,kBAAkB,QAAgB,SAChC,QAAQ,KACN,QACA,6BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,kBAAkB,QAAgB,SAChC,QAAQ,KACN,QACA,6BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,mBAAmB,QAAgB,SACjC,QAAQ,KACN,QACA,8BACA;GAAE,GAAG;GAAM,QAAQ,CAAC;EAAE,GACtB,CAAC,CACH;EACF,UAAU,QAAgB,SACxB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM,CAAC,CAAC;EACpD,iBAAiB,QAAgB,SAC/B,QAAQ,KAAK,QAAQ,4BAA4B,MAAM,CAAC,CAAC;EAC3D,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;EAChD,KAAK,QAAgB,SACnB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;EAChD,KAAK,QAAgB,SACnB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,KAAK,QAAgB,SACnB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM,CAAC,CAAC;EAC/C,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;CAClD;CACA,MAAM;EACJ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,eAAe,MAAM;GACxC,UAAU;GACV,aAAa;EACf,CAAU;EACZ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,cAAc,MAAM;GACvC,cAAc;GACd,UAAU;EACZ,CAAU;EACZ,mBAAmB,QAAgB,SACjC,QAAQ,KAAK,QAAQ,yBAAyB,MAAM;GAClD,cAAc;GACd,UAAU;EACZ,CAAU;EACZ,eAAe,QAAgB,SAC7B,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,SAAS;GACT,eAAe;EACjB,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,iBAAiB,MAAM,CAAC,CAAC;EAChD,kBAAkB,QAAgB,SAChC,QAAQ,KAAK,QAAQ,wBAAwB,MAAM,EACjD,cAAc,UAChB,CAAU;CACd;CACA,YAAY;EACV,mBAAmB,QAAgB,SACjC,QAAQ,KAAK,QAAQ,+BAA+B,MAAM,CAAC,CAAC;EAC9D,qBACE,QACA,SAEA,QAAQ,KAAK,QAAQ,iCAAiC,MAAM;GAC1D,WAAW;GACX,qBAAqB;EACvB,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,UAAU;GACV,gBAAgB;GAChB,gBAAgB;EAClB,CAAU;EACZ,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,oBAAoB,MAAM;GAC7C,cAAc;GACd,cAAc;GACd,UAAU;EACZ,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,gBAAgB;GAChB,gBAAgB;GAChB,UAAU;EACZ,CAAU;EACZ,WAAW,QAAgB,SACzB,QAAQ,KAAK,QAAQ,uBAAuB,MAAM;GAChD,WAAW;GACX,iBAAiB;GACjB,iBAAiB;EACnB,CAAU;EACZ,cAAc,QAAgB,SAC5B,QAAQ,KAAK,QAAQ,0BAA0B,MAAM;GACnD,cAAc;GACd,cAAc;GACd,YAAY;EACd,CAAU;CACd;CACA,cAAc,EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,uBAAuB,MAAM,EAChD,QAAQ,WACV,CAAU,EACd;CACA,UAAU,EACR,MAAM,QAAgB,SACpB,QAAQ,KAAK,QAAQ,gBAAgB,MAAM;EACzC,WAAW;EACX,WAAW;CACb,CAAU,EACd;CACA,KAAK,EACH,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,YAAY,MAAM;EACrC,WAAW;EACX,WAAW;CACb,CAAU,EACd;CACA,WAAW;EACT,eAAe,QAAgB,SAC7B,QAAQ,KAAK,QAAQ,0BAA0B,MAAM;GACnD,WAAW;GACX,WAAW;GACX,WAAW;GACX,WAAW;EACb,CAAU;EACZ,kBAAkB,QAAgB,SAChC,QAAQ,KAAK,QAAQ,6BAA6B,MAAM;GACtD,QAAQ;GACR,QAAQ;EACV,CAAU;CACd;CACA,WAAW;EACT,OAAO,QAAgB,SACrB,QAAQ,KAAK,QAAQ,kBAAkB,MAAM;GAC3C,SAAS;GACT,WAAW;GACX,cAAc;GACd,WAAW;GACX,WAAW;EACb,CAAU;EACZ,oBAAoB,QAAgB,SAClC,QAAQ,KAAK,QAAQ,+BAA+B,MAAM;GACxD,WAAW;GACX,cAAc;GACd,WAAW;GACX,WAAW;EACb,CAAU;CACd;CACA,aAAa;EACX,QAAQ,QAAgB,SACtB,QAAQ,KAAK,QAAQ,qBAAqB,MAAM;GAC9C,WAAW;GACX,WAAW;EACb,CAAU;EACZ,SAAS,QAAgB,SACvB,QAAQ,KAAK,QAAQ,sBAAsB,MAAM,CAAC,CAAC;EACrD,gBAAgB,QAAgB,SAC9B,QAAQ,KAAK,QAAQ,6BAA6B,MAAM,CAAC,CAAC;EAC5D,kBAAkB,QAAgB,SAChC,QAAQ,KAAK,QAAQ,+BAA+B,MAAM,CAAC,CAAC;CAChE;AACF"}

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

@@ -321,7 +321,7 @@ export interface CoreTransferArgs {
     readonly amount: Bindable<"resource">;
     readonly recipient: Bindable<"address">;
   };
-  readonly config: CoreTransferConfig;
+  readonly config?: CoreTransferConfig;
   readonly guards?: readonly TypedGuard<"transferred">[];
 }
 /** 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). */

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

@@ -321,7 +321,7 @@ export interface CoreTransferArgs {
     readonly amount: Bindable<"resource">;
     readonly recipient: Bindable<"address">;
   };
-  readonly config: CoreTransferConfig;
+  readonly config?: CoreTransferConfig;
   readonly guards?: readonly TypedGuard<"transferred">[];
 }
 /** 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). */