IndisputableMonolith.Materials.CreepRegimesFromConfigDim
This module defines creep regimes and associated strain-rate functions in the Recognition Science materials domain, derived from configuration dimension. Materials physicists modeling RS-native deformation would cite these definitions for regime classification and certification. The module consists entirely of type and function declarations with no proofs.
claimDefinitions of CreepRegime (regime enumeration), strainRate (strain-rate map), strainRate_ratio, strainRate_pos, CreepRegimeCert, and creepRegimeCert, all parameterized by configuration dimension in RS units with time quantum τ₀.
background
The module sits in the materials subdomain and imports only the RS time quantum τ₀ = 1 tick from Constants. It introduces the sibling objects CreepRegime, creepRegime_count, strainRate, strainRate_ratio, strainRate_pos, CreepRegimeCert, and creepRegimeCert to encode creep behavior extracted from configuration dimension.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
Supplies the foundational type and function declarations for creep-regime analysis that feed higher-level materials theorems in the Recognition Science framework.
scope and limits
- Does not perform numerical evaluation of strain rates.
- Does not import or depend on any material-specific constants beyond τ₀.
- Does not contain or prove any theorems about creep dynamics.