A Derivation of Physical Structure

This is an argument that physical reality must have certain structural features — internal differentiation, the structure ordinary physics names space, the structure it names time, the structure it names law — not as features assumed about reality, but as features any coherent physical reality must already contain.

The derivation starts from one observable fact: effects are happening. From there it walks step by step through what physical reality must structurally be, until it arrives at the primitive triad of space, time, and law as structural requirements rather than independent assumptions.

The argument exists in two forms. The formal version, which follows this prose introduction, works through everything with definitions, lemmas, and proofs. This introduction is the same argument in prose — same moves, less notation, organized around the four foundational claims it makes.

Why start with effects?

Most attempts to ground the structure of reality start by assuming a great deal. They take space, time, and law as given, treat matter as configured within them, and ask what specific configurations can occur. This derivation takes the opposite approach. It starts from one minimal observable fact and works upward, asking at each step what reality must structurally contain in order for what we observe to be possible.

The motivation is twofold.

First, deriving structural features from minimal premises earns confidence in them in a way that assumption does not. If space, time, and law can be derived from something more basic, we learn whether they are genuinely structural — required for reality to be coherent — or contingent features that could have been otherwise. The derivation argues they are structurally required.

Second, ordinary physics treats space, time, and law as primitive concepts. This derivation argues they are not primitives but rather names for structural roles. Whatever reality is, it must minimally contain structures that play those roles. The roles themselves come from what reality being itself requires.

I. Something exists

The starting move is observable. Effects are happening. Things are occurring. Something must be causing them. Whatever that something is, it has the power to produce effects.

The framework names this property physically real. This is a careful starting move. The framework does not define “physical” as material, spatial, or extended. It defines physical as causally efficacious — whatever has the power to bring effects about. This stipulation is the only definitional move in the foundation. Everything else is derived.

From this minimal starting point: effects occur, something causes them, that something is physically real. So something physically real exists.

II. It always was

Could there have been a moment when nothing physically real existed — a moment of pure nothingness from which the present world arose?

The framework says no.

Pure nothingness, by definition, is a state with no thing, no relation, no property, and no structure of any kind. A state with nothing in it has no power to produce anything. It also has no medium through which any external cause could operate. So pure nothingness is structurally barren. It can neither originate nor sustain nor transmit any cause.

This rules out two scenarios.

A moment of pure nothingness cannot have given rise to a moment of physical reality, because pure nothingness has no causal power. And a moment of pure nothingness cannot have been bridged over by causes from before and after, because pure nothingness has no medium for causation to operate through.

Therefore at every moment, physical reality was present. This is not a claim about infinite past time. It is a claim that whatever moment one picks, anywhere in time, physical reality was present at that moment.

III. It is not uniform

The next question. Could physical reality be absolutely uniform? Could the substrate of reality be a perfectly homogeneous thing with no internal differences anywhere?

The framework argues no.

Causal efficacy requires nontrivial difference. To say something has the power to produce effects is to say it has some determinate respect in which it acts rather than another — to act this way rather than not-this-way. But “this way” and “not-this-way” presupposes contrast. A thing without internal contrast has no determinate respects in which to act. Its supposed causal efficacy would be empty.

An absolutely uniform substrate would have no internal contrast, no distinguishable states, no this-rather-than-that, no operative causal structure. It would fail to satisfy the non-vacuity condition on physical reality.

The total physical substrate has no external physical other from which the required difference could be supplied. So the difference required by its causal efficacy must come from within itself.

Therefore physical reality is internally self-distinguishing. Reality is not a single uniform thing. It has parts within itself, from the start.

IV. Three structural requirements: space, time, law

Once we accept that physical reality has internal distinctions, we can ask what those distinctions structurally require.

The framework argues they require three things. Each is derived separately in the formal version, but their basic shape can be stated in prose.

The first requirement is differentiation. Distinct things have to be distinct in some structural way. They have to occupy different “places” in some sense — not necessarily metric space, but some differentiating structure that keeps them from collapsing into each other. Without this, two supposedly distinct things would just be the same thing under different labels. The framework calls this minimal differentiating structure primitive extension.

The second requirement is persistence. Distinct things have to be able to persist as themselves. A distinction that flickered in and out of existence with no structural way to remain the same thing through change wouldn’t be a distinction at all. So persistence requires some ordering structure — not necessarily clock time, but some way to relate stages of one continuing distinction so they belong together as the same thing. The framework calls this minimal ordering structure primitive ordering.

The third requirement is constraint. When a distinction continues, the continuation has to be of one specific thing rather than arbitrary replacement. Without something distinguishing “the same thing continuing” from “anything happening to take its place,” the persistence claim becomes empty. So sustained continuation requires some admissibility structure — not necessarily a physical law, but some structural difference between identity-preserving continuations and arbitrary replacements. The framework calls this minimal admissibility structure primitive constraint.

These three — primitive extension, primitive ordering, primitive constraint — are not features added to reality from outside. They are what reality being internally distinct already requires.

Substrate is the only primitive

Before identifying primitive extension, primitive ordering, and primitive constraint with the ordinary names space, time, and law, it is worth being clear about what kind of thing has been derived.

The word “primitive” is doing two different jobs in the framework, and the distinction matters.

There is “primitive” in the ontological sense — what is fundamentally there, what reality fundamentally is. In this sense, the physical primitive is the substrate. What Phase 1 established as physically real. What has existed at every moment. What cannot have been absent. The substrate is what reality is.

There is also “primitive” in the sense of “minimal” or “undeveloped.” When the framework speaks of primitive extension, primitive ordering, primitive constraint, it means the minimal version of these structures before physics develops them into metric space, clock time, and specific physical laws. “Primitive” here is the opposite of “developed,” not the opposite of “derived.”

These two senses point at different things. The substrate is ontologically primitive. Space, time, and law in their primitive forms are not separate ontological primitives that exist alongside the substrate. They are structural features the substrate must have in order to be what it is.

The relation is something like the relation between a triangle and its three-sidedness. Three-sidedness is not a separate ontological thing that exists alongside the triangle. It is a structural feature any triangle must have. Wherever a triangle is, three-sidedness is there — not because three-sidedness has its own independent existence but because no triangle could lack it.

So when the framework concludes that primitive space, time, and law have existed at every moment, this is not a claim that they are themselves ontologically fundamental. They have existed at every moment because the substrate has existed at every moment, and they are structural features of the substrate. They are present wherever substrate is present, not separately fundamental.

This is the framework’s deepest commitment. There is one ontological primitive — the substrate — and everything else, including space, time, and law, is structurally derivative from it. The derivation has shown that space, time, and law cannot be separate ontological primitives because they are precisely what self-distinguishing physical substrate already requires. They drop out of what the substrate must be.

Ordinary physics sometimes treats space, time, and law as ontologically primitive — as ingredients of reality with their own standing. The distinction proof argues this is a category mistake. Whatever space, time, and law turn out to be when physics develops them, they will be structural features of substrate, not separate ontological primitives. Reality is one thing, the substrate, and the substrate has the structural features the framework derives.

From primitives to ordinary names

The framework’s next move is to identify the three primitives with what ordinary physics calls space, time, and law.

This identification is done carefully.

The framework first defines what minimal role each ordinary concept plays. The space-role is to be the differentiating domain in which physical poles are non-collapsed. The time-role is to be the ordered structure by which physical distinction persists as same-through-difference. The law-role is to be the admissibility structure that distinguishes identity-preserving continuations from arbitrary replacements.

The derived primitives satisfy these roles by construction. Primitive extension is exactly the differentiating domain that satisfies the space-role. Primitive ordering is exactly the structure that satisfies the time-role. Primitive constraint is exactly the structure that satisfies the law-role.

So the framework identifies the primitives with the ordinary names: primitive extension is primitive space, primitive ordering is primitive time, primitive constraint is primitive law.

The “primitive” qualifier matters. The framework is not claiming to have derived metric space, three-dimensional space, clock time, relativistic spacetime, or any specific law of physics. Those are developed structures that ordinary physics works out in detail. The framework has derived only the minimal primitive structures that any sustained physical configuration must contain. Whatever the developed structures turn out to be, they will be developments from these primitives, not the same thing under a different name.

Why this is not circular

The deepest possible objection to a derivation like this is that it might define space, time, and law into the proof from the start, then “derive” them as if from nowhere. If you assume space and time as premises and then derive a claim that includes space and time, you have proved nothing.

The framework’s response is to display the dependency order explicitly.

The starting premises do not contain space, time, or law. They contain only the observable occurrence of effects, the stipulative definition of “physical” as causally efficacious, and the principle that effects have causes.

From these, the framework derives self-distinction, then the differentiating structure required by distinction, then the ordered structure required by persistence, then the admissibility structure required by sustainment. Only after deriving these primitive structures does the framework identify them with the ordinary-language names.

