@lifi/composer-sdk 0.6.3 → 0.7.1

package/src/generated/operations.generated.ts

@@ -2,7 +2,13 @@
 // Regenerate with: yarn workspace @lifi/composer-sdk generate
 
 import type { FlowBuilderInternal } from '../authoring/FlowBuilderCore.js';
-import type { Bindable, OutputHandle } from '../authoring/handles.js';
+import type {
+  Bindable,
+  FamilyCount,
+  FamilySource,
+  OutputFamilyHandles,
+  OutputHandle,
+} from '../authoring/handles.js';
 import type {
   CoreCallResult,
   SignatureBind,
@@ -17,6 +23,7 @@ import type { TypedGuard } from '../types.js';
 import type {
   AaveBorrowConfig,
   AaveClaimRewardsConfig,
+  AaveGetHealthFactorConfig,
   AaveRepayConfig,
   AaveRepayWithATokensConfig,
   AaveSetEModeConfig,
@@ -30,6 +37,7 @@ import type {
   CoreEmitEvent2Config,
   CoreEmitEvent3Config,
   CoreEmitEvent4Config,
+  CorePartitionConfig,
   CorePeekConfig,
   CoreRawCallConfig,
   CoreSplitConfig,
@@ -48,12 +56,17 @@ import type {
   LifiSwapConfig,
   LifiZapAsyncConfig,
   LifiZapConfig,
+  MorphoBlueBorrowConfig,
+  MorphoBlueGetPositionConfig,
+  MorphoBlueRepayConfig,
   MorphoBlueSupplyCollateralConfig,
+  MorphoBlueSupplyConfig,
   MorphoBlueWithdrawCollateralConfig,
+  MorphoBlueWithdrawConfig,
   ParaswapBuyConfig,
 } from './config.generated.js';
 
-/** Split a resource into two outputs by basis-point ratio */
+/** Split a resource into two outputs by basis-point ratio. Output `a` receives `bps` of the source, rounded up, and `b` takes the remainder. */
 export interface CoreSplitArgs {
   readonly bind: {
     readonly source: Bindable<'resource'>;
@@ -62,6 +75,22 @@ export interface CoreSplitArgs {
   readonly guards?: readonly TypedGuard<'a' | 'b'>[];
 }
 
+/** 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. */
+export interface CorePartitionArgs<
+  TBps extends FamilySource<CorePartitionConfig['bps']> = FamilySource<
+    CorePartitionConfig['bps']
+  >,
+> {
+  readonly bind: {
+    readonly source: Bindable<'resource'>;
+  };
+  readonly config: Omit<CorePartitionConfig, 'bps'> & {
+    readonly bps: TBps &
+      FamilyCount<NoInfer<TBps>, Readonly<CorePartitionConfig['bps']>>;
+  };
+  readonly guards?: readonly TypedGuard<`parts.${number}`>[];
+}
+
 /** Merge two same-token resources into one by addition */
 export interface CoreMergeArgs {
   readonly bind: {
@@ -509,6 +538,13 @@ export interface AaveSetEModeArgs {
   readonly guards?: readonly TypedGuard<never>[];
 }
 
+/** Read the current Aave v3 health factor (WAD-scaled, 1e18; type(uint256).max for users with no debt) by static-calling IPool.getUserAccountData and decomposing the returned tuple. Exposes the healthFactor element as a uint256 handle suitable for use with core.numericInvariant. */
+export interface AaveGetHealthFactorArgs {
+  readonly bind: Record<string, never>;
+  readonly config: AaveGetHealthFactorConfig;
+  readonly guards?: readonly TypedGuard<'healthFactor'>[];
+}
+
 /** Deposit the collateral asset of a Morpho Blue market on behalf of the execution proxy. mode: 'exact' pulls the input handle's amount. mode: 'all' reads the proxy's current ERC20 balance of the market's collateral token and pulls that amount, ignoring the input handle's literal value — note this pulls the proxy's total balance (including unrelated upstream residuals), not just the input port's delivery. Credits Position.collateral on the Morpho singleton; emits no return value and exposes no resource output (the collateral is non-transferable accounting state). */
 export interface MorphoBlueSupplyCollateralArgs {
   readonly bind: {
@@ -525,6 +561,54 @@ export interface MorphoBlueWithdrawCollateralArgs {
   readonly guards?: readonly TypedGuard<'collateralWithdrawn'>[];
 }
 
+/** Borrow the loan asset from a Morpho Blue market against existing collateral. Exposes the borrowed amount as a Resource and the (assetsBorrowed, sharesBorrowed) tuple as handles. */
+export interface MorphoBlueBorrowArgs {
+  readonly bind: Record<string, never>;
+  readonly config: MorphoBlueBorrowConfig;
+  readonly guards?: readonly TypedGuard<'assetsBorrowed' | 'sharesBorrowed'>[];
+}
+
+/** Repay a Morpho Blue debt position with the supplied asset. mode: 'exact' repays the input handle amount; mode: 'max' reads Position.borrowShares via a precursor static call and repays in shares mode to retire the debt to the wei. Returns any unspent residual as a Resource. */
+export interface MorphoBlueRepayArgs {
+  readonly bind: {
+    readonly assetIn: Bindable<'resource'>;
+    readonly onBehalfOf: Bindable<'address'>;
+  };
+  readonly config: MorphoBlueRepayConfig;
+  readonly guards?: readonly TypedGuard<
+    'actualRepaid' | 'sharesRepaid' | 'residual'
+  >[];
+}
+
+/** Supply the loan asset of a Morpho Blue market and receive supplyShares accounting credit. Returns the (assetsSupplied, sharesSupplied) tuple as handles and any unspent residual as a Resource. */
+export interface MorphoBlueSupplyArgs {
+  readonly bind: {
+    readonly assetIn: Bindable<'resource'>;
+  };
+  readonly config: MorphoBlueSupplyConfig;
+  readonly guards?: readonly TypedGuard<
+    'assetsSupplied' | 'sharesSupplied' | 'residual'
+  >[];
+}
+
+/** Withdraw the loan asset from a Morpho Blue supply position. mode: 'exact' withdraws the configured amount; mode: 'max' reads Position.supplyShares via a precursor static call and burns all shares to retire the supply to the wei. Exposes the withdrawn amount as a Resource. */
+export interface MorphoBlueWithdrawArgs {
+  readonly bind: Record<string, never>;
+  readonly config: MorphoBlueWithdrawConfig;
+  readonly guards?: readonly TypedGuard<
+    'assetsWithdrawn' | 'sharesWithdrawn'
+  >[];
+}
+
+/** Read a Morpho Blue Position struct via a static call on the singleton. Exposes (supplyShares, borrowShares, collateral) as handles whose kinds match the on-chain field types (uint256, uint128, uint128). */
+export interface MorphoBlueGetPositionArgs {
+  readonly bind: Record<string, never>;
+  readonly config: MorphoBlueGetPositionConfig;
+  readonly guards?: readonly TypedGuard<
+    'supplyShares' | 'borrowShares' | 'collateral'
+  >[];
+}
+
 /** Route tokens into a DeFi protocol position via the edge catalog */
 export interface LifiZapArgs {
   readonly bind: {
@@ -575,6 +659,14 @@ export interface CoreSplitOutputs {
   readonly b: OutputHandle<'resource'>;
 }
 
+export interface CorePartitionOutputs<
+  TBps extends FamilySource<CorePartitionConfig['bps']> = FamilySource<
+    CorePartitionConfig['bps']
+  >,
+> {
+  readonly parts: OutputFamilyHandles<TBps>;
+}
+
 export interface CoreMergeOutputs {
   readonly merged: OutputHandle<'resource'>;
 }
@@ -654,11 +746,45 @@ export interface AaveClaimRewardsOutputs {
   readonly claimedAmount: OutputHandle<'uint256'>;
 }
 
+export interface AaveGetHealthFactorOutputs {
+  readonly healthFactor: OutputHandle<'uint256'>;
+}
+
 export interface MorphoBlueWithdrawCollateralOutputs {
   readonly withdrawn: OutputHandle<'resource'>;
   readonly collateralWithdrawn: OutputHandle<'uint256'>;
 }
 
+export interface MorphoBlueBorrowOutputs {
+  readonly borrowed: OutputHandle<'resource'>;
+  readonly assetsBorrowed: OutputHandle<'uint256'>;
+  readonly sharesBorrowed: OutputHandle<'uint256'>;
+}
+
+export interface MorphoBlueRepayOutputs {
+  readonly actualRepaid: OutputHandle<'uint256'>;
+  readonly sharesRepaid: OutputHandle<'uint256'>;
+  readonly residual: OutputHandle<'resource'>;
+}
+
+export interface MorphoBlueSupplyOutputs {
+  readonly assetsSupplied: OutputHandle<'uint256'>;
+  readonly sharesSupplied: OutputHandle<'uint256'>;
+  readonly residual: OutputHandle<'resource'>;
+}
+
+export interface MorphoBlueWithdrawOutputs {
+  readonly withdrawn: OutputHandle<'resource'>;
+  readonly assetsWithdrawn: OutputHandle<'uint256'>;
+  readonly sharesWithdrawn: OutputHandle<'uint256'>;
+}
+
+export interface MorphoBlueGetPositionOutputs {
+  readonly supplyShares: OutputHandle<'uint256'>;
+  readonly borrowShares: OutputHandle<'uint128'>;
+  readonly collateral: OutputHandle<'uint128'>;
+}
+
 export interface LifiZapOutputs {
   readonly amountOut: OutputHandle<'resource'>;
 }
@@ -683,8 +809,15 @@ export interface FlySwapOutputs {
 
 export type GeneratedOps = {
   readonly core: {
-    /** Split a resource into two outputs by basis-point ratio — original id: "core.split" */
+    /** 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" */
     readonly split: (nodeId: string, args: CoreSplitArgs) => CoreSplitOutputs;
+    /** 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" */
+    readonly partition: <
+      const TBps extends FamilySource<CorePartitionConfig['bps']>,
+    >(
+      nodeId: string,
+      args: CorePartitionArgs<TBps>,
+    ) => CorePartitionOutputs<TBps>;
     /** Merge two same-token resources into one by addition — original id: "core.merge" */
     readonly merge: (nodeId: string, args: CoreMergeArgs) => CoreMergeOutputs;
     /** Add two unsigned integers (a + b) — original id: "core.add" */
@@ -876,6 +1009,11 @@ export type GeneratedOps = {
     ) => AaveClaimRewardsOutputs;
     /** Switch the executionAddress's Aave v3 eMode category. 0 disables eMode. The pool reverts if the switch would make the position unhealthy or if any open borrow is for an asset outside the target category. — original id: "aave.setEMode" */
     readonly setEMode: (nodeId: string, args: AaveSetEModeArgs) => void;
+    /** Read the current Aave v3 health factor (WAD-scaled, 1e18; type(uint256).max for users with no debt) by static-calling IPool.getUserAccountData and decomposing the returned tuple. Exposes the healthFactor element as a uint256 handle suitable for use with core.numericInvariant. — original id: "aave.getHealthFactor" */
+    readonly getHealthFactor: (
+      nodeId: string,
+      args: AaveGetHealthFactorArgs,
+    ) => AaveGetHealthFactorOutputs;
   };
   readonly morphoBlue: {
     /** Deposit the collateral asset of a Morpho Blue market on behalf of the execution proxy. mode: 'exact' pulls the input handle's amount. mode: 'all' reads the proxy's current ERC20 balance of the market's collateral token and pulls that amount, ignoring the input handle's literal value — note this pulls the proxy's total balance (including unrelated upstream residuals), not just the input port's delivery. Credits Position.collateral on the Morpho singleton; emits no return value and exposes no resource output (the collateral is non-transferable accounting state). — original id: "morphoBlue.supplyCollateral" */
@@ -888,6 +1026,31 @@ export type GeneratedOps = {
       nodeId: string,
       args: MorphoBlueWithdrawCollateralArgs,
     ) => MorphoBlueWithdrawCollateralOutputs;
+    /** Borrow the loan asset from a Morpho Blue market against existing collateral. Exposes the borrowed amount as a Resource and the (assetsBorrowed, sharesBorrowed) tuple as handles. — original id: "morphoBlue.borrow" */
+    readonly borrow: (
+      nodeId: string,
+      args: MorphoBlueBorrowArgs,
+    ) => MorphoBlueBorrowOutputs;
+    /** Repay a Morpho Blue debt position with the supplied asset. mode: 'exact' repays the input handle amount; mode: 'max' reads Position.borrowShares via a precursor static call and repays in shares mode to retire the debt to the wei. Returns any unspent residual as a Resource. — original id: "morphoBlue.repay" */
+    readonly repay: (
+      nodeId: string,
+      args: MorphoBlueRepayArgs,
+    ) => MorphoBlueRepayOutputs;
+    /** Supply the loan asset of a Morpho Blue market and receive supplyShares accounting credit. Returns the (assetsSupplied, sharesSupplied) tuple as handles and any unspent residual as a Resource. — original id: "morphoBlue.supply" */
+    readonly supply: (
+      nodeId: string,
+      args: MorphoBlueSupplyArgs,
+    ) => MorphoBlueSupplyOutputs;
+    /** Withdraw the loan asset from a Morpho Blue supply position. mode: 'exact' withdraws the configured amount; mode: 'max' reads Position.supplyShares via a precursor static call and burns all shares to retire the supply to the wei. Exposes the withdrawn amount as a Resource. — original id: "morphoBlue.withdraw" */
+    readonly withdraw: (
+      nodeId: string,
+      args: MorphoBlueWithdrawArgs,
+    ) => MorphoBlueWithdrawOutputs;
+    /** Read a Morpho Blue Position struct via a static call on the singleton. Exposes (supplyShares, borrowShares, collateral) as handles whose kinds match the on-chain field types (uint256, uint128, uint128). — original id: "morphoBlue.getPosition" */
+    readonly getPosition: (
+      nodeId: string,
+      args: MorphoBlueGetPositionArgs,
+    ) => MorphoBlueGetPositionOutputs;
   };
   readonly paraswap: {
     /** Exact-output (BUY) swap via the Paraswap/Velora Market API: produce exactly `exactAmountOut` of the destination token, pulling only the source needed and exposing the genuinely-unspent source as `unspentIn`. — original id: "paraswap.buy" */
@@ -908,6 +1071,17 @@ export const bindGeneratedOps = (
         a: 'resource',
         b: 'resource',
       } as const),
+    partition: <const TBps extends FamilySource<CorePartitionConfig['bps']>>(
+      nodeId: string,
+      args: CorePartitionArgs<TBps>,
+    ) =>
+      builder.call(
+        nodeId,
+        'core.partition',
+        args,
+        { parts: 'resource' } as const,
+        { parts: 'bps' } as const,
+      ) as unknown as CorePartitionOutputs<TBps>,
     merge: (nodeId: string, args: CoreMergeArgs) =>
       builder.call(nodeId, 'core.merge', { ...args, config: {} }, {
         merged: 'resource',
@@ -1124,6 +1298,10 @@ export const bindGeneratedOps = (
       } as const),
     setEMode: (nodeId: string, args: AaveSetEModeArgs) =>
       builder.call(nodeId, 'aave.setEMode', args, {}),
+    getHealthFactor: (nodeId: string, args: AaveGetHealthFactorArgs) =>
+      builder.call(nodeId, 'aave.getHealthFactor', args, {
+        healthFactor: 'uint256',
+      } as const),
   },
   morphoBlue: {
     supplyCollateral: (nodeId: string, args: MorphoBlueSupplyCollateralArgs) =>
@@ -1136,6 +1314,36 @@ export const bindGeneratedOps = (
         withdrawn: 'resource',
         collateralWithdrawn: 'uint256',
       } as const),
+    borrow: (nodeId: string, args: MorphoBlueBorrowArgs) =>
+      builder.call(nodeId, 'morphoBlue.borrow', args, {
+        borrowed: 'resource',
+        assetsBorrowed: 'uint256',
+        sharesBorrowed: 'uint256',
+      } as const),
+    repay: (nodeId: string, args: MorphoBlueRepayArgs) =>
+      builder.call(nodeId, 'morphoBlue.repay', args, {
+        actualRepaid: 'uint256',
+        sharesRepaid: 'uint256',
+        residual: 'resource',
+      } as const),
+    supply: (nodeId: string, args: MorphoBlueSupplyArgs) =>
+      builder.call(nodeId, 'morphoBlue.supply', args, {
+        assetsSupplied: 'uint256',
+        sharesSupplied: 'uint256',
+        residual: 'resource',
+      } as const),
+    withdraw: (nodeId: string, args: MorphoBlueWithdrawArgs) =>
+      builder.call(nodeId, 'morphoBlue.withdraw', args, {
+        withdrawn: 'resource',
+        assetsWithdrawn: 'uint256',
+        sharesWithdrawn: 'uint256',
+      } as const),
+    getPosition: (nodeId: string, args: MorphoBlueGetPositionArgs) =>
+      builder.call(nodeId, 'morphoBlue.getPosition', args, {
+        supplyShares: 'uint256',
+        borrowShares: 'uint128',
+        collateral: 'uint128',
+      } as const),
   },
   paraswap: {
     buy: (nodeId: string, args: ParaswapBuyArgs) =>

package/src/index.ts

@@ -101,7 +101,8 @@ export type {
   ContinuationOutcome,
   Check,
   CheckComparator,
-  Phase1ArtifactWire,
+  SettlementWire,
+  SettlementEscrowWire,
   ContinuationPlanWire,
 } from '@lifi/compose-spec';
 export {
@@ -122,6 +123,9 @@ export type {
   InputHandle,
   ResourceInputHandle,
   OutputHandle,
+  OutputFamilyHandles,
+  FamilyCount,
+  FamilySource,
   AnyHandle,
 } from './authoring/handles.js';
 export { isInputHandle, isOutputHandle } from './authoring/handles.js';