UOR Effect Algebra

IRI: https://uor.foundation/effect/
Prefix: effect:
Space: kernel
Comment: Typed endomorphisms on state:Context classified by site target. Formalizes what reduction guard-effect pairs do to the site budget.

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

Classes

Name	Subclass Of	Disjoint With	Comment
`Effect`	`Thing`		A typed endomorphism on state:Context. Maps one site-budget configuration to another. The atomic unit of state mutation in the kernel.
`ReversibleEffect`	`Effect`		An effect that has a well-defined inverse. PinningEffect and PhaseEffect are reversible; ExternalEffect and CompositeEffect are not in general.
`PinningEffect`	`ReversibleEffect`		Pins a single free site to a definite value. Decrements freeRank by exactly 1. The effect produced by constraint resolution.
`UnbindingEffect`	`Effect`		Releases a pinned site back to free state. Increments freeRank by exactly 1. The effect produced by session boundary reset.
`PhaseEffect`	`ReversibleEffect`		Rotates the reduction phase angle by Ω^k. Does not alter the site budget. The effect produced by reduction step transitions.
`CompositeEffect`	`Effect`		An ordered sequence of effects applied atomically. The composition E₁ ; E₂ applies E₁ then E₂.
`ExternalEffect`	`Effect`		An opaque effect declared by a Prism implementation. The kernel treats it as a site-budget transformation satisfying the declared commutation contract. Must carry an effect:externalEffectShape linking to a conformance:EffectShape.
`EffectTarget`	`Thing`		The set of site coordinates that an effect reads or writes. Determines commutation.
`DisjointnessWitness`	`Thing`		A certificate that two EffectTargets have empty intersection, enabling commutative reordering.

Properties

Name	Kind	Functional	Domain	Range	Comment
`effectTarget`	Object	true	`Effect`	`EffectTarget`	The site coordinates this effect touches.
`targetSites`	Object	false	`EffectTarget`	`SiteIndex`	The individual site coordinates in this target set.
`compositeHead`	Object	true	`CompositeEffect`	`Effect`	The first effect in the composite sequence.
`compositeTail`	Object	false	`CompositeEffect`	`Effect`	Subsequent effects in the composite sequence (ordered by effect:compositeIndex).
`disjointnessLeft`	Object	true	`DisjointnessWitness`	`EffectTarget`	The left target in the disjointness claim.
`disjointnessRight`	Object	true	`DisjointnessWitness`	`EffectTarget`	The right target in the disjointness claim.
`preContext`	Object	true	`Effect`	`Context`	The context before effect application.
`postContext`	Object	true	`Effect`	`Context`	The context after effect application.
`externalEffectShape`	Object	true	`ExternalEffect`	`EffectShape`	The conformance shape that this external effect satisfies.
`freeRankDelta`	Datatype	true	`Effect`	`integer`	Change in freeRank: −1 for PinningEffect, +1 for UnbindingEffect, 0 for PhaseEffect.
`phaseAngleDelta`	Datatype	true	`PhaseEffect`	`decimal`	The phase rotation applied, expressed as Ω^k.
`compositeIndex`	Datatype	true	`Effect`	`nonNegativeInteger`	Position within a CompositeEffect sequence.
`isCommutativeWith`	Datatype	true	`Effect`	`boolean`	Computed: true iff effectTargets are disjoint with the compared effect. Derived from DisjointnessWitness existence.
`targetCardinality`	Datatype	true	`EffectTarget`	`nonNegativeInteger`	Number of site coordinates in this target set.