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.
One compiler, many instruments
musharakah_mutanaqisah, mudarabah, ijarah_imbt and more lower from one rule-base to
Solidity plus a portable invariant manifest.
Proven in the open
Generated contracts run live on the Hedera testnet — 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 five C’sBeyond the bilateral contract: five doctrines, five layers.
The epistemic boundaryWhat a compiler may and may not claim.