Chemistry Solvation Shells From Config Dim

The five-shell model

When an ionic solute dissolves in water, the surrounding solvent organizes into distinct layers, called solvation shells. Chemists have long described a primary hydration shell, where water molecules bind directly to the ion, and a secondary shell beyond it. This framework extends that picture to five canonical shells: primary hydration, secondary hydration, tertiary hydration, a bulk-boundary layer, and far bulk. The claim is not that water forms hard boundaries, but that these five regions capture the meaningful structure of the ionic environment.

The model assigns each shell a radius on a geometric ladder. If the innermost shell has radius 1, the next has radius phi, then phi squared, and so on, where phi is the golden ratio, approximately 1.618. This means each successive shell sits about 61.8 percent farther from the ion than the previous one. The ratio between adjacent shell radii is exactly phi, a relation the framework proves holds for every step in the sequence.

In Recognition Science, the framework models the solvent structure as a discrete record of recognition events, where each shell represents a distinct level of interaction with the solute. The five-shell count and the phi ratio both emerge from the framework's forcing chain, which derives the golden ratio as the unique self-similar scaling constant. The framework's certificate bundles these results: five shells, phi ratio between neighbors, and positive radii throughout.

The practical consequence is a compact predictive scheme. Given one measured shell radius, the model fixes all others by repeated multiplication by phi, with no fitted parameters. The framework proves the ratio theorem in its machine-checked library of formal theorems, with no unproved assumptions. Whether real electrolyte solutions obey this exact geometric spacing remains a question for measurement, not for the formal result.

theorem shellRadius_ratio (k : ℕ) : shellRadius (k + 1) / shellRadius k = phi := by
  unfold shellRadius
  have hpos : (0 : ℝ) < phi ^ k := pow_pos phi_pos k
  rw [div_eq_iff hpos.ne', pow_succ]
  ring

noncomputable def solvationShellCert : SolvationShellCert where
  five_shells := solvationShell_count
  phi_ratio := shellRadius_ratio
  radius_always_pos := shellRadius_pos

What this page does not claim

This does not claim that real water forms exactly five discrete shells with hard boundaries. This does not claim that the phi ratio has been verified experimentally against measured solvation radii. This does not claim that the framework derives the chemical identity of water or the ion.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Chemistry/SolvationShellsFromConfigDim.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: