npm - @indigo-labs/indigo-sdk - Versions diffs - 0.3.19 → 0.3.20 - Mend

@indigo-labs/indigo-sdk 0.3.19 → 0.3.20

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (7) hide show

package/dist/index.d.mts +33 -1
package/dist/index.d.ts +33 -1
package/dist/index.js +87 -45
package/dist/index.mjs +81 -45
package/package.json +1 -1
package/src/contracts/rob/helpers.ts +120 -16
package/src/contracts/rob-leverage/helpers.ts +5 -18

package/dist/index.d.mts CHANGED Viewed

@@ -3715,6 +3715,38 @@ declare function serialisePriceOracleDatum(d: PriceOracleDatum): string;
 declare function parsePriceOracleDatum(datum: string): PriceOracleDatum;
 declare const MIN_ROB_COLLATERAL_AMT = 3000000n;
+/**
+ * The maximum of redemptions for a Tx that is doing only sell order redemptions.
+ * Based on the benchmarks.
+ */
+declare const MAX_SELL_ROB_REDEMPTIONS_COUNT = 18;
+/**
+ * The maximum of redemptions for a Tx that is doing only buy order redemptions.
+ * Based on the benchmarks.
+ */
+declare const MAX_BUY_ROB_REDEMPTIONS_COUNT = 20;
+/**
+ * Helper for ROB redemptions. A redeemer is selling iAssets against
+ * a buy order, i.e. buying a collateral asset.
+ * The return is the amount of collateral asset he buys.
+ */
+declare function calculatePurchaseAmtWhenRobBuyOrder(sellIassetAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
+/**
+ * A redeemer is purchasing given collateral amount against buy order.
+ * Calculate what is the amount of iAsset the user sells/spends.
+ */
+declare function calculateSpendAmtWhenRobBuyOrder(purchaseCollateralAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
+/**
+ * Helper for ROB redemptions. A redeemer is selling collateral against
+ * a sell order, i.e. buying iassets.
+ * The return is the amount of iassets he buys.
+ */
+declare function calculatePurchaseAmtWhenRobSellOrder(sellCollateralAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
+/**
+ * A redeemer is purchasing given iasset amount against sell order.
+ * Calculate what is the amount of collateral the user sells/spends.
+ */
+declare function calculateSpendAmtWhenRobSellOrder(purchaseIassetAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
 /**
  * The amount of collateral asset available in the ROB when buy order. In case of ADA, take
  * into account the min UTXO collateral.
@@ -4570,4 +4602,4 @@ declare function mkAuthTokenPolicy(ac: AssetClass, tn: string): MintingPolicy;
 declare const alwaysFailValidator: SpendingValidator;
-export { type AccountAction, type AccountContent, AccountContentSchema, type ActionReturnDatum, type AddCollateralAsssetContent, type AddressCredential, type AddressCredentialOrDatum, type AddressSP, AikenIntervalIntervalBound, AikenIntervalIntervalBoundType, type Amount, type AssetClassD, type AssetClassSP, AssetClassSchema, type AssetInfo, type AssetSnapshot, type AssetState, type AuthTokenPolicies, BASE_MAX_EXECUTION_FEE, BASE_MAX_TX_FEE, BigIntOrd, type CDPContent, CDPCreatorParams, type CDPCreatorParamsSP, type CDPDatum, CardanoTransactionValidityRange, type CdpParams, type CdpParamsSP, type CdpRedeemParams, type CdpRedeemParamsSP, type CdpRedeemer, type CollateralAssetContent, type CollateralAssetInfo, type CollateralAssetOutput, type CollectorParamsSP, type CollectorRedeemer, CollectorRedeemerSchema, CredentialD, CredentialSchema, type CurrencySymbolSP, DEFAULT_INIT_OPTIONS, type DerivedPythPrice, type DerivedPythPriceSP, DerivedPythPriceSchema, type E2S2SIndex, type E2S2SIndicesPerAsset, type EpochToScaleKey, type EpochToScaleToSumEntry, type ExecuteDatum, ExecuteParams, type ExecuteParamsSP, type Feed, type FindE2S2SIdxResult, type GovDatum, GovParams, type GovParamsSP, type GovRedeemer, type IAssetContent, type IAssetDatum, type IAssetOutput, type IAssetParamsSP, type IAssetPriceInfo, IAssetPriceInfoSchema, type IAssetRedeemer, IAssetScriptParams, INIT_TOKEN_NAMES, type IndigoOracleNftParam, type InitialAssetParam, type InitialCollateralAssetParam, type InitialStablepoolParam, type InitializeOptions, type Input, type InterestCollectionDatum, type InterestCollectionParams, type InterestCollectionParamsSP, InterestCollectionParamsSchema, type InterestCollectionRedeemer, type InterestOracleDatum, InterestOracleDatumSchema, type InterestOracleParams, InterestOracleParamsSchema, type InterestOracleRedeemer, MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET, MAX_E2S2S_ENTRIES_COUNT, MAX_REDEMPTIONS_WITH_CDP_OPEN, MIN_ROB_COLLATERAL_AMT, type MarketSession, type ModifyStableswapPoolContent, ONE_DAY, ONE_HOUR, ONE_SECOND, ONE_YEAR, type OracleIdx, OracleIdxSchema, type Output, PRICE_UPDATE_MAGIC, type ParsedOutput, type PollDatum, type PollManagerContent, PollManagerParams, type PollManagerParamsSP, type PollManagerRedeemer, type PollShardContent, PollShardParams, type PollShardParamsSP, type PollShardRedeemer, type PollStatus, type PriceOracleDatum, type PriceOracleParam, type PriceOracleParams, PriceOracleParamsSchema, type PriceOracleRedeemer, type PriceUpdate, type ProcessRequestAccountContent, type ProposalContent, ProposalContentSchema, type ProposeAssetContent, type ProposeStableswapPoolContent, type ProtocolParams, ProtocolParamsSchema, type PubKeyHash, type PythConfig, type PythConfiguration, type PythFeedConfig, type PythFeedParams, type PythFeedParamsSP, type PythFeedRedeemer, type PythMessageParts, type PythOracleParam, type PythPriceConfigurationSP, type PythStateDatum, type PythUpdatesRedeemer, type Rational, RationalSchema, type RedeemCdpWithdrawalRedeemer, type RobDatum, type RobOrderType, type RobOutput, type RobParams, type RobParamsSP, RobParamsSchema, type RobRedeemer, SOLANA_FORMAT_MAGIC, type SPInteger, SPIntegerSchema, type ScriptCredential, type ScriptOutput, type ScriptRef, type ScriptReference, type ScriptReferences, type SnapshotEpochToScaleToSumContent, SnapshotEpochToScaleToSumContentSchema, type StabilityPoolContent, StabilityPoolContentSchema, StabilityPoolDatumSchema, StabilityPoolParams, type StabilityPoolParamsSP, type StabilityPoolRedeemer, StabilityPoolRedeemerSchema, type StableswapOrderDatum, StableswapOrderDatumSchema, type StableswapOrderRedeemer, type StableswapOutputDatum, type StableswapParamsSP, type StableswapPoolContent, StakeCredential, StakeCredentialSchema, type StakingManager, type StakingManagerOutput, type StakingParamsSP, type StakingPosLockedAmt, type StakingPosition, type StakingPositionOutput, type StakingRedeemer, type StartTime, type StateSnapshot, type SumSnapshot, type SystemParams, type TokenNameSP, type TreasuryParamsSP, type TreasuryWithdrawal, type TreasuryWithdrawalItem, TreasuryWithdrawalSchema, type UpgradePaths, type ValidatorHashes, VerificationKeyHashSchema, type VersionRecordParams, VersionRecordTokenParams, type VoteOption, addrDetails, adjustCdp, adjustPriceToDecimals, adjustRob, adjustStakingPosition, alwaysFailValidator, annulRequest, approximateLeverageRedemptions, attachOracle, balance, batchCollectInterest, batchProcessStableswapOrders, bigintMax, bigintMin, buildRedemptionsTx, burnCdp, calculateAccruedInterest, calculateAdaReward, calculateCollateralRatioFromLeverage, calculateIAssetRedemptionAmt, calculateLeverageFromCollateralRatio, calculateMinCollateralCappedIAssetRedemptionAmt, calculateTotalCollateralForRedemption, calculateUnitaryInterest, calculateUnitaryInterestSinceOracleLastUpdated, cancelRob, cancelStableswapOrder, castCDPCreatorParams, castCdpParams, castCdpRedeemParams, castExecuteParams, castGovParams, castInterestCollectionParams, castInterestOracleParams, castPollManagerParams, castPollShardParams, castPriceOracleParams, castRobParams, castStabilityPoolParams, castStakingParams, castVersionRecordTokenParams, cdpCollateralRatioPercentage, claimRob, closeCdp, closeStakingPosition, collectInterestTx, collectorFeeTx, createDestinationDatum, createE2s2sSnapshots, createProcessRequestAccountRedeemer, createProposal, createScriptAddress, createShardsChunks, createStableswapOrder, decodePriceUpdate, decodePythMessage, depositCdp, deriveAuthToken, distributeAda, distributeInterest, distributeReward, divideOnChainCompatible, encodePriceUpdate, encodePythMessage, encodeSignedPythMessage, endProposal, estimateUtxoMinLovelace, executeProposal, feedInterestOracle, feedPriceOracleTx, findRelevantE2s2sIdxs, findStakingManager, findStakingManagerByOutRef, findStakingPositionByOutRef, freezeCdp, fromDataDerivedPythPrice, fromDecimal, fromSPInteger, fromSysParamsCredential, fromSysParamsDerivedPythPrice, fromSysParamsPythFeedParams, fromSysParamsStakeCredential, fromSystemParamsAsset, fromSystemParamsAssetLucid, fromSystemParamsScriptRef, getAssetClassComparisonStr, getInlineDatumOrThrow, getPythFeedConfig, getUpdatedAccountDeposit, handleOracleForCollateralAsset, iassetValueOfCollateral, init, initCDPCreator, initCollector, initGovernance, initInterestCollector, initPythConfig, initScriptRef, initSpState, initStakingManager, initSumVal, initTreasury, initializeAsset, insertSorted, isBuyOrderFullyRedeemed, isFullyRedeemed, isSameEpochToScaleKey, leverageCdpWithRob, liquidateCdp, liquidationHelper, loadSystemParamsFromFile, loadSystemParamsFromUrl, matchSingle, mergeCdps, mergeShards, mintAuthTokenDirect, mintCdp, mintOneTimeAsset, mintOneTimeToken, mkAuthTokenPolicy, mkCDPCreatorValidator, mkCDPCreatorValidatorFromSP, mkCdpRedeemValidatorFromSP, mkCdpValidatorFromSP, mkCollectorValidatorFromSP, mkExecuteValidator, mkExecuteValidatorFromSP, mkGovValidator, mkGovValidatorFromSP, mkIAssetTokenPolicy, mkIAssetValidatorFromSP, mkInterestCollectionValidator, mkInterestCollectionValidatorFromSP, mkInterestOracleValidator, mkPollManagerValidator, mkPollManagerValidatorFromSP, mkPollShardValidator, mkPollShardValidatorFromSP, mkPriceOracleValidator, mkPythFeedValidator, mkRobValidator, mkRobValidatorFromSP, mkSPInteger, mkStabilityPoolAddr, mkStabilityPoolValidator, mkStabilityPoolValidatorFromSP, mkStableswapValidator, mkStableswapValidatorFromSP, mkStakingValidatorFromSP, mkTreasuryAddr, mkTreasuryValidatorFromSP, mkVersionRecordTokenPolicy, mkVersionRegistryValidator, oneShotMintTx, openCdp, openRob, openStakingPosition, parseAccountDatum, parseAccountDatumOrThrow, parseCdpDatum, parseCdpDatumOrThrow, parseCdpRedeemer, parseCdpRedeemerOrThrow, parseCollateralAssetDatum, parseCollateralAssetDatumOrThrow, parseExecuteDatum, parseExecuteDatumOrThrow, parseGovDatum, parseGovDatumOrThrow, parseIAssetDatum, parseIAssetDatumOrThrow, parseInterestCollectionDatum, parseInterestOracleDatum, parsePollManager, parsePollManagerOrThrow, parsePollShard, parsePollShardOrThrow, parsePollShardRedeemer, parsePollShardRedeemerOrThrow, parsePriceOracleDatum, parsePythStateDatum, parseRobDatum, parseRobDatumOrThrow, parseRobRedeemer, parseRobRedeemerOrThrow, parseSnapshotEpochToScaleToSumDatum, parseSnapshotEpochToScaleToSumDatumOrThrow, parseStabilityPoolDatum, parseStabilityPoolDatumOrThrow, parseStabilityPoolRedeemer, parseStabilityPoolRedeemerOrThrow, parseStableswapOrderDatum, parseStableswapOrderDatumOrThrow, parseStableswapOrderRedeemer, parseStableswapOrderRedeemerOrThrow, parseStableswapPoolDatum, parseStableswapPoolDatumOrThrow, parseStakingManagerDatum, parseStakingPosition, parseStakingPositionOrThrow, parseStakingRedeemer, parseStakingRedeemerOrThrow, partitionEpochToScaleToSums, processSpRequest, randomRobsSubsetSatisfyingTargetCollateral, rationalAdd, rationalCeil, rationalDiv, rationalFloor, rationalFromInt, rationalMul, rationalNegate, rationalSub, rationalToFloat, rationalZero, redeemCdp, redeemRob, repsertReadonlyArr, repsertWithReadonlyArr, requestSpAccountAdjustment, requestSpAccountClosure, requestSpAccountCreation, rewardSnapshotPrecision, robAmtToSpend, robBuyOrderFilledAssets, robBuyOrderSummary, robCollateralAmtToSpend, robIAssetAmtToSpend, robSellOrderFilledAssets, runCreateScriptRefTx, runOneShotMintTx, scriptRef, serialiseActionReturnDatum, serialiseCdpDatum, serialiseCdpRedeemer, serialiseCollectorRedeemer, serialiseExecuteDatum, serialiseFeedInterestOracleRedeemer, serialiseGovDatum, serialiseGovRedeemer, serialiseIAssetDatum, serialiseIAssetRedeemer, serialiseInterestCollectionDatum, serialiseInterestCollectionRedeemer, serialiseInterestOracleDatum, serialisePollDatum, serialisePollManagerRedeemer, serialisePollShardRedeemer, serialisePriceOracleDatum, serialisePriceOracleRedeemer, serialisePythFeedParams, serialisePythFeedRedeemer, serialisePythStateDatum, serialisePythUpdatesRedeemer, serialiseRedeemCdpWithdrawalRedeemer, serialiseRobDatum, serialiseRobRedeemer, serialiseStabilityPoolDatum, serialiseStabilityPoolRedeemer, serialiseStableswapOrderDatum, serialiseStableswapOrderRedeemer, serialiseStableswapOutputDatum, serialiseStableswapPoolDatum, serialiseStakingDatum, serialiseStakingRedeemer, shuffle, signersAllOf, spAdd, spDiv, spMul, spSub, spZeroNegatives, startInterestOracle, startPriceOracleTx, submitTx, sum, summarizeActualLeverageRedemptions, toAssetClassFromLucid, toDataDerivedPythPrice, toSystemParamsAsset, treasuryCollect, treasuryFeeTx, treasuryMerge, treasuryPrepareWithdrawal, treasurySplit, updateAccount, updatePermissions, updatePoolStateWhenWithdrawalFee, updateStableswapPoolFees, updateStakingLockedAmount, vote, withdrawCdp, zeroNegatives };
+export { type AccountAction, type AccountContent, AccountContentSchema, type ActionReturnDatum, type AddCollateralAsssetContent, type AddressCredential, type AddressCredentialOrDatum, type AddressSP, AikenIntervalIntervalBound, AikenIntervalIntervalBoundType, type Amount, type AssetClassD, type AssetClassSP, AssetClassSchema, type AssetInfo, type AssetSnapshot, type AssetState, type AuthTokenPolicies, BASE_MAX_EXECUTION_FEE, BASE_MAX_TX_FEE, BigIntOrd, type CDPContent, CDPCreatorParams, type CDPCreatorParamsSP, type CDPDatum, CardanoTransactionValidityRange, type CdpParams, type CdpParamsSP, type CdpRedeemParams, type CdpRedeemParamsSP, type CdpRedeemer, type CollateralAssetContent, type CollateralAssetInfo, type CollateralAssetOutput, type CollectorParamsSP, type CollectorRedeemer, CollectorRedeemerSchema, CredentialD, CredentialSchema, type CurrencySymbolSP, DEFAULT_INIT_OPTIONS, type DerivedPythPrice, type DerivedPythPriceSP, DerivedPythPriceSchema, type E2S2SIndex, type E2S2SIndicesPerAsset, type EpochToScaleKey, type EpochToScaleToSumEntry, type ExecuteDatum, ExecuteParams, type ExecuteParamsSP, type Feed, type FindE2S2SIdxResult, type GovDatum, GovParams, type GovParamsSP, type GovRedeemer, type IAssetContent, type IAssetDatum, type IAssetOutput, type IAssetParamsSP, type IAssetPriceInfo, IAssetPriceInfoSchema, type IAssetRedeemer, IAssetScriptParams, INIT_TOKEN_NAMES, type IndigoOracleNftParam, type InitialAssetParam, type InitialCollateralAssetParam, type InitialStablepoolParam, type InitializeOptions, type Input, type InterestCollectionDatum, type InterestCollectionParams, type InterestCollectionParamsSP, InterestCollectionParamsSchema, type InterestCollectionRedeemer, type InterestOracleDatum, InterestOracleDatumSchema, type InterestOracleParams, InterestOracleParamsSchema, type InterestOracleRedeemer, MAX_BUY_ROB_REDEMPTIONS_COUNT, MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET, MAX_E2S2S_ENTRIES_COUNT, MAX_REDEMPTIONS_WITH_CDP_OPEN, MAX_SELL_ROB_REDEMPTIONS_COUNT, MIN_ROB_COLLATERAL_AMT, type MarketSession, type ModifyStableswapPoolContent, ONE_DAY, ONE_HOUR, ONE_SECOND, ONE_YEAR, type OracleIdx, OracleIdxSchema, type Output, PRICE_UPDATE_MAGIC, type ParsedOutput, type PollDatum, type PollManagerContent, PollManagerParams, type PollManagerParamsSP, type PollManagerRedeemer, type PollShardContent, PollShardParams, type PollShardParamsSP, type PollShardRedeemer, type PollStatus, type PriceOracleDatum, type PriceOracleParam, type PriceOracleParams, PriceOracleParamsSchema, type PriceOracleRedeemer, type PriceUpdate, type ProcessRequestAccountContent, type ProposalContent, ProposalContentSchema, type ProposeAssetContent, type ProposeStableswapPoolContent, type ProtocolParams, ProtocolParamsSchema, type PubKeyHash, type PythConfig, type PythConfiguration, type PythFeedConfig, type PythFeedParams, type PythFeedParamsSP, type PythFeedRedeemer, type PythMessageParts, type PythOracleParam, type PythPriceConfigurationSP, type PythStateDatum, type PythUpdatesRedeemer, type Rational, RationalSchema, type RedeemCdpWithdrawalRedeemer, type RobDatum, type RobOrderType, type RobOutput, type RobParams, type RobParamsSP, RobParamsSchema, type RobRedeemer, SOLANA_FORMAT_MAGIC, type SPInteger, SPIntegerSchema, type ScriptCredential, type ScriptOutput, type ScriptRef, type ScriptReference, type ScriptReferences, type SnapshotEpochToScaleToSumContent, SnapshotEpochToScaleToSumContentSchema, type StabilityPoolContent, StabilityPoolContentSchema, StabilityPoolDatumSchema, StabilityPoolParams, type StabilityPoolParamsSP, type StabilityPoolRedeemer, StabilityPoolRedeemerSchema, type StableswapOrderDatum, StableswapOrderDatumSchema, type StableswapOrderRedeemer, type StableswapOutputDatum, type StableswapParamsSP, type StableswapPoolContent, StakeCredential, StakeCredentialSchema, type StakingManager, type StakingManagerOutput, type StakingParamsSP, type StakingPosLockedAmt, type StakingPosition, type StakingPositionOutput, type StakingRedeemer, type StartTime, type StateSnapshot, type SumSnapshot, type SystemParams, type TokenNameSP, type TreasuryParamsSP, type TreasuryWithdrawal, type TreasuryWithdrawalItem, TreasuryWithdrawalSchema, type UpgradePaths, type ValidatorHashes, VerificationKeyHashSchema, type VersionRecordParams, VersionRecordTokenParams, type VoteOption, addrDetails, adjustCdp, adjustPriceToDecimals, adjustRob, adjustStakingPosition, alwaysFailValidator, annulRequest, approximateLeverageRedemptions, attachOracle, balance, batchCollectInterest, batchProcessStableswapOrders, bigintMax, bigintMin, buildRedemptionsTx, burnCdp, calculateAccruedInterest, calculateAdaReward, calculateCollateralRatioFromLeverage, calculateIAssetRedemptionAmt, calculateLeverageFromCollateralRatio, calculateMinCollateralCappedIAssetRedemptionAmt, calculatePurchaseAmtWhenRobBuyOrder, calculatePurchaseAmtWhenRobSellOrder, calculateSpendAmtWhenRobBuyOrder, calculateSpendAmtWhenRobSellOrder, calculateTotalCollateralForRedemption, calculateUnitaryInterest, calculateUnitaryInterestSinceOracleLastUpdated, cancelRob, cancelStableswapOrder, castCDPCreatorParams, castCdpParams, castCdpRedeemParams, castExecuteParams, castGovParams, castInterestCollectionParams, castInterestOracleParams, castPollManagerParams, castPollShardParams, castPriceOracleParams, castRobParams, castStabilityPoolParams, castStakingParams, castVersionRecordTokenParams, cdpCollateralRatioPercentage, claimRob, closeCdp, closeStakingPosition, collectInterestTx, collectorFeeTx, createDestinationDatum, createE2s2sSnapshots, createProcessRequestAccountRedeemer, createProposal, createScriptAddress, createShardsChunks, createStableswapOrder, decodePriceUpdate, decodePythMessage, depositCdp, deriveAuthToken, distributeAda, distributeInterest, distributeReward, divideOnChainCompatible, encodePriceUpdate, encodePythMessage, encodeSignedPythMessage, endProposal, estimateUtxoMinLovelace, executeProposal, feedInterestOracle, feedPriceOracleTx, findRelevantE2s2sIdxs, findStakingManager, findStakingManagerByOutRef, findStakingPositionByOutRef, freezeCdp, fromDataDerivedPythPrice, fromDecimal, fromSPInteger, fromSysParamsCredential, fromSysParamsDerivedPythPrice, fromSysParamsPythFeedParams, fromSysParamsStakeCredential, fromSystemParamsAsset, fromSystemParamsAssetLucid, fromSystemParamsScriptRef, getAssetClassComparisonStr, getInlineDatumOrThrow, getPythFeedConfig, getUpdatedAccountDeposit, handleOracleForCollateralAsset, iassetValueOfCollateral, init, initCDPCreator, initCollector, initGovernance, initInterestCollector, initPythConfig, initScriptRef, initSpState, initStakingManager, initSumVal, initTreasury, initializeAsset, insertSorted, isBuyOrderFullyRedeemed, isFullyRedeemed, isSameEpochToScaleKey, leverageCdpWithRob, liquidateCdp, liquidationHelper, loadSystemParamsFromFile, loadSystemParamsFromUrl, matchSingle, mergeCdps, mergeShards, mintAuthTokenDirect, mintCdp, mintOneTimeAsset, mintOneTimeToken, mkAuthTokenPolicy, mkCDPCreatorValidator, mkCDPCreatorValidatorFromSP, mkCdpRedeemValidatorFromSP, mkCdpValidatorFromSP, mkCollectorValidatorFromSP, mkExecuteValidator, mkExecuteValidatorFromSP, mkGovValidator, mkGovValidatorFromSP, mkIAssetTokenPolicy, mkIAssetValidatorFromSP, mkInterestCollectionValidator, mkInterestCollectionValidatorFromSP, mkInterestOracleValidator, mkPollManagerValidator, mkPollManagerValidatorFromSP, mkPollShardValidator, mkPollShardValidatorFromSP, mkPriceOracleValidator, mkPythFeedValidator, mkRobValidator, mkRobValidatorFromSP, mkSPInteger, mkStabilityPoolAddr, mkStabilityPoolValidator, mkStabilityPoolValidatorFromSP, mkStableswapValidator, mkStableswapValidatorFromSP, mkStakingValidatorFromSP, mkTreasuryAddr, mkTreasuryValidatorFromSP, mkVersionRecordTokenPolicy, mkVersionRegistryValidator, oneShotMintTx, openCdp, openRob, openStakingPosition, parseAccountDatum, parseAccountDatumOrThrow, parseCdpDatum, parseCdpDatumOrThrow, parseCdpRedeemer, parseCdpRedeemerOrThrow, parseCollateralAssetDatum, parseCollateralAssetDatumOrThrow, parseExecuteDatum, parseExecuteDatumOrThrow, parseGovDatum, parseGovDatumOrThrow, parseIAssetDatum, parseIAssetDatumOrThrow, parseInterestCollectionDatum, parseInterestOracleDatum, parsePollManager, parsePollManagerOrThrow, parsePollShard, parsePollShardOrThrow, parsePollShardRedeemer, parsePollShardRedeemerOrThrow, parsePriceOracleDatum, parsePythStateDatum, parseRobDatum, parseRobDatumOrThrow, parseRobRedeemer, parseRobRedeemerOrThrow, parseSnapshotEpochToScaleToSumDatum, parseSnapshotEpochToScaleToSumDatumOrThrow, parseStabilityPoolDatum, parseStabilityPoolDatumOrThrow, parseStabilityPoolRedeemer, parseStabilityPoolRedeemerOrThrow, parseStableswapOrderDatum, parseStableswapOrderDatumOrThrow, parseStableswapOrderRedeemer, parseStableswapOrderRedeemerOrThrow, parseStableswapPoolDatum, parseStableswapPoolDatumOrThrow, parseStakingManagerDatum, parseStakingPosition, parseStakingPositionOrThrow, parseStakingRedeemer, parseStakingRedeemerOrThrow, partitionEpochToScaleToSums, processSpRequest, randomRobsSubsetSatisfyingTargetCollateral, rationalAdd, rationalCeil, rationalDiv, rationalFloor, rationalFromInt, rationalMul, rationalNegate, rationalSub, rationalToFloat, rationalZero, redeemCdp, redeemRob, repsertReadonlyArr, repsertWithReadonlyArr, requestSpAccountAdjustment, requestSpAccountClosure, requestSpAccountCreation, rewardSnapshotPrecision, robAmtToSpend, robBuyOrderFilledAssets, robBuyOrderSummary, robCollateralAmtToSpend, robIAssetAmtToSpend, robSellOrderFilledAssets, runCreateScriptRefTx, runOneShotMintTx, scriptRef, serialiseActionReturnDatum, serialiseCdpDatum, serialiseCdpRedeemer, serialiseCollectorRedeemer, serialiseExecuteDatum, serialiseFeedInterestOracleRedeemer, serialiseGovDatum, serialiseGovRedeemer, serialiseIAssetDatum, serialiseIAssetRedeemer, serialiseInterestCollectionDatum, serialiseInterestCollectionRedeemer, serialiseInterestOracleDatum, serialisePollDatum, serialisePollManagerRedeemer, serialisePollShardRedeemer, serialisePriceOracleDatum, serialisePriceOracleRedeemer, serialisePythFeedParams, serialisePythFeedRedeemer, serialisePythStateDatum, serialisePythUpdatesRedeemer, serialiseRedeemCdpWithdrawalRedeemer, serialiseRobDatum, serialiseRobRedeemer, serialiseStabilityPoolDatum, serialiseStabilityPoolRedeemer, serialiseStableswapOrderDatum, serialiseStableswapOrderRedeemer, serialiseStableswapOutputDatum, serialiseStableswapPoolDatum, serialiseStakingDatum, serialiseStakingRedeemer, shuffle, signersAllOf, spAdd, spDiv, spMul, spSub, spZeroNegatives, startInterestOracle, startPriceOracleTx, submitTx, sum, summarizeActualLeverageRedemptions, toAssetClassFromLucid, toDataDerivedPythPrice, toSystemParamsAsset, treasuryCollect, treasuryFeeTx, treasuryMerge, treasuryPrepareWithdrawal, treasurySplit, updateAccount, updatePermissions, updatePoolStateWhenWithdrawalFee, updateStableswapPoolFees, updateStakingLockedAmount, vote, withdrawCdp, zeroNegatives };

package/dist/index.d.ts CHANGED Viewed

@@ -3715,6 +3715,38 @@ declare function serialisePriceOracleDatum(d: PriceOracleDatum): string;
 declare function parsePriceOracleDatum(datum: string): PriceOracleDatum;
 declare const MIN_ROB_COLLATERAL_AMT = 3000000n;
+/**
+ * The maximum of redemptions for a Tx that is doing only sell order redemptions.
+ * Based on the benchmarks.
+ */
+declare const MAX_SELL_ROB_REDEMPTIONS_COUNT = 18;
+/**
+ * The maximum of redemptions for a Tx that is doing only buy order redemptions.
+ * Based on the benchmarks.
+ */
+declare const MAX_BUY_ROB_REDEMPTIONS_COUNT = 20;
+/**
+ * Helper for ROB redemptions. A redeemer is selling iAssets against
+ * a buy order, i.e. buying a collateral asset.
+ * The return is the amount of collateral asset he buys.
+ */
+declare function calculatePurchaseAmtWhenRobBuyOrder(sellIassetAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
+/**
+ * A redeemer is purchasing given collateral amount against buy order.
+ * Calculate what is the amount of iAsset the user sells/spends.
+ */
+declare function calculateSpendAmtWhenRobBuyOrder(purchaseCollateralAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
+/**
+ * Helper for ROB redemptions. A redeemer is selling collateral against
+ * a sell order, i.e. buying iassets.
+ * The return is the amount of iassets he buys.
+ */
+declare function calculatePurchaseAmtWhenRobSellOrder(sellCollateralAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
+/**
+ * A redeemer is purchasing given iasset amount against sell order.
+ * Calculate what is the amount of collateral the user sells/spends.
+ */
+declare function calculateSpendAmtWhenRobSellOrder(purchaseIassetAmt: bigint, redemptionReimbursementRatio: Rational, price: Rational): bigint;
 /**
  * The amount of collateral asset available in the ROB when buy order. In case of ADA, take
  * into account the min UTXO collateral.
@@ -4570,4 +4602,4 @@ declare function mkAuthTokenPolicy(ac: AssetClass, tn: string): MintingPolicy;
 declare const alwaysFailValidator: SpendingValidator;
-export { type AccountAction, type AccountContent, AccountContentSchema, type ActionReturnDatum, type AddCollateralAsssetContent, type AddressCredential, type AddressCredentialOrDatum, type AddressSP, AikenIntervalIntervalBound, AikenIntervalIntervalBoundType, type Amount, type AssetClassD, type AssetClassSP, AssetClassSchema, type AssetInfo, type AssetSnapshot, type AssetState, type AuthTokenPolicies, BASE_MAX_EXECUTION_FEE, BASE_MAX_TX_FEE, BigIntOrd, type CDPContent, CDPCreatorParams, type CDPCreatorParamsSP, type CDPDatum, CardanoTransactionValidityRange, type CdpParams, type CdpParamsSP, type CdpRedeemParams, type CdpRedeemParamsSP, type CdpRedeemer, type CollateralAssetContent, type CollateralAssetInfo, type CollateralAssetOutput, type CollectorParamsSP, type CollectorRedeemer, CollectorRedeemerSchema, CredentialD, CredentialSchema, type CurrencySymbolSP, DEFAULT_INIT_OPTIONS, type DerivedPythPrice, type DerivedPythPriceSP, DerivedPythPriceSchema, type E2S2SIndex, type E2S2SIndicesPerAsset, type EpochToScaleKey, type EpochToScaleToSumEntry, type ExecuteDatum, ExecuteParams, type ExecuteParamsSP, type Feed, type FindE2S2SIdxResult, type GovDatum, GovParams, type GovParamsSP, type GovRedeemer, type IAssetContent, type IAssetDatum, type IAssetOutput, type IAssetParamsSP, type IAssetPriceInfo, IAssetPriceInfoSchema, type IAssetRedeemer, IAssetScriptParams, INIT_TOKEN_NAMES, type IndigoOracleNftParam, type InitialAssetParam, type InitialCollateralAssetParam, type InitialStablepoolParam, type InitializeOptions, type Input, type InterestCollectionDatum, type InterestCollectionParams, type InterestCollectionParamsSP, InterestCollectionParamsSchema, type InterestCollectionRedeemer, type InterestOracleDatum, InterestOracleDatumSchema, type InterestOracleParams, InterestOracleParamsSchema, type InterestOracleRedeemer, MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET, MAX_E2S2S_ENTRIES_COUNT, MAX_REDEMPTIONS_WITH_CDP_OPEN, MIN_ROB_COLLATERAL_AMT, type MarketSession, type ModifyStableswapPoolContent, ONE_DAY, ONE_HOUR, ONE_SECOND, ONE_YEAR, type OracleIdx, OracleIdxSchema, type Output, PRICE_UPDATE_MAGIC, type ParsedOutput, type PollDatum, type PollManagerContent, PollManagerParams, type PollManagerParamsSP, type PollManagerRedeemer, type PollShardContent, PollShardParams, type PollShardParamsSP, type PollShardRedeemer, type PollStatus, type PriceOracleDatum, type PriceOracleParam, type PriceOracleParams, PriceOracleParamsSchema, type PriceOracleRedeemer, type PriceUpdate, type ProcessRequestAccountContent, type ProposalContent, ProposalContentSchema, type ProposeAssetContent, type ProposeStableswapPoolContent, type ProtocolParams, ProtocolParamsSchema, type PubKeyHash, type PythConfig, type PythConfiguration, type PythFeedConfig, type PythFeedParams, type PythFeedParamsSP, type PythFeedRedeemer, type PythMessageParts, type PythOracleParam, type PythPriceConfigurationSP, type PythStateDatum, type PythUpdatesRedeemer, type Rational, RationalSchema, type RedeemCdpWithdrawalRedeemer, type RobDatum, type RobOrderType, type RobOutput, type RobParams, type RobParamsSP, RobParamsSchema, type RobRedeemer, SOLANA_FORMAT_MAGIC, type SPInteger, SPIntegerSchema, type ScriptCredential, type ScriptOutput, type ScriptRef, type ScriptReference, type ScriptReferences, type SnapshotEpochToScaleToSumContent, SnapshotEpochToScaleToSumContentSchema, type StabilityPoolContent, StabilityPoolContentSchema, StabilityPoolDatumSchema, StabilityPoolParams, type StabilityPoolParamsSP, type StabilityPoolRedeemer, StabilityPoolRedeemerSchema, type StableswapOrderDatum, StableswapOrderDatumSchema, type StableswapOrderRedeemer, type StableswapOutputDatum, type StableswapParamsSP, type StableswapPoolContent, StakeCredential, StakeCredentialSchema, type StakingManager, type StakingManagerOutput, type StakingParamsSP, type StakingPosLockedAmt, type StakingPosition, type StakingPositionOutput, type StakingRedeemer, type StartTime, type StateSnapshot, type SumSnapshot, type SystemParams, type TokenNameSP, type TreasuryParamsSP, type TreasuryWithdrawal, type TreasuryWithdrawalItem, TreasuryWithdrawalSchema, type UpgradePaths, type ValidatorHashes, VerificationKeyHashSchema, type VersionRecordParams, VersionRecordTokenParams, type VoteOption, addrDetails, adjustCdp, adjustPriceToDecimals, adjustRob, adjustStakingPosition, alwaysFailValidator, annulRequest, approximateLeverageRedemptions, attachOracle, balance, batchCollectInterest, batchProcessStableswapOrders, bigintMax, bigintMin, buildRedemptionsTx, burnCdp, calculateAccruedInterest, calculateAdaReward, calculateCollateralRatioFromLeverage, calculateIAssetRedemptionAmt, calculateLeverageFromCollateralRatio, calculateMinCollateralCappedIAssetRedemptionAmt, calculateTotalCollateralForRedemption, calculateUnitaryInterest, calculateUnitaryInterestSinceOracleLastUpdated, cancelRob, cancelStableswapOrder, castCDPCreatorParams, castCdpParams, castCdpRedeemParams, castExecuteParams, castGovParams, castInterestCollectionParams, castInterestOracleParams, castPollManagerParams, castPollShardParams, castPriceOracleParams, castRobParams, castStabilityPoolParams, castStakingParams, castVersionRecordTokenParams, cdpCollateralRatioPercentage, claimRob, closeCdp, closeStakingPosition, collectInterestTx, collectorFeeTx, createDestinationDatum, createE2s2sSnapshots, createProcessRequestAccountRedeemer, createProposal, createScriptAddress, createShardsChunks, createStableswapOrder, decodePriceUpdate, decodePythMessage, depositCdp, deriveAuthToken, distributeAda, distributeInterest, distributeReward, divideOnChainCompatible, encodePriceUpdate, encodePythMessage, encodeSignedPythMessage, endProposal, estimateUtxoMinLovelace, executeProposal, feedInterestOracle, feedPriceOracleTx, findRelevantE2s2sIdxs, findStakingManager, findStakingManagerByOutRef, findStakingPositionByOutRef, freezeCdp, fromDataDerivedPythPrice, fromDecimal, fromSPInteger, fromSysParamsCredential, fromSysParamsDerivedPythPrice, fromSysParamsPythFeedParams, fromSysParamsStakeCredential, fromSystemParamsAsset, fromSystemParamsAssetLucid, fromSystemParamsScriptRef, getAssetClassComparisonStr, getInlineDatumOrThrow, getPythFeedConfig, getUpdatedAccountDeposit, handleOracleForCollateralAsset, iassetValueOfCollateral, init, initCDPCreator, initCollector, initGovernance, initInterestCollector, initPythConfig, initScriptRef, initSpState, initStakingManager, initSumVal, initTreasury, initializeAsset, insertSorted, isBuyOrderFullyRedeemed, isFullyRedeemed, isSameEpochToScaleKey, leverageCdpWithRob, liquidateCdp, liquidationHelper, loadSystemParamsFromFile, loadSystemParamsFromUrl, matchSingle, mergeCdps, mergeShards, mintAuthTokenDirect, mintCdp, mintOneTimeAsset, mintOneTimeToken, mkAuthTokenPolicy, mkCDPCreatorValidator, mkCDPCreatorValidatorFromSP, mkCdpRedeemValidatorFromSP, mkCdpValidatorFromSP, mkCollectorValidatorFromSP, mkExecuteValidator, mkExecuteValidatorFromSP, mkGovValidator, mkGovValidatorFromSP, mkIAssetTokenPolicy, mkIAssetValidatorFromSP, mkInterestCollectionValidator, mkInterestCollectionValidatorFromSP, mkInterestOracleValidator, mkPollManagerValidator, mkPollManagerValidatorFromSP, mkPollShardValidator, mkPollShardValidatorFromSP, mkPriceOracleValidator, mkPythFeedValidator, mkRobValidator, mkRobValidatorFromSP, mkSPInteger, mkStabilityPoolAddr, mkStabilityPoolValidator, mkStabilityPoolValidatorFromSP, mkStableswapValidator, mkStableswapValidatorFromSP, mkStakingValidatorFromSP, mkTreasuryAddr, mkTreasuryValidatorFromSP, mkVersionRecordTokenPolicy, mkVersionRegistryValidator, oneShotMintTx, openCdp, openRob, openStakingPosition, parseAccountDatum, parseAccountDatumOrThrow, parseCdpDatum, parseCdpDatumOrThrow, parseCdpRedeemer, parseCdpRedeemerOrThrow, parseCollateralAssetDatum, parseCollateralAssetDatumOrThrow, parseExecuteDatum, parseExecuteDatumOrThrow, parseGovDatum, parseGovDatumOrThrow, parseIAssetDatum, parseIAssetDatumOrThrow, parseInterestCollectionDatum, parseInterestOracleDatum, parsePollManager, parsePollManagerOrThrow, parsePollShard, parsePollShardOrThrow, parsePollShardRedeemer, parsePollShardRedeemerOrThrow, parsePriceOracleDatum, parsePythStateDatum, parseRobDatum, parseRobDatumOrThrow, parseRobRedeemer, parseRobRedeemerOrThrow, parseSnapshotEpochToScaleToSumDatum, parseSnapshotEpochToScaleToSumDatumOrThrow, parseStabilityPoolDatum, parseStabilityPoolDatumOrThrow, parseStabilityPoolRedeemer, parseStabilityPoolRedeemerOrThrow, parseStableswapOrderDatum, parseStableswapOrderDatumOrThrow, parseStableswapOrderRedeemer, parseStableswapOrderRedeemerOrThrow, parseStableswapPoolDatum, parseStableswapPoolDatumOrThrow, parseStakingManagerDatum, parseStakingPosition, parseStakingPositionOrThrow, parseStakingRedeemer, parseStakingRedeemerOrThrow, partitionEpochToScaleToSums, processSpRequest, randomRobsSubsetSatisfyingTargetCollateral, rationalAdd, rationalCeil, rationalDiv, rationalFloor, rationalFromInt, rationalMul, rationalNegate, rationalSub, rationalToFloat, rationalZero, redeemCdp, redeemRob, repsertReadonlyArr, repsertWithReadonlyArr, requestSpAccountAdjustment, requestSpAccountClosure, requestSpAccountCreation, rewardSnapshotPrecision, robAmtToSpend, robBuyOrderFilledAssets, robBuyOrderSummary, robCollateralAmtToSpend, robIAssetAmtToSpend, robSellOrderFilledAssets, runCreateScriptRefTx, runOneShotMintTx, scriptRef, serialiseActionReturnDatum, serialiseCdpDatum, serialiseCdpRedeemer, serialiseCollectorRedeemer, serialiseExecuteDatum, serialiseFeedInterestOracleRedeemer, serialiseGovDatum, serialiseGovRedeemer, serialiseIAssetDatum, serialiseIAssetRedeemer, serialiseInterestCollectionDatum, serialiseInterestCollectionRedeemer, serialiseInterestOracleDatum, serialisePollDatum, serialisePollManagerRedeemer, serialisePollShardRedeemer, serialisePriceOracleDatum, serialisePriceOracleRedeemer, serialisePythFeedParams, serialisePythFeedRedeemer, serialisePythStateDatum, serialisePythUpdatesRedeemer, serialiseRedeemCdpWithdrawalRedeemer, serialiseRobDatum, serialiseRobRedeemer, serialiseStabilityPoolDatum, serialiseStabilityPoolRedeemer, serialiseStableswapOrderDatum, serialiseStableswapOrderRedeemer, serialiseStableswapOutputDatum, serialiseStableswapPoolDatum, serialiseStakingDatum, serialiseStakingRedeemer, shuffle, signersAllOf, spAdd, spDiv, spMul, spSub, spZeroNegatives, startInterestOracle, startPriceOracleTx, submitTx, sum, summarizeActualLeverageRedemptions, toAssetClassFromLucid, toDataDerivedPythPrice, toSystemParamsAsset, treasuryCollect, treasuryFeeTx, treasuryMerge, treasuryPrepareWithdrawal, treasurySplit, updateAccount, updatePermissions, updatePoolStateWhenWithdrawalFee, updateStableswapPoolFees, updateStakingLockedAmount, vote, withdrawCdp, zeroNegatives };
+export { type AccountAction, type AccountContent, AccountContentSchema, type ActionReturnDatum, type AddCollateralAsssetContent, type AddressCredential, type AddressCredentialOrDatum, type AddressSP, AikenIntervalIntervalBound, AikenIntervalIntervalBoundType, type Amount, type AssetClassD, type AssetClassSP, AssetClassSchema, type AssetInfo, type AssetSnapshot, type AssetState, type AuthTokenPolicies, BASE_MAX_EXECUTION_FEE, BASE_MAX_TX_FEE, BigIntOrd, type CDPContent, CDPCreatorParams, type CDPCreatorParamsSP, type CDPDatum, CardanoTransactionValidityRange, type CdpParams, type CdpParamsSP, type CdpRedeemParams, type CdpRedeemParamsSP, type CdpRedeemer, type CollateralAssetContent, type CollateralAssetInfo, type CollateralAssetOutput, type CollectorParamsSP, type CollectorRedeemer, CollectorRedeemerSchema, CredentialD, CredentialSchema, type CurrencySymbolSP, DEFAULT_INIT_OPTIONS, type DerivedPythPrice, type DerivedPythPriceSP, DerivedPythPriceSchema, type E2S2SIndex, type E2S2SIndicesPerAsset, type EpochToScaleKey, type EpochToScaleToSumEntry, type ExecuteDatum, ExecuteParams, type ExecuteParamsSP, type Feed, type FindE2S2SIdxResult, type GovDatum, GovParams, type GovParamsSP, type GovRedeemer, type IAssetContent, type IAssetDatum, type IAssetOutput, type IAssetParamsSP, type IAssetPriceInfo, IAssetPriceInfoSchema, type IAssetRedeemer, IAssetScriptParams, INIT_TOKEN_NAMES, type IndigoOracleNftParam, type InitialAssetParam, type InitialCollateralAssetParam, type InitialStablepoolParam, type InitializeOptions, type Input, type InterestCollectionDatum, type InterestCollectionParams, type InterestCollectionParamsSP, InterestCollectionParamsSchema, type InterestCollectionRedeemer, type InterestOracleDatum, InterestOracleDatumSchema, type InterestOracleParams, InterestOracleParamsSchema, type InterestOracleRedeemer, MAX_BUY_ROB_REDEMPTIONS_COUNT, MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET, MAX_E2S2S_ENTRIES_COUNT, MAX_REDEMPTIONS_WITH_CDP_OPEN, MAX_SELL_ROB_REDEMPTIONS_COUNT, MIN_ROB_COLLATERAL_AMT, type MarketSession, type ModifyStableswapPoolContent, ONE_DAY, ONE_HOUR, ONE_SECOND, ONE_YEAR, type OracleIdx, OracleIdxSchema, type Output, PRICE_UPDATE_MAGIC, type ParsedOutput, type PollDatum, type PollManagerContent, PollManagerParams, type PollManagerParamsSP, type PollManagerRedeemer, type PollShardContent, PollShardParams, type PollShardParamsSP, type PollShardRedeemer, type PollStatus, type PriceOracleDatum, type PriceOracleParam, type PriceOracleParams, PriceOracleParamsSchema, type PriceOracleRedeemer, type PriceUpdate, type ProcessRequestAccountContent, type ProposalContent, ProposalContentSchema, type ProposeAssetContent, type ProposeStableswapPoolContent, type ProtocolParams, ProtocolParamsSchema, type PubKeyHash, type PythConfig, type PythConfiguration, type PythFeedConfig, type PythFeedParams, type PythFeedParamsSP, type PythFeedRedeemer, type PythMessageParts, type PythOracleParam, type PythPriceConfigurationSP, type PythStateDatum, type PythUpdatesRedeemer, type Rational, RationalSchema, type RedeemCdpWithdrawalRedeemer, type RobDatum, type RobOrderType, type RobOutput, type RobParams, type RobParamsSP, RobParamsSchema, type RobRedeemer, SOLANA_FORMAT_MAGIC, type SPInteger, SPIntegerSchema, type ScriptCredential, type ScriptOutput, type ScriptRef, type ScriptReference, type ScriptReferences, type SnapshotEpochToScaleToSumContent, SnapshotEpochToScaleToSumContentSchema, type StabilityPoolContent, StabilityPoolContentSchema, StabilityPoolDatumSchema, StabilityPoolParams, type StabilityPoolParamsSP, type StabilityPoolRedeemer, StabilityPoolRedeemerSchema, type StableswapOrderDatum, StableswapOrderDatumSchema, type StableswapOrderRedeemer, type StableswapOutputDatum, type StableswapParamsSP, type StableswapPoolContent, StakeCredential, StakeCredentialSchema, type StakingManager, type StakingManagerOutput, type StakingParamsSP, type StakingPosLockedAmt, type StakingPosition, type StakingPositionOutput, type StakingRedeemer, type StartTime, type StateSnapshot, type SumSnapshot, type SystemParams, type TokenNameSP, type TreasuryParamsSP, type TreasuryWithdrawal, type TreasuryWithdrawalItem, TreasuryWithdrawalSchema, type UpgradePaths, type ValidatorHashes, VerificationKeyHashSchema, type VersionRecordParams, VersionRecordTokenParams, type VoteOption, addrDetails, adjustCdp, adjustPriceToDecimals, adjustRob, adjustStakingPosition, alwaysFailValidator, annulRequest, approximateLeverageRedemptions, attachOracle, balance, batchCollectInterest, batchProcessStableswapOrders, bigintMax, bigintMin, buildRedemptionsTx, burnCdp, calculateAccruedInterest, calculateAdaReward, calculateCollateralRatioFromLeverage, calculateIAssetRedemptionAmt, calculateLeverageFromCollateralRatio, calculateMinCollateralCappedIAssetRedemptionAmt, calculatePurchaseAmtWhenRobBuyOrder, calculatePurchaseAmtWhenRobSellOrder, calculateSpendAmtWhenRobBuyOrder, calculateSpendAmtWhenRobSellOrder, calculateTotalCollateralForRedemption, calculateUnitaryInterest, calculateUnitaryInterestSinceOracleLastUpdated, cancelRob, cancelStableswapOrder, castCDPCreatorParams, castCdpParams, castCdpRedeemParams, castExecuteParams, castGovParams, castInterestCollectionParams, castInterestOracleParams, castPollManagerParams, castPollShardParams, castPriceOracleParams, castRobParams, castStabilityPoolParams, castStakingParams, castVersionRecordTokenParams, cdpCollateralRatioPercentage, claimRob, closeCdp, closeStakingPosition, collectInterestTx, collectorFeeTx, createDestinationDatum, createE2s2sSnapshots, createProcessRequestAccountRedeemer, createProposal, createScriptAddress, createShardsChunks, createStableswapOrder, decodePriceUpdate, decodePythMessage, depositCdp, deriveAuthToken, distributeAda, distributeInterest, distributeReward, divideOnChainCompatible, encodePriceUpdate, encodePythMessage, encodeSignedPythMessage, endProposal, estimateUtxoMinLovelace, executeProposal, feedInterestOracle, feedPriceOracleTx, findRelevantE2s2sIdxs, findStakingManager, findStakingManagerByOutRef, findStakingPositionByOutRef, freezeCdp, fromDataDerivedPythPrice, fromDecimal, fromSPInteger, fromSysParamsCredential, fromSysParamsDerivedPythPrice, fromSysParamsPythFeedParams, fromSysParamsStakeCredential, fromSystemParamsAsset, fromSystemParamsAssetLucid, fromSystemParamsScriptRef, getAssetClassComparisonStr, getInlineDatumOrThrow, getPythFeedConfig, getUpdatedAccountDeposit, handleOracleForCollateralAsset, iassetValueOfCollateral, init, initCDPCreator, initCollector, initGovernance, initInterestCollector, initPythConfig, initScriptRef, initSpState, initStakingManager, initSumVal, initTreasury, initializeAsset, insertSorted, isBuyOrderFullyRedeemed, isFullyRedeemed, isSameEpochToScaleKey, leverageCdpWithRob, liquidateCdp, liquidationHelper, loadSystemParamsFromFile, loadSystemParamsFromUrl, matchSingle, mergeCdps, mergeShards, mintAuthTokenDirect, mintCdp, mintOneTimeAsset, mintOneTimeToken, mkAuthTokenPolicy, mkCDPCreatorValidator, mkCDPCreatorValidatorFromSP, mkCdpRedeemValidatorFromSP, mkCdpValidatorFromSP, mkCollectorValidatorFromSP, mkExecuteValidator, mkExecuteValidatorFromSP, mkGovValidator, mkGovValidatorFromSP, mkIAssetTokenPolicy, mkIAssetValidatorFromSP, mkInterestCollectionValidator, mkInterestCollectionValidatorFromSP, mkInterestOracleValidator, mkPollManagerValidator, mkPollManagerValidatorFromSP, mkPollShardValidator, mkPollShardValidatorFromSP, mkPriceOracleValidator, mkPythFeedValidator, mkRobValidator, mkRobValidatorFromSP, mkSPInteger, mkStabilityPoolAddr, mkStabilityPoolValidator, mkStabilityPoolValidatorFromSP, mkStableswapValidator, mkStableswapValidatorFromSP, mkStakingValidatorFromSP, mkTreasuryAddr, mkTreasuryValidatorFromSP, mkVersionRecordTokenPolicy, mkVersionRegistryValidator, oneShotMintTx, openCdp, openRob, openStakingPosition, parseAccountDatum, parseAccountDatumOrThrow, parseCdpDatum, parseCdpDatumOrThrow, parseCdpRedeemer, parseCdpRedeemerOrThrow, parseCollateralAssetDatum, parseCollateralAssetDatumOrThrow, parseExecuteDatum, parseExecuteDatumOrThrow, parseGovDatum, parseGovDatumOrThrow, parseIAssetDatum, parseIAssetDatumOrThrow, parseInterestCollectionDatum, parseInterestOracleDatum, parsePollManager, parsePollManagerOrThrow, parsePollShard, parsePollShardOrThrow, parsePollShardRedeemer, parsePollShardRedeemerOrThrow, parsePriceOracleDatum, parsePythStateDatum, parseRobDatum, parseRobDatumOrThrow, parseRobRedeemer, parseRobRedeemerOrThrow, parseSnapshotEpochToScaleToSumDatum, parseSnapshotEpochToScaleToSumDatumOrThrow, parseStabilityPoolDatum, parseStabilityPoolDatumOrThrow, parseStabilityPoolRedeemer, parseStabilityPoolRedeemerOrThrow, parseStableswapOrderDatum, parseStableswapOrderDatumOrThrow, parseStableswapOrderRedeemer, parseStableswapOrderRedeemerOrThrow, parseStableswapPoolDatum, parseStableswapPoolDatumOrThrow, parseStakingManagerDatum, parseStakingPosition, parseStakingPositionOrThrow, parseStakingRedeemer, parseStakingRedeemerOrThrow, partitionEpochToScaleToSums, processSpRequest, randomRobsSubsetSatisfyingTargetCollateral, rationalAdd, rationalCeil, rationalDiv, rationalFloor, rationalFromInt, rationalMul, rationalNegate, rationalSub, rationalToFloat, rationalZero, redeemCdp, redeemRob, repsertReadonlyArr, repsertWithReadonlyArr, requestSpAccountAdjustment, requestSpAccountClosure, requestSpAccountCreation, rewardSnapshotPrecision, robAmtToSpend, robBuyOrderFilledAssets, robBuyOrderSummary, robCollateralAmtToSpend, robIAssetAmtToSpend, robSellOrderFilledAssets, runCreateScriptRefTx, runOneShotMintTx, scriptRef, serialiseActionReturnDatum, serialiseCdpDatum, serialiseCdpRedeemer, serialiseCollectorRedeemer, serialiseExecuteDatum, serialiseFeedInterestOracleRedeemer, serialiseGovDatum, serialiseGovRedeemer, serialiseIAssetDatum, serialiseIAssetRedeemer, serialiseInterestCollectionDatum, serialiseInterestCollectionRedeemer, serialiseInterestOracleDatum, serialisePollDatum, serialisePollManagerRedeemer, serialisePollShardRedeemer, serialisePriceOracleDatum, serialisePriceOracleRedeemer, serialisePythFeedParams, serialisePythFeedRedeemer, serialisePythStateDatum, serialisePythUpdatesRedeemer, serialiseRedeemCdpWithdrawalRedeemer, serialiseRobDatum, serialiseRobRedeemer, serialiseStabilityPoolDatum, serialiseStabilityPoolRedeemer, serialiseStableswapOrderDatum, serialiseStableswapOrderRedeemer, serialiseStableswapOutputDatum, serialiseStableswapPoolDatum, serialiseStakingDatum, serialiseStakingRedeemer, shuffle, signersAllOf, spAdd, spDiv, spMul, spSub, spZeroNegatives, startInterestOracle, startPriceOracleTx, submitTx, sum, summarizeActualLeverageRedemptions, toAssetClassFromLucid, toDataDerivedPythPrice, toSystemParamsAsset, treasuryCollect, treasuryFeeTx, treasuryMerge, treasuryPrepareWithdrawal, treasurySplit, updateAccount, updatePermissions, updatePoolStateWhenWithdrawalFee, updateStableswapPoolFees, updateStakingLockedAmount, vote, withdrawCdp, zeroNegatives };

package/dist/index.js CHANGED Viewed

@@ -52,9 +52,11 @@ __export(index_exports, {
   InterestCollectionParamsSchema: () => InterestCollectionParamsSchema,
   InterestOracleDatumSchema: () => InterestOracleDatumSchema,
   InterestOracleParamsSchema: () => InterestOracleParamsSchema,
+  MAX_BUY_ROB_REDEMPTIONS_COUNT: () => MAX_BUY_ROB_REDEMPTIONS_COUNT,
   MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET: () => MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET,
   MAX_E2S2S_ENTRIES_COUNT: () => MAX_E2S2S_ENTRIES_COUNT,
   MAX_REDEMPTIONS_WITH_CDP_OPEN: () => MAX_REDEMPTIONS_WITH_CDP_OPEN,
+  MAX_SELL_ROB_REDEMPTIONS_COUNT: () => MAX_SELL_ROB_REDEMPTIONS_COUNT,
   MIN_ROB_COLLATERAL_AMT: () => MIN_ROB_COLLATERAL_AMT,
   ONE_DAY: () => ONE_DAY,
   ONE_HOUR: () => ONE_HOUR,
@@ -104,6 +106,10 @@ __export(index_exports, {
   calculateIAssetRedemptionAmt: () => calculateIAssetRedemptionAmt,
   calculateLeverageFromCollateralRatio: () => calculateLeverageFromCollateralRatio,
   calculateMinCollateralCappedIAssetRedemptionAmt: () => calculateMinCollateralCappedIAssetRedemptionAmt,
+  calculatePurchaseAmtWhenRobBuyOrder: () => calculatePurchaseAmtWhenRobBuyOrder,
+  calculatePurchaseAmtWhenRobSellOrder: () => calculatePurchaseAmtWhenRobSellOrder,
+  calculateSpendAmtWhenRobBuyOrder: () => calculateSpendAmtWhenRobBuyOrder,
+  calculateSpendAmtWhenRobSellOrder: () => calculateSpendAmtWhenRobSellOrder,
   calculateTotalCollateralForRedemption: () => calculateTotalCollateralForRedemption,
   calculateUnitaryInterest: () => calculateUnitaryInterest,
   calculateUnitaryInterestSinceOracleLastUpdated: () => calculateUnitaryInterestSinceOracleLastUpdated,
@@ -8647,7 +8653,49 @@ function parseRobRedeemerOrThrow(redeemerCborHex) {
 var import_fp_ts17 = require("fp-ts");
 var import_ts_pattern19 = require("ts-pattern");
 var import_cardano_offchain_common22 = require("@3rd-eye-labs/cardano-offchain-common");
+var import_decimal = __toESM(require("decimal.js"));
 var MIN_ROB_COLLATERAL_AMT = 3000000n;
+var MAX_SELL_ROB_REDEMPTIONS_COUNT = 18;
+var MAX_BUY_ROB_REDEMPTIONS_COUNT = 20;
+function calculatePurchaseAmtWhenRobBuyOrder(sellIassetAmt, redemptionReimbursementRatio, price) {
+  const reimbursementIAsset = calculateFeeFromRatio(
+    redemptionReimbursementRatio,
+    sellIassetAmt
+  );
+  const collateralForRedemption = rationalFloor(
+    rationalMul(rationalFromInt(sellIassetAmt - reimbursementIAsset), price)
+  );
+  return collateralForRedemption;
+}
+function calculateSpendAmtWhenRobBuyOrder(purchaseCollateralAmt, redemptionReimbursementRatio, price) {
+  const priceDecimal = (0, import_decimal.default)(price.numerator).div(price.denominator);
+  const reimbRatio = (0, import_decimal.default)(redemptionReimbursementRatio.numerator).div(
+    redemptionReimbursementRatio.denominator
+  );
+  return fromDecimal(
+    (0, import_decimal.default)(purchaseCollateralAmt).div(priceDecimal).floor().div((0, import_decimal.default)(1).minus(reimbRatio)).floor()
+  );
+}
+function calculatePurchaseAmtWhenRobSellOrder(sellCollateralAmt, redemptionReimbursementRatio, price) {
+  const reimbursementCollateral = calculateFeeFromRatio(
+    redemptionReimbursementRatio,
+    sellCollateralAmt
+  );
+  const redeemedIAssetAmt = iassetValueOfCollateral(
+    sellCollateralAmt - reimbursementCollateral,
+    price
+  );
+  return redeemedIAssetAmt;
+}
+function calculateSpendAmtWhenRobSellOrder(purchaseIassetAmt, redemptionReimbursementRatio, price) {
+  const priceDecimal = (0, import_decimal.default)(price.numerator).div(price.denominator);
+  const reimbRatio = (0, import_decimal.default)(redemptionReimbursementRatio.numerator).div(
+    redemptionReimbursementRatio.denominator
+  );
+  return fromDecimal(
+    (0, import_decimal.default)(purchaseIassetAmt).mul(priceDecimal).floor().div((0, import_decimal.default)(1).minus(reimbRatio)).floor()
+  );
+}
 function robCollateralAmtToSpend(robAssets, robOrderType) {
   return (0, import_ts_pattern19.match)(robOrderType).returnType().with({ BuyIAssetOrder: import_ts_pattern19.P.select() }, (content) => {
     if ((0, import_cardano_offchain_common22.isSameAssetClass)(import_cardano_offchain_common22.adaAssetClass, content.collateralAsset)) {
@@ -8743,15 +8791,10 @@ function buildRedemptionsTx(redemptions, iasset, collateralAsset, price, redempt
             throw new Error("Only same collateral asset");
           }
           const payoutIAssetAmt = payoutAmt;
-          const reimburstmentIAsset = calculateFeeFromRatio(
+          const collateralForRedemption = calculatePurchaseAmtWhenRobBuyOrder(
+            payoutIAssetAmt,
             redemptionReimbursementRatio,
-            payoutIAssetAmt
-          );
-          const collateralForRedemption = rationalFloor(
-            rationalMul(
-              rationalFromInt(payoutIAssetAmt - reimburstmentIAsset),
-              price
-            )
+            price
           );
           const resultVal = (0, import_lucid49.addAssets)(
             robUtxo.assets,
@@ -8778,12 +8821,9 @@ function buildRedemptionsTx(redemptions, iasset, collateralAsset, price, redempt
             })
           );
           const payoutCollateralAmt = payoutAmt;
-          const reimbursementCollateral = calculateFeeFromRatio(
+          const redeemedIAssetAmt = calculatePurchaseAmtWhenRobSellOrder(
+            payoutCollateralAmt,
             redemptionReimbursementRatio,
-            payoutCollateralAmt
-          );
-          const redeemedIAssetAmt = iassetValueOfCollateral(
-            payoutCollateralAmt - reimbursementCollateral,
             price
           );
           const resultVal = (0, import_lucid49.addAssets)(
@@ -9225,22 +9265,22 @@ var import_lucid53 = require("@lucid-evolution/lucid");
 // src/contracts/rob-leverage/helpers.ts
 var import_fp_ts19 = require("fp-ts");
-var import_decimal = require("decimal.js");
+var import_decimal2 = require("decimal.js");
 var MAX_REDEMPTIONS_WITH_CDP_OPEN = 4;
 function approximateLeverageRedemptions(baseCollateral, targetLeverage, redemptionReimbursementRatio, debtMintingFeeRatio) {
-  const debtMintingFeeRatioDecimal = (0, import_decimal.Decimal)(debtMintingFeeRatio.numerator).div(
+  const debtMintingFeeRatioDecimal = (0, import_decimal2.Decimal)(debtMintingFeeRatio.numerator).div(
     debtMintingFeeRatio.denominator
   );
-  const redemptionReimbursementRatioDecimal = (0, import_decimal.Decimal)(
+  const redemptionReimbursementRatioDecimal = (0, import_decimal2.Decimal)(
     redemptionReimbursementRatio.numerator
   ).div(redemptionReimbursementRatio.denominator);
   const totalFeeRatio = debtMintingFeeRatioDecimal.add(
     redemptionReimbursementRatioDecimal
   );
-  const bExFees = (0, import_decimal.Decimal)(baseCollateral).mul(targetLeverage).minus(baseCollateral).floor();
-  const b = bExFees.div((0, import_decimal.Decimal)(1).minus(totalFeeRatio)).floor();
+  const bExFees = (0, import_decimal2.Decimal)(baseCollateral).mul(targetLeverage).minus(baseCollateral).floor();
+  const b = bExFees.div((0, import_decimal2.Decimal)(1).minus(totalFeeRatio)).floor();
   const collateralRatio = {
-    numerator: fromDecimal((0, import_decimal.Decimal)(baseCollateral).add(bExFees)),
+    numerator: fromDecimal((0, import_decimal2.Decimal)(baseCollateral).add(bExFees)),
     denominator: fromDecimal(b)
   };
   return {
@@ -9250,12 +9290,6 @@ function approximateLeverageRedemptions(baseCollateral, targetLeverage, redempti
   };
 }
 function summarizeActualLeverageRedemptions(lovelacesForRedemptionWithReimbursement, redemptionReimbursementRatio, iassetPrice, redemptionLrps) {
-  const priceDecimal = (0, import_decimal.Decimal)(iassetPrice.numerator).div(
-    iassetPrice.denominator
-  );
-  const reimbRatio = (0, import_decimal.Decimal)(redemptionReimbursementRatio.numerator).div(
-    redemptionReimbursementRatio.denominator
-  );
   const redemptionDetails = import_fp_ts19.function.pipe(
     redemptionLrps,
     import_fp_ts19.array.reduce(
@@ -9282,8 +9316,10 @@ function summarizeActualLeverageRedemptions(lovelacesForRedemptionWithReimbursem
           0n
         );
         const collateralToSpendInitial = acc.remainingCollateralToSpend - newRemainingCollateral;
-        const finalPayoutIAssets = fromDecimal(
-          (0, import_decimal.Decimal)(collateralToSpendInitial).div(priceDecimal).floor().div((0, import_decimal.Decimal)(1).minus(reimbRatio)).floor()
+        const finalPayoutIAssets = calculateSpendAmtWhenRobBuyOrder(
+          collateralToSpendInitial,
+          redemptionReimbursementRatio,
+          iassetPrice
         );
         const feeIAssetAmt = calculateFeeFromRatio(
           redemptionReimbursementRatio,
@@ -9335,10 +9371,10 @@ function summarizeActualLeverageRedemptions(lovelacesForRedemptionWithReimbursem
   };
 }
 function calculateCollateralRatioFromLeverage(iasset, collateralAsset, leverage, baseCollateral, iassetPrice, debtMintingFeePercentage, redemptionReimbursementPercentage, allLrps) {
-  const debtMintingFeeRatioDecimal = (0, import_decimal.Decimal)(
+  const debtMintingFeeRatioDecimal = (0, import_decimal2.Decimal)(
     debtMintingFeePercentage.getOnChainInt
   ).div(OCD_DECIMAL_UNIT).div(100);
-  const redemptionReimbursementRatioDecimal = (0, import_decimal.Decimal)(
+  const redemptionReimbursementRatioDecimal = (0, import_decimal2.Decimal)(
     redemptionReimbursementPercentage.getOnChainInt
   ).div(OCD_DECIMAL_UNIT).div(100);
   const totalFeeRatio = debtMintingFeeRatioDecimal.add(
@@ -9354,15 +9390,15 @@ function calculateCollateralRatioFromLeverage(iasset, collateralAsset, leverage,
   if (leverage <= 1 || baseCollateral <= 0n || maxAvailableCollateralForRedemption <= 0n) {
     return void 0;
   }
-  const bExFees = (0, import_decimal.Decimal)(baseCollateral).mul(leverage).minus(baseCollateral).floor();
-  const b = bExFees.div((0, import_decimal.Decimal)(1).minus(totalFeeRatio)).floor();
+  const bExFees = (0, import_decimal2.Decimal)(baseCollateral).mul(leverage).minus(baseCollateral).floor();
+  const b = bExFees.div((0, import_decimal2.Decimal)(1).minus(totalFeeRatio)).floor();
   const cappedB = bigintMin(
     maxAvailableCollateralForRedemption,
     fromDecimal(b)
   );
-  const cappedBExFees = (0, import_decimal.Decimal)(cappedB).mul((0, import_decimal.Decimal)(1).minus(totalFeeRatio)).floor();
-  const collateralRatio = (0, import_decimal.Decimal)(
-    (0, import_decimal.Decimal)(baseCollateral).add(cappedBExFees)
+  const cappedBExFees = (0, import_decimal2.Decimal)(cappedB).mul((0, import_decimal2.Decimal)(1).minus(totalFeeRatio)).floor();
+  const collateralRatio = (0, import_decimal2.Decimal)(
+    (0, import_decimal2.Decimal)(baseCollateral).add(cappedBExFees)
   ).div(cappedB);
   return {
     getOnChainInt: fromDecimal(
@@ -9371,16 +9407,16 @@ function calculateCollateralRatioFromLeverage(iasset, collateralAsset, leverage,
   };
 }
 function calculateLeverageFromCollateralRatio(iasset, collateralAsset, collateralRatio, baseCollateral, iassetPrice, debtMintingFeeRatio, redemptionReimbursementRatio, allLrps) {
-  const debtMintingFeeRatioDecimal = (0, import_decimal.Decimal)(debtMintingFeeRatio.numerator).div(
+  const debtMintingFeeRatioDecimal = (0, import_decimal2.Decimal)(debtMintingFeeRatio.numerator).div(
     debtMintingFeeRatio.denominator
   );
-  const redemptionReimbursementRatioDecimal = (0, import_decimal.Decimal)(
+  const redemptionReimbursementRatioDecimal = (0, import_decimal2.Decimal)(
     redemptionReimbursementRatio.numerator
   ).div(redemptionReimbursementRatio.denominator);
   const totalFeeRatio = debtMintingFeeRatioDecimal.add(
     redemptionReimbursementRatioDecimal
   );
-  const collateralRatioDecimal = (0, import_decimal.Decimal)(collateralRatio.numerator).div(
+  const collateralRatioDecimal = (0, import_decimal2.Decimal)(collateralRatio.numerator).div(
     collateralRatio.denominator
   );
   const maxAvailableCollateralForRedemption = calculateTotalCollateralForRedemption(
@@ -9393,20 +9429,20 @@ function calculateLeverageFromCollateralRatio(iasset, collateralAsset, collatera
   if (collateralRatioDecimal.toNumber() <= 1 || baseCollateral <= 0n || maxAvailableCollateralForRedemption <= 0n) {
     return void 0;
   }
-  const theoreticalMaxLeverage = (0, import_decimal.Decimal)((0, import_decimal.Decimal)(1).minus(totalFeeRatio)).div(collateralRatioDecimal.minus(1).add(totalFeeRatio)).add(1);
+  const theoreticalMaxLeverage = (0, import_decimal2.Decimal)((0, import_decimal2.Decimal)(1).minus(totalFeeRatio)).div(collateralRatioDecimal.minus(1).add(totalFeeRatio)).add(1);
   const bExFees = theoreticalMaxLeverage.mul(baseCollateral).minus(baseCollateral).floor();
-  const b = bExFees.div((0, import_decimal.Decimal)(1).minus(totalFeeRatio)).floor();
+  const b = bExFees.div((0, import_decimal2.Decimal)(1).minus(totalFeeRatio)).floor();
   const cappedB = bigintMin(
     maxAvailableCollateralForRedemption,
     fromDecimal(b)
   );
-  const cappedBExFees = (0, import_decimal.Decimal)(cappedB).mul((0, import_decimal.Decimal)(1).minus(totalFeeRatio)).floor();
-  return (0, import_decimal.Decimal)(baseCollateral).add(cappedBExFees).div(baseCollateral).toNumber();
+  const cappedBExFees = (0, import_decimal2.Decimal)(cappedB).mul((0, import_decimal2.Decimal)(1).minus(totalFeeRatio)).floor();
+  return (0, import_decimal2.Decimal)(baseCollateral).add(cappedBExFees).div(baseCollateral).toNumber();
 }
 // src/contracts/rob-leverage/transactions.ts
 var import_cardano_offchain_common24 = require("@3rd-eye-labs/cardano-offchain-common");
-var import_decimal2 = __toESM(require("decimal.js"));
+var import_decimal3 = __toESM(require("decimal.js"));
 async function leverageCdpWithRob(leverage, baseCollateral, priceOracleOutRef, iassetOutRef, collateralAssetOutRef, cdpCreatorOref, interestOracleOref, treasuryOref, sysParams, lucid, allRobs, currentSlot, pythMessage = void 0, pythStateOref = void 0) {
   const network = lucid.config().network;
   const currentTime = BigInt((0, import_lucid53.slotToUnixTime)(network, currentSlot));
@@ -9517,9 +9553,9 @@ async function leverageCdpWithRob(leverage, baseCollateral, priceOracleOutRef, i
     )
   );
   const mintedAmt = fromDecimal(
-    (0, import_decimal2.default)(redemptionDetails.totalIAssetPayout).div(
-      (0, import_decimal2.default)(1).minus(
-        (0, import_decimal2.default)(iassetDatum.debtMintingFeeRatio.numerator).div(
+    (0, import_decimal3.default)(redemptionDetails.totalIAssetPayout).div(
+      (0, import_decimal3.default)(1).minus(
+        (0, import_decimal3.default)(iassetDatum.debtMintingFeeRatio.numerator).div(
           iassetDatum.debtMintingFeeRatio.denominator
         )
       )
@@ -11539,9 +11575,11 @@ async function updateStableswapPoolFees(stableswapPoolOutRef, stableswapFeeOutRe
   InterestCollectionParamsSchema,
   InterestOracleDatumSchema,
   InterestOracleParamsSchema,
+  MAX_BUY_ROB_REDEMPTIONS_COUNT,
   MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET,
   MAX_E2S2S_ENTRIES_COUNT,
   MAX_REDEMPTIONS_WITH_CDP_OPEN,
+  MAX_SELL_ROB_REDEMPTIONS_COUNT,
   MIN_ROB_COLLATERAL_AMT,
   ONE_DAY,
   ONE_HOUR,
@@ -11591,6 +11629,10 @@ async function updateStableswapPoolFees(stableswapPoolOutRef, stableswapFeeOutRe
   calculateIAssetRedemptionAmt,
   calculateLeverageFromCollateralRatio,
   calculateMinCollateralCappedIAssetRedemptionAmt,
+  calculatePurchaseAmtWhenRobBuyOrder,
+  calculatePurchaseAmtWhenRobSellOrder,
+  calculateSpendAmtWhenRobBuyOrder,
+  calculateSpendAmtWhenRobSellOrder,
   calculateTotalCollateralForRedemption,
   calculateUnitaryInterest,
   calculateUnitaryInterestSinceOracleLastUpdated,

package/dist/index.mjs CHANGED Viewed

@@ -8482,7 +8482,49 @@ import {
   lovelacesAmt as lovelacesAmt3,
   mkAssetsOf as mkAssetsOf9
 } from "@3rd-eye-labs/cardano-offchain-common";
+import Decimal from "decimal.js";
 var MIN_ROB_COLLATERAL_AMT = 3000000n;
+var MAX_SELL_ROB_REDEMPTIONS_COUNT = 18;
+var MAX_BUY_ROB_REDEMPTIONS_COUNT = 20;
+function calculatePurchaseAmtWhenRobBuyOrder(sellIassetAmt, redemptionReimbursementRatio, price) {
+  const reimbursementIAsset = calculateFeeFromRatio(
+    redemptionReimbursementRatio,
+    sellIassetAmt
+  );
+  const collateralForRedemption = rationalFloor(
+    rationalMul(rationalFromInt(sellIassetAmt - reimbursementIAsset), price)
+  );
+  return collateralForRedemption;
+}
+function calculateSpendAmtWhenRobBuyOrder(purchaseCollateralAmt, redemptionReimbursementRatio, price) {
+  const priceDecimal = Decimal(price.numerator).div(price.denominator);
+  const reimbRatio = Decimal(redemptionReimbursementRatio.numerator).div(
+    redemptionReimbursementRatio.denominator
+  );
+  return fromDecimal(
+    Decimal(purchaseCollateralAmt).div(priceDecimal).floor().div(Decimal(1).minus(reimbRatio)).floor()
+  );
+}
+function calculatePurchaseAmtWhenRobSellOrder(sellCollateralAmt, redemptionReimbursementRatio, price) {
+  const reimbursementCollateral = calculateFeeFromRatio(
+    redemptionReimbursementRatio,
+    sellCollateralAmt
+  );
+  const redeemedIAssetAmt = iassetValueOfCollateral(
+    sellCollateralAmt - reimbursementCollateral,
+    price
+  );
+  return redeemedIAssetAmt;
+}
+function calculateSpendAmtWhenRobSellOrder(purchaseIassetAmt, redemptionReimbursementRatio, price) {
+  const priceDecimal = Decimal(price.numerator).div(price.denominator);
+  const reimbRatio = Decimal(redemptionReimbursementRatio.numerator).div(
+    redemptionReimbursementRatio.denominator
+  );
+  return fromDecimal(
+    Decimal(purchaseIassetAmt).mul(priceDecimal).floor().div(Decimal(1).minus(reimbRatio)).floor()
+  );
+}
 function robCollateralAmtToSpend(robAssets, robOrderType) {
   return match18(robOrderType).returnType().with({ BuyIAssetOrder: P18.select() }, (content) => {
     if (isSameAssetClass3(adaAssetClass5, content.collateralAsset)) {
@@ -8578,15 +8620,10 @@ function buildRedemptionsTx(redemptions, iasset, collateralAsset, price, redempt
             throw new Error("Only same collateral asset");
           }
           const payoutIAssetAmt = payoutAmt;
-          const reimburstmentIAsset = calculateFeeFromRatio(
+          const collateralForRedemption = calculatePurchaseAmtWhenRobBuyOrder(
+            payoutIAssetAmt,
             redemptionReimbursementRatio,
-            payoutIAssetAmt
-          );
-          const collateralForRedemption = rationalFloor(
-            rationalMul(
-              rationalFromInt(payoutIAssetAmt - reimburstmentIAsset),
-              price
-            )
+            price
           );
           const resultVal = addAssets12(
             robUtxo.assets,
@@ -8613,12 +8650,9 @@ function buildRedemptionsTx(redemptions, iasset, collateralAsset, price, redempt
             })
           );
           const payoutCollateralAmt = payoutAmt;
-          const reimbursementCollateral = calculateFeeFromRatio(
+          const redeemedIAssetAmt = calculatePurchaseAmtWhenRobSellOrder(
+            payoutCollateralAmt,
             redemptionReimbursementRatio,
-            payoutCollateralAmt
-          );
-          const redeemedIAssetAmt = iassetValueOfCollateral(
-            payoutCollateralAmt - reimbursementCollateral,
             price
           );
           const resultVal = addAssets12(
@@ -9084,22 +9118,22 @@ import {
 // src/contracts/rob-leverage/helpers.ts
 import { array as A11, function as F18 } from "fp-ts";
-import { Decimal } from "decimal.js";
+import { Decimal as Decimal2 } from "decimal.js";
 var MAX_REDEMPTIONS_WITH_CDP_OPEN = 4;
 function approximateLeverageRedemptions(baseCollateral, targetLeverage, redemptionReimbursementRatio, debtMintingFeeRatio) {
-  const debtMintingFeeRatioDecimal = Decimal(debtMintingFeeRatio.numerator).div(
+  const debtMintingFeeRatioDecimal = Decimal2(debtMintingFeeRatio.numerator).div(
     debtMintingFeeRatio.denominator
   );
-  const redemptionReimbursementRatioDecimal = Decimal(
+  const redemptionReimbursementRatioDecimal = Decimal2(
     redemptionReimbursementRatio.numerator
   ).div(redemptionReimbursementRatio.denominator);
   const totalFeeRatio = debtMintingFeeRatioDecimal.add(
     redemptionReimbursementRatioDecimal
   );
-  const bExFees = Decimal(baseCollateral).mul(targetLeverage).minus(baseCollateral).floor();
-  const b = bExFees.div(Decimal(1).minus(totalFeeRatio)).floor();
+  const bExFees = Decimal2(baseCollateral).mul(targetLeverage).minus(baseCollateral).floor();
+  const b = bExFees.div(Decimal2(1).minus(totalFeeRatio)).floor();
   const collateralRatio = {
-    numerator: fromDecimal(Decimal(baseCollateral).add(bExFees)),
+    numerator: fromDecimal(Decimal2(baseCollateral).add(bExFees)),
     denominator: fromDecimal(b)
   };
   return {
@@ -9109,12 +9143,6 @@ function approximateLeverageRedemptions(baseCollateral, targetLeverage, redempti
   };
 }
 function summarizeActualLeverageRedemptions(lovelacesForRedemptionWithReimbursement, redemptionReimbursementRatio, iassetPrice, redemptionLrps) {
-  const priceDecimal = Decimal(iassetPrice.numerator).div(
-    iassetPrice.denominator
-  );
-  const reimbRatio = Decimal(redemptionReimbursementRatio.numerator).div(
-    redemptionReimbursementRatio.denominator
-  );
   const redemptionDetails = F18.pipe(
     redemptionLrps,
     A11.reduce(
@@ -9141,8 +9169,10 @@ function summarizeActualLeverageRedemptions(lovelacesForRedemptionWithReimbursem
           0n
         );
         const collateralToSpendInitial = acc.remainingCollateralToSpend - newRemainingCollateral;
-        const finalPayoutIAssets = fromDecimal(
-          Decimal(collateralToSpendInitial).div(priceDecimal).floor().div(Decimal(1).minus(reimbRatio)).floor()
+        const finalPayoutIAssets = calculateSpendAmtWhenRobBuyOrder(
+          collateralToSpendInitial,
+          redemptionReimbursementRatio,
+          iassetPrice
         );
         const feeIAssetAmt = calculateFeeFromRatio(
           redemptionReimbursementRatio,
@@ -9194,10 +9224,10 @@ function summarizeActualLeverageRedemptions(lovelacesForRedemptionWithReimbursem
   };
 }
 function calculateCollateralRatioFromLeverage(iasset, collateralAsset, leverage, baseCollateral, iassetPrice, debtMintingFeePercentage, redemptionReimbursementPercentage, allLrps) {
-  const debtMintingFeeRatioDecimal = Decimal(
+  const debtMintingFeeRatioDecimal = Decimal2(
     debtMintingFeePercentage.getOnChainInt
   ).div(OCD_DECIMAL_UNIT).div(100);
-  const redemptionReimbursementRatioDecimal = Decimal(
+  const redemptionReimbursementRatioDecimal = Decimal2(
     redemptionReimbursementPercentage.getOnChainInt
   ).div(OCD_DECIMAL_UNIT).div(100);
   const totalFeeRatio = debtMintingFeeRatioDecimal.add(
@@ -9213,15 +9243,15 @@ function calculateCollateralRatioFromLeverage(iasset, collateralAsset, leverage,
   if (leverage <= 1 || baseCollateral <= 0n || maxAvailableCollateralForRedemption <= 0n) {
     return void 0;
   }
-  const bExFees = Decimal(baseCollateral).mul(leverage).minus(baseCollateral).floor();
-  const b = bExFees.div(Decimal(1).minus(totalFeeRatio)).floor();
+  const bExFees = Decimal2(baseCollateral).mul(leverage).minus(baseCollateral).floor();
+  const b = bExFees.div(Decimal2(1).minus(totalFeeRatio)).floor();
   const cappedB = bigintMin(
     maxAvailableCollateralForRedemption,
     fromDecimal(b)
   );
-  const cappedBExFees = Decimal(cappedB).mul(Decimal(1).minus(totalFeeRatio)).floor();
-  const collateralRatio = Decimal(
-    Decimal(baseCollateral).add(cappedBExFees)
+  const cappedBExFees = Decimal2(cappedB).mul(Decimal2(1).minus(totalFeeRatio)).floor();
+  const collateralRatio = Decimal2(
+    Decimal2(baseCollateral).add(cappedBExFees)
   ).div(cappedB);
   return {
     getOnChainInt: fromDecimal(
@@ -9230,16 +9260,16 @@ function calculateCollateralRatioFromLeverage(iasset, collateralAsset, leverage,
   };
 }
 function calculateLeverageFromCollateralRatio(iasset, collateralAsset, collateralRatio, baseCollateral, iassetPrice, debtMintingFeeRatio, redemptionReimbursementRatio, allLrps) {
-  const debtMintingFeeRatioDecimal = Decimal(debtMintingFeeRatio.numerator).div(
+  const debtMintingFeeRatioDecimal = Decimal2(debtMintingFeeRatio.numerator).div(
     debtMintingFeeRatio.denominator
   );
-  const redemptionReimbursementRatioDecimal = Decimal(
+  const redemptionReimbursementRatioDecimal = Decimal2(
     redemptionReimbursementRatio.numerator
   ).div(redemptionReimbursementRatio.denominator);
   const totalFeeRatio = debtMintingFeeRatioDecimal.add(
     redemptionReimbursementRatioDecimal
   );
-  const collateralRatioDecimal = Decimal(collateralRatio.numerator).div(
+  const collateralRatioDecimal = Decimal2(collateralRatio.numerator).div(
     collateralRatio.denominator
   );
   const maxAvailableCollateralForRedemption = calculateTotalCollateralForRedemption(
@@ -9252,20 +9282,20 @@ function calculateLeverageFromCollateralRatio(iasset, collateralAsset, collatera
   if (collateralRatioDecimal.toNumber() <= 1 || baseCollateral <= 0n || maxAvailableCollateralForRedemption <= 0n) {
     return void 0;
   }
-  const theoreticalMaxLeverage = Decimal(Decimal(1).minus(totalFeeRatio)).div(collateralRatioDecimal.minus(1).add(totalFeeRatio)).add(1);
+  const theoreticalMaxLeverage = Decimal2(Decimal2(1).minus(totalFeeRatio)).div(collateralRatioDecimal.minus(1).add(totalFeeRatio)).add(1);
   const bExFees = theoreticalMaxLeverage.mul(baseCollateral).minus(baseCollateral).floor();
-  const b = bExFees.div(Decimal(1).minus(totalFeeRatio)).floor();
+  const b = bExFees.div(Decimal2(1).minus(totalFeeRatio)).floor();
   const cappedB = bigintMin(
     maxAvailableCollateralForRedemption,
     fromDecimal(b)
   );
-  const cappedBExFees = Decimal(cappedB).mul(Decimal(1).minus(totalFeeRatio)).floor();
-  return Decimal(baseCollateral).add(cappedBExFees).div(baseCollateral).toNumber();
+  const cappedBExFees = Decimal2(cappedB).mul(Decimal2(1).minus(totalFeeRatio)).floor();
+  return Decimal2(baseCollateral).add(cappedBExFees).div(baseCollateral).toNumber();
 }
 // src/contracts/rob-leverage/transactions.ts
 import { mkAssetsOf as mkAssetsOf11 } from "@3rd-eye-labs/cardano-offchain-common";
-import Decimal2 from "decimal.js";
+import Decimal3 from "decimal.js";
 async function leverageCdpWithRob(leverage, baseCollateral, priceOracleOutRef, iassetOutRef, collateralAssetOutRef, cdpCreatorOref, interestOracleOref, treasuryOref, sysParams, lucid, allRobs, currentSlot, pythMessage = void 0, pythStateOref = void 0) {
   const network = lucid.config().network;
   const currentTime = BigInt(slotToUnixTime10(network, currentSlot));
@@ -9376,9 +9406,9 @@ async function leverageCdpWithRob(leverage, baseCollateral, priceOracleOutRef, i
     )
   );
   const mintedAmt = fromDecimal(
-    Decimal2(redemptionDetails.totalIAssetPayout).div(
-      Decimal2(1).minus(
-        Decimal2(iassetDatum.debtMintingFeeRatio.numerator).div(
+    Decimal3(redemptionDetails.totalIAssetPayout).div(
+      Decimal3(1).minus(
+        Decimal3(iassetDatum.debtMintingFeeRatio.numerator).div(
           iassetDatum.debtMintingFeeRatio.denominator
         )
       )
@@ -11471,9 +11501,11 @@ export {
   InterestCollectionParamsSchema,
   InterestOracleDatumSchema,
   InterestOracleParamsSchema,
+  MAX_BUY_ROB_REDEMPTIONS_COUNT,
   MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET,
   MAX_E2S2S_ENTRIES_COUNT,
   MAX_REDEMPTIONS_WITH_CDP_OPEN,
+  MAX_SELL_ROB_REDEMPTIONS_COUNT,
   MIN_ROB_COLLATERAL_AMT,
   ONE_DAY,
   ONE_HOUR,
@@ -11523,6 +11555,10 @@ export {
   calculateIAssetRedemptionAmt,
   calculateLeverageFromCollateralRatio,
   calculateMinCollateralCappedIAssetRedemptionAmt,
+  calculatePurchaseAmtWhenRobBuyOrder,
+  calculatePurchaseAmtWhenRobSellOrder,
+  calculateSpendAmtWhenRobBuyOrder,
+  calculateSpendAmtWhenRobSellOrder,
   calculateTotalCollateralForRedemption,
   calculateUnitaryInterest,
   calculateUnitaryInterestSinceOracleLastUpdated,

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@indigo-labs/indigo-sdk",
-  "version": "0.3.19",
+  "version": "0.3.20",
   "description": "Indigo SDK for interacting with Indigo endpoints via lucid-evolution",
   "main": "dist/index.js",
   "module": "dist/index.mjs",

package/src/contracts/rob/helpers.ts CHANGED Viewed

@@ -14,7 +14,12 @@ import {
   serialiseRobRedeemer,
 } from './types-new';
 import { calculateFeeFromRatio } from '../../utils/indigo-helpers';
-import { BigIntOrd, sum, zeroNegatives } from '../../utils/bigint-utils';
+import {
+  BigIntOrd,
+  fromDecimal,
+  sum,
+  zeroNegatives,
+} from '../../utils/bigint-utils';
 import {
   readonlyArray as RA,
   array as A,
@@ -43,9 +48,117 @@ import {
 import { insertSorted, shuffle } from '../../utils/array-utils';
 import { iassetValueOfCollateral } from '../cdp/helpers';
 import { OracleIdx } from '../price-oracle/types-new';
+import Decimal from 'decimal.js';
 export const MIN_ROB_COLLATERAL_AMT = 3_000_000n;
+/**
+ * The maximum of redemptions for a Tx that is doing only sell order redemptions.
+ * Based on the benchmarks.
+ */
+export const MAX_SELL_ROB_REDEMPTIONS_COUNT = 18;
+/**
+ * The maximum of redemptions for a Tx that is doing only buy order redemptions.
+ * Based on the benchmarks.
+ */
+export const MAX_BUY_ROB_REDEMPTIONS_COUNT = 20;
+/**
+ * Helper for ROB redemptions. A redeemer is selling iAssets against
+ * a buy order, i.e. buying a collateral asset.
+ * The return is the amount of collateral asset he buys.
+ */
+export function calculatePurchaseAmtWhenRobBuyOrder(
+  sellIassetAmt: bigint,
+  redemptionReimbursementRatio: Rational,
+  price: Rational,
+): bigint {
+  const reimbursementIAsset = calculateFeeFromRatio(
+    redemptionReimbursementRatio,
+    sellIassetAmt,
+  );
+  const collateralForRedemption = rationalFloor(
+    rationalMul(rationalFromInt(sellIassetAmt - reimbursementIAsset), price),
+  );
+  return collateralForRedemption;
+}
+/**
+ * A redeemer is purchasing given collateral amount against buy order.
+ * Calculate what is the amount of iAsset the user sells/spends.
+ */
+export function calculateSpendAmtWhenRobBuyOrder(
+  purchaseCollateralAmt: bigint,
+  redemptionReimbursementRatio: Rational,
+  price: Rational,
+): bigint {
+  const priceDecimal = Decimal(price.numerator).div(price.denominator);
+  const reimbRatio = Decimal(redemptionReimbursementRatio.numerator).div(
+    redemptionReimbursementRatio.denominator,
+  );
+  // TODO: make corrections here in case we can be ceiling this number instead.
+  // We want to be flooring here so that we don't go over the collateral to spend.
+  // Flooring multiple times is necessary here otherwise we could go over the collateral available.
+  // iassets = floor(collateral / price) / floor(1 - reimbursement fee)
+  return fromDecimal(
+    Decimal(purchaseCollateralAmt)
+      .div(priceDecimal)
+      .floor()
+      .div(Decimal(1).minus(reimbRatio))
+      .floor(),
+  );
+}
+/**
+ * Helper for ROB redemptions. A redeemer is selling collateral against
+ * a sell order, i.e. buying iassets.
+ * The return is the amount of iassets he buys.
+ */
+export function calculatePurchaseAmtWhenRobSellOrder(
+  sellCollateralAmt: bigint,
+  redemptionReimbursementRatio: Rational,
+  price: Rational,
+): bigint {
+  const reimbursementCollateral = calculateFeeFromRatio(
+    redemptionReimbursementRatio,
+    sellCollateralAmt,
+  );
+  const redeemedIAssetAmt = iassetValueOfCollateral(
+    sellCollateralAmt - reimbursementCollateral,
+    price,
+  );
+  return redeemedIAssetAmt;
+}
+/**
+ * A redeemer is purchasing given iasset amount against sell order.
+ * Calculate what is the amount of collateral the user sells/spends.
+ */
+export function calculateSpendAmtWhenRobSellOrder(
+  purchaseIassetAmt: bigint,
+  redemptionReimbursementRatio: Rational,
+  price: Rational,
+): bigint {
+  const priceDecimal = Decimal(price.numerator).div(price.denominator);
+  const reimbRatio = Decimal(redemptionReimbursementRatio.numerator).div(
+    redemptionReimbursementRatio.denominator,
+  );
+  // collateral = floor(iasset * price) / floor(1 - reimbursement fee)
+  return fromDecimal(
+    Decimal(purchaseIassetAmt)
+      .mul(priceDecimal)
+      .floor()
+      .div(Decimal(1).minus(reimbRatio))
+      .floor(),
+  );
+}
 /**
  * The amount of collateral asset available in the ROB when buy order. In case of ADA, take
  * into account the min UTXO collateral.
@@ -181,6 +294,7 @@ export function robBuyOrderSummary(
 } {
   const redeemable = robCollateralAmtToSpend(robAssets, robOrderType);
+  // TODO: this is incorrect since it doesn't take into account the reimbursement ratio.
   const payoutAmt = iassetValueOfCollateral(redeemable, oraclePrice);
   return {
@@ -286,16 +400,10 @@ export function buildRedemptionsTx(
             const payoutIAssetAmt = payoutAmt;
-            const reimburstmentIAsset = calculateFeeFromRatio(
-              redemptionReimbursementRatio,
+            const collateralForRedemption = calculatePurchaseAmtWhenRobBuyOrder(
               payoutIAssetAmt,
-            );
-            const collateralForRedemption = rationalFloor(
-              rationalMul(
-                rationalFromInt(payoutIAssetAmt - reimburstmentIAsset),
-                price,
-              ),
+              redemptionReimbursementRatio,
+              price,
             );
             const resultVal = addAssets(
@@ -327,13 +435,9 @@ export function buildRedemptionsTx(
             const payoutCollateralAmt = payoutAmt;
-            const reimbursementCollateral = calculateFeeFromRatio(
-              redemptionReimbursementRatio,
+            const redeemedIAssetAmt = calculatePurchaseAmtWhenRobSellOrder(
               payoutCollateralAmt,
-            );
-            const redeemedIAssetAmt = iassetValueOfCollateral(
-              payoutCollateralAmt - reimbursementCollateral,
+              redemptionReimbursementRatio,
               price,
             );

package/src/contracts/rob-leverage/helpers.ts CHANGED Viewed

@@ -57,6 +57,7 @@ import { bigintMax, bigintMin, fromDecimal } from '../../utils/bigint-utils';
 import { array as A, function as F } from 'fp-ts';
 import { Decimal } from 'decimal.js';
 import {
+  calculateSpendAmtWhenRobBuyOrder,
   calculateTotalCollateralForRedemption,
   robCollateralAmtToSpend,
 } from '../rob/helpers';
@@ -160,20 +161,12 @@ export function summarizeActualLeverageRedemptions(
    */
   totalIAssetPayout: bigint;
 } {
-  const priceDecimal = Decimal(iassetPrice.numerator).div(
-    iassetPrice.denominator,
-  );
   type Accumulator = {
     /// The remaining collateral to spend from ROBs
     remainingCollateralToSpend: bigint;
     redemptions: ROBRedemptionDetails[];
   };
-  const reimbRatio = Decimal(redemptionReimbursementRatio.numerator).div(
-    redemptionReimbursementRatio.denominator,
-  );
   const redemptionDetails = F.pipe(
     redemptionLrps,
     A.reduce<[UTxO, RobDatum], Accumulator>(
@@ -208,16 +201,10 @@ export function summarizeActualLeverageRedemptions(
         const collateralToSpendInitial =
           acc.remainingCollateralToSpend - newRemainingCollateral;
-        // TODO: make corrections here in case we can be ceiling this number instead.
-        // We want to be flooring here so that we don't go over the collateral to spend.
-        // Flooring multiple times is necessary here otherwise we could go over the collateral available.
-        // iassets = floor(collateral / price) / floor(1 - reimbursement fee)
-        const finalPayoutIAssets = fromDecimal(
-          Decimal(collateralToSpendInitial)
-            .div(priceDecimal)
-            .floor()
-            .div(Decimal(1).minus(reimbRatio))
-            .floor(),
+        const finalPayoutIAssets = calculateSpendAmtWhenRobBuyOrder(
+          collateralToSpendInitial,
+          redemptionReimbursementRatio,
+          iassetPrice,
         );
         const feeIAssetAmt = calculateFeeFromRatio(