rowsWithLikelihoodOrStatus
plain-language theorem explainer
Records that six of the ten quantum-gravity §7 falsifier rows carry likelihood- or status-style reproducibility artifacts rather than dataset-only attachments. Verification and Track-6 sensitivity certificates cite this constant when stating coverage. It is a bare natural-number definition fixed at 6.
Claim. The number of master-plan §7 falsifier rows upgraded beyond dataset-only attachment to likelihood-style or status-style records equals $6$.
background
The Falsifier Likelihood Register aggregates Sessions 107--115 over the quantum-gravity master plan §7 falsifier list. Session 106 already attached named datasets and positive sensitivity scales to all ten rows. Later sessions upgrade a subset of those rows to likelihood or status artifacts that support reproducibility checks.
Module accounting distinguishes three counts: eight individual likelihood/status artifacts (ΩΛ/Planck, Cassini, GRAVITY S2, EHT M87*, NANOGrav, EPTA, constant-$w$ dark energy, GWTC-3 ringdown/echo/QNM status); six of ten §7 rows that those artifacts cover (echo phenomenology, ΩΛ, dark-energy $w(z)$, QNM/ringdown, PTA stochastic GW, strong-field tests); and four rows that remain dataset-only or future (BMV, Hawking temperature, leading-log entropy coefficient, Page curve).
This constant is the middle count. The module stresses coverage accounting, not empirical confirmation of Recognition Science predictions.
proof idea
Definitional constant: the natural number is set to 6 by direct assignment. No lemmas or tactics are involved. Downstream arithmetic unfolds this name beside the sibling counts for dataset-only rows and total rows, then closes equalities by decide.
why it matters
Feeds the aggregate certificate FalsifierLikelihoodRegisterCert and the one-statement coverage theorem that packages artifact count 8, upgraded-row count 6, dataset-only count 4, total 10, and the partition identity. The same value is re-exported as Track-6's upgraded-row record and appears among the integration-lane fields of Track6FalsifierSensitivityCert (likelihood/status coverage handoff).
In the broader RS verification stack this is structural bookkeeping for the §7 falsifier register: it marks how far the likelihood layer has closed relative to the ten-row plan. It does not touch the forcing chain (T0--T8), RCL, or mass-ladder physics; it only certifies which falsifier rows have moved past bare dataset attachment.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.