Chemistry Phase Diagram Triple From Jcost Phase Count

The five phase states

The phase diagram of a substance maps which state of matter, solid, liquid, gas, or something else, is stable at a given temperature and pressure. The classical picture recognizes three everyday phases, but a fuller list adds plasma and supercritical fluid, states reached at very high energy or pressure. The Recognition Science declaration phaseCount fixes this list at exactly five canonical states: solid, liquid, gas, plasma, and supercritical.

The declaration is a ledger, a discrete record of recognized states, and it counts the entries. The theorem phaseCount proves the number five by a direct check: the list has five distinct items and no others. This is a recognition cost, the forced price of identifying a state, and at the triple point where all three everyday phases coexist, the cost is zero for each. The count of five is a definitional choice, not a measurement of nature; the framework models matter as having these five states, and the theorem certifies the count is internally consistent.

The declaration does not claim that real substances always exhibit five phases, nor that the list is physically exhaustive. It does not derive the triple point of water from first principles, nor does it predict new phases. The theorem is a formal bookkeeping fact: within the framework's model, the canonical list has five entries, and the certificate that bundles this count with the equilibrium threshold is a construction, not an empirical law.

theorem phaseCount : Fintype.card MatterPhase = 5 := by decide

What this page does not claim

The count of five is a physical discovery about nature. The declaration derives the triple point of any specific substance. The list of five phases is exhaustive for all real materials.

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