The dependency runs from primitive to ordinary, not the other way around. The framework does not say “physical reality is spatial, temporal, and lawful by definition.” It says physical distinction requires non-collapse, physical persistence requires ordered same-through-difference, physical sustainment requires transition-admissibility — and only then identifies the derived primitive structures as primitive space, primitive time, and primitive law.

What has been derived

The framework has derived a primitive triad: primitive space, primitive time, and primitive law. Each was earned from minimal premises, not stipulated. Each is at the minimal primitive level rather than the developed level of ordinary physics.

What has not been derived is the developed structures of physics. Metric space, three-dimensional space, clock time, relativistic spacetime, the specific laws of physics — these are downstream developments that ordinary physics works through in detail. This framework leaves that work to physics.

What this framework has accomplished is the structural argument that whatever ordinary space, time, and law turn out to be when physics develops them, they will be developments from a primitive triad that physical reality must already contain. Not externally imposed assumptions. Features of reality being itself.

---

The Formal Derivation

The formal version of the argument walks through everything with definitions, lemmas, and proofs. It is organized into seven phases.

Phase 1 establishes that physical reality exists and exists at every moment. Phase 2 establishes that the total physical primitive must be self-distinguishing. Phases 3, 4, and 5 derive the three structural requirements — primitive extension, primitive ordering, primitive constraint — one at a time. Phase 6 integrates the results into the Core Axis Theorem. Phase 6.5 makes the bridge from the derived primitives to the ordinary names of space, time, and law, and defends the non-circularity of the bridge.

Each phase is structured the same way: a scope correction that names what the phase is not claiming, definitions, the central argument or lemma, a proof, and a polished prose version of the result. The audit-question discipline classifies each step (empirical premise, framework commitment, definition, theorem, mathematical construction, interpretive naming, role-identification) so the structure of the derivation is inspectable rather than taken on trust.

---

Phase 1 — Physical reality exists, and exists at every moment

Scope correction

The starting move must not assume what later phases are meant to derive. The framework cannot stipulate that physical reality is extended, ordered, or constrained — those properties get derived. It also cannot stipulate that physical reality exists as a bare axiom. A bare-axiom move would leave everything that follows conditional on a premise that was never earned.

The minimal starting move is to ground existence in something undeniable: the occurrence of effects. Effects are happening. Something is producing them. That something has the power to bring effects about. The framework names what has that power physically real.

From this, Phase 1 establishes two foundational results:

$\boxed{\text{something physically real exists}}$

and:

$\boxed{\text{physical reality exists at every moment}}$

These are the foundation on which the rest of the derivation rests.

Definitions

Let:

$\operatorname{Eff}(x)$

mean that (x) is causally efficacious — has the power to produce effects.

Let:

$\operatorname{PhysReal}(x)$

mean that (x) is physically real.

Let:

$\operatorname{PureNothing}(t)$

mean that at moment (t) there is no thing, no relation, no property, and no internal structure of any kind.

Classification of assumptions

A1. Effects occur.

Classification: empirical premise.

Effects are observable in the world. This is the framework’s empirical grounding. To deny it is to deny the subject matter the framework is about.

A2. Every effect has a cause that has the power to produce it.

Classification: framework commitment.

If something occurs that is genuinely an effect, something had the power to produce it. To deny this is to dissolve the distinction between effect and accident, and with it the framework’s subject matter.

A3. That which has the power to produce effects is what we call physical.

$\operatorname{PhysReal}(x) := \operatorname{Eff}(x)$

Classification: definition / framework commitment.

Physical reality is defined here by causal efficacy. This is the only stipulative move in Phase 1. Everything that follows is derived.

First Lemma: Something physically real exists

$\boxed{\exists x \, \operatorname{PhysReal}(x)}$

Classification: theorem from A1, A2, A3.

Argument:

By A1, effects occur. By A2, something has the power to produce them. By A3, that something is physically real. Therefore something physically real exists.

The argument commits only to the existence of some (x) with causal power. What that (x) is — its scope, structure, composition — is the work of the later phases.

Second Lemma: Pure nothingness has no causal power

$\boxed{\operatorname{PureNothing}(t) \Rightarrow \text{no effect can issue from } t}$

Classification: definitional consequence.

Argument:

By definition, pure nothingness is a state with no thing, no relation, no property, and no structure. To have causal power is to have something in a state that can produce an effect. A state with nothing in it has nothing that could produce anything — and nothing through which any cause could operate. There is no causal capacity at a moment of pure nothingness, because there is no anything at such a moment.

This lemma does not assert that pure nothingness is impossible. It asserts only that pure nothingness, if it were the state of reality at some moment, would not be able to originate, sustain, or transmit anything.

Third Lemma: Physical reality exists at every moment

$\boxed{\forall t \, \exists x \, [\operatorname{PhysReal}(x) \wedge x \text{ exists at } t]}$

Classification: theorem from Lemmas 1 and 2.

Argument:

Suppose for contradiction that at some moment (t) the state of reality was pure nothingness.

By Lemma 2, no causal process can operate at (t) — neither originating from it, sustaining itself through it, nor transmitting across it. There is no medium at a moment of pure nothingness for any cause to operate with.

By Lemma 1, something physically real exists at the present moment. By A2, that something has a cause with the power to produce it. By A3, that cause is itself physically real, and so by A2 must itself have been caused. The chain of causes extending backward from the present is a chain of physically real things at moments at which something physically real existed.

This chain cannot pass through (t), since (t) admits no causal operation. So the present’s having something physically real is incompatible with (t) having been a moment of pure nothingness.

Contradiction.

Therefore no moment (t) was a moment of pure nothingness. At every moment, physical reality existed.

This is not a claim about infinite past time. The framework is not claiming time itself is infinite or that physical reality has a backward history of unbounded duration. The claim is structural: pick any moment, located anywhere in time. Physical reality was present at that moment.

Polished prose version

Effects are happening. Something is causing them. Whatever that something is, it has the power to produce effects — and that is what physically real means. So something physically real exists.

Could there have been a moment when nothing physically real existed — a moment of pure nothingness from which the present arose? No. Pure nothingness, by definition, has nothing in it. A state with nothing in it has no power to produce anything, including itself, and offers no medium through which any cause could operate. So no moment of pure nothingness can have given rise to a moment of physical reality, and no causal chain could have transited across one. Therefore at every moment, physical reality was present. The total quantity, the specific configuration, the further structure — those questions belong to later phases. Phase 1 establishes only this: there has been no moment without something physically real, and there can be no moment without something physically real.

Bridge to Phase 2

Phase 1 establishes existence and persistence: physical reality exists, and exists at every moment. Phase 2 takes up the next structural question. What must physical reality be like? Can it be absolutely undifferentiated, or must it be internally self-distinguishing? Phase 2 applies the non-vacuity reasoning at the level of the total physical primitive (S), and establishes that (S) cannot be absolutely undifferentiated. The First Foundation Lemma of Phase 2 — that causal efficacy requires nontrivial difference — uses the same kind of move as Phase 1’s argument that pure nothingness cannot produce something. Both lemmas rest on the same structural intuition: a state with no internal contrast has no purchase from which to act.

---

Phase 2 — Physical primitive reality requires self-distinction

Scope correction

The safest theorem is not:

$\operatorname{PhysReal}(x)\Rightarrow \operatorname{SelfDist}(x)$

for every arbitrary physical object $x$.

A local physical object may be distinguished partly by external relations to other objects. Therefore the first theorem should target the total physical primitive:

$S = \text{the total physical substrate}$

The hardened theorem is:

$\boxed{\operatorname{PhysPrim}(S)\Rightarrow \operatorname{SelfDist}(S)}$

Plain English:

$\boxed{\text{the total physical primitive cannot be absolutely undifferentiated}}$

Definitions

Let:

$\operatorname{PhysPrim}(S)$

mean that $S$ is the total physical primitive.

Let:

$\operatorname{Eff}(S)$

mean that $S$ is causally efficacious.

Let:

$\operatorname{Undiff}(S)$

mean that $S$ is absolutely undifferentiated.

Let:

$\operatorname{Diff}(S)$

mean that $S$ contains at least one nontrivial distinction.

Let:

$\operatorname{SelfDist}(S)$

mean that $S$ is internally self-distinguishing.

Classification of assumptions

$\operatorname{PhysPrim}(S)\Rightarrow \operatorname{Eff}(S)$

Classification: definition / framework commitment.

Physical primitive reality is substrate-energy, where substrate-energy means what-has-causal-efficacy.

$\operatorname{Undiff}(S)\Rightarrow \neg \operatorname{Diff}(S)$

Classification: definition.

Absolute undifferentiation means no internal contrast, no this-rather-than-that, no distinguishable states, no internal relations, and no operative causal structure.

First Foundation Lemma

$\boxed{\operatorname{Eff}(S)\Rightarrow \operatorname{Diff}(S)}$

