alphaInv_rs
plain-language theorem explainer
The RS-native inverse fine-structure constant is supplied as a direct alias to the canonical derivation from seed and gap parameters. Researchers in the Recognition Science framework reference this definition when expressing electromagnetic coupling strengths in tick and voxel units. The implementation is a one-line alias inheriting the exponential resummation without additional computation.
Claim. $α^{-1}_{rs} := α^{-1}$ where $α^{-1} = α_{seed} exp(-f_{gap}/α_{seed})$ is the dimensionless inverse fine-structure constant obtained from the structural seed and gap.
background
The module establishes a Recognition-Science-native unit system with base units tick (atomic time quantum) and voxel (causal spatial step), enforcing c = 1 and organizing all measures on the phi-ladder where phi^n provides natural scaling. Derived quanta include coh as phi^{-5} for energy and act as hbar equivalent. All dimensionless ratios remain fixed by phi alone, with SI conversion treated as optional via external calibration.
proof idea
The declaration is a one-line wrapper that applies the alphaInv definition from the Alpha module.
why it matters
This definition places the fine-structure constant inverse within the RS-native units, supporting the framework claim that all dimensionless ratios are fixed by phi. It aligns with the alpha band constraint of 137.030 to 137.039 and contributes to the phi-ladder organization of physical constants. No downstream uses appear in the current graph, but it completes the set of native constants alongside time, length, and mass.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.