Repository navigation
Reference 03 shape
github-actions[bot] edited this page Oct 15, 2026
·
1 revision
A typed record — one of Velle's two structural nouns. The other, act (## 4), is a shape whose instances can also arrive from outside the system; a shape alone is one only rules create. Replaces objects, functions, and constructors, since all three reduce to "a set of typed properties" — an interaction is an act whose consequences are rules (## rule), not a function call.
shape Customer {
name: text
email: text
}
Reference
- §1 Principles
- §2 Philosophy
- §3 shape
- §4 State and commits
- §5 Scalars
- §6 Relationships (one, many)
- §7 Derived properties
- §8 Refinements (where)
- §9 Composing refinements (and, or)
- §10 Predicate expressions
- §11 rule ... when ... on ...
- §12 Assignment (mutation in place)
- §13 Exit triggers (when leaving)
- §14 for
- §15 then
- §16 Sweeps: rules fire per record
- [[§17 Schedule triggers (on )|Reference-17-Schedule-triggers]]
- §18 Run-once guards
- §19 Self-referential folds and tolerates
- §20 State-change patterns
- §21 never
- §22 Open / unresolved
Normative documents
Guides
Notes