UOR State

IRI: https://uor.foundation/state/
Prefix: state:
Space: user
Comment: Parameterized address spaces, context management, binding lifecycle, and state transitions. The user-space overlay onto the kernel's read-only ring substrate.

Imports

https://uor.foundation/u/
https://uor.foundation/schema/
https://uor.foundation/type/
https://uor.foundation/trace/

Classes

Name	Subclass Of	Disjoint With	Comment
`Context`	`Thing`	`Binding`, `Frame`, `Transition`	A bounded set of populated UOR addresses. The parameter space for a resolution cycle. Contexts hold bindings that map addresses to datum values.
`Binding`	`Thing`	`Context`, `Frame`, `Transition`	The association of a datum value with an address in a context. The write primitive: creating a binding populates an address.
`Frame`	`Thing`	`Context`, `Binding`, `Transition`	The visibility boundary determining which bindings are in scope for a given resolution. A frame is a view into a context: it selects which bindings the resolver sees.
`Transition`	`Thing`	`Context`, `Binding`, `Frame`	A state change: the transformation of one context into another through binding or unbinding. The sequence of transitions is the application's computation history.

Properties

Name	Kind	Functional	Domain	Range	Comment
`address`	Object	true	`Binding`	`Address`	The UOR address being bound in this binding.
`content`	Object	true	`Binding`	`Datum`	The datum value bound to the address in this binding.
`boundType`	Object	false	`Binding`	`TypeDefinition`	The type under which this binding's datum is resolved.
`timestamp`	Datatype	true	`Binding`	`dateTime`	The time at which this binding was created.
`binding`	Object	false	`Context`	`Binding`	A binding held in this context.
`capacity`	Datatype	true	`Context`	`positiveInteger`	The maximum number of bindings this context can hold.
`contentAddress`	Datatype	true	`Context`	`string`	The content-derived address of this context, uniquely identifying its current state in the UOR address space.
`quantum`	Datatype	true	`Context`	`positiveInteger`	The quantum level of this context's address space.
`activeBindings`	Object	false	`Frame`	`Binding`	The bindings currently in scope for this frame.
`context`	Object	true	`Frame`	`Context`	The context this frame is a view of.
`constraint`	Datatype	false	`Frame`	`string`	The constraint determining which bindings from the context are visible in this frame.
`from`	Object	true	`Transition`	`Context`	The context before this transition.
`to`	Object	true	`Transition`	`Context`	The context after this transition.
`addedBindings`	Object	false	`Transition`	`Binding`	Bindings added to the context in this transition.
`removedBindings`	Object	false	`Transition`	`Binding`	Bindings removed from the context in this transition.
`trace`	Object	true	`Transition`	`ComputationTrace`	The computation trace recording the kernel operations that effected this state transition.