Research Notes

The closure program did not begin from its present premise. Its initial question, formulated in 2009, was which structures treated as given in physical theory are necessary, and which are imported by convention. The search was exploratory rather than premise-driven.

The method was reconstructive. Classical mechanics, field theory, relativistic structures, and quantum structures were examined in sequence, with attention to which ingredients were derived internally and which were supplied externally. Across those reconstructions, the same structural pattern recurred in different forms: external frames, pre-supplied backgrounds, and viewpoints outside the system performed work not recovered from the system itself.

The common issue was closure. In each case, the relevant structure was not fully self-contained unless it could be recovered from within, with no external device doing definitional work. Closure emerged as the common requirement behind several initially separate problems. The single premise of the present formulation was reached late in the development, after the reconstructions had already identified the recurring source of external input.

For most of the program’s history the foundation was not a single premise but several apparently separate commitments—that the systems in question are closed, that their finite structure fixes their global structure, that comparison is the right primitive. They appeared independent during the reconstruction.

In the present formulation, these commitments descend from one requirement: a comparison must be intrinsic, a relation among states rather than a labeling imposed from outside. What had been a list of standing principles became a single premise with the rest as consequences: closure and the finite-to-global boundary became theorem-level results. The formal presentation follows this logical order, even though the historical discovery proceeded in nearly the reverse direction.

One distinction took years to state cleanly, and it is worth isolating because the terminology can be ambiguous. The mathematical sense of closure in this program—closure under intrinsic comparison—is not the cosmological sense, the open-versus-closed universe of FLRW cosmology. They are different ideas at different logical levels. The theorem that a genuinely closed three-dimensional system is the three-sphere is a result about structural closure; it is not a claim about whether the cosmos is spatially closed.

The two senses were not sharply separated in earlier stages of the work. Structural Closure and the Cosmological Misnomer develops the separation in full.

The reconstructive route repeatedly moved the foundational level downward. Closure first appeared fundamental and was later derived. The finite-to-global boundary first appeared as a separate principle and was later derived. Several candidate primitives were therefore reclassified as consequences.

The remaining primitive is not a further object but an admissibility condition: a comparison is a relation, not a labeling. To count as an admissible distinction, it must be invariant under internal symmetries. This is the stopping point for a closed-world account because a non-relational label would reintroduce the external primitive structure the account excludes.

That is the historical reason the present exposition begins at this point. The mathematical question is then not whether the premise is independently plausible, but what follows from it under precise hypotheses: rectangular completeness, quotient descent, transport obstruction, and—in the ghost-free regime (T)+(D)—the geometric rigidity results. The premise came last in discovery, but it stands first in the finished logical order.

The monograph and six supporting preprints are public. They state the current formal theory; these notes provide historical context.