track6_sensitivity_endpoint_holds
plain-language theorem explainer
Fork F endpoint: Track 6 falsifier-sensitivity is packaged as a single certificate with fixed inventory counts (3 theorem-grade discriminator sectors, 4 rival rows, 10 dataset-attached falsifier rows, 6 likelihood/status rows, 3 guarded ringdown families, 2 mappings) and a nonempty cert. Gravity Track 7 handoff integration cites it. Proof is a one-line term wrapper of the upstream one-statement theorem.
Claim. The Track 6 sensitivity endpoint holds: there are exactly $3$ theorem-grade discriminator sectors, $4$ rival rows covered, $10$ falsifier rows with dataset attachments, $6$ rows carrying likelihood or status records, $3$ guarded ringdown families, $2$ guarded ringdown mappings, and the Track 6 falsifier-sensitivity certificate is inhabited.
background
This module is the Track 7 integration-lane receipt for parallel gravity fork handoffs. Fork F is the Track 6 falsifier-sensitivity package: discriminator sectors, rival-model row coverage, dataset attachments, likelihood/status records, and a guarded GWTC-3 ringdown runner, all bundled as one endpoint proposition.
The endpoint is a pure inventory-and-inhabitation claim. It asserts six numeric equalities (sector, row, and ringdown counts) conjoined with nonemptiness of the Track 6 falsifier-sensitivity certificate. It does not re-derive the underlying falsifier mathematics; it records that the packaging layer is theorem-grade and ready for consumption.
Local setting (module doc): integration records exactly what the new endpoints prove and keeps remaining Track 1 displacement-class leaves as the next dependency. It deliberately does not upgrade the discovery claim.
proof idea
One-line term wrapper. The proof is the single identifier track6_falsifier_sensitivity_one_statement, which already establishes the full conjunction defining the endpoint (the six count equalities plus nonemptiness of the Track 6 falsifier-sensitivity certificate). No further tactics or algebraic reduction occur at this site.
why it matters
Fork F is the sensitivity/falsifier packaging leg of Track 7. Downstream, the full six-fork integration one-statement consumes this endpoint alongside Track 2 many-body, Track 1 Schläfli/stationarity reductions, physical residual/Bianchi, Page-capacity, and $w(z)$ bands, while explicitly refusing an unconditional discovery theorem. The shorter A/C/F receipt and the forkHandoffIntegrationCert instance also require it.
In the Recognition gravity program this is bookkeeping with teeth: it locks the claimed discriminator and GWTC-3 ringdown inventory so later master-theorem handoffs cannot silently drop rows or weaken the guarded runner. It sits beside structural master certificates rather than replacing them. Open residual work remains on Track 1 displacement-class leaves, not on this packaging claim.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.