IndisputableMonolith.Physics.TopologicalChargesFromConfigDim
This module defines the core objects for topological charges derived from configuration dimension within Recognition Science physics. It supplies TopologicalCharge, a counting function, and certification structures that connect config space dimension to discrete charges. Researchers deriving charge spectra or quantization from the RS functional equation would cite these definitions. The module consists of four sibling declarations and contains no proofs.
claimThe module introduces the objects TopologicalCharge, topologicalCharge_count, TopologicalChargesCert, and topologicalChargesCert that formalize integer-valued topological charges arising from configuration dimension in RS-native units.
background
The module sits in the Physics domain and imports only Mathlib together with IndisputableMonolith.Constants, whose sole documented content is the fundamental RS time quantum τ₀ = 1 tick. It therefore operates in the setting where all physical structure, including topological features, emerges from the single functional equation via the forcing chain T0–T8, the Recognition Composition Law, and the phi-ladder. The sibling declarations supply the minimal vocabulary needed to assign and certify charges once a configuration dimension is given.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the basic vocabulary for topological charges that is required by any later derivation of charge spectra or quantization rules inside the Recognition Science framework. It directly supports the physics-level consequences of the eight-tick octave and D = 3 that appear downstream from the unified forcing chain.
scope and limits
- Does not prove existence or uniqueness of any charge values.
- Does not relate charges to the mass formula, Berry threshold, or alpha band.
- Does not import or depend on any other physics modules.