Pith. sign in
module module low

IndisputableMonolith.Chemistry.ColloidStabilityFromJCost

show as:
view Lean formalization →

The module ColloidStabilityFromJCost introduces definitions for colloid regimes and stability certificates derived from the J-cost function within Recognition Science chemistry. It depends solely on the Constants module for the RS time quantum. The module contains four sibling objects: ColloidRegime, its count, ColloidStabilityCert, and its count. This is a definition module with no theorems or proofs. Chemists applying RS to soft-matter systems would cite these objects.

claimDefinitions of colloid regime (a classification of particle interactions) and colloid stability certificate (a predicate asserting stability via J-cost) together with their counting functions.

background

Recognition Science derives all physics from the single functional equation whose solution yields the J-cost J(x) = (x + x^{-1})/2 - 1. The present module sits in the Chemistry domain and imports only the Constants module, whose sole documented object is the fundamental RS time quantum τ₀ = 1 tick. No further upstream results are referenced. The module therefore supplies the first RS-native vocabulary for describing colloidal systems in terms of J-cost.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the basic objects needed to extend Recognition Science into colloid chemistry. It has no listed downstream uses but populates the Chemistry domain alongside the forcing-chain landmarks T5 (J-uniqueness) and T8 (D = 3).

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)