Overview

Every physical theory carries structural commitments. Some are explicit axioms; others are built into the mathematical language itself. The question at the foundation of this program is which commitments are internally recoverable and which are imported by convention. The aim is to identify the minimal commitments of a closed physical theory and determine what structure follows from them.

The phrase “closed physical theory” is used here in a specific sense. A theory is closed when every structure it invokes is recoverable from within the system itself—when there is no appeal to an external frame, an external observer, a pre-supplied background, or any external primitive structure not justified by internal resources. This is not a claim about a particular theory being correct. It is a constraint on the adequacy of closed-world description.

Research Organization

The closure program is organized around five standing questions: what is primitive, how structure is derived, which results have been obtained, what empirical consequence is currently public, and where the formal statements are recorded.

Formal setting

The primitive object is a comparison world (U,C), consisting of states and internally admissible comparison predicates. Geometry, topology, dynamics, subsystem factorization, and external coordinates are not primitive at this level.

Method

The program proceeds by deriving admissible structure from comparison data: finite-profile and rectangular-completeness arguments, quotient semantics under group actions, transport groupoids and obstruction towers, and faithful smooth realization only under explicit interface conditions.

Principal results

The public record includes rectangular completeness under stated comparison-world hypotheses, quotient-level limits on subsystem attribution, endpoint-fiber factorization for route invariants, the second-jet faithful-realization analysis, the S³ rigidity theorem at the manifold stage, and the conditional charge-sector prediction.

Empirical status

The only public empirical prediction currently listed is the charge-denominator exclusion on Predictions. Other comparisons with standard physics are recovery targets, interface conditions, or structural correspondences unless explicitly stated as predictions.

Formal record

Definitions, hypotheses, proofs, and versioned manuscript records are collected on Preprints. Claim classification is collected on Logical Status.

The Starting Point: Comparison Data

Consider a system treated as self-contained. There is no external observer, no pre-existing coordinate system, no background space, and no external clock. The relevant question is what can be stated about such a system using only internal resources.

The only operation available internally is comparison. Given two states of the system, one can ask whether they are the same or different, and more finely, compare them along whatever dimensions of variation the system itself supports. This is the primitive data: a set of states equipped with binary comparison predicates. Topology, metric, dynamics, and geometry are not primitive data. The question is what structure must emerge from this minimal beginning.

This starting point is methodological rather than ontological. If a structure cannot be recovered from comparison data alone, then it cannot be taken as primitive in a closed theory; it must be recovered internally, stated as an interface condition, or left outside the closed-system claim.

Two Subsystems: Rectangular Completeness

When a system decomposes into two subsystems, a new question arises. The whole contains joint states of the two parts. But does it contain all possible combinations of states from each part individually, or only some of them? The condition under which the whole contains all such combinations is called rectangular completeness.

The name comes from the observation that the set of joint states can be arranged as a grid or rectangle: the rows correspond to states of one subsystem, the columns to states of the other, and each cell is a joint state. Rectangular completeness is the condition that every cell is filled—that every combination is realized. When this holds, the system admits a natural product structure: the whole is, in a precise sense, the product of its parts.

Rectangular completeness turns out to be equivalent, under mild conditions, to a property called profile-maximality: no extension exists to a larger comparison world in which one subsystem has the same range of profiles but strictly more states. This equivalence is not obvious, but it is provable from the comparison data alone.

Quotient Semantics: When Labels Are Lost

In a closed system, symmetries are not optional. If the system’s internal comparison structure identifies two states as equivalent under a symmetry, then no admissible report can distinguish them. The states belong to orbits of the symmetry group, and the physically accessible information is what descends to the orbit space—the quotient.

This has a direct consequence for subsystem attribution. Consider a pure motion within a diagonal orbit of a two-subsystem system: a change that moves both subsystems together in a correlated way. Because the motion is within a single orbit, quotient-level reports do not determine whether the change is assigned to subsystem A or to subsystem B. The labels “A changed” and “B changed” are not distinguished by any admissible comparison. Subsystem attribution is not an invariant of the closed system.

One motivating thought experiment is a frame-attribution question. Suppose a field configuration and a reference subsystem within the same closed system are available only through their mutual comparison data. One presentation may hold the reference subsystem fixed and attribute the relative change to the field; another may hold the field data fixed and attribute the change to the reference subsystem. The formal issue is not whether a particular electromagnetic field is literally rotating. It is whether the attribution of the relative change to one side rather than the other is internally recoverable. If it is not, the distinction is a choice of representative, not quotient-level physical content.

