IndisputableMonolith.Foundation.MaximalForcing.RSHbarUniverse
Packages the RS action quantum ħ as a forced invariant inside Maximal Forcing. Defines the loosest candidate class of action-quantum values, the RS-native class with ħ = φ^{-5}, and certificates that ħ is forced, positive, and independent of that loosest language. Constant-ladder and RealityClosure consumers cite the forced-ħ and universe-certificate results. Structure is classifier-plus-certificate over the RealityClosure interface.
claimIntroduces the action-quantum universe $\mathcal{U}_{\hbar}$, the loosest class $L_{\hbar}^{0}$ of candidate values, and the RS class $L_{\hbar}^{\mathrm{RS}}$ fixing $\hbar=\varphi^{-5}$. Records that $\hbar$ is a forced invariant of Maximal Forcing closure, positive, and independent over $L_{\hbar}^{0}$, with a classifier and closure certificate for $\hbar$-claims.
background
Recognition Science treats constants as forced values in RS-native units rather than free parameters. The framework fixes $c=1$ and $\hbar=\varphi^{-5}$, with $\varphi$ the self-similar fixed point from the forcing chain (T6), after J-uniqueness (T5). Action is measured against the native time quantum $\tau_0=1$ tick from Constants.
This module lives under Maximal Forcing. RealityClosure is the crown interface: it states the certificate shape $\forall C\in\mathrm{ForcingClosure},P,U,,\mathrm{ClaimClassification},U,C$ without yet asserting the final theorem. The loosest action-quantum class $L_{\hbar}^{0}$ admits every candidate value; the RS refinement pins the value to $\varphi^{-5}$.
proof idea
Definition-and-certificate module, not a single monolithic proof. It introduces the loosest and RS action-quantum classes, a predicate for $\hbar$-claims, and the $\hbar$-universe object. Tightening relates the loosest class to the RS class. Supporting facts record positivity of the forced value and independence over the loosest language. A classifier and an $\hbar$-universe certificate package the claim for the RealityClosure interface; forced-$\hbar$ is the named invariant those certificates export.
why it matters in Recognition Science
Supplies the $\hbar$ fragment of Maximal Forcing Reality Closure: once the action quantum is classified as a forced invariant, it can enter the universal ClaimClassification certificate. Downstream RS constant-ladder work (mass formula on the $\varphi$-ladder, $G=\varphi^5/\pi$, the $\alpha^{-1}$ band) depends on $\hbar=\varphi^{-5}$ being forced rather than postulated. Ties directly to T5–T6 (J-uniqueness and $\varphi$) from which the native $\hbar$ is read off. No used_by edges are recorded yet; the parent landing site is the RealityClosure certificate construction.
scope and limits
- Does not re-derive ħ = φ^{-5} from the J-cost or RCL equation inside this module alone.
- Does not build the full RealityClosure certificate; only the ħ-universe fragment.
- Does not treat SI metrology or unit conversion outside RS-native units.
- Does not force c, G, or α; those live in sibling constant modules.
- Does not assert experimental bounds; only the formal forced-invariant claim.
depends on (2)
declarations in this module (13)
-
def
Lhbar0 -
def
LhbarRS -
def
tighten_Lhbar0_LhbarRS -
def
isHbarClaim -
def
hbarUniverse -
theorem
forced_hbar -
theorem
isHbarClaim_in_closure -
def
hbarForcedInvariant -
theorem
hbarUniverse_classifier -
def
hbarUniverseCert -
theorem
hbar_value_pos -
theorem
hbar_independent_over_Lhbar0 -
theorem
tightening_Lhbar0_LhbarRS_effective