IndisputableMonolith.Chemistry.SolvationShellsFromConfigDim
Module defines solvation shell structures derived from configuration dimension in Recognition Science chemistry. It introduces the solvation shell type along with functions for shell count, shell radius, radius ratio, and a certification type. The module contains only definitions and imports the constants module defining the time quantum.
claimIntroduces the solvation shell type and the shell radius function derived from configuration dimension, along with the solvation shell certificate.
background
The module resides in the Chemistry domain. It imports Mathlib and the Constants module. The Constants module defines the fundamental RS time quantum τ₀ = 1 tick. The module introduces definitions for solvation shells, shell radii, and related certificates based on configuration dimension.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
Supplies the core definitions for solvation shells that enable chemistry calculations in the Recognition Science framework. It depends on the constants module and provides objects for potential use in broader chemical models.
scope and limits
- Does not prove properties of solvation shells.
- Does not connect to spatial dimensions or forcing chain.
- Does not provide numerical predictions for shell radii.