State Contracts (Contract IDE)

Build, deploy and run state contracts on your state machine.

App ID contract-ide Live ZEQ_BASE_URL/apps/contract-ide/ Auth signed-in session Precision ≤0.1%

What it does

The contract workbench. Pick from a growing library of industry templates (preview, one-click deploy) or write the contract JSON directly in Expert mode. Your saved contracts live here; you can host the compute on your own server while the contract and its proof trail stay anchored to your machine — every deploy, firing, pause and resume lands as a row on your entangled state.

Use it

1. Open /apps/contract-ide/ signed in.
2. Pick a template (or Expert → paste JSON: {"name":"daily","states":["idle","fired"],"initial_state":"idle"}).
3. Deploy, then watch firings in the Observer or via zeq contract events.

The same surface is scriptable: zeq contract deploy/fire-now/dry-run/preview/export/import — see the CLI command reference.

Honest limits

• Contract execution is complexity-priced (contract_execution) — dry-run simulates without committing or charging.
• A paused contract keeps its history; deleting one does not delete its entangled-state rows (the audit trail is append-only).

Reference

• UI: apps/zeq-dev/public/apps/contract-ide/
• API: /api/contracts* — see Contracts API