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.

This is a user-space namespace in the Apply stage of the PRISM pipeline. It provides the application layer — types, morphisms, and state that parameterize the resolution pipeline.

Learn more: Pipeline Overview · Site Bundle Semantics

Class hierarchy

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	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.
`SessionBoundaryType`	`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`	`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`	`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`	`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`	`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`	`Thing`		Step-by-step evidence of the saturation process: records which bindings were applied, in what order, to reach full saturation.
`DomainGroundingRecord`	`Thing`		An informational/monitoring record tracking the saturation progress of a specific domain within a context. Carries no formal authority — purely observational.
`GroundingPhase`	`Thing`		A typed controlled vocabulary for the three phases of context saturation: Open (σ = 0), PartialGrounding (0 < σ < 1), and FullGrounding (σ = 1).
`SharedContext`	`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`	`Thing`	`Context`, `Binding`, `Frame`, `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`	`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	`Binding`	`Element`	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.
`wittLength`	Datatype	true	`Context`	`positiveInteger`	The Witt 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`	Object	true	`Frame`	`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	`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.
`topologicalSnapshot`	Object	true	`Transition`	`TopologicalDelta`	A snapshot of topological invariants at this transition point.
`sessionBindings`	Object	true	`Session`	`Context`	The shared context holding all bindings accumulated across the queries in this session.
`sessionQueries`	Datatype	true	`Session`	`nonNegativeInteger`	The number of RelationQuery evaluations completed in this session.
`aggregateSiteDeficit`	Object	true	`BindingAccumulator`	`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	`BindingAccumulator`	`Binding`	A binding accumulated by this accumulator from a resolved RelationQuery.
`boundaryReason`	Datatype	true	`SessionBoundary`	`string`	A human-readable description of why this session boundary was triggered.
`boundaryType`	Object	true	`SessionBoundary`	`SessionBoundaryType`	The typed reason category for this session boundary.
`priorContext`	Object	true	`SessionBoundary`	`Context`	The state:Context that was active before this boundary reset.
`freshContext`	Object	true	`SessionBoundary`	`Context`	The clean state:Context produced after this boundary reset, ready for subsequent queries.
`groundingDegree`	Datatype	true	`Context`	`decimal`	The saturation degree σ ∈ \[0, 1\] of this context. Defined by SC_2: σ = (n − freeRank) / n.
`contextTemperature`	Datatype	true	`Context`	`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	`Context`	`boolean`	Whether this context has reached full saturation (σ = 1). Equivalent to freeRank = 0, S = 0, T_ctx = 0 per SC_4.
`groundingPhase`	Object	true	`Context`	`GroundingPhase`	The current saturation phase of this context: Open, PartialGrounding, or FullGrounding.
`groundingCertificate`	Object	true	`GroundedContext`	`GroundingCertificate`	The GroundingCertificate attesting that this context has reached full saturation.
`witnessBinding`	Object	false	`GroundingWitness`	`Binding`	A binding that contributed to the saturation process, recorded in this GroundingWitness.
`witnessStep`	Datatype	true	`GroundingWitness`	`nonNegativeInteger`	The step index at which a particular binding was applied during the saturation process.
`residualFreeCount`	Datatype	true	`Context`	`nonNegativeInteger`	The number of free (unbound) sites remaining in this context. At saturation, residualFreeCount = 0.
`groundedContext`	Object	true	`DomainGroundingRecord`	`GroundedContext`	The GroundedContext that this DomainGroundingRecord monitors.
`groundedDomain`	Object	true	`DomainGroundingRecord`	`TypeDefinition`	The domain within the context being tracked by this DomainGroundingRecord.
`domainFreeCount`	Datatype	true	`DomainGroundingRecord`	`nonNegativeInteger`	The number of free sites remaining in the specific domain tracked by this DomainGroundingRecord.
`leasedSites`	Object	true	`ContextLease`	`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	`ContextLease`	`Session`	The Session that holds this lease.
`leaseSet`	Object	false	`SharedContext`	`ContextLease`	A currently active ContextLease on this SharedContext.
`composedFrom`	Object	false	`SessionComposition`	`Session`	A predecessor session contributing bindings to this composition. Non-functional: one composition may merge two or more sessions.
`compositionCompatible`	Datatype	true	`SessionComposition`	`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	`SessionComposition`	`Context`	The merged Context produced by a valid composition. Only present when compositionCompatible = true.
`towerConsistencyVerified`	Datatype	true	`SessionComposition`	`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	Comment
`ExplicitReset`	`SessionBoundaryType`	The caller explicitly requested a context reset. All accumulated bindings are discarded.
`ConvergenceBoundary`	`SessionBoundaryType`	The session resolver determined that no further queries can reduce the aggregate site deficit.
`ContradictionBoundary`	`SessionBoundaryType`	A new query produced a type contradiction with an accumulated binding. Context must reset before resolution can continue.
`Open`	`GroundingPhase`	The context has σ = 0: no bindings accumulated, all sites are free. The initial phase of every session.
`PartialGrounding`	`GroundingPhase`	The context has 0 < σ < 1: some sites are pinned by accumulated bindings, but free sites remain. The accumulation phase.
`FullGrounding`	`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`	`GroundedContext`	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.
`groundingDegree`: 1.0 `contextTemperature`: 0.0 `isGrounded`: true `residualFreeCount`: 0 `groundingPhase`: `FullGrounding`

UOR State

Imports

Classes

Properties

Named Individuals

Related Concepts