Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

CHSH by Counting: Bell Violation in a Finite Configuration Ontology

Russell Tillitt

Published Jul 21, 2026• 0 citations
Publisher

Abstract

A finite ensemble of definite, equally real configurations looks like it must obey the Bell inequalities: definite values, counted, are the textbook picture of a local hidden-variable model. We show that the instinct fails, and exhibit the failure by literal enumeration. In the finite, timeless configuration ontology of the companion papers—where probability is counting, phase is stage-relative, and the population of an outcome class is proved to equal N|α|²—the CHSH quantity assembled from ratios of integer counts reaches the quantum value 2√2 to O(1/N); at N = 4.2×10⁶, counted |S| = 2.8284267. The instinct fails for three separable reasons, each with a counting formulation. Structural exclusion—which configurations exist—is relative to the instantiated measurement bases and fixes only the aligned-basis correlations. Configurations bear outcome records only for the devices their correlation structure contains, so no configuration answers two incompatible settings and, by Fine's theorem, no Bell inequality can be derived. And the skew-angle statistics are carried by the phase structure of the class—the same cross terms that carry two-slit interference. A control run makes the mechanism visible: inserting a sector record, the which-path analog, forces per-class summation, the cross terms never form, and counted |S| falls below the local bound. Marginal counts are computed for each wing from that wing's structure alone, so the counting form of no-signaling holds by construction and is tested exactly, including at small N. On the no-go ledger the ontology keeps locality and free settings; for the plain Bell scenario its operative escape is the absence of counterfactual values, with the denial of absolute outcomes required only in Wigner's-friend extensions. One in-model prediction distinguishes the framework from continuum quantum mechanics: | |S| − 2√2 | = O(1/N), with the residue's scale robust and its sign conditional on the model's integer-apportionment rule, which is flagged as a postulate. This paper is a demonstration and a disentangling, not a new theorem: given the companion results, the violation is guaranteed; what is shown is why a counting ontology is entitled to it.

DOI
10.5281/zenodo.21523900

Related papers

Schrödinger by Counting: Wavepacket Dynamics in a Finite Configuration Ontology

Russell Tillitt

In a finite, timeless configuration space where probability is counting and the population of an outcome class is proved to equal N|α|², we construct a refinement chain from local devices—nearest-neighbour beamsplitters and per-cell phase increments, all on the 3,600-value phase lattice of the companion models—and evolve wavepacket classes by literal enumeration. The small-angle brickwork realizes the lattice Hamiltonian H = −2η cos k + V(x): the effective mass m* = 1/(2η) is the inverse hopping rate—mass as resistance to record restructuring, obtained from the move set rather than posited—and the potential is a cell-dependent phase cost per closure step. Counted populations reproduce the Schrödinger spreading law σ²(t) = σ₀² + (t/2m*σ₀)², the group velocity to seven significant figures against the exact device chain, and harmonic oscillation at ω = √(2ηκ), with Σₓ nₓ = N exact at every stage—the counting form of unitarity, tested exactly. Two findings go beyond agreement. First, the counted packet has a literal edge: populations fall to one configuration and then to zero exactly where the Born value crosses 1/N, so a counting world's particle has finite support where the continuum Gaussian merely thins—the rational-probability prediction rendered in position space. Second, the ontology's record-relative definition of classes is load-bearing for dynamics: counting once at the measurement stage (the chain as one composite device) yields residues of O(1/N), measured log–log slope −0.94, whereas imputing an integer census to unrecorded intermediate stages—partitions where no records are—degrades the scaling to slope −0.62 through the amplitude granularity of few-configuration tail classes. A definitional clause changes dynamical accuracy by a factor of order √N. What is not shown is the formal continuum limit: given [CS] the discrete effective dynamics is derived, with the same conditional status as the companion theorems, and the passage to the continuum equation remains the framework's open problem. The cell structure is a named input [CS]—but not a foreign one: its three clauses are the discrete shadow of the framework's own emergent-space program, and we locate each, finding that a preferred partition is what the stability criterion already selects, that adjacency is what the elementary refinement move set already supplies, and that only the graph's large-scale regularity—together with an assumed uniformity of hopping rate, which is a flatness assumption—remains open. Reading the cells as emergent space has an immediate consequence: the construction's maximal group velocity is one instance of the framework's conjectured invariant speed, computed rather than posited, since a single elementary move defines both the refinement step and the spatial adjacency. Relaxing uniformity—a position-dependent hopping rate, hence a position-dependent effective mass—is the discrete form of curvature, and is the natural next model.

