Understanding and Mitigating a OP_CTV Footgun: The Unsatisfiable UTXO

The small-amount UTXOs you spammed are frozen, but my other large-amount funds remain spendable with the OP_CTV script, so at least this is not an attack vector. The problem being raised is largely operator error / floating-point-roundoff (pro tip: never use floating-point for money; it’s a display format, use a u64 in satoshis or millisatoshis for calculation instead. Even modern JavaScript has BigInt these days).