The Standing Neutrino Splitting Ratio from First-Principles Standing Admission

This paper gives a dependency-compressed AASC account of the standing neutrino splittingratio endpoint under explicit standing admission. The result is not a phenomenological fit, not a use of observed neutrino mass splittings as construction inputs for the dimensionless ratio, and not a zero-anchor derivation of absolute neutrino masses. The main result is a same-scope standing-admission numerical window for the current neutrino splitting ratio, together with a conditional one-anchor metric display of the associated projective mass-squared shape. The argument proceeds in three typed stages. First, the standing neutrino splitting-ratio target is treated as a non-degenerate same-scope AASC regime; the UEAP branch audit eliminates every non-current route by kernel-forced claim-standing failure and leaves the current standing ratio as the unique admissible survivor. Second, an AASC standing-admission certificate is introduced for the same-scope source-row interface. From that certificate, the Lean4 formalization constructs the same-scope row admission object, the bundled numerical readout certificate, and rational decimal windows for the standing AASC coordinate, its inverse hierarchy coordinate, and the shifted hierarchy coordinate. Third, the ratio readout is continued into a projective mass-squared shape and then into a one-anchor atmospheric-gap mass-spectrum display when an external metric anchor is admitted. The cited external source-row material is used only as provenance and row data. It is not structural proof authority. The structural authority is the AASC standing-admission certificate, the same-scope transport machinery, the singleton/readout pipeline, and the Lean4 theorem chain. Under AASCNeutrinoSourceRowStandingAdmission, Lean proves 0.0299486814926010 ≤ ρcurrent ν ≤ 0.0299486814926012, 33.3904516045907 ≤ (ρcurrent ν )−1 ≤ 33.3904516045908, and 32.8904516045907 ≤ (ρcurrent ν )−1 − 1 2 ≤ 32.8904516045908. With an admitted external atmospheric-gap anchor, the same projective shape admits a one-anchor mass-spectrum display. That display is reported in the body of the paper as a conditional metric display, not as an abstract-level first-principles absolute-mass theorem. The zero-anchor absolute mass scale, source-independent internal coordinate anchor, explicit operator characteristicpolynomial syntax, PMNS numerical-coordinate derivation, and full oscillation-probability prediction remain open.