This is a quotient-level consequence of closed description. It is a structural fact about what it means to be closed. If there is no external frame, then there is no invariant criterion for determining which subsystem moved. The notion of subsystem attribution itself presupposes the kind of external primitive structure that closure excludes.

Transport and Curvature

To compare states across different locations or contexts, a closed system requires a notion of transport: a rule relating a quantity at one point to the corresponding quantity at another point. This rule cannot be supplied from outside; it must be recoverable from the system’s internal comparison structure.

The comparison groupoid is the mathematical structure that encodes how points relate to one another through admissible comparisons. Transport arises naturally from this groupoid: a route from one point to another carries comparison data along with it. When two different routes between the same points give different transport data, there is an obstruction. In a smooth connection setting this is the familiar holonomy pattern: endpoint equality does not by itself determine the transported data [2,3,14].

Curvature, in this setting, is the first stable layer of transport obstruction in a closed system, realized as curvature under faithful smooth realization. The curvature hierarchy—the hierarchy of increasingly fine-grained obstructions to route independence—emerges from the comparison groupoid before any smooth geometry is introduced. The faithfulness of the smooth reading decomposes into a torsion condition (T) and an intrinsic detectability axiom (D), shown exactly necessary by ghost counter-models, and is discharged on a canonical realization built from the transport tower (CSM Chapter 13, §§13.14–13.16).

The Shape of the Universe

The culmination of the geometric branch is a theorem about genuinely closed three-dimensional systems at the smooth-realization stage. The theorem has that scope.

The relational theory first supplies the comparison architecture and transport-obstruction data. When that obstruction data is faithfully realized on a smooth manifold, one obtains a compact Riemannian 3-manifold M equipped with the relevant closed-system comparison structure.

The manifold M is then modeled through its orthonormal frame bundle: the collection of orthonormal frames at all points. The product of the frame bundle with itself carries the diagonal action of the isometry group. Admissible comparison reports are those respecting this symmetry, i.e. those factoring through the corresponding orbit space.

Genuine closure at this stage is stated as frame-completeness: admissible frame transport is isometry-induced, and every local orthonormal frame must be internally comparable with every other. That condition forces the isometry group to act transitively on the frame bundle. By the standard homogeneous-geometry result [1] invoked in the program’s CFSG paper, transitivity on the orthonormal frame bundle forces constant sectional curvature. Together with the program’s gauge-reduced transport criterion for simple connectivity, the remaining closed realized three-dimensional case is S³.

The result is a rigidity theorem at the faithful smooth-realization stage: in the ghost-free regime (T)+(D), genuine closure selects the spherical case, and the realization is supplied canonically by the tower under that pair. For the compactification intuition and theorem-level mechanism, see Foundations.

The Same Pattern Across Theories

A separate result, the factorization criterion for route invariants with fixed endpoint data, records a pattern that recurs across many areas of physics. The criterion is simple: a route-dependent quantity is determined by its endpoints if and only if it is constant on every endpoint fiber. Equivalently, it must factor through the endpoint quotient.

This criterion, proved from elementary principles, captures the same structural obstruction that appears in quotient semantics (when do orbit-level reports determine object-level data?), in categories (when do morphisms factor through objects?), in gauge transport (when does parallel transport depend only on the path’s endpoints?), in Wilson loops (when do loop variables reduce to endpoint data?), in differential geometry (curvature as the obstruction to path-independence), and in general relativity (the holonomy group as a measure of non-flatness) [2–4].

The recurrence is not accidental. The same logical structure—the failure of endpoint-determinedness—manifests as distinct phenomena in each domain. The factorization criterion unifies them under a single formal account.

Four Forms of Primitive Structural Input

If closure is a constraint on admissible physical description, then theories can fail to satisfy it in identifiable ways. A four-axis taxonomy isolates the recurrent forms of primitive structural input that violate closure:

Externalization. A structure is externalized when it is treated as given rather than derived from the system’s internal resources. Examples include an absolute background space, an external observer, or a pre-supplied causal structure.

Artificial factorization. A system is artificially factorized when it is divided into subsystems in a way that is not recoverable from the intrinsic comparison structure. The division imports a distinction that the system itself does not support.

Premature globalization. A local description is prematurely globalized when features that hold in a restricted context are extended without justification to hold everywhere. The structure is imported because it is convenient, not because it is forced.

Reification of repair. A formal repair of a structural problem is reified when the repair mechanism is treated as a physical object. An artifact of the mathematics is treated as if it were a feature of physical ontology.

