IndisputableMonolith.Geology.RockCycleFromConfigDim
This module defines the rock cycle objects in Recognition Science by constructing states and certificates from configuration dimension. Researchers modeling geological processes inside the RS framework would cite these definitions as the entry point for rock cycle work. The module is purely definitional with no theorems or proofs.
claimIntroduces RockState (type of rock configurations), rockState_count (enumeration function), RockCycleCert (cycle validity certificate), and rockCycleCert (principal certificate) derived from configuration dimension.
background
The module sits inside the Recognition Science geology domain and imports the base constants. IndisputableMonolith.Constants supplies the fundamental RS time quantum (RS-native). τ₀ = 1 tick. The four sibling declarations supply the concrete objects: RockState, rockState_count, RockCycleCert, and rockCycleCert. These objects encode the rock cycle directly from the configuration dimension parameter.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
Supplies the core geological objects required by any later RS treatment of rock cycles or planetary surface processes. No downstream theorems are recorded yet, so the module currently functions as a self-contained definition block that later results can import.
scope and limits
- Does not simulate time evolution of rock states.
- Does not incorporate specific mineral chemistry.
- Does not address external forcing such as climate or tectonics.
- Does not claim numerical values for cycle periods.