We present a machine-checked Bell-consistency analysis for the finite-dimensional singlet sector of Constraint-Surface Dynamics (CSD), in which realised outcomes are deterministic almost everywhere and reproduce Bell-violating singlet correlations, while the finite measurement dynamics remain tensor-factorised and the observable marginals satisfy no-signalling. Given a singlet preparation sector and measurement independence, deterministic context-indexed outcome maps on a shared probability space reproduce \({{P_{st}{(a,b)}} = \frac{1 - {{sta} \cdot b}}{4}},\) and attain the maximal quantum CHSH value \(2\sqrt{2}\). We formally prove that no compatible setting-local four-response assignment \(A_{1},A_{2},B_{1},B_{2}\) can reproduce the singlet correlations at the four specified CHSH contexts, namely that the realised maps cannot all satisfy \({{F_{ij}{(x)}} = \left( {A_{i}{(x)}},{B_{j}{(x)}} \right)}.\) The Bell obstruction therefore excludes a compatible setting-local four-response representation of the singlet correlations at the four specified CHSH contexts, not determinism of the realised outcome. The formal development also studies the structure of the finite measurement interaction in the same singlet sector, without assuming that the contextual outcome family is derived from that finite measurement dynamics. Local setting transformations \({{U_{A}{(a)}} \otimes U_{B}}{(b)}\) and local detector couplings \(V_{A} \otimes V_{B}\) compose as \({{{({V_{A} \otimes V_{B}})}{({{{U_{A}{(a)}} \otimes U_{B}}{(b)}})}^{\dagger}} = {{({V_{A}U_{A}{(a)}^{\dagger}})} \otimes {({V_{B}U_{B}{(b)}^{\dagger}})}}},\) so the complete finite measurement chain remains tensor-factorised. Pointer-volume probabilities reproduce the singlet law for all detector settings, including the perfect-correlation and perfect-anticorrelation limits. Operational no-signalling is verified at both the singlet-kernel and pointer-volume levels, with each local marginal equal to \(1/2\) and invariant under the remote setting. The singlet preparation sector and measurement independence are explicit assumptions, and no general no-signalling theorem for arbitrary non-factorising ontic dynamics is asserted. The contribution is not a new Bell inequality or a new general result that deterministic models can reproduce Bell-violating correlations. Rather, it is a CSD-specific consistency construction and a machine-checked separation of contextual determinism, Bell-local response factorisation, finite measurement factorisation, and operational no-signalling. Within this stated scope, the Lean 4 development provides a formally verified example in which deterministic realised outcomes almost everywhere, Bell-violating singlet correlations, tensor-factorised finite measurement dynamics, Bell-nonfactorisable joint outcomes, and operational no-signalling coexist, while any compatible Bell-local four-response assignment reproducing the singlet correlations at the four specified CHSH contexts is mathematically excluded.
We present a machine-checked Bell-consistency analysis for the finite-dimensional singlet sector of Constraint-Surface Dynamics (CSD), in which realised outcomes are deterministic almost everywhere and reproduce Bell-violating singlet correlations, while the finite measurement dynamics remain tensor-factorised and the observable marginals satisfy no-signalling. Given a singlet preparation sector and measurement independence, deterministic context-indexed outcome maps on a shared probability space reproduce ({{P_{st}{(a,b)}} = \frac{1 - {{sta} \cdot b}}{4}},) and attain the maximal quantum CHSH value (2\sqrt{2}). We formally prove that no compatible setting-local four-response assignment (A_{1},A_{2},B_{1},B_{2}) can reproduce the singlet correlations at the four specified CHSH contexts, namely that the realised maps cannot all satisfy ({{F_{ij}{(x)}} = \left( {A_{i}{(x)}},{B_{j}{(x)}} \right)}.) The Bell obstruction therefore excludes a compatible setting-local four-response representation of the singlet correlations at the four specified CHSH contexts, not determinism of the realised outcome. The formal development also studies the structure of the finite measurement interaction in the same singlet sector, without assuming that the contextual outcome family is derived from that finite measurement dynamics. Local setting transformations ({{U_{A}{(a)}} \otimes U_{B}}{(b)}) and local detector couplings (V_{A} \otimes V_{B}) compose as ({{{({V_{A} \otimes V_{B}})}{({{{U_{A}{(a)}} \otimes U_{B}}{(b)}})}^{\dagger}} = {{({V_{A}U_{A}{(a)}^{\dagger}})} \otimes {({V_{B}U_{B}{(b)}^{\dagger}})}}},) so the complete finite measurement chain remains tensor-factorised. Pointer-volume probabilities reproduce the singlet law for all detector settings, including the perfect-correlation and perfect-anticorrelation limits. Operational no-signalling is verified at both the singlet-kernel and pointer-volume levels, with each local marginal equal to (1/2) and invariant under the remote setting. The singlet preparation sector and measurement independence are explicit assumptions, and no general no-signalling theorem for arbitrary non-factorising ontic dynamics is asserted. The contribution is not a new Bell inequality or a new general result that deterministic models can reproduce Bell-violating correlations. Rather, it is a CSD-specific consistency construction and a machine-checked separation of contextual determinism, Bell-local response factorisation, finite measurement factorisation, and operational no-signalling. Within this stated scope, the Lean 4 development provides a formally verified example in which deterministic realised outcomes almost everywhere, Bell-violating singlet correlations, tensor-factorised finite measurement dynamics, Bell-nonfactorisable joint outcomes, and operational no-signalling coexist, while any compatible Bell-local four-response assignment reproducing the singlet correlations at the four specified CHSH contexts is mathematically excluded.
This technical note gives an explicit quantum-pointer measurement construction for the two-qubit Bell singlet within the finite-dimensional geometric framework used in Constraint-Surface Dynamics. Technical Note 2 previously showed, at the probability-functional level, that the singlet state gives the standard correlation E(a,b) = -a · b. The present note supplies the corresponding system-apparatus construction. It uses the standard von Neumann measurement Hamiltonian, with two qubits coupled to two finite-dimensional pointer sectors, and shows how the measurement interaction separates the four pointer branches associated with outcomes s,t = ±1. The pointer-sector projectors define the operational outcome sectors for each measurement context. In the strong-readout limit, their branch weights reproduce the standard singlet probabilities P_st(a,b) = (1 - st a · b)/4, giving E(a,b) = -a · b. The local marginals remain equal to 1/2, so operational no-signalling follows by direct marginal summation. The role of this note is compatibility and architectural closure. It does not introduce a new measurement Hamiltonian, does not derive the Born rule independently, and does not rely on Fubini-Study Voronoi volumes or isotropy-to-linearity arguments. Instead, it shows that the standard quantum-pointer measurement model embeds cleanly into the finite-dimensional geometric reconstruction. In the CSD interpretive layer, outcomes are treated as context-indexed sectors rather than Bell-local factorised hidden-variable assignments. The note should be read downstream of Paper B and Technical Note 2, and as preparation for the later Lean formalisation target assigned to LF3.
LF3 formalises in Lean4 the finite-dimensional singlet kernel, sector-volume readout, and empirical-chain capstones used in the Bell-singlet layer of Constraint-Surface Dynamics. It is the third layer of the CSD formalisation programme. LF1 formalises repeated-trial frequency convergence, LF2 formalises the sector-conditional measure bridge and Born-weight wrapper, and LF3 applies the LF2 operator-form weight interface to a finite-dimensional sector-volume decomposition for the two-qubit singlet setting. The purpose of LF3 is not to rederive typicality, the Fubini-Study measure bridge, or the Born-form probability assignment. Nor does LF3 derive the pointer-readout dynamics from a concrete microscopic finite-dimensional pointer generator. Instead, the Hamiltonian-control and sector-separation layers are encoded as explicit structure-field interfaces. Against those interfaces, LF3 verifies the projective pointer-sector decomposition, the sector-volume formula, the singlet probability kernel, the correlation identity, the marginal identities, structural finite-leakage stability, and the LF1-LF2-LF3 empirical-chain capstones. The repository exports six LF3 empirical-chain capstones: three per-sector convergence theorems and three joint-partition variants. The per-sector theorems state almost-sure convergence for each outcome sector. The joint variants strengthen this to simultaneous almost-sure convergence over the finite sign-pair sector partition. Within its finite-dimensional singlet setting, LF3 establishes a theorem package for projective readout, singlet correlations, no-signalling marginals, structural leakage stability, and context-indexed outcome maps. Its scope is deliberately restricted: it does not formalise the Ashtekar-Schilling correspondence, full ontic basin dynamics on Sigma, general POVMs, mixed states, subsystem reduction, arbitrary multipartite Bell scenarios, or a derivation of small leakage from an explicit finite pointer model.
A Kernel-Role Determinacy Theorem for Bell-Witness Fixation, No-Signaling, and Tensor-Level Compatibility This manuscript develops a fixed-domain AASC analysis of Bell-nonlocal quantum entanglement as a theorem of reusable witness determinacy. It does not introduce hidden variables, modify quantum mechanics, derive Hilbert-space formalism from below, or propose a new signaling mechanism. Instead, it asks a prior structural question: once a Bell-type operational family is used as the same non-degenerate witness across settings, lawful transformations, retained records, comparison, and later classification, what admissible same-domain standing form is forced? The governing claim is that AASC is not an optional interpretive overlay on physics. Once an operational Bell family is asserted as a determinate reusable witness, admissibility, standing, reference, and irreversibility are already active as minimal necessity conditions of same-witness objecthood. Target instantiation therefore carries governance occupancy: an alleged determinate Bell witness with no admissible governance realization is not an empty alternative, but a refusal or retyping of the target. The manuscript defines finite operational Bell objects with explicit setting carriers, outcome families, channel/interface data, standing-token valuations, continuation and report/reuse structure, comparison profiles, and act-time status. It then defines object-indexed query sorts, dependent response families, exactly recoverable operational simulations, lawful Bell groupoids, six governance-effect functors, and target-active extensional governance equivalence. The result is a typed interface in which arbitrary native formalisms can be compared by their target-bearing governance effects rather than by their internal syntax. The central Bell-specific theorem states that every same-target candidate-admissible Bell-governance construction is forced component by component into the certified boundary-compatible standing form on the complete target-active practice. Candidate admissibility does not assume the canonical form at the outset. Instead, target occupancy, lawful transport, standing-flow exclusion, compatibility certification, coordinate-deviation exhaustion, and componentwise closure force exact target-bearing realization and governance equivalence to the canonical representative CP∗C^{*}_{P}CP∗. The target-induced governance quotient therefore has exactly one element. The Bell carrier is treated as a compatible empirical model on a finite measurement cover. Bell-local completion is identified with the existence of a global section, and Bell nonlocality is the obstruction to such a section. The manuscript separates operational marginal invariance, absence of controllable communication, and exclusion of same-domain standing transport. No-signaling is therefore preserved without retyping Bell nonlocality as superluminal communication, metric transport, distant repair, or hidden standing transfer. The finite-dimensional quantum specialization uses the standard bipartite tensor-product and local-POVM carrier. Every separable realization in that carrier is Bell-local; therefore, if the fixed Bell-nonlocal empirical model has such a finite-dimensional quantum realization, every realizing state in that carrier is entangled. Post-quantum Bell-nonlocal no-signaling models remain within the general witness theorem but outside the quantum-entanglement corollary. The accompanying Lean 4 development, release v0.8.0, directly verifies the finite Bell-side witness carrier: denominator-32 vector/Born weights, structural no-signaling, CHSH numerator 808080, all sixteen deterministic local extrema, finite denominator-32 Bell-local-envelope exclusion, and conditional endpoint routing. Its direct witness certificate is vectorBorn_flagship_spine, and its deepest released endpoint is reasonableDeepestFiniteEntanglement_spine. The manuscript-level typed governance interface, empirical lawful groupoid, compatibility equivalence, coordinate-deviation exhaustion, completed role collapse, candidate-to-canonical derivation, and finite-dimensional quantum specialization are not attributed to the released Lean layer. This paper is the Bell-witness member of the paired AASC quantum determinacy arc. The record-side manuscript, Admissible Record Construction in Physically Non-Selective Quantum Regimes, fixes when local physical record occurrences stand as the same evidential record objects. The present manuscript fixes when the Bell operational family sampled by such records stands as the same reusable witness. The paired endpoint is therefore: record-role fixation+Bell-witness compatibility.\text{record-role fixation} + \text{Bell-witness compatibility}.record-role fixation+Bell-witness compatibility. The manuscript is classificatory and eliminative rather than mechanistic. It does not claim that AASC generates the Bell probabilities or supplies a hidden physical influence. Its claim is that reusable Bell-witness determinacy strongly constrains how Bell-nonlocal correlations may be coherently classified on a fixed domain: not as independently complete local states later connected by a mechanism, not as Bell-local hidden-variable value assignments, not as superluminal signaling, and not as same-act repair, but as boundary-level compatibility carried by one standing-preserving Bell witness.
This is Paper 142 in the Anaxiomatic Mechanics / pq-Spacetime stack. It develops a finite mechanical account of quantum entanglement within pq-spacetime. Entanglement is identified with the persistence of a non-factorable family of admissible future histories. Two measurement regions can therefore appear as separate local systems in emergent spacetime while still remaining projections of one joint finite closure problem. Bell inequality violation follows because the joint outcomes are not generated by two independent local completion families. No-signalling is nevertheless preserved because complete changes to a distant measurement boundary do not alter the local marginal outcome weights. The paper establishes the Entanglement Closure Theorem and distinguishes microscopic non-factorability from observable entanglement after coarse-graining into stable measurement records. It also gives an explicit minimal singlet construction using two opposed history fibers carrying the relevant four-phase weights. The resulting finite ledger is antisymmetric, nonseparable, and exactly balanced at each local wing. Complete changes of basis on the distant side preserve those local marginals. Using the previously derived Hilbert-space and beta-Dirac bridges of pq-spacetime, the paper recovers the familiar spinor overlap law, the quantum singlet correlation, the maximal Bell-CHSH value, monogamy of maximal entanglement, and decoherence through environmental boundary enlargement. The analysis also explains why no preferred measurement ordering is required and why entanglement remains compatible with relativistic causality. The resulting picture is direct. Entangled systems do not exchange superluminal messages, carry classical answer sheets, or require a force acting across space. Their local outcomes arise from one shared finite admissibility structure whose joint correlations are nonlocal while its controllable local statistics remain causal. Entanglement is therefore physically real, nonclassical, and nonlocal in correlation, but not a signalling mechanism.
This paper presents a structural analysis of Bell–CHSH correlations using a hierarchy of geometric hidden-variable models defined on the unit circle. Bell’s theorem constrains hidden-variable models under the joint assumptions of locality, deterministic response functions, and measurement independence. The paper examines how Bell–CHSH behavior changes when these assumptions are modified one at a time. A minimal local model with setting-independent preparation obeys the classical Bell–CHSH bound |S| <= 2. A setting-dependent update can produce Bell violation but introduces operational signalling. Direct imposition of the cosine correlation is used as a structural reference, reproducing Tsirelson’s bound while preserving no-signalling marginals. The paper then shows that Tsirelson-level correlations can also arise from a geometric, context-dependent sampling rule without inserting the cosine function directly into the preparation law. In that construction, local deterministic response functions and operational no-signalling are preserved, while measurement independence is relaxed. The models are presented as structural illustrations rather than physical hidden-variable proposals. Their purpose is to make the assumption-dependence of Bell correlations explicit in a transparent geometric framework. Internal reference: CGI-RSR-000021.
Causal-model arguments establish that a classical causal model reproducing Bell correlations while exhibiting no-signalling must be unfaithful: its no-signalling independences are not entailed by d-separation in the causal graph. Applied to time-symmetric, retrocausal, and all-at-once models, this is the fine-tuning objection. The resulting debate has largely concerned whether faithfulness is the appropriate norm, without a criterion for deciding particular cases or an associated measurement.This paper supplies a proposed criterion and establishes a precise symmetry result for the balanced binary singlet sector. If a nonnegative 2×2 compatibility table has the simultaneous-outcome-flip symmetry m++=m−−,m+−=m−+, then every common scalar entrywise map mxy⟼f(mxy) with nonnegative output and nonzero normalization preserves uniform local marginals. No monotonicity, continuity, differentiability, or power-law assumption is required. Within two-qubit quantum kinematics with ideal analyzer projectors, joint rotational invariance and perfect same-axis anticorrelation force the singlet state and hence this pairing symmetry. The theorem establishes robustness relative to the symmetry-restricted deformation class; it does not confer causal faithfulness or robustness against arbitrary symmetry-breaking cellwise perturbations.The same singlet-plus-common-map structure has a deformation-independent surplus consequence: Ef(π−Δ)=−Ef(Δ),Ef(π/2)=0. These angular identities are distinct from no-signalling and can fail experimentally. They provide the surplus consequence required by the proposed criterion in the balanced sector.A separate constant-flux completion law predicts an exactly flat ideal joint completion rate. We compare it with a Bell-local sign--cosine model followed by a joint two-bin selection rule. The pointwise maximal acceptance envelope for reproducing the singlet correlator has symmetric minima Z∗≃0.878567 near 46.44∘ and 133.56∘. A flat calibrated joint acceptance rate above this value excludes that two-bin class. More generally, total variation gives Sobs≤min{4,2+2∑q∈Q(1−Zq)}, so a flat rate above 45−2≃0.896447 excludes every Bell-local measurement-independent selection model covered by this bound when Sobs=22.Finally, an exact eight-state reconstruction of a published post-processing model has acceptance rate 3/4 in every setting context while attaining the algebraic CHSH value 4. Its accepted laws satisfy ΔQ=1,DQ=31, saturating both the selection-inflation lower bounds and the upper bounds permitted by the absolute rate. Thus rate flatness is not a certificate of fair sampling, although the absolute rate remains quantitatively useful. The quantity requiring structural certification is the conditional acceptance function, or a sufficient experimentally accessible proxy for it.