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.
Imports
https://uor.foundation/op/https://uor.foundation/state/https://uor.foundation/partition/https://uor.foundation/type/https://uor.foundation/cert/
Classes
| Name | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| Effect | https://uor.foundation/effect/Effect | http://www.w3.org/2002/07/owl#Thing | A typed endomorphism on state:Context. Maps one site-budget configuration to another. The atomic unit of state mutation in the kernel. | |
| ReversibleEffect | https://uor.foundation/effect/ReversibleEffect | https://uor.foundation/effect/Effect | An effect that has a well-defined inverse. PinningEffect and PhaseEffect are reversible; ExternalEffect and CompositeEffect are not in general. | |
| PinningEffect | https://uor.foundation/effect/PinningEffect | https://uor.foundation/effect/ReversibleEffect | Pins a single free site to a definite value. Decrements freeRank by exactly 1. The effect produced by constraint resolution. | |
| UnbindingEffect | https://uor.foundation/effect/UnbindingEffect | https://uor.foundation/effect/Effect | Releases a pinned site back to free state. Increments freeRank by exactly 1. The effect produced by session boundary reset. | |
| PhaseEffect | https://uor.foundation/effect/PhaseEffect | https://uor.foundation/effect/ReversibleEffect | Rotates the reduction phase angle by Ω^k. Does not alter the site budget. The effect produced by reduction step transitions. | |
| CompositeEffect | https://uor.foundation/effect/CompositeEffect | https://uor.foundation/effect/Effect | An ordered sequence of effects applied atomically. The composition E₁ ; E₂ applies E₁ then E₂. | |
| ExternalEffect | https://uor.foundation/effect/ExternalEffect | https://uor.foundation/effect/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 | https://uor.foundation/effect/EffectTarget | http://www.w3.org/2002/07/owl#Thing | The set of site coordinates that an effect reads or writes. Determines commutation. | |
| DisjointnessWitness | https://uor.foundation/effect/DisjointnessWitness | http://www.w3.org/2002/07/owl#Thing | A certificate that two EffectTargets have empty intersection, enabling commutative reordering. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| effectTarget | Object | true | https://uor.foundation/effect/Effect | https://uor.foundation/effect/EffectTarget | The site coordinates this effect touches. |
| targetSites | Object | false | https://uor.foundation/effect/EffectTarget | https://uor.foundation/partition/SiteIndex | The individual site coordinates in this target set. |
| compositeHead | Object | true | https://uor.foundation/effect/CompositeEffect | https://uor.foundation/effect/Effect | The first effect in the composite sequence. |
| compositeTail | Object | false | https://uor.foundation/effect/CompositeEffect | https://uor.foundation/effect/Effect | Subsequent effects in the composite sequence (ordered by effect:compositeIndex). |
| disjointnessLeft | Object | true | https://uor.foundation/effect/DisjointnessWitness | https://uor.foundation/effect/EffectTarget | The left target in the disjointness claim. |
| disjointnessRight | Object | true | https://uor.foundation/effect/DisjointnessWitness | https://uor.foundation/effect/EffectTarget | The right target in the disjointness claim. |
| preContext | Object | true | https://uor.foundation/effect/Effect | https://uor.foundation/state/Context | The context before effect application. |
| postContext | Object | true | https://uor.foundation/effect/Effect | https://uor.foundation/state/Context | The context after effect application. |
| externalEffectShape | Object | true | https://uor.foundation/effect/ExternalEffect | https://uor.foundation/conformance/EffectShape | The conformance shape that this external effect satisfies. |
| freeRankDelta | Datatype | true | https://uor.foundation/effect/Effect | http://www.w3.org/2001/XMLSchema#integer | Change in freeRank: −1 for PinningEffect, +1 for UnbindingEffect, 0 for PhaseEffect. |
| phaseAngleDelta | Datatype | true | https://uor.foundation/effect/PhaseEffect | http://www.w3.org/2001/XMLSchema#decimal | The phase rotation applied, expressed as Ω^k. |
| compositeIndex | Datatype | true | https://uor.foundation/effect/Effect | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Position within a CompositeEffect sequence. |
| isCommutativeWith | Datatype | true | https://uor.foundation/effect/Effect | http://www.w3.org/2001/XMLSchema#boolean | Computed: true iff effectTargets are disjoint with the compared effect. Derived from DisjointnessWitness existence. |
| targetCardinality | Datatype | true | https://uor.foundation/effect/EffectTarget | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Number of site coordinates in this target set. |