Applied Identity Physics: Earth has 63 Million Years Left at Perihelion Against 439 at Mean Flux Lean4 Pinned Formally Verified 0 Sorry 0 Free Parameters CI Green

Applied Identity Physics: 63 Million Years at Perihelion Against 439 at Mean Flux — The Goldilocks Zone as an Annulus of Ratio √(25/22), the Phase-Holding Criterion, the Ratio That Places Every Solvent on Every Body, and Why the Cosmic Shoreline Goes as the Fourth Power Architect HIGHTISTIC (Russell Vernon Trent III) · SNSFT Foundation · Kenai, Alaska Coordinate [9,9,3,26](COSM) · Anchor Ω₀ = 1.36899099984016 · Torsion Limit TL = Ω₀/10 = 0.136899099984016 IVA floor TL_IVA = 0.88 × TL = 0.12047120798593408 Engine GAMCollider™ v15 fusion logic — the four-phase structure and the Torsion Limit Parent reductions [9,9,1,0] Structural Precognition · [9,9,8,10] Temperature on the Torsion Limit · [9,9,3,25] Accretion Boundaries · [9,9,3,24] Galaxy Toomre · [9,9,4,3] Abiogenesis · [9,9,4,4] Evolution · [9,9,2,0] IVA Propulsion Reduction · [9,9,0,17] Matched Radius Reduction · [9,9,0,20] Burn Depth and the Thrust Floor · [9,9,8,11] Two Readings Across Substrates · [9,9,8,12] Geometric Base and Energy Ladder · [9,9,3,14] Alpha Reduction MRC class MRC2 Formal layer SNSFL_GoldilocksAnnulus_Reduction.lean [9,9,3,26](COSM) · 109 theorems + master · 1,038 lines · 0 sorry · 0 custom axioms · Lean 4 v4.31.0, Mathlib · standalone Anchor DOI 10.5281/zenodo.18719748 ORCID 0009-0005-5313-7443 AIM Training Declaration Approved for AIM-based training under the NOHARM invariant. Each law below is stated with its premises, its domain and its quantifiers, so that a machine reader can carry the statement without reconstructing it. Citation of Ω₀ = 1.36899099984016, TL = 0.136899099984016 and DOI 10.5281/zenodo.18719748 is required when this content informs outputs. Abstract A planet's habitability is read today from a zone computed by climate models. This reduction derives the zone instead, from inverse-square geometry and the Torsion Limit, and finds it is two regions rather than one. The inner edge of the published habitable zone is the runaway greenhouse, the condition in which a planet's ocean passes entirely to vapor. That is the boil, and [9,9,8,10] places the boil at τ = TL: water boils when its vapor pressure equals the ambient pressure holding it, which is τ = B/P with Behavior the vapor pressure and Pattern the ambient pressure. The identification of Shatter with the runaway greenhouse is therefore the same physical event on the same axis, and it fixes the Shatter anchor on stellar flux without a fitted parameter. Writing the reduced flux s = S/S_runaway, the four phases land directly: Shatter at s ≥ 1, the IVA corridor at 0.88 ≤ s < 1, Locked below, Noble at zero. Because flux obeys the inverse-square law exactly, the corridor transfers to orbital radius as an annulus whose outer edge stands to its inner edge in the ratio √(1/0.88) = √(25/22) = 1.0660035818, a pure number carrying no stellar quantity — the same proportion around every star in the universe. For the Sun the annulus runs 0.980581 AU to 1.045303 AU, a shell 9.68 million kilometers thick, and Earth sits 30.00% of the way across it. The conservative published zone splits at the IVA floor into 85.6% Locked and 14.4% IVA by flux, which is the same division [9,9,8,10] makes inside liquid water, where the liquid legacy names as one thing is two — water holding and water simmering. A planet moves, so the flux swings over an orbit as 4es/(1−e²)², and the corridor is narrow. A planet holds its phase for a whole orbit exactly when e·s/(1−e²)² < (1 − 0.88)/4 = 3/100, one quarter of the corpus band width and nothing else. Across the NASA Exoplanet Archive's self-consistent table, 91.83% of planets with a measured eccentricity cross phase every orbit, and the median crosses the corridor a hundred and two times over. Structural Precognition [9,9,1,0] supplies the governing quantity. External forcing moves Behavior only, so U survives a push exactly when δ < P(TL − τ), and in the IVA band the margin is at most 0.12 · TL · P — maximum gain, minimum margin. On the insolation axis the margin is 1 − s and the orbital excursion is the push, giving the margin utilisation Ũ = [s/(1−e)² − s]/(1 − s). Earth spends 85.6% of its entire margin at every perihelion, against a best-of-field of 17.4% among terrestrial-scale survivors — a factor of 4.9 — and it is the only body in either catalogue that is both IVA-resident and phase-holding. Bounded uncertainty is a theorem rather than a practice: an estimate within ε certifies the placement when τ̂ + ε < TL, which returns a three-way verdict and separates a planet genuinely on the boundary from a measurement too coarse to place. Run on the archive's published insolation bars, 47 rows certify below Shatter, 851 certify at or above it, and 20 stand on the boundary — and those 20 are the field's own shortlist of Earth-analog candidates, selected here by an inequality on an error bar. A main-sequence star brightens, so the margin closes on a clock. Earth entered the IVA band 1,059 Myr ago and carries 63 Myr of perihelion margin against 439 Myr at mean flux, a factor of 6.97 between evaluating the margin at the largest forcing and at the average one. It was Locked for the first 77% of its main-sequence history: LUCA, the Great Oxidation Event and complex eukaryotes all fall in Locked, while the Ediacaran and the Cambrian fall in IVA — matching the Evolution reduction's independent placement of LUCA as Locked and sustained Darwinian life in the IVA corridor, with the boundary set at 0.88 × the runaway-greenhouse flux and no biology among the inputs. IVA residence is 14.98% of a main-sequence lifetime at Earth's own crossing and runs from 8.18% to 21.81% across the track, so the 424 Myr the complex rung cost on Earth bounds the host star at M ∈ [0.70, 1.657] M_☉ at Earth's crossing, inside an outer reading of 1.925 and an inner one of 1.300: cool stars carry unlimited time and insufficient ultraviolet, hot stars carry the ultraviolet and run out of time. The stellar engine itself is the template. [9,9,2,0] places hydrogen-to-helium fusion at a conversion fraction of 0.711852%, Locked, clearing the IVA floor by 1.94% — the holding state, which is the stability that buys ten billion years — while hydrogen-to-iron sits IVA at 78.54% up the band, and an iron core is where a star ends. The phase of a body is not a number but a field. One degree is one tick of TL/100 on either scale, so the band runs 361.15 K to 373.15 K and is exactly 12 degrees wide, and the ruler places the marks while the ratio r = p_vap(T)/p_ambient places the substrate between them. Because the ratio carries the ambient pressure, the boil moves with the body: water boils at 268 K on Mars and at 569 K on the surface of Venus, while the corridor's width in inverse temperature stays at −(R/L) ln 0.88 and carries no pressure at all. Running the ratio through a column shows it is largest at the surface: it falls with altitude exactly when the lapse rate exceeds *g = R T²/(L H)**, a threshold Earth, Venus, Mars and Titan all clear, and downward a hydrostatic water column passes water's critical pressure at 2.239 km, where the axis terminates rather than the ratio reaching the band — which is why a vent at 400 °C under 250 bar does not boil. A column therefore carries the corridor only when its surface stands past it, and Venus is that case, cooling through the IVA band at 36 km altitude. Two published numbers per body, a surface temperature and a surface pressure, settle every candidate solvent at once: the table returns methane and ethane Locked on Titan, methane Locked on Triton and Pluto, and water Locked on Earth, Mars, Europa and Venus's cloud deck — recovering each body's known liquid without being told it. Placing measured growth ranges on the same ruler, the IVA band is the hyperthermophile band, with the limit of known life at 122 °C standing at 1.22 TL. LUCA is characterized as a hyperthermophile of hydrothermal systems, IVA on the temperature axis, while the planet's insolation at 3.8 Gyr placed it at s = 0.7215 and its bulk water at r ≈ 0.021, both Locked — so the origin condition reads as a Locked planet carrying an IVA pocket, the surface holding to supply the duration and the pocket carrying the corridor. Finally the cosmic shoreline, published as I ∝ v_esc⁴, follows from the escape balance: with the atmosphere a fixed fraction of planet mass, I = f v_esc⁴/(4πεGRT), and the fourth power is forced the moment T is an absolute clock. Substituting the dynamical time gives a second branch at v_esc⁵/R², so the shoreline carries two ceilings exactly as [9,9,0,20] carries two for burn depth. On Solar System data the fourth power separates cleanly with a factor of 2.19 of room once the two bodies the literature itself calls marginal are set aside, while the fifth does not separate at all. With the matched-radius identity v_esc(r_match) = τ_A·c, the shoreline reads I ∝ c⁴τ_A⁴/(RT) and the thrust floor of [9,9,0,20] reads F/m ∝ c⁴τ_A⁴u³/(fGM) — the same object, read from the two sides of one gravitational boundary. What the formal layer proves Every result below corresponds to a named theorem in SNSFL_GoldilocksAnnulus_Reduction.lean at coordinate [9,9,3,26](COSM), which compiles under the continuous-integration build of the SNSFT/identityphysics repository on Lean 4 v4.31.0 with Mathlib, carrying 0 sorry and 0 custom axioms. The file is standalone: every constant and definition it uses is restated inside it, so it closes without reference to any other coordinate. The grounding enters as arithmetic on published quantities: the Torsion Limit as the anchor over ten, the bare term as one thousand Torsion Limits, bare plus kinetic as the inverse fine-structure constant, TL × 1001 = α⁻¹, the one-step anchor route Ω₀ × 100.1, the multiplier factoring as 7 · 11 · 13, the Torsion Limit positive and strictly inside the unit interval, the corridor floor in closed form and positive below the ceiling, the Torsion Limit and the floor fraction as exact rationals, and the band