IndisputableMonolith.Geology.PlateBoundaryDynamics
The module supplies RS-native dimensionless definitions for seismic velocity scale and plate boundary rates including subduction speed, ridge spreading, their ratio, and Wilson cycle bounds. A geophysicist working in Recognition Science units would cite these to scale Earth dynamics consistently with the base constants. The module consists entirely of direct definitions that import only the Constants module and introduce no theorems.
claimReference seismic velocity scale $c_{ m seismic}$ (dimensionless, RS-native); subduction speed, ridge spreading rate, subduction-to-ridge ratio, Wilson cycle lower dimensionless bound, and the certification object PlateBoundaryDynamicsCert.
background
The module sits inside the Recognition Science framework and imports only the Constants module whose sole documented object is the fundamental time quantum $ au_0 = 1$ tick. It introduces a collection of geological quantities expressed in RS-native units: the reference seismic velocity scale (dimensionless), subduction and ridge speeds, their ratio, and Wilson cycle parameters. These sit alongside the phi-ladder and forcing chain (T0-T8) that govern all RS derivations, providing scaled rates for plate tectonics without introducing new physical postulates.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the geological layer of the Recognition framework by furnishing RS-scaled expressions for plate-boundary processes. It feeds any downstream geological or geophysical models that require consistent dimensionless rates derived from the imported Constants. No direct used_by edges are recorded, indicating it functions as a leaf definition set rather than an intermediate lemma.
scope and limits
- Does not derive numerical values beyond direct use of imported constants.
- Does not contain dynamic evolution equations or time-dependent simulations.
- Does not address non-tectonic geological phenomena such as volcanism or erosion.
- Does not prove any relation to the eight-tick octave or spatial dimension D=3.