[[home|← Ultimentality Wiki]]

# Predicate Binding B(p)=(p,eₚ)

A **predicate binding** is what an emotion *is* inside this framework: not a basic ingredient of the mind but a small piece of machinery — a directional move paired with a target it is constantly trying to hit. Written out, a binding is **B(p) = (p, eₚ)**, which says "the emotion is the primitive *p* together with the error signal *eₚ* that it drives toward zero." In plain terms: an emotion is a *controller*. It takes one elementary motion and steers it to close a specific gap. Love closes the gap of separation; fear closes the gap of exposure. The name of the emotion is the name of the gap-closer, not the name of a feeling.

## Why an emotion is not a primitive

The framework keeps its furniture in a strict order: [[directional-primitives|directional primitives]] come first, then predicate bindings are built *on top of* them, and only after that do [[conceptual-derivatives|conceptual derivatives]], composites, and the rest follow. The bindings are emphatically downstream. The four base operators — [[toward|toward]], [[away|away]], [[loop-back|loop-back]], [[propagation|propagation]] — are bare, unexperienced structure; an emotion is a *use* of one of them, governed by a goal. To say "fear is a primitive" is therefore a category mistake, like calling a thermostat one of the basic laws of physics. That specific mistake, applied to the four cornerstone emotions, is [[cardinal-error|the cardinal error]] of the whole framework, and it caps any account that commits it.

The source line the framework quotes is short and load-bearing: *emotion here means predicate binding at the system level.* "At the system level" matters — it means the definition is meant to hold for any system that regulates, conscious or not, so the felt texture of an emotion is treated as [[human-gloss|gloss]] rather than as the thing itself.

## The three roles inside a binding

Read the notation as a tiny control loop with three named parts:

- **p — the actuator.** The directional primitive that actually does something: admits, excludes, routes inward, or emits.
- **the predicate — the controller.** The named emotion (Love, Fear, Apology, Gratitude). It is the *policy* that decides how hard to push the actuator.
- **eₚ — the [[regulated-error-signal|regulated error signal]].** The discrepancy the controller is trying to shrink. This is the heart of the binding: change *eₚ* and you have changed which emotion you are describing.

The governing correction states the relation exactly: *the primitive is the actuator; the predicate names the controller; the error signal names the discrepancy the controller reduces.* By analogy, and only as analogy: a cruise-control system is the actuator (the throttle), a controller (the policy "hold 100 km/h"), and an error signal (current speed minus target). Nobody calls cruise control a fundamental force; the framework asks the same restraint for emotions.

## Regulation, not preservation

The single most emphasized point is what a binding is *not*. **Binding is not the preservation of an invariant; it is regulation toward a setpoint.** An invariant is something you hold fixed and conserve; a setpoint is something you chase by continuously correcting error. Defining a binding as a conserved invariant rather than a [[regulated-error-signal|regulated error]] is a *capped* error in its own right — less catastrophic than the [[cardinal-error|cardinal inversion]], but still scored against an exposition. The reason is that invariant-talk smuggles back the idea that the emotion is a static possession, when the framework insists it is an ongoing act of correction.

This also explains the layer's central accuracy discipline: **extract the regulated error, not the surface delivery channel.** A spoken apology, a hug, a thank-you note — these are downstream expressions. The binding lives in the gap being closed, not in the words or gestures that close it.

## The four cornerstone bindings

The scheme is instantiated four times, once per primitive, each verbatim across the [[canon|canon]]: [[love|Love = (toward, relational gap)]], [[fear|Fear = (away, boundary violation)]], [[apology|Apology = (loop-back, self-model error)]], and [[gratitude|Gratitude = (propagation, undischarged received value)]]. Each pairs one actuator with its own error signal, and each is a controller, not a feeling. Together they are the raw material from which composites like [[submission|Submission]] and [[reconciliation|Reconciliation]] are coupled.

## Common misreadings

Three readings are explicitly out of bounds. First, treating a binding as a *primitive* — the cardinal inversion. Second, treating it as a *conserved invariant* — the capped invariant-preservation error. Third, identifying the binding with its *surface expression* — mistaking the spoken apology for the loop-back it expresses. All three flatten the (p, eₚ) structure that makes a binding a binding.

## Bindings may regulate principles without collapsing type layers

The binding scheme *B(p) = (p, eₚ)* is defined for the cornerstone emotions, but the *shape* of a controller that drives an error signal toward zero is not the private property of the affective layer. The framework's foundational pair — constitutive semantic closure and recursive marking — can be read as a higher-order **cross-regulation**, each term bounding the characteristic excess of the other: closure without marking totalizes, marking without closure regresses. That is the same [[cross-regulated-necessity|cross-regulated necessity]] a binding exhibits in miniature — a discrepancy is held open, and its persistence carries [[causal-error-mark|causal force]] over what the system does next rather than sitting inert.

The resemblance is structural, not categorical, and the strict derivation order still holds. Closure and marking are **not** emotions, **not** [[directional-primitives|directional primitives]], and **not** additional cornerstone bindings. They live at a different type layer: they are a condition on, and a correction of, whole formulations, whereas a binding harnesses one actuator to one regulated error. Reading the higher-order cross-regulators as a "fifth binding" would repeat exactly the flattening this page forbids — smuggling the controller-shape upward as though it licensed a new entry in the four-fold scheme. The primitives come first; the bindings are built on top of them; the closure–marking coupling regulates the frame in which all of that machinery is stated. Naming the coupling adds no primitive, promotes no binding, and does not reopen the count.

> **Formal status.** Epistemic: Derived, authority-canonical — the binding model and the rejection of invariant-preservation are fixed and *capped* by the controlling authority; contestable only by contesting that authority. Alethic: the controller model aspires to map what an emotion structurally *is* across conscious and non-conscious carriers alike, so the invariant-preservation reading is not merely disallowed but maps the structure *wrongly*. Provenance: **canonical**; the source phrase *emotion here means predicate binding at the system level* is from the seed.

## See also

- [[regulated-error-signal|The Regulated Error Signal]] — *eₚ*, the discrepancy a controller drives to zero
- [[directional-primitives|The Directional Primitives]] — the bare actuators a binding harnesses
- [[love|Love = (toward, relational gap)]] — a cornerstone binding
- [[fear|Fear = (away, boundary violation)]] — a cornerstone binding
- [[apology|Apology = (loop-back, self-model error)]] — a cornerstone binding
- [[gratitude|Gratitude = (propagation, undischarged received value)]] — a cornerstone binding
- [[conceptual-derivatives|Conceptual Derivatives]] — nouns abstracted from bound primitives
- [[cardinal-error|The Cardinal Error]] — the inversion this structure forbids
- [[human-gloss|The Human Gloss]] — the felt texture that carries no probative weight
- [[cross-regulated-necessity|Cross-Regulated Necessity]] — the coupled-controller shape a binding shows in miniature
- [[causal-error-mark|The Error Mark With Causal Force]] — why a held error must be able to change what it marks