photonicCodeRate
plain-language theorem explainer
Photonic code rate is fixed at the rational 7/8 for the photonic-qubit substrate in the three-substrate validation certificate. Researchers citing ALEXIS Exp B results on photonic implementations reference this constant when stating the achieved 87.5 percent rate. The declaration is a direct constant definition with no further computation or lemmas.
Claim. The photonic code rate is the rational number $7/8$.
background
The module ThreeSubstrateValidationCert assembles an empirical certificate for J-cost uniqueness across three substrates: language models, photonic qubits, and magnetized plasma. All substrates are asserted to share the fixed point J(1) = 0, descent under the J-cost gradient, and symmetry under inversion. The photonic substrate is summarized with code rate 7/8 together with leakage 0.02 percent; the definition supplies the exact rational used inside the certificate structure.
proof idea
Direct definition that binds the identifier to the literal rational 7/8.
why it matters
The constant is referenced by photonic_code_rate_rfl, which records the identity 7/8 = (2^3 - 1)/2^3, and by the ThreeSubstrateCert structure. It instantiates the eight-tick octave (T7) inside the forcing chain for the photonic substrate. The surrounding certificate remains at hypothesis grade and is not Lean-proved.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.