•Aug 7, 2026•0 citations

Configuration Realism: Foundations

Russell Tillitt

Configuration Realism (CR) is a physical ontology consisting of a finite, timeless configuration space. Each configuration is a complete arrangement of fundamental degrees of freedom; none evolves; phase attaches additively to degrees of freedom and is defined relationally, relative to a stage of an observer chain. Information exists only as finite, lossy physical records. Each record defines a compatibility class, the configurations it cannot distinguish, and probability is defined as counting over these classes. The framework's derived core is proved and computed in three companion papers under named structural assumptions. The population of an outcome class equals N|α|²: the Born rule as a theorem, with the frequency reading consuming exactly one typicality principle. The CHSH quantity assembled from integer counts reaches 2√2 to O(1/N), the ontology giving up counterfactual definiteness in the plain Bell scenario—and the absoluteness of outcomes where Wigner's-friend extensions demand it—rather than locality or free settings. And equipped with a local move set, counted populations propagate as wavepackets: the effective mass is the inverse hopping rate of elementary refinement, the potential is a cell-dependent phase cost, and the counted dynamics reproduces Schrödinger phenomenology with the number of configurations conserved exactly at every stage. Around this core, closure laws order records by refinement. Observers are chains of record-bearing stages; change is difference read along a refinement chain; time is the emergent coordinate that labels it; and closure distance, accumulating in discrete quanta, measures the restructuring refinement requires. Direct consequences follow for entropy and the arrow of time, for the classical limit, and for objectivity as redundancy. The remainder is a labeled research program: causal structure, Lorentzian geometry, geodesic dynamics, and horizon thermodynamics as conjectured continuum limits of closure geometry, with the constructions that would establish them stated as open problems. A dedicated section collects the framework's distinctive predictions—the O(1/N) family separating a counting world from continuum quantum mechanics—each with its mechanism and in-principle test. Every claim in the paper is tabulated with its status: postulate, theorem, verified, argument, conjecture, or open.

•Jul 21, 2026•0 citations

From Primitives to the Bell–Tsirelson Bound

Allen Proxmire

In 1964, John Bell showed that any local hidden‑variable theory must satisfy a specific inequality on correlations between distant measurements. In its CHSH form (Clauser, Horne, Shimony, Holt 1969), the inequality reads |S| = |E(a,b) + E(a,b′) + E(a′,b) − E(a′,b′)| ≤ 2, where E(a,b) is the correlation between measurement outcomes at two separated parties using settings a and b. Any local realist theory respects this bound. Quantum mechanics violates it. Experiments confirm the violation. The standard quantum prediction for a maximally entangled state with optimal measurement angles is |S| = 2√2 ≈ 2.828. In 1980, Boris Tsirelson proved that 2√2 is not just one quantum prediction — it is the *maximum* value any quantum correlation can produce. No quantum state, no measurement scheme, no clever protocol can push |S| beyond 2√2. The bound is sharp, the value is exact, and it has been measured in laboratories around the world to experimental precision. The Tsirelson bound is one of the deepest empirical structures in physics. It tells us that quantum correlations exceed classical correlations by a specific, finite amount — there is room to violate Bell’s inequality, but only so much room. The number 2√2 has no obvious physical interpretation. It does not appear in the formulation of quantum mechanics. It emerges from the mathematics of the bipartite Hilbert space when the CHSH operator is constructed and bounded. The question is where it comes from. In standard QM, the answer is that it falls out of the Hilbert‑space structure plus Cauchy–Schwarz plus an operator‑norm bound on the CHSH operator. Technically correct, and Tsirelson’s 1980 proof remains the canonical derivation — but it leaves the deeper structure unanswered. The Hilbert space is postulated. The inner product that makes Cauchy–Schwarz available is postulated. The bipartite tensor‑product structure on H_A ⊗ H_B is postulated. The 2√2 value is what those postulates produce when run through the CHSH operator. This walkthrough shows how the Event Density framework derives the Tsirelson bound from a smaller set of structural commitments. The Hilbert‑space structure, the inner product, and the bipartite tensor‑product structure all emerge as forced consequences of the substrate ontology rather than being postulated. With those structures forced rather than assumed, Tsirelson’s 1980 argument applies directly, and the 2√2 value is no longer the output of a chain of postulates but the output of a chain of derived theorems. Like Heisenberg, Bell–Tsirelson is a place where the framework’s contribution is upstream. The bound itself is mathematical physics already in the literature; what changes is the foundational status of the structures the argument requires. ED does not produce a new derivation step beyond standard QM here — it removes the postulational status of the structures the standard derivation already uses. The 2√2 value is now a derived consequence of the substrate ontology, all the way down.

