@koralabs/kora-labs-common 6.16.0 → 6.18.0

package/txBuild/scriptTx.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.addVkeyWitnesses = exports.selectWalletInputs = exports.finalizeScriptTx = exports.certificateDeposit = exports.computeScriptDataHash = exports.withMinAda = void 0;
+exports.addVkeyWitnesses = exports.finalizeWalletFundedTx = exports.selectWalletInputs = exports.finalizeScriptTx = exports.InsufficientInputsError = exports.certificateDeposit = exports.computeScriptDataHash = exports.withMinAda = void 0;
 // Deterministic Plutus transaction finalizer on @cardano-sdk/core (no input selection, no Helios).
 //
 // The caller fixes every input; this module derives redeemer pointers from the ledger's canonical
@@ -87,6 +87,15 @@ const sumValues = (values) => {
     }
     return { coins, assets };
 };
+/** The inputs cannot pay the outputs + fee (+ a min-UTxO change output); `shortfall` more lovelace would. */
+class InsufficientInputsError extends Error {
+    constructor(message, shortfall) {
+        super(message);
+        this.shortfall = shortfall;
+        this.name = 'InsufficientInputsError';
+    }
+}
+exports.InsufficientInputsError = InsufficientInputsError;
 const finalizeScriptTx = async (plan, params, evaluate) => {
     var _a, _b, _c;
     const inputs = [...plan.inputs].sort((a, b) => byTxIn(a.utxo[0], b.utxo[0]));
@@ -112,7 +121,7 @@ const finalizeScriptTx = async (plan, params, evaluate) => {
         var _a, _b, _c;
         const coins = inValue.coins + withdrawn - deposited - produced.coins - fee;
         if (coins < BigInt(0))
-            throw new Error(`Inputs do not cover outputs + fee: ${-coins} lovelace short`);
+            throw new InsufficientInputsError(`Inputs do not cover outputs + fee: ${-coins} lovelace short`, -coins);
         const assets = new Map();
         const ids = new Set([...inValue.assets.keys(), ...tokenMap.keys(), ...produced.assets.keys()]);
         for (const id of ids) {
@@ -192,8 +201,9 @@ const finalizeScriptTx = async (plan, params, evaluate) => {
             throw new Error('Execution units did not converge');
     }
     const { tx, change, redeemers } = assemble(fee, exUnits, new Map());
-    if (change.value.coins < (0, fees_1.minAdaForOutputSize)(params.coinsPerUtxoByte, outputSize(change))) {
-        throw new Error(`Inputs do not cover outputs + fee: change of ${change.value.coins} lovelace is below min-UTxO`);
+    const changeMinAda = (0, fees_1.minAdaForOutputSize)(params.coinsPerUtxoByte, outputSize(change));
+    if (change.value.coins < changeMinAda) {
+        throw new InsufficientInputsError(`Inputs do not cover outputs + fee: change of ${change.value.coins} lovelace is below min-UTxO`, changeMinAda - change.value.coins);
     }
     const signedSize = sizeOf(fee, exUnits);
     if (signedSize > params.maxTxSize)
@@ -231,6 +241,35 @@ const selectWalletInputs = (utxos, lovelace, exclude = new Set()) => {
     return selected;
 };
 exports.selectWalletInputs = selectWalletInputs;
+const coinsOf = (utxos) => utxos.reduce((sum, [, out]) => sum + out.value.coins, BigInt(0));
+/**
+ * Coin selection + finalization in one: walks the `selectWalletInputs` order (ADA-only first, largest
+ * first) one UTxO at a time and returns the first selection `finalizeScriptTx` can balance: inputs
+ * covering outputs + fee with a min-UTxO change output. Pure: no chain reads, so chained (unconfirmed)
+ * wallet UTxOs are spendable. Throws `InsufficientInputsError` (shortfall vs. the whole wallet) when
+ * no selection works.
+ */
+const finalizeWalletFundedTx = async ({ walletUtxos, signerCount, inputs = [], ...plan }, params, evaluate) => {
+    const available = coinsOf(walletUtxos);
+    let required = plan.outputs.reduce((sum, o) => sum + o.value.coins, BigInt(0));
+    // Each selection is the previous one plus the next UTxO in order (+1 lovelace past its total).
+    for (let lovelace = BigInt(1); lovelace <= available;) {
+        const walletInputs = (0, exports.selectWalletInputs)(walletUtxos, lovelace);
+        const selected = coinsOf(walletInputs);
+        try {
+            const tx = await (0, exports.finalizeScriptTx)({ ...plan, inputs: [...inputs, ...walletInputs.map((utxo) => ({ utxo }))], signerCount: signerCount(walletInputs) }, params, evaluate);
+            return { ...tx, walletInputs };
+        }
+        catch (error) {
+            if (!(error instanceof InsufficientInputsError))
+                throw error;
+            required = selected + error.shortfall;
+            lovelace = selected + BigInt(1);
+        }
+    }
+    throw new InsufficientInputsError(`Wallet holds ${available} spendable lovelace; about ${required} needed`, required - available);
+};
+exports.finalizeWalletFundedTx = finalizeWalletFundedTx;
 /**
  * Add vkey witnesses to an unsigned tx by splicing them into its witness set byte-for-byte
  * (`mergeWitnessSet`): the body (so the tx id and every signature) and the redeemer bytes the