pith. machine review for the scientific record. sign in
module module low

IndisputableMonolith.Chemistry.SolvationShellsFromConfigDim

show as:
view Lean formalization →

This module defines solvation shells and associated radii derived from configuration dimensions in the Recognition Science framework. Physical chemists applying RS to solvent structuring would cite these constructs. The module supplies type definitions and basic properties for shell counts and radii.

claimThe module introduces the solvation shell structure with count function and radius determined from configuration dimension, using RS-native units where the time quantum satisfies $τ_0 = 1$ tick.

background

The module sits in the Chemistry domain and imports the fundamental RS time quantum from Constants, where $τ_0 = 1$ tick. It introduces the solvation shell type together with count, radius, radius ratio, and certification objects. These extend dimensional analysis from the RS framework to model solvent layers around solutes.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies building blocks for chemical modeling in Recognition Science. It supports extension of the framework's dimensional forcing to solvation phenomena, though no direct downstream theorems are recorded.

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)