keel is open source: an auditable Shariah-compliance engine for spot crypto — with its honest non-result stated up front

[eaitbrahim]

keel is an open-source Shariah-compliance engine for spot crypto trading — not a trading bot with a halal coat of paint, but the compliance machinery: allowlist admission where Shariah classifications are attested with a source and never inferred from market data, a fails-closed screen, eighteen un-overridable safety rails including §65.4 qabd (constructive possession) encoded as an executable check, and an audit trail of who attested what. It trades Coinbase Advanced Trade, USD-settled spot — the only live venue; a Robinhood adapter exists behind the broker port but is deliberately unwired (the venue's market orders cannot express keel's quote-sized entries — issue #198). There is an Arabic entry point (README.ar.md) and a fiqh basis document with every ruling's source: docs/fiqh-basis.md.

The honest measured result, stated up front: no shipped rule family is net-positive at the taker fee actually paid on Coinbase (~1.2% per leg) — 0 of 90 and 0 of 82 parameter combinations under production-faithful execution across the Coinbase-listed universe (the experiment record). As of v0.9.0 the backtester even prices per-product slippage scaled from each asset's real liquidity (5–50bp) so thin books can no longer print flattered numbers. The project's point is the enforcement machinery and the honest measurement, not a claim of alpha.

Two things it is not: keel is not a fatwa engine — it enforces the ruling you supply, so two operators following different schools get different answers from the same code, by design. And no scholarly review of keel's fiqh basis has occurred — the basis is one operator's sourced reading, published as docs/fiqh-basis.md precisely so it can be audited and challenged; the review path is defined and the review itself is not claimed.

What's new in v0.9.0: liquidity-scaled per-product slippage, a routing-time warning whenever a rule's conditional entry price is overridden by market execution, pooled promotion counting with a cross-sectional diversity floor (so evidence across the universe counts), an hourly-cadence paper profile (evidence at a collectable rate), rail-17 attestation expiry visible in keel status before it vetoes, plus the tokenless security scans (Dependabot, weekly pip-audit over the frozen lock, CodeQL).

If you want an auditable Shariah screening engine and are willing to help build one: https://github.com/CodeGateSoftware/keel — the fiqh basis, contributing guide (with nine good first issues open), and the Compliance & classification category next door for "should X be treated this way" questions.