Classification: theorem from non-vacuity, not a definition.

Argument:

Causal efficacy cannot be a vacuous label. If $S$ is efficacious, then there must be some determinate respect in which it is efficacious rather than causally null.

Determinacy is contrastive. To be determinate is to be this way rather than not-this-way.

Therefore, if $S$ is causally efficacious, $S$ must contain nontrivial difference.

This step does not introduce space, time, or law. It does not claim that the difference is spatial, temporal, metric, dynamical, or law-governed. It claims only that non-vacuous efficacy requires contrast.

Proof

Assume:

$\operatorname{PhysPrim}(S)$

By definition of physical primitive:

$\operatorname{PhysPrim}(S)\Rightarrow \operatorname{Eff}(S)$

Therefore:

$\operatorname{Eff}(S)$

By the First Foundation Lemma:

$\operatorname{Eff}(S)\Rightarrow \operatorname{Diff}(S)$

Therefore:

$\operatorname{Diff}(S)$

Now assume for contradiction:

$\operatorname{Undiff}(S)$

By definition of absolute undifferentiation:

$\operatorname{Undiff}(S)\Rightarrow \neg \operatorname{Diff}(S)$

Therefore:

$\neg \operatorname{Diff}(S)$

Contradiction.

Therefore:

$\neg \operatorname{Undiff}(S)$

Since $S$ is the total physical primitive, the required difference cannot be supplied by an external physical other. There is no real outside the primitive from which the contrast could be imported.

Therefore the required difference must be internal to $S$.

So:

$\boxed{\operatorname{PhysPrim}(S)\Rightarrow \operatorname{SelfDist}(S)}$

Polished prose version

The total physical primitive cannot be absolutely undifferentiated. To be physically real in the primitive sense is to have causal efficacy. But causal efficacy cannot be a vacuous label: if something is efficacious, there must be some determinate respect in which it is efficacious rather than causally null. Determinacy is contrastive; to be determinate is to be this way rather than not-this-way. Therefore causal efficacy requires nontrivial difference. An absolutely undifferentiated substrate has no internal contrast, no distinguishable states, no this-rather-than-that structure, and no operative causal structure. It therefore cannot satisfy the non-vacuity condition on causal efficacy. Since the total physical substrate has no external physical other from which the required difference could be supplied, the difference required by its causal efficacy must be internal. Therefore the physical primitive is self-distinguishing.

Hardened Phase 3 Result — Physical distinction requires primitive extension

Scope correction

The theorem should not say:

$\text{distinction requires ordinary space}$

That would be too strong and would risk circularity.

The correct target is:

$\boxed{\text{physically real distinction requires primitive extension}}$

where primitive extension means only:

$\boxed{\text{the minimal differentiating structure required for physically real poles not to collapse}}$

Primitive extension is not yet metric space, three-dimensional space, continuous space, geometry, topology, or spacetime.

It is only the primitive non-collapse structure of physical distinction.

---

Local theorem

Let $d \in \Delta$ be a physically real distinction.

Let:

$p_0 = \partial_0(d)$

and:

$p_1 = \partial_1(d)$

be the poles of $d$.

The local target is:

$\boxed{\operatorname{PhysDist}(d) \Rightarrow \exists(E_d, \lambda_d) \bigl[ \lambda_d(\partial_0 d) \neq \lambda_d(\partial_1 d) \bigr]}$

Plain English:

If $d$ is a physically real distinction, then there exists a minimal differentiating domain $E_d$ in which its poles are non-collapsed.

---

Definitions

Physical indistinguishability

Define:

$p \sim_{\mathrm{phys}} q$

iff:

$p \text{ and } q \text{ have no physically real differentiating respect}$

So:

$p \not\sim_{\mathrm{phys}} q$

means:

$p \text{ and } q \text{ are physically non-collapsed}$

This does not mean spatial distance. It means only that the two poles are not physically identical under all differentiating respects.

---

Physical distinction

$\operatorname{PhysDist}(d)$

means that $d$ is a physically real distinction, not merely formal non-identity.

Therefore, if:

$p_0 = \partial_0(d)$

and:

$p_1 = \partial_1(d)$

then:

$\operatorname{PhysDist}(d) \Rightarrow p_0 \not\sim_{\mathrm{phys}} p_1$

Classification: definition / admissibility condition.

This does not define extension into the premise. It only says that a physically real distinction must actually distinguish its poles.

---

Minimal local differentiating domain

Let:

$P_d = \{p_0, p_1\}$

Define:

$E_d = P_d / {\sim_{\mathrm{phys}}}$

That is, $E_d$ is the quotient of the pole-set by physical indistinguishability.

Define the canonical map:

$\lambda_d : P_d \to E_d$

by:

$\lambda_d(p) = [p]_{\sim_{\mathrm{phys}}}$

Classification: mathematical construction.

This is the strengthened move. Primitive extension is not merely assumed. It is constructed as the quotient-structure generated by physical non-collapse.

---

Local proof

Assume:

$\operatorname{PhysDist}(d)$

Let:

$p_0 = \partial_0(d)$

and:

$p_1 = \partial_1(d)$

By the admissibility condition for physical distinction:

$\operatorname{PhysDist}(d) \Rightarrow p_0 \not\sim_{\mathrm{phys}} p_1$

Therefore:

$p_0 \not\sim_{\mathrm{phys}} p_1$

Construct:

$E_d = P_d / {\sim_{\mathrm{phys}}}$

and:

$\lambda_d(p) = [p]_{\sim_{\mathrm{phys}}}$

Since:

$p_0 \not\sim_{\mathrm{phys}} p_1$

their equivalence classes are distinct:

$[p_0]_{\sim_{\mathrm{phys}}} \neq [p_1]_{\sim_{\mathrm{phys}}}$

By definition of $\lambda_d$:

$\lambda_d(p_0) = [p_0]_{\sim_{\mathrm{phys}}}$

and:

$\lambda_d(p_1) = [p_1]_{\sim_{\mathrm{phys}}}$

Therefore:

$\lambda_d(p_0) \neq \lambda_d(p_1)$

So:

$\boxed{\operatorname{PhysDist}(d) \Rightarrow \exists(E_d, \lambda_d) \bigl[ \lambda_d(\partial_0 d) \neq \lambda_d(\partial_1 d) \bigr]}$

---

Local interpretive naming

Now name:

$E_d = \text{local primitive extension for } d$

This is interpretive naming, not a new assumption.

So the local result is:

$\boxed{\text{every physically real distinction entails a local primitive differentiating domain}}$

---

Configuration-level theorem

The local theorem gives one $E_d$ per distinction. But the final core structure requires a configuration-level primitive extension field $E_C$, not merely scattered local domains.

Let $C$ be a physical configuration.

Let:

$\Delta_C$

be the set of physically real distinctions in $C$.

Let:

$P_C = \bigcup_{d \in \Delta_C} \{\partial_0(d), \partial_1(d)\}$

be the total pole-set of $C$.

Define a configuration-level physical indistinguishability relation:

$p \sim_C q$

iff:

$p \text{ and } q \text{ have the same physical differentiability profile within } C$

Equivalently:

$p \sim_C q$

means:

$\text{there is no physically real differentiating respect within } C \text{ separating } p \text{ from } q$

Then construct:

$E_C = P_C / {\sim_C}$

and define:

$\lambda_C : P_C \to E_C$

by:

$\lambda_C(p) = [p]_{\sim_C}$

The configuration-level target is:

$\boxed{\operatorname{PhysConfig}(C) \Rightarrow \exists(E_C, \lambda_C) \, \forall d \in \Delta_C \bigl[ \lambda_C(\partial_0 d) \neq \lambda_C(\partial_1 d) \bigr]}$

---

Configuration-level proof

Assume:

$\operatorname{PhysConfig}(C)$

Let:

$d \in \Delta_C$

be arbitrary.

Because $d$ is a physically real distinction in $C$, its poles are not physically indistinguishable within $C$:

$\partial_0(d) \not\sim_C \partial_1(d)$

Therefore their equivalence classes differ:

$[\partial_0(d)]_{\sim_C} \neq [\partial_1(d)]_{\sim_C}$

By construction:

$\lambda_C(\partial_0(d)) = [\partial_0(d)]_{\sim_C}$

and:

$\lambda_C(\partial_1(d)) = [\partial_1(d)]_{\sim_C}$

Therefore:

$\lambda_C(\partial_0(d)) \neq \lambda_C(\partial_1(d))$

Since $d \in \Delta_C$ was arbitrary:

$\forall d \in \Delta_C, \quad \lambda_C(\partial_0 d) \neq \lambda_C(\partial_1 d)$

Therefore:

$\boxed{\operatorname{PhysConfig}(C) \Rightarrow \exists(E_C, \lambda_C) \, \forall d \in \Delta_C \bigl[ \lambda_C(\partial_0 d) \neq \lambda_C(\partial_1 d) \bigr]}$

---

Configuration-level interpretive naming

Now name:

$E_C = \text{global primitive extension field of } C$

and:

$\lambda_C = \text{primitive localization / differentiation map of } C$

This matches the intended core structure:

$D_{\mathrm{core}} = (\Delta, P, \partial_0, \partial_1, E, \lambda, T, \preceq, \Gamma)$

where $E$ is primitive extension and $\lambda$ is the localization/differentiation map.

---

Result

The strengthened Phase 3 result is:

$\boxed{\text{physical configurations require primitive extension}}$

where primitive extension means:

$\boxed{\text{the global differentiating structure generated by physical non-indistinguishability}}$

This result does not yet prove ordinary space.

It proves only the primitive non-collapse structure required by physical distinction.

---

Classification of the step

$\operatorname{PhysDist}(d) \Rightarrow p_0 \not\sim_{\mathrm{phys}} p_1$

Classification: definition / admissibility condition.

A physically real distinction must actually distinguish its poles.

$E_d = P_d / {\sim_{\mathrm{phys}}}$

Classification: mathematical construction.

The local primitive differentiating domain is constructed from physical indistinguishability.

$E_C = P_C / {\sim_C}$

Classification: mathematical construction.

The global primitive extension field is constructed from configuration-level physical indistinguishability.

$E_C = \text{primitive extension}$

Classification: interpretive naming.

Primitive extension is the name given to the minimal global differentiating structure of a physical configuration.

---

Polished prose version

A physically real distinction is not just a formal way of saying that two things have different labels. If a distinction is physically real, then what it distinguishes must actually differ in some physical respect. Without such a respect, the distinction would collapse into a mere symbol — a name applied to one thing rather than another, with nothing physical behind it.

This commits the framework to a small but precise structure. Call two things physically indistinguishable when no physical respect separates them. The poles of a physically real distinction cannot be physically indistinguishable; otherwise the distinction would have nothing physical to it. So if we take the set of poles that show up in physical distinctions and identify any two that are physically indistinguishable, what remains is a domain where every physically real distinction shows up as a real separation between distinct positions. The framework constructs this domain explicitly as the quotient of the pole-set by the indistinguishability relation, and physically real distinctions map their poles to distinct positions within it.

The same construction lifts from individual distinctions to whole physical configurations. A configuration carries a set of distinctions and a set of poles. Two poles count as physically indistinguishable within the configuration when no physically real respect inside that configuration separates them. The quotient of the configuration’s pole-set by this relation gives a global differentiating field for the configuration — a structure where every physically real distinction in the configuration shows up as a separation between distinct positions.

This global differentiating field is what the framework names primitive extension. The name is meant carefully. Primitive extension is not yet ordinary space. It is not metric space, three-dimensional space, continuous space, or spacetime. It is only the minimal structure required for physically real distinctions not to collapse into formal labels. Whatever ordinary space turns out to be, it will be something developed from primitive extension, not the same thing under a different name.

---

Checkpoint: Phase 3 is complete at the primitive level. We have not derived developed space. We have derived only primitive extension as the minimal local and global differentiating structure required by physically real distinction. The next task is Phase 4: prove that physical persistence requires primitive ordering.

Hardened Phase 4 Result — Physical persistence requires primitive ordering

Scope correction

The theorem should not say:

$\text{identity requires time}$

That would be false.

Timeless formal identity, such as:

$d = d$

does not require ordering.

The correct target is:

$\boxed{\text{physical persistence requires primitive ordering}}$

where physical persistence means:

$\boxed{\text{the same physical distinction through non-identical manifestations}}$

and primitive ordering means:

$\boxed{\text{the minimal ordered stage-structure required for physical same-through-difference}}$

Primitive ordering is not yet ordinary time, metric time, continuous time, clock time, or relativistic spacetime.

---

Target theorem

Let $d \in \Delta$ be a physically persistent distinction.

The target theorem is:

$\boxed{\operatorname{PhysPersDist}(d) \Rightarrow \exists(T_d, \preceq_d, \sigma_d)}$

Plain English:

If $d$ is a physically persistent distinction, then there exists a primitive stage-domain $T_d$, a primitive ordering relation $\preceq_d$, and a stage-assignment map $\sigma_d$.

---

Definitions

Manifestation

Let:

$M_d$

be the set of physical manifestations of $d$.

A manifestation is a physically distinguishable presentation or occurrence of $d$.

This is not yet a moment in time.

---

Timeless formal identity

Timeless formal identity is:

$d = d$

This gives sameness, but not physically distinguishable manifestation.

So we do not claim:

$d = d \Rightarrow \exists(T, \preceq)$

---

Mere plurality

A mere plurality of manifestations is:

$m_0, m_1 \in M_d$

with:

$m_0 \neq m_1$

but with no same-through-difference structure connecting them.

Mere plurality gives difference, but not physical persistence.

---

Physical persistence

$\operatorname{PhysPersDist}(d)$

means that $d$ is the same physical distinction through non-identical manifestations.

So physical persistence requires two things:

$\text{non-identical manifestations}$

and:

$\text{sameness of the continuing distinction}$

In plain English:

$\boxed{\operatorname{PhysPersDist}(d) = \text{same physical distinction through non-identical manifestations}}$

Classification: definition / admissibility condition.

This definition does not smuggle in ordering. It only states the problem ordering must solve: how can one physical distinction remain the same through non-identical manifestations?

---

Persistence trilemma

Three structural alternatives exhaust the cases. Given the framework’s definition of physical persistence as same physical distinction through non-identical manifestations, the only possible structures are sameness without non-identical manifestations, non-identical manifestations without sameness, or some structural relation between the two. If d physically persists, its manifestations cannot be understood as any of the following alone.

Option A — Timeless formal identity

$d = d$

This gives sameness, but no physically distinguishable manifestations.

So it cannot account for physical persistence.

Option B — Unordered plurality

$\{m_0, m_1, \dots\}$

This gives difference, but no continuation-as-same.

So it cannot explain why the manifestations belong to one persistent physical distinction rather than being unrelated copies or replacements.

Option C — Same-through-difference

The manifestations are non-identical, but structured as manifestations of one continuing physical distinction.

This requires a primitive relation that distinguishes:

$\text{same continuing distinction}$

from:

$\text{unordered multiplicity}$

That primitive relation generates ordering.

Therefore physical persistence requires Option C.

---

Stage-domain construction

Define same-stage equivalence:

$m \equiv_d n$

iff:

$m \text{ and } n \text{ are the same manifestation-stage of } d$

Then define:

$T_d = M_d / {\equiv_d}$

So $T_d$ is the set of primitive manifestation-stages of $d$.

Define the stage map:

$\sigma_d : M_d \to T_d$

by:

$\sigma_d(m) = [m]_{\equiv_d}$

This gives the primitive stage-domain.

Important:

$T_d$

alone is not ordering.

It only gives distinguishable stages.

The ordering relation is a further structure:

$\preceq_d$

---

Continuation-preorder construction

Define a primitive continuation relation on stages:

$R_d \subseteq T_d \times T_d$

where:

$R_d(a, b)$

means:

$b \text{ is a continuation-stage of } a \text{ as the same physical distinction } d$

This is not ordinary before/after.

It is only the minimal continuation relation required by physical same-through-difference.

Now define:

$\preceq_d = R_d^*$

where $R_d^*$ is the reflexive-transitive closure of $R_d$.

Thus:

$a \preceq_d b$

iff $b$ is reachable from $a$ by zero or more continuation-steps.

---

Why $\preceq_d$ is a preorder

Reflexivity:

For every:

$a \in T_d$

zero continuation-steps take $a$ to itself.

Therefore:

$a \preceq_d a$

Transitivity:

Assume:

$a \preceq_d b$

and:

$b \preceq_d c$

Then $b$ is reachable from $a$, and $c$ is reachable from $b$.

Therefore $c$ is reachable from $a$.

So:

$a \preceq_d c$

Therefore:

$(T_d, \preceq_d)$

is at least a preorder.

This is all that is required at the primitive level.

We do not require linearity, totality, metric duration, continuity, simultaneity, or global time.

---

Main proof

Assume:

$\operatorname{PhysPersDist}(d)$

By definition, $d$ is the same physical distinction through non-identical manifestations.

Therefore there exists a manifestation-set:

$M_d$

with same-through-difference structure.

Construct:

$T_d = M_d / {\equiv_d}$

and:

$\sigma_d(m) = [m]_{\equiv_d}$

Because physical persistence is not mere unordered plurality, its stages must be structured by a continuation-as-same relation:

$R_d \subseteq T_d \times T_d$

Define:

$\preceq_d = R_d^*$

Then:

$(T_d, \preceq_d, \sigma_d)$

is a primitive ordered stage-structure for $d$.

Therefore:

$\boxed{\operatorname{PhysPersDist}(d) \Rightarrow \exists(T_d, \preceq_d, \sigma_d)}$

---

Interpretive naming

Now name:

$T_d = \text{primitive stage-domain}$

and:

$\preceq_d = \text{primitive ordering}$

This is interpretive naming, not an additional assumption.

So the result is:

$\boxed{\text{physical persistence requires primitive ordering}}$

Only later do we say:

$\boxed{\text{developed ordering} = \text{time}}$

---

Classification of the step

$\operatorname{PhysPersDist}(d) = \text{same physical distinction through non-identical manifestations}$

Classification: definition / admissibility condition.

$T_d = M_d / {\equiv_d}$

Classification: mathematical construction.

$R_d \subseteq T_d \times T_d$

Classification: definition / admissibility condition.

$\preceq_d = R_d^*$

Classification: mathematical construction.

$(T_d, \preceq_d) = \text{primitive ordering}$

Classification: interpretive naming.

---

Polished prose version

A physically persistent distinction is not the same kind of sameness as a timeless formal identity. The statement that d equals d holds without any structure of manifestation — there is nothing to be manifested. But physical persistence is exactly the case where one physical distinction stays itself across non-identical manifestations. So the framework has to give a structure that accounts for both at once: sameness across the manifestations, and non-identity between them.

Three structural alternatives present themselves. Sameness without manifestations gives timeless formal identity, which is real but does not describe persistence — nothing physical is showing up. Difference without sameness gives unordered plurality, where the manifestations exist but nothing connects them as belonging to one continuing distinction. The third option is the structural relation between sameness and difference: manifestations that are non-identical with each other but structured as manifestations of one continuing distinction. Given the framework’s definition of physical persistence, only this third option counts as persistence at all. The first two options name what is being ruled out.

This third option commits the framework to some structure that distinguishes one continuing distinction from unordered multiplicity. The minimal such structure has two parts. First, the manifestations have to be groupable into stages — manifestations that count as the same stage of the continuing distinction. The framework constructs the set of stages by quotienting the manifestations by same-stage equivalence. Second, the stages have to be related as continuations of one another — a stage of d is a continuation of an earlier stage of d when it counts as the same continuing distinction extended further. The framework names this the continuation-as-same relation, and its reflexive-transitive closure gives the minimal ordering structure required.

This ordering structure is what the framework names primitive ordering. The name is meant carefully. Primitive ordering is not yet ordinary time. It is not metric time, continuous time, clock time, simultaneity, or any developed temporal structure. It does not require linearity or totality. It is only the minimal relation required for physical same-through-difference to hold. Whatever ordinary time turns out to be, it will be something developed from primitive ordering, not the same thing under a different name.

---

Bridge to Phase 5

Phase 4 established primitive ordering as the minimal structure required by physical persistence. Phase 5 takes up the next structural question. Persistence is the bare fact that one physical distinction remains itself across non-identical manifestations. But persistence alone does not yet account for whether the continuation is one continuation rather than another — whether the stages that succeed each other do so in a way that preserves the identity of the distinction rather than replacing it with something else. The same non-vacuity engine that ran through Phase 4 (persistence requires structure beyond mere identity or plurality) extends one level further in Phase 5: sustainment requires structure beyond mere existence or arbitrary sequence. What Phase 4 derived as ordered stages, Phase 5 examines as constrained transitions.

The target of Phase 5 is:

$\boxed{\operatorname{SustainedPhysDist}(d) \Rightarrow \exists \Gamma_d}$

where $\Gamma_d$ is the admissibility structure that distinguishes identity-preserving continuations from arbitrary replacements.

Hardened Phase 5 Result — Sustained physical distinction requires primitive constraint

Scope correction

The theorem should not say:

$\text{sustained distinction requires ordinary physical law}$

That would be too strong and too early.

The correct target is:

$\boxed{\text{sustained physical distinction requires primitive constraint}}$

where primitive constraint means:

$\boxed{\text{the admissibility structure that distinguishes identity-preserving continuations from arbitrary replacements}}$

Primitive constraint is not yet an equation, conservation law, deterministic law, Standard Model law, Einsteinian field law, or any developed physical law.

It is only the minimal transition-admissibility structure required for physical sustainment.

---

Target theorem

Let $d \in \Delta$ be a sustained physical distinction.

The target theorem is:

$\boxed{\operatorname{SustPhysDist}(d) \Rightarrow \exists \Gamma_d}$

Plain English:

If $d$ is sustained as the same physical distinction through ordered manifestations, then there exists a primitive constraint structure $\Gamma_d$ distinguishing admissible continuations from arbitrary replacements.

---

What Phase 5 may use

From Phase 3:

$\operatorname{PhysDist}(d) \Rightarrow \exists(E_d, \lambda_d)$

Physical distinction requires primitive extension.

From Phase 4:

$\operatorname{PhysPersDist}(d) \Rightarrow \exists(T_d, \preceq_d, \sigma_d)$

Physical persistence requires primitive ordering.

Therefore in Phase 5 we may use:

$T_d$

as the primitive stage-domain, and:

$\preceq_d$

as the primitive ordering relation.

This does not smuggle in ordinary time. Primitive ordering has already been derived.

---

Definitions

Manifestation-stage

Let:

$T_d$

be the primitive stage-domain of $d$.

Let:

$a, b \in T_d$

be manifestation-stages of $d$.

A transition-candidate is an ordered pair:

$(a, b)$

where:

$a \preceq_d b$

This means only that $b$ is reachable from $a$ in the primitive ordering structure.

---

Sustained physical distinction

$\operatorname{SustPhysDist}(d)$

means that $d$ remains the same physical distinction through ordered, non-identical manifestation-stages without collapsing into arbitrary replacement.

In plain English:

$\boxed{\operatorname{SustPhysDist}(d) = \text{same physical distinction through ordered manifestations without arbitrary replacement}}$

Classification: definition / admissibility condition.

This definition does not smuggle in ordinary law. It states the problem constraint must solve: how can ordered manifestations remain one sustained physical distinction rather than arbitrary flicker?

---

Unconstrained transition structure

A transition structure is unconstrained when there is no admissibility distinction between identity-preserving continuation and arbitrary replacement.

In the extreme unconstrained case:

$\forall a, b \in T_d, \quad a \preceq_d b \Rightarrow b \text{ is equally admissible after } a$

Plain English:

$\text{anything can follow anything}$

within the ordered manifestation structure.

If every successor is equally admissible, then the structure cannot distinguish:

$\text{same distinction continuing}$

from:

$\text{arbitrary replacement}$

---

Primitive constraint

A primitive constraint is a transition-admissibility structure:

$\Gamma_d$

that distinguishes identity-preserving continuations from arbitrary replacements.

One simple representation is:

$\Gamma_d \subseteq T_d \times T_d$

where:

$(a, b) \in \Gamma_d$

means:

$b \text{ is an admissible continuation-stage of } a$

as the same physical distinction $d$.

Equivalently, define an admissible-successor map:

$A_d : T_d \to \mathcal{P}(T_d)$

where:

$b \in A_d(a)$

means:

$b \text{ is an admissible continuation-stage of } a$

Primitive constraint is not merely the existence of one forbidden transition. It is the admissibility structure by which identity-preserving continuations are distinguished from arbitrary replacements across the persistence-structure of $d$.

---

Sustainment trilemma

Three structural alternatives exhaust the cases. Given the framework’s definition of sustained physical distinction as same physical distinction through ordered manifestation-stages without arbitrary replacement, the only possible structures are sameness without transition, transitions without admissibility constraint, or transitions structured by admissibility. If d is sustained, its ordered manifestations cannot be interpreted as either static identity or arbitrary sequence.

Option A — Static formal identity

$d = d$

This gives sameness, but no physical transition.

So it cannot account for sustained physical manifestation.

Option B — Ordered arbitrary sequence

$a_0 \preceq_d a_1 \preceq_d a_2 \preceq_d \cdots$

This gives ordering, but not sustainment.

If any stage can follow any other stage with no admissibility distinction, then nothing separates:

$\text{identity-preserving continuation}$

from:

$\text{identity-destroying replacement}$

So ordered arbitrariness gives sequence, not sustained physical identity.

Option C — Constrained continuation

The stages are ordered, and continuations are structured by admissibility.

Some continuations preserve the distinction.

Others do not.

This gives:

$\text{admissible continuation}$

versus:

$\text{inadmissible replacement}$

That distinction is primitive constraint.

Therefore sustained physical distinction requires Option C.

---

Key lemma

Lemma — Sustainment requires transition admissibility

$\boxed{\operatorname{SustPhysDist}(d) \Rightarrow \exists \Gamma_d}$

Argument:

If $d$ is sustained, then there must be a structural difference between continuations that preserve $d$ and transitions that destroy, replace, or dissolve $d$.

If no such difference exists, then every ordered successor is equally compatible with $d$.

