proceeds property

double proceeds
final

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;