At one frozen setting, the probabilities observed in a sharp quantum context are indistinguishable, as detector-click statistics, from ordinary probabilities on the atoms of a classical partition. But an actual analyzer usually comes with a calibrated knob: a tangible handle on the apparatus. If the measurement configuration is co-varied continuously through this physical parameter, the operational object is no longer one point of a simplex but a response curve. Classical linear responses, Malus-type Hilbert-space responses, softmax links, non-homomorphic parameter transcriptions, and discontinuous threshold limits are different maps from settings to probabilities. Continuity, calibration, and preservation of the physical composition law are then part of the experimental meaning of the knob. Such comparisons distinguish specified, calibrated response models; by themselves they do not constitute a classical-versus-quantum impossibility theorem. The static operational coincidence can also persist for two intertwined contexts: if the common outcomes receive the same probabilities, the remaining masses can always be coupled by a classical joint distribution. Genuine multi-context nonclassicality begins when a family of local shadows cannot be glued into one nonnegative global distribution or one simplex factorization. Farkas' lemma gives the exact alternative: either the classical extension exists, or a separating linear inequality certifies its impossibility.
At one frozen setting, the probabilities observed in a sharp quantum context are indistinguishable, as detector-click statistics, from ordinary probabilities on the atoms of a classical partition. But an actual analyzer usually comes with a calibrated knob: a tangible handle on the apparatus. If the measurement configuration is co-varied continuously through this physical parameter, the operational object is no longer one point of a simplex but a response curve. Classical linear responses, Malus-type Hilbert-space responses, softmax links, non-homomorphic parameter transcriptions, and discontinuous threshold limits are different maps from settings to probabilities. Continuity, calibration, and preservation of the physical composition law are then part of the experimental meaning of the knob. Such comparisons distinguish specified, calibrated response models; by themselves they do not constitute a classical-versus-quantum impossibility theorem. The static operational coincidence can also persist for two intertwined contexts: if the common outcomes receive the same probabilities, the remaining masses can always be coupled by a classical joint distribution. Genuine multi-context nonclassicality begins when a family of local shadows cannot be glued into one nonnegative global distribution or one simplex factorization. Farkas' lemma gives the exact alternative: either the classical extension exists, or a separating linear inequality certifies its impossibility.
This paper develops a reconstruction of probability that does not begin by assuming a probability space, a probability simplex, or the Born rule. Instead, it asks a prior foundational question: under what physical and mathematical conditions are a set of alternatives entitled to carry positive, additive probabilities at all? The construction begins with lawful histories, future interfaces, and retained records. It distinguishes coherent alternatives from exclusive empirical events, preventing multiple interfering routes from being mistaken for separate probabilistic outcomes. A future-sufficient quotient identifies distinctions that no admitted future test can detect, while a record-qualification step determines when alternatives have become genuine empirical events. Dagger-compatible comparison and positive record factorization then produce a positive comparison kernel, from which normalized event probabilities arise only after the relevant record sectors are certified as exclusive. The framework is extended beyond individual measurements. Compatible finite record refinements generate a global probability measure under explicit realizability conditions; stochastic kernels provide a compositional calculus for carrying probabilistic information through unresolved future structure; and locally classical measurement contexts are assembled into a single positive state on a generally non-Boolean effect structure. This allows globally coherent probability to exist even when no context-independent deterministic assignment of outcomes exists. On a reflection-positive Hilbert-space branch, admissible future contexts are represented by positive effects and positive normalized states by density operators. The Born state-effect law then appears as the finite-dimensional representation of a probability structure that has already been earned through record qualification, positivity, exclusivity, refinement, and contextual consistency rather than introduced as a primitive postulate. The paper also separates two mechanisms that are often conflated: quadratic Born-type weighting arises from dagger self-comparison, whereas equal probabilities for symmetric alternatives arise from symmetry of the outcome structure. A further state-effect bridge analysis classifies residual coordinate freedom and identifies an exceptional rank-two adjugate transformation with Lorentzian signature, which is removed when positive self-dual identification is required. The central interpretation is that probability can function as a lawful form of global completion: it can carry future-relevant law through unresolved structure even when deterministic uniqueness is unavailable. The paper does not derive a mechanism selecting one actual outcome and does not claim that every physical sector satisfies the stated hypotheses. Instead, it provides an explicit dependency-controlled architecture connecting lawful completion, reflection positivity, event qualification, contextuality, stochastic continuation, Hilbert reconstruction, and the Born rule.
Finite quantum-logical constructions can appear classical or nonclassical depending on which structure is retained. We distinguish incidence tests based on valuations, colorings, and partition representations; simplex-embedding tests for specified prepare-and-measure fragments; and operator-functional tests imposing spectral and product rules. We show that the collective GHZ joint measurement is a single Boolean context and becomes nonclassical only when a common assignment of local factors, together with product preservation, is required. For selected labelled ray fragments, we compute state-depolarizing thresholds for a restricted projector-cone factorization and for a specified vector-generated operational closure, separating exact primal--dual certificates from numerical estimates. These values are properties of the stated fragments and noise model, not invariants of the underlying hypergraphs or a universal ordering of contextuality.
This paper provides a systematic study of the operational idea that a quantum “state” is only defined up to what can be distinguished by a chosen family of observables. Concretely, any von Neumann algebra of observables M induces an equivalence relation on pure and mixed states by declaring two preparations indiscernible when they give identical statistics for every observable in M. The corresponding quotient, the Holevo space associated with M, is the effective (relational) state space of the experiment, explicitly dependent on the observer’s available measurements. We analyse the resulting geometry and topology of these quotients, and prove a context-complete classical representation theorem: for every von Neumann algebra M there is a canonical lift a↦â to bounded continuous functions on the Holevo space, reproducing expectation values pointwise. In the commutative case this reduces to ordinary probability theory on the joint spectrum. The framework is illustrated in explicit examples, including position measurements of a free particle and polarisation measurements in the qubit, Einstein–Podolsky–Rosen (EPR), and Bell settings. In particular, in the EPR scenario Charlie’s joint observable defines a simplex of joint outcome distributions, whereas the Alice/Bob marginal viewpoint collapses the effective description to a lower-dimensional space by “forgetting” the correlation parameter. We show that by varying the polariser settings, the indiscernibility classes become conjugated (and generically reshuffled), and different settings are typically incompatible at the level of observable algebras.
This work examines a foundational question that precedes many debates about quantum superposition: what mathematical map is required to translate quantum support into definite classical actuality? Quantum states, Born probabilities for a fixed measurement, and Boolean truth valuations of classical events are treated as distinct structures. For a finite outcome space, the positive-support indicator Tₚ(E) = 1 iff p(E) > 0 preserves unions, but whenever two exclusive outcomes have nonzero probability it fails to preserve intersections. Hence it is not a Boolean truth valuation unless the support is a singleton. In particular, a superposition α|U⟩ + β|D⟩ with αβ ≠ 0 does not become the classical conjunction U ∧ D through the Born map alone. A deterministic single-outcome selector is also unavailable if it is required to respect the exchange symmetry of a balanced binary distribution. The analysis then grants the strongest charitable version of the disputed literal reading by moving to four-valued, non-explosive Belnap–Dunn semantics. In a correlated trigger–carrier–response model, a local glut propagates only when both positive and negative semantic support are explicitly transferred along the relevant causal links. This yields a precise signed-reachability criterion: the downstream contradiction is not a consequence of quantum dynamics alone, but of additional semantic transfer rules. Explicit countermodels show where the inference fails when one of these rules is removed. The result separates the physical channel from the semantic bridge and prevents classical explosion from hiding the actual logical structure of the argument. A complementary unitary dilation demonstrates that the required trigger–response correlations can be generated by ordinary quantum evolution without producing contradictory classical outcomes. Joint support is kept distinct from its marginals, coherent superpositions are distinguished from incoherent mixtures, and labelled-history models separate coarse causal order from microscopic history. The central diagnosis is therefore structural: any contradiction obtained under the tested assumptions originates in added translation and compositional postulates, not in an inconsistency of quantum mechanics itself. The framework provides a compact audit tool for claims that move from Hilbert-space superposition to classical co-actuality, and then from local semantic contradiction to causal propagation.
A hidden-variable model can reproduce context-independent individual readouts while failing to preserve observable records when devices are connected or reused. We distinguish two composition requirements. For a finite family of nonnegative instrument matrices, an invariant space generated by normalization defects characterizes unit continuation mass under every finite adaptive policy. Its annihilator defines the maximal admissible positive cone closed under outcome-conditioned updates. A separate observation space characterizes indistinguishability of context-dependent hidden preparations under joint readout. A finite-state example passes every fixed sequence but fails under outcome-dependent stopping. For a wrapped-Cauchy spin source with an explicitly stipulated unchanged-source passive extension, two individually fair probes acquire a setting-dependent agreement probability with contrast ε2sech(2g)/4. More generally, protection under one and two identical uses forces a continuous binary passive response to be constant; measurable two-valued exceptions remain possible. Exact rational calculations, exhaustive finite-policy experiments, continuous source sampling, and quadrature test the stated examples. The criteria apply to specified instrument families and accessible records; they do not construct a microscopic detector or establish consistency under unrestricted network composition.
We study how much of the Hilbert-space and Born-rule structure of quantum theory can be obtained from operational primitives that involve records but not probabilities. The setting is a regime in which coherent alternatives recombine without leaving a stable record. We obtain three results of different kinds. Geometry. From composable contributions, record-inert reversible controls and amplitude scalings, under named conditions, we obtain a real inner-product event geometry. The existence of the inner product is equivalent to bounded mixing and is assumed in that form. In a worked interferometer with one mode per channel, the metric is not an input: metric-free port swaps and phase flips fix the form up to scale, and boundedness only forces the other controls to preserve it. Its uniqueness up to scale, the orthogonality of distinct outcomes, and the representation of events by orthogonal projections are derived. Obstruction. This geometry, even with full symmetry about the preparation and exact dyadic standards, does not select the quadratic weight: the preparation mixed with the maximally mixed state survives. The structural operations exhibited here certify only values on which the quadratic weight equals the counting weight. On restricted event families where Gleason’s theorem is unavailable, a calibration order oriented by the quadratic magnitude selects it: given exact standards, a state is the quadratic one exactly when it respects all such brackets. Whether such an orientation can be earned is the open problem. Given such brackets and refinement only to a finite depth K, every admissible state lies within 2^-K of the quadratic weight, without the Archimedean step. On the full projection lattice, Gleason’s theorem with null support, or sphere-transitive symmetry with null support, gives other conditional routes. Bridge. A predictive probability kernel is introduced separately. Its identification with the real quadratic weight ||P_A ψ||² / ||ψ||² is conditional on kernel-admission hypotheses, one of which is equivalent to the Born value; the complex form needs phase invariance in addition. The hypotheses select a class of contexts, and none is shown to be forced. For each we state the physical feature it expresses and a sufficient condition where one is known, and we work out one apparatus in which the geometry-stage hypotheses hold together. For all but one we give a context in which it fails (for the founding conditions, one that leaves the regime); for the remaining one, TCC-1, we give an illustration. This paper is the first in a series built on a common framework, Structural Ledger Consistency (in preparation).