Language guide

A sequential tour of the Spock language. Each page teaches one concept cluster with complete, checkable programs; together they cover everything the v0 specification defines, in an order meant for learning rather than lookup.

• Tables, types, and defaults — durable truth: tables, keys, references, closed sets, and validator checks.
• The derived API — the contract, REST and GraphQL surfaces, and the error vocabulary your schema mints for free.
• Functions and refusals — read and write functions, SQL escape bodies, and product errors.
• Seed and disposable state — how a program populates its world, and why there are no migrations.
• Identity: the actor seam — the development identity model and the me default.