planetStratificationCert
plain-language theorem explainer
The declaration supplies a concrete certificate that Earth's three radial strata sum to 15 layers with each proper subset of the total. A physicist modeling planetary wave propagation would cite it to anchor the combinatorial count before deriving phi-ladder ratios. The construction is a one-line record literal that assembles the count, the 3*5 relation, and the three proper-subset facts.
Claim. Let $S$ be the set of planetary strata. The certificate asserts $|S| = 15$, $15 = 3*5$, and that the atmospheric, terrestrial, and oceanic layers each inject properly into $S$.
background
PlanetStratificationCert is a structure that records the total cardinality of planetary strata as 15, the relation 15 = 3 * 5, and the three proper-subset injections from the component layers. The module treats the stratification as a disjoint sum AtmosphericLayer ⊕ EarthLayer ⊕ OceanLayer because the layers occupy distinct radial shells of the planet. Upstream results planetStratumCount, planetStratum_three_D, atmo_is_proper_subset, earth_is_proper_subset, and ocean_is_proper_subset supply the concrete values by direct rewriting and decision procedures.
proof idea
The definition is a record constructor that directly assigns stratum_count from planetStratumCount, three_D from planetStratum_three_D, and the three subset relations from the corresponding proper-subset theorems.
why it matters
This definition closes the combinatorial structure for the cross-domain stratification claim. It supplies the concrete instance required by any downstream argument that invokes the 5+5+5 decomposition before deriving testable wave-speed ratios at the tropopause and asthenosphere. The construction aligns with the framework's encoding of three radial shells as a sum type.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.