The Osy# Language Specification
One document that answers what is this language, ordered so each part may assume the ones before it. 5 of 13 sections are written, and the ones that are not say so rather than being hidden.
Every normative claim is probed against the compiler before it is written, and the probes are run by CI. A claim that could not be probed is marked UNVERIFIED rather than smoothed over — a specification is read as authority, so the parts that are not established have to be visible.
| § | Section | State |
|---|---|---|
| §1 | Scope, conformance, and notation | drafted |
| §2 | Lexical structure | drafted |
| §3 | Types | not started |
| §4 | Declarations | not started |
| §5 | Expressions and statements | not started |
| §6 | The execution-side model | drafted |
| §7 | Data and queries | not started |
| §8 | Security as a language rule | not started |
| §9 | Durability semantics | drafted |
| §10 | Declarative surfaces (entity · workflow · component · policy · migration) | not started |
| §11 | Deliberate non-features, and why | drafted |
| §12 | Diagnostics as contract | not started |
| §13 | Versioning and compatibility | not started |