Skip to content
DeducibleDeducible

Playground

This is the real deducible engine, compiled to WebAssembly (~177 KB) and running entirely in your browser — the same invariant checker the CLI uses. Edit the spec, or pick an example; diagnostics update as you type. Nothing is sent to a server.

musharakah.fiqhloading engine…
write a spec, or pick an example above

What you’re looking at

Section titled “What you’re looking at”
  • A green ✓ consistent means the spec satisfies every invariant for its instrument class — it would lower to Solidity plus a portable invariant manifest.
  • A red ✕ refused means one or more invariants fail. Each diagnostic carries a stable code, a plain-language message, the citation behind the rule, and the line:col of the offending token. No contract is emitted.

Try breaking the compliant Musharakah example: change capital_guarantee: none to capital_guarantee: bank, or loss: proportional_to_ownership to loss: none, and watch RIBA-1 / RISK-1 appear. The forbidden contract isn’t flagged after the fact — it is unbuildable.

Next

Section titled “Next”