Playground
This is the real Deducible engine, compiled to WebAssembly (~177 KB) and running entirely in your browser. It is the same invariant checker the CLI uses. Edit the spec, or pick an example, and diagnostics update as you type. Nothing is sent to a server.
write a spec, or pick an example above
What you’re looking at
Section titled “What you’re looking at”- A green
✓ consistentmeans the spec satisfies every invariant for its instrument class, so it would lower to Solidity plus a portable invariant manifest. - A red
✕ refusedmeans 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
and RISK-1 appear. The forbidden contract is not flagged after the fact. It is unbuildable.
- The instrument catalogue every contract class, family by family.
- Zero to a checked contract the full pipeline, end to end.
- Grammar & AST the formal syntax you are editing.
- Diagnostics every code the engine can raise.