•May 12, 2026•0 citations

Bell's go theorem: regaining local causality with a new notion of realism

Lorenzo Catani, Nesta van der Schaaf, Rui Soares Barbosa

Bell's theorem is popularly stated as the inconsistency of quantum theory with local realism. Realism is here formalized by the ontological models framework, where elements of reality are points of a measurable space and probabilities obey the Kolmogorov axioms. In the Bell scenario, locally causal ontological models posit a common cause supporting a global valuation, a joint assignment of outcomes to all measurements at once, across incompatible contexts. Within this notion of realism, Bell's theorem makes any realist explanation of the quantum predictions conspiratorial: any mechanism, whether superluminal, superdeterministic, or retrocausal, must be finely tuned so as never to manifest operationally. We redefine realism through a new ontological framework that generalizes the standard one. The elements of reality, which we call records, are no longer points but relational parts of a point-free generalization of a topological space (sublocales of a locale). A record shared by two incompatible contexts establishes the sameness of a measurement across them, without such pairwise identities composing into a global valuation, and the common cause is then a web of such records. Within this framework, Bell's no-go theorem becomes a go theorem: local causality, restated for records, is no longer at odds with the quantum statistics. This is possible because modularity, the inclusion-exclusion law of classical probability, fails across incompatible contexts, so that the probability theory generalizes Kolmogorov's. We exhibit explicit models reproducing several quantum strategies, including the optimal CHSH violation. More broadly, locally causal models of this kind attain every Bell-CHSH value up to the algebraic maximum. A realist explanation of the quantum predictions need not be conspiratorial; every causal influence posited by these models is reflected in the operational predictions.

quant-pharXiv:2610.16493•Oct 13, 2026•0 citations

Bell–CHSH Inequality and the Absence of Global Value Assignment in the Intrinsic Observability Framework

Atsushi Okamoto

Bell–CHSH inequalities are commonly interpreted as demonstrating the incompatibility between quantum mechanics and local hidden-variable theories based on pre-existing measurement outcomes. In standard derivations of the CHSH inequality, however, it is implicitly assumed that all possible measurement settings can be assigned simultaneous values within a single global hidden-variable structure. In this paper, we reconsider the Bell–CHSH framework from the viewpoint of the Intrinsic Observability Framework (IOF). We argue that the central issue is not the experimental violation of the inequality itself, but the applicability of the global value assignment assumed in its derivation. In particular, the simultaneous definition of outcomes associated with incompatible measurement settings presupposes a common operational structure shared across all observational configurations. Within IOF, observable outcomes are not treated as globally pre-existing values independent of observational accessibility and decomposition structure. Instead, measurement outcomes are associated with operationally accessible configurations determined through observable–hidden relations. From this perspective, the global assignment required for the CHSH derivation is not operationally justified. We further show that this viewpoint remains fully consistent with the standard quantum-mechanical correlations observed in Bell-type experiments. The present analysis suggests that the Bell–CHSH inequality may be interpreted not as a direct contradiction between quantum mechanics and locality itself, but rather as a limitation of globally defined pre-existing value assignments across incompatible observational configurations.

•Jun 19, 2026•0 citations

A Phase-Superposition Reinterpretation of Quantum Entanglement: Reproducing Bell Correlations within the Wavon Framework, with Falsifiable Consequences

Myung Dal SON

Abstract. Bell's inequality established that no local hidden-variable theory can exceed a CHSH value of 2, andexperiment has repeatedly confirmed the quantum-mechanical prediction 2√2. Without modifying any measuredfact, this paper presents one structural picture of the origin of entanglement correlations — within a frameworkin which a particle is a bound triple of three wavons at mutual 120° phase: the two entangled systems do notcarry locally predetermined values, but share a single phase relation, and a measurement projects that sharedphase onto a direction angle. Within this picture the correlation function E(a,b) = ±cos 2(a−b) and CHSH = 2√2are reproduced, and no-signalling holds as a result rather than an assumption. For contrast, the value-sharinglocal translation is shown to fail, confined to CHSH ≤ 2, making explicit the criterion that separates the twopictures. At the present stage the picture is a restatement mathematically equivalent to the quantum formalism;no new prediction is claimed. Two forcing problems that must be proved before the restatement can be promotedto a derivation, and four points at which the picture is exposed to test and refutation, are stated explicitly.Keywords: Bell inequality · CHSH · quantum entanglement · no-signalling theorem · interpretation · phasesuperposition · wavon

