UOR Address Regions

IRI: https://uor.foundation/region/
Prefix: region:
Space: kernel
Comment: Spatial locality of content-addressed ring elements. Defines computable working sets for resolver stages, independent of physical memory layout.

View documentation reference

This is a kernel-space namespace in the Define stage of the PRISM pipeline. It provides the immutable algebraic substrate — ring structure, schema vocabulary, and operation algebra.

Learn more: Pipeline Overview

Class hierarchy

Imports

https://uor.foundation/op/
https://uor.foundation/u/
https://uor.foundation/schema/
https://uor.foundation/type/
https://uor.foundation/partition/
https://uor.foundation/observable/

Classes

Name	Subclass Of	Disjoint With	Comment
`AddressRegion`	`Thing`		A contiguous range of u:Element values accessible during a single reduction step. Defines the resolver’s working set.
`RegionBound`	`Thing`		The boundary of an AddressRegion: a pair (lowerAddress, upperAddress) in the content-address ordering.
`LocalityMetric`	`MetricObservable`		A metric on u:Element values determining which addresses are near each other for resolution purposes.
`WorkingSet`	`Thing`		The set of AddressRegions needed by a resolver at a specific reduction step for a specific type. Computable from the type’s constraint nerve.
`RegionAllocation`	`Thing`		An assignment of AddressRegions to reduction steps for a given computation. Enables Prism to pre-compute memory layout.

Properties

Name	Kind	Functional	Domain	Range	Comment
`regionLower`	Object	true	`RegionBound`	`Element`	The lower bound of the address range.
`regionUpper`	Object	true	`RegionBound`	`Element`	The upper bound of the address range.
`regionBound`	Object	true	`AddressRegion`	`RegionBound`	The boundary of this region.
`localityMetric`	Object	true	`AddressRegion`	`LocalityMetric`	The metric defining contiguity for this region.
`workingSetRegions`	Object	false	`WorkingSet`	`AddressRegion`	The address regions composing this working set.
`workingSetStage`	Object	true	`WorkingSet`	`ReductionStep`	The reduction step this working set applies to.
`workingSetType`	Object	true	`WorkingSet`	`TypeDefinition`	The type being resolved.
`allocationStage`	Object	false	`RegionAllocation`	`ReductionStep`	Reduction steps in this allocation.
`allocationWorkingSet`	Object	false	`RegionAllocation`	`WorkingSet`	The working sets assigned to each stage.
`regionCardinality`	Datatype	true	`AddressRegion`	`nonNegativeInteger`	Number of addresses in this region.
`workingSetSize`	Datatype	true	`WorkingSet`	`nonNegativeInteger`	Total addresses across all regions in the working set.