isPhiClaim

In the Maximal Forcing framework, a RealityClaim on a realization type R is a pair of an audit-facing string label and a predicate holds : R → Prop. Forcing and independence are then stated relative to an admissible class of realizations: a claim is forced when every admissible realization satisfies it, and independent when some do and some do not.

This module is the Phase-2 (T6) instantiation. The carrier is a candidate scale ratio $r : \mathbb{R}$. The loose class is the positive reals; the gate class adds the golden self-similarity constraint $r^2 = r + 1$. The claim under study is that $r$ equals the golden ratio $\varphi$, the unique positive solution of that equation (T6 in the forcing chain).

Upstream, RealityClaim is the primitive structure; the mathematical content lives entirely in holds.

Definitional structure instance, not a proof. Sets the audit label to the string "r = φ" and the holding predicate to the equality $r = \varphi$ on $\mathbb{R}$. No lemmas are applied.

This is the sole claim of the phi-layer claim universe, so every T6 register entry routes through it. forced_isPhi shows it is forced over the golden gate class (wrapping phi_unique_self_similar). isPhi_independent_over_Lphi0 shows it is independent over the loose positive-reals class (witnesses $\varphi$ and $1$). isPhiClaim_in_closure and isPhiForcedInvariant place it in the forced-register for T6; phiUniverse and phiUniverse_classifier treat it as the universe's only closed claim. It is the concrete content of the T6 landmark: phi forced as the self-similar fixed point once the golden constraint is imposed.