But if every successor is equally compatible, then nothing in the structure distinguishes:

$\text{same distinction continuing}$

from:

$\text{arbitrary replacement}$

So $d$ is not sustained.

Therefore physical sustainment requires a primitive transition-admissibility structure.

---

Proof

Assume:

$\operatorname{SustPhysDist}(d)$

By definition, $d$ is the same physical distinction through ordered manifestation-stages without arbitrary replacement.

From Phase 4, $d$ has a primitive stage-domain and ordering structure:

$(T_d, \preceq_d, \sigma_d)$

Now suppose for contradiction:

$\neg \exists \Gamma_d$

Then there is no primitive admissibility structure distinguishing:

$\text{identity-preserving continuations of } d$

from:

$\text{arbitrary replacements of } d$

So for any ordered transition-candidate:

$a \preceq_d b$

there is no structure determining whether $b$ continues $a$ as the same physical distinction $d$, or replaces it arbitrarily.

Therefore the ordered manifestations form, at best, an arbitrary ordered sequence.

But an arbitrary ordered sequence is not sustained physical identity.

This contradicts:

$\operatorname{SustPhysDist}(d)$

Therefore:

$\exists \Gamma_d$

So:

$\boxed{\operatorname{SustPhysDist}(d) \Rightarrow \exists \Gamma_d}$

---

Deterministic and stochastic forms

Primitive constraint does not require determinism.

A deterministic primitive constraint may assign each stage a permitted successor-set:

$A_d(a) \subseteq T_d$

A stochastic primitive constraint may assign each stage a permitted set of probability distributions:

$\mathcal{P}_d(a)$

over successor-stages.

In the stochastic case, the requirement is not:

$\text{one fixed successor must occur}$

but rather:

$\text{some probability distributions are admissible and others are not}$

So pure randomness counts as primitive constraint only if the randomness itself has an admissibility structure.

What is excluded is not stochasticity.

What is excluded is unconstrained arbitrariness.

---

Interpretive naming

Now name:

$\Gamma_d = \text{primitive constraint for } d$

This is interpretive naming, not an additional assumption.

So the result is:

$\boxed{\text{sustained physical distinction requires primitive constraint}}$

Only later do we say:

$\boxed{\text{developed constraint} = \text{law}}$

---

Classification of the step

$\operatorname{SustPhysDist}(d) = \text{same physical distinction through ordered manifestations without arbitrary replacement}$

Classification: definition / admissibility condition.

$\Gamma_d = \text{transition-admissibility structure}$

Classification: definition / admissibility condition.

$\operatorname{SustPhysDist}(d) \Rightarrow \exists \Gamma_d$

Classification: theorem.

$\Gamma_d = \text{primitive constraint}$

Classification: interpretive naming.

---

Polished prose version

A sustained physical distinction is not merely a static formal identity, and it is not merely an ordered sequence of manifestations. Static identity gives sameness without transition — d equals d, but nothing physical is happening across stages. Ordered arbitrariness gives succession but not sustained identity. If any later stage can follow any earlier stage with no admissibility distinction, nothing separates continuation of the same physical distinction from arbitrary replacement.

So sustained physical identity requires a structural difference between continuations that preserve the distinction and transitions that destroy, replace, or dissolve it. Without this difference, the ordered manifestations form at best an arbitrary sequence — succession without anything tying the successive stages together as one continuing distinction.

This admissibility structure is what the framework names primitive constraint. The name is meant carefully. Primitive constraint is not ordinary physical law, not an equation, not necessarily deterministic, not any developed law of physics. What it rules out is not stochasticity but unconstrained arbitrariness — stochastic processes can satisfy primitive constraint when the randomness itself has an admissibility structure. For now, primitive constraint is only the minimal admissibility structure required for physical sustainment to differ from arbitrary flicker.

---

Bridge to Phase 6

Phase 5 completes the third structural axis. The framework has now derived three primitives. Physical distinction requires primitive extension (Phase 3). Physical persistence requires primitive ordering (Phase 4). Sustained physical distinction requires primitive constraint (Phase 5). Each derivation rests on the same non-vacuity engine — a state with no relevant contrast cannot do the work that physical reality requires of it. The contrast varies across the phases: non-collapsed poles in Phase 3, structured continuation in Phase 4, admissibility of transitions in Phase 5. The structural move is one.

Phase 6 takes up the integration. It does not prove a new result. It assembles the four phase results — the self-distinction result of Phase 2 and the three axis results of Phases 3 through 5 — into one structural statement. The Core Axis Theorem names what physical reality requires when all four phases run together: a core structure with three primitive axes. Phase 6.5 then completes the bridge to ordinary physics by showing how each primitive develops into its familiar form, named in ordinary language as space, time, and law.

Phase 6 — Core Axis Theorem

Purpose

Phases 2–5 established the primitive foundation:

$\operatorname{PhysPrim}(S) \Rightarrow \operatorname{SelfDist}(S)$

and then showed that physically real, persistent, sustained distinction requires three primitive structures:

$\text{primitive extension} \quad \text{primitive ordering} \quad \text{primitive constraint}$

Phase 6 packages those results into one minimal formal structure.

The goal is not yet to prove ordinary space, ordinary time, or developed physical law.

The goal is only:

$\boxed{\text{physical configuration requires distinction, primitive extension, primitive ordering, and primitive constraint}}$

---

Scope correction

The theorem should not be stated too broadly as:

$\operatorname{PhysReal}(C) \Rightarrow \exists(E, T, \Gamma)$

unless $\operatorname{PhysReal}(C)$ already means a sustained physical configuration.

A bare physically real primitive gives self-distinction.

But extension, ordering, and constraint arise when self-distinction is considered as physically real, persistent, and sustained distinction.

So the cleaner target is:

$\boxed{\operatorname{PhysConfig}(C) \Rightarrow \exists D_{\mathrm{core}}(C)}$

where $\operatorname{PhysConfig}(C)$ means:

$C \text{ is a sustained physical configuration of distinctions}$

This avoids overclaiming.

---

Core structure

For any sustained physical configuration $C$, define:

$D_{\mathrm{core}}(C) = (\Delta_C, P_C, \partial_0, \partial_1, E_C, \lambda_C, T_C, \preceq_C, \Gamma_C)$

where:

$\Delta_C$

is the set of physically real distinctions in $C$;

$P_C$

is the pole-set of those distinctions;

$\partial_0, \partial_1 : \Delta_C \to P_C$

are the pole maps;

$E_C$

is the primitive extension field of $C$;

$\lambda_C : P_C \to E_C$

is the primitive localization / differentiation map;

$T_C$

is the primitive stage-domain of $C$;

$\preceq_C$

is the primitive ordering relation on $T_C$;

$\Gamma_C$

is the primitive transition-admissibility structure of $C$.

---

Inputs from earlier phases

Phase 2 result

$\boxed{\operatorname{PhysPrim}(S)\Rightarrow \operatorname{SelfDist}(S)}$

Physical primitive reality cannot be absolutely undifferentiated.

An absolutely undifferentiated substrate would have no internal contrast, no distinguishable states, no internal relations, and no operative causal structure.

Therefore the physical primitive must be internally self-distinguishing.

---

Phase 3 result

$\boxed{\operatorname{PhysDist}(d) \Rightarrow \exists(E_d, \lambda_d) [\lambda_d(\partial_0 d) \neq \lambda_d(\partial_1 d)]}$

Physical distinction requires primitive extension.

For a whole configuration:

$\boxed{\operatorname{PhysConfig}(C) \Rightarrow \exists(E_C, \lambda_C) \, \forall d \in \Delta_C [\lambda_C(\partial_0 d) \neq \lambda_C(\partial_1 d)]}$

Primitive extension is the global differentiating structure generated by physical non-indistinguishability.

It is not ordinary space.

---

Phase 4 result

$\boxed{\operatorname{PhysPersDist}(d) \Rightarrow \exists(T_d, \preceq_d, \sigma_d)}$

Physical persistence requires primitive ordering.

Physical persistence is same-through-difference, not timeless formal identity and not unordered plurality.

Primitive ordering is the minimal ordered stage-structure required for physical persistence.

It is not ordinary time.

---

Phase 5 result

$\boxed{\operatorname{SustPhysDist}(d) \Rightarrow \exists \Gamma_d}$

Sustained physical distinction requires primitive constraint.

Primitive constraint is the admissibility structure distinguishing identity-preserving continuations from arbitrary replacements.

It is not ordinary physical law.

---

Core Axis Theorem

Theorem

$\boxed{\operatorname{PhysConfig}(C) \Rightarrow \exists (\Delta_C, P_C, \partial_0, \partial_1, E_C, \lambda_C, T_C, \preceq_C, \Gamma_C)}$

Plain English:

$\boxed{\text{Every sustained physical configuration requires distinction, primitive extension, primitive ordering, and primitive constraint.}}$

