Nothing collapses. A measured system stops being isolated, and measurement is what de-isolation dynamics looks like from inside.
Here is the problem. Textbook quantum mechanics has two rules for change: smooth deterministic evolution while nobody looks, and an abrupt jump when somebody does. Two rules, one world, and no principled statement of when each applies. That is not a paradox; it is an unfinished theory.
CSD's diagnosis is that the second rule describes a change of circumstance, not a change of law. An isolated system follows the smooth rule. Measurement is the deliberate destruction of that isolation -- coupling the system to an apparatus -- and the jump is what the resulting joint dynamics looks like when you only track the system.
One law, applied twice. The dial that turns is isolation, and it is a physical dial, not an interpretive one.
De-isolation is the programme's word for the measurement interaction seen on the arena. The corpus realises it concretely: a deterministic, measure-preserving de-isolation flow -- genuinely not the identity -- couples system to pointer, realises the measurement dilation dynamically, and its pointer-block volumes reproduce the Born weights for every preparation. The entangled tier has its own witness: the singlet's non-factorisation is realised by an explicit de-isolation flow on the enlarged arena.
What de-isolation does NOT yet do is generate the record layer's fibre mechanism from first principles, and the honest boundary between "exhibited" and "derived" is maintained wherever the flows appear.
The specific attempt to derive it -- from a MIXING de-isolation flow, with exponential first-passage arriving as a limit theorem -- was retired in 2026-08 as mis-specified rather than merely hard. Three things defeat it: the hitting-time limit theorems need vanishingly rare sets while a Born partition's cells sum to one; an asymptotic law would deliver the Born weights only in a limit, weaker than the corpus already proves exactly; and the race needs independent clocks, which one deterministic trajectory cannot supply. What survived is the clock LAW, now forced rather than chosen, and the RATES, which Kac's formula reads off any ergodic flow.
The measurement-dynamics tier: a von Neumann de-isolation flow on the dilated space, measure-preserving and distinct from the identity, whose pointer-block volumes and almost-sure frequencies are the Born weights. The Naimark dilation is realised dynamically rather than cited abstractly, and the outcome map per microstate is delivered by the pointer-partition theorems.
Source links are pinned to a commit, so they do not drift. The anchors above are checked mechanically against the Lean tree on every build. The mathematics is not, and cannot be: that is a human responsibility and it rests with the author.
Part of Constraint-Surface Dynamics · Formalised in csd-lean4.
Google Analytics counts visits to this page, which stores cookies in your browser. They record how the page was reached, not who you are, and nothing is passed on. Blocking cookies for this site breaks nothing here. Details.