@gearbox-protocol/sdk 16.0.0-next.5 → 16.0.0-next.50

package/dist/esm/onchain/accounts/intents/plan.js

@@ -1,6 +1,7 @@
 import { MAX_UINT256, PERCENTAGE_FACTOR } from "../../constants/math.js";
 import "../../constants/index.js";
-import { IntentPreviewError } from "./types.js";
+import { IntentPreviewError } from "../../validation/refusal.js";
+import { toToken, toTokenAmount } from "../../validation/token.js";
 import { eq } from "./utils/common.js";
 import { assertDebtInBand, assertLeverageAtLeastOne, debtForLeverage, proportionalDebt } from "./math.js";
 //#region src/onchain/accounts/intents/plan.ts
@@ -23,18 +24,21 @@ function planAdjustLeverage(intent, view) {
 	const T = intent.token ?? positionToken(view, "adjustLeverage");
 	if (delta > 0n) return [borrow(delta), convert(U, T, delta)];
 	const shortfall = -delta - view.balanceOf(U);
-	if (shortfall > 0n && eq(T, U)) throw new IntentPreviewError("insufficientSourceBalance", `adjustLeverage: needs ${-delta} underlying, account holds ${view.balanceOf(U)}`);
+	if (shortfall > 0n && eq(T, U)) throw new IntentPreviewError("insufficientSourceBalance", {
+		required: toTokenAmount(view.sdk, U, -delta),
+		held: toTokenAmount(view.sdk, U, view.balanceOf(U))
+	}, `adjustLeverage: needs ${-delta} underlying, account holds ${view.balanceOf(U)}`);
 	return [...shortfall > 0n ? [convert(T, U, view.price(U, T, shortfall))] : [], repay(-delta)];
 }
 /** Intents 1.1 / 1.2: collateral grows by `a`, debt grows to match. */
 function planDeposit(intent, view) {
 	assertPositive(intent.amount, "deposit");
 	const U = view.underlying;
-	if (!eq(intent.token, U) && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", `deposit: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be deposited, got ${intent.token}`);
+	if (!eq(intent.token, U) && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", { token: toToken(view.sdk, intent.token) }, `deposit: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be deposited, got ${intent.token}`);
 	const aU = view.price(intent.token, U, intent.amount);
 	const debtDelta = intent.targetLeverage === void 0 ? proportionalDebt(view, aU) : debtForLeverage(view.collateral + aU, intent.targetLeverage) - view.debt;
-	if (debtDelta < 0n) throw new IntentPreviewError("leverageOutOfRange", `deposit: target leverage ${intent.targetLeverage} would require repaying debt`);
-	assertDebtInBand(view.debt + debtDelta, view.band);
+	if (debtDelta < 0n) throw new IntentPreviewError("leverageOutOfRange", void 0, `deposit: target leverage ${intent.targetLeverage} would require repaying debt`);
+	assertDebtInBand(view.sdk, view.debt + debtDelta, view.band, U);
 	const T = intent.positionToken ?? positionToken(view, "deposit");
 	const depositStays = eq(intent.token, T);
 	return [
@@ -61,11 +65,15 @@ function planRepay(intent, view) {
 	assertPositive(intent.amount, "repay");
 	const U = view.underlying;
 	const fundsInU = eq(intent.token, U);
-	if (!fundsInU && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", `repay: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be repaid with, got ${intent.token}`);
-	if (view.debt <= 0n) throw new IntentPreviewError("debtOutOfRange", "repay: the account owes nothing");
+	if (!fundsInU && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", { token: toToken(view.sdk, intent.token) }, `repay: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be repaid with, got ${intent.token}`);
+	if (view.debt <= 0n) throw new IntentPreviewError("debtOutOfRange", {
+		requested: toTokenAmount(view.sdk, U, view.debt),
+		minDebt: toTokenAmount(view.sdk, U, view.band.minDebt),
+		maxDebt: toTokenAmount(view.sdk, U, view.band.maxDebt)
+	}, "repay: the account owes nothing");
 	const funding = everything(intent.amount) ? view.price(U, intent.token, withMargin(view.debt)) : intent.amount;
 	const repaid = min(view.price(intent.token, U, funding), view.debt);
-	assertDebtInBand(view.debt - repaid, view.band);
+	assertDebtInBand(view.sdk, view.debt - repaid, view.band, view.underlying);
 	return [
 		add(intent.token, funding, intent.value),
 		...fundsInU ? [] : [convert(intent.token, U, funding)],
@@ -121,7 +129,7 @@ function planWithdrawDelayed(intent, view) {
 	const { U, T, S, WU, dD, all } = withdrawShape(intent, view);
 	if (all) {
 		const held = view.balanceOf(S);
-		if (held <= 0n) throw new IntentPreviewError("insufficientSourceBalance", `withdraw: account holds no ${S} to redeem`);
+		if (held <= 0n) throw new IntentPreviewError("insufficientSourceBalance", void 0, `withdraw: account holds no ${S} to redeem`);
 		return [{
 			kind: "request",
 			token: S,
@@ -133,7 +141,7 @@ function planWithdrawDelayed(intent, view) {
 			}
 		}];
 	}
-	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", `withdraw: a delayed route cannot pay out in ${T}`);
+	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", { token: toToken(view.sdk, T) }, `withdraw: a delayed route cannot pay out in ${T}`);
 	const payoutIsSource = eq(T, S);
 	return [{
 		kind: "request",
@@ -159,9 +167,9 @@ function planWithdrawDelayed(intent, view) {
 */
 function planAdjustLeverageDelayed(intent, view) {
 	const { U, delta } = leverageShape(intent, view);
-	if (delta >= 0n) throw new IntentPreviewError("noDelayedRoute", "adjustLeverage: only deleveraging can settle with a delay");
+	if (delta >= 0n) throw new IntentPreviewError("noDelayedRoute", void 0, "adjustLeverage: only deleveraging can settle with a delay");
 	const shortfall = -delta - view.balanceOf(U);
-	if (shortfall <= 0n) throw new IntentPreviewError("noDelayedRoute", "adjustLeverage: idle underlying covers the repayment, nothing to redeem");
+	if (shortfall <= 0n) throw new IntentPreviewError("noDelayedRoute", void 0, "adjustLeverage: idle underlying covers the repayment, nothing to redeem");
 	const T = intent.token ?? positionToken(view, "adjustLeverage");
 	return [{
 		kind: "request",
@@ -189,7 +197,7 @@ function planFinishWithdraw(intent, claimable, claimed, view) {
 	const U = view.underlying;
 	const T = intent.withdrawToken;
 	const W = intent.withdrawAmount;
-	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", `finishWithdraw: cannot pay out in ${T}`);
+	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", { token: toToken(view.sdk, T) }, `finishWithdraw: cannot pay out in ${T}`);
 	if (intent.debtRepaid === 0n) return [
 		claim(claimable),
 		convert(claimed.token, T, claimed.amount),
@@ -281,7 +289,7 @@ function withdrawShape(intent, view) {
 		};
 	}
 	const WU = view.price(T, U, intent.amount);
-	if (WU <= 0n) throw new IntentPreviewError("insufficientSourceBalance", `withdraw: cannot price ${intent.amount} of ${T}`);
+	if (WU <= 0n) throw new IntentPreviewError("insufficientSourceBalance", void 0, `withdraw: cannot price ${intent.amount} of ${T}`);
 	if (WU >= view.collateral) {
 		assertHasValue(view);
 		return {
@@ -294,7 +302,7 @@ function withdrawShape(intent, view) {
 		};
 	}
 	const dD = proportionalDebt(view, WU);
-	assertDebtInBand(view.debt - dD, view.band);
+	assertDebtInBand(view.sdk, view.debt - dD, view.band, view.underlying);
 	return {
 		U,
 		T,
@@ -311,9 +319,9 @@ function withdrawShape(intent, view) {
 */
 function leverageShape(intent, view) {
 	assertLeverageAtLeastOne(intent.targetLeverage);
-	if (view.collateral <= 0n) throw new IntentPreviewError("insufficientSourceBalance", "adjustLeverage: account has no collateral to lever");
+	if (view.collateral <= 0n) throw new IntentPreviewError("insufficientSourceBalance", void 0, "adjustLeverage: account has no collateral to lever");
 	const target = debtForLeverage(view.collateral, intent.targetLeverage);
-	assertDebtInBand(target, view.band);
+	assertDebtInBand(view.sdk, target, view.band, view.underlying);
 	return {
 		U: view.underlying,
 		delta: target - view.debt
@@ -379,20 +387,20 @@ function payout(view, token, amount, to) {
 }
 function positionToken(view, flow) {
 	const pick = view.fattest([view.underlying]);
-	if (!pick) throw new IntentPreviewError("insufficientSourceBalance", `${flow}: no position token on the account`);
+	if (!pick) throw new IntentPreviewError("insufficientSourceBalance", void 0, `${flow}: no position token on the account`);
 	return pick;
 }
 function sourceToken(view) {
 	const pick = view.fattest();
-	if (!pick) throw new IntentPreviewError("insufficientSourceBalance", "withdraw: account has no spendable balance");
+	if (!pick) throw new IntentPreviewError("insufficientSourceBalance", void 0, "withdraw: account has no spendable balance");
 	return pick;
 }
 /** An account whose debt has eaten its collateral has nothing to hand over. */
 function assertHasValue(view) {
-	if (view.collateral <= 0n) throw new IntentPreviewError("insufficientSourceBalance", `withdraw: nothing to withdraw, net value is ${view.collateral}`);
+	if (view.collateral <= 0n) throw new IntentPreviewError("insufficientSourceBalance", void 0, `withdraw: nothing to withdraw, net value is ${view.collateral}`);
 }
 function assertPositive(amount, flow) {
-	if (amount <= 0n) throw new IntentPreviewError("insufficientSourceBalance", `${flow}: amount must be positive`);
+	if (amount <= 0n) throw new IntentPreviewError("insufficientSourceBalance", void 0, `${flow}: amount must be positive`);
 }
 //#endregion
 export { RAISED, planAddCollateral, planAdjustLeverage, planAdjustLeverageDelayed, planDeposit, planFinishClaimOnly, planFinishCloseAccount, planFinishDecreaseLeverage, planFinishWithdraw, planRepay, planWithdraw, planWithdrawAsset, planWithdrawDelayed };

package/dist/esm/onchain/accounts/intents/realize.js

@@ -1,10 +1,10 @@
-import { calcPositionLeverage } from "../../market/math.js";
-import { IntentPreviewError } from "./types.js";
+import { IntentPreviewError } from "../../validation/refusal.js";
+import { toToken, toTokenAmount } from "../../validation/token.js";
 import { eq, toTargetDecimals } from "./utils/common.js";
-import { convertAmount } from "./utils/convert-amount.js";
 import { isRedemptionPhantomToken } from "./utils/pick-token.js";
 import { assertCanBorrow, assertCollateralised, assertGrowthAllowed, assertQuotaHeadroom } from "./guards.js";
 import { OperationLedger } from "./utils/ledger.js";
+import { collectPriceImpact } from "./utils/price-impact.js";
 import { clearedQuotas, getQuotasForUpdate, quotasAfterUpdate } from "./utils/quotas-for-update.js";
 import { createRouterPaths } from "./utils/router-path.js";
 import { buildAddCollateralOperation, buildClaimDelayedWithdrawalOperation, buildCloseSwapOperation, buildDecreaseDebtOperation, buildIncreaseDebtOperation, buildQuotaUpdateOperation, buildStartDelayedWithdrawalOperation, buildSwapOperation, buildUnwrapRwaCollateralOperation, buildWithdrawCollateralOperation, buildWrapRwaCollateralOperation, instantOutput } from "./operations.js";
@@ -23,25 +23,47 @@ async function realize(steps, props) {
 	const { creditAccount, sdk, slippage, quotaReserve } = props;
 	const { underlying } = creditAccount;
 	const rwaAsset = sdk.tokensMeta.rwaUnderlyings.get(underlying)?.asset;
-	const price = convertAmount(sdk, creditAccount.creditManager);
 	const paths = props.paths ?? createRouterPaths({
 		sdk,
 		creditAccount,
 		slippage
 	});
 	const market = sdk.marketRegister.findByCreditManager(creditAccount.creditManager);
+	const price = (from, to, amount) => market.priceOracle.safeConvert(from, to, amount) ?? 0n;
 	const suite = sdk.marketRegister.findCreditManager(creditAccount.creditManager);
-	const ledger = new OperationLedger({
+	const start = {
 		initialAssets: creditAccount.tokens,
 		underlying,
-		debt: creditAccount.accountDebt,
+		debt: creditAccount.totalDebt,
 		convert: price
-	});
+	};
+	/**
+	* The floor: every routed leg counted at the amount it guarantees. This is
+	* what the calls are built from — a repayment may only spend underlying the
+	* route promises to have raised — and what the guards are answered on, since
+	* a floor that does not clear the facade's bar is a transaction that can
+	* revert.
+	*/
+	const ledger = new OperationLedger(start);
+	/**
+	* The same walk with every routed leg counted at the amount the pathfinder
+	* expects to return. Nothing is built from it: it is where the position
+	* actually lands, so it is what the reported state is read off.
+	*/
+	const expected = new OperationLedger(start);
 	const operations = [];
-	const push = (op) => {
+	/**
+	* @param asExpected - The operation as the expected branch sees it, for the
+	* legs where the two differ. Defaults to the operation itself, which is the
+	* case for everything whose amount the calldata fixes.
+	*/
+	const push = (op, asExpected = op) => {
 		operations.push(op);
 		ledger.apply(op);
+		expected.apply(asExpected);
 	};
+	/** One per routed leg, each already awaiting its quote; folded after the guards. */
+	const probes = [];
 	/** Output of the last convert or claim, for `RAISED` amounts. */
 	let raised = 0n;
 	/** The request, before the walk's end state can be attached to it. */
@@ -59,7 +81,10 @@ async function realize(steps, props) {
 	const amountOf = (a) => typeof a === "bigint" ? a : min(raised, a.max ?? raised);
 	const assertHolds = (token, amount, what) => {
 		const held = ledger.balanceOf(token);
-		if (amount <= 0n || held < amount) throw new IntentPreviewError("insufficientSourceBalance", `${what}: needs ${amount} of ${token}, account holds ${held}`);
+		if (amount <= 0n || held < amount) throw new IntentPreviewError("insufficientSourceBalance", {
+			required: toTokenAmount(sdk, token, amount),
+			held: toTokenAmount(sdk, token, held)
+		}, `${what}: needs ${amount} of ${token}, account holds ${held}`);
 	};
 	for (const step of steps) switch (step.kind) {
 		case "add":
@@ -72,7 +97,7 @@ async function realize(steps, props) {
 			}));
 			break;
 		case "borrow":
-			assertCanBorrow(suite, step.amount);
+			assertCanBorrow(sdk, suite, step.amount);
 			push(buildIncreaseDebtOperation({
 				amount: step.amount,
 				creditAccount,
@@ -130,28 +155,44 @@ async function realize(steps, props) {
 				amount,
 				keep: held - amount
 			});
-			push(buildSwapOperation({
+			if (leg.probe) probes.push(leg.probe);
+			const swap = buildSwapOperation({
 				tokenIn: step.from,
 				amountIn: amount,
 				tokenOut: step.to,
 				amountOut: leg.minAmount,
 				calls: leg.calls
-			}));
+			});
+			push(swap, {
+				...swap,
+				amountOut: leg.amount
+			});
 			raised = leg.minAmount;
 			break;
 		}
 		case "closeAll": {
 			const balances = ledger.snapshot().assets.filter((a) => !eq(a.token, underlying) && a.balance > DUST);
 			const pending = balances.find((a) => isRedemptionPhantomToken(sdk, a.token));
-			if (pending) throw new IntentPreviewError("withdrawalInProgress", `closeAll: ${pending.token} is a pending withdrawal, claim it first`);
+			if (pending) throw new IntentPreviewError("withdrawalInProgress", { inFlight: toTokenAmount(sdk, pending.token, pending.balance) }, `closeAll: ${pending.token} is a pending withdrawal, claim it first`);
 			if (balances.length > 0) {
 				const leg = await paths.closeAll({ balances });
-				if (leg.calls.length > 0 || leg.minAmount > 0n) push(buildCloseSwapOperation({
-					from: balances,
-					tokenOut: underlying,
-					amountOut: leg.minAmount,
-					calls: leg.calls
-				}));
+				if (leg.probe) probes.push(leg.probe);
+				if (leg.calls.length > 0 || leg.minAmount > 0n) {
+					const sale = buildCloseSwapOperation({
+						from: balances,
+						tokenOut: underlying,
+						amountOut: leg.minAmount,
+						calls: leg.calls
+					});
+					push(sale, {
+						...sale,
+						from: balances.map((a) => ({
+							token: a.token,
+							balance: expected.balanceOf(a.token)
+						})),
+						amountOut: leg.amount
+					});
+				}
 			}
 			raised = ledger.balanceOf(underlying);
 			break;
@@ -171,7 +212,7 @@ async function realize(steps, props) {
 		}
 		case "request": {
 			const asset = await delayedConfig(sdk, creditAccount, step.token);
-			if (ledger.balanceOf(asset.withdrawalPhantomToken) > 0n) throw new IntentPreviewError("withdrawalInProgress", `request: ${asset.withdrawalPhantomToken} already holds a pending withdrawal`);
+			if (ledger.balanceOf(asset.withdrawalPhantomToken) > 0n) throw new IntentPreviewError("withdrawalInProgress", { inFlight: toTokenAmount(sdk, asset.withdrawalPhantomToken, ledger.balanceOf(asset.withdrawalPhantomToken)) }, `request: ${asset.withdrawalPhantomToken} already holds a pending withdrawal`);
 			assertHolds(step.token, step.amount + step.reserve, "request");
 			const preview = await sdk.accounts.previewDelayedWithdrawal({
 				creditAccount: creditAccount.creditAccount,
@@ -217,24 +258,32 @@ async function realize(steps, props) {
 				creditAccount,
 				sdk
 			}));
-			for (const { token, balance } of ledger.snapshot().assets) push(buildWithdrawCollateralOperation({
-				token,
-				amount: balance,
-				to: step.to,
-				all: true,
-				creditAccount,
-				sdk
-			}));
+			for (const { token, balance } of ledger.snapshot().assets) {
+				const payout = buildWithdrawCollateralOperation({
+					token,
+					amount: balance,
+					to: step.to,
+					all: true,
+					creditAccount,
+					sdk
+				});
+				push(payout, {
+					...payout,
+					amount: expected.balanceOf(token)
+				});
+			}
 			break;
 		}
 	}
-	const { assets, totalValue, debt } = ledger.snapshot();
+	const floor = ledger.snapshot();
+	const { assets, debt } = floor;
+	const projected = expected.snapshot();
 	assertGrowthAllowed({
 		sdk,
 		suite,
 		market,
 		before: creditAccount.tokens,
-		after: assets
+		after: projected.assets
 	});
 	const quotas = cleared ?? getQuotasForUpdate({
 		assetsBefore: creditAccount.tokens,
@@ -248,7 +297,7 @@ async function realize(steps, props) {
 		convert: price
 	});
 	if (!cleared && quotas.quotaIncrease.length + quotas.quotaDecrease.length > 0) {
-		assertQuotaHeadroom(market, quotas.quotaIncrease);
+		assertQuotaHeadroom(sdk, market, quotas.quotaIncrease);
 		push(buildQuotaUpdateOperation({
 			update: quotas,
 			creditAccount,
@@ -256,28 +305,29 @@ async function realize(steps, props) {
 		}));
 	}
 	const quotasAfter = quotasAfterUpdate(creditAccount.tokens, quotas.desiredQuota);
+	const quoted = Object.values(quotasAfter);
 	const snapshot = {
 		creditManager: creditAccount.creditManager,
-		assets,
-		quotas: Object.values(quotasAfter),
+		assets: projected.assets,
+		quotas: quoted,
 		totalDebt: debt,
-		totalValue
-	};
-	const projectedPool = { availableLiquidityChange: creditAccount.accountDebt - debt };
-	const metrics = {
-		healthFactor: sdk.positions.healthFactor(snapshot),
-		borrowRate: sdk.positions.borrowRate(snapshot, projectedPool),
-		timeToLiquidation: sdk.positions.timeToLiquidation(snapshot, projectedPool),
-		liquidationPrice: sdk.positions.liquidationPrice(snapshot)
+		totalValue: projected.totalValue
 	};
-	assertCollateralised(paysOut ? sdk.positions.healthFactor(snapshot, { safePrices: true }) : metrics.healthFactor);
+	const projection = sdk.positions.projection(snapshot, { availableLiquidityChange: creditAccount.totalDebt - debt });
+	assertCollateralised(sdk.positions.healthFactor({
+		...snapshot,
+		assets,
+		totalValue: floor.totalValue
+	}, { safePrices: paysOut }), paysOut);
+	const priceImpact = await collectPriceImpact(probes, {
+		totalValue: projected.totalValue,
+		netValue: projected.totalValue - debt,
+		toUnderlying: (from, amount) => price(from, underlying, amount)
+	});
 	const state = {
-		totalValue,
-		accountDebt: debt,
-		leverage: calcPositionLeverage(totalValue, debt),
-		assets: assets.map((a) => market.priceOracle.toTokenAmount(a.token, a.balance)),
-		quotas: quotasAfter,
-		...metrics
+		...projection,
+		priceImpact,
+		currentPrice: sdk.positions.currentPrice(snapshot)
 	};
 	return {
 		operations,
@@ -297,10 +347,13 @@ async function realize(steps, props) {
 */
 async function delayedConfig(sdk, creditAccount, token) {
 	const compressor = sdk.withdrawalCompressor;
-	if (!compressor) throw new IntentPreviewError("noDelayedRoute", "request: chain has no withdrawal compressor");
+	if (!compressor) throw new IntentPreviewError("noDelayedRoute", { token: toToken(sdk, token) }, "request: chain has no withdrawal compressor");
 	const assets = await compressor.findWithdrawableAssets(creditAccount.creditManager, token);
-	if (assets.length === 0) throw new IntentPreviewError("noDelayedRoute", `request: ${token} has no delayed withdrawal config`);
-	if (assets.length > 1) throw new IntentPreviewError("multipleDelayedWithdrawals", `request: ${token} has ${assets.length} delayed withdrawal configs`);
+	if (assets.length === 0) throw new IntentPreviewError("noDelayedRoute", { token: toToken(sdk, token) }, `request: ${token} has no delayed withdrawal config`);
+	if (assets.length > 1) throw new IntentPreviewError("multipleDelayedWithdrawals", {
+		token: toToken(sdk, token),
+		venues: assets.length
+	}, `request: ${token} has ${assets.length} delayed withdrawal configs`);
 	return assets[0];
 }
 const callsOf = (operations) => operations.flatMap((op) => op.calls);

package/dist/esm/onchain/accounts/intents/tail.js

@@ -1,4 +1,6 @@
-import { IntentPreviewError } from "./types.js";
+import { IntentPreviewError } from "../../validation/refusal.js";
+import { toTokenAmount } from "../../validation/token.js";
+import { toTargetDecimals } from "./utils/common.js";
 import { createOraclePaths } from "./utils/router-path.js";
 import { planFinishClaimOnly, planFinishCloseAccount, planFinishDecreaseLeverage, planFinishWithdraw } from "./plan.js";
 import { instantOutput } from "./operations.js";
@@ -12,25 +14,130 @@ import { accountView } from "./view.js";
 * Shared by the two callers that need it and must not disagree — the tail as
 * it is previewed days later against the account that really exists, and the
 * tail as it is projected the moment the request is made.
+*
+* A claim that brought only part of what was queued is served in proportion,
+* see {@link partialTail}: the intent's payout and its repayment are cut to the
+* share that arrived, and the rest of both is handed to the next claim.
 */
 function planTail(args) {
 	const { intent, claimable, view } = args;
 	const claimed = () => {
 		const output = instantOutput(claimable.outputs);
-		if (!output) throw new IntentPreviewError("insufficientSourceBalance", "finishIntent: the claim credits nothing to spend");
+		if (!output) throw new IntentPreviewError("insufficientSourceBalance", void 0, "finishIntent: the claim credits nothing to spend");
 		return output;
 	};
+	const queued = claimable.outputs.find((o) => o.isDelayed && o.amount > 0n);
+	if (queued) return partialTail({
+		intent,
+		claimable,
+		queued,
+		view
+	});
 	switch (intent.type) {
-		case "WITHDRAW_COLLATERAL": return planFinishWithdraw(intent, claimable, claimed(), view);
-		case "DECREASE_LEVERAGE": return planFinishDecreaseLeverage(claimable, claimed(), view);
-		case "CLOSE_ACCOUNT": return planFinishCloseAccount(intent, claimable, claimed(), view);
+		case "WITHDRAW_COLLATERAL": return whole(planFinishWithdraw(intent, claimable, claimed(), view));
+		case "DECREASE_LEVERAGE": return whole(planFinishDecreaseLeverage(claimable, claimed(), view));
+		case "CLOSE_ACCOUNT": return whole(planFinishCloseAccount(intent, claimable, claimed(), view));
 		case "ADD_COLLATERAL":
 		case "INCREASE_LEVERAGE":
 		case "DEPOSIT":
-		case "DEPOSIT_AND_INCREASE_LEVERAGE": return planFinishClaimOnly(claimable);
+		case "DEPOSIT_AND_INCREASE_LEVERAGE": return whole(planFinishClaimOnly(claimable));
 		default: throw new Error(`${intent.type} - not implemented`);
 	}
 }
+const whole = (steps) => ({
+	steps,
+	remainder: void 0
+});
+/**
+* The tail of a claim that settled only part of the withdrawal it matured.
+*
+* Only a legacy Mellow multivault answers one this way — it pays out what its
+* subvaults hold liquid and queues the rest — and the engine cannot finish an
+* intent it has been given a fraction of the funds for. So the fraction is what
+* it serves: the payout and the repayment are cut in the proportion that
+* arrived, which keeps the withdrawal at the fixed leverage it was asked for
+* instead of paying the wallet out first and deleveraging a claim later, and
+* the untouched half of each is carried to the next claim by the remainder.
+*
+* Two intents cannot be served in part at all. An exit sells the account whole,
+* and it cannot while a withdrawal is in flight — the phantom is neither
+* sellable nor transferable — so a partial claim only repays what it brought
+* and the account is emptied by the claim that brings the last of it. A claim
+* that credited nothing at all leaves nothing to spend, so it is taken alone:
+* it is still worth sending, since it is what moves the queue.
+*/
+function partialTail(args) {
+	const { intent, claimable, queued, view } = args;
+	const inFlight = toTokenAmount(view.sdk, queued.token, queued.amount);
+	const claimed = instantOutput(claimable.outputs);
+	if (!claimed) return {
+		steps: planFinishClaimOnly(claimable),
+		remainder: {
+			inFlight,
+			intent
+		}
+	};
+	switch (intent.type) {
+		case "WITHDRAW_COLLATERAL": {
+			const served = arrivedShare(claimed, queued, view.sdk);
+			const withdrawAmount = part(intent.withdrawAmount, served);
+			const debtRepaid = part(intent.debtRepaid, served);
+			return {
+				steps: planFinishWithdraw({
+					...intent,
+					withdrawAmount,
+					debtRepaid
+				}, claimable, claimed, view),
+				remainder: {
+					inFlight,
+					intent: {
+						...intent,
+						withdrawAmount: intent.withdrawAmount - withdrawAmount,
+						debtRepaid: intent.debtRepaid - debtRepaid
+					}
+				}
+			};
+		}
+		case "DECREASE_LEVERAGE":
+		case "CLOSE_ACCOUNT": return {
+			steps: planFinishDecreaseLeverage(claimable, claimed, view),
+			remainder: {
+				inFlight,
+				intent
+			}
+		};
+		case "ADD_COLLATERAL":
+		case "INCREASE_LEVERAGE":
+		case "DEPOSIT":
+		case "DEPOSIT_AND_INCREASE_LEVERAGE": return {
+			steps: planFinishClaimOnly(claimable),
+			remainder: {
+				inFlight,
+				intent
+			}
+		};
+		default: throw new Error(`${intent.type} - not implemented`);
+	}
+}
+/**
+* How much of the redemption this claim was: what it credited, over that plus
+* what it left queued.
+*
+* The phantom stands for its payout one for one — the same reading the request
+* side takes when it names the claim it expects — so only the decimals of the
+* two have to be reconciled before they can be added up.
+*/
+function arrivedShare(claimed, queued, sdk) {
+	const rest = toTargetDecimals(queued.amount, queued.token, claimed.token, sdk);
+	return {
+		got: claimed.amount,
+		of: claimed.amount + rest
+	};
+}
+/** A share of an amount, rounded down: a tail never promises more than it has. */
+function part(amount, share) {
+	return share.of > 0n ? amount * share.got / share.of : 0n;
+}
 /**
 * Where a delayed intent ends up, worked out at the moment it is started.
 *
@@ -53,9 +160,9 @@ async function projectTail(args) {
 	const { request, delayed, creditAccount, sdk, quotaReserve } = args;
 	const { claim } = delayed;
 	const queued = request.outputs.find((o) => o.isDelayed);
-	if (!queued || !claim) throw new Error("projectTail: the request queued nothing to claim");
+	if (!queued || !claim) throw new IntentPreviewError("noRecordedIntent", void 0, "projectTail: the request queued nothing to claim");
 	const next = sliceAfter(creditAccount, delayed.afterRequest);
-	const steps = planTail({
+	const { steps } = planTail({
 		intent: delayed.record,
 		claimable: projectedClaimable(request, queued.token, queued.amount, claim),
 		view: accountView(next, sdk)
@@ -102,15 +209,16 @@ function projectedClaimable(request, phantom, phantomAmount, claim) {
 */
 function sliceAfter(creditAccount, after) {
 	const masks = new Map(creditAccount.tokens.map((t) => [t.token.toLowerCase(), t.mask]));
+	const quotas = new Map(after.quotas.map((q) => [q.token.address.toLowerCase(), q.value]));
 	return {
 		...creditAccount,
-		accountDebt: after.accountDebt,
+		totalDebt: after.totalDebt.value,
 		tokens: after.assets.map((a) => {
 			const token = a.token.address.toLowerCase();
 			return {
 				token,
 				balance: a.value,
-				quota: after.quotas[token]?.balance ?? 0n,
+				quota: quotas.get(token) ?? 0n,
 				mask: masks.get(token) ?? 0n,
 				success: true
 			};

package/dist/esm/onchain/accounts/intents/testing/market.js

@@ -95,6 +95,8 @@ function buildMarketSdk(extras) {
 		creditManager: CREDIT_MANAGER,
 		creditFacade: CREDIT_FACADE,
 		underlying: UND,
+		routeQuote: extras?.routeQuote,
+		routeFloor: extras?.routeFloor,
 		rwaAssets: extras?.rwaAssets,
 		phantoms: extras?.phantoms,
 		creditAccounts: extras?.creditAccounts,
@@ -141,7 +143,7 @@ function buildFixtureCreditAccount(args) {
 		underlying: UND,
 		enabledTokensMask: 0n,
 		totalDebtUSD: 0n,
-		accountDebt: args.accountDebt,
+		totalDebt: args.totalDebt,
 		tokens: args.tokens
 	};
 }