qftSectors
plain-language theorem explainer
qftSectors assigns the constant 5 to count the distinct sectors in the QFT vacuum that arise from the RS DFT-8 structure. Workers on QFT foundations cite the value when equating the five standard techniques to the Recognition Science configuration dimension. The definition is a direct constant assignment with no lemmas or computation.
Claim. In the Recognition Science framework the QFT vacuum consists of five distinct sectors, so the sector count equals $5$.
background
The module states that five canonical QFT techniques (perturbation theory, renormalization, path integral, Feynman diagrams, lattice QFT) equal configDim D = 5. In RS the QFT vacuum is identified with the J = 0 ground state and renormalization-group flow is governed by changes in J-cost at successive recognition scales. The same module records the RS-native value of the fine-structure constant inverse inside the interval (137.030, 137.039).
proof idea
The declaration is a direct definition that sets the constant to 5. No lemmas are invoked and no tactics are applied.
why it matters
The definition supplies the sector count required by the downstream structure QFTDepthCert, which certifies that five techniques match five sectors. It therefore fills the five-sector slot inside the B8 Physics module and connects to the eight-tick octave (T7) and the spatial-dimension result D = 3 (T8) of the forcing chain. The declaration touches the open question of whether the exact count 5 can be derived from the Recognition Composition Law without external assignment.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.