State Model
Definition
The UOR state model captures evaluation context — the bindings, frames, and
transitions that comprise a computation. The state/ namespace provides four
mutually disjoint classes.
Classes
| Class | Description |
|---|---|
| Context | Evaluation environment (quantum level, capacity) |
| Binding | A name bound to a typed value |
| Frame | Snapshot of context with active bindings |
| Transition | Change from one frame to another |
These four classes are mutually owl:disjointWith — a Context is never a
Binding, a Frame, or a Transition.
Context
A Context is the runtime environment:
| Property | Description |
|---|---|
| quantum | Quantum level n of the ring |
| capacity | Maximum number of bindings |
| contentAddress | Content address of the context |
Binding
A Binding associates an address with a value:
| Property | Description |
|---|---|
| address | Address within the context |
| content | Bound value |
| boundType | Type of the bound value |
| timestamp | Step count when binding was created |
Frame
A Frame is an immutable snapshot:
| Property | Description |
|---|---|
| context | The containing context (functional) |
| activeBindings | Count of active bindings |
| constraint | Optional constraint on the frame |
Transition
A Transition records a state change:
| Property | Description |
|---|---|
| from | Source frame (functional) |
| to | Target frame (functional) |
| addedBindings | Count of bindings added |
| removedBindings | Count of bindings removed |
| trace | Computation trace for this transition |
Example Lifecycle
Context (quantum=8) → Frame-0 (0 bindings) → Transition → Frame-1 (1 binding)
↓
ComputationTrace
This is validated by SHACL test test4_state_lifecycle.