Chemistry Colloid Stability From Jcost Colloid Regime Count

The five regimes

Colloid science classifies how microscopic particles suspended in a liquid resist clumping into five canonical regimes: electrostatically stabilized, sterically stabilized, depletion-stable, gel-forming, and flocculated. Each describes a distinct physical mechanism. Electrostatic stabilization uses surface charge repulsion; steric stabilization uses attached polymer layers; depletion stability arises from excluded volume effects; gel-forming systems develop a weak network; flocculated systems have aggregated irreversibly. This fivefold classification is standard in the field.

The Recognition Science framework models this classification as a finite set called ColloidRegime, with exactly those five members. Its machine-checked library of formal results proves the statement colloidRegime_count: the number of regimes in this set is 5. The proof is a direct computation by the kernel, with no axioms beyond the standard three. The framework also defines a certificate structure ColloidStabilityCert that packages this count as a formal object, and a definition colloidStabilityCert that produces the certificate from the result.

In Recognition Science, the count is not arbitrary. The framework derives from its cost function J that recognition events organize into a five-dimensional configurational space, and identifies this space with the five colloidal regimes. The statement establishes the cardinality of the defined set, not the physical correctness of the classification. The framework's library shows the count is five; it does not prove that real colloids must behave this way.

What the declaration does not claim is equally precise. It does not claim that the five regimes are the only possible classifications in physical chemistry, nor that the mapping from the framework's configurational dimension to real colloidal behavior is experimentally validated. It establishes a formal count within a defined model. The physical bridge, connecting the abstract dimension to measured colloidal stability, remains a target for empirical work, not a proved result.

theorem colloidRegime_count : Fintype.card ColloidRegime = 5 := by decide

structure ColloidStabilityCert where
  five_regimes : Fintype.card ColloidRegime = 5

def colloidStabilityCert : ColloidStabilityCert where
  five_regimes := colloidRegime_count

inductive ColloidRegime where
  | electrostatic
  | steric
  | depletion
  | gelForming
  | flocculated
  deriving DecidableEq, Repr, BEq, Fintype

What this page does not claim

The statement does not claim that real colloids must exhibit exactly five stability regimes. The framework does not prove that the five regimes are the only possible classifications in physical chemistry. The physical bridge from the abstract dimension to measured colloidal stability is not established.

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/ColloidStabilityFromJCost.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: