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/partition/
https://uor.foundation/trace/
https://uor.foundation/morphism/
https://uor.foundation/cert/

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.
SessionBoundaryType	`https://uor.foundation/state/SessionBoundaryType`	`http://www.w3.org/2002/07/owl#Thing`		A typed controlled vocabulary for session boundary reasons. Each individual names a specific reason a context-reset boundary was triggered during a multi-turn session.
Session	`https://uor.foundation/state/Session`	`http://www.w3.org/2002/07/owl#Thing`		A bounded sequence of RelationQuery/response pairs sharing a common state:Context. Sessions are the unit of coherent multi-turn reasoning in Prism.
BindingAccumulator	`https://uor.foundation/state/BindingAccumulator`	`http://www.w3.org/2002/07/owl#Thing`		The mutable accumulator that appends state:Binding instances to a state:Context as each RelationQuery resolves. Tracks monotonic reduction of aggregate free site space.
SessionBoundary	`https://uor.foundation/state/SessionBoundary`	`http://www.w3.org/2002/07/owl#Thing`		Marks a context-reset event within a session stream. Records why the context was reset and provides a clean state:Context for subsequent queries.
GroundedContext	`https://uor.foundation/state/GroundedContext`	`https://uor.foundation/state/Context`		A context that has reached full saturation: σ = 1, freeRank = 0, S = 0, T_ctx = 0 (SC_4). The ground state of the type system. All subsequent queries resolve in O(1) via SC_5.
GroundingWitness	`https://uor.foundation/state/GroundingWitness`	`http://www.w3.org/2002/07/owl#Thing`		Step-by-step evidence of the saturation process: records which bindings were applied, in what order, to reach full saturation.
DomainGroundingRecord	`https://uor.foundation/state/DomainGroundingRecord`	`http://www.w3.org/2002/07/owl#Thing`		An informational/monitoring record tracking the saturation progress of a specific domain within a context. Carries no formal authority — purely observational.
GroundingPhase	`https://uor.foundation/state/GroundingPhase`	`http://www.w3.org/2002/07/owl#Thing`		A typed controlled vocabulary for the three phases of context saturation: Open (σ = 0), PartialGrounding (0 < σ < 1), and FullGrounding (σ = 1).
SharedContext	`https://uor.foundation/state/SharedContext`	`https://uor.foundation/state/Context`		A Context visible to more than one Session simultaneously. Holds a set of ContextLease instances that partition its site coordinates among active sessions. Lease disjointness (SR_9) prevents concurrent write conflicts.
ContextLease	`https://uor.foundation/state/ContextLease`	`http://www.w3.org/2002/07/owl#Thing`	`https://uor.foundation/state/Context`, `https://uor.foundation/state/Binding`, `https://uor.foundation/state/Frame`, `https://uor.foundation/state/Transition`	A bounded, exclusive claim on a set of site coordinates within a SharedContext, held by exactly one Session. When the session closes or hits a SessionBoundary, the lease is released and its sites become available for re-leasing.
SessionComposition	`https://uor.foundation/state/SessionComposition`	`http://www.w3.org/2002/07/owl#Thing`		Records that a Session was formed by merging the binding sets of two or more predecessor sessions. Valid only if all predecessor binding sets pass the cross-session consistency check (SR_8). An invalid composition attempt produces a ContradictionBoundary on the target session.

Properties