These four axes are proved to be logically independent: no one of them is a Boolean consequence of the other three. They offer a scheme for classifying foundational tensions in classical mechanics, quantum mechanics, quantum field theory, general relativity, and statistical mechanics—not as separate problems, but as instances of a common pattern [3,5–8].

Relation to Standard Frameworks

Quantum field theory, general relativity, and standard cosmology enter the program as recovery targets. Their empirical success is part of the constraint on any closed-system reconstruction. The question is prior to empirical model selection: which structures may be taken as primitive in a theory of a closed system? Standard frameworks often begin with substantial mathematical input already in place—a spacetime arena, field content, state spaces, regulators or renormalization scales, boundary conditions, and cosmological initial data. These structures are legitimate and powerful within their domains. From the standpoint of structural closure, each is classified according to whether it is internally recoverable from the system’s comparison structure or remains an explicit interface condition.

In quantum field theory, renormalization is treated here as a precise framework for obtaining finite, scale-dependent physical predictions; the Wilsonian viewpoint makes scale dependence part of the physical description [7,9]. The closure question is different: are the relevant fields, scales, regulators, and background structures primitive inputs, or can they be recovered from internal comparison and transport data? A compact spatial realization such as S³ addresses the role of spatial infinity and global boundary conditions, but compactness alone does not remove local ultraviolet divergences. Any claim that closure supplies a finite microscopic cutoff would require an additional theorem, not merely the S³ rigidity result.

In cosmology, the distinction is similar. Classical singularity theorems show that, under their hypotheses, general-relativistic evolution can lead to geodesic incompleteness [3,10]. Inflation is a standard physical proposal addressing horizon, flatness, and related early-universe problems within a broader cosmological model [11]. The closure program does not identify structural closure with the observational open/closed distinction of FLRW cosmology, and it does not by itself prove a cosmological bounce. Its theorem-level geometric claim is narrower: under the stated faithful smooth-realization and closed-system hypotheses, the genuinely closed realized three-dimensional case is S³. A bounce claim would require a separate dynamical theorem connecting the closure architecture to a specific temporal or causal evolution law.

The corresponding recovery target can be stated without changing the standard distance-measure formalism. In FLRW notation, the flat case uses the transverse-distance function as the identity, while the closed positive-curvature case replaces that identity by the spherical sine. Thus a sufficiently large curvature radius makes the closed S³ model locally indistinguishable from the flat R³ approximation, while the global spatial section closes rather than extending without return [12,13].

FLRW transverse distance: D_M = S_k(D_C)

Flat approximation: R^3

D_M = D_C

Closed realization: S^3

D_M = R_c sin(D_C/R_c)

D_C << R_c implies R_c sin(D_C/R_c) ≈ D_C

Scale note. In standard FLRW notation the curvature radius is R_c = D_H/√|Ω_K|, with D_H = c/H₀. Using H₀ ≈ 67.4 km s⁻¹ Mpc⁻¹ gives D_H ≈ 14.5 billion light-years; taking |Ω_K| ≈ 0.002 as the Planck+BAO curvature scale gives R_c of order 3.2 × 10² billion light-years. This is a standard FLRW scale estimate, not a CRI prediction of the numerical radius; the closure result selects the closed case structurally, while scale-setting belongs to the dynamical/numerical sector.

The disagreement with standard frameworks is therefore architectural rather than dismissive. Closure does not compete with general relativity or quantum field theory as a rival phenomenological formalism. It asks whether the structures those formalisms use with such success can be recovered from a prior closed-system discipline: intrinsic comparison data, quotient semantics, and transport obstruction. Where they are derived, they cease to be primitive. Where they are not yet derived, they are recorded as interface conditions between the relational core and the standard physical framework.

What This Means

The closure program proceeds from a single methodological constraint: a genuinely closed physical theory cannot rely on external primitive structure. Any structure it invokes must be recoverable from within the system itself. This constraint is not a physical hypothesis to be tested against observation. It is a condition on the form of physical description.

The claim is that these are not additional choices once the relevant closure hypotheses are in force. They are consequences of the intrinsicality premise together with the stated structural conditions, especially local distinguishability at the comparison stage and, at the geometric stage, the ghost-free regime (T)+(D) governing faithful smooth realization.

The question of closure in this sense is first a question about the adequacy of physical description: what may be taken as primitive in a theory of the closed world? Empirical contact enters downstream, through whether the structures derived under that discipline recover the physical theories and phenomena they are intended to explain.