1. Self-similar closure forces r^2 = r + 1
A geometric scale sequence closed under additive ledger composition satisfies ledgerCompose(scale 0, scale 1) = scale 2. Unfolding the definitions yields 1 + r = r², or r² = r + 1. This is proved by closure_forces_golden_equation.
2. phi is the unique positive solution
The quadratic r² = r + 1 has unique positive root φ = (1 + √5)/2. Any r > 0 satisfying the golden constraint equals φ. This uniqueness is established by phi_unique_self_similar.
3. Cited Lean anchors
The forcing chain begins from J-cost uniqueness in IndisputableMonolith.Cost.FunctionalEquation and self-similarity in the discrete ledger, culminating in phi_forcing_complete.