planetStratificationCert
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.
claimLet $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 in Recognition Science
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.
scope and limits
- Does not establish empirical wave-speed predictions at layer boundaries.
- Does not derive phi-ladder ratios from the stratification count.
- Does not address non-nested or overlapping strata configurations.
formal statement (Lean)
69def planetStratificationCert : PlanetStratificationCert where
70 stratum_count := planetStratumCount
proof body
Definition body.
71 three_D := planetStratum_three_D
72 atmo_sub := atmo_is_proper_subset
73 earth_sub := earth_is_proper_subset
74 ocean_sub := ocean_is_proper_subset
75
76end IndisputableMonolith.CrossDomain.PlanetStratification