Papers · William Alexander Aldred

The Closure Identity, Generalized: One Scale, Two Relations, and the Lever-Arm Law of Joint Tests

by William Alexander Aldred — Independent Researcher

Published October 31, 2026 · Zenodo · 8 pp · DOI: 10.5281/zenodo.23851338

Abstract

Papers #82 and #83 built a joint test for one pair of relations. The radial acceleration relation and the baryonic Tully–Fisher relation share one scale, g_†. The Closure Identity spends that scale, fitted on the first table alone, as a frozen intercept on the second — and on SPARC the payment splits in two: the normalization is paid by every form tested, and the slope is refused by every form tested, by an amount that depends on regime. This paper asks what of that is SPARC and what is structure. Three results, each derived in the open. First, the identity generalizes: for any pointwise algebraic law g_obs = g_bar ν(g_bar/s) joined to a global relation through power-law kinematics and mass bookkeeping, elimination at the joining point gives a joint identity with slope β = mα/n, a correction fixed by the law, and an intercept frozen by the shared scale — the SPARC identity is the case (m, α, n) = (2, 2, 1), β = 4. Second, the lever-arm anatomy is a theorem, not a SPARC curiosity: for any sample, any target slope, and any frozen intercept, the printed offset splits exactly into the frozen-line mean residual plus the slope shortfall times the sample's lever arm, up to an estimator residual that the sealed SPARC record prices at -0.0055 to -0.0029 dex. Third, the pattern "normalization passes, slope fails" has exact conditions: at least squares it holds if and only if the frozen-line residuals average to zero while covarying with the relation's own coordinate — and it is impossible when the intercept is evaluated at the data centroid, where offset and centering are the same number. Two failure modes of the test itself are proved with counterexamples: refit the shared scale to the second table and the centering test goes vacuous; let the law carry a second, unobserved variable and no correction built from the first table's variables closes the pair. Every general claim is verified against the sealed Square record. The SPARC instance satisfies the generalized identity to the printed digits: one constant, -8.123008, returns every form's frozen intercept from its fitted scale, for all nine forms. This paper claims the structure any joint failure must take. It does not claim to explain why the SPARC slope fails. That question stays open, at full size, where Cycles 1–2 left it.

The result, in plain language

The Square’s joint test, taken general. For any two algebraic relations sharing one scale: when a closure test exists, what it must look like, and why its printed offsets are slopes in costume — proved, then checked digit for digit against the sealed SPARC record.

The normalization passes and the slope fails under exact conditions, stated. Why the slope fails stays an open question, printed at full size.

Program note

Cube Campaign Batch 1, target C-08 — the Square, generalized. Papers 82 and 83 executed the Closure Identity on SPARC’s two reductions; this paper states and proves the identity’s general form for any two algebraic relations sharing one scale, and verifies every numeric instance against the sealed Square records (phaseB and Cycle 2 results; nine registered checks, all pass). Its grades are printed on its face: proof-grade where it proves — P1 stands derived, P2 stands narrowed, P3–P5 and P6a/P6b stand — and it claims no cause for the slope failure it anatomizes. Why the slope fails stays open, printed at full size.

Read the paper on ZenodoAll papers

The program