The arena is bigger than the state space by exactly one compact factor -- and from dimension three up, the natural ways of doing without that factor stop working.
Here is the problem. If quantum states are shadows of a richer arena, what is in the part that does not show up in the shadow? It had better not be idle decoration: hidden structure that never does anything is the first thing a critic should cut.
In CSD's working arena the hidden part is a small compact fibre -- a torus -- attached over every point of the state space. It is where the arena keeps what the state cannot: which outcome basin the trajectory actually occupies, the raw material of records.
The satisfying twist is that the fibre earned its keep by argument, not by taste. At the qubit you can just about manage without it: the two-level case has a coincidence that lets the structure sit on the state space itself. One dimension higher that coincidence is gone, and the natural candidates for doing without a fibre fail -- so the fibre is where the corpus puts the structure. That the failure extends to every conceivable candidate is expected but not established.
The fibre is where the record layer lives: the context-fixed outcome basins are arcs in the fibre coordinate, read off at each base point. The epistemic measure spreads evenly over the fibre; the basin a trajectory occupies is the ontic record.
The load-bearing discovery is dimensional. At N = 2 a context-fixed partition can
be built on the base alone -- a special accident of the two-dimensional state
space. At N >= 3 the natural base-only construction is constrained to very little:
covariance and positivity force a radial, preparation-only density to have disjoint
supports and to vanish below a threshold rising with dimension, and the N = 2 versus
N >= 3 split shows up three independent ways. Scope, and it matters, because this
page has overstated it twice: the chain stops short of a no-go. Two of its inputs
are undischarged and the closing step needs machinery that does not exist, so
base-only is open in BOTH directions -- neither refuted nor exhibited -- and parked.
The fibred reading is canonical by author decision, taken because either answer
leads to the same next move. That narrows where the mechanism can live; it does not
refute it -- existence is proved.
⚠️ A second argument for the fibre, offered in 2026-08, was WITHDRAWN on 2026-08-26. It said the outcome race needs several INDEPENDENT clocks that one deterministic trajectory cannot supply, so the fibre must supply them. That does not hold. Time in the arena is a single shared parameter, so the clocks are aligned deterministic readings of one microstate, not independent processes -- and the corpus's actual Born construction never races anything: it cuts the fibre circle into consecutive ARCS and reads the weight off the ARC LENGTH, one uniformly-distributed coordinate, no independence anywhere. The dimensional argument above is unaffected and stands alone.
The older frontier -- derive the fibre mechanism from a MIXING de-isolation flow -- was retired the same month as mis-specified rather than merely hard. Its successor question was mis-stated too. ⚠️ Be careful how the successor is phrased, because the obvious phrasing is also wrong, and there are two partitions to keep apart. The outcome regions on the projective BASE are EPISTEMIC -- a calculation space; nothing sculpts them, and they match volume because the measure is forced by symmetry and the weights are the moment map, not because any dynamics carved them. The FIBRE cells are a different object, placed on the ontic fibre, with the outcome the ontic selection of which cell the point occupies -- though the corpus adds that the particular cell family is ONE concrete realisation of an interface, so the cell SHAPES are bookkeeping while the fibre, the rates and the selection are not.
So the successor question is about the READOUT, not the regions: does a physical de-isolation interaction generate a pointer whose level sets carry the Born measures? Note the Born weights themselves do not wait on the answer -- the corpus proves that ANY measurable pointer with those basin measures gives Born, flow-independently.
A third thing settled in 2026-08. The fibre's measure is not a modelling choice either: the arena's measure is the ONLY probability measure invariant under the arena's own symmetry -- unitaries turning the state space, translations turning the fibre. The base half of that was already known; the fibre half closes it, so nothing about how the arena is weighted is left to taste.
The arena is CP^(N-1) x T^2 with the flat torus fibre carrying normalised Haar measure. Basins are preimages of arcs under the first fibre coordinate, with the arc endpoints set by the context's rate field. The N >= 3 argument is not a Gleason-type theorem -- CSD's partitions are contextual, so Gleason and Kochen-Specker do not apply -- but a chain of machine-checked necessary conditions on a base-only radial density: disjoint supports, and vanishing below a threshold rising with dimension. It leaves very little room and stops short of closing it. Two inputs are undischarged and the terminal step needs machinery Mathlib does not have, so the base-only route is open in both directions and parked as such.
CsdLean4/LF4/KahlerInstance.leanSource 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.