Place a queued early sell of close_quantity of an Open record's position.
record_id is the record's queue ID, not the position's order ID. The source
record must belong to this account (ENotRecordOwner) and be Open
(ERecordNotOpen, also for a missing ID). It is marked Closed and its receipt
and whole position move into the new record until the sell fills or refunds.
min_probability and min_proceeds are the close-side floors at τ. Returns the
new record ID.
Escrows only the order fee, so a balance equal to it is enough. Refuses a sell
below min_sell_quantity or one leaving a remainder below it (EBelowMinSell),
and otherwise like enqueue_exact_quantity. Predict's admit_sell is open
during the trading pause and a market mint pause and has no spare-cash check:
the keeper funds the market before τ, and resolve refunds a sell the market
still cannot cover.
Place a queued early sell of
close_quantityof an Open record's position.record_idis the record's queue ID, not the position's order ID. The source record must belong to this account (ENotRecordOwner) and be Open (ERecordNotOpen, also for a missing ID). It is marked Closed and its receipt and whole position move into the new record until the sell fills or refunds.min_probabilityandmin_proceedsare the close-side floors at τ. Returns the new record ID.Escrows only the order fee, so a balance equal to it is enough. Refuses a sell below
min_sell_quantityor one leaving a remainder below it (EBelowMinSell), and otherwise likeenqueue_exact_quantity. Predict'sadmit_sellis open during the trading pause and a market mint pause and has no spare-cash check: the keeper funds the market before τ, and resolve refunds a sell the market still cannot cover.