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.
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.
We study the two-qubit singlet state as a finite-dimensional specialisation of the symmetry-and-operations route to quantum probabilities in deterministic volume geometry. The purpose of the present note is limited and explicit: to verify that the singlet preparation in dimension 4 satisfies the operational hypothesis package relevant to the finite-dimensional Born-weight selection layer, and hence that the admissible probability assignment takes the Born form in this case. Using that Born-form assignment for the singlet preparation, we evaluate the joint outcome probabilities for arbitrary detector directions a, b ∈ S² and obtain E(a, b) = −a · b. The standard CHSH value 2√2 then follows for the usual coplanar choice of settings. The logical division of labour is explicit. The repeated-trial typicality bridge from invariant weights to limiting frequencies belongs to Paper A and LF1. The measure-bridge and finite-dimensional Born-weight layer belong to TN1 and Paper B. The constructive system-apparatus Hamiltonian model for the singlet is deferred to TN3, and the Bell-premise diagnosis is deferred to c1. The present note should therefore be read as the non-constructive singlet specialisation of the finite-dimensional symmetry-and-operations route, not as a constructive measurement model.
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 Pst(a,b)=41−sta⋅b, and attain the maximal quantum CHSH value 22. We formally prove that no compatible setting-local four-response assignment A1,A2,B1,B2 can reproduce the singlet correlations at the four specified CHSH contexts, namely that the realised maps cannot all satisfy Fij(x)=(Ai(x),Bj(x)). 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 UA(a)⊗UB(b) and local detector couplings VA⊗VB compose as (VA⊗VB)(UA(a)⊗UB(b))†=(VAUA(a)†)⊗(VBUB(b)†), 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.
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 supplementary calculational note to the interpretational program "Spacetime as Register, Not Stage". The note reconstructs the full structure of spin-1/2 singlet correlations — the joint distribution P = 1/4(1−αβ·a·b), the correlation E(a,b) = −a·b, and CHSH S = 2√2 — from the program's picture of the "entangled" pair as one indivisible complement unit read out locally at two sites by independently oriented detector settings. The note proves sufficiency, not derivation, and keeps an explicit ledger of its epistemic status: two rules are added and underived (a half-angle spinor readout structure, and the square law for amplitudes), two are derived conditionally (antisymmetry, relative to an explicit phase bridge; normalization, fixed by completeness with no free parameter), and every remaining gap is recorded in a debt register. The model exits the factorizable (Bell) class exactly where quantum mechanics does: conditioned on the full preparation state, local marginals remain 1/2 (parameter independence holds per preparation state), while outcome independence fails — with no superluminal transport claim derived from statistics, no superdeterminism (the preparation state carries no free parameter that could co-vary with later settings), and operational no-signaling verified numerically. A deterministic hidden-orientation contrast model is included, reproducing the linear correlation −1+2θ/π and S ≤ 2, to show that the cosine requires a genuine exit from the factorizable class rather than a change of vocabulary. The English text is a full translation of the author's Polish source version (both files included; frozen 28.07.2026, changes tracked in the program's correction register, Series 33).
This paper reconstructs the operational content of finite-dimensional quantum mechanics from deterministic Hamiltonian dynamics defined on a compact Kähler manifold Σ. An ontic microstate evolves under a Liouville-preserving flow generated by a Hamiltonian vector field, while observable statistics arise only after applying a smooth many-to-one projection π:Σ→CPⁿ⁻¹ to epistemic coordinates. The induced epistemic measure is taken to be absolutely continuous with respect to the Fubini–Study measure, which is selected as the canonical invariant density under the symmetry and regularity assumptions developed in companion work. For a class of Hamiltonians compatible with the projection structure, the projected dynamics on CPⁿ⁻¹ defines a holomorphic vector field. By the Ashtekar–Schilling correspondence, this reproduces the standard Schrödinger form of unitary evolution on the operational state space. Measurement interactions are modelled as Hamiltonian evolution on a joint system–apparatus surface, with outcomes represented by context-dependent regions on CPⁿ⁻¹ defined relative to the measurement setting. When evaluated with the Fubini–Study measure, the resulting region weights reproduce Born-form outcome statistics for the measurement constructions considered. Composite systems are represented by joint ontic structures that need not factorise, while the operational projection recovers the usual reduced-state formalism and subsystem dynamics. Overall, the analysis shows how unitary evolution, measurement statistics, mixed-state structure, and contextual dependence in finite-dimensional quantum mechanics can be realised within a deterministic geometric framework, without introducing fundamental stochastic processes or additional collapse postulates. Programme background: https://www.constraintsurfacedynamics.com — Glossary: https://glossary.constraintsurfacedynamics.com
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.