effectiveness_principle
plain-language theorem explainer
Near-balanced configurations of arbitrarily small positive cost can refer to any object of strictly larger cost. Workers on the Algebra of Aboutness and the T5 reference bridge cite this as the formal content of referential universality. The proof is a direct constructive witness: the unit type with vanishing cost and the indicator reference aimed at the target, whose unique symbol means that object.
Claim. For every $\varepsilon > 0$, every costed space $(O,J)$, and every $o \in O$ with $J(o) > \varepsilon$, there exist a costed symbol space $(S, J_S)$, a reference structure $R$ from $S$ to $O$, and a symbol $s \in S$ such that $J_S(s) < \varepsilon$ and $s$ means $o$ under $R$ (i.e., $o$ minimizes the reference cost of $s$).
background
The module develops the Physics of Reference: aboutness is ontological compression under cost minimization. A costed space equips a type with a nonnegative intrinsic cost $J$. A reference structure supplies a nonnegative cost of a symbol pointing to an object. Meaning is the semantic relation: symbol $s$ means object $o$ when $o$ is a least-cost target of $s$.
The indicator reference on the unit type charges cost $0$ on a chosen target and $1$ elsewhere; the companion lemma proves the unique unit symbol means that target. The unit costed space has vanishing cost, so it is a perfectly balanced configuration. Upstream cost axioms (including the Recognition Composition Law) justify nonnegativity of $J$, but this result only needs the reference primitives and the indicator construction.
proof idea
Classical constructive existence. After introducing the object space, its costed structure, and the high-cost object, witness the symbol side by the unit type, the unit costed space (cost identically zero), the indicator reference aimed at the given object, and the unique unit element. Discharge the two conjuncts by positivity of $\varepsilon$ (zero lies strictly below $\varepsilon$) and the indicator-meaning lemma (the unit symbol means the target). No further algebra.
why it matters
Main result 7 of the Algebra of Aboutness: near-balanced configurations can refer to any positive-cost object, the mathematical content of universality. Downstream it feeds the T5-to-canonical-reference bridge in the Unified Forcing Chain, where T5 (J-uniqueness, $J(x)=\frac{x+x^{-1}}{2}-1$) supplies the canonical reference bridge and the legacy existential is recovered from the mathematical-backbone theorem. Together with absolute backbone and forced reference, it closes the claim that zero-cost mathematical configurations have universal referential capacity, linking the forcing chain to the reference layer.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.