The Idea
Modern physics begins by assuming a great deal. Space and time are given in advance. A state space is posited. Observers stand outside the system and read off measurements. Fields, symmetries, and a causal order are written in by hand. The theory then asks: what are the laws governing all this assumed structure? The closure program asks a different and prior question — what would a physical theory look like if it assumed none of that, and had to build everything from the inside?
The starting point is the least a system can have and still be a system: the capacity to compare its own states. Given two states, a comparison tells you whether they stand in some relation or not — nothing more. No distances, no coordinates, no clock, no outside vantage. Just states and the bare relations among them. This is not a modeling choice made for convenience; it is the floor. Anything less is not a system at all, and anything more is structure smuggled in from outside.
On this floor the program places a single demand: the system must be self-contained. Nothing outside it may do any of the work of defining it. In particular, a comparison must be a genuine relation between states — determined by how the states stand to one another — and not a label pinned onto them from somewhere external. A labeling that no internal relation accounts for is exactly the “external scaffolding” the program forbids. This single requirement, that comparison be intrinsic, is the entire foundation. Everything that follows is forced by it; nothing else is assumed.
The first thing that comes out is something you might not expect. In a self-contained system, every admissible combination of internally distinguishable features must either be realized or internally excluded. What cannot happen is a merely silent absence — a possibility that the system’s own comparisons recognize as admissible, but that no state realizes, and whose omission no internal comparison detects. Maintaining that kind of gap would require a selection made from outside the system. A genuinely closed world cannot quietly omit an admissible possibility; the omission would be external scaffolding.
This is the hinge of the whole program, and it is worth being careful about, because it is not obvious and it is not universal. A rigid rod constrains two endpoints to a fixed separation; a system coupled to a heat bath is shaped by that bath. These are real systems with genuine gaps — and they are precisely open systems, shaped by something outside themselves, or carrying constraints their own comparisons register. The claim is conditional: it holds for systems that are self-contained, and it is exactly what distinguishes the closed from the open. That a closed system must be complete in this sense is the thing the mathematics had to prove, and does. But the idea behind the proof is the one stated plainly above: a closed world cannot maintain an admissible gap that nothing inside it detects.
Once the states fill out this way, the rest follows in a cascade, and at each step something physicists normally assume turns out to be unavoidable rather than chosen. When you carry a comparison from one part of the system to another, the comparisons do not transport flatly — there is an obstruction to moving them around consistently. The first stable layer of that obstruction, written in its own internal terms, is curvature. Curvature is not added as a geometric assumption; it is what the failure of comparisons to transport flatly already is. The way competing alternatives must be weighted yields the rule physicists know as the Born rule. The number of dimensions cannot be free — four is forced. The geometry of a genuinely closed three-dimensional system, at the stage where it can be described as a smooth space at all, is the three-sphere. Even the fact that electric charge comes in thirds falls out, rather than being read off from experiment.
None of these were put in. They are not laws layered onto the comparison structure; they are what a self-contained comparison structure cannot avoid being. This is the claim, and it is the reason the program is worth taking seriously or refuting carefully: it proposes that the laws of physics are not a separate set of facts about the world, decided one way when they might have been decided another. They are what any world must look like if it rests on nothing outside itself. The structure of physics, on this view, is the structure of self-containment — and there is nothing left over to explain, because there was never a free choice to be made.
The mathematics that establishes each step is developed in full in the monograph and the supporting papers. What is given here is only the idea: the single premise, and the shape of what it forces. Everything stated above is proved; this page asserts nothing the papers do not earn.