<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">jamp</journal-id>
      <journal-title-group>
        <journal-title>Journal of Applied Mathematics and Physics</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2327-4379</issn>
      <issn pub-type="ppub">2327-4352</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/jamp.2026.147136</article-id>
      <article-id pub-id-type="publisher-id">jamp-152982</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Bell’s Theorem on a False Premise: Entropy-Aware Measurement, Forbidden Entropy States, Layer Separation, and a Local Ceiling at 2 2</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Atoyo</surname>
            <given-names>Jonathan K.</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Ogiamien</surname>
            <given-names>Ike</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Prometheus Engineering Research Group, Walnut Creek, California, USA </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The authors declare no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>14</day>
        <month>07</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>07</month>
        <year>2026</year>
      </pub-date>
      <volume>14</volume>
      <issue>07</issue>
      <fpage>2715</fpage>
      <lpage>2734</lpage>
      <history>
        <date date-type="received">
          <day>23</day>
          <month>09</month>
          <year>2025</year>
        </date>
        <date date-type="accepted">
          <day>28</day>
          <month>07</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>31</day>
          <month>07</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/jamp.2026.147136">https://doi.org/10.4236/jamp.2026.147136</self-uri>
      <abstract>
        <p>Bell’s theorem derives nonclassical constraints on correlations by assuming that outcomes are functions of local settings and hidden variables, while detectors are ideal, passive readouts. We argue this is a false premise. Real detectors are thermodynamic subsystems in which at least five physically distinct events occur between source and coincidence: the crystal inscribes the constraint into configuration space, the polariser reads it non-destructively (<inline-formula><mml:math></mml:math></inline-formula></p>
        <p>ΔS&gt;0</p>
        <p>, photon survives), the photodiode absorbs the photon (<inline-formula><mml:math></mml:math></inline-formula></p>
        <p>ΔS≫0</p>
        <p>, Layer 1 collapse), the coincidence circuit matches timestamps to open the pair layer, and Alice’s and Bob’s measurements occur independently at spacelike separation. This structure reveals a deeper distinction. Layer 1 is intra-particle coherence—thermodynamically vulnerable in massive particles, producing measurable heat flow and entropy increase at the detector. Layer 2 is the correlation between entangled particles—inscribed at the source, non-thermal, persisting in configuration space with no three-dimensional spatial address. Standard quantum mechanics conflates these under the single word “collapse”. We formalise the detector’s thermodynamic role with an interactability ratio <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>Ξ</p>
        <p>that triggers measurement activation when <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>Ξ&gt;</p>
        <p>Ξ</p>
        <p>c</p>
        <p>, a modified path integral where forbidden histories subtract from allowed ones, and an entropy-aware contraction in each correlation channel. The result is a strictly local ceiling <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>S</p>
        <p>max</p>
        <p>=2</p>
        <p>2</p>
        <p>L</p>
        <p>A</p>
        <p>L</p>
        <p>B</p>
        <p>≤2</p>
        <p>2</p>
        <p>for the CHSH parameter, where <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>L</p>
        <p>A,B</p>
        <p>∈(</p>
        <p>0,1 ]</p>
        <p>encode detector coupling losses. We derive this ceiling in full, re-derive Malus’ law as an entropy balance, prove no-signalling structurally and thermodynamically, present the exhaustive nine-case analysis of all measurement configurations for entangled pairs, and dissolve the measurement problem by showing that “collapse” is a conflation of two physically distinct events—neither of which is mysterious, observer-dependent, or requires a special postulate. Bell’s violation detects that the correlation structure lives in configuration space, not in three-dimensional space. There is no action at a distance because there is no action (Layer 1 is local) and there is no distance (Layer 2 has no three-dimensional address). Einstein is vindicated.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Bell’s Theorem</kwd>
        <kwd>CHSH Inequality</kwd>
        <kwd>Entanglement</kwd>
        <kwd>Measurement Problem</kwd>
        <kwd>Configuration Space</kwd>
        <kwd>No-Signalling</kwd>
        <kwd>Layer Separation</kwd>
        <kwd>Tsirelson’s Bound</kwd>
        <kwd>Thermodynamic Measurement</kwd>
        <kwd>Entropy</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>Bell’s 1964 theorem [<xref ref-type="bibr" rid="B1">1</xref>] and the CHSH formulation [<xref ref-type="bibr" rid="B2">2</xref>] are often read as ruling out any local realist account of entanglement. Experiments over five decades—from Aspect’s time-varying analysers [<xref ref-type="bibr" rid="B3">3</xref>] to loophole-free tests [<xref ref-type="bibr" rid="B4">4</xref>]-[<xref ref-type="bibr" rid="B6">6</xref>] and cosmic setting choices [<xref ref-type="bibr" rid="B7">7</xref>]—indeed violate the classical bound <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> while remaining below Tsirelson’s <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> [<xref ref-type="bibr" rid="B8">8</xref>].</p>
      <p>The hidden premise is that measurement is a passive projection with ideal detectors. We replace this with a thermodynamic ontology in which detectors are not black boxes but thermodynamic channels that sort micro-histories into allowed and forbidden sets by entropy accounting.</p>
      <p>This replacement has four consequences:</p>
      <p>1) <bold>The measurement chain.</bold> Between source and coincidence, at least five physically distinct events occur: crystal inscription (the constraint is written), polariser read (non-destructive, <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , photon survives), photon count (destructive, <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> ≫ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , Layer 1 collapse), coincidence matching (both keys supplied, Layer 2 opened), and Alice’s and Bob’s independent measurements at spacelike separation. Standard quantum mechanics collapses all five into a single word.</p>
      <p>2) <bold>Layer separation.</bold> Layer 1 is intra-particle coherence: local, thermodynamically vulnerable in massive particles (ions, superconducting qubits), and producing measurable thermal traces (heat flow, spectral shifts, entropy increase). Photons are a special case—Layer 1 has no thermal attack surface in free propagation, and the precise mechanism requires further study. Layer 2 is the correlation between entangled particles, inscribed at the source, non-thermal, and persisting in configuration space. The layer separation is confirmed by every Bell test [<xref ref-type="bibr" rid="B4">4</xref>]-[<xref ref-type="bibr" rid="B6">6</xref>][<xref ref-type="bibr" rid="B9">9</xref>] and every quantum eraser experiment [<xref ref-type="bibr" rid="B10">10</xref>]-[<xref ref-type="bibr" rid="B12">12</xref>].</p>
      <p>3) <bold>No-</bold><bold>signalling</bold><bold>.</bold> No-signalling is proven from two independent premises: tensor contraction rules (structural) and thermodynamic propagation limits (physical).</p>
      <p>4) <bold>Dissolution of the measurement problem.</bold> The measurement problem [<xref ref-type="bibr" rid="B13">13</xref>] is a category error produced by conflating Layer 1 inscription (local, thermal, irreversible) with Layer 2 key burial (non-thermal, non-propagating, perfectly recoverable) into a single word.</p>
      <p>The entropy-aware CHSH ceiling <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is derived in full. The four consequences above provide the physical framework that explains why the result holds.</p>
    </sec>
    <sec id="sec2">
      <title>2. Thermodynamic Ontology of Measurement</title>
      <sec id="sec2dot1">
        <title>2.1. Interactability and Activation: The Layer 1 Threshold</title>
        <p>Let <inline-formula><mml:math><mml:mi> Ξ </mml:mi></mml:math></inline-formula> quantify the competition between external entropy inflow and local stabiliser power:</p>
        <disp-formula id="FD1">
          <label>(1)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>Ξ</mml:mi>
              <mml:mo>≡</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>T</mml:mi>
                    <mml:mrow>
                      <mml:mtext>loc</mml:mtext>
                    </mml:mrow>
                  </mml:msub>
                  <mml:msub>
                    <mml:mover accent="true">
                      <mml:mi>S</mml:mi>
                      <mml:mo>˙</mml:mo>
                    </mml:mover>
                    <mml:mrow>
                      <mml:mtext>ext</mml:mtext>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>P</mml:mi>
                    <mml:mrow>
                      <mml:mtext>stab</mml:mtext>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>activation</mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>when</mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>Ξ</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:msub>
                <mml:mi>Ξ</mml:mi>
                <mml:mi>c</mml:mi>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>This threshold governs Layer 1 only. When <inline-formula><mml:math><mml:mrow><mml:mi> Ξ </mml:mi><mml:mo> &gt; </mml:mo><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , the system can no longer sustain coherent superposition: an inscription event occurs (<inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ), the outcome is permanently selected, and the photon is absorbed or the spin is projected. This is Layer 1 collapse—local, thermal, irreversible.</p>
        <p>Layer 2—the correlation between entangled particles—is never subject to this threshold in the Layer 1 sense. Layer 2 can be inscribed in configuration space and transformed by subsequent interactions, but it does not collapse permanently in three-dimensional space (Section 2.4). This distinction is the structural core of the paper.</p>
        <p>A detection event is a local thermodynamic transition that crosses the <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> threshold and emits a bounded beacon <inline-formula><mml:math><mml:mrow><mml:mi> δ </mml:mi><mml:msub><mml:mi> J </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (energy/entropy footprint), with <inline-formula><mml:math><mml:mrow><mml:mi> δ </mml:mi><mml:msub><mml:mi> J </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> E </mml:mi><mml:mrow><mml:mtext> event </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> by energy audit.</p>
      </sec>
      <sec id="sec2dot2">
        <title>
          2.2. Physical Scale of the Layer 1 Threshold
          <inline-formula>
            <mml:math>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>Ξ</mml:mi>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>c</mml:mi>
                  </mml:mstyle>
                </mml:msub>
              </mml:mrow>
            </mml:math>
          </inline-formula>
        </title>
        <p>The critical threshold <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> determines when Layer 1 inscription becomes unavoidable—when the environment’s entropy inflow exceeds the system’s capacity to maintain coherent superposition, forcing <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
        <p>For a superconducting transmon qubit with interlevel frequency <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mi> ω </mml:mi><mml:mo> / </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> π </mml:mi></mml:mrow></mml:mrow><mml:mo> ≈ </mml:mo><mml:mn> 5 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> GHz </mml:mtext></mml:mrow></mml:math></inline-formula> at <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:mo> = </mml:mo><mml:mn> 15 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> mK </mml:mtext></mml:mrow></mml:math></inline-formula> , the mean thermal photon number is</p>
        <disp-formula id="FD2">
          <label>(2)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>n</mml:mi>
                <mml:mrow>
                  <mml:mtext>th</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>T</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mtext>exp</mml:mtext>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mrow>
                              <mml:mi>ℏ</mml:mi>
                              <mml:mi>ω</mml:mi>
                            </mml:mrow>
                            <mml:mrow>
                              <mml:msub>
                                <mml:mi>k</mml:mi>
                                <mml:mi>B</mml:mi>
                              </mml:msub>
                              <mml:mi>T</mml:mi>
                            </mml:mrow>
                          </mml:mfrac>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>−</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msup>
              <mml:mo>≈</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>10</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mn>7</mml:mn>
                </mml:mrow>
              </mml:msup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The thermal excitation is negligible. <inline-formula><mml:math><mml:mrow><mml:mi> Ξ </mml:mi><mml:mo> &lt; </mml:mo><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> : coherence is maintained. At <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:mo> ≈ </mml:mo><mml:mn> 100 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> mK </mml:mtext></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mrow><mml:mtext> th </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> rises to ~0.1 and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> T </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> coherence times drop measurably. At <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 1 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> K </mml:mtext></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mrow><mml:mtext> th </mml:mtext></mml:mrow></mml:msub><mml:mo> &gt; </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> and coherent superposition cannot be sustained: <inline-formula><mml:math><mml:mrow><mml:mi> Ξ </mml:mi><mml:mo> &gt; </mml:mo><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . The threshold corresponds to the temperature at which the thermal photon population overwhelms the qubit’s energy gap [<xref ref-type="bibr" rid="B14">14</xref>].</p>
        <p>For photonic systems, the situation is structurally different. A photon in free propagation has no internal vibrational degrees of freedom and no rest frame in which thermal equilibration could occur [<xref ref-type="bibr" rid="B15">15</xref>]. The photon’s <inline-formula><mml:math><mml:mi> Ξ </mml:mi></mml:math></inline-formula> remains below <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> until it physically interacts with a detector (absorption, <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ). This is the structural reason photonic Bell tests approach <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> : the photon carries no entropy load between source and detector.</p>
        <p>Empirically, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is calibrated from the <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> T </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> coherence times of the specific platform. For SNSPDs at <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:mo> ~ </mml:mo><mml:mn> 0.6 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> - </mml:mtext><mml:mtext>   </mml:mtext><mml:mn> 2 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> K </mml:mtext></mml:mrow></mml:math></inline-formula> detecting single photons, the detector activation threshold corresponds to the single-photon energy exceeding the superconducting gap energy of the nanowire—a well-characterised transition.</p>
      </sec>
      <sec id="sec2dot3">
        <title>2.3. The Measurement Chain: At Least Five Distinct Events</title>
        <p>The standard treatment models “measurement” as a single operation. Bell’s theorem treats it as a function <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> a </mml:mi><mml:mo> , </mml:mo><mml:mi> λ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . In physical Bell experiments, at least five distinct events occur between source and coincidence, each with different physical character [<xref ref-type="bibr" rid="B16">16</xref>]:</p>
        <p><bold>(</bold><bold>i</bold><bold>) Crystal inscription.</bold> The source writes both layers simultaneously through spontaneous parametric down-conversion (SPDC). In a Type-I sandwich configuration, two crystals with perpendicular lattice axes are stacked; a 45˚-polarised pump photon activates both equally, producing daughter pairs carrying both HH and VV configurations. The constraint written: <italic>same</italic>. In a Type-II crystal, birefringent cone crossing produces daughters with perpendicular polarisations at the ring where both arrangements are structurally present. The constraint written: <italic>opposite</italic>. In both cases, entanglement is a structural property of the source geometry—the crystal writes the constraint into configuration space at the moment of pair creation. Layer 1: each daughter is born with its own coherence in the fourth spatial degree, carrying a three-dimensional address. Layer 2: the relational constraint is inscribed with no three-dimensional address. <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
        <p><bold>(ii)</bold><bold>Polariser</bold><bold>read.</bold> At each station, a polarising beam splitter sends the photon down one of two paths depending on its polarisation relative to the transmission axis. <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> —but the photon is <italic>not destroyed</italic>. The polariser reads the constraint non-destructively by selecting which axis of configuration space is probed—it is the <italic>dimensional selector</italic> [<xref ref-type="bibr" rid="B16">16</xref>]. The incidence angle (three-dimensional trajectory) is irrelevant; only the transmission axis matters, because polarisation is a configuration-space property. The photon survives. This is why quantum erasure works: the polariser inscribes without destroying, so a subsequent polariser can re-inscribe.</p>
        <p><bold>(iii) Photon count (screen absorption).</bold> The photodiode absorbs the photon <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> ≫ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . The photon is destroyed. This <italic>completes</italic> Layer 1: the particle’s coherence, which has existed since the crystal, is permanently closed. Irreversible, thermal, the transition from quantum to classical. Path 1 click: <inline-formula><mml:math><mml:mo> ↑ </mml:mo></mml:math></inline-formula> . Path 2 click: <inline-formula><mml:math><mml:mo> ↓ </mml:mo></mml:math></inline-formula> . The photodiode does not measure—it counts. The measurement already happened at the polariser.</p>
        <p><bold>(iv) Coincidence matching.</bold> Each station’s list alone is featureless: 50% <inline-formula><mml:math><mml:mo> ↑ </mml:mo></mml:math></inline-formula> , 50% <inline-formula><mml:math><mml:mo> ↓ </mml:mo></mml:math></inline-formula> . No pattern. No information about the constraint. The coincidence circuit compares timestamps, tagging clicks from the same pair. The matched list reveals the constraint. This is Layer 2 access: both keys supplied. The circuit does not filter noise from signal—it opens the pair layer [<xref ref-type="bibr" rid="B17">17</xref>].</p>
        <p><bold>(v) Alice’s and Bob’s measurements.</bold> Each station performs (ii) - (iii) independently at spacelike separation. The correlation between their outcomes lives in Layer 2 and is accessible only through (iv), which requires classical communication.</p>
        <p>Bell’s theorem collapses all five into a single function <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> a </mml:mi><mml:mo> , </mml:mo><mml:mi> λ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The distinctions have physical consequences: the non-destructive polariser read makes quantum erasure possible, the destructive photon count makes Layer 1 collapse irreversible, the crystal inscription makes the correlation exist, and the coincidence circuit makes it readable. The crystal writes. The polariser reads. The photodiode counts. The coincidence circuit opens.</p>
      </sec>
      <sec id="sec2dot4">
        <title>2.4. Layer 1 and Layer 2</title>
        <p>The measurement chain (Section 2.3) reveals a structural distinction that extends beyond the apparatus to the correlation itself.</p>
        <p>Layer 1 is intra-particle coherence: the internal quantum state of a single particle. Layer 1 is inscribed at the crystal simultaneously with Layer 2—each daughter photon is born with its own coherence structure in the fourth spatial degree. Layer 1 lives in the fourth spatial degree <italic>and</italic> has a three-dimensional address, because it is the actual particle: located somewhere in three-dimensional space, carrying its configuration-space structure as it travels. Layer 1 and Layer 2 are the same in kind—both are coherence, both live in the fourth spatial degree. The difference is the three-dimensional address: Layer 1 has one (it is the particle), Layer 2 does not (it is the relation between particles). This is the structural reason Layer 1 can be fully read by a single detector: the particle is physically co-located with the detector, so one detector has full access to the particle’s coherence. One key. Full read. Layer 2 requires both detectors because the relation has no three-dimensional address—it is not located at either detector. Both keys must be presented through coincidence matching. The rank of the inscription tensor equals the number of keys: rank 1 (Layer 1) requires one contraction, rank 2 (Layer 2) requires two [<xref ref-type="bibr" rid="B18">18</xref>].</p>
        <p>For massive particles (ions, electrons, superconducting qubits), Layer 1 is thermally vulnerable—the particle’s internal degrees of freedom couple to the thermal environment through vibrational modes, phonon coupling, and thermal photon absorption. This is what <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> T </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> (energy relaxation) and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> (dephasing) coherence times measure. This is what millikelvin cryogenic temperatures protect. Layer 1 inscription is <italic>completed</italic> at the photodiode—the irreversible event where <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> ≫ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , the photon is absorbed, and the outcome is permanently selected. This completion is the transition from quantum to classical. Layer 1 produces measurable physical traces: heat flow from the measurement apparatus [<xref ref-type="bibr" rid="B19">19</xref>], spectral shifts [<xref ref-type="bibr" rid="B14">14</xref>], and entropy increase satisfying the Landauer bound [<xref ref-type="bibr" rid="B20">20</xref>][<xref ref-type="bibr" rid="B21">21</xref>].</p>
        <p>Layer 1 has two distinct failure modes:</p>
        <p><italic>Polariser</italic><italic>inscription.</italic> A polariser physically interacts with the photon’s configuration-space structure. <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , but the photon survives. This adds a key—for example, a which-path tag at a double slit writes path identity into the polarisation degree of freedom, raising the rank from 1 to 2 [<xref ref-type="bibr" rid="B18">18</xref>]. Fringes disappear because an extra key has been added, not because information was destroyed. This mode is recoverable: a subsequent polariser can re-inscribe, conditionally re-merging keys (the quantum eraser mechanism [<xref ref-type="bibr" rid="B16">16</xref>]).</p>
        <p><italic>Thermal collapse.</italic> The photodiode absorbs the photon <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> ≫ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . The photon is destroyed. Layer 1 is permanently completed. This is what standard quantum mechanics calls “collapse”—irreversible, thermal, final. This mode is not recoverable: the particle no longer exists.</p>
        <p>Both are Layer 1 events (the particle’s coherence, three-dimensional address). The distinction: polariser inscription is non-destructive and recoverable; thermal collapse is destructive and permanent. Standard quantum mechanics uses one word for both.</p>
        <p>Photons are a special case. A photon in free propagation has no rest frame, no internal vibrational degrees of freedom, and no mechanism for thermal relaxation. Layer 1 has no thermal attack surface—the photon either propagates coherently or is absorbed. This is why photonic quantum systems require no cryogenics. The precise mechanism by which photonic Layer 1 differs from massive-particle Layer 1 requires further study; what is established is that photonic coherence is not degraded by the thermal environment between source and detector [<xref ref-type="bibr" rid="B15">15</xref>].</p>
        <p>Layer 2 is the correlation between entangled particles. It is inscribed at the source—the crystal or parametric process that produced the entangled pair—at the moment of pair creation. The source writes a deterministic constraint: <italic>same</italic> polarisation (Type-I SPDC) or <italic>opposite</italic> polarisation (Type-II SPDC). This constraint persists in configuration space with no three-dimensional spatial address.</p>
        <p>Layer 2 is non-thermal. Thermal effects—temperature-driven noise, phonon coupling, thermal photon absorption—do nothing to Layer 2 directly. No heat flows at the distant party when one particle is detected locally. No spectral shift, no entropy change, no physical trace appears at the distant party. This has been confirmed across every loophole-free Bell test [<xref ref-type="bibr" rid="B4">4</xref>]-[<xref ref-type="bibr" rid="B6">6</xref>] and every quantum eraser experiment [<xref ref-type="bibr" rid="B10">10</xref>]-[<xref ref-type="bibr" rid="B12">12</xref>]. Cryogenics does not protect Layer 2, because thermal noise does not attack it.</p>
        <p>But Layer 2 <italic>is</italic> inscribed by entropy—by physical interactions (<inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ) that affect the system’s plane in configuration space. A polariser physically interacts with the photon’s polarisation degree of freedom: it inscribes, writing path identity or axis selection into the configuration space structure. This is entropic inscription, not thermal attack. Each such inscription adds a key to the Layer 2 entry and transforms the structure. A subsequent polariser can re-inscribe—conditionally re-merging keys for a subset, which is the mechanism of the quantum eraser [<xref ref-type="bibr" rid="B16">16</xref>]. Environmental coupling buries old Layer 2 correlations and writes new ones [<xref ref-type="bibr" rid="B16">16</xref>]. Layer 2 never terminates. It transforms. Recovery through post-selection is perfect—the proof that the correlation was never destroyed.</p>
        <p>The distinction is precise. Thermal noise attacks Layer 1 (destabilising coherence in massive particles, driving uncontrolled collapse). Uncontrolled Layer 1 collapse indirectly buries Layer 2 keys—this is how thermal decoherence affects entanglement. But thermal noise never touches Layer 2 directly. Cryogenics protects Layer 1; protected Layer 1 preserves Layer 2 access. Entropic inscription (a polariser, a physical interaction with the configuration space plane) can inscribe Layer 2 directly—transforming the structure, adding keys—but this is not thermal.</p>
        <p>The standard account conflates these two physically distinct events under the single word “collapse.” The present paper’s thermodynamic ontology makes the separation explicit: the allowed/forbidden entropy accounting governs Layer 1. The contraction factors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> A </mml:mi><mml:mo> , </mml:mo><mml:mi> B </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> quantify Layer 1 coupling losses. Layer 2 is the correlation structure that the detector accesses through the dimensional key (the polariser angle) but does not permanently destroy—each inscription transforms the Layer 2 structure in configuration space, adding keys, never terminating it.</p>
      </sec>
      <sec id="sec2dot5">
        <title>2.5. Physical Motivation for Forbidden History Subtraction</title>
        <p>For a microstate <inline-formula><mml:math><mml:mi> μ </mml:mi></mml:math></inline-formula> in a coarse-grained history <inline-formula><mml:math><mml:mi> γ </mml:mi></mml:math></inline-formula> , define indicator functions</p>
        <disp-formula id="FD3">
          <label>(3)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>χ</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>{</mml:mo>
                <mml:mrow>
                  <mml:mtable columnalign="left">
                    <mml:mtr columnalign="left">
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mn>1</mml:mn>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mi>Ξ</mml:mi>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mi>μ</mml:mi>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>≤</mml:mo>
                          <mml:msub>
                            <mml:mi>Ξ</mml:mi>
                            <mml:mi>c</mml:mi>
                          </mml:msub>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr columnalign="left">
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mn>0</mml:mn>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mtext>otherwise</mml:mtext>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                  </mml:mtable>
                </mml:mrow>
              </mml:mrow>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>χ</mml:mi>
                <mml:mi>F</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>χ</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The subtraction <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mi> A </mml:mi><mml:mo> ˜ </mml:mo></mml:mover><mml:mo> = </mml:mo><mml:mi> A </mml:mi><mml:mo> − </mml:mo><mml:mi> F </mml:mi></mml:mrow></mml:math></inline-formula> (Equation (6)) is not a mathematical convention. It encodes a physical constraint: forbidden entropy states (FES) are thermodynamically vetoed—they represent configurations that would violate the second law locally [<xref ref-type="bibr" rid="B22">22</xref>]. A microstate <inline-formula><mml:math><mml:mi> μ </mml:mi></mml:math></inline-formula> with <inline-formula><mml:math><mml:mrow><mml:mi> Ξ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> μ </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &gt; </mml:mo><mml:msub><mml:mi> Ξ </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> has entropy inflow exceeding the system’s stabiliser capacity. The system cannot sustain that configuration; it must transition. The transition is the inscription event.</p>
        <p>The subtraction implements this veto at the amplitude level. Forbidden histories do not simply vanish—they interfere destructively with allowed histories. This is the physical mechanism behind Malus’ law (Equation (8)): the forbidden channel (<inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> sin </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> ) represents amplitude directed into configurations that the polariser’s lattice structure cannot sustain as transmitted modes. The energy is dissipated as heat/phonons—a thermodynamic event with <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
        <p>The physical consequence is testable: removing the polariser (e.g., switching to time-bin encoding) removes the entropy-sorting step. The framework predicts that <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> increases toward 1 because the forbidden channel has been eliminated (Section 11).</p>
      </sec>
      <sec id="sec2dot6">
        <title>2.6. Modified Path Integral (History Ledger)</title>
        <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> w </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> μ </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> be a coarse weight, <inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> S </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> μ </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> the entropy increment, and <inline-formula><mml:math><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> μ </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> a phase. Define</p>
        <disp-formula id="FD4">
          <label>(4)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>A</mml:mi>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mi>γ</mml:mi>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:munder>
                <mml:mstyle mathsize="140%" displaystyle="true">
                  <mml:mo>∑</mml:mo>
                </mml:mstyle>
                <mml:mrow>
                  <mml:mi>μ</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:mi>γ</mml:mi>
                </mml:mrow>
              </mml:munder>
              <mml:msqrt>
                <mml:mrow>
                  <mml:mi>w</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msqrt>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msup>
                <mml:mtext>e</mml:mtext>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mfrac>
                    <mml:mi>η</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mi mathvariant="script">S</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msup>
              <mml:msup>
                <mml:mtext>e</mml:mtext>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>φ</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msup>
              <mml:msub>
                <mml:mi>χ</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD5">
          <label>(5)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>F</mml:mi>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mi>γ</mml:mi>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:munder>
                <mml:mstyle mathsize="140%" displaystyle="true">
                  <mml:mo>∑</mml:mo>
                </mml:mstyle>
                <mml:mrow>
                  <mml:mi>μ</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:mi>γ</mml:mi>
                </mml:mrow>
              </mml:munder>
              <mml:msqrt>
                <mml:mrow>
                  <mml:mi>w</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msqrt>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msup>
                <mml:mtext>e</mml:mtext>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mfrac>
                    <mml:mi>η</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mi mathvariant="script">S</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msup>
              <mml:msup>
                <mml:mtext>e</mml:mtext>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>φ</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msup>
              <mml:msub>
                <mml:mi>χ</mml:mi>
                <mml:mi>F</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD6">
          <label>(6)</label>
          <mml:math>
            <mml:mrow>
              <mml:mover accent="true">
                <mml:mi>A</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mi>γ</mml:mi>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>A</mml:mi>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mi>γ</mml:mi>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>−</mml:mo>
              <mml:mi>F</mml:mi>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mi>γ</mml:mi>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The field at a detector point <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> is then</p>
        <disp-formula id="FD7">
          <label>(7)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>Ψ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>x</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:munder>
                <mml:mstyle displaystyle="true" mathsize="140%">
                  <mml:mo>∑</mml:mo>
                </mml:mstyle>
                <mml:mi>γ</mml:mi>
              </mml:munder>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mover accent="true">
                <mml:mi>A</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mi>γ</mml:mi>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>
              </mml:mo>
              <mml:msub>
                <mml:mi>ℱ</mml:mi>
                <mml:mi>γ</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>x</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>P</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>x</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mrow>
                      <mml:mi>Ψ</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>x</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>which reduces to standard path summation when <inline-formula><mml:math><mml:mrow><mml:mi> F </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . In the further limit <inline-formula><mml:math><mml:mrow><mml:mi> η </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> (no entropy damping), the amplitude reduces to the standard Feynman path integral; as <inline-formula><mml:math><mml:mrow><mml:mi> η </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> , high-cost paths are exponentially suppressed and classical mechanics is recovered [<xref ref-type="bibr" rid="B22">22</xref>].</p>
      </sec>
      <sec id="sec2dot7">
        <title>2.7. Polarisation as Entropy Sorting: Malus from Balance</title>
        <p>Consider a photon incident on a polariser with transmission axis <inline-formula><mml:math><mml:mover accent="true"><mml:mi> t </mml:mi><mml:mo> ^ </mml:mo></mml:mover></mml:math></inline-formula> ; write the incoming state in the analyser basis <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mover accent="true"><mml:mi> t </mml:mi><mml:mo> ^ </mml:mo></mml:mover><mml:mo> , </mml:mo><mml:msub><mml:mover accent="true"><mml:mi> t </mml:mi><mml:mo> ^ </mml:mo></mml:mover><mml:mo> ⊥ </mml:mo></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> at relative angle <inline-formula><mml:math><mml:mi> θ </mml:mi></mml:math></inline-formula> to the preparation axis. The allowed channel corresponds to coupling into lattice modes aligned with <inline-formula><mml:math><mml:mover accent="true"><mml:mi> t </mml:mi><mml:mo> ^ </mml:mo></mml:mover></mml:math></inline-formula> ; the forbidden channel corresponds to orthogonal coupling dissipated as heat/phonons. The fractions follow projection geometry:</p>
        <disp-formula id="FD8">
          <label>(8)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>p</mml:mi>
                <mml:mrow>
                  <mml:mtext>allow</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>θ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mi>cos</mml:mi>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mi>θ</mml:mi>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>p</mml:mi>
                <mml:mrow>
                  <mml:mtext>forbid</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>θ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mi>sin</mml:mi>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mi>θ</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Thus, Malus’ law is read as an <italic>entropy ledger</italic>: the detector’s microphysics spends a fraction <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> sin </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> of amplitude into the entropy sink, leaving <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> cos </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> to be observed.</p>
        <p>In the two-component picture, the polariser performs the entropy sorting: it directs the photon into the allowed channel (<inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> cos </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> ) or the forbidden channel (<inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> sin </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> ). The photodiode then inscribes whichever channel the photon entered. The entropy sorting is a Layer 1 precursor—it determines the question. The inscription at the photodiode is Layer 1 completion—it records the answer.</p>
        <p>For an entangled pair, the correlation was inscribed at the source. The polariser at each station selects which axis of configuration space is probed—the <italic>dimensional key</italic> [<xref ref-type="bibr" rid="B16">16</xref>]. At <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mn> 0 </mml:mn><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> , both polarisers probe the same axis: the constraint is read as written, deterministic. At <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> ≠ </mml:mo><mml:msup><mml:mn> 0 </mml:mn><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> , the polarisers probe different axes: <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mtext> cos </mml:mtext></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is the geometric projection between the two probes—the degree to which they address corresponding structure in configuration space. At <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mrow><mml:mn> 45 </mml:mn></mml:mrow><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> , the projection equals its complement: the output is indistinguishable from uncorrelated particles. At <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mrow><mml:mn> 90 </mml:mn></mml:mrow><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> , the correlation inverts.</p>
      </sec>
      <sec id="sec2dot8">
        <title>2.8. Visibility-Entropy Relation and Phase Survival</title>
        <p>Let <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi mathvariant="script"> S </mml:mi></mml:mrow></mml:math></inline-formula> be the entropy increment borne by the cross-term during measurement. A minimal phenomenology is</p>
        <disp-formula id="FD9">
          <label>(9)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>V</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>θ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>V</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:msup>
                <mml:mtext>e</mml:mtext>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mi>η</mml:mi>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mi>Δ</mml:mi>
                  <mml:mi mathvariant="script">S</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>θ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msup>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>which captures reduced visibility under increased mismatch and/or bath asymmetry. In the ideal limit (low-loss optics, SNSPDs):</p>
        <disp-formula id="FD10">
          <label>(10)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>θ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mi>cos</mml:mi>
              <mml:mn>2</mml:mn>
              <mml:mi>θ</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
      </sec>
    </sec>
    <sec id="sec3">
      <title>3. The Correlation: Inscribed at the Source</title>
      <sec id="sec3dot1">
        <title>3.1. The Inscription Tensor</title>
        <p>The inscription tensor <inline-formula><mml:math><mml:mi> κ </mml:mi></mml:math></inline-formula> of rank <inline-formula><mml:math><mml:mi> r </mml:mi></mml:math></inline-formula> [<xref ref-type="bibr" rid="B18">18</xref>] stores the correlation structure of any physical system:</p>
        <disp-formula id="FD11">
          <label>(11)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>r</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>:</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mi>i</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:msub>
                <mml:mover accent="true">
                  <mml:mi>n</mml:mi>
                  <mml:mo>^</mml:mo>
                </mml:mover>
                <mml:mi>i</mml:mi>
              </mml:msub>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD12">
          <label>(12)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>r</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>:</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:msub>
                <mml:mi>δ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD13">
          <label>(13)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>r</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>:</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:msub>
                <mml:mi>ε</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The operation on the tensor is contraction with detector axes:</p>
        <disp-formula id="FD14">
          <label>(14)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>C</mml:mi>
                <mml:mi>r</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>i</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                  <mml:mo>⋯</mml:mo>
                  <mml:msub>
                    <mml:mi>i</mml:mi>
                    <mml:mi>r</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:msub>
              <mml:msubsup>
                <mml:mover accent="true">
                  <mml:mi>a</mml:mi>
                  <mml:mo>^</mml:mo>
                </mml:mover>
                <mml:mn>1</mml:mn>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>i</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                </mml:mrow>
              </mml:msubsup>
              <mml:mo>⋯</mml:mo>
              <mml:msubsup>
                <mml:mover accent="true">
                  <mml:mi>a</mml:mi>
                  <mml:mo>^</mml:mo>
                </mml:mover>
                <mml:mi>r</mml:mi>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>i</mml:mi>
                    <mml:mi>r</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:msubsup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The Born rule gives the probability: <inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> C </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mstyle displaystyle="true"><mml:msub><mml:mo> ∑ </mml:mo><mml:mrow><mml:mtext> outcomes </mml:mtext></mml:mrow></mml:msub><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> C </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:mstyle></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      </sec>
      <sec id="sec3dot2">
        <title>3.2. Same and Opposite: The Only Two Constraints</title>
        <p>In two-dimensional configuration space, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> ε </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> are the only two isotropic rank-2 tensors. The geometry permits exactly two qualitative constraints between two parties—same and opposite—and nothing else. This is not a contingent fact about particular quantum states. It is the complete set of isotropic relational structures available.</p>
        <p>For the “same” constraint (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> κ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> κ </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo></mml:mo><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> ), the joint probabilities are:</p>
        <disp-formula id="FD15">
          <label>(15)</label>
          <mml:math>
            <mml:mtable columnalign="left">
              <mml:mtr>
                <mml:mtd>
                  <mml:mi>P</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>↑</mml:mo>
                      <mml:mo>↑</mml:mo>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:msup>
                    <mml:mi>cos</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>Δ</mml:mi>
                      <mml:mi>θ</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>,</mml:mo>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mi>P</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>↑</mml:mo>
                      <mml:mo>↓</mml:mo>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:msup>
                    <mml:mi>sin</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>Δ</mml:mi>
                      <mml:mi>θ</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>,</mml:mo>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mi>P</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>↓</mml:mo>
                      <mml:mo>↑</mml:mo>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:msup>
                    <mml:mi>sin</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>Δ</mml:mi>
                      <mml:mi>θ</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>,</mml:mo>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mi>P</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>↓</mml:mo>
                      <mml:mo>↓</mml:mo>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:msup>
                    <mml:mi>cos</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>Δ</mml:mi>
                      <mml:mi>θ</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>.</mml:mo>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
        <p>For the “opposite” constraint (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> κ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> κ </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo></mml:mo><mml:msub><mml:mi> ε </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> ), swap <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mtext> cos </mml:mtext></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mo> ↔ </mml:mo><mml:msup><mml:mrow><mml:mtext> sin </mml:mtext></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . In both cases, each party’s marginal sums to <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> . No-signalling is structural.</p>
      </sec>
    </sec>
    <sec id="sec4">
      <title>4. What Both Stations See Alone</title>
      <p>Alice, measuring alone at any angle, sees: 50% <inline-formula><mml:math><mml:mo> ↑ </mml:mo></mml:math></inline-formula> , 50% <inline-formula><mml:math><mml:mo> ↓ </mml:mo></mml:math></inline-formula> . Always. Regardless of what Bob does, when he does it, or whether he does anything at all. Bob sees the same.</p>
      <p>This is proven by partial contraction of the rank-2 inscription tensor [<xref ref-type="bibr" rid="B17">17</xref>]:</p>
      <disp-formula id="FD16">
        <label>(16)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>B</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mo>+</mml:mo>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:msup>
              <mml:mrow>
                <mml:mtext>cos</mml:mtext>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>θ</mml:mi>
                  <mml:mi>B</mml:mi>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>θ</mml:mi>
                  <mml:mi>A</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:msup>
              <mml:mrow>
                <mml:mtext>sin</mml:mtext>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>θ</mml:mi>
                  <mml:mi>B</mml:mi>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>θ</mml:mi>
                  <mml:mi>A</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>forced by the trigonometric identity <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> cos </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> α </mml:mi><mml:mo> + </mml:mo><mml:msup><mml:mrow><mml:mi> sin </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> α </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . The marginal is independent of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mi> A </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . This result was <italic>computed</italic>, not assumed. No step contains no-signalling as a premise.</p>
      <p>The 50/50 is not noise. It is degeneracy. The constraint says “same” (or “opposite”) but does not say which direction. Both realisations are equally valid because the constraint is isotropic: it specifies a relationship, not a direction.</p>
    </sec>
    <sec id="sec5">
      <title>5. The Nine Measurement Configurations</title>
      <p><bold>Table 1</bold> enumerates all logically distinct configurations for an entangled pair. Every possible measurement scenario falls into one of these nine cases.</p>
      <p><bold>Table 1</bold><bold>.</bold> All nine logically distinct measurement configurations for an entangled pair with the “same” constraint (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> κ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> κ </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo></mml:mo><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> ). <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msub><mml:mi> θ </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> θ </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . “Environmental” denotes an uncontrolled inscription with <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> but no recorded axis. For the “opposite” constraint (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> ε </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> ), Cases 4 and 6 swap results.</p>
      <table-wrap id="tbl1">
        <label>Table 1</label>
        <table>
          <tbody>
            <tr>
              <td>Case</td>
              <td>Alice</td>
              <td>Bob</td>
              <td>Result</td>
              <td>What is physically happening</td>
            </tr>
            <tr>
              <td>1</td>
              <td>
                Measures at
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                Measures at
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mi>cos</mml:mi>
                        </mml:mrow>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                      <mml:mi>Δ</mml:mi>
                      <mml:mi>θ</mml:mi>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>Both keys presented. Full contraction. Layer 2 readable.</td>
            </tr>
            <tr>
              <td>2</td>
              <td>
                Measures at
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>Does not measure</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mn>1</mml:mn>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>One key. Partial contraction. Bob sees maximally mixed. No trace of Alice.</td>
            </tr>
            <tr>
              <td>3</td>
              <td>Does not measure</td>
              <td>
                Measures at
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mn>1</mml:mn>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>Mirror of Case 2. Alice’s choice irrelevant.</td>
            </tr>
            <tr>
              <td>4</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:msup>
                        <mml:mn>0</mml:mn>
                        <mml:mo>∘</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:msup>
                        <mml:mn>0</mml:mn>
                        <mml:mo>∘</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>1</td>
              <td>Aligned axes. Deterministic.</td>
            </tr>
            <tr>
              <td>5</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:msup>
                        <mml:mn>0</mml:mn>
                        <mml:mo>∘</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mn>45</mml:mn>
                        </mml:mrow>
                        <mml:mo>∘</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mn>1</mml:mn>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>Half overlap. Indistinguishable from uncorrelated.</td>
            </tr>
            <tr>
              <td>6</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:msup>
                        <mml:mn>0</mml:mn>
                        <mml:mo>∘</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mn>90</mml:mn>
                        </mml:mrow>
                        <mml:mo>∘</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>0</td>
              <td>Orthogonal axes. Deterministic anti-correlation.</td>
            </tr>
            <tr>
              <td>7</td>
              <td>Environmental</td>
              <td>
                Measures at
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mn>1</mml:mn>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>Axis unknown. Layer 2 closed but key lost. Decoherence.</td>
            </tr>
            <tr>
              <td>8</td>
              <td>Environmental</td>
              <td>Environmental</td>
              <td>Undecidable</td>
              <td>Both keys lost. Layer 2 permanently inaccessible. Classical reality.</td>
            </tr>
            <tr>
              <td>9</td>
              <td>Neither</td>
              <td>Neither</td>
              <td>Open</td>
              <td>No inscription. Entanglement persists indefinitely.</td>
            </tr>
          </tbody>
        </table>
      </table-wrap>
      <sec id="sec5dot1">
        <title>The Cross-Term Kill</title>
        <p>When Alice’s particle undergoes environmental inscription (Case 7), summing <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> C </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> over both environmental outcomes and averaging over all possible <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mtext> env </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> :</p>
        <disp-formula id="FD17">
          <label>(17)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>P</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msubsup>
                    <mml:mo>∫</mml:mo>
                    <mml:mn>0</mml:mn>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>π</mml:mi>
                    </mml:mrow>
                  </mml:msubsup>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mtext>d</mml:mtext>
                        <mml:msub>
                          <mml:mi>θ</mml:mi>
                          <mml:mrow>
                            <mml:mtext>env</mml:mtext>
                          </mml:mrow>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mi>π</mml:mi>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mi>cos</mml:mi>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mrow>
                      <mml:mtext>env</mml:mtext>
                    </mml:mrow>
                  </mml:msub>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mi>cos</mml:mi>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mi>B</mml:mi>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mi>sin</mml:mi>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mrow>
                      <mml:mtext>env</mml:mtext>
                    </mml:mrow>
                  </mml:msub>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mi>sin</mml:mi>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mi>B</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The cross-terms <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> cos </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mtext> env </mml:mtext></mml:mrow></mml:msub><mml:mi> sin </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mtext> env </mml:mtext></mml:mrow></mml:msub><mml:mi> cos </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mi> sin </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> cancel exactly. This is the <italic>cross-term kill theorem</italic>: one environmental inscription converts the coherent sum <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:mstyle displaystyle="true"><mml:mo> ∑ </mml:mo><mml:mrow><mml:mtext> amplitudes </mml:mtext></mml:mrow></mml:mstyle></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> into the incoherent sum <inline-formula><mml:math display="inline"><mml:mrow><mml:mstyle displaystyle="true"><mml:mo> ∑ </mml:mo><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:mtext> amplitude </mml:mtext></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:mstyle></mml:mrow></mml:math></inline-formula> . The transition is exact, immediate, and idempotent [<xref ref-type="bibr" rid="B17">17</xref>].</p>
        <p><bold>Structural no-</bold><bold>signalling</bold><bold>.</bold> Cases 2 and 3 prove that no operation by Alice can alter Bob’s Layer 1 statistics, and vice versa. The correlation lives exclusively in Layer 2, which has no three-dimensional spatial address. No-signalling is a geometric consequence of the layer separation.</p>
        <p><bold>Retrocausality</bold><bold>dissolved.</bold> Cases 1 - 3 prove that the temporal ordering of measurements is irrelevant. Layer 2 closure is <italic>and</italic>, not <italic>then</italic>. Whether Alice measures first, second, or simultaneously with Bob, the correlation is <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mtext> cos </mml:mtext></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      </sec>
    </sec>
    <sec id="sec6">
      <title>6. No-Signalling: Structural and Thermodynamic</title>
      <sec id="sec6dot1">
        <title>6.1. The Structural Proof</title>
        <p><bold>Theorem 1 (No-</bold><bold>signalling</bold><bold>,</bold><bold>structural~)</bold><italic>For an entangled pair with inscription tensor</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> κ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula><italic>of rank 2</italic>,<italic>no local operation by Alice can alter Bob’s measurement statistics. This</italic><italic>follows from</italic><italic>the contraction rules of the rank-2 tensor</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula><italic>and the identity</italic><inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> cos </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> α </mml:mi><mml:mo> + </mml:mo><mml:msup><mml:mrow><mml:mi> sin </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> α </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula><italic>. The proof is exact</italic>,<italic>non-circular</italic>,<italic>and validated against the full experimental record</italic>[<xref ref-type="bibr" rid="B4">4</xref>]<italic>-</italic>[<xref ref-type="bibr" rid="B6">6</xref>][<xref ref-type="bibr" rid="B17">17</xref>]<italic>.</italic></p>
      </sec>
      <sec id="sec6dot2">
        <title>6.2. The Thermodynamic Beacon Argument</title>
        <p><bold>Theorem 2 (No-</bold><bold>signalling</bold><bold>,</bold><bold>thermodynamic~)</bold><italic>Signalling</italic><italic>requires</italic><italic>a physical</italic><italic>trace at the receiver. Layer 1 traces are local and subluminal: they cannot constitute</italic><italic>signalling</italic><italic>at spacelike separation. Layer 2 produces no physical trace at the distant party (Section 2). There is nothing to detect and nothing to propagate. No-</italic><italic>signalling</italic><italic>holds.</italic></p>
        <p>No-signalling holds structurally (tensor contraction) and physically (thermodynamic propagation limits), from independent premises, converging on the same conclusion [<xref ref-type="bibr" rid="B15">15</xref>].</p>
      </sec>
      <sec id="sec6dot3">
        <title>6.3. The Neptune Protocol: Why FTL Communication Fails</title>
        <p>To make the no-signalling result concrete, consider the following protocol designed to communicate faster than light [<xref ref-type="bibr" rid="B15">15</xref>][<xref ref-type="bibr" rid="B17">17</xref>].</p>
        <p>Alice is on Earth. Bob is near Neptune, approximately 4.3 light-hours away. They share a large supply of entangled pairs prepared in the “same” constraint (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> κ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> κ </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> ), and they pre-agree on a schedule: at specific times, both will measure their particles at aligned angles (<inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mn> 0 </mml:mn><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> ). The encoding is simple. Alice either measures her particles at the agreed time (ON—representing a 1) or does nothing (OFF—representing a 0). By running many pairs at each time slot, Alice encodes a binary message—a distress signal, a greeting, anything.</p>
        <p>If signalling worked, Bob could decode the message from his data alone. At <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mn> 0 </mml:mn><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> with the “same” constraint, the correlation is deterministic: every pair should agree. If Alice measures and the correlation is real, perhaps Bob’s outcomes would show structure. If Alice does not measure, perhaps they would not. Bob decodes Alice’s ON/OFF pattern 4.3 light-hours before any classical signal could arrive.</p>
        <p>The protocol fails. Bob’s data are <inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> in every time slot—ON and OFF—because partial contraction of the rank-2 tensor with any single detector axis yields <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , forced by <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mi> cos </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> α </mml:mi><mml:mo> + </mml:mo><mml:msup><mml:mrow><mml:mi> sin </mml:mi></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mi> α </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> (Equation (16)). The total-variation distance between Bob’s distributions in ON and OFF slots is [<xref ref-type="bibr" rid="B15">15</xref>]:</p>
        <disp-formula id="FD18">
          <label>(18)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>Λ</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:mo>∫</mml:mo>
                  <mml:mrow>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:msubsup>
                    <mml:mi>P</mml:mi>
                    <mml:mi>B</mml:mi>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mtext>ON</mml:mtext>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:msubsup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>x</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:msubsup>
                    <mml:mi>P</mml:mi>
                    <mml:mi>B</mml:mi>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mtext>OFF</mml:mtext>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:msubsup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>x</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>0.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The correlation is real—but it lives in Layer 2, accessible only through coincidence matching (both keys required). Bob alone has one key. One key reads as maximally mixed. The deterministic correlation at <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mn> 0 </mml:mn><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> is visible only in the joint record, which requires classical communication to construct.</p>
        <p>The thermal argument closes the second avenue. When Alice measures her particles, the inscription event produces heat flow, spectral shifts, and entropy increase—all at Earth, at Alice’s detector. This is Layer 1: local, thermal, subluminal. No thermal beacon appears at Neptune. No spectral shift on Bob’s qubits. No entropy change in Bob’s cryostat. Bob’s detector registers a sequence of fair coin flips containing exactly zero bits of mutual information with Alice’s message [<xref ref-type="bibr" rid="B17">17</xref>]. No algorithm, no statistical test, no machine learning model can extract what is not there [<xref ref-type="bibr" rid="B15">15</xref>].</p>
      </sec>
    </sec>
    <sec id="sec7">
      <title>
        7. Entropy-Aware CHSH and the Local Ceiling at
        <inline-formula>
          <mml:math>
            <mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:msqrt>
                <mml:mn>2</mml:mn>
              </mml:msqrt>
            </mml:mrow>
          </mml:math>
        </inline-formula>
      </title>
      <sec id="sec7dot1">
        <title>7.1. Detectors as Local Contraction Channels</title>
        <p>In each run with settings <inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mo> , </mml:mo><mml:mi> b </mml:mi></mml:mrow></mml:math></inline-formula> , the measured correlator is reduced by local detector factors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> a </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> , </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> b </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∈ </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> that encode all entropy couplings (thresholds, dissipation channels, bath mismatch). We model</p>
        <disp-formula id="FD19">
          <label>(19)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>b</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>a</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>b</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>
              </mml:mo>
              <mml:mi>cos</mml:mi>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mi>b</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>This preserves locality (outcome at <inline-formula><mml:math><mml:mi> A </mml:mi></mml:math></inline-formula> depends only on <inline-formula><mml:math><mml:mrow><mml:mi> λ </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> μ </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> a </mml:mi></mml:mrow></mml:math></inline-formula> ; at <inline-formula><mml:math><mml:mi> B </mml:mi></mml:math></inline-formula> only on <inline-formula><mml:math><mml:mrow><mml:mi> λ </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> μ </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> b </mml:mi></mml:mrow></mml:math></inline-formula> ) and measurement independence (settings are chosen independently). It merely rejects the false premise that detectors are thermodynamically inert.</p>
      </sec>
      <sec id="sec7dot2">
        <title>
          7.2.
          <inline-formula>
            <mml:math>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>L</mml:mi>
                  <mml:mrow>
                    <mml:mi>A</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>B</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
            </mml:math>
          </inline-formula>
          versus Standard Detection Efficiency
        </title>
        <p>Standard detection efficiency <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> η </mml:mi><mml:mrow><mml:mtext> det </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> measures the probability that a photon arriving at the detector produces a click—a ratio of detected events to incident events. It governs the detection loophole [<xref ref-type="bibr" rid="B23">23</xref>][<xref ref-type="bibr" rid="B24">24</xref>]: if <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> η </mml:mi><mml:mrow><mml:mtext> det </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> is too low, post-selection of detected events can mimic Bell violations.</p>
        <p>The contraction factors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> A </mml:mi><mml:mo> , </mml:mo><mml:mi> B </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> encode a different physical quantity. They measure the degree to which the detector’s thermodynamic interaction with the photon preserves the correlation structure. Even a detector with unit efficiency (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> η </mml:mi><mml:mrow><mml:mtext> det </mml:mtext></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , every photon produces a click) imposes an entropy-aware contraction: the polariser’s projection geometry sorts incoming amplitude into allowed and forbidden channels (Equation (8)), and additional entropy channels (bath mismatch, thermal noise, impedance mismatch) reduce the effective correlator below unity.</p>
        <p><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> A </mml:mi><mml:mo> , </mml:mo><mml:mi> B </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> corresponds to an ideal analyser where the only entropy cost is the projection itself. <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> A </mml:mi><mml:mo> , </mml:mo><mml:mi> B </mml:mi></mml:mrow></mml:msub><mml:mo> &lt; </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> corresponds to additional entropy channels beyond the projection. Within the broader framework [<xref ref-type="bibr" rid="B22">22</xref>], <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> is governed by the local accessibility field <inline-formula><mml:math><mml:mrow><mml:mi> Z </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> ϕ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> : <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mo> → </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> as detector accessibility approaches ideal (<inline-formula><mml:math><mml:mrow><mml:mi> Z </mml:mi><mml:mo> → </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ), and <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> decreases as entropy channels accumulate (<inline-formula><mml:math><mml:mrow><mml:mi> Z </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ).</p>
        <p><bold>Calibration routine.</bold><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is extracted from aligned-basis (<inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mn> 0 </mml:mn><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> ) anti-correlation visibility:</p>
        <disp-formula id="FD20">
          <label>(20)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>V</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mrow>
                      <mml:mi>E</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mi>a</mml:mi>
                          <mml:mo>,</mml:mo>
                          <mml:mi>b</mml:mi>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mtext>Δ</mml:mtext>
                  <mml:mi>θ</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>0</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>a</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>b</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>For a singlet pair, the ideal correlator at <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> θ </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> is <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . The measured value gives <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> directly. For symmetric optical paths, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mo> ≈ </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mo> ≈ </mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mi> V </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:math></inline-formula> .</p>
      </sec>
      <sec id="sec7dot3">
        <title>7.3. CHSH with Contraction: Full Derivation</title>
        <p>Define the CHSH combination</p>
        <disp-formula id="FD21">
          <label>(21)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>S</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>a</mml:mi>
                      <mml:mo>,</mml:mo>
                      <mml:mi>b</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>+</mml:mo>
                  <mml:mi>E</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>a</mml:mi>
                      <mml:mo>,</mml:mo>
                      <mml:msup>
                        <mml:mi>b</mml:mi>
                        <mml:mo>′</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>+</mml:mo>
                  <mml:mi>E</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>a</mml:mi>
                        <mml:mo>′</mml:mo>
                      </mml:msup>
                      <mml:mo>,</mml:mo>
                      <mml:mi>b</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mi>E</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>a</mml:mi>
                        <mml:mo>′</mml:mo>
                      </mml:msup>
                      <mml:mo>,</mml:mo>
                      <mml:msup>
                        <mml:mi>b</mml:mi>
                        <mml:mo>′</mml:mo>
                      </mml:msup>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p><bold>Theorem 3</bold> (Entropy-aware CHSH ceiling). <italic>For the entropy-aware correlator (19) with</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> A </mml:mi><mml:mo> , </mml:mo><mml:mi> B </mml:mi></mml:mrow></mml:msub><mml:mo> ∈ </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>approximately setting-independent</italic>,</p>
        <disp-formula id="FD22">
          <label>(22)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>S</mml:mi>
              <mml:mo>≤</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:msqrt>
                <mml:mn>2</mml:mn>
              </mml:msqrt>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p><italic>Proof.</italic> Substituting Equation (19) into Equation (21) and applying the triangle inequality:</p>
        <disp-formula id="FD23">
          <label>(23)</label>
          <mml:math>
            <mml:mtable>
              <mml:mtr>
                <mml:mtd>
                  <mml:mi>S</mml:mi>
                  <mml:mo>≤</mml:mo>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>A</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>a</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>B</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>b</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mrow>
                      <mml:mi>cos</mml:mi>
                      <mml:mn>2</mml:mn>
                      <mml:mi>Δ</mml:mi>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>A</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>a</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>B</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:msup>
                      <mml:mi>b</mml:mi>
                      <mml:mo>′</mml:mo>
                    </mml:msup>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mrow>
                      <mml:mi>cos</mml:mi>
                      <mml:mn>2</mml:mn>
                      <mml:mi>Δ</mml:mi>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>A</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:msup>
                      <mml:mi>a</mml:mi>
                      <mml:mo>′</mml:mo>
                    </mml:msup>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>B</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>b</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mrow>
                      <mml:mi>cos</mml:mi>
                      <mml:mn>2</mml:mn>
                      <mml:mi>Δ</mml:mi>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mn>3</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>A</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:msup>
                      <mml:mi>a</mml:mi>
                      <mml:mo>′</mml:mo>
                    </mml:msup>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>B</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:msup>
                      <mml:mi>b</mml:mi>
                      <mml:mo>′</mml:mo>
                    </mml:msup>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mrow>
                      <mml:mi>cos</mml:mi>
                      <mml:mn>2</mml:mn>
                      <mml:mi>Δ</mml:mi>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mn>4</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                  <mml:mo>.</mml:mo>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
        <p>Since each <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> :</p>
        <disp-formula id="FD24">
          <label>(24)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>S</mml:mi>
              <mml:mo>≤</mml:mo>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>cos</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mi>Δ</mml:mi>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>cos</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mi>Δ</mml:mi>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>cos</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mi>Δ</mml:mi>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mn>3</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>cos</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mi>Δ</mml:mi>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mn>4</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>≤</mml:mo>
              <mml:mn>4.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The algebraic maximum 4 is not physical. The CHSH-optimal polariser angles are:</p>
        <disp-formula id="FD25">
          <label>(25)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mn>0</mml:mn>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msup>
                <mml:mi>a</mml:mi>
                <mml:mo>′</mml:mo>
              </mml:msup>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>45</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>b</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>22.5</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msup>
                <mml:mi>b</mml:mi>
                <mml:mo>′</mml:mo>
              </mml:msup>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>22.5</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>These give four angular separations of 22.5˚ in polariser angle, which is 45˚ in the correlation argument <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> a </mml:mi><mml:mo> − </mml:mo><mml:mi> b </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> :</p>
        <disp-formula id="FD26">
          <label>(26)</label>
          <mml:math>
            <mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mi>b</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mn>0</mml:mn>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                  <mml:mo>−</mml:mo>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>22.5</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>45</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>⇒</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>cos</mml:mtext>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>45</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>/</mml:mo>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD27">
          <label>(27)</label>
          <mml:math>
            <mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:msup>
                    <mml:mi>b</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mn>0</mml:mn>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                  <mml:mo>+</mml:mo>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>22.5</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>45</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>⇒</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>cos</mml:mtext>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>45</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>/</mml:mo>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD28">
          <label>(28)</label>
          <mml:math>
            <mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>a</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                  <mml:mo>−</mml:mo>
                  <mml:mi>b</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>45</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                  <mml:mo>−</mml:mo>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>22.5</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>45</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>⇒</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>cos</mml:mtext>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>45</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>/</mml:mo>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD29">
          <label>(29)</label>
          <mml:math>
            <mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>a</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                  <mml:mo>−</mml:mo>
                  <mml:msup>
                    <mml:mi>b</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>45</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                  <mml:mo>+</mml:mo>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>22.5</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>135</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>⇒</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>cos</mml:mtext>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mn>135</mml:mn>
                    </mml:mrow>
                    <mml:mo>∘</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>/</mml:mo>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Evaluating the four correlators:</p>
        <disp-formula id="FD30">
          <label>(30)</label>
          <mml:math>
            <mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>b</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>a</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>b</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mn>1</mml:mn>
                    <mml:mo>/</mml:mo>
                    <mml:mrow>
                      <mml:msqrt>
                        <mml:mn>2</mml:mn>
                      </mml:msqrt>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:msup>
                    <mml:mi>b</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>a</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:msup>
                  <mml:mi>b</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mn>1</mml:mn>
                    <mml:mo>/</mml:mo>
                    <mml:mrow>
                      <mml:msqrt>
                        <mml:mn>2</mml:mn>
                      </mml:msqrt>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD31">
          <label>(31)</label>
          <mml:math display="inline">
            <mml:mrow>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>a</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                  <mml:mo>,</mml:mo>
                  <mml:mi>b</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:msup>
                  <mml:mi>a</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>b</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mn>1</mml:mn>
                    <mml:mo>/</mml:mo>
                    <mml:mrow>
                      <mml:msqrt>
                        <mml:mn>2</mml:mn>
                      </mml:msqrt>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>a</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                  <mml:mo>,</mml:mo>
                  <mml:msup>
                    <mml:mi>b</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:msup>
                  <mml:mi>a</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:msup>
                  <mml:mi>b</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mrow>
                    <mml:mn>1</mml:mn>
                    <mml:mo>/</mml:mo>
                    <mml:mrow>
                      <mml:msqrt>
                        <mml:mn>2</mml:mn>
                      </mml:msqrt>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The CHSH combination becomes:</p>
        <disp-formula id="FD32">
          <label>(32)</label>
          <mml:math>
            <mml:mtable>
              <mml:mtr>
                <mml:mtd>
                  <mml:mi>S</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mrow>
                      <mml:mi>E</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mi>a</mml:mi>
                          <mml:mo>,</mml:mo>
                          <mml:mi>b</mml:mi>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mi>E</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mi>a</mml:mi>
                          <mml:mo>,</mml:mo>
                          <mml:msup>
                            <mml:mi>b</mml:mi>
                            <mml:mo>′</mml:mo>
                          </mml:msup>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mi>E</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msup>
                            <mml:mi>a</mml:mi>
                            <mml:mo>′</mml:mo>
                          </mml:msup>
                          <mml:mo>,</mml:mo>
                          <mml:mi>b</mml:mi>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>−</mml:mo>
                      <mml:mi>E</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msup>
                            <mml:mi>a</mml:mi>
                            <mml:mo>′</mml:mo>
                          </mml:msup>
                          <mml:mo>,</mml:mo>
                          <mml:msup>
                            <mml:mi>b</mml:mi>
                            <mml:mo>′</mml:mo>
                          </mml:msup>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mrow>
                      <mml:msqrt>
                        <mml:mn>2</mml:mn>
                      </mml:msqrt>
                    </mml:mrow>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>a</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>b</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>a</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:msup>
                          <mml:mi>b</mml:mi>
                          <mml:mo>′</mml:mo>
                        </mml:msup>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:msup>
                          <mml:mi>a</mml:mi>
                          <mml:mo>′</mml:mo>
                        </mml:msup>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>b</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:msup>
                          <mml:mi>a</mml:mi>
                          <mml:mo>′</mml:mo>
                        </mml:msup>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:msup>
                          <mml:mi>b</mml:mi>
                          <mml:mo>′</mml:mo>
                        </mml:msup>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mrow>
                      <mml:msqrt>
                        <mml:mn>2</mml:mn>
                      </mml:msqrt>
                    </mml:mrow>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>a</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>L</mml:mi>
                            <mml:mi>B</mml:mi>
                          </mml:msub>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mi>b</mml:mi>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>+</mml:mo>
                          <mml:msub>
                            <mml:mi>L</mml:mi>
                            <mml:mi>B</mml:mi>
                          </mml:msub>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:msup>
                              <mml:mi>b</mml:mi>
                              <mml:mo>′</mml:mo>
                            </mml:msup>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:msup>
                          <mml:mi>a</mml:mi>
                          <mml:mo>′</mml:mo>
                        </mml:msup>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>L</mml:mi>
                            <mml:mi>B</mml:mi>
                          </mml:msub>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mi>b</mml:mi>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>+</mml:mo>
                          <mml:msub>
                            <mml:mi>L</mml:mi>
                            <mml:mi>B</mml:mi>
                          </mml:msub>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:msup>
                              <mml:mi>b</mml:mi>
                              <mml:mo>′</mml:mo>
                            </mml:msup>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mrow>
                      <mml:msqrt>
                        <mml:mn>2</mml:mn>
                      </mml:msqrt>
                    </mml:mrow>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>a</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>A</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:msup>
                          <mml:mi>a</mml:mi>
                          <mml:mo>′</mml:mo>
                        </mml:msup>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>b</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mi>L</mml:mi>
                        <mml:mi>B</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:msup>
                          <mml:mi>b</mml:mi>
                          <mml:mo>′</mml:mo>
                        </mml:msup>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>.</mml:mo>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD33">
          <mml:math>
            <mml:mrow>
              <mml:mi>L</mml:mi>
              <mml:mo>≤</mml:mo>
              <mml:mn>1</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD34">
          <label>(33)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>a</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:msup>
                  <mml:mi>a</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>≤</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>b</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:msup>
                  <mml:mi>b</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>≤</mml:mo>
              <mml:mn>2.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Therefore:</p>
        <disp-formula id="FD35">
          <label>(34)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>S</mml:mi>
              <mml:mo>≤</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>×</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>×</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>4</mml:mn>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:msqrt>
                <mml:mn>2</mml:mn>
              </mml:msqrt>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>This is Tsirelson’s bound [<xref ref-type="bibr" rid="B8">8</xref>], recovered from strict locality plus entropy-aware detectors. For setting-independent contraction (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> a </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≈ </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:msup><mml:mi> a </mml:mi><mml:mo> ′ </mml:mo></mml:msup><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≈ </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> b </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≈ </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:msup><mml:mi> b </mml:mi><mml:mo> ′ </mml:mo></mml:msup><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≈ </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> ):</p>
        <disp-formula id="FD36">
          <label>(35)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>S</mml:mi>
              <mml:mo>≤</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>A</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:msub>
                    <mml:mi>L</mml:mi>
                    <mml:mi>B</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:msqrt>
                <mml:mn>2</mml:mn>
              </mml:msqrt>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>A</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mi>L</mml:mi>
                <mml:mi>B</mml:mi>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>□</p>
        <p><bold>Interpretation.</bold> The algebraic maximum 4 is the sum of four ideal unit correlators; each analyser + detector interface at the CHSH geometry imposes a projection/diffraction tax of <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> − </mml:mo><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> / </mml:mo><mml:mrow><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> , leaving <inline-formula><mml:math><mml:mrow><mml:mn> 4 </mml:mn><mml:mo> × </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> / </mml:mo><mml:mrow><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> . Extra entropy channels (<inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mo> &lt; </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ) reduce <inline-formula><mml:math><mml:mi> S </mml:mi></mml:math></inline-formula> further. Experiments never exceed a local, detector-aware ceiling; they saturate it in the best photon platforms.</p>
        <p>The critical point: the <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> is not a consequence of detector imperfection. A perfect detector with zero thermal noise, zero bath mismatch, and unit efficiency (<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ) still gives <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> . The ceiling comes from the polariser’s projection geometry—the entropy sorting that is intrinsic to measurement itself. At the CHSH-optimal angles, <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mtext> cos </mml:mtext></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mrow><mml:mn> 45 </mml:mn></mml:mrow><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> . This is not a loss. It is the physical cost of asking a question at 45˚ to the axis where the answer was written. The polariser sorts; the sorting has a geometry; the geometry sets the ceiling. Bell’s bound of 2 is what you get when you pretend the detector contributes nothing. <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> is what you get when you include what the detector physically does.</p>
      </sec>
      <sec id="sec7dot4">
        <title>7.4. Why Bell’s “2” Bound Is a False Baseline</title>
        <p>Bell bounded <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> by assuming outcomes are functions <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> a </mml:mi><mml:mo> , </mml:mo><mml:mi> λ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> , </mml:mo><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> b </mml:mi><mml:mo> , </mml:mo><mml:mi> λ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∈ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mo> ± </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with no detector degrees of freedom and perfect sampling. But thresholded, lossy detectors are known to change bounds (detection loophole [<xref ref-type="bibr" rid="B23">23</xref>], efficiency thresholds [<xref ref-type="bibr" rid="B24">24</xref>]). Our claim is stronger: even with unit efficiency and measurement independence, physical analysers impose an intrinsic, geometry-tied contraction. Once the detector is modelled as a thermodynamic channel, the relevant local ceiling is (22), not 2.</p>
        <p>The layer distinction sharpens this point. Bell’s locality condition assumes that the correlational structure and the measurement apparatus inhabit the same physical space—three-dimensional space. They do not. Layer 1 is local in three-dimensional space. Layer 2 lives in configuration space, where spatial separation is not defined. Bell proved that correlations cannot be explained by structure in three dimensions. He was right. The structure lives elsewhere [<xref ref-type="bibr" rid="B16">16</xref>].</p>
      </sec>
      <sec id="sec7dot5">
        <title>7.5. Graph-Theoretic Normalisation</title>
        <p>In the exclusivity-graph framing [<xref ref-type="bibr" rid="B25">25</xref>], the quantum-over-classical advantage for the 8-event CHSH graph is <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mi> ϑ </mml:mi><mml:mo> / </mml:mo><mml:mi> α </mml:mi></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> − </mml:mo><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≈ </mml:mo><mml:mn> 1.172 </mml:mn></mml:mrow></mml:math></inline-formula> . This is the universal deficit from the algebraic 4 to the physical ceiling <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> : <inline-formula><mml:math><mml:mrow><mml:mn> 4 </mml:mn><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> − </mml:mo><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . It is not a surplus demanding nonlocality; it is the detector tax demanded by entropy-aware projection at 45˚.</p>
      </sec>
    </sec>
    <sec id="sec8">
      <title>8. The Measurement Problem Dissolved</title>
      <sec id="sec8dot1">
        <title>8.1. The Conflation</title>
        <p>Standard quantum mechanics uses the word “collapse” to describe a single event: the transition from superposition to definite outcome upon measurement. Decoherence theory [<xref ref-type="bibr" rid="B13">13</xref>] refines this into a continuous process. Neither treatment distinguishes between what happens to the measured particle (Layer 1) and what happens to the correlation with a distant particle (Layer 2). The present framework makes this distinction precise and shows that the measurement problem is a category error produced by conflating two physically distinct events into a single word.</p>
      </sec>
      <sec id="sec8dot2">
        <title>8.2. Two Physically Different Events</title>
        <p><bold>Layer 1 inscription</bold> (Section 2): the detector physically interacts with the particle. Heat flows. Spectral shifts occur. The photon is absorbed. The outcome is permanently selected. Local, thermal, irreversible.</p>
        <p><bold>Layer 2 key burial</bold>: the local inscription adds one key to the Layer 2 entry in configuration space. No thermal consequence at the distant party—confirmed across every platform (Section 2). The correlation is buried, not destroyed. Recovery through post-selection is perfect [<xref ref-type="bibr" rid="B10">10</xref>]-[<xref ref-type="bibr" rid="B12">12</xref>][<xref ref-type="bibr" rid="B26">26</xref>][<xref ref-type="bibr" rid="B27">27</xref>]—the experimental proof that Layer 2 was never destroyed.</p>
        <p>These are not two aspects of one event. They are two different physical processes with different thermodynamic signatures, different spatial addresses, and different recoverability.</p>
      </sec>
      <sec id="sec8dot3">
        <title>8.3. Superposition Until Interaction, Not Observation</title>
        <p>Superposition ends when a particle physically interacts with something that performs an irreversible act (<inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ). A detector. A polariser. A dust grain. This is interaction, not observation. The particle does not respond to consciousness, human attention, or laboratory notebooks. It responds to thermodynamic events.</p>
        <p>A macroscopic object undergoes inscription events continuously—approximately 10<sup>23</sup> environmental interactions per second. A macroscopic object is never in superposition because it is being inscribed by its environment at a rate beyond practical count. The Geiger counter in Schrödinger’s thought experiment is an inscription device. It fires the moment it detects the decay particle. <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . The cat is alive or dead. The box is irrelevant.</p>
      </sec>
      <sec id="sec8dot4">
        <title>8.4. Decoherence Theory Is Half Right</title>
        <p>Standard decoherence theory [<xref ref-type="bibr" rid="B13">13</xref>] correctly identifies the suppression of local interference: after environmental interaction, the singles data carry no trace of the correlation. This is the Layer 1 effect, and it is real. What decoherence theory gets wrong is the interpretation: it frames the suppression as information degradation—a gradual, irreversible loss of quantum coherence. The cross-term kill theorem (Equation (17)) shows that the transition is exact at the first completed inscription event (not gradual), and the information is structurally intact (not lost). What grows with subsequent inscriptions is not the degree of suppression but the number of keys required for recovery.</p>
      </sec>
    </sec>
    <sec id="sec9">
      <title>9. Bell’s Theorem: What the Violation Detects</title>
      <p>Bell’s theorem [<xref ref-type="bibr" rid="B1">1</xref>] proves that no local hidden variable model can reproduce the quantum predictions for entangled pairs. The CHSH inequality [<xref ref-type="bibr" rid="B2">2</xref>] bounds <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> for any model in which outcomes are predetermined by a shared variable <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> and each party’s result depends only on their local setting and <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> . Quantum mechanics reaches <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> S </mml:mi><mml:mo> | </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> , confirmed experimentally [<xref ref-type="bibr" rid="B3">3</xref>]-[<xref ref-type="bibr" rid="B6">6</xref>][<xref ref-type="bibr" rid="B9">9</xref>].</p>
      <p>Bell’s hidden variables <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> are implicitly three-dimensional objects: they carry predetermined outcomes as functions of detector angles, and the locality condition requires that these outcomes depend only on <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> and the local setting. We read this as the assumption that the correlational structure and the measurement apparatus inhabit the same physical space—three-dimensional space—so that the locality constraint applies to both.</p>
      <p>The violation to <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> is the signature of the correlation structure living in configuration space—a space the detectors access through the polariser angle but do not inhabit. Bell proved that correlations cannot be explained by structure in three dimensions. He was right. The structure lives elsewhere.</p>
    </sec>
    <sec id="sec10">
      <title>10. Einstein Vindicated</title>
      <p>Einstein objected to quantum mechanics on the grounds that it appeared to require “spooky action at a distance” [<xref ref-type="bibr" rid="B28">28</xref>].</p>
      <p><bold>There is no action.</bold> Layer 1 is strictly local. The photodiode absorbs the photon at its location. Nothing happens at the distant particle [<xref ref-type="bibr" rid="B15">15</xref>].</p>
      <p><bold>There is no distance.</bold> Layer 2 is a geometric object in configuration space with no three-dimensional address. The correlation was written at the crystal, at the moment of pair creation, into a space where spatial separation does not apply.</p>
      <p>Einstein was right that action at a distance is unphysical. He was wrong about the alternative: he proposed local hidden variables in three-dimensional space. Bell ruled that out. The resolution is that the correlation lives in a space where “local” and “distant” are not defined concepts, and the measurement events that access it are strictly local in the space where locality applies.</p>
    </sec>
    <sec id="sec11">
      <title>11. Photon-Only Methods and Predictions</title>
      <sec id="sec11dot1">
        <title>11.1. Platforms and Temperatures</title>
        <p>We restrict to photonic Bell tests with SNSPDs operated at <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:mo> ~ </mml:mo><mml:mn> 0.6 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> - </mml:mtext><mml:mtext>   </mml:mtext><mml:mn> 2 </mml:mn><mml:mtext>   </mml:mtext><mml:mtext> K </mml:mtext></mml:mrow></mml:math></inline-formula> and low-jitter readout. Optics are kept inside the cryostat when possible; otherwise, fibres and windows are audited for blackbody glow and fluorescence. Time-bin encoding (unbalanced interferometers) can remove polarisers as entropy sinks; polarisation tests provide the baseline.</p>
      </sec>
      <sec id="sec11dot2">
        <title>11.2. Settings Protocol</title>
        <p>To avoid hidden sequential correlations, run: 1) Start at a non-aligned angle. 2) Perform a randomised walk over analyser angles drawn from a QRNG. 3) Return to the original aligned angle and re-check anti-correlation. Any drift indicates entropy-memory or setting-dependent leakage (<inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> varying with time/basis).</p>
      </sec>
      <sec id="sec11dot3">
        <title>11.3. Primary Observables</title>
        <p><inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> T </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> : CHSH vs detector-stage temperature (monotone increase as <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:mo> ↓ </mml:mo></mml:mrow></mml:math></inline-formula> ). <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mtext> encoding </mml:mtext></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> : polarisation vs time-bin; removing polarisers should increase <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> . Full event logs: include non-clicks and dark counts; no post-selection.</p>
      </sec>
      <sec id="sec11dot4">
        <title>11.4. Model Fit and Falsifiers</title>
        <p>Fit <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> from aligned-basis anti-correlation and from visibility via Equation (9). Then predict <inline-formula><mml:math><mml:mi> S </mml:mi></mml:math></inline-formula> via Equation (22) without free angular parameters. Falsifiers: 1) Observed <inline-formula><mml:math><mml:mi> S </mml:mi></mml:math></inline-formula> exceeding <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> at fixed <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> A </mml:mi><mml:mo> , </mml:mo><mml:mi> B </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and geometry (contradicts (22)). 2) No <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> T </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> monotonicity with controlled changes in entropy budget. 3) Time-bin encoding fails to raise <inline-formula><mml:math><mml:mi> S </mml:mi></mml:math></inline-formula> relative to polarisation with identical losses.</p>
      </sec>
    </sec>
    <sec id="sec12">
      <title>12. Falsifiable Predictions</title>
      <p>Beyond the experimental proposals above, the layer separation generates four additional falsifiable predictions:</p>
      <p><bold>F4. Layer 1/Layer 2 separability.</bold> Layer 2 correlations produce zero thermal or spectral signature at the distant party. A reproducible nonlocal thermal signature would falsify the layer separation [<xref ref-type="bibr" rid="B15">15</xref>].</p>
      <p><bold>F5. Perfect recovery.</bold> Post-selection recovery is always perfect, regardless of delay, distance, or intermediate interactions. Imperfect recovery scaling with any parameter indicates information degradation, falsifying key burial [<xref ref-type="bibr" rid="B15">15</xref>].</p>
      <p><bold>F6. Cross-term kill sharpness.</bold> The quantum-to-classical transition is exact at the first environmental inscription, not gradual. Tuneable coupling should show a sharp CHSH transition from <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> to <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> at one inscription event [<xref ref-type="bibr" rid="B18">18</xref>].</p>
      <p><bold>F7. No observer dependence.</bold> The outcome depends on whether a physical interaction occurred (<inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ), not on whether the result was observed by a conscious agent.</p>
    </sec>
    <sec id="sec13">
      <title>13. Conclusions</title>
      <p>We have replaced Bell’s detectorless abstraction with a physically explicit, entropy-aware measurement model. Between source and coincidence, at least five distinct events occur: the crystal inscribes the constraint, the polariser reads it non-destructively, the photodiode absorbs the photon (<inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mi> S </mml:mi><mml:mo> ≫ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , Layer 1 collapse), the coincidence circuit opens the pair layer, and Alice’s and Bob’s measurements proceed independently at spacelike separation. Bell’s theorem collapses all five into a single function. The layer separation distinguishes them: Layer 1 (local, thermal, irreversible) and Layer 2 (non-thermal, inscribed at the source, persisting in configuration space).</p>
      <p>The allowed/forbidden entropy accounting yields a strictly local CHSH ceiling of <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt><mml:msub><mml:mi> L </mml:mi><mml:mi> A </mml:mi></mml:msub><mml:msub><mml:mi> L </mml:mi><mml:mi> B </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . Quantum photonic tests approach this ceiling because photons are minimal carriers and SNSPDs can be made nearly entropy-neutral; heavier carriers naturally sit below due to larger entropy channels. In this view, nothing “nonlocal” is required: the celebrated 2.828 is the residual after four projection/diffraction taxes at 45˚.</p>
      <p>The measurement problem is dissolved. “Collapse” is a conflation of two physically distinct events: Layer 1 thermodynamic inscription (local, thermal, irreversible) and Layer 2 key burial (non-thermal, non-propagating, perfectly recoverable). Neither is mysterious. Neither requires a special postulate. Neither depends on an observer.</p>
      <p>Bell’s violation detects that the correlation structure lives in configuration space, not in three-dimensional space. Einstein’s objection to action at a distance is vindicated: there is no action (Layer 1 is local) and there is no distance (Layer 2 has no three-dimensional address).</p>
      <p>Standard quantum mechanics had the mathematics. It lacked the ontological commitment to read what the mathematics was saying.</p>
    </sec>
    <sec id="sec14">
      <title>Acknowledgments</title>
      <p>Funded by Prometheus Engineering. We thank colleagues for discussions on detector thermodynamics and entropy budgets.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bell, J.S. (1964) On the Einstein Podolsky Rosen Paradox. <italic>Physics Physique Fizika</italic>, 1, 195-200. https://doi.org/10.1103/physicsphysiquefizika.1.195 <pub-id pub-id-type="doi">10.1103/physicsphysiquefizika.1.195</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physicsphysiquefizika.1.195">https://doi.org/10.1103/physicsphysiquefizika.1.195</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bell, J.S.</string-name>
            </person-group>
            <year>1964</year>
            <article-title>On the Einstein Podolsky Rosen Paradox</article-title>
            <source>Physics Physique Fizika</source>
            <volume>1</volume>
            <pub-id pub-id-type="doi">10.1103/physicsphysiquefizika.1.195</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Clauser, J.F., Horne, M.A., Shimony, A. and Holt, R.A. (1969) Proposed Experiment to Test Local Hidden-Variable Theories. <italic>Physical Review Letters</italic>, 23, 880-884. https://doi.org/10.1103/physrevlett.23.880 <pub-id pub-id-type="doi">10.1103/physrevlett.23.880</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.23.880">https://doi.org/10.1103/physrevlett.23.880</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Clauser, J.F.</string-name>
              <string-name>Horne, M.A.</string-name>
              <string-name>Shimony, A.</string-name>
              <string-name>Holt, R.A.</string-name>
            </person-group>
            <year>1969</year>
            <article-title>Proposed Experiment to Test Local Hidden-Variable Theories</article-title>
            <source>Physical Review Letters</source>
            <volume>23</volume>
            <pub-id pub-id-type="doi">10.1103/physrevlett.23.880</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Aspect, A., Dalibard, J. and Roger, G. (1982) Experimental Test of Bell’s Inequalities Using Time-Varying Analyzers. <italic>Physical Review Letters</italic>, 49, 1804-1807. https://doi.org/10.1103/physrevlett.49.1804 <pub-id pub-id-type="doi">10.1103/physrevlett.49.1804</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.49.1804">https://doi.org/10.1103/physrevlett.49.1804</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Aspect, A.</string-name>
              <string-name>Dalibard, J.</string-name>
              <string-name>Roger, G.</string-name>
            </person-group>
            <year>1982</year>
            <article-title>Experimental Test of Bell’s Inequalities Using Time-Varying Analyzers</article-title>
            <source>Physical Review Letters</source>
            <volume>49</volume>
            <pub-id pub-id-type="doi">10.1103/physrevlett.49.1804</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Hensen, B., Bernien, H., Dréau, A.E., Reiserer, A., Kalb, N., Blok, M.S., <italic>et al</italic>. (2015) Loophole-Free Bell Inequality Violation Using Electron Spins Separated by 1.3 Kilometres. <italic>Nature</italic>, 526, 682-686. https://doi.org/10.1038/nature15759 <pub-id pub-id-type="doi">10.1038/nature15759</pub-id><pub-id pub-id-type="pmid">26503041</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1038/nature15759">https://doi.org/10.1038/nature15759</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Hensen, B.</string-name>
              <string-name>Bernien, H.</string-name>
              <string-name>Reiserer, A.</string-name>
              <string-name>Kalb, N.</string-name>
              <string-name>Blok, M.S.</string-name>
            </person-group>
            <year>2015</year>
            <article-title>Loophole-Free Bell Inequality Violation Using Electron Spins Separated by 1</article-title>
            <source>3 Kilometres. Nature</source>
            <volume>526</volume>
            <pub-id pub-id-type="doi">10.1038/nature15759</pub-id>
            <pub-id pub-id-type="pmid">26503041</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Shalm, L.K., Meyer-Scott, E., Christensen, B.G., Bierhorst, P., Wayne, M.A., Stevens, M.J., <italic>et al</italic>. (2015) Strong Loophole-Free Test of Local Realism. <italic>Physical Review Letters</italic>, 115, Article ID: 250402. https://doi.org/10.1103/physrevlett.115.250402 <pub-id pub-id-type="doi">10.1103/physrevlett.115.250402</pub-id><pub-id pub-id-type="pmid">26722906</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.115.250402">https://doi.org/10.1103/physrevlett.115.250402</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Shalm, L.K.</string-name>
              <string-name>Meyer-Scott, E.</string-name>
              <string-name>Christensen, B.G.</string-name>
              <string-name>Bierhorst, P.</string-name>
              <string-name>Wayne, M.A.</string-name>
              <string-name>Stevens, M.J.</string-name>
            </person-group>
            <year>2015</year>
            <article-title>Strong Loophole-Free Test of Local Realism</article-title>
            <source>Physical Review Letters</source>
            <volume>115</volume>
            <fpage>250402</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physrevlett.115.250402</pub-id>
            <pub-id pub-id-type="pmid">26722906</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Giustina, M., Versteegh, M.A.M., Wengerowsky, S., Handsteiner, J., Hochrainer, A., Phelan, K., <italic>et al</italic>. (2015) Significant-Loophole-Free Test of Bell’s Theorem with Entangled Photons. <italic>Physical Review Letters</italic>, 115, Article ID: 250401. https://doi.org/10.1103/physrevlett.115.250401 <pub-id pub-id-type="doi">10.1103/physrevlett.115.250401</pub-id><pub-id pub-id-type="pmid">26722905</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.115.250401">https://doi.org/10.1103/physrevlett.115.250401</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Giustina, M.</string-name>
              <string-name>Versteegh, M.A.M.</string-name>
              <string-name>Wengerowsky, S.</string-name>
              <string-name>Handsteiner, J.</string-name>
              <string-name>Hochrainer, A.</string-name>
              <string-name>Phelan, K.</string-name>
            </person-group>
            <year>2015</year>
            <article-title>Significant-Loophole-Free Test of Bell’s Theorem with Entangled Photons</article-title>
            <source>Physical Review Letters</source>
            <volume>115</volume>
            <fpage>250401</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physrevlett.115.250401</pub-id>
            <pub-id pub-id-type="pmid">26722905</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Handsteiner, J., Friedman, A.S., Rauch, D., Gallicchio, J., Liu, B., Hosp, H., <italic>et al</italic>. (2017) Cosmic Bell Test: Measurement Settings from Milky Way Stars. <italic>Physical Review Letters</italic>, 118, Article ID: 060401. https://doi.org/10.1103/physrevlett.118.060401 <pub-id pub-id-type="doi">10.1103/physrevlett.118.060401</pub-id><pub-id pub-id-type="pmid">28234500</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.118.060401">https://doi.org/10.1103/physrevlett.118.060401</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Handsteiner, J.</string-name>
              <string-name>Friedman, A.S.</string-name>
              <string-name>Rauch, D.</string-name>
              <string-name>Gallicchio, J.</string-name>
              <string-name>Liu, B.</string-name>
              <string-name>Hosp, H.</string-name>
            </person-group>
            <year>2017</year>
            <article-title>Cosmic Bell Test: Measurement Settings from Milky Way Stars</article-title>
            <source>Physical Review Letters</source>
            <volume>118</volume>
            <fpage>060401</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physrevlett.118.060401</pub-id>
            <pub-id pub-id-type="pmid">28234500</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Cirel’son, B.S. (1980) Quantum Generalizations of Bell’s Inequality. <italic>Letters in Mathematical Physics</italic>, 4, 93-100. https://doi.org/10.1007/bf00417500 <pub-id pub-id-type="doi">10.1007/bf00417500</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/bf00417500">https://doi.org/10.1007/bf00417500</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <year>1980</year>
            <article-title>Quantum Generalizations of Bell’s Inequality</article-title>
            <source>Letters in Mathematical Physics</source>
            <volume>4</volume>
            <pub-id pub-id-type="doi">10.1007/bf00417500</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Storz, S., Schär, J., Kulikov, A., Magnard, P., Kurpiers, P., Lütolf, J., <italic>et al</italic>. (2023) Loophole-Free Bell Inequality Violation with Superconducting Circuits. <italic>Nature</italic>, 617, 265-270. https://doi.org/10.1038/s41586-023-05885-0 <pub-id pub-id-type="doi">10.1038/s41586-023-05885-0</pub-id><pub-id pub-id-type="pmid">37165240</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1038/s41586-023-05885-0">https://doi.org/10.1038/s41586-023-05885-0</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Storz, S.</string-name>
              <string-name>Kulikov, A.</string-name>
              <string-name>Magnard, P.</string-name>
              <string-name>Kurpiers, P.</string-name>
            </person-group>
            <year>2023</year>
            <article-title>Loophole-Free Bell Inequality Violation with Superconducting Circuits</article-title>
            <source>Nature</source>
            <volume>617</volume>
            <pub-id pub-id-type="doi">10.1038/s41586-023-05885-0</pub-id>
            <pub-id pub-id-type="pmid">37165240</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Kim, Y., Yu, R., Kulik, S.P., Shih, Y. and Scully, M.O. (2000) Delayed “Choice” Quantum Eraser. <italic>Physical Review Letters</italic>, 84, 1-5. https://doi.org/10.1103/physrevlett.84.1 <pub-id pub-id-type="doi">10.1103/physrevlett.84.1</pub-id><pub-id pub-id-type="pmid">11015820</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.84.1">https://doi.org/10.1103/physrevlett.84.1</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Kim, Y.</string-name>
              <string-name>Yu, R.</string-name>
              <string-name>Kulik, S.P.</string-name>
              <string-name>Shih, Y.</string-name>
              <string-name>Scully, M.O.</string-name>
            </person-group>
            <year>2000</year>
            <article-title>Delayed “Choice” Quantum Eraser</article-title>
            <source>Physical Review Letters</source>
            <volume>84</volume>
            <pub-id pub-id-type="doi">10.1103/physrevlett.84.1</pub-id>
            <pub-id pub-id-type="pmid">11015820</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Walborn, S.P., Terra Cunha, M.O., Pádua, S. and Monken, C.H. (2002) Double-Slit Quantum Eraser. <italic>Physical Review A</italic>, 65, Article ID: 033818. https://doi.org/10.1103/physreva.65.033818 <pub-id pub-id-type="doi">10.1103/physreva.65.033818</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physreva.65.033818">https://doi.org/10.1103/physreva.65.033818</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Walborn, S.P.</string-name>
              <string-name>Cunha, M.O.</string-name>
              <string-name>Monken, C.H.</string-name>
            </person-group>
            <year>2002</year>
            <article-title>Double-Slit Quantum Eraser</article-title>
            <source>Physical Review A</source>
            <volume>65</volume>
            <fpage>033818</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physreva.65.033818</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="confproc">Ma, X., Kofler, J., Qarry, A., Tetik, N., Scheidl, T., Ursin, R., <italic>et al</italic>. (2013) Quantum Erasure with Causally Disconnected Choice. <italic>Proceedings of the National Academy of Sciences of the United States of America</italic>, 110, 1221-1226. https://doi.org/10.1073/pnas.1213201110 <pub-id pub-id-type="doi">10.1073/pnas.1213201110</pub-id><pub-id pub-id-type="pmid">23288900</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1073/pnas.1213201110">https://doi.org/10.1073/pnas.1213201110</ext-link></mixed-citation>
          <element-citation publication-type="confproc">
            <person-group person-group-type="author">
              <string-name>Ma, X.</string-name>
              <string-name>Kofler, J.</string-name>
              <string-name>Qarry, A.</string-name>
              <string-name>Tetik, N.</string-name>
              <string-name>Scheidl, T.</string-name>
              <string-name>Ursin, R.</string-name>
            </person-group>
            <year>2013</year>
            <article-title>Quantum Erasure with Causally Disconnected Choice</article-title>
            <source>Proceedings of the National Academy of Sciences of the United States of America</source>
            <volume>110</volume>
            <pub-id pub-id-type="doi">10.1073/pnas.1213201110</pub-id>
            <pub-id pub-id-type="pmid">23288900</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B13">
        <label>13.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Zurek, W.H. (2003) Decoherence, Einselection, and the Quantum Origins of the Classical. <italic>Reviews of Modern Physics</italic>, 75, 715-775. https://doi.org/10.1103/revmodphys.75.715 <pub-id pub-id-type="doi">10.1103/revmodphys.75.715</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/revmodphys.75.715">https://doi.org/10.1103/revmodphys.75.715</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Zurek, W.H.</string-name>
              <string-name>Decoherence, E</string-name>
            </person-group>
            <year>2003</year>
            <article-title>Decoherence, Einselection, and the Quantum Origins of the Classical</article-title>
            <source>Reviews of Modern Physics</source>
            <volume>75</volume>
            <pub-id pub-id-type="doi">10.1103/revmodphys.75.715</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B14">
        <label>14.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Palacios-Laloy, A., Mallet, F., Nguyen, F., Ong, F., Bertet, P., Vion, D., <italic>et al</italic>. (2009) Spectral Measurement of the Thermal Excitation of a Superconducting Qubit. <italic>Physica Scripta</italic>, 137, Article ID: 014015. https://doi.org/10.1088/0031-8949/2009/t137/014015 <pub-id pub-id-type="doi">10.1088/0031-8949/2009/t137/014015</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1088/0031-8949/2009/t137/014015">https://doi.org/10.1088/0031-8949/2009/t137/014015</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Palacios-Laloy, A.</string-name>
              <string-name>Mallet, F.</string-name>
              <string-name>Nguyen, F.</string-name>
              <string-name>Ong, F.</string-name>
              <string-name>Bertet, P.</string-name>
              <string-name>Vion, D.</string-name>
            </person-group>
            <year>2009</year>
            <article-title>Spectral Measurement of the Thermal Excitation of a Superconducting Qubit</article-title>
            <source>Physica Scripta</source>
            <volume>137</volume>
            <fpage>014015</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1088/0031-8949/2009/t137/014015</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B15">
        <label>15.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Atoyo, J.K. and Ogiamien, I. (2026) The Thermodynamic Closure of No-Signaling: Layer Separation, Key Burial, and the Non-Thermal Character of Entanglement Correlations. Prometheus Engineering Research Group. https://doi.org/10.5281/zenodo.20578417 <pub-id pub-id-type="doi">10.5281/zenodo.20578417</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.5281/zenodo.20578417">https://doi.org/10.5281/zenodo.20578417</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Atoyo, J.K.</string-name>
              <string-name>Ogiamien, I.</string-name>
              <string-name>Separation, K</string-name>
            </person-group>
            <year>2026</year>
            <article-title>The Thermodynamic Closure of No-Signaling: Layer Separation, Key Burial, and the Non-Thermal Character of Entanglement Correlations</article-title>
            <pub-id pub-id-type="doi">10.5281/zenodo.20578417</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B16">
        <label>16.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Atoyo, J.K. and Ogiamien, I. (2026) The Dimensional Key: How Entangled Correlations Are Written, Read, and Why the Detector Angle Is a Probe of Configuration Space. Prometheus Engineering Research Group. https://doi.org/10.5281/zenodo.20590672 <pub-id pub-id-type="doi">10.5281/zenodo.20590672</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.5281/zenodo.20590672">https://doi.org/10.5281/zenodo.20590672</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Atoyo, J.K.</string-name>
              <string-name>Ogiamien, I.</string-name>
              <string-name>Written, R</string-name>
            </person-group>
            <year>2026</year>
            <article-title>The Dimensional Key: How Entangled Correlations Are Written, Read, and Why the Detector Angle Is a Probe of Configuration Space</article-title>
            <pub-id pub-id-type="doi">10.5281/zenodo.20590672</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B17">
        <label>17.</label>
        <citation-alternatives>
          <mixed-citation publication-type="web">Atoyo, J.K. and Ogiamien, I. (2026) A Structural Proof of the No-Signaling Theorem. Prometheus Engineering Research Group. https://zenodo.org/records/20569102</mixed-citation>
          <element-citation publication-type="web">
            <person-group person-group-type="author">
              <string-name>Atoyo, J.K.</string-name>
              <string-name>Ogiamien, I.</string-name>
            </person-group>
            <year>2026</year>
            <article-title>A Structural Proof of the No-Signaling Theorem</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B18">
        <label>18.</label>
        <citation-alternatives>
          <mixed-citation publication-type="web">Atoyo, J.K. and Ogiamien, I. (2026) Ledger Geometry, Irreducibility, and the Inscription Boundary: Entanglement as Co-Location in the Fourth Spatial Degree, the Arithmetic of Quantum Coherence, and the Mechanism of Proper Time within the Entropic Lattice Ontology. Prometheus Engineering. Research Group. https://zenodo.org/records/20638175</mixed-citation>
          <element-citation publication-type="web">
            <person-group person-group-type="author">
              <string-name>Atoyo, J.K.</string-name>
              <string-name>Ogiamien, I.</string-name>
              <string-name>Geometry, I</string-name>
            </person-group>
            <year>2026</year>
            <article-title>Ledger Geometry, Irreducibility, and the Inscription Boundary: Entanglement as Co-Location in the Fourth Spatial Degree, the Arithmetic of Quantum Coherence, and the Mechanism of Proper Time within the Entropic Lattice Ontology</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B19">
        <label>19.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Yamamoto, T. and Tokura, Y. (2024) Heat Flow from a Measurement Apparatus Monitoring a Dissipative Qubit. <italic>Physical Review Research</italic>, 6, Article ID: 013300. https://doi.org/10.1103/physrevresearch.6.013300 <pub-id pub-id-type="doi">10.1103/physrevresearch.6.013300</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevresearch.6.013300">https://doi.org/10.1103/physrevresearch.6.013300</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Yamamoto, T.</string-name>
              <string-name>Tokura, Y.</string-name>
            </person-group>
            <year>2024</year>
            <article-title>Heat Flow from a Measurement Apparatus Monitoring a Dissipative Qubit</article-title>
            <source>Physical Review Research</source>
            <volume>6</volume>
            <fpage>013300</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physrevresearch.6.013300</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B20">
        <label>20.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Landauer, R. (1961) Irreversibility and Heat Generation in the Computing Process. <italic>IBM Journal of Research and Development</italic>, 5, 183-191. https://doi.org/10.1147/rd.53.0183 <pub-id pub-id-type="doi">10.1147/rd.53.0183</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1147/rd.53.0183">https://doi.org/10.1147/rd.53.0183</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Landauer, R.</string-name>
            </person-group>
            <year>1961</year>
            <article-title>Irreversibility and Heat Generation in the Computing Process</article-title>
            <source>IBM Journal of Research and Development</source>
            <volume>5</volume>
            <pub-id pub-id-type="doi">10.1147/rd.53.0183</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B21">
        <label>21.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bérut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R. and Lutz, E. (2012) Experimental Verification of Landauer’s Principle Linking Information and Thermodynamics. <italic>Nature</italic>, 483, 187-189. https://doi.org/10.1038/nature10872 <pub-id pub-id-type="doi">10.1038/nature10872</pub-id><pub-id pub-id-type="pmid">22398556</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1038/nature10872">https://doi.org/10.1038/nature10872</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Arakelyan, A.</string-name>
              <string-name>Petrosyan, A.</string-name>
              <string-name>Ciliberto, S.</string-name>
              <string-name>Dillenschneider, R.</string-name>
              <string-name>Lutz, E.</string-name>
            </person-group>
            <year>2012</year>
            <article-title>Experimental Verification of Landauer’s Principle Linking Information and Thermodynamics</article-title>
            <source>Nature</source>
            <volume>483</volume>
            <pub-id pub-id-type="doi">10.1038/nature10872</pub-id>
            <pub-id pub-id-type="pmid">22398556</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B22">
        <label>22.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Atoyo, J.K. and Ogiamien, I. (2026) Inscription, Accessibility, and the Emergence of Physical Law: The Entropic Lattice Ontology in Engagement with Modern Physics, Prometheus Engineering Research Group. https://doi.org/10.5281/zenodo.20352569 <pub-id pub-id-type="doi">10.5281/zenodo.20352569</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.5281/zenodo.20352569">https://doi.org/10.5281/zenodo.20352569</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Atoyo, J.K.</string-name>
              <string-name>Ogiamien, I.</string-name>
              <string-name>Inscription, A</string-name>
              <string-name>Physics, P</string-name>
            </person-group>
            <year>2026</year>
            <article-title>Inscription, Accessibility, and the Emergence of Physical Law: The Entropic Lattice Ontology in Engagement with Modern Physics, Prometheus Engineering Research Group</article-title>
            <pub-id pub-id-type="doi">10.5281/zenodo.20352569</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B23">
        <label>23.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Pearle, P.M. (1970) Hidden-Variable Example Based Upon Data Rejection. <italic>Physical Review D</italic>, 2, 1418-1425. https://doi.org/10.1103/physrevd.2.1418 <pub-id pub-id-type="doi">10.1103/physrevd.2.1418</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevd.2.1418">https://doi.org/10.1103/physrevd.2.1418</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Pearle, P.M.</string-name>
            </person-group>
            <year>1970</year>
            <article-title>Hidden-Variable Example Based Upon Data Rejection</article-title>
            <source>Physical Review D</source>
            <volume>2</volume>
            <pub-id pub-id-type="doi">10.1103/physrevd.2.1418</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B24">
        <label>24.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Eberhard, P.H. (1993) Background Level and Counter Efficiencies Required for a Loophole-Free Einstein-Podolsky-Rosen Experiment. <italic>Physical Review A</italic>, 47, R747-R750. https://doi.org/10.1103/physreva.47.r747 <pub-id pub-id-type="doi">10.1103/physreva.47.r747</pub-id><pub-id pub-id-type="pmid">9909100</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physreva.47.r747">https://doi.org/10.1103/physreva.47.r747</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Eberhard, P.H.</string-name>
            </person-group>
            <year>1993</year>
            <article-title>Background Level and Counter Efficiencies Required for a Loophole-Free Einstein-Podolsky-Rosen Experiment</article-title>
            <source>Physical Review A</source>
            <volume>47</volume>
            <pub-id pub-id-type="doi">10.1103/physreva.47.r747</pub-id>
            <pub-id pub-id-type="pmid">9909100</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B25">
        <label>25.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Cabello, A., Severini, S. and Winter, A. (2014) Graph-Theoretic Approach to Quantum Correlations. <italic>Physical Review Letters</italic>, 112, Article ID: 040401. https://doi.org/10.1103/physrevlett.112.040401 <pub-id pub-id-type="doi">10.1103/physrevlett.112.040401</pub-id><pub-id pub-id-type="pmid">24580419</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.112.040401">https://doi.org/10.1103/physrevlett.112.040401</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Cabello, A.</string-name>
              <string-name>Severini, S.</string-name>
              <string-name>Winter, A.</string-name>
            </person-group>
            <year>2014</year>
            <article-title>Graph-Theoretic Approach to Quantum Correlations</article-title>
            <source>Physical Review Letters</source>
            <volume>112</volume>
            <fpage>040401</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physrevlett.112.040401</pub-id>
            <pub-id pub-id-type="pmid">24580419</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B26">
        <label>26.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Hasegawa, Y., Loidl, R., Badurek, G., Baron, M., Manini, N., Pistolesi, F., <italic>et al</italic>. (2002) Observation of Off-Diagonal Geometric Phases in Polarized-Neutron-Interferometer Experiments. <italic>Physical Review A</italic>, 65, Article ID: 052111. https://doi.org/10.1103/physreva.65.052111 <pub-id pub-id-type="doi">10.1103/physreva.65.052111</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physreva.65.052111">https://doi.org/10.1103/physreva.65.052111</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Hasegawa, Y.</string-name>
              <string-name>Loidl, R.</string-name>
              <string-name>Badurek, G.</string-name>
              <string-name>Baron, M.</string-name>
              <string-name>Manini, N.</string-name>
              <string-name>Pistolesi, F.</string-name>
            </person-group>
            <year>2002</year>
            <article-title>Observation of Off-Diagonal Geometric Phases in Polarized-Neutron-Interferometer Experiments</article-title>
            <source>Physical Review A</source>
            <volume>65</volume>
            <fpage>052111</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physreva.65.052111</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B27">
        <label>27.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Lourenço-Martins, H., <italic>et al</italic>. (2024) Quantum Eraser Experiments for the Demonstration of Entanglement between Swift Electrons and Light. arXiv: 2404.11368.</mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Martins, H.</string-name>
            </person-group>
            <year>2024</year>
            <article-title>Quantum Eraser Experiments for the Demonstration of Entanglement between Swift Electrons and Light</article-title>
            <fpage>2404</fpage>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B28">
        <label>28.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Einstein, A., Podolsky, B. and Rosen, N. (1935) Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? <italic>Physical Review</italic>, 47, 777-780. https://doi.org/10.1103/physrev.47.777 <pub-id pub-id-type="doi">10.1103/physrev.47.777</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrev.47.777">https://doi.org/10.1103/physrev.47.777</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Einstein, A.</string-name>
              <string-name>Podolsky, B.</string-name>
              <string-name>Rosen, N.</string-name>
            </person-group>
            <year>1935</year>
            <article-title>Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Physical Review, 47, 777-780</article-title>
            <pub-id pub-id-type="doi">10.1103/physrev.47.777</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>