The wavefunction is a genuine but incomplete coordinate of a real underlying world, so it can be read off the world's actual configuration, yet it leaves out the part of that configuration which decides what a measurement will show.
"Is the wavefunction real?" runs two questions together, whether something in the world corresponds to it, and whether it's the complete story of what exists, and CSD's answers come apart cleanly as yes, and emphatically no.
Yes, because the quantum state isn't a fiction or a mere betting position. Every point of the arena, the underlying state space, projects to a definite quantum state, so the state tracks a genuine feature of the world, and if you had access to the world's actual configuration you could read the state off it.
No, because the state is radically incomplete. The projection that produces it is many-to-one, so many different underlying configurations give the same quantum state, and everything that decides measurement outcomes, the fibre coordinate that distinguishes those configurations and the outcome basin the trajectory occupies, lives in what the projection forgets. Treating the state as the whole world is exactly the move that generates the measurement problem, and treating it as a lossy coordinate dissolves the problem.
The state's dual character is structural rather than rhetorical. Functionally the state is epistemic, as it summarises what a preparation fixes, and its update on measurement is learning and not a physical jump. Ontologically its supports are disjoint, as distinct states describe disjoint sets of arena points, and that's why the reality theorems aimed at models with overlapping supports don't bite.
The programme's discipline is to refuse the shorter slogans in both directions. "The wavefunction is everything" overclaims what the quantum state carries, as the analysis of the fibre places record-forming content, the structure that decides outcomes, above the state at higher dimension, on a chain of constraints that stops short of proving the base can't carry it. "The wavefunction is nothing" ignores that the state is a faithful coordinate of the real arena.
The formal content is the projection structure, a measurable many-to-one pi from the arena to the projective sector, the epistemic measure exact on the base and spread on the fibre, and the record layer's theorems placing outcome-deciding structure in the fibre at N >= 3.
The operational stratum's state notion, density operators and effects, is proved consistent with the volume stratum wherever both speak.
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.