UOR Linear Resources

IRI: https://uor.foundation/linear/
Prefix: linear:
Space: kernel
Comment: Linear discipline on site consumption. Formalizes that each site in a complete resolution path is targeted by exactly one effect.

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/effect/
https://uor.foundation/partition/
https://uor.foundation/type/
https://uor.foundation/state/
https://uor.foundation/trace/

Classes

Name	Subclass Of	Disjoint With	Comment
`LinearSite`	`SiteIndex`		A site index annotated with a linearity constraint: must be pinned exactly once in any complete resolution path.
`LinearEffect`	`PinningEffect`		A PinningEffect that consumes its target LinearSite. After application, the site is no longer available for pinning by any subsequent effect.
`LinearTrace`	`ComputationTrace`		A computation trace where every site in the budget is targeted by exactly one LinearEffect.
`LinearBudget`	`Thing`		The multiset of LinearSites available at a given point in resolution. Starts as the full site budget; each LinearEffect removes exactly one element.
`LeaseAllocation`	`Thing`		A binding between a state:ContextLease and a subset of LinearSites. Formalizes what resources a lease claims.
`AffineSite`	`SiteIndex`		A site that may be pinned at most once (but need not be pinned). Relaxation of LinearSite for incomplete resolution paths.

Properties

Name	Kind	Functional	Domain	Range	Comment
`linearTarget`	Object	true	`LinearEffect`	`LinearSite`	The single site consumed by this effect.
`budgetSites`	Object	false	`LinearBudget`	`LinearSite`	The sites remaining in the budget.
`budgetContext`	Object	true	`LinearBudget`	`Context`	The context associated with this budget state.
`leaseTarget`	Object	false	`LeaseAllocation`	`LinearSite`	The sites claimed by this lease.
`leaseSource`	Object	true	`LeaseAllocation`	`ContextLease`	The ContextLease individual that owns this allocation.
`leaseAllocation`	Object	true	`ContextLease`	`LeaseAllocation`	Links a state:ContextLease to its LinearSite allocation.
`remainingCount`	Datatype	true	`LinearBudget`	`nonNegativeInteger`	Number of unconsumed sites. Equals freeRank on the associated context.
`leaseCardinality`	Datatype	true	`LeaseAllocation`	`positiveInteger`	Number of sites claimed by this lease.