Definition
Khiyar al-shart (خيار الشرط) is the classical fiqh term for a conditional option clause in a contract — a right one party retains to cancel the trade within a defined period. Classical fiqh allows khiyar al-shart in commodity sales under specific conditions (typically up to three days' inspection right). However, in monetary exchange transactions (bai' al-sarf), classical sarf guidance explicitly excludes khiyar al-shart as one of the four conditions of valid sarf.
The reason is structural. Sarf requires immediate, complete, mutual transfer of possession (taqabudh). A conditional option clause allows one party to walk away after settlement — which contradicts the very point of the immediate-transfer requirement.
Why this excludes options contracts
A modern options contract — call or put — is the right but not the obligation to complete the exchange. The buyer of an option holds explicit khiyar al-shart: they can choose to exercise (complete the trade) or let the option expire (walk away). Where the underlying is a monetary or quasi-monetary asset (currency, crypto), the contract falls under the sarf framework, and khiyar al-shart is structurally excluded.
This is independent of the option's expiry, strike, or underlying. The structural defect is the right-to-walk-away clause itself. A 1-day option fails for the same reason a 1-year option fails.
Combined with the gharar problem (option pricing depends on volatility models the retail trader cannot fully audit) and the typical riba layer in option premium financing, options contracts fail at least three independent Shariah tests.
Why HalalCrypto does not trade options
The Shariah analysis combined with the operational reality means options are not even integrated into our infrastructure. The bot has no options API connection on any of the four supported exchanges. This is structural enforcement: a customer could not enable option trading even if they wanted to, because the integration does not exist.
For the comprehensive analysis of why every derivative type fails Shariah screening, see why we don't trade derivatives, futures, or margin.
Operational control
Khiyar al-shart is also a useful audit lens for product workflows. If a trading product can quietly route a customer into options, structured notes, or any contract where the payoff depends on an exercisable right rather than completed ownership, the product is not launch-ready for a strict spot-only halal mandate. The safest implementation is exclusion by architecture: no options endpoints, no derivative permission scopes, no checkout copy that implies optional upside without asset ownership, and no onboarding step that asks customers to enable instruments outside the spot wallet.