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.

Imports

Name	IRI	Subclass Of	Comment
LinearSite	`https://uor.foundation/linear/LinearSite`	`https://uor.foundation/partition/SiteIndex`	A site index annotated with a linearity constraint: must be pinned exactly once in any complete resolution path.
LinearEffect	`https://uor.foundation/linear/LinearEffect`	`https://uor.foundation/effect/PinningEffect`	A PinningEffect that consumes its target LinearSite. After application, the site is no longer available for pinning by any subsequent effect.
LinearTrace	`https://uor.foundation/linear/LinearTrace`	`https://uor.foundation/trace/ComputationTrace`	A computation trace where every site in the budget is targeted by exactly one LinearEffect.
LinearBudget	`https://uor.foundation/linear/LinearBudget`	`http://www.w3.org/2002/07/owl#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	`https://uor.foundation/linear/LeaseAllocation`	`http://www.w3.org/2002/07/owl#Thing`	A binding between a state:ContextLease and a subset of LinearSites. Formalizes what resources a lease claims.
AffineSite	`https://uor.foundation/linear/AffineSite`	`https://uor.foundation/partition/SiteIndex`	A site that may be pinned at most once (but need not be pinned). Relaxation of LinearSite for incomplete resolution paths.

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