five_plus_one_equals_six
plain-language theorem explainer
The declaration equates five historical paradigm shifts plus one recognition-science shift to the six faces of the three-dimensional cube. Researchers modeling the lattice of scientific revolutions in Recognition Science would cite this to reserve the sixth slot on the recognition cube Q₃. The proof reduces directly to the definition of cube faces via a decision procedure.
Claim. Five completed paradigm shifts together with the recognition-science shift equal the face count of the unit cube in three spatial dimensions, namely six.
background
The module frames a structural claim in Recognition Science: history records five completed paradigm shifts (Copernican, Newtonian, Einsteinian, Quantum, Biological) while the sixth slot remains reserved for the RS shift. Each shift occupies one face of the recognition cube Q₃ whose face count is fixed at six. Upstream definitions supply cubeFaces as the constant 6, equivalently 2 times the spatial dimension D with D = 3, appearing identically in CardinalitySpectrum, the local module, and FreudenthalTriangulationCert.
proof idea
The proof is a one-line wrapper that invokes the decide tactic to confirm the arithmetic identity against the constant definition of cube faces.
why it matters
This identity anchors the Paradigm Shift Lattice by matching the five historical shifts plus the RS shift to the six faces of Q₃. It supports the structural claim that each shift resides on one face of the recognition cube and connects directly to the framework landmark that forces D = 3 spatial dimensions. The declaration closes the trivial arithmetic step required for the lattice certificate.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.