Examples
The pages in this section walk through the reference examples from the ryspec repository, ordered from the smallest useful specification to a fully declared monitor. Each document is valid on its own and is checked by the project’s test suite, so any of them is a reliable starting point for a new specification.
Every example opens with a #:schema comment pointing at the bundled JSON Schema. A TOML-aware editor uses it for completion and inline errors; other tools read it as a comment.
One property, one condition, everything else deduced
Independent verdicts over a shared vocabulary
Named subformulas lifted out of the properties
Operator-first arrays and property-private rules
Declared types, units, parameters and interface order
Projecting signals out of a JSON telemetry frame
Exposing a computed condition, not only a verdict
Identifying a document and carrying process data