IndisputableMonolith.Chemistry.ElectrochemicalSeriesFromPhiLadder
This module constructs definitions for the electrochemical series by mapping half-cell categories and reduction potentials onto the phi-ladder using imported RS constants. Physical chemists seeking a first-principles link from Recognition Science to standard electrode tables would cite it. The module consists entirely of definitions and certificates with no proofs.
claimThe module defines half-cell categories together with a reduction potential function $E$ scaled from the phi-ladder and the base time quantum $\tau_0=1$ tick, together with a certificate that the resulting series matches the phi-derived ordering.
background
The module sits in the chemistry domain and imports only the RS time quantum $\tau_0=1$ tick from IndisputableMonolith.Constants. It introduces sibling definitions: HalfCellCategory as a classification of electrochemical half-cells, reductionPotential as the associated potential value, potential_ratio and potential_pos as ordering auxiliaries, and ElectrochemicalSeriesCert as the certifying object for the full series. The local theoretical setting is the derivation of observable chemical quantities from the phi-ladder already fixed in the Constants module.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the base definitions that link the phi-ladder to electrochemical observables, thereby feeding any downstream chemistry results that require standard reduction potentials. It fills the Recognition Science step that converts the self-similar fixed point and eight-tick structure into a concrete chemical series.
scope and limits
- Does not compute or tabulate numerical electrode values.
- Does not prove numerical agreement with experimental tables.
- Does not treat temperature, concentration, or full-cell effects.
- Does not extend beyond the phi-ladder ordering.