•Jul 12, 2026•0 citations
A finite ensemble of definite, equally real configurations looks like it must obey the Bell inequalities: definite values, counted, are the textbook picture of a local hidden-variable model. We show that the instinct fails, and exhibit the failure by literal enumeration. In the finite, timeless configuration ontology of the companion papers—where probability is counting, phase is stage-relative, and the population of an outcome class is proved to equal N|α|²—the CHSH quantity assembled from ratios of integer counts reaches the quantum value 2√2 to O(1/N); at N = 4.2×10⁶, counted |S| = 2.8284267. The instinct fails for three separable reasons, each with a counting formulation. Structural exclusion—which configurations exist—is relative to the instantiated measurement bases and fixes only the aligned-basis correlations. Configurations bear outcome records only for the devices their correlation structure contains, so no configuration answers two incompatible settings and, by Fine's theorem, no Bell inequality can be derived. And the skew-angle statistics are carried by the phase structure of the class—the same cross terms that carry two-slit interference. A control run makes the mechanism visible: inserting a sector record, the which-path analog, forces per-class summation, the cross terms never form, and counted |S| falls below the local bound. Marginal counts are computed for each wing from that wing's structure alone, so the counting form of no-signaling holds by construction and is tested exactly, including at small N. On the no-go ledger the ontology keeps locality and free settings; for the plain Bell scenario its operative escape is the absence of counterfactual values, with the denial of absolute outcomes required only in Wigner's-friend extensions. One in-model prediction distinguishes the framework from continuum quantum mechanics: | |S| − 2√2 | = O(1/N), with the residue's scale robust and its sign conditional on the model's integer-apportionment rule, which is flagged as a postulate. This paper is a demonstration and a disentangling, not a new theorem: given the companion results, the violation is guaranteed; what is shown is why a counting ontology is entitled to it.
In a finite, timeless configuration space where probability is counting and the population of an outcome class is proved to equal N|α|², we construct a refinement chain from local devices—nearest-neighbour beamsplitters and per-cell phase increments, all on the 3,600-value phase lattice of the companion models—and evolve wavepacket classes by literal enumeration. The small-angle brickwork realizes the lattice Hamiltonian H = −2η cos k + V(x): the effective mass m* = 1/(2η) is the inverse hopping rate—mass as resistance to record restructuring, obtained from the move set rather than posited—and the potential is a cell-dependent phase cost per closure step. Counted populations reproduce the Schrödinger spreading law σ²(t) = σ₀² + (t/2m*σ₀)², the group velocity to seven significant figures against the exact device chain, and harmonic oscillation at ω = √(2ηκ), with Σₓ nₓ = N exact at every stage—the counting form of unitarity, tested exactly. Two findings go beyond agreement. First, the counted packet has a literal edge: populations fall to one configuration and then to zero exactly where the Born value crosses 1/N, so a counting world's particle has finite support where the continuum Gaussian merely thins—the rational-probability prediction rendered in position space. Second, the ontology's record-relative definition of classes is load-bearing for dynamics: counting once at the measurement stage (the chain as one composite device) yields residues of O(1/N), measured log–log slope −0.94, whereas imputing an integer census to unrecorded intermediate stages—partitions where no records are—degrades the scaling to slope −0.62 through the amplitude granularity of few-configuration tail classes. A definitional clause changes dynamical accuracy by a factor of order √N. What is not shown is the formal continuum limit: given [CS] the discrete effective dynamics is derived, with the same conditional status as the companion theorems, and the passage to the continuum equation remains the framework's open problem. The cell structure is a named input [CS]—but not a foreign one: its three clauses are the discrete shadow of the framework's own emergent-space program, and we locate each, finding that a preferred partition is what the stability criterion already selects, that adjacency is what the elementary refinement move set already supplies, and that only the graph's large-scale regularity—together with an assumed uniformity of hopping rate, which is a flatness assumption—remains open. Reading the cells as emergent space has an immediate consequence: the construction's maximal group velocity is one instance of the framework's conjectured invariant speed, computed rather than posited, since a single elementary move defines both the refinement step and the spatial adjacency. Relaxing uniformity—a position-dependent hopping rate, hence a position-dependent effective mass—is the discrete form of curvature, and is the natural next model.
Configuration Realism (CR) is a physical ontology consisting of a finite, timeless configuration space. Each configuration is a complete arrangement of fundamental degrees of freedom; none evolves; phase attaches additively to degrees of freedom and is defined relationally, relative to a stage of an observer chain. Information exists only as finite, lossy physical records. Each record defines a compatibility class, the configurations it cannot distinguish, and probability is defined as counting over these classes. The framework's derived core is proved and computed in three companion papers under named structural assumptions. The population of an outcome class equals N|α|²: the Born rule as a theorem, with the frequency reading consuming exactly one typicality principle. The CHSH quantity assembled from integer counts reaches 2√2 to O(1/N), the ontology giving up counterfactual definiteness in the plain Bell scenario—and the absoluteness of outcomes where Wigner's-friend extensions demand it—rather than locality or free settings. And equipped with a local move set, counted populations propagate as wavepackets: the effective mass is the inverse hopping rate of elementary refinement, the potential is a cell-dependent phase cost, and the counted dynamics reproduces Schrödinger phenomenology with the number of configurations conserved exactly at every stage. Around this core, closure laws order records by refinement. Observers are chains of record-bearing stages; change is difference read along a refinement chain; time is the emergent coordinate that labels it; and closure distance, accumulating in discrete quanta, measures the restructuring refinement requires. Direct consequences follow for entropy and the arrow of time, for the classical limit, and for objectivity as redundancy. The remainder is a labeled research program: causal structure, Lorentzian geometry, geodesic dynamics, and horizon thermodynamics as conjectured continuum limits of closure geometry, with the constructions that would establish them stated as open problems. A dedicated section collects the framework's distinctive predictions—the O(1/N) family separating a counting world from continuum quantum mechanics—each with its mechanism and in-principle test. Every claim in the paper is tabulated with its status: postulate, theorem, verified, argument, conjecture, or open.
In 1964, John Bell showed that any local hidden‑variable theory must satisfy a specific inequality on correlations between distant measurements. In its CHSH form (Clauser, Horne, Shimony, Holt 1969), the inequality reads |S| = |E(a,b) + E(a,b′) + E(a′,b) − E(a′,b′)| ≤ 2, where E(a,b) is the correlation between measurement outcomes at two separated parties using settings a and b. Any local realist theory respects this bound. Quantum mechanics violates it. Experiments confirm the violation. The standard quantum prediction for a maximally entangled state with optimal measurement angles is |S| = 2√2 ≈ 2.828. In 1980, Boris Tsirelson proved that 2√2 is not just one quantum prediction — it is the *maximum* value any quantum correlation can produce. No quantum state, no measurement scheme, no clever protocol can push |S| beyond 2√2. The bound is sharp, the value is exact, and it has been measured in laboratories around the world to experimental precision. The Tsirelson bound is one of the deepest empirical structures in physics. It tells us that quantum correlations exceed classical correlations by a specific, finite amount — there is room to violate Bell’s inequality, but only so much room. The number 2√2 has no obvious physical interpretation. It does not appear in the formulation of quantum mechanics. It emerges from the mathematics of the bipartite Hilbert space when the CHSH operator is constructed and bounded. The question is where it comes from. In standard QM, the answer is that it falls out of the Hilbert‑space structure plus Cauchy–Schwarz plus an operator‑norm bound on the CHSH operator. Technically correct, and Tsirelson’s 1980 proof remains the canonical derivation — but it leaves the deeper structure unanswered. The Hilbert space is postulated. The inner product that makes Cauchy–Schwarz available is postulated. The bipartite tensor‑product structure on H_A ⊗ H_B is postulated. The 2√2 value is what those postulates produce when run through the CHSH operator. This walkthrough shows how the Event Density framework derives the Tsirelson bound from a smaller set of structural commitments. The Hilbert‑space structure, the inner product, and the bipartite tensor‑product structure all emerge as forced consequences of the substrate ontology rather than being postulated. With those structures forced rather than assumed, Tsirelson’s 1980 argument applies directly, and the 2√2 value is no longer the output of a chain of postulates but the output of a chain of derived theorems. Like Heisenberg, Bell–Tsirelson is a place where the framework’s contribution is upstream. The bound itself is mathematical physics already in the literature; what changes is the foundational status of the structures the argument requires. ED does not produce a new derivation step beyond standard QM here — it removes the postulational status of the structures the standard derivation already uses. The 2√2 value is now a derived consequence of the substrate ontology, all the way down.
Bell's theorem is popularly stated as the inconsistency of quantum theory with local realism. Realism is here formalized by the ontological models framework, where elements of reality are points of a measurable space and probabilities obey the Kolmogorov axioms. In the Bell scenario, locally causal ontological models posit a common cause supporting a global valuation, a joint assignment of outcomes to all measurements at once, across incompatible contexts. Within this notion of realism, Bell's theorem makes any realist explanation of the quantum predictions conspiratorial: any mechanism, whether superluminal, superdeterministic, or retrocausal, must be finely tuned so as never to manifest operationally. We redefine realism through a new ontological framework that generalizes the standard one. The elements of reality, which we call records, are no longer points but relational parts of a point-free generalization of a topological space (sublocales of a locale). A record shared by two incompatible contexts establishes the sameness of a measurement across them, without such pairwise identities composing into a global valuation, and the common cause is then a web of such records. Within this framework, Bell's no-go theorem becomes a go theorem: local causality, restated for records, is no longer at odds with the quantum statistics. This is possible because modularity, the inclusion-exclusion law of classical probability, fails across incompatible contexts, so that the probability theory generalizes Kolmogorov's. We exhibit explicit models reproducing several quantum strategies, including the optimal CHSH violation. More broadly, locally causal models of this kind attain every Bell-CHSH value up to the algebraic maximum. A realist explanation of the quantum predictions need not be conspiratorial; every causal influence posited by these models is reflected in the operational predictions.
Bell–CHSH inequalities are commonly interpreted as demonstrating the incompatibility between quantum mechanics and local hidden-variable theories based on pre-existing measurement outcomes. In standard derivations of the CHSH inequality, however, it is implicitly assumed that all possible measurement settings can be assigned simultaneous values within a single global hidden-variable structure. In this paper, we reconsider the Bell–CHSH framework from the viewpoint of the Intrinsic Observability Framework (IOF). We argue that the central issue is not the experimental violation of the inequality itself, but the applicability of the global value assignment assumed in its derivation. In particular, the simultaneous definition of outcomes associated with incompatible measurement settings presupposes a common operational structure shared across all observational configurations. Within IOF, observable outcomes are not treated as globally pre-existing values independent of observational accessibility and decomposition structure. Instead, measurement outcomes are associated with operationally accessible configurations determined through observable–hidden relations. From this perspective, the global assignment required for the CHSH derivation is not operationally justified. We further show that this viewpoint remains fully consistent with the standard quantum-mechanical correlations observed in Bell-type experiments. The present analysis suggests that the Bell–CHSH inequality may be interpreted not as a direct contradiction between quantum mechanics and locality itself, but rather as a limitation of globally defined pre-existing value assignments across incompatible observational configurations.
Abstract. Bell's inequality established that no local hidden-variable theory can exceed a CHSH value of 2, andexperiment has repeatedly confirmed the quantum-mechanical prediction 2√2. Without modifying any measuredfact, this paper presents one structural picture of the origin of entanglement correlations — within a frameworkin which a particle is a bound triple of three wavons at mutual 120° phase: the two entangled systems do notcarry locally predetermined values, but share a single phase relation, and a measurement projects that sharedphase onto a direction angle. Within this picture the correlation function E(a,b) = ±cos 2(a−b) and CHSH = 2√2are reproduced, and no-signalling holds as a result rather than an assumption. For contrast, the value-sharinglocal translation is shown to fail, confined to CHSH ≤ 2, making explicit the criterion that separates the twopictures. At the present stage the picture is a restatement mathematically equivalent to the quantum formalism;no new prediction is claimed. Two forcing problems that must be proved before the restatement can be promotedto a derivation, and four points at which the picture is exposed to test and refutation, are stated explicitly.Keywords: Bell inequality · CHSH · quantum entanglement · no-signalling theorem · interpretation · phasesuperposition · wavon