---

Proof

Assume:

$\operatorname{PhysConfig}(C)$

By definition, $C$ is a sustained physical configuration of physically real distinctions.

Therefore there exists a set of physically real distinctions:

$\Delta_C$

Each distinction $d \in \Delta_C$ has poles:

$\partial_0(d), \partial_1(d) \in P_C$

So we have:

$(\Delta_C, P_C, \partial_0, \partial_1)$

By Phase 3, physically real distinctions require a primitive differentiating structure.

Therefore there exists:

$(E_C, \lambda_C)$

such that:

$\forall d \in \Delta_C, \quad \lambda_C(\partial_0 d) \neq \lambda_C(\partial_1 d)$

So $C$ has primitive extension.

By Phase 4, physically persistent distinction requires primitive ordering.

Since $C$ is a sustained physical configuration, its distinctions are not merely formal or unordered; they persist as same-through-difference.

Therefore there exists:

$(T_C, \preceq_C)$

So $C$ has primitive ordering.

By Phase 5, sustained physical distinction requires transition-admissibility.

Since $C$ is sustained rather than arbitrary flicker, there exists:

$\Gamma_C$

distinguishing admissible continuations from arbitrary replacements.

So $C$ has primitive constraint.

Therefore:

$\exists (\Delta_C, P_C, \partial_0, \partial_1, E_C, \lambda_C, T_C, \preceq_C, \Gamma_C)$

Thus:

$\boxed{\operatorname{PhysConfig}(C) \Rightarrow \exists D_{\mathrm{core}}(C)}$

where:

$D_{\mathrm{core}}(C) = (\Delta_C, P_C, \partial_0, \partial_1, E_C, \lambda_C, T_C, \preceq_C, \Gamma_C)$

---

Interpretive naming

Now name:

$E_C = \text{primitive extension}$

$(T_C, \preceq_C) = \text{primitive ordering}$

$\Gamma_C = \text{primitive constraint}$

This gives:

$\boxed{\text{self-distinguishing physical configuration requires primitive extension, ordering, and constraint}}$

Only later do we interpret these in physical language as:

$\text{developed extension} = \text{space}$

$\text{developed ordering} = \text{time}$

$\text{developed constraint} = \text{law}$

The ordinary versions are downstream developments, not premises.

---

Classification of the theorem

$\Delta_C, P_C, \partial_0, \partial_1$

Classification: formal representation of distinction.

$E_C, \lambda_C$

Classification: mathematical construction from physical non-indistinguishability.

$T_C, \preceq_C$

Classification: mathematical construction from physical same-through-difference.

$\Gamma_C$

Classification: mathematical construction from non-arbitrary sustainment.

$E_C = \text{primitive extension}$

Classification: interpretive naming.

$(T_C, \preceq_C) = \text{primitive ordering}$

Classification: interpretive naming.

$\Gamma_C = \text{primitive constraint}$

Classification: interpretive naming.

$\operatorname{PhysConfig}(C) \Rightarrow \exists D_{\mathrm{core}}(C)$

Classification: core theorem.

---

Polished prose version

Phase 6 does not prove a new theorem in the way the earlier phases do. It assembles what the framework has already shown into one structural statement. A sustained physical configuration — by definition, a configuration of physical distinctions that persists and is not arbitrary flicker — has been shown across the earlier phases to require four things. Its physical primitive must be self-distinguishing rather than absolutely uniform. Its distinctions must have non-collapsed poles, generating a primitive differentiating field. Its persistence must be structured by same-through-difference, generating a primitive ordering of stages. And its sustained continuation must be governed by an admissibility structure that distinguishes identity-preserving transitions from arbitrary replacements.

Phase 6 takes these four results and packages them together. The package is what the framework calls the core structure of the configuration. It contains the set of physically real distinctions, their poles, the primitive extension field, the primitive ordering, and the primitive constraint structure — not as separately stipulated apparatus, but as derived requirements of sustained physical existence. Every sustained physical configuration must contain this core structure.

The names matter here. The framework is careful not to overreach. Primitive extension is not yet ordinary space. Primitive ordering is not yet ordinary time. Primitive constraint is not yet ordinary physical law. These are the minimal structures the framework has earned, not the full structures physics will eventually need. What ordinary space, time, and law will turn out to be is something developed from these primitives, not the same thing under a different name. Phase 6.5 takes up the question of how the primitives develop into their familiar forms; Phase 6 stops at the primitive triad and lets the integration stand as its own result.

Final Phase 6 result

$\boxed{\operatorname{PhysConfig}(C) \Rightarrow \exists D_{\mathrm{core}}(C)}$

with:

$\boxed{D_{\mathrm{core}}(C) = (\Delta_C, P_C, \partial_0, \partial_1, E_C, \lambda_C, T_C, \preceq_C, \Gamma_C)}$

Plain English:

$\boxed{\text{a sustained physical configuration requires distinction, primitive extension, primitive ordering, and primitive constraint}}$

---

Bridge to Phase 6.5

Phase 6 completed the formal integration. The framework has now derived a core structure containing distinction, primitive extension, primitive ordering, and primitive constraint. Each component was earned by an earlier phase, not stipulated. Each is at the primitive level — minimal, non-circular, and specifically named to avoid overreach.

Phase 6.5 takes up the bridge to ordinary physical language. It does not derive new structures. It shows how each of the three primitives plays a structural role that ordinary physics names with a familiar word. Primitive extension plays the role that space plays. Primitive ordering plays the role that time plays. Primitive constraint plays the role that law plays. The framework’s claim is not that the primitives are space, time, and law in the full developed sense; the claim is that whatever space, time, and law turn out to be when physics develops them, they will satisfy the role-conditions the primitives establish.

This is where the framework’s discipline about non-circularity matters most. If primitive extension were assumed to be space from the start, the derivation would be empty. The framework’s response is that it has shown the structural role at the primitive level first, and only then identifies that role with the ordinary physical concept. Phase 6.5 makes the identification, and the section that closes it argues explicitly that the order of dependency runs from primitive to ordinary, not the other way around.

Phase 6.5 — Physical-Language Bridge

Purpose

Phase 6 established the core axis structure:

$D_{\mathrm{core}}(C) = (\Delta_C, P_C, \partial_0, \partial_1, E_C, \lambda_C, T_C, \preceq_C, \Gamma_C)$

for any sustained physical configuration $C$.

Phase 6.5 explains why the three derived primitive structures:

$E_C \quad (T_C, \preceq_C) \quad \Gamma_C$

may be named, respectively:

$\text{primitive space} \quad \text{primitive time} \quad \text{primitive law}$

This is not a mere verbal rename.

It is a role-identification step.

The prior phases derived three primitive structures. Phase 6.5 identifies them with primitive space, time, and law because they satisfy the minimal functional roles that physical space, time, and law must play.

---

Scope correction

The theorem should not say:

$\text{we have derived ordinary space, ordinary time, and developed physical law}$

That would overclaim.

The correct result is:

$\boxed{\text{we have derived primitive space, primitive time, and primitive law}}$

where:

$\text{primitive space} \neq \text{metric or three-dimensional space}$

$\text{primitive time} \neq \text{clock time or relativistic spacetime}$

$\text{primitive law} \neq \text{the developed laws of known physics}$

So the bridge result is:

$\boxed{\text{primitive extension, primitive ordering, primitive constraint} \Rightarrow \text{primitive space, primitive time, primitive law}}$

not:

$\boxed{\text{primitive extension, primitive ordering, primitive constraint} \Rightarrow \text{fully developed physical spacetime and law}}$

---

Minimal physical roles

To avoid treating the bridge as a mere rename, define the minimal physical roles explicitly.

Primitive space-role

$\operatorname{SpaceRole}_0(X)$

means:

$X \text{ is the primitive differentiating domain in which physical poles are non-collapsed}$

In plain English:

$\boxed{\text{primitive space is the minimal physical domain of non-collapse}}$

It is the structure by which physically distinct poles are not the same pole.

---

Primitive time-role

$\operatorname{TimeRole}_0(Y)$

means:

$Y \text{ is the primitive ordered structure by which physical distinction persists as same-through-difference}$

In plain English:

$\boxed{\text{primitive time is the minimal physical ordering of persistence}}$

It is the structure by which the same physical distinction can remain itself through non-identical manifestations.

---

Primitive law-role

$\operatorname{LawRole}_0(Z)$

means:

$Z \text{ is the primitive admissibility structure distinguishing sustained continuation from arbitrary replacement}$

In plain English:

$\boxed{\text{primitive law is the minimal physical constraint on continuation}}$

It is the structure by which some continuations preserve the physical distinction and arbitrary replacements do not.

---

Role satisfaction

From Phase 3, physical distinction requires a primitive differentiating structure:

$E_C$

with map:

$\lambda_C : P_C \to E_C$

such that:

