fix(core): include withdrawals in txSummary spent coins

Withdrawals are a type of "own input", which must
be accounted for when computing the wallet
spent amount

packages/core/src/util/transactionSummaryInspector.ts

@@ -201,14 +201,19 @@ export const transactionSummaryInspector: TransactionSummaryInspector =
 
     const collateral = await getCollateral(tx, inputResolver, addresses);
 
+    const withdrawals = implicit.withdrawals || 0n;
     const totalOutputValue = await totalAddressOutputsValueInspector(addresses)(tx);
     const totalInputValue = await totalAddressInputsValueInspector(addresses, inputResolver)(tx);
-    const implicitCoin = (implicit.withdrawals || 0n) + (implicit.reclaimDeposit || 0n) - (implicit.deposit || 0n);
+    const implicitCoin = withdrawals + (implicit.reclaimDeposit || 0n) - (implicit.deposit || 0n);
     const implicitAssets = await getImplicitAssets(tx);
 
     const diff = {
       assets: subtractTokenMaps([totalOutputValue.assets, totalInputValue.assets]),
-      coins: totalOutputValue.coins - totalInputValue.coins
+      // Withdrawals are a type of "own input", which must be accounted for when computing the wallet spent amount.
+      // `coins` represents the actual spent coins from the wallets perspective, using the formula `ownOutputs - ownInputs`.
+      // deposit is like a foreign output, and reclaimDeposit is like a foreignInput,
+      // so they do not need to be included in the computation.
+      coins: totalOutputValue.coins - (totalInputValue.coins + withdrawals)
     };
 
     return {

packages/core/test/util/transactionSummaryInspector.test.ts

@@ -271,8 +271,15 @@ describe('Transaction Summary Inspector', () => {
             ]),
             coins: 6_000_000n
           }
+        },
+        {
+          address: addresses[0],
+          value: {
+            coins: 3_000_000n
+          }
         }
-      ]
+      ],
+      withdrawals: [{ quantity: 3_000_000n, stakeAddress: rewardAccounts[0] }]
     });
 
     const histTx: Cardano.HydratedTx[] = [