Golden Transfer Fourfold Characterization

Abstract

Four analytic transfer-scale conditions characterize the golden ratio.

Theorem 1.1 (The golden transfer data agree uniquely).

$$\left(\left(\left(\left(\mathrm{IsLUB}\left(\left\{\left(1\le r\wedge r<2\right)\wedge \frac{1}{2-r}<1+r\mid r\in \mathbb{R}\right\},\phi \right)\wedge \phi -1={\phi }^{-1}\right)\wedge \left(\forall x\in \mathbb{R},0<x\Rightarrow \left((y\mapsto \frac{1}{y+1})\left(x\right)=x\iff x={\phi }^{-1}\right)\right)\right)\wedge \left|\mathrm{deriv}\left((y\mapsto \frac{1}{y+1}),\phi -1\right)\right|={\phi }^{-2}\right)\wedge \exp \left(-goldenAxisTranslationLength\right)={\phi }^{-4}\right)\wedge \left(\forall r\in \mathbb{R},1<r\Rightarrow \left(\left(\left(\left(\mathrm{IsLUB}\left(\left\{\left(1\le s\wedge s<2\right)\wedge \frac{1}{2-s}<1+s\mid s\in \mathbb{R}\right\},r\right)\iff r=\phi \right)\wedge \left((y\mapsto \frac{1}{y+1})\left(r-1\right)=r-1\iff r=\phi \right)\right)\wedge \left(\left|\mathrm{deriv}\left((y\mapsto \frac{1}{y+1}),r-1\right)\right|={\phi }^{-2}\iff r=\phi \right)\right)\wedge \left(\exp \left(-goldenAxisTranslationLength\right)=r^{-4}\iff r=\phi \right)\right)\right)$$

Proof. Machine-checked in Lean as D5/S3/Observer/GoldenCoding/GoldenTransferFourfoldCharacterization.golden_transfer_fourfold_characterization (✓ std3). ∎

Source. Repository-derived.

Commentary.

The sharp disk radius is phi, and the positive fixed point of the first inverse branch is phi minus one, equivalently phi inverse. Its local derivative has magnitude phi to the minus two, while the golden axis exponential scale is phi to the minus four.

For every candidate radius greater than one, each of the sharp-domain, fixed-point, observed-derivative, and exponential-scale conditions holds exactly when that candidate is phi.

The public theorem does not claim shortest closed-orbit minimality: the available frozen modules expose a numeric trace-three scale but no typed closed-geodesic carrier with a translation-length map.

References

• Truth anchor: D5/S3/Observer/GoldenCoding/GoldenTransferFourfoldCharacterization.golden_transfer_fourfold_characterization
• Dependency: D5/S3/Analytic/Characterizations/GoldenInverseBranchFixedPoint
• Dependency: D5/S3/Analytic/Characterizations/GoldenTransferTriangle
• Dependency: D5/S3/Observer/GoldenCoding/GoldenHyperbolicAxis