phaseDiagramCert
plain-language theorem explainer
Recognition Science treats the triple point as the unique state where J-cost reaches zero simultaneously for solid, liquid, and gas phases. This definition supplies the PhaseDiagramCert instance that records the five canonical matter phases along with the equilibrium threshold. It is assembled by direct substitution of the phaseCount theorem into the structure fields.
Claim. The phase diagram certificate is the structure asserting that the cardinality of matter phases equals 5 and that the equilibrium threshold satisfies the canonical certification condition, obtained by substituting the phase count result.
background
The module sets the triple point as the recognition equilibrium minimizing J-cost for all three phases at once, with J(r) = 0 when the recognition ratio r equals 1 for each phase. Five canonical phase states (solid, liquid, gas, plasma, supercritical) correspond to configuration dimension 5, while the triple point concerns the first three phases. The PhaseDiagramCert structure packages the finite cardinality of matter phases together with an equilibrium threshold that is a canonical certificate.
proof idea
This is a definition that constructs the PhaseDiagramCert by direct field assignment, populating the five phases slot with the result of the phaseCount theorem and setting the equilibrium threshold to the cert value.
why it matters
This definition supplies the concrete certificate instance required for phase diagram analysis in the J-cost model of chemistry. It aligns with the five-phase count and the configDim D = 5 landmark from the Recognition Science framework. No downstream theorems are recorded, so it serves as a basic building block for triple-point claims within the module.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.