What exists is one question and what a measurement context lets you say is another, and most quantum paradoxes are category errors between the two.
Quantum mechanics keeps two kinds of statement in one notation. The sentence "the atom is here" sounds like a fact about the world, and the sentence "the atom has a thirty percent chance of being here" sounds like a fact about what you know. The wavefunction, the mathematical object that encodes everything quantum mechanics says about a system, carries both voices at once, and a century of argument has been about which voice is fundamental.
The distinction between map and territory is old, and it only starts to bite when you enforce it. A fact is ontic when it belongs to the territory, so it's true whether or not anyone looks, and a fact is epistemic when it belongs to the map some agent or apparatus draws. The trouble starts when a map-fact is mistaken for a territory-fact, that is, when a change in the description is read as a change in the world.
Collapse, the abrupt jump of the quantum state at measurement, is the canonical casualty. If the state is a map, its sudden update on measurement is no stranger than a weather forecast changing when you open the curtains.
CSD makes the split load-bearing and never lets it blur. The outcome regions a measurement context defines live on the projected state space, the space of quantum states, and they're epistemic, as the apparatus fixes the partition and the partition is a description. The measure that weights those regions is ontic, an invariant volume on the constraint surface itself, one the symmetry leaves unchanged, fixed by that symmetry and indifferent to anyone's knowledge.
The Born rule, the quantum rule for outcome probabilities, is precisely the handshake, an epistemic region weighed by an ontic volume. Measurement is the ontic selection, the record written on the surface, of which epistemic region the one real trajectory realises. Keeping the two levels distinct isn't philosophical hygiene, as it's the structure of the reconstruction.
The two-strata reading is written into the axiom ledger. The operational stratum speaks the effect-and-density language and carries the Gleason-type representation, and the ontic stratum computes weights as ratios of the Liouville measure over the preparation region.
The corpus proves that the two strata meet, as the same Born vector is reached by the operational route and by the volume route, through structurally distinct machinery.
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.