Riba won't compile
Feed in a loan disguised as a partnership and the compiler declines to produce it, naming the principle it offends, with a citation. The forbidden contract is not warned about. It is unbuildable.
Deducible
Halal as a property you can check, not a promise you must trust. A compiler in which riba won't compile.
Most Islamic finance asks you to trust that a contract is sound. A board read it, a certificate says so. Deducible is something stranger: a way of writing these contracts in which the forbidden ones refuse to exist. Riba is not flagged after the fact. It fails to compile.
The whole economy, one compiler
Around twenty-seven contract classes across every family of muʿāmalāt, from sale and partnership to capital markets, the social economy, and zakat, all lowering from one rule-base to Solidity plus a portable invariant manifest. See the instrument catalogue.
Proven in the open
Generated contracts run live on the Hedera testnet, with risk-sharing and zakat enforced in money on a public ledger anyone can inspect.
A check, never a fatwa
The engine proves consistency with rules a human scholar authored and cited. It issues no ruling of its own.
Where to go next
Section titled “Where to go next”What is Deducible?The idea, and the gap it closes.
Getting startedWrite your first .fiqh spec and compile it.
The instrument catalogueEvery contract class, family by family.
The five C’sBeyond the bilateral contract: five doctrines, five layers.
The epistemic boundaryWhat a compiler may and may not claim.