The argument is closed. What follows is not a further proof. It is what changes, and what does not, if the conditional claim is granted: that change and the relations used to compare it already do the work usually given to time and space-time.
Little changes in the laboratory. The readings stand. Clocks still disagree after different paths. GPS corrections still have to be made. A law written in a chosen frame still predicts. None of that depended on time being a substance, and none of it is withdrawn.
What changes is the commentary wrapped around theories that are already experimentally sound. A parameter *t* remains the right device for writing the law. It is no longer, by itself, a reason to posit a universal flow behind the law. “Time dilation” remains the name of an inequality of readings. It is no longer a report that time itself slowed. Space-time remains the joint description of place and timing. It is no longer, merely by being indispensable, a container the world is built from. Vacuum structure and gravitational waves can stay in the physics. They do not, by themselves, restore the container or the flow.
This is tidying and re-contextualising, not a rival mechanics. Where a theory already recovers the readings from paths, fields and dynamics, the surrounding sentences can be rewritten without touching the equations. Where a theory claimed a temporal constituent as an extra, the claim is what has to be shown again, against the residue test. Practical physics does not wait on that rewriting.
The difference is larger in the philosophy of physics, because so much of the debate has granted time or space-time as the topic and then asked how real, how fundamental, or how emergent it is. If the word was doing two jobs, and neither job has been shown to name a further constituent, some of those disputes were about a topic that had not been distinguished from change and from the scales used to score it.
Relational and functional accounts are not refuted. They are asked a narrower question: after the roles are recovered, what is left for the role-filler to be? Substantival accounts are not refuted either. They are asked for the residual work. Arguments that begin from passage, from a moving present, or from time as what allows persistence, lose the extra object those pictures required, if the scoring claim holds. The conditional claim does not settle every metaphysical dispute. It retires, on its own terms, the ones that needed an undefined time to get started.
Outside physics and its philosophy, the difference is plain. Time has been called a mystery because the word was asked to name a thing, and the thing could not be produced. If the word names either the gathering of change or the scale for measuring it, there is nothing left over, on this account, to be mysterious. The experience of succession remains. The ignorance of what a particular process will do next remains. What does not remain is an invisible entity, known by everyone and explained by no one.
That is an unusual thing to be able to say. Not that a new entity has been found, and not that physics has been replaced. That a question treated for centuries as deep was, in this one respect, a question about a word and about what is already seen. Change was the evidence. Time was the overlay. If the overlay does no further work, the mystery was the overlay.
