☾

Modern physical theories typically begin with substantial mathematical structure already in place: a state space, a spacetime or background arena, symmetry data, a causal or temporal order, and rules connecting formal states to observations. The closure program poses a prior question: what form would a physical theory take if none of those structures were primitive, and every admissible distinction had to be recovered from inside the system?

The proposed starting point is the least structure admitted at the outset: the capacity to compare states. Given two states, a comparison tells whether they stand in some relation or not — nothing more. No distances, no coordinates, no clock, no outside vantage. The formal starting data are states and the bare relations among them: the comparison world (U,C). Anything richer must be recovered from those data or stated as a later interface condition.

At the foundational level there is a single requirement: the system must be self-contained. No external structure may enter the definitions. In particular, a comparison must be a genuine relation between states — determined by how the states stand to one another — and not a label assigned from outside. A labeling that no internal relation accounts for is precisely the external primitive structure excluded by the theory. This requirement is the proposed foundation. The formal development then determines its scope and hypotheses. The first major result is not geometric: it is rectangular completeness, the claim that no admissible profile-pair omission remains invisible to a closed comparison structure.

The first consequence is a completeness condition. In a self-contained system, every admissible combination of internally distinguishable features must either be realized or internally excluded. An omission without internal exclusion is not admissible under closure: the internal comparison data admit the possibility, but no state realizes it, and no internal comparison registers the omission. Such a gap would require a selection made from outside the system. A closed comparison world therefore contains no admissible omitted possibility without reintroducing external primitive structure.

This is the central criterion, and it is neither obvious nor universal. A rigid rod constrains two endpoints to a fixed separation; a system coupled to a heat bath is constrained by that bath. These are real systems with genuine profile gaps, and they are classified here as open systems: they are constrained by something outside themselves, or they carry constraints not generated by their own comparison data. The claim is conditional. It holds for systems that are self-contained, and it distinguishes the closed from the open. The theorem-level statement is that a closed system must be complete in this sense: no admissible gap remains without internal detection or exclusion.

Once this comparison architecture is in place, the theory develops a sequence of increasingly structured results. Quotient semantics records what can be reported without violating internal symmetries. Transport obstruction records the failure of comparison data to transport consistently around loops. Under faithful smooth realization, the first stable obstruction layer is read as curvature; the faithfulness of that reading decomposes into a torsion condition (T) and an intrinsic detectability axiom (D) and is discharged on a canonical realization built from the tower. Later chapters develop the consequences for dimension, scalar weighting, field structure, and charge quantization.

Compactification Intuition and the S³ Rigidity Theorem

A useful preliminary picture is the one-point compactification of Euclidean space. The unbounded chart R³ can be completed, topologically, by adjoining a single point at infinity:

Under stereographic projection, this says that the missing point of the three-sphere corresponds to the common asymptotic endpoint of the unbounded Euclidean chart. It is a good intuition for how an apparently infinite coordinate description can be represented by a closed space. By itself, compactification is a topological operation applied to an already given chart; it supplies no metric, no curvature condition, and no intrinsic reason that this compactification rather than another closed model must be selected.

The formal theorem uses a different mechanism. The intuitive phrase “no lopsided directions” is replaced by frame-bundle transitivity: no localized orthonormal frame is privileged over any other by externally supplied structure. In the CFSG paper this is obtained from the closed-system admissibility criterion at the manifold stage, not from manually gluing infinity onto a pre-existing space.

Thus the compactification picture records the motivating topology. The theorem-level claim is the CFSG rigidity statement: under the stated smooth-realization and frame-complete closed-system hypotheses, the remaining simply connected compact realized three-dimensional case is S³.

The later claims are theorem claims under stated hypotheses, with interface conditions recorded in the monograph and on Logical Status. The starting principle is simpler: if a system is to be described without appeal to external structure, then every structure used in the description must either be recovered internally or named as an interface condition.

The mathematics that establishes each step is developed in the monograph and supporting papers. The definitions, hypotheses, and theorems in those works are the controlling statements.

Sources: the comparison-world primitive and intrinsicality condition are in CSM Definition 0.1.1 and Chapter 2; the two-subsystem finitary version is isolated in CCW; the CFSG paper proves the manifold-stage S³ rigidity theorem; the terms used here are collected in Notation; the charge-sector consequence is isolated on Predictions and developed in CSM Chapter 18; and the faithful-smooth-realization interface — condition (T), axiom (D), and the canonical realization — is tracked on Logical Status. The one-point compactification background is cited on Sources and Citation; the frame-bundle and homogeneous-geometry references are cited on Overview and Sources and Citation.

Read the development: Overview · Monograph · Papers