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	IRI	Subclass Of	Disjoint With	Comment
Context	`https://uor.foundation/state/Context`	`http://www.w3.org/2002/07/owl#Thing`	`https://uor.foundation/state/Binding`, `https://uor.foundation/state/Frame`, `https://uor.foundation/state/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	`https://uor.foundation/state/Binding`	`http://www.w3.org/2002/07/owl#Thing`	`https://uor.foundation/state/Context`, `https://uor.foundation/state/Frame`, `https://uor.foundation/state/Transition`	The association of a datum value with an address in a context. The write primitive: creating a binding populates an address.
Frame	`https://uor.foundation/state/Frame`	`http://www.w3.org/2002/07/owl#Thing`	`https://uor.foundation/state/Context`, `https://uor.foundation/state/Binding`, `https://uor.foundation/state/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	`https://uor.foundation/state/Transition`	`http://www.w3.org/2002/07/owl#Thing`	`https://uor.foundation/state/Context`, `https://uor.foundation/state/Binding`, `https://uor.foundation/state/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	`https://uor.foundation/state/Binding`	`https://uor.foundation/u/Address`	The UOR address being bound in this binding.
content	Object	true	`https://uor.foundation/state/Binding`	`https://uor.foundation/schema/Datum`	The datum value bound to the address in this binding.
boundType	Object	false	`https://uor.foundation/state/Binding`	`https://uor.foundation/type/TypeDefinition`	The type under which this binding's datum is resolved.
timestamp	Datatype	true	`https://uor.foundation/state/Binding`	`http://www.w3.org/2001/XMLSchema#dateTime`	The time at which this binding was created.
binding	Object	false	`https://uor.foundation/state/Context`	`https://uor.foundation/state/Binding`	A binding held in this context.
capacity	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#positiveInteger`	The maximum number of bindings this context can hold.
contentAddress	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#string`	The content-derived address of this context, uniquely identifying its current state in the UOR address space.
quantum	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#positiveInteger`	The quantum level of this context's address space.
activeBindings	Object	false	`https://uor.foundation/state/Frame`	`https://uor.foundation/state/Binding`	The bindings currently in scope for this frame.
context	Object	true	`https://uor.foundation/state/Frame`	`https://uor.foundation/state/Context`	The context this frame is a view of.
constraint	Datatype	false	`https://uor.foundation/state/Frame`	`http://www.w3.org/2001/XMLSchema#string`	The constraint determining which bindings from the context are visible in this frame.
from	Object	true	`https://uor.foundation/state/Transition`	`https://uor.foundation/state/Context`	The context before this transition.
to	Object	true	`https://uor.foundation/state/Transition`	`https://uor.foundation/state/Context`	The context after this transition.
addedBindings	Object	false	`https://uor.foundation/state/Transition`	`https://uor.foundation/state/Binding`	Bindings added to the context in this transition.
removedBindings	Object	false	`https://uor.foundation/state/Transition`	`https://uor.foundation/state/Binding`	Bindings removed from the context in this transition.
trace	Object	true	`https://uor.foundation/state/Transition`	`https://uor.foundation/trace/ComputationTrace`	The computation trace recording the kernel operations that effected this state transition.