IndisputableMonolith.Physics.GravitationalWaveSourcesFromConfigDim
Module defines GWSourceClass, gwSourceClass_count, GWSourcesCert and gwSourcesCert for classifying gravitational wave sources by configuration dimension. It imports the RS time quantum τ₀ = 1 tick from Constants. Physicists working on discrete models of gravity sources cite these for source taxonomy. The module is a collection of type definitions and counting functions with no proofs.
claimDefines GWSourceClass as a type classifying gravitational wave sources by configuration dimension, together with the counting function gwSourceClass_count and the certificate type GWSourcesCert.
background
The module resides in the Physics domain of Recognition Science and imports IndisputableMonolith.Constants, whose sole documented content is the fundamental RS time quantum τ₀ = 1 tick. It introduces sibling definitions GWSourceClass, gwSourceClass_count, GWSourcesCert and gwSourcesCert to support gravitational-wave modeling from configuration dimension. No further upstream theorems are referenced beyond the constant τ₀.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
Supplies the source-classification primitives required by any downstream gravitational-wave analysis in the Recognition framework. No used_by edges are recorded, so the module currently stands as an isolated definition block feeding future physics derivations that rely on config-dim source taxonomy.
scope and limits
- Does not derive emission spectra or waveforms.
- Does not link sources to the phi-ladder mass formula.
- Does not invoke the Recognition Composition Law or J-uniqueness.
- Does not constrain sources to the alpha band or D = 3.