proceeds property
NET quote credited to the account: gross + inventoryImpactRebate −
trading − builder − penalty — the same expression the chain asserts
min_proceeds against, and what settle_live_redeem_payment actually
deposits.
Implementation
final double proceeds;