rs_scaffold_below_continuum
plain-language theorem explainer
The minimal Recognition Science constant field contains the full integer φ-ladder, the eight-tick period 8, and spatial dimension 3, yet remains a proper countable subset of the reals. Anyone arguing that RS physics lives on a discrete scaffold rather than the continuum cites this packaging result. The proof is a five-way conjunction of already-proved membership and countability lemmas.
Claim. Let $K$ be the subfield of $\mathbb{R}$ generated by the named Recognition Science constants. Then $\varphi^n \in K$ for every $n \in \mathbb{Z}$, $8 \in K$, $3 \in K$, $K$ is countable, and $K \neq \mathbb{R}$.
background
The module builds the minimal real subfield that carries Recognition Science constants. That field, written $K$ here, is the subfield closure of a finite named constant set; it automatically contains $\mathbb{Q}$ as its prime field. Because the generators are finite, the closure is countable.
Upstream facts already place the golden ratio $\varphi$ in $K$, so every integer power $\varphi^n$ lands in $K$ by the field axioms (the full $\varphi$-ladder of the mass law). Natural numbers likewise sit in $K$, so the forcing-chain outputs $8 = 2^3$ (eight-tick octave, T7) and $D = 3$ (spatial dimension, T8) are field elements. Countability of $K$ plus non-countability of $\mathbb{R}$ forces $K$ to be a proper subset: the continuum is not the home of the RS scaffold.
proof idea
One-line term proof: the five conjuncts are exactly the five upstream theorems rsField_phi_zpow, rsField_eight_tick, rsField_dimension, rsField_countable, and rsField_proper, assembled by anonymous constructor. No new algebra is done here; the work lives in those lemmas (zpow-closure of $\varphi$-membership, natCast membership for 8 and 3, finite-generator countability of the subfield closure, and the cardinality contradiction against $\mathbb{R}$).
why it matters
This is the sharpened Item 1 headline of the Primitive Recognition Calculus minimal-field development: every working RS ingredient (the $\varphi$-ladder, T7's eight-tick, T8's $D = 3$) lives in a countable proper subfield of $\mathbb{R}$. It records that RS physics is scaffold content, not continuum content, matching the forcing-chain landmarks T6–T8 and the mass-law $\varphi$-ladder. No downstream consumers are wired yet; the declaration stands as the packaged claim that later continuum-vs-scaffold arguments can cite in one shot.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.