Language Reference
This document covers the complete syntax for Modality's model and rule definitions.
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
- Model Syntax — Define labeled transition systems
- Rule Syntax — Define temporal constraints
- Predicates — Cryptographic conditions
- Path Types — Data type references