IndisputableMonolith.Physics.GasViscosityFromPhiLadder
Packages the Recognition Science account of gas viscosity as a φ-ladder scale. Defines a domain cost, a positive canonical threshold, and an inhabited GasViscCert tying viscosity to φ-powers and the Cost layer. Transport-coefficient work in RS would cite the certificate. The module is definitional: identities, nonnegativity, positivity, and a cert instance rather than a forcing proof.
claimGas viscosity in RS-native units is fixed by a nonnegative domain cost on the $\varphi$-ladder together with a strictly positive canonical threshold; the module packages these data as an inhabited viscosity certificate.
background
Recognition Science sets dimensionful scales on the $\varphi$-ladder once $\varphi$ is fixed as the self-similar point of the $J$-cost (forcing step T6). Masses already use yardstick $\cdot\varphi^{(\mathrm{rung}-8+\mathrm{gap}(Z))}$; transport coefficients are expected to sit on the same ladder. The module imports Constants (RS time quantum $\tau_0=1$ tick) and Cost (the underlying cost functional).
Locally it introduces a domain cost for the gas-viscosity setting, an evaluation identity for that cost, a nonnegativity lemma, a canonical threshold with a positivity proof, and a GasViscCert structure with a concrete inhabited certificate. The Physics-domain setting is RS-native ($c=1$, ladder rungs carry the units).
proof idea
Definition module, not a multi-step forcing argument. It defines the domain cost and records an evaluation identity plus nonnegativity; defines the canonical threshold and proves it is positive; assembles GasViscCert and supplies an inhabited certificate. The logical work is wiring Cost and Constants into a viscosity-facing interface.
why it matters in Recognition Science
Gives Physics a certificate-shaped handle on gas viscosity in the same $\varphi$-ladder language as the mass formula and the RS constants ($\hbar=\varphi^{-5}$, etc.). No downstream used_by edges are recorded yet, so the module is presently a leaf packaging layer: consumers can assume GasViscCert rather than rebuild domain cost and threshold. It does not advance the T0–T8 forcing chain; it applies the already-forced $\varphi$ ladder to a transport observable.
scope and limits
- Does not derive viscosity from Boltzmann or Chapman–Enskog kinetic theory.
- Does not claim numerical fits to measured viscosities of named gases.
- Does not force φ, J-uniqueness, or the eight-tick octave (upstream).
- Does not treat liquid, plasma, or solid rheology.
- Does not fix absolute SI conversion beyond RS-native ladder scaling.