Context & Objective: The foundational principle in Islamic contract law is the binding nature of agreements (aṣālat al-luzūm), wherein parties must adhere to their stipulations and any dissolution of the contract requires explicit justification. While mutual agreement can dissolve a contract through negotiated cancellation, unilateral rescission demands a definitive legal basis established by the lawgiver. These justifications are discussed in Islamic jurisprudence under the framework of khiyārāt (rights of rescission). A rescission right may originate directly from a contractual stipulation, as seen in khiyār-e sharṭ (option of condition), or it may be grounded in explicit jurisprudential evidence, such as khiyār-e majlis (option of the meeting) and khiyār-e ḥaywān (option of the animal). However, for the majority of other rescission categories—including the options of delay, inspection, defect, lesion, unfulfilled parts, and impossibility of delivery—the underlying evidence derived from foundational texts, consensus, and the conduct of rational actors remains a subject of ongoing dispute among jurists. The objective of this research is to determine whether these diverse categories of rescission can be systematically traced back to a unified contractual origin. Specifically, the central question addresses whether the remaining types of rescission rights operate fundamentally as implied conditions integrated into the fabric of the contract itself, functioning similarly to explicit contractual options.
Method & Approach: The investigation employs the method of qualitative induction by comprehensively examining and synthesizing the established statements, rulings, and independent reasoning of Islamic jurists. By systematically tracking the application of rescission rights across different contractual disputes within jurisprudential texts, the analysis abstracts the underlying rationales utilized by jurists to justify contract dissolution.
Findings: The inductive analysis reveals that the foundation of almost all rescission rights can be accurately classified as contractual, specifically operating through the mechanism of sharṭ-e ḍimnī (the customary implied condition). An implied condition represents the customary and consequential implication of the contract's terminology, reflecting the mutual, unstated intent of the transacting parties. Juristically, it holds the same binding authority as an explicit stipulation. This implied condition manifests in various forms depending on the transaction's context, and a breach of any specific manifestation generates a distinct legal category for contract dissolution. For instance, the absolute nature of a contract dictates an implied mutual intent for the simultaneous delivery of goods and consideration; a violation of this customary expectation triggers khiyār-e taʾkhīr (option of delay). When goods are traded based on a specific description, the parties operate under the implied condition that the described attributes exist, and discovering the contrary activates khiyār-e ruʾyat (option of inspection). Furthermore, the customary assumption of financial equivalence between the exchanged values acts as an implicit contractual clause, and any severe disparity results in khiyār-e ghabn (option of lesion). The mutual reliance on the structural integrity of the exchanged items implies a guarantee against hidden flaws, establishing khiyār-e ʿeyb (option of defect). Transactions involving multiple components carry an implied condition of indivisibility, granting the buyer khiyār-e tabaʿʿuḍ-e ṣafqah (option of unfulfilled parts) if a portion of the transaction is invalidated. Finally, the capacity to execute the exchange is inherently implied, meaning that an inability to deliver consideration due to insolvency yields khiyār-e taflīs (option of bankruptcy), while other systemic failures trigger khiyār-e taʿadhdhur-e taslīm (option of impossibility of delivery).
Conclusion: The binding principle of contracts dictates that any departure from a finalized agreement requires rigorous substantiation. This substantiation manifests in three primary forms: explicit jurisprudential mandates, explicit contractual stipulations, and customary implied conditions. While explicit stipulations are governed by the principle of contractual freedom and the secondary rule of lā ḍarar (prohibition of harm), relying solely on the prohibition of harm to justify the broader spectrum of rescission rights is doctrinally problematic, as the harm often stems from the transaction itself rather than the binding nature of the contract. Recognizing the customary implied condition as the singular, unifying basis for the majority of rescission rights resolves this jurisprudential friction. Because an implied condition fundamentally qualifies the initial contractual commitment, a breach means the foundational obligation to fulfill the contract no longer applies in absolute terms. Consequently, standard rescission rights do not require exceptional jurisprudential exemptions or secondary rules of harm avoidance; rather, they are the direct legal consequence of violating the unwritten, customary stipulations that structurally define the mutual agreement of the parties.