goldenOperator
plain-language theorem explainer
Defines the golden operator G induced by an endomorphism P on a real module: G = φP + (1−φ)(I−P). Anyone citing the algebraic projector-to-golden step from the Hessian cost-geometry paper uses this. The body is the direct scalar combination with the forced constant φ; the companion theorem then turns projector idempotence into G² = G + I.
Claim. For an endomorphism $P$ of a real module $V$, the golden operator is $G(P) := \varphi\, P + (1-\varphi)\,(I - P)$, where $\varphi$ is the golden-ratio constant.
background
This module is the algebraic core of the paper route "Golden and Metallic Structures on Hessian Manifolds": a normalized projector $P$ built from the rank-one Hessian of reciprocal cost geometry yields an almost-product operator $F = 2P - I$ with $F^2 = I$, and a golden operator $G = \varphi P + (1-\varphi)(I-P)$ with $G^2 = G + I$. The formalization stays at endomorphisms of a real module; it is not a full Hessian-manifold development.
Here $P$ is any endomorphism of $V$ (the projector hypothesis is imposed only by later theorems). The scalar $\varphi$ is the Recognition Science fixed point forced by self-similarity (T6). The identity endomorphism appears as $1$ in the module of endomorphisms. Upstream, $\varphi$ is supplied by the constants layer; the definition itself does not yet invoke the Recognition Composition Law or the J-cost.
proof idea
Pure definition: no proof obligations. The body is the endomorphism linear combination $\varphi\bullet P + (1-\varphi)\bullet(1-P)$, using scalar multiplication in $\mathrm{End}_{\mathbb{R}}(V)$. Noncomputable only because $\varphi$ is noncomputable in the constants API.
why it matters
This is the named object the forcing stack needs once a projector exists. Downstream, goldenOperator_sq proves that any projector induces $G^2 = G + I$; the same identity is recovered after normalizing operators with $A^2 = \mu A$ ($\mu\neq 0$), and for nondegenerate rank-one endomorphisms. The multi-coordinate certificate then applies it to the $n$-dimensional recognition-cost Hessian: the golden operator built from that Hessian satisfies $G^2 = G + I$ (paper §4, eq. (6.7)), so $\varphi$-forcing no longer rests on a supplied operator or a single-coordinate restriction. In the RS chain this is the algebraic bridge from cost geometry projectors to the golden structure used in metallic/Hessian forcing, sitting downstream of T5–T6 ($J$-uniqueness and $\varphi$ as fixed point).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.