guardedRingdownMappings

Track 6 is the Fork F integration endpoint in the Quantum Gravity Discovery Master Plan. This module does not open a new observational lane; it packages existing theorem-grade pieces: the phi-derived discriminator matrix, named dataset and sensitivity attachments on falsifier-register rows, likelihood/status coverage for upgraded rows, and the guarded GWTC-3 ringdown family runner.

The guarded runner is the surface that blocks mixed-family posterior aggregation on the QNM/echo damping path. Upstream, the shared runner defines a supported-mapping count as the literal natural number $2$. The present definition re-exports that count under the Track 6 certificate namespace so downstream handoff propositions can name a single Lean-facing constant.

Definitional one-line wrapper: the constant is definitionally equal to the shared runner's supported-mapping count, itself the literal 2. No tactics, no lemmas beyond that alias. Downstream equality and positivity theorems discharge by rfl or by unfolding and applying the runner's positivity fact.

This constant is one of the six numeric fields in the Fork F Track 6 certificate. Downstream, Track6SensitivityEndpoint and track6_falsifier_sensitivity_one_statement require the conjunction that includes two supported ringdown observable mappings alongside three discriminator sectors, four rival rows, ten dataset-attached falsifier rows, six likelihood/status rows, and three guarded ringdown families.

The certificate is intentionally conservative: it proves a single Lean-facing sensitivity package with named channels and guarded reproducibility surfaces. It does not claim empirical confirmation, and it does not promote still-structural PTA, strong-field, or ringdown physics into a discovery statement. Local theorems pin the count at $2$ and show it is positive, closing the mapping-count slot of the handoff.