Name	Kind	Functional	Domain	Range	Comment
address	Object	true	`https://uor.foundation/state/Binding`	`https://uor.foundation/u/Element`	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.
wittLength	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#positiveInteger`	The Witt 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	Object	true	`https://uor.foundation/state/Frame`	`https://uor.foundation/type/Constraint`	The type:Constraint determining which bindings from the context are visible in this frame. The resolver applies this constraint to filter the context's binding set, producing the frame's active bindings. An absent constraint means all bindings are visible.
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.
topologicalSnapshot	Object	true	`https://uor.foundation/state/Transition`	`https://uor.foundation/morphism/TopologicalDelta`	A snapshot of topological invariants at this transition point.
sessionBindings	Object	true	`https://uor.foundation/state/Session`	`https://uor.foundation/state/Context`	The shared context holding all bindings accumulated across the queries in this session.
sessionQueries	Datatype	true	`https://uor.foundation/state/Session`	`http://www.w3.org/2001/XMLSchema#nonNegativeInteger`	The number of RelationQuery evaluations completed in this session.
aggregateSiteDeficit	Object	true	`https://uor.foundation/state/BindingAccumulator`	`https://uor.foundation/partition/FreeRank`	The aggregate FreeRank deficit across all accumulated bindings: the total remaining free sites that have not yet been closed by resolution. Decreases monotonically as the session progresses.
accumulatedBindings	Object	false	`https://uor.foundation/state/BindingAccumulator`	`https://uor.foundation/state/Binding`	A binding accumulated by this accumulator from a resolved RelationQuery.
boundaryReason	Datatype	true	`https://uor.foundation/state/SessionBoundary`	`http://www.w3.org/2001/XMLSchema#string`	A human-readable description of why this session boundary was triggered.
boundaryType	Object	true	`https://uor.foundation/state/SessionBoundary`	`https://uor.foundation/state/SessionBoundaryType`	The typed reason category for this session boundary.
priorContext	Object	true	`https://uor.foundation/state/SessionBoundary`	`https://uor.foundation/state/Context`	The state:Context that was active before this boundary reset.
freshContext	Object	true	`https://uor.foundation/state/SessionBoundary`	`https://uor.foundation/state/Context`	The clean state:Context produced after this boundary reset, ready for subsequent queries.
groundingDegree	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#decimal`	The saturation degree σ ∈ \[0, 1\] of this context. Defined by SC_2: σ = (n − freeRank) / n.
contextTemperature	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#decimal`	The context temperature T_ctx ∈ \[0, ln 2\]. Defined by SC_1: T_ctx = freeRank × ln 2 / n. At σ = 1, T_ctx = 0.
isGrounded	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#boolean`	Whether this context has reached full saturation (σ = 1). Equivalent to freeRank = 0, S = 0, T_ctx = 0 per SC_4.
groundingPhase	Object	true	`https://uor.foundation/state/Context`	`https://uor.foundation/state/GroundingPhase`	The current saturation phase of this context: Open, PartialGrounding, or FullGrounding.
groundingCertificate	Object	true	`https://uor.foundation/state/GroundedContext`	`https://uor.foundation/cert/GroundingCertificate`	The GroundingCertificate attesting that this context has reached full saturation.
witnessBinding	Object	false	`https://uor.foundation/state/GroundingWitness`	`https://uor.foundation/state/Binding`	A binding that contributed to the saturation process, recorded in this GroundingWitness.
witnessStep	Datatype	true	`https://uor.foundation/state/GroundingWitness`	`http://www.w3.org/2001/XMLSchema#nonNegativeInteger`	The step index at which a particular binding was applied during the saturation process.
residualFreeCount	Datatype	true	`https://uor.foundation/state/Context`	`http://www.w3.org/2001/XMLSchema#nonNegativeInteger`	The number of free (unbound) sites remaining in this context. At saturation, residualFreeCount = 0.
groundedContext	Object	true	`https://uor.foundation/state/DomainGroundingRecord`	`https://uor.foundation/state/GroundedContext`	The GroundedContext that this DomainGroundingRecord monitors.
groundedDomain	Object	true	`https://uor.foundation/state/DomainGroundingRecord`	`https://uor.foundation/type/TypeDefinition`	The domain within the context being tracked by this DomainGroundingRecord.
domainFreeCount	Datatype	true	`https://uor.foundation/state/DomainGroundingRecord`	`http://www.w3.org/2001/XMLSchema#nonNegativeInteger`	The number of free sites remaining in the specific domain tracked by this DomainGroundingRecord.
leasedSites	Object	true	`https://uor.foundation/state/ContextLease`	`https://uor.foundation/partition/FreeRank`	The subset of sites claimed by this lease. Must be disjoint from all other active leases on the same SharedContext (SR_9).
leaseHolder	Object	true	`https://uor.foundation/state/ContextLease`	`https://uor.foundation/state/Session`	The Session that holds this lease.
leaseSet	Object	false	`https://uor.foundation/state/SharedContext`	`https://uor.foundation/state/ContextLease`	A currently active ContextLease on this SharedContext.
composedFrom	Object	false	`https://uor.foundation/state/SessionComposition`	`https://uor.foundation/state/Session`	A predecessor session contributing bindings to this composition. Non-functional: one composition may merge two or more sessions.
compositionCompatible	Datatype	true	`https://uor.foundation/state/SessionComposition`	`http://www.w3.org/2001/XMLSchema#boolean`	Whether all predecessor binding sets passed the SR_8 consistency check. If false, the composition is invalid and must not be used as a session context.
compositionResult	Object	true	`https://uor.foundation/state/SessionComposition`	`https://uor.foundation/state/Context`	The merged Context produced by a valid composition. Only present when compositionCompatible = true.
towerConsistencyVerified	Datatype	true	`https://uor.foundation/state/SessionComposition`	`http://www.w3.org/2001/XMLSchema#boolean`	Whether the LiftChain tower consistency check (SR_8 parametric extension) was performed across all Q_0 through Q_k levels. Required for compositions involving sessions at Q_1 or higher.

Named Individuals

Name	Type	Properties	Comment
ExplicitReset	`https://uor.foundation/state/SessionBoundaryType`	—	The caller explicitly requested a context reset. All accumulated bindings are discarded.
ConvergenceBoundary	`https://uor.foundation/state/SessionBoundaryType`	—	The session resolver determined that no further queries can reduce the aggregate site deficit.
ContradictionBoundary	`https://uor.foundation/state/SessionBoundaryType`	—	A new query produced a type contradiction with an accumulated binding. Context must reset before resolution can continue.
Open	`https://uor.foundation/state/GroundingPhase`	—	The context has σ = 0: no bindings accumulated, all sites are free. The initial phase of every session.
PartialGrounding	`https://uor.foundation/state/GroundingPhase`	—	The context has 0 < σ < 1: some sites are pinned by accumulated bindings, but free sites remain. The accumulation phase.
FullGrounding	`https://uor.foundation/state/GroundingPhase`	—	The context has σ = 1: all sites are pinned, freeRank = 0. The ground state. All subsequent queries resolve in O(1) via SC_5.
ground_state	`https://uor.foundation/state/GroundedContext`	`groundingDegree`: 1.0 `contextTemperature`: 0.0 `isGrounded`: true `residualFreeCount`: 0 `groundingPhase`: `https://uor.foundation/state/FullGrounding`	The canonical ground-state witness: a GroundedContext at σ = 1, freeRank = 0, T_ctx = 0, S = 0 (SC_4). Demonstrates that full saturation is achievable and O(1) resolution (SC_5) is realized.