Osy#the first language built for agents
Agents firstAgentic appsWorkflowsDurable Execution — built inSecurityTestingThe editorThe UI modelOne program

Reference

Entity

11 pages.

The data model (entities and their rules)

An entity is a table — and the rules that are true about it. Not just its columns: what must hold for a row to exist, and who may see or change it…

Comparing entity rows

`==` on two entity references compares them by ROW IDENTITY — not by object reference, and not field by field. Two references to the same row are…

ConcurrencyCheck

Refuses an update whose value was changed by somebody else since this writer read it. Field-scoped — two people editing different fields of one…

[FrontMatter] — a document's header as typed data

`[FrontMatter]` binds a member to a key of the entity's markdown document's front-matter — the `---` header at the top of the file. Assigning the…

constraints

The per-member rules the database enforces — Required, Unique, MaxLength/MinLength, Min/Max, Pattern, and the storage-shaping Immutable, Precision…

entity

Declares a persisted type — a table of rows the app stores, queries and secures. Every entity gets an Id and audit columns from the platform. Use a…

entity Sub : Base

Derives one entity from another. The subtype is its own type with its own name, its own security and its own workflows, and it carries every member…

entity members

The typed members an entity holds — text, numbers, dates, booleans, Guids, enums and references. A member's type spelling carries its nullability: a…

invariant

A row-level rule spanning several members, checked when the row is written. Use it when a constraint on one member is not enough — a balance that may…

relations

One entity points at another by declaring it as a member — that is the foreign key. The parent reads its children back through a collection member…

sealed

Declares that no type may derive from this entity. A type is open unless it says otherwise, exactly as in C#. Sealing says nothing about who may read…