IndisputableMonolith.Geology.PlateBoundaryDynamics
This module supplies RS-native dimensionless definitions for seismic velocity scales and plate boundary speeds. Tectonic modelers working in Recognition Science units would cite these for subduction and ridge calculations. It consists of direct definitions and ratio lemmas imported from the Constants module with no internal proofs.
claimThe module defines the reference seismic velocity scale $c_ {seismic}$ (RS-native, dimensionless) together with subduction speed, ridge spreading rate, their ratio, Wilson cycle lower bounds, and the certification object PlateBoundaryDynamicsCert.
background
Recognition Science works in native units with the fundamental time quantum τ₀ = 1 tick supplied by the imported Constants module. This geology module introduces dimensionless quantities for plate boundary processes, including seismic velocity scales and spreading rates expressed relative to that tick scale. Sibling definitions cover c_seismic, subduction_speed, ridge_spreading, subduction_to_ridge_ratio, subduction_faster_than_ridge, and wilson_cycle_lower_dimensionless.
proof idea
This is a definition module, no proofs. It consists of constant declarations and elementary lemmas establishing positivity and ordering of the defined speeds and ratios.
why it matters in Recognition Science
The module supplies the basic RS-native objects for plate boundary dynamics that support larger geological applications of the framework. It rests on the time quantum τ₀ = 1 tick and provides the scales needed for any downstream tectonic modeling.
scope and limits
- Does not derive physical mechanisms driving plate motion.
- Does not include observational calibration or numerical simulation.
- Does not address three-dimensional mantle convection details.