theoremGradeDiscriminatorSectors
plain-language theorem explainer
Counts the theorem-grade discriminator sectors available to Track 6 as three: leading-log entropy, echo damping, and rung phase. Verification and gravity handoff authors cite it when packaging the Fork F sensitivity certificate. The body is a bare natural-number definition equal to 3, discharged by reflexivity downstream.
Claim. The number of theorem-grade discriminator sectors used by Track 6 is $3$, namely leading-log entropy, echo damping, and rung phase.
background
Track 6 is the falsifier-sensitivity lane of the Quantum Gravity Discovery Master Plan. This module is the Fork F integration endpoint: it packages existing work rather than adding a new observational channel. The package includes the phi-derived discriminator matrix, named dataset and sensitivity attachments on falsifier-register rows, likelihood or status coverage for upgraded rows, and a guarded GWTC-3 ringdown runner that blocks mixed-family posterior aggregation.
A discriminator sector is an independent, theorem-grade channel that can separate Recognition Science predictions from rival quantum-gravity models. The three sectors named here are leading-log entropy, echo damping, and rung phase. Spatial dimension $D = 3$ (forced by the T8 step of the forcing chain) sits in the broader RS background but is not re-proved by this constant.
The certificate is deliberately conservative: it asserts a single Lean-facing sensitivity package with named channels and guarded reproducibility surfaces, not empirical confirmation of PTA, strong-field, or ringdown physics.
proof idea
Definitional assignment: the constant is the natural number 3. No tactics or lemmas run at the definition site. Downstream, equality to 3 is immediate by rfl in the sector-count theorem, and that equality is one conjunct of the Track 6 certificate and the one-statement handoff.
why it matters
This constant is the first numeric handoff field for Fork F Track 6. The certificate structure requires theoremGradeDiscriminatorSectors = 3 as the discriminator-sector-count field ("at least three independent theorem-grade discriminator sectors exist"). The same equality appears in the one-statement handoff theorem and in the master gravity handoff endpoint Track6SensitivityEndpoint, which packages theorem-grade sectors, rival-row coverage, dataset attachments, likelihood records, and the guarded ringdown runner.
In framework terms it records that the phi-derived discriminator matrix already supplies three independent theorem-grade channels (entropy, echoes, rung phase) against the rival rows required by Track 6.D. It does not close empirical discovery; it only locks the structural count the integration lane demands.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.