Per the lot's locked formula: surrender (ftrs_per_unit × product units) FTRs + pay (prefixed_price × product units) cash. The customer covers the cash top-up; funds never subsidise. Surrendered FTRs are burned on confirmation.