@lifi/composer-sdk 0.6.3 → 0.7.1

package/dist/index.d.cts

@@ -2,8 +2,8 @@ export { AbiTypeToOutputKind, Address, InputDecl, InputSchema, InputSpecOf, Inte
 export { ChainSummary, GetZapPacksOptions, ZapPackEdge, ZapPackOverview } from './discovery.cjs';
 export { Reachability, ReachabilityOptions, RoutablePair, TokenRef, buildReachability } from './reachability.cjs';
 export { ComposeError, ComposeErrorCode, ComposePreparationOps, ComposeSdkOutdated, ComposeServerOutdated, isComposeError, isComposePreparationError, isComposeSdkOutdatedError, isComposeServerOutdatedError } from './errors.cjs';
-export { Amount, AppliedGuard, ApprovalEntry, Call, Check, CheckComparator, ComposeAction, ComposeCompilePartialData, ComposeCompileRequest, ComposeCompileResult, ComposeCompileSuccessData, ComposeErrorKind, ComposeFee, ComposeFill, ComposeRouteRequest, ComposeTransactionRequest, ComposeUserProgramSimulation, ConsumedOutput, ContinuationIntent, ContinuationOutcome, ContinuationPlanWire, Delivery, Erc20AllowanceRequirement, Erc20BalanceRequirement, Estimate, EstimateBasis, FailedPreparedOp, Flow, InputSpec, MaterialiserConfigOf, MaterialiserInput, Minimum, MinimumBasis, NativeBalanceRequirement, Output, OutputAmount, Outputs, Phase1ArtifactWire, Precondition, PreconditionConfigOf, PriceImpact, Ref, Resource, RouteAmount, RouteAmountAll, RouteAmountExact, SIMULATE_MAX_REQUIREMENTS, SIMULATE_MAX_TRACKED_BALANCES, SimulateBalanceEntry, SimulateOkResult, SimulateRequest, SimulateResult, SimulateRevertDecodeResult, SimulateRevertResult, SimulateSetupErrorResult, SimulationPolicy, SimulationRevert, SlotFinderRequirement, SolType, SweepTo, TerminalOutput, TrackedBalance } from '@lifi/compose-spec';
-export { AnyHandle, AnyRefBindable, Bindable, InputHandle, OutputHandle, RefBindable, ResourceInputHandle, isInputHandle, isOutputHandle } from './authoring/handles.cjs';
+export { Amount, AppliedGuard, ApprovalEntry, Call, Check, CheckComparator, ComposeAction, ComposeCompilePartialData, ComposeCompileRequest, ComposeCompileResult, ComposeCompileSuccessData, ComposeErrorKind, ComposeFee, ComposeFill, ComposeRouteRequest, ComposeTransactionRequest, ComposeUserProgramSimulation, ConsumedOutput, ContinuationIntent, ContinuationOutcome, ContinuationPlanWire, Delivery, Erc20AllowanceRequirement, Erc20BalanceRequirement, Estimate, EstimateBasis, FailedPreparedOp, Flow, InputSpec, MaterialiserConfigOf, MaterialiserInput, Minimum, MinimumBasis, NativeBalanceRequirement, Output, OutputAmount, Outputs, Precondition, PreconditionConfigOf, PriceImpact, Ref, Resource, RouteAmount, RouteAmountAll, RouteAmountExact, SIMULATE_MAX_REQUIREMENTS, SIMULATE_MAX_TRACKED_BALANCES, SettlementEscrowWire, SettlementWire, SimulateBalanceEntry, SimulateOkResult, SimulateRequest, SimulateResult, SimulateRevertDecodeResult, SimulateRevertResult, SimulateSetupErrorResult, SimulationPolicy, SimulationRevert, SlotFinderRequirement, SolType, SweepTo, TerminalOutput, TrackedBalance } from '@lifi/compose-spec';
+export { AnyHandle, AnyRefBindable, Bindable, FamilyCount, FamilySource, InputHandle, OutputFamilyHandles, OutputHandle, RefBindable, ResourceInputHandle, isInputHandle, isOutputHandle } from './authoring/handles.cjs';
 export { ref } from './authoring/raw.cjs';
 export { AnyBindable, FlowOptions, TypedFlow } from './authoring/FlowBuilderCore.cjs';
 export { ComposeRunInput, materialiser } from './run/inputs.cjs';
@@ -16,7 +16,7 @@ import { p as preconditionsMod } from './preconditions.generated-DblS13Wq.cjs';
 import { r as rawMod } from './raw-s1rer8X3.cjs';
 import { r as resourcesMod } from './resources-BKlFxjo8.cjs';
 import { r as routeAmountMod } from './routeAmount-DdbJYJyM.cjs';
-export { AaveBorrowConfig, AaveClaimRewardsConfig, AaveGetHealthFactorConfig, AaveRepayConfig, AaveRepayWithATokensConfig, AaveSetEModeConfig, BalanceOfMaterialiserConfig, Between01, Between010000, Between0255, Between03318, Between05000, CallMaterialiserConfig, ContinuationAssertReadyConfig, CoreApproveConfig, CoreAsResourceConfig, CoreBalanceOfConfig, CoreBpsDownConfig, CoreBpsUpConfig, CoreCallConfig, CoreEmitEvent1Config, CoreEmitEvent2Config, CoreEmitEvent3Config, CoreEmitEvent4Config, CoreInvokeConfig, CoreNumericInvariantGuardConfig, CorePeekConfig, CoreRawCallConfig, CoreSplitConfig, CoreStaticCallConfig, CoreTransferConfig, DirectDepositMaterialiserConfig, Erc20AllowancePreconditionConfig, Erc20BalancePreconditionConfig, FlashloanMaterialiserConfig, FlySwapConfig, InvariantEqConfig, InvariantGtConfig, InvariantGteConfig, InvariantLtConfig, InvariantLteConfig, InvariantNeqConfig, InvariantNumericConfig, InvariantNumericInRangeConfig, LifiBridgeConfig, LifiFlashloanRepayConfig, LifiSwapConfig, LifiZapAsyncConfig, LifiZapConfig, MaxItems50, MaxLength64, MaxLength65536, MorphoBlueBorrowConfig, MorphoBlueGetPositionConfig, MorphoBlueRepayConfig, MorphoBlueSupplyCollateralConfig, MorphoBlueSupplyConfig, MorphoBlueWithdrawCollateralConfig, MorphoBlueWithdrawConfig, NativeBalancePreconditionConfig, NonNegative, ParaswapBuyConfig, Positive, SlippageGuardConfig, StartsWith0X } from './generated/config.generated.cjs';
+export { AaveBorrowConfig, AaveClaimRewardsConfig, AaveGetHealthFactorConfig, AaveRepayConfig, AaveRepayWithATokensConfig, AaveSetEModeConfig, BalanceOfMaterialiserConfig, Between01, Between010000, Between0255, Between03318, Between05000, Between19999, CallMaterialiserConfig, ContinuationAssertReadyConfig, CoreApproveConfig, CoreAsResourceConfig, CoreBalanceOfConfig, CoreBpsDownConfig, CoreBpsUpConfig, CoreCallConfig, CoreEmitEvent1Config, CoreEmitEvent2Config, CoreEmitEvent3Config, CoreEmitEvent4Config, CoreInvokeConfig, CoreNumericInvariantGuardConfig, CorePartitionConfig, CorePeekConfig, CoreRawCallConfig, CoreSplitConfig, CoreStaticCallConfig, CoreTransferConfig, DirectDepositMaterialiserConfig, Erc20AllowancePreconditionConfig, Erc20BalancePreconditionConfig, FlashloanMaterialiserConfig, FlySwapConfig, InvariantEqConfig, InvariantGtConfig, InvariantGteConfig, InvariantLtConfig, InvariantLteConfig, InvariantNeqConfig, InvariantNumericConfig, InvariantNumericInRangeConfig, LifiBridgeConfig, LifiFlashloanRepayConfig, LifiSwapConfig, LifiZapAsyncConfig, LifiZapConfig, MaxItems16, MaxItems50, MaxLength64, MaxLength65536, MorphoBlueBorrowConfig, MorphoBlueGetPositionConfig, MorphoBlueRepayConfig, MorphoBlueSupplyCollateralConfig, MorphoBlueSupplyConfig, MorphoBlueWithdrawCollateralConfig, MorphoBlueWithdrawConfig, NativeBalancePreconditionConfig, NonNegative, ParaswapBuyConfig, Positive, SlippageGuardConfig, StartsWith0X } from './generated/config.generated.cjs';
 import './client.cjs';
 import './generated/operations.generated.cjs';
 import './authoring/signatureArgs.cjs';

package/dist/index.d.ts

@@ -2,8 +2,8 @@ export { AbiTypeToOutputKind, Address, InputDecl, InputSchema, InputSpecOf, Inte
 export { ChainSummary, GetZapPacksOptions, ZapPackEdge, ZapPackOverview } from './discovery.js';
 export { Reachability, ReachabilityOptions, RoutablePair, TokenRef, buildReachability } from './reachability.js';
 export { ComposeError, ComposeErrorCode, ComposePreparationOps, ComposeSdkOutdated, ComposeServerOutdated, isComposeError, isComposePreparationError, isComposeSdkOutdatedError, isComposeServerOutdatedError } from './errors.js';
-export { Amount, AppliedGuard, ApprovalEntry, Call, Check, CheckComparator, ComposeAction, ComposeCompilePartialData, ComposeCompileRequest, ComposeCompileResult, ComposeCompileSuccessData, ComposeErrorKind, ComposeFee, ComposeFill, ComposeRouteRequest, ComposeTransactionRequest, ComposeUserProgramSimulation, ConsumedOutput, ContinuationIntent, ContinuationOutcome, ContinuationPlanWire, Delivery, Erc20AllowanceRequirement, Erc20BalanceRequirement, Estimate, EstimateBasis, FailedPreparedOp, Flow, InputSpec, MaterialiserConfigOf, MaterialiserInput, Minimum, MinimumBasis, NativeBalanceRequirement, Output, OutputAmount, Outputs, Phase1ArtifactWire, Precondition, PreconditionConfigOf, PriceImpact, Ref, Resource, RouteAmount, RouteAmountAll, RouteAmountExact, SIMULATE_MAX_REQUIREMENTS, SIMULATE_MAX_TRACKED_BALANCES, SimulateBalanceEntry, SimulateOkResult, SimulateRequest, SimulateResult, SimulateRevertDecodeResult, SimulateRevertResult, SimulateSetupErrorResult, SimulationPolicy, SimulationRevert, SlotFinderRequirement, SolType, SweepTo, TerminalOutput, TrackedBalance } from '@lifi/compose-spec';
-export { AnyHandle, AnyRefBindable, Bindable, InputHandle, OutputHandle, RefBindable, ResourceInputHandle, isInputHandle, isOutputHandle } from './authoring/handles.js';
+export { Amount, AppliedGuard, ApprovalEntry, Call, Check, CheckComparator, ComposeAction, ComposeCompilePartialData, ComposeCompileRequest, ComposeCompileResult, ComposeCompileSuccessData, ComposeErrorKind, ComposeFee, ComposeFill, ComposeRouteRequest, ComposeTransactionRequest, ComposeUserProgramSimulation, ConsumedOutput, ContinuationIntent, ContinuationOutcome, ContinuationPlanWire, Delivery, Erc20AllowanceRequirement, Erc20BalanceRequirement, Estimate, EstimateBasis, FailedPreparedOp, Flow, InputSpec, MaterialiserConfigOf, MaterialiserInput, Minimum, MinimumBasis, NativeBalanceRequirement, Output, OutputAmount, Outputs, Precondition, PreconditionConfigOf, PriceImpact, Ref, Resource, RouteAmount, RouteAmountAll, RouteAmountExact, SIMULATE_MAX_REQUIREMENTS, SIMULATE_MAX_TRACKED_BALANCES, SettlementEscrowWire, SettlementWire, SimulateBalanceEntry, SimulateOkResult, SimulateRequest, SimulateResult, SimulateRevertDecodeResult, SimulateRevertResult, SimulateSetupErrorResult, SimulationPolicy, SimulationRevert, SlotFinderRequirement, SolType, SweepTo, TerminalOutput, TrackedBalance } from '@lifi/compose-spec';
+export { AnyHandle, AnyRefBindable, Bindable, FamilyCount, FamilySource, InputHandle, OutputFamilyHandles, OutputHandle, RefBindable, ResourceInputHandle, isInputHandle, isOutputHandle } from './authoring/handles.js';
 export { ref } from './authoring/raw.js';
 export { AnyBindable, FlowOptions, TypedFlow } from './authoring/FlowBuilderCore.js';
 export { ComposeRunInput, materialiser } from './run/inputs.js';
@@ -16,7 +16,7 @@ import { p as preconditionsMod } from './preconditions.generated-U7YpVh30.js';
 import { r as rawMod } from './raw-BvRghN3r.js';
 import { r as resourcesMod } from './resources-CYis1_DS.js';
 import { r as routeAmountMod } from './routeAmount-DdbJYJyM.js';
-export { AaveBorrowConfig, AaveClaimRewardsConfig, AaveGetHealthFactorConfig, AaveRepayConfig, AaveRepayWithATokensConfig, AaveSetEModeConfig, BalanceOfMaterialiserConfig, Between01, Between010000, Between0255, Between03318, Between05000, CallMaterialiserConfig, ContinuationAssertReadyConfig, CoreApproveConfig, CoreAsResourceConfig, CoreBalanceOfConfig, CoreBpsDownConfig, CoreBpsUpConfig, CoreCallConfig, CoreEmitEvent1Config, CoreEmitEvent2Config, CoreEmitEvent3Config, CoreEmitEvent4Config, CoreInvokeConfig, CoreNumericInvariantGuardConfig, CorePeekConfig, CoreRawCallConfig, CoreSplitConfig, CoreStaticCallConfig, CoreTransferConfig, DirectDepositMaterialiserConfig, Erc20AllowancePreconditionConfig, Erc20BalancePreconditionConfig, FlashloanMaterialiserConfig, FlySwapConfig, InvariantEqConfig, InvariantGtConfig, InvariantGteConfig, InvariantLtConfig, InvariantLteConfig, InvariantNeqConfig, InvariantNumericConfig, InvariantNumericInRangeConfig, LifiBridgeConfig, LifiFlashloanRepayConfig, LifiSwapConfig, LifiZapAsyncConfig, LifiZapConfig, MaxItems50, MaxLength64, MaxLength65536, MorphoBlueBorrowConfig, MorphoBlueGetPositionConfig, MorphoBlueRepayConfig, MorphoBlueSupplyCollateralConfig, MorphoBlueSupplyConfig, MorphoBlueWithdrawCollateralConfig, MorphoBlueWithdrawConfig, NativeBalancePreconditionConfig, NonNegative, ParaswapBuyConfig, Positive, SlippageGuardConfig, StartsWith0X } from './generated/config.generated.js';
+export { AaveBorrowConfig, AaveClaimRewardsConfig, AaveGetHealthFactorConfig, AaveRepayConfig, AaveRepayWithATokensConfig, AaveSetEModeConfig, BalanceOfMaterialiserConfig, Between01, Between010000, Between0255, Between03318, Between05000, Between19999, CallMaterialiserConfig, ContinuationAssertReadyConfig, CoreApproveConfig, CoreAsResourceConfig, CoreBalanceOfConfig, CoreBpsDownConfig, CoreBpsUpConfig, CoreCallConfig, CoreEmitEvent1Config, CoreEmitEvent2Config, CoreEmitEvent3Config, CoreEmitEvent4Config, CoreInvokeConfig, CoreNumericInvariantGuardConfig, CorePartitionConfig, CorePeekConfig, CoreRawCallConfig, CoreSplitConfig, CoreStaticCallConfig, CoreTransferConfig, DirectDepositMaterialiserConfig, Erc20AllowancePreconditionConfig, Erc20BalancePreconditionConfig, FlashloanMaterialiserConfig, FlySwapConfig, InvariantEqConfig, InvariantGtConfig, InvariantGteConfig, InvariantLtConfig, InvariantLteConfig, InvariantNeqConfig, InvariantNumericConfig, InvariantNumericInRangeConfig, LifiBridgeConfig, LifiFlashloanRepayConfig, LifiSwapConfig, LifiZapAsyncConfig, LifiZapConfig, MaxItems16, MaxItems50, MaxLength64, MaxLength65536, MorphoBlueBorrowConfig, MorphoBlueGetPositionConfig, MorphoBlueRepayConfig, MorphoBlueSupplyCollateralConfig, MorphoBlueSupplyConfig, MorphoBlueWithdrawCollateralConfig, MorphoBlueWithdrawConfig, NativeBalancePreconditionConfig, NonNegative, ParaswapBuyConfig, Positive, SlippageGuardConfig, StartsWith0X } from './generated/config.generated.js';
 import './client.js';
 import './generated/operations.generated.js';
 import './authoring/signatureArgs.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/index.ts"],"sourcesContent":["/**\n * `@lifi/composer-sdk` — TypeScript SDK for building and compiling\n * Compose flows into executable EVM calldata.\n *\n * Start by creating an SDK instance with {@link createComposeSdk}, then use\n * {@link ComposeSdk.flow} to build flows and compile them.\n *\n * @packageDocumentation\n */\n\nexport type {\n  AbiTypeToOutputKind,\n  Address,\n  InputDecl,\n  InputSchema,\n  InputSpecOf,\n  IntegerString,\n  IntegerStringInput,\n  OutputKind,\n  TypedGuard,\n  TypedRef,\n  TypedLiteral,\n} from './types.js';\n\nexport type {\n  ChainSummary,\n  GetZapPacksOptions,\n  ZapPackEdge,\n  ZapPackOverview,\n} from './discovery.js';\nexport type {\n  Reachability,\n  ReachabilityOptions,\n  RoutablePair,\n  TokenRef,\n} from './reachability.js';\nexport { buildReachability } from './reachability.js';\nexport type {\n  ComposeError,\n  ComposeErrorCode,\n  ComposeSdkOutdated,\n  ComposeServerOutdated,\n  ComposePreparationOps,\n} from './errors.js';\nexport type {\n  AppliedGuard,\n  ApprovalEntry,\n  Call,\n  ComposeCompilePartialData,\n  ComposeAction,\n  ComposeFill,\n  ComposeFee,\n  ComposeUserProgramSimulation,\n  ComposeCompileRequest,\n  ComposeCompileResult,\n  ComposeCompileSuccessData,\n  ComposeErrorKind,\n  ComposeRouteRequest,\n  ComposeTransactionRequest,\n  FailedPreparedOp,\n  Flow,\n  InputSpec,\n  MaterialiserConfigOf,\n  MaterialiserInput,\n  OutputAmount,\n  Amount,\n  ConsumedOutput,\n  Delivery,\n  Estimate,\n  EstimateBasis,\n  Minimum,\n  MinimumBasis,\n  Output,\n  Outputs,\n  TerminalOutput,\n  Precondition,\n  PreconditionConfigOf,\n  PriceImpact,\n  Ref,\n  Resource,\n  RouteAmount,\n  RouteAmountAll,\n  RouteAmountExact,\n  SimulationPolicy,\n  SimulationRevert,\n  SolType,\n  SweepTo,\n  SimulateRequest,\n  SimulateResult,\n  SimulateOkResult,\n  SimulateRevertResult,\n  SimulateRevertDecodeResult,\n  SimulateSetupErrorResult,\n  SimulateBalanceEntry,\n  TrackedBalance,\n  SlotFinderRequirement,\n  Erc20BalanceRequirement,\n  NativeBalanceRequirement,\n  Erc20AllowanceRequirement,\n  ContinuationIntent,\n  ContinuationOutcome,\n  Check,\n  CheckComparator,\n  Phase1ArtifactWire,\n  ContinuationPlanWire,\n} from '@lifi/compose-spec';\nexport {\n  SIMULATE_MAX_TRACKED_BALANCES,\n  SIMULATE_MAX_REQUIREMENTS,\n} from '@lifi/compose-spec';\nexport {\n  isComposeError,\n  isComposePreparationError,\n  isComposeSdkOutdatedError,\n  isComposeServerOutdatedError,\n} from './errors.js';\n\nexport type {\n  Bindable,\n  RefBindable,\n  AnyRefBindable,\n  InputHandle,\n  ResourceInputHandle,\n  OutputHandle,\n  AnyHandle,\n} from './authoring/handles.js';\nexport { isInputHandle, isOutputHandle } from './authoring/handles.js';\nexport { ref } from './authoring/raw.js';\n\nexport type { AnyBindable } from './authoring/FlowBuilderCore.js';\nexport type { TypedFlow, FlowOptions } from './authoring/FlowBuilderCore.js';\n\nexport type { ComposeRunInput } from './run/inputs.js';\nexport { materialiser } from './run/inputs.js';\n\nexport { buildSimulateRequest } from './run/simulate.js';\nexport type { BuildSimulateRequestInput } from './run/simulate.js';\n\nexport { terminalOutputs } from './outputs.js';\n\nexport { createComposeSdk } from './sdk.js';\nexport type { ComposeSdk, ComposeSdkOptions, FlowBuilder } from './sdk.js';\n\nimport * as guardsMod from './generated/guards.generated.js';\nimport * as materialisersMod from './generated/materialisers.generated.js';\nimport * as preconditionsMod from './generated/preconditions.generated.js';\nimport * as rawMod from './raw.js';\nimport * as resourcesMod from './resources.js';\nimport * as routeAmountMod from './routeAmount.js';\n\n/**\n * Guard factories for protecting operation outputs (e.g. slippage tolerance).\n * Pass guards to an operation's `guards` array.\n *\n * @example\n * ```ts\n * builder.lifi.swap('swap1', {\n *   bind: { amountIn: builder.inputs.token },\n *   config: { resourceOut: resources.native(1) },\n *   guards: [guards.slippage({ port: 'amountOut', bps: 300 })],\n * });\n * ```\n */\nexport const guards: typeof guardsMod = guardsMod;\n/**\n * Materialiser factories that tell the runtime how to resolve token input\n * amounts on-chain (e.g. read a wallet balance, accept a direct deposit).\n *\n * @example\n * ```ts\n * await builder.compile({\n *   inputs: { token: materialisers.balanceOf({}) },\n *   signer: '0x...',\n * });\n * ```\n */\nexport const materialisers: typeof materialisersMod = materialisersMod;\n/**\n * Precondition factories for asserting on-chain state before a flow executes\n * (e.g. minimum token balances, ERC-20 allowances).\n *\n * @example\n * ```ts\n * await builder.compile({\n *   inputs: { token: materialisers.balanceOf({}) },\n *   preconditions: [\n *     preconditions.erc20Balance({ wallet: '0x...', token: '0x...', balance: 1000n }),\n *   ],\n *   signer: '0x...',\n * });\n * ```\n */\nexport const preconditions: typeof preconditionsMod = preconditionsMod;\n/**\n * Resource declaration helpers for defining token inputs in a flow schema.\n * Use {@link resources.erc20} for ERC-20 tokens and {@link resources.native}\n * for the chain's native coin (ETH, MATIC, etc.).\n *\n * @example\n * ```ts\n * const builder = sdk.flow(1, {\n *   inputs: {\n *     usdc: resources.erc20('0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48', 1),\n *     eth: resources.native(1),\n *   },\n * });\n * ```\n */\nexport const resources: typeof resourcesMod = resourcesMod;\n/**\n * Amount constructors for {@link ComposeSdk.route}. Use\n * {@link routeAmount.exact} to spend a fixed amount of the `fromToken`, and\n * {@link routeAmount.all} to spend the signer's whole balance.\n *\n * @example\n * ```ts\n * // USDC into the Aave v3 aEthUSDC position — one routing-catalog edge.\n * const result = await sdk.route({\n *   chainId: 1,\n *   fromToken: '0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48',\n *   toToken: '0x98C23E9d8f34FEFb1B7BD6a91B7FF122F4e16F5c',\n *   amount: routeAmount.exact(1_000_000n),\n *   signer: '0xYourAddress...',\n * });\n * ```\n */\nexport const routeAmount: typeof routeAmountMod = routeAmountMod;\nexport * from './generated/config.generated.js';\n\n/**\n * Low-level escape hatch for constructing flow nodes, guards, and materialiser\n * inputs without the typed builder API. Prefer the generated operation methods\n * on {@link FlowBuilder} and the typed `guards`/`materialisers` namespaces\n * for most use cases.\n */\nexport const raw: typeof rawMod = rawMod;\n"],"mappings":"AAoCA,SAAS,yBAAyB;AAsElC;AAAA,EACE;AAAA,EACA;AAAA,OACK;AACP;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAWP,SAAS,eAAe,sBAAsB;AAC9C,SAAS,WAAW;AAMpB,SAAS,oBAAoB;AAE7B,SAAS,4BAA4B;AAGrC,SAAS,uBAAuB;AAEhC,SAAS,wBAAwB;AAGjC,YAAY,eAAe;AAC3B,YAAY,sBAAsB;AAClC,YAAY,sBAAsB;AAClC,YAAY,YAAY;AACxB,YAAY,kBAAkB;AAC9B,YAAY,oBAAoB;AAezB,MAAM,SAA2B;AAajC,MAAM,gBAAyC;AAgB/C,MAAM,gBAAyC;AAgB/C,MAAM,YAAiC;AAkBvC,MAAM,cAAqC;AAClD,cAAc;AAQP,MAAM,MAAqB;","names":[]}
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["/**\n * `@lifi/composer-sdk` — TypeScript SDK for building and compiling\n * Compose flows into executable EVM calldata.\n *\n * Start by creating an SDK instance with {@link createComposeSdk}, then use\n * {@link ComposeSdk.flow} to build flows and compile them.\n *\n * @packageDocumentation\n */\n\nexport type {\n  AbiTypeToOutputKind,\n  Address,\n  InputDecl,\n  InputSchema,\n  InputSpecOf,\n  IntegerString,\n  IntegerStringInput,\n  OutputKind,\n  TypedGuard,\n  TypedRef,\n  TypedLiteral,\n} from './types.js';\n\nexport type {\n  ChainSummary,\n  GetZapPacksOptions,\n  ZapPackEdge,\n  ZapPackOverview,\n} from './discovery.js';\nexport type {\n  Reachability,\n  ReachabilityOptions,\n  RoutablePair,\n  TokenRef,\n} from './reachability.js';\nexport { buildReachability } from './reachability.js';\nexport type {\n  ComposeError,\n  ComposeErrorCode,\n  ComposeSdkOutdated,\n  ComposeServerOutdated,\n  ComposePreparationOps,\n} from './errors.js';\nexport type {\n  AppliedGuard,\n  ApprovalEntry,\n  Call,\n  ComposeCompilePartialData,\n  ComposeAction,\n  ComposeFill,\n  ComposeFee,\n  ComposeUserProgramSimulation,\n  ComposeCompileRequest,\n  ComposeCompileResult,\n  ComposeCompileSuccessData,\n  ComposeErrorKind,\n  ComposeRouteRequest,\n  ComposeTransactionRequest,\n  FailedPreparedOp,\n  Flow,\n  InputSpec,\n  MaterialiserConfigOf,\n  MaterialiserInput,\n  OutputAmount,\n  Amount,\n  ConsumedOutput,\n  Delivery,\n  Estimate,\n  EstimateBasis,\n  Minimum,\n  MinimumBasis,\n  Output,\n  Outputs,\n  TerminalOutput,\n  Precondition,\n  PreconditionConfigOf,\n  PriceImpact,\n  Ref,\n  Resource,\n  RouteAmount,\n  RouteAmountAll,\n  RouteAmountExact,\n  SimulationPolicy,\n  SimulationRevert,\n  SolType,\n  SweepTo,\n  SimulateRequest,\n  SimulateResult,\n  SimulateOkResult,\n  SimulateRevertResult,\n  SimulateRevertDecodeResult,\n  SimulateSetupErrorResult,\n  SimulateBalanceEntry,\n  TrackedBalance,\n  SlotFinderRequirement,\n  Erc20BalanceRequirement,\n  NativeBalanceRequirement,\n  Erc20AllowanceRequirement,\n  ContinuationIntent,\n  ContinuationOutcome,\n  Check,\n  CheckComparator,\n  SettlementWire,\n  SettlementEscrowWire,\n  ContinuationPlanWire,\n} from '@lifi/compose-spec';\nexport {\n  SIMULATE_MAX_TRACKED_BALANCES,\n  SIMULATE_MAX_REQUIREMENTS,\n} from '@lifi/compose-spec';\nexport {\n  isComposeError,\n  isComposePreparationError,\n  isComposeSdkOutdatedError,\n  isComposeServerOutdatedError,\n} from './errors.js';\n\nexport type {\n  Bindable,\n  RefBindable,\n  AnyRefBindable,\n  InputHandle,\n  ResourceInputHandle,\n  OutputHandle,\n  OutputFamilyHandles,\n  FamilyCount,\n  FamilySource,\n  AnyHandle,\n} from './authoring/handles.js';\nexport { isInputHandle, isOutputHandle } from './authoring/handles.js';\nexport { ref } from './authoring/raw.js';\n\nexport type { AnyBindable } from './authoring/FlowBuilderCore.js';\nexport type { TypedFlow, FlowOptions } from './authoring/FlowBuilderCore.js';\n\nexport type { ComposeRunInput } from './run/inputs.js';\nexport { materialiser } from './run/inputs.js';\n\nexport { buildSimulateRequest } from './run/simulate.js';\nexport type { BuildSimulateRequestInput } from './run/simulate.js';\n\nexport { terminalOutputs } from './outputs.js';\n\nexport { createComposeSdk } from './sdk.js';\nexport type { ComposeSdk, ComposeSdkOptions, FlowBuilder } from './sdk.js';\n\nimport * as guardsMod from './generated/guards.generated.js';\nimport * as materialisersMod from './generated/materialisers.generated.js';\nimport * as preconditionsMod from './generated/preconditions.generated.js';\nimport * as rawMod from './raw.js';\nimport * as resourcesMod from './resources.js';\nimport * as routeAmountMod from './routeAmount.js';\n\n/**\n * Guard factories for protecting operation outputs (e.g. slippage tolerance).\n * Pass guards to an operation's `guards` array.\n *\n * @example\n * ```ts\n * builder.lifi.swap('swap1', {\n *   bind: { amountIn: builder.inputs.token },\n *   config: { resourceOut: resources.native(1) },\n *   guards: [guards.slippage({ port: 'amountOut', bps: 300 })],\n * });\n * ```\n */\nexport const guards: typeof guardsMod = guardsMod;\n/**\n * Materialiser factories that tell the runtime how to resolve token input\n * amounts on-chain (e.g. read a wallet balance, accept a direct deposit).\n *\n * @example\n * ```ts\n * await builder.compile({\n *   inputs: { token: materialisers.balanceOf({}) },\n *   signer: '0x...',\n * });\n * ```\n */\nexport const materialisers: typeof materialisersMod = materialisersMod;\n/**\n * Precondition factories for asserting on-chain state before a flow executes\n * (e.g. minimum token balances, ERC-20 allowances).\n *\n * @example\n * ```ts\n * await builder.compile({\n *   inputs: { token: materialisers.balanceOf({}) },\n *   preconditions: [\n *     preconditions.erc20Balance({ wallet: '0x...', token: '0x...', balance: 1000n }),\n *   ],\n *   signer: '0x...',\n * });\n * ```\n */\nexport const preconditions: typeof preconditionsMod = preconditionsMod;\n/**\n * Resource declaration helpers for defining token inputs in a flow schema.\n * Use {@link resources.erc20} for ERC-20 tokens and {@link resources.native}\n * for the chain's native coin (ETH, MATIC, etc.).\n *\n * @example\n * ```ts\n * const builder = sdk.flow(1, {\n *   inputs: {\n *     usdc: resources.erc20('0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48', 1),\n *     eth: resources.native(1),\n *   },\n * });\n * ```\n */\nexport const resources: typeof resourcesMod = resourcesMod;\n/**\n * Amount constructors for {@link ComposeSdk.route}. Use\n * {@link routeAmount.exact} to spend a fixed amount of the `fromToken`, and\n * {@link routeAmount.all} to spend the signer's whole balance.\n *\n * @example\n * ```ts\n * // USDC into the Aave v3 aEthUSDC position — one routing-catalog edge.\n * const result = await sdk.route({\n *   chainId: 1,\n *   fromToken: '0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48',\n *   toToken: '0x98C23E9d8f34FEFb1B7BD6a91B7FF122F4e16F5c',\n *   amount: routeAmount.exact(1_000_000n),\n *   signer: '0xYourAddress...',\n * });\n * ```\n */\nexport const routeAmount: typeof routeAmountMod = routeAmountMod;\nexport * from './generated/config.generated.js';\n\n/**\n * Low-level escape hatch for constructing flow nodes, guards, and materialiser\n * inputs without the typed builder API. Prefer the generated operation methods\n * on {@link FlowBuilder} and the typed `guards`/`materialisers` namespaces\n * for most use cases.\n */\nexport const raw: typeof rawMod = rawMod;\n"],"mappings":"AAoCA,SAAS,yBAAyB;AAuElC;AAAA,EACE;AAAA,EACA;AAAA,OACK;AACP;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAcP,SAAS,eAAe,sBAAsB;AAC9C,SAAS,WAAW;AAMpB,SAAS,oBAAoB;AAE7B,SAAS,4BAA4B;AAGrC,SAAS,uBAAuB;AAEhC,SAAS,wBAAwB;AAGjC,YAAY,eAAe;AAC3B,YAAY,sBAAsB;AAClC,YAAY,sBAAsB;AAClC,YAAY,YAAY;AACxB,YAAY,kBAAkB;AAC9B,YAAY,oBAAoB;AAezB,MAAM,SAA2B;AAajC,MAAM,gBAAyC;AAgB/C,MAAM,gBAAyC;AAgB/C,MAAM,YAAiC;AAkBvC,MAAM,cAAqC;AAClD,cAAc;AAQP,MAAM,MAAqB;","names":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lifi/composer-sdk",
-  "version": "0.6.3",
+  "version": "0.7.1",
   "description": "Public Composer SDK for building and submitting flows",
   "license": "Apache-2.0",
   "repository": {
@@ -47,12 +47,12 @@
     "example:staged": "tsx src/examples/run.ts --staged"
   },
   "peerDependencies": {
-    "@lifi/compose-spec": "0.6.3"
+    "@lifi/compose-spec": "0.7.1"
   },
   "dependencies": {
     "abitype": "^1.2.3",
     "effect": "^3.21.0",
-    "zod": "^4.1.11"
+    "zod": "^4.6.5"
   },
   "devDependencies": {
     "@eslint/compat": "^1.4.0",

package/src/authoring/FlowBuilderCore.ts

@@ -1,12 +1,14 @@
-import type {
-  AppliedGuard,
-  BindValue,
-  Call,
-  Flow,
-  FlowInput,
-  Ref,
-  Resource,
-  SolType,
+import {
+  type AppliedGuard,
+  type BindValue,
+  type Call,
+  familySize,
+  type Flow,
+  type FlowInput,
+  instancePortName,
+  type Ref,
+  type Resource,
+  type SolType,
 } from '@lifi/compose-spec';
 
 import type {
@@ -146,16 +148,34 @@ export interface FlowBuilderCore<T extends InputSchema = InputSchema> {
 /** Maps output port names to their output kind for compile-time and runtime validation. */
 export type OutputSpec = Record<string, OutputKind>;
 
+/**
+ * Maps each output family's port name to the config key that sizes it: an
+ * array (one instance per element) or a non-negative integer count.
+ * A family port is also listed in the {@link OutputSpec}, as `'resource'`.
+ */
+export type FamilySpec = Readonly<Record<string, string>>;
+
+/** The handles `call` returns for an {@link OutputSpec} and its families. */
+export type OutputHandles<O extends OutputSpec, F extends FamilySpec> = {
+  readonly [K in keyof O & string]: K extends keyof F
+    ? readonly OutputHandle<'resource'>[]
+    : OutputHandle<O[K]>;
+};
+
 /** Internal interface exposed to bindGeneratedOps — not part of the public API. */
 export interface FlowBuilderInternal<
   T extends InputSchema = InputSchema,
 > extends FlowBuilderCore<T> {
-  readonly call: <O extends OutputSpec>(
+  readonly call: <
+    O extends OutputSpec,
+    F extends FamilySpec = Record<never, string>,
+  >(
     nodeId: string,
     op: string,
     args: CallArgs,
     outputs: O,
-  ) => { readonly [K in keyof O & string]: OutputHandle<O[K]> };
+    families?: F,
+  ) => OutputHandles<O, F>;
 }
 
 const isResource = (decl: InputDecl): decl is Resource =>
@@ -194,12 +214,16 @@ export const createFlowBuilderCore = <T extends InputSchema>(
     }
   }
 
-  const call = <O extends OutputSpec>(
+  const call = <
+    O extends OutputSpec,
+    F extends FamilySpec = Record<never, string>,
+  >(
     nodeId: string,
     op: string,
     args: CallArgs,
     outputs: O,
-  ): { readonly [K in keyof O & string]: OutputHandle<O[K]> } => {
+    families?: F,
+  ): OutputHandles<O, F> => {
     if (nodeIds.has(nodeId)) throw new Error(`Duplicate node id: "${nodeId}"`);
     nodeIds.add(nodeId);
 
@@ -208,27 +232,43 @@ export const createFlowBuilderCore = <T extends InputSchema>(
       bind[key] = toBindValue(val);
     }
 
+    const config = (args.config ?? {}) as Record<string, unknown>;
     const node: Call = {
       id: nodeId,
       op,
       bind,
-      config: (args.config ?? {}) as Record<string, unknown>,
+      config,
       ...(args.guards && args.guards.length > 0 && { guards: args.guards }),
     };
     nodes.push(node);
 
-    type Result = { readonly [K in keyof O & string]: OutputHandle<O[K]> };
-    return new Proxy({} as Result, {
-      get: (_target, prop): OutputHandle | undefined => {
+    const outputHandle = (portName: string): OutputHandle => ({
+      _tag: 'output',
+      nodeId,
+      portName,
+    });
+    return new Proxy({} as OutputHandles<O, F>, {
+      get: (
+        _target,
+        prop,
+      ): OutputHandle | readonly OutputHandle[] | undefined => {
         if (typeof prop !== 'string' || prop === 'then') return undefined;
-        if (!(prop in outputs)) {
+        // Own-key only: the trap sees every property a consumer reads, so `in`
+        // would answer a handle for `toString` or `constructor` instead of the
+        // unknown-port error.
+        if (!Object.hasOwn(outputs, prop)) {
           throw new Error(
             `Op "${op}" has no output port "${prop}". Valid ports: ${Object.keys(
               outputs,
             ).join(', ')}`,
           );
         }
-        return { _tag: 'output', nodeId, portName: prop };
+        const countFrom = families?.[prop];
+        if (countFrom === undefined) return outputHandle(prop);
+        const size = familySize({ name: prop, countFrom }, config);
+        return Array.from({ length: size }, (_, index) =>
+          outputHandle(instancePortName(prop, index)),
+        );
       },
     });
   };

package/src/authoring/handles.ts

@@ -39,6 +39,73 @@ export interface OutputHandle<T extends OutputKind = OutputKind> {
   readonly __outputKind?: T;
 }
 
+/**
+ * What an output family's sizing parameter accepts, given the config field the
+ * family counts from: an array of that field's elements, or a number.
+ */
+export type FamilySource<Field> = Field extends readonly (infer E)[]
+  ? readonly E[]
+  : number;
+
+/** Whether a number literal is a valid family count: a non-negative integer. */
+type IsCountLiteral<N extends number> = `${N}` extends
+  `-${string}` | `${string}.${string}` | `${string}e${string}`
+  ? false
+  : true;
+
+/**
+ * `N` resource handles as a tuple. A non-literal `number`, or a literal that is
+ * not a valid count, gives an open array; {@link FamilyCount} rejects the
+ * invalid literal at the call site.
+ */
+type HandleTuple<
+  N extends number,
+  Acc extends readonly OutputHandle<'resource'>[] = readonly [],
+> = number extends N
+  ? readonly OutputHandle<'resource'>[]
+  : IsCountLiteral<N> extends false
+    ? readonly OutputHandle<'resource'>[]
+    : Acc['length'] extends N
+      ? Acc
+      : HandleTuple<N, readonly [...Acc, OutputHandle<'resource'>]>;
+
+/**
+ * The handles of an output family: one resource {@link OutputHandle} per
+ * element of the config array the family counts from, or as many as the config
+ * count. A literal array or count yields a tuple of that length, so indexing
+ * past the last instance is a type error.
+ */
+export type OutputFamilyHandles<TCount extends readonly unknown[] | number> =
+  TCount extends readonly unknown[]
+    ? { readonly [I in keyof TCount]: OutputHandle<'resource'> }
+    : TCount extends number
+      ? HandleTuple<TCount>
+      : never;
+
+/**
+ * Holds the config value an output family counts from to the op's own type. A
+ * runtime-sized array or count passes as is. A literal tuple must also satisfy
+ * `Shape`, so a tuple shorter than the op's `minItems` fails at the call site
+ * instead of at the server's bind step. A literal count must be a non-negative
+ * integer.
+ */
+export type FamilyCount<
+  TCount extends readonly unknown[] | number,
+  Shape,
+> = TCount extends readonly unknown[]
+  ? number extends TCount['length']
+    ? unknown
+    : TCount extends Shape
+      ? unknown
+      : { readonly 'output family config array has too few entries': never }
+  : TCount extends number
+    ? IsCountLiteral<TCount> extends true
+      ? unknown
+      : {
+          readonly 'output family count must be a non-negative integer': never;
+        }
+    : unknown;
+
 /** Discriminated union of all handle types that can be bound to operation arguments. */
 export type AnyHandle = InputHandle | OutputHandle;
 

package/src/examples/aaveBorrow.ts

@@ -0,0 +1,129 @@
+import type { ComposeCompileRequest, Flow } from '@lifi/compose-spec';
+
+import {
+  createComposeSdk,
+  guards,
+  materialisers,
+  resources,
+} from '../index.js';
+import type { Address } from '../types.js';
+
+import { API_KEY, BASE_URL } from './config.js';
+
+// Aave v3 contracts on Ethereum mainnet.
+const AAVE_V3_POOL = '0x87870Bca3F3fD6335C3F4ce8392D69350B4fA4E2';
+const USDC = '0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48';
+// Aave v3 aEthUSDC receipt token and variable-debt USDC token.
+const A_ETH_USDC = '0x98C23E9d8f34FEFb1B7BD6a91B7FF122F4e16F5c';
+const VDEBT_USDC = '0x72E95b8931767C79bA4EeE721354d6E99a61D004';
+
+// 1.05 WAD (1e18) — minimum acceptable Aave health factor after the borrow.
+// The on-chain VM reverts the run if the post-borrow HF drops below this.
+const MIN_HEALTH_FACTOR_WAD = '1050000000000000000';
+
+export interface AaveBorrowInput {
+  readonly owner: Address;
+  readonly recipient: Address;
+  /** USDC supplied as collateral so the proxy can borrow (6 dp). */
+  readonly collateralAmount: `${bigint}`;
+  /** USDC borrowed against the collateral and sent to the recipient (6 dp). */
+  readonly borrowAmount: `${bigint}`;
+}
+
+/**
+ * Supply USDC to Aave v3, borrow USDC against it, and transfer the borrowed
+ * funds to a recipient — with an on-chain health-factor guard that reverts
+ * if the post-borrow position is too thin.
+ *
+ * The in-flow supply makes the example self-contained: the borrow is backed
+ * by collateral created in the same transaction, so it simulates cleanly
+ * for a fresh proxy. Keep `borrowAmount` comfortably below the collateral's
+ * borrowing power or the health-factor guard reverts the run.
+ *
+ * Demonstrates:
+ * - `lifi.zap` to supply USDC into Aave (USDC → aEthUSDC routing edge)
+ * - `aave.borrow` with no resource input — the borrowed asset materialises
+ *   as the `borrowed` resource output.
+ * - Chaining the borrow output into a `core.transfer` to forward funds.
+ * - `aave.getHealthFactor` + `core.numericInvariant` guard asserts that
+ *   `healthFactor >= MIN_HEALTH_FACTOR_WAD` after the borrow; the run reverts
+ *   on-chain if the threshold is violated.
+ *
+ * The supplied aEthUSDC stays on the proxy: it backs the open debt, and
+ * Aave rejects aToken transfers that would break the position's health
+ * factor, so it cannot be swept while the borrow is outstanding.
+ */
+export const buildAaveBorrow = ({
+  owner,
+  recipient,
+  collateralAmount,
+  borrowAmount,
+}: AaveBorrowInput): {
+  flow: Flow;
+  request: ComposeCompileRequest;
+} => {
+  const sdk = createComposeSdk({ baseUrl: BASE_URL, apiKey: API_KEY });
+
+  const builder = sdk.flow(1, {
+    name: 'aave-borrow-usdc',
+    inputs: {
+      collateralIn: resources.erc20(USDC, 1),
+      recipient: 'address',
+    },
+  });
+
+  // Supply USDC as collateral (USDC → aEthUSDC) so the proxy can borrow.
+  builder.lifi.zap('supply', {
+    bind: { amountIn: builder.inputs.collateralIn },
+    config: { resourceOut: resources.erc20(A_ETH_USDC, 1) },
+  });
+
+  const borrowOut = builder.aave.borrow('borrow', {
+    bind: {},
+    config: {
+      pool: AAVE_V3_POOL,
+      asset: USDC,
+      variableDebtToken: VDEBT_USDC,
+      amount: borrowAmount,
+    },
+  });
+
+  // Read the post-borrow Aave health factor and assert it stays above the
+  // minimum threshold. The numericInvariant guard lowers to an on-chain
+  // `AssertRawInvariant` IR1 instruction; the run reverts if HF < threshold.
+  builder.aave.getHealthFactor('hf', {
+    bind: {},
+    config: { pool: AAVE_V3_POOL },
+    guards: [
+      guards.coreNumericInvariant({
+        port: 'healthFactor',
+        op: 'gte',
+        threshold: MIN_HEALTH_FACTOR_WAD,
+      }),
+    ],
+  });
+
+  // Forward the freshly borrowed USDC to the recipient.
+  builder.core.transfer('send-borrowed', {
+    bind: {
+      amount: borrowOut.borrowed,
+      recipient: builder.inputs.recipient,
+    },
+    config: {},
+  });
+
+  const flow = builder.build();
+
+  // No sweepTo: the aEthUSDC collateral must stay on the proxy while the
+  // debt is open — Aave blocks aToken transfers that would leave the
+  // position undercollateralized.
+  const request = sdk.request(flow, {
+    signer: owner,
+    inputs: {
+      collateralIn: materialisers.directDeposit({ amount: collateralAmount }),
+      recipient,
+    },
+  });
+
+  return { flow, request };
+};

package/src/examples/aaveHealthFactorExplode.ts

@@ -0,0 +1,63 @@
+import type { ComposeCompileRequest, Flow } from '@lifi/compose-spec';
+
+import { createComposeSdk, guards } from '../index.js';
+import type { Address } from '../types.js';
+
+import { API_KEY, BASE_URL } from './config.js';
+
+// Base mainnet Aave v3 Pool.
+const AAVE_V3_POOL = '0xA238Dd80C259a72e81d7e4664a9801593F98d1c5';
+
+// 1.0 WAD (1e18) — minimum acceptable health factor.
+const MIN_HEALTH_FACTOR_WAD = '1000000000000000000';
+
+export interface AaveHealthFactorExplodeInput {
+  readonly signer: Address;
+}
+
+/**
+ * EXPLODE / DecomposeValue showcase.
+ *
+ * Builds a minimal compose flow that:
+ * - StaticCalls `IPool.getUserAccountData(user)` on Aave v3 (Base)
+ * - Decomposes the returned 6-tuple via the EXPLODE opcode
+ * - Asserts `healthFactor >= 1.0 WAD` via `core.numericInvariant`
+ *
+ * The signer must hold an Aave v3 position on the target chain so HF > 0.
+ * Uses `allow-revert` so the compiled calldata is returned even if the
+ * assertion would fail — handy for tracing on a fork.
+ */
+export const buildAaveHealthFactorExplode = ({
+  signer,
+}: AaveHealthFactorExplodeInput): {
+  flow: Flow;
+  request: ComposeCompileRequest;
+} => {
+  const sdk = createComposeSdk({ baseUrl: BASE_URL, apiKey: API_KEY });
+
+  const builder = sdk.flow(8453 /* Base */, {
+    name: 'aave-hf-explode-showcase',
+    inputs: {},
+  });
+
+  builder.aave.getHealthFactor('checkHf', {
+    bind: {},
+    config: { pool: AAVE_V3_POOL, user: signer },
+    guards: [
+      guards.coreNumericInvariant({
+        port: 'healthFactor',
+        op: 'gte',
+        threshold: MIN_HEALTH_FACTOR_WAD,
+      }),
+    ],
+  });
+
+  const flow = builder.build();
+  const request = sdk.request(flow, {
+    signer,
+    inputs: {},
+    simulationPolicy: 'allow-revert',
+  });
+
+  return { flow, request };
+};

package/src/examples/morphoBlueBorrow.ts

@@ -0,0 +1,94 @@
+import type { ComposeCompileRequest, Flow } from '@lifi/compose-spec';
+
+import { createComposeSdk, materialisers, resources } from '../index.js';
+import type { Address } from '../types.js';
+
+import { API_KEY, BASE_URL } from './config.js';
+
+// Morpho Blue WETH/USDC market on Base (chainId 8453).
+// The Morpho singleton address (0xBBBBBbbBBb9cC5e90e3b3Af64bdAF62C37EEFFCb)
+// is the default `morpho` config field and is read from compose-builtins.
+const ADAPTIVE_CURVE_IRM_BASE = '0x46415998764C29aB2a25CbeA6254146D50D22687';
+const BASE_USDC = '0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913';
+const BASE_WETH = '0x4200000000000000000000000000000000000006';
+const WETH_USDC_ORACLE = '0xFEa2D58cEfCb9fcb597723c6bAE66fFE4193aFE4';
+const WETH_USDC_LLTV = '860000000000000000'; // 0.86e18
+
+const WETH_USDC_MARKET = {
+  loanToken: BASE_USDC,
+  collateralToken: BASE_WETH,
+  oracle: WETH_USDC_ORACLE,
+  irm: ADAPTIVE_CURVE_IRM_BASE,
+  lltv: WETH_USDC_LLTV,
+};
+
+export interface MorphoBlueBorrowInput {
+  readonly owner: Address;
+  readonly collateralAmount: `${bigint}`;
+  readonly borrowAmount: `${bigint}`;
+}
+
+/**
+ * Open a leveraged-borrow position on the Base Morpho Blue WETH/USDC market.
+ *
+ * - `morphoBlue.supplyCollateral` debits the proxy's WETH and credits
+ *   `Morpho.position(WETH_USDC_MARKET_ID, proxy).collateral`. There is no
+ *   receipt token — collateral is non-transferable accounting state.
+ * - `morphoBlue.borrow` mints debt shares against that collateral and
+ *   transfers USDC to the proxy. The borrowed asset is exposed as the
+ *   `borrowed` Resource port for downstream nodes.
+ * - The flow sweeps the borrowed USDC back to the signer's wallet via
+ *   `sweepTo` on the request.
+ */
+export const buildMorphoBlueBorrow = ({
+  owner,
+  collateralAmount,
+  borrowAmount,
+}: MorphoBlueBorrowInput): {
+  flow: Flow;
+  request: ComposeCompileRequest;
+} => {
+  const sdk = createComposeSdk({ baseUrl: BASE_URL, apiKey: API_KEY });
+
+  const builder = sdk.flow(8453, {
+    name: 'morpho-blue-borrow-weth-usdc',
+    inputs: {
+      assetIn: resources.erc20(BASE_WETH, 8453),
+    },
+  });
+
+  builder.morphoBlue.supplyCollateral('supply-collateral', {
+    bind: {
+      assetIn: builder.inputs.assetIn,
+    },
+    config: {
+      marketParams: WETH_USDC_MARKET,
+      mode: 'exact',
+    },
+  });
+
+  builder.morphoBlue.borrow('borrow', {
+    bind: {},
+    config: {
+      marketParams: WETH_USDC_MARKET,
+      amount: borrowAmount,
+    },
+  });
+
+  const flow = builder.build();
+
+  const request = sdk.request(flow, {
+    signer: owner,
+    inputs: {
+      assetIn: materialisers.directDeposit({ amount: collateralAmount }),
+    },
+    // Sweep the borrowed USDC back to the signer.
+    sweepTo: builder.context.sender,
+    // The WETH collateral becomes unpriced Morpho position state (no receipt
+    // token), so the default 500 bps price-impact check reads any safe borrow
+    // (LLTV caps at 86%) as a loss. 0 skips the check.
+    maxPriceImpactBps: 0,
+  });
+
+  return { flow, request };
+};