omega_raw_val

In the Ω_Λ derivation module, dark energy is read as a phase-saturation fraction on the eight-tick DFT. The mode budget is combinatorial: $N_{\mathrm{modes,sat}} = 11$ Q₃-symmetric modes (three spatial axes plus gauge sector under the [4,2,2] Gray-code asymmetry), and the tick-addressing denominator is $16 = 2^4$ (four-bit addressing of the eight-tick cycle). The raw fraction is their ratio.

Upstream, omega_raw is defined as that ratio of naturals coerced to reals, and omega_raw_eq already proves it equals $11/16$. The eight-tick octave (forcing landmark T7) supplies the cycle whose addressing yields the factor 16. The electromagnetic one-loop shift $\alpha/\pi$ is applied only later; this declaration isolates the pure combinatorial baseline.

One-line term proof. Rewrite with the upstream equality omega_raw_eq (which unfolds the mode-count definition and shows $\omega_{\mathrm{raw}} = 11/16$), then apply norm_num to evaluate $11/16$ as the decimal $0.6875$. No further lemmas are needed.

This decimal pin is the arithmetic hinge for the local bounds omega_lambda_gt_683 and omega_lambda_lt_686, which subtract the CODATA $\alpha/\pi$ correction from $0.6875$ and close $\Omega_\Lambda \in (0.683, 0.686)$ by linear arithmetic. Downstream, CosmologicalConstantDerivation.Omega_Lambda_interval (THEOREM C-010.4b) identifies $\Omega_{\Lambda,\mathrm{RS}} = 11/16 - \alpha/\pi$ with this module's omega_lambda and reuses that window against Planck 2018.

Framework-wise it records Step 2 of the module claim: the saturated fraction $11/16$ forced by eight-tick addressing and the Q₃ mode count, before the single measured input $\alpha_{\mathrm{CODATA}}$ enters. It does not itself touch T5–T8 uniqueness; it packages the combinatorics those landmarks license into a concrete real equal to $0.6875$.