Language Reference
Syntax for models, rules, predicates, and typed paths. Read the cookbooks first when you are writing a formula or a witness model.
A contract is state + model + rules. This reference is the language those artifacts are written in.
File Types
| Extension | Purpose | Location |
|---|---|---|
.modality | Model or rule definitions | model/ or rules/ |
.id | Public identity (ed25519 pubkey) | state/ |
.passfile | Private key (for signing) | Project root |
.hash | SHA256 hash commitment | state/ |
.datetime | ISO 8601 timestamp | state/ |
Quick Links
- Formula Cookbook — NL → one rule formula (read this first)
- Model Cookbook — Witness LTS recipes
- Model Syntax — Define labeled transition systems
- Rule Syntax — Define temporal constraints
- Predicates — Cryptographic conditions
- Path Types — Data type references