$\forall d \in \Delta_C, \quad \lambda_C(\partial_0 d) \neq \lambda_C(\partial_1 d)$

Therefore $E_C$ satisfies the primitive space-role:

$\operatorname{SpaceRole}_0(E_C)$

because it is the global differentiating domain in which physically real poles are non-collapsed.

---

From Phase 4, physical persistence requires a primitive stage-domain and ordering relation:

$(T_C, \preceq_C)$

Therefore $(T_C, \preceq_C)$ satisfies the primitive time-role:

$\operatorname{TimeRole}_0(T_C, \preceq_C)$

because it is the ordered structure by which physical distinction persists as same-through-difference.

---

From Phase 5, sustained physical distinction requires a primitive transition-admissibility structure:

$\Gamma_C$

Therefore $\Gamma_C$ satisfies the primitive law-role:

$\operatorname{LawRole}_0(\Gamma_C)$

because it distinguishes identity-preserving continuations from arbitrary replacements.

---

Bridge theorem

$\boxed{D_{\mathrm{core}}(C) \Rightarrow \exists (\operatorname{Space}_0(C), \operatorname{Time}_0(C), \operatorname{Law}_0(C))}$

where:

$\boxed{\operatorname{Space}_0(C) := E_C}$

$\boxed{\operatorname{Time}_0(C) := (T_C, \preceq_C)}$

$\boxed{\operatorname{Law}_0(C) := \Gamma_C}$

Plain English:

$\boxed{\text{every sustained physical configuration has primitive space, primitive time, and primitive law}}$

---

Proof

Assume:

$D_{\mathrm{core}}(C)$

Then $C$ has:

$E_C, \lambda_C$

where $E_C$ is the primitive differentiating structure of physically real distinction.

By Phase 3:

$\forall d \in \Delta_C, \quad \lambda_C(\partial_0 d) \neq \lambda_C(\partial_1 d)$

So physical poles in $C$ are non-collapsed in $E_C$.

Therefore:

$\operatorname{SpaceRole}_0(E_C)$

Define:

$\operatorname{Space}_0(C) := E_C$

So $C$ has primitive space.

---

Also, $D_{\mathrm{core}}(C)$ contains:

$(T_C, \preceq_C)$

where $T_C$ is the primitive stage-domain and $\preceq_C$ is the primitive ordering relation.

By Phase 4, this structure is required for physical same-through-difference.

Therefore:

$\operatorname{TimeRole}_0(T_C, \preceq_C)$

Define:

$\operatorname{Time}_0(C) := (T_C, \preceq_C)$

So $C$ has primitive time.

---

Also, $D_{\mathrm{core}}(C)$ contains:

$\Gamma_C$

where $\Gamma_C$ is the primitive transition-admissibility structure.

By Phase 5, this structure distinguishes identity-preserving continuations from arbitrary replacements.

Therefore:

$\operatorname{LawRole}_0(\Gamma_C)$

Define:

$\operatorname{Law}_0(C) := \Gamma_C$

So $C$ has primitive law.

Therefore:

$\boxed{D_{\mathrm{core}}(C) \Rightarrow \exists (\operatorname{Space}_0(C), \operatorname{Time}_0(C), \operatorname{Law}_0(C))}$

---

Classification of the step

The role definitions:

SpaceRole₀, TimeRole₀, LawRole₀

Classification: definitions of minimal physical roles.

These name the structural conditions that ordinary physical space, time, and law must minimally satisfy. They are not the developed forms of those concepts.

The role-satisfaction claims:

SpaceRole₀(E_C), TimeRole₀(T_C, ⪯_C), LawRole₀(Γ_C)

Classification: theorems from Phase 3, Phase 4, and Phase 5 results.

The derived primitive structures satisfy the minimal role conditions. This is not stipulation; it is the consequence of what Phases 3, 4, and 5 established about non-collapse, same-through-difference, and admissibility.

The role-identifications:

Space₀(C) := E_C, Time₀(C) := (T_C, ⪯_C), Law₀(C) := Γ_C

Classification: role-identification.

This is a structural move distinct from interpretive naming at the primitive level. Earlier phases used interpretive naming to label derived structures (E_C is “primitive extension”). Phase 6.5 makes a further move: identifying those primitives with the ordinary-language names for the roles they have been shown to play. The identification is grounded in the role-satisfaction theorems, not in a stipulation that the primitives are space, time, and law.

The identification also does not assert that primitive space, time, and law are separate ontological primitives. They are structural features of the physical primitive — features that the substrate must have because of what self-distinction requires. The ontological primitive is the substrate. Primitive space, time, and law are derived structures of the substrate, identified with the ordinary-language names because they play the roles those names refer to.

The bridge theorem:

D_core(C) ⇒ ∃(Space₀(C), Time₀(C), Law₀(C))

Classification: core bridge theorem.

---

Polished prose version

Phase 6 derived the core structure of any sustained physical configuration: a primitive extension field, a primitive ordering of stages, and a primitive constraint on transitions. These are minimal structures, named carefully to avoid overreach. Phase 6.5 takes the final step. It asks whether these primitive structures play the roles that ordinary physics names with the words space, time, and law.

The framework’s approach is to define those roles explicitly before identifying anything with them. The space-role is to be the differentiating domain in which physically distinct poles are not the same pole. The time-role is to be the ordered structure by which the same physical distinction persists across non-identical manifestations. The law-role is to be the admissibility structure that distinguishes identity-preserving continuations from arbitrary replacements. These are minimal role-definitions — what any structure must do to count as playing the respective role, not the full developed structures of metric space, clock time, or any specific law of physics.

The derived primitives satisfy these roles. The primitive extension field is exactly the differentiating domain in which physical poles are non-collapsed, so it satisfies the space-role. The primitive ordered stage-structure is exactly the ordering by which physical distinction persists as same-through-difference, so it satisfies the time-role. The primitive transition-admissibility structure is exactly the structure by which sustained continuation differs from arbitrary replacement, so it satisfies the law-role. The framework identifies the derived primitives with the ordinary-language names for the roles they satisfy: primitive extension is primitive space, primitive ordering is primitive time, primitive constraint is primitive law.

This identification is not circular. The framework did not begin with space, time, or law. It began with effects, existence, and causal efficacy. It derived self-distinction from the structural requirements of physical efficacy, then derived extension, ordering, and constraint from the structural requirements of physical distinction, persistence, and sustainment. Only at this final step does the framework introduce the ordinary-language names — not as starting concepts but as the names for roles the derived primitives have been shown to play.

---

Why this is not circular

This bridge is not circular because the framework did not begin by assuming space, time, and law.

The dependency order is:

$\operatorname{PhysDist}(d) \Rightarrow E_C \Rightarrow \operatorname{Space}_0(C)$

$\operatorname{PhysPersDist}(d) \Rightarrow (T_C, \preceq_C) \Rightarrow \operatorname{Time}_0(C)$

$\operatorname{SustPhysDist}(d) \Rightarrow \Gamma_C \Rightarrow \operatorname{Law}_0(C)$

So the ordinary names come only after the primitive roles have been derived.

The framework does not say:

$\text{physical reality is spatial, temporal, and lawful by definition}$

Instead it says:

$\text{physical distinction requires non-collapse}$

$\text{physical persistence requires ordered same-through-difference}$

$\text{physical sustainment requires transition-admissibility}$

and then identifies those derived primitive structures as primitive space, primitive time, and primitive law.

---

What has been derived

The framework has derived:

$\boxed{\text{primitive space}}$

because it has derived the minimal physical differentiating domain required for non-collapsed physical distinction.

The framework has derived:

$\boxed{\text{primitive time}}$

because it has derived the minimal ordered stage-structure required for physical persistence.

The framework has derived:

$\boxed{\text{primitive law}}$

because it has derived the minimal admissibility structure required for sustained physical continuation.

So the correct statement is:

$\boxed{\text{primitive space, primitive time, and primitive law have been derived}}$

---

Conclusion of the derivation

The framework has established a structural path from the bare fact that effects occur to the existence of primitive space, primitive time, and primitive law in every sustained physical configuration. Each step was earned, not assumed, and each was placed at the minimal primitive level rather than the developed level of ordinary physics.

What has been derived is the primitive triad — primitive space, primitive time, primitive law — as structures required by any sustained physical configuration. These are not separate ontological primitives. The ontological primitive is the physical substrate, which Phase 1 established as that which has the power to produce effects, and which exists at every moment. Primitive space, time, and law are structural features the substrate must have because of what self-distinction requires. They are derived from the substrate, not added to it.

What has not yet been derived is metric space, three-dimensional space, clock time, relativistic spacetime, or any specific law of physics. Those are downstream developments that ordinary physics works through in detail, and this framework leaves them to that work. What this framework has done is the structural argument that whatever those developments turn out to be, they will be developments from a primitive triad that the substrate must already contain — not externally imposed ingredients of reality but features of reality being itself.