Initial Setting-Effect Scalarization, Terminal Record Neutrality, and the Exact Status of STF V8.1
Version: 2.0
Z. Paz
Version 2.0 — 23 August 2026
Canonical synthesis of the thirteen-paper Bell-autonomy
sequence
Supersedes: Superdeterminism in the Two-Clock STF
Framework, V1.0 (2026)
Does the Selective Transient Field framework prove or disprove superdeterminism? This paper consolidates the complete STF Bell-autonomy program developed after First Principles V8.1 and gives the strongest answer currently licensed by the theory.
The answer remains neither, but the logical and mathematical content of that answer is now substantially stronger. STF V8.1 does not derive a correlation between the ontic Bell-source state and later analyzer settings; therefore its universal clock, global closure condition, and one-history ontology do not by themselves entail superdeterminism. Conversely, V8.1 does not yet derive the setting-generator sector or the terminal record dynamics needed to prove that every physical STF completion is non-superdeterministic.
The problem separates into two independent closures.
The initial-autonomy closure concerns the preterminal source and setting process. Let \(\Lambda_S\) be the gauge-invariant state of a physically defined source world tube on a universal-time leaf after source preparation and before the setting outputs. Let the complete setting process induce effects
\[ K_{xy}\ge0, \qquad \sum_{x,y}K_{xy}=I_S, \]
on the supported source algebra. Universal statistical source autonomy is equivalent to
\[ \boxed{K_{xy}=q_{xy}I_S.} \]
In a diffeomorphism-constrained theory this scalarization has two independent parts: the effects must resolve neither the source microstate inside a shared boundary sector nor the sector label itself. Physical intervention autonomy additionally requires charge-preserving local replacement modules whose substitution leaves the source preparation process invariant. Exact universal decoupling is generated uniquely by a replacer channel. A gauge-compatible realization is a sector-preserving replacer with a neutral pointer doublet and sector-blind readout. Its microscopic realization requires a fresh or sectorwise-fresh resource; reset dynamics cannot select its own initially uncorrelated state, and no bounded finite-dimensional time-local generator becomes an exact replacer at finite time.
The terminal-neutrality closure concerns the future STF macrocondition. Let
\[ E_R =\mathcal J^\dagger \!\left(U^\dagger P_{\rm HD}U\right) \]
be the heat-death effect pulled back through the complete physical preparation map to the regulated Bell record algebra. Full preservation of the prepared source and outcome distribution for a setting pair \((x,y)\) is equivalent to
\[ \boxed{ \Pi_{xy}E_R\Pi_{xy}=c_{xy}\Pi_{xy} } \]
on the supported source-outcome block. Source preservation, no-signaling, setting-frequency preservation, and Born preservation are distinct conditions. A constructive diagonal terminal effect can preserve the source prior, uniform setting frequencies, and both no-signaling marginals while postselecting ordinary quantum records into a Popescu–Rohrlich box with CHSH value \(4\). Outcome-record scalarization is therefore indispensable.
The combined theorem is exact. If the initial setting effects are scalar, the natural and forced setting modules are genuine source-invariant replacements, and the terminal effect is scalar in every supported setting block, then the completed STF experiment preserves both the initial source prior and the supplied quantum Bell distribution. In that operational Bell sense the completion is non-superdeterministic.
FP V8.1 does not yet prove the premises. It specifies the clock-relative curvature norm
\[ q_N=\sqrt{R^2+8\mathcal W_N} \]
and the exact selective response
\[ K^R_{\rm sel}(t) =\delta(t)-\omega_c e^{-\omega_ct}\Theta(t), \qquad K_{\rm sel}(\omega) =-\frac{i\omega}{\omega_c-i\omega}, \]
but it does not yet derive the setting resources, visible production operator, state-dependent noise kernel, irreversible record-transfer kernel, complete non-Markovian process tensor, fixed/peripheral algebra, or physical pulled-back terminal effect. Directly identifying the selective kernel with record population relaxation fails: every decaying mode retains the finite fraction
\[ \frac{\omega_c}{\omega_c+\Gamma\lambda}>0. \]
The exact status is therefore
\[ \boxed{ \mathrm{STF}_{\rm V8.1}\not\vdash\mathrm{SD}, \qquad \mathrm{STF}_{\rm V8.1}\not\vdash\neg\mathrm{SD}. } \]
What is now complete is the decision architecture: superdeterminism is no longer a semantic question inside STF. It has been reduced to calculable source-to-setting effects and terminal record effects derived from the physical theory.
The term superdeterminism is frequently allowed to absorb several different claims. Determinism is not by itself superdeterminism. A block-universe description is not by itself superdeterminism. A two-boundary theory is not by itself superdeterminism. Nor does the existence of one actual history establish the Bell-relevant dependence merely because that history contains the settings that occurred.
The Bell question is narrower. Did the physical variables that determine the prepared source become coordinated with the variables that determine the later local settings in a way that invalidates measurement independence or the operational meaning of changing those settings?
For STF, that question has two boundaries.
A proof of non-superdeterminism requires both boundaries to be neutral in the relevant sense. Closing only one leaves the other available as a source of measurement dependence.
This paper does four things.
The result is a theorem-driven synthesis. The companion papers retain the full proofs, numerical audits, and regulator-specific calculations; every premise needed for the main conclusion is stated here.
Let \(X,Y\) be the setting labels, \(A,B\) the outcomes, and \(\Lambda_S\) the ontic source state. A Bell-local hidden-variable model has
\[ P(A,B\mid X,Y,\Lambda_S) =P(A\mid X,\Lambda_S)P(B\mid Y,\Lambda_S). \]
The usual statistical measurement-independence condition is
\[ \boxed{ P(\Lambda_S\mid X,Y)=P(\Lambda_S), } \]
or equivalently
\[ I(\Lambda_S:X,Y)=0. \]
This is the assumption whose relaxation permits measurement-dependent local models of Bell correlations [18–21].
For an operational theory, this is not the whole requirement. The symbols \(do(x)\) and \(do(y)\) must refer to genuine physical replacements of local setting mechanisms. Intervention autonomy then requires
\[ \boxed{ P_0(\Lambda_S\mid do(x),do(y))=P_0(\Lambda_S). } \]
These equations answer different questions. Statistical independence concerns the naturally sampled ensemble. Intervention autonomy concerns what changes when a local device module is physically replaced.
Three propositions must therefore be kept separate.
The initial proposition is that the source and natural setting outputs are correlated before terminal reweighting:
\[ I_0(\Lambda_S:X,Y)>0, \]
or that the physical setting substitutions are not modular and change the source process.
Even if the preterminal experiment is autonomous, a future macroeffect may assign unequal weights to different source labels or outcome records. The postselected distribution can then satisfy
\[ P_f(\Lambda_S\mid do(x),do(y)) \ne P_0(\Lambda_S). \]
This is the contribution unique to the two-boundary architecture.
Let \(\Gamma_*\) denote the complete actual history. Since \(\Gamma_*\) contains the actual settings,
\[ I(\Gamma_*:X,Y)>0 \]
is true by construction. It would also be true in an ordinary independently randomized Bell experiment if its entire realized history were used as the hidden variable. This is not a discriminating test of superdeterminism.
The Bell variable must instead represent the physical source information available in the source region, not the complete future history.
Let \(T_U\) denote the universal ordering variable and let local internal clocks order laboratory operations and records. The two-clock architecture allows the source, setting devices, detections, and terminal macrocondition to be assigned to distinct physical regions without identifying the local source state with the completed universal history [2,3].
Let \(\mathcal W_S\) be the source world tube. Choose a universal-time leaf \(\Sigma_S\) that intersects \(\mathcal W_S\) after source preparation and before the setting outputs. Define
\[ \boxed{ \Lambda_S = \left[ g,\pi_g; \phi,\pi_\phi; \Psi,\pi_\Psi; \xi_{\rm prep} \right]_{\Sigma_S\cap\mathcal W_S} /\mathrm{gauge}. } \]
The definition includes the physical gravitational, STF-scalar, matter, and preparation data that determine the source state on that leaf. It excludes:
Shared boundary charges are not silently discarded. They appear as central sectors of the gauge-invariant source algebra and must be tested explicitly.
The clocks play distinct roles. The universal clock orders the source leaf, setting events, record formation, and terminal leaf. Internal clocks define the operational timing and phase of local devices. Neither clock by itself generates setting independence, scrambling, or a probability measure. Clock separation prevents a category error; it does not close the autonomy theorem.
The intervention equation alone does not exclude a common cause. Let \(G\) be a fair bit, set \(\Lambda_S=G\), and let the settings tend to copy \(G\):
\[ P(X=G\mid G)=0.9, \qquad P(Y=G\mid G)=0.85. \]
The causal structure is
\[ G\longrightarrow\Lambda_S, \qquad G\longrightarrow X, \qquad G\longrightarrow Y. \]
Replacing the setting equations cuts the arrows into \(X,Y\) and leaves the source unchanged, so
\[ P_0(\Lambda_S\mid do(x),do(y))=P_0(\Lambda_S). \]
Nevertheless,
\[ I(\Lambda_S:X,Y)=0.6813316047\ \mathrm{bits}. \]
Conversely, observational independence can conceal intervention dependence. Let \(H^-\) be fair, take \(X=H^-\) naturally, and define \(\Lambda_S=X\oplus H^-=0\). Then the natural ensemble has \(I(\Lambda_S:X,Y)=0\). Under \(do(X=x)\), however, \(\Lambda_S=x\oplus H^-\) becomes fair, giving a source shift of
\[ \operatorname{TV} \!\left[ P_0(\Lambda_S\mid do(x)),P_0(\Lambda_S) \right] =\frac12. \]
Therefore
\[ \boxed{ \text{statistical autonomy} + \text{physical intervention autonomy} } \]
is a conjunction. Neither term implies the other.
Ordinary Bell tests reject local hidden-variable explanations only under a set of auxiliary premises that includes measurement independence. Cosmic Bell tests use photons from distant astronomical sources to choose settings [25–27]. They push any ordinary common cause coordinating the source with the setting generators progressively farther into the shared past and make familiar local coordination mechanisms increasingly implausible.
They do not prove the logical impossibility of a theory in which the complete initial condition or a global two-boundary constraint coordinates all records. Nor do they derive a physical \(do\)-operation for an arbitrary ontology.
In STF, distance is not irrelevant. The distant emitter, propagation region, local receiver, and setting device occupy different world tubes, and their common causal past changes with the chosen astronomical source. The final setting is indeed materialized as a local record at the detector, but that does not erase the causal significance of the signal’s prior propagation or make every distance physically equivalent.
The STF interpretation is therefore precise:
Sections 6–17 synthesize the initial-autonomy companion sequence [5–8].
Let \(H^-\) contain the physically relevant information in the common past of the source and the two setting generators. Define
\[ Q_{xy}(h) =P_0(X=x,Y=y\mid H^-=h). \]
Assume common-past screening:
\[ P_0(x,y\mid\lambda,h)=Q_{xy}(h). \]
This assumption says that, once the relevant common-past data are fixed, the source label supplies no additional information about the setting output.
Under common-past screening,
\[ I_0(\Lambda_S:X,Y)=0 \]
if and only if
\[ \boxed{ \sum_hP_0(h\mid\lambda)Q_{xy}(h) =P_0(x,y) \quad\forall\lambda,x,y. } \]
Screening gives
\[ P_0(x,y\mid\lambda) =\sum_hQ_{xy}(h)P_0(h\mid\lambda). \]
Statistical independence is exactly the requirement that this conditional probability equal \(P_0(x,y)\) for every supported \(\lambda,x,y\). \(\square\)
Equivalently,
\[ \sum_h \left[P_0(h\mid\lambda)-P_0(h)\right] Q_{xy}(h)=0. \]
The setting kernel need not be pointwise history-independent. It must be orthogonal to every source-resolving change in the common-past distribution. A history-blind channel,
\[ Q_{xy}(h)=P_0(x,y), \]
is a stronger sufficient condition that works for every possible source/common-past correlation.
Let \(H^-\) be a fair bit, \(\Lambda_S=H^-\), and let a fresh innovation \(\Xi_X\) satisfy
\[ \Xi_X\perp(H^-,\Lambda_S), \qquad P(\Xi_X=0)=p. \]
Set
\[ X=H^-\oplus\Xi_X \]
and let \(Y\) be independent and fair.
For this construction,
\[ \boxed{ I(\Lambda_S:X,Y)=1-h_2(p), } \]
where \(h_2\) is the binary entropy. The history-balance error is
\[ \varepsilon_{\rm bal} =\left|p-\frac12\right|. \]
At \(p=0.8\),
\[ I(\Lambda_S:X,Y)=0.2780719051\ \mathrm{bits}, \qquad \varepsilon_{\rm bal}=0.3. \]
The innovation is fresh, nondegenerate, and generated after the source, yet its output retains source information. At \(p=1/2\), the XOR output is fair and history-blind. The relevant word is therefore balanced, not merely stochastic.
The STF theorem of the unknown, or the existence of an irreducible bit of unpredictability, cannot by itself establish measurement independence. One bit of uncertainty is not the same statement as zero source-to-setting channel capacity.
A setting is physically intervenable only if the local device admits a module replacement. In a structural description, changing
\[ F_X\mapsto x, \qquad F_Y\mapsto y \]
must leave the common-past distribution, source exogenous state, source preparation map, and universal boundary rule unchanged.
If the replacements act only on the setting mechanisms, then
\[ \boxed{ P_0(\Lambda_S\mid do(x),do(y))=P_0(\Lambda_S). } \]
The source marginal contains no replaced setting map, so the result follows immediately. This theorem supplies intervention autonomy, not statistical autonomy.
In process-tensor language [24,29,30], let \(\Upsilon_{S;XY}\) be the preterminal process connecting the source region to the two setting slots. For admissible deterministic maps \(\mathcal M_X,\mathcal M_Y\), define the induced source state \(\rho_S[\mathcal M_X,\mathcal M_Y]\). Source non-signaling from the setting slots is
\[ \boxed{ \rho_S[\mathcal M_X,\mathcal M_Y]=\rho_S } \]
for every admissible replacement pair. A strictly forward-causal preterminal process has this property automatically. A globally conditioned two-boundary process must be rechecked after the terminal effect is included.
Suppose:
Then
\[ \boxed{ I_0(\Lambda_S:X,Y)=0 } \]
and
\[ \boxed{ P_0(\Lambda_S\mid do(x),do(y))=P_0(\Lambda_S) } \]
for every supported intervention.
Common-past screening and history balance give statistical independence by Theorem 1. Physical module replacement and process invariance give intervention autonomy by Theorem 3. Full support ensures the experiment actually samples all terms used in its Bell functional. \(\square\)
Wing independence remains separate. Source autonomy does not imply \(P(x,y)=P(x)P(y)\). A fresh source-independent bit copied to both wings gives \(I(\Lambda_S:X,Y)=0\) but \(I(X:Y)=1\) bit. Independent Bell settings require the additional factorization and support conditions
\[ q_{xy}=q_X(x)q_Y(y)>0. \]
The history-balance theorem characterizes the required output statistics but does not identify a local channel that guarantees them for arbitrary incoming correlations. Let \(R\) be the incoming setting register, \(O\) the output register, and
\[ \Phi:\mathcal B(\mathcal H_R)\rightarrow \mathcal B(\mathcal H_O) \]
be a completely positive, trace-preserving map.
The argument uses only standard finite-dimensional channel duality and complete positivity [34].
For a fixed output state \(\tau_O\), the following are equivalent.
The third statement immediately gives the first by a product-operator expansion of \(\rho_{SR}\). The first gives the second by taking a trivial reference. If every density operator is sent to the same state, linearity on their affine span yields the third statement. \(\square\)
The map
\[ \mathcal R_\tau(A)=\tau\operatorname{Tr}A \]
is the replacer channel. It has zero capacity to transmit any property of the incoming register into the exposed setting output. High entropy, chaos, and unpredictability do not imply this zero-capacity property.
For two local replacers,
\[ (\operatorname{id}_S\otimes\mathcal R_X\otimes\mathcal R_Y) (\rho_{SR_XR_Y}) =\rho_S\otimes\tau_X\otimes\tau_Y. \]
Choosing \(\tau_X=\tau_Y=I_2/2\) and reading in the computational basis gives
\[ P_0(x,y)=\frac14, \qquad I(S:X,Y)=0, \qquad I(X:Y)=0. \]
The natural setting module is \(\mathcal R_{I_2/2}\). A forced intervention is the deterministic replacer
\[ \mathcal D_{j,a}(A) =|a\rangle\langle a|\operatorname{Tr}A. \]
Natural and forced settings therefore belong to one replaceable local module family.
The replacer is the unique universal architecture. A nonconstant channel can still be balanced on one actual ensemble, but it fails for some admissible source/input correlation. In the classical case, universal decoupling is equivalent to identical transition-matrix rows:
\[ W(o\mid r)=q(o)\quad\forall r,o. \]
An exact replacer can be implemented by a SWAP with a fresh ancilla. Let \(E\) be prepared in \(\tau\) and initially satisfy
\[ \rho_{SRE}=\rho_{SR}\otimes\tau_E. \]
After swapping \(R\) and \(E\), the source correlation formerly carried by \(R\) moves into \(E\), while the exposed register carries \(\tau\). Tracing the old register gives
\[ \rho^{\rm out}_{SR}=\rho_S\otimes\tau_R. \]
The information has not been annihilated; it has been exported to the environment.
If the ancilla is source-correlated, the same SWAP imports that correlation into the setting output. For two wings define
\[ \delta_{\rm anc} =\frac12\left\| \rho_{SE_XE_Y} -\rho_S\otimes\tau_X\otimes\tau_Y \right\|_1. \]
For ideal local SWAP-and-discard implementations,
\[ \boxed{ \delta_{\rm out}=\delta_{\rm anc}. } \]
SWAP reproduces exactly the freshness of the resource it is given. It cannot create an initially factorized resource from a correlated one.
With implementation errors
\[ \eta_j =\frac12\|\widetilde{\mathcal S}_j-\mathcal S_j\|_\diamond, \]
the two-wing output obeys
\[ \boxed{ \delta_{\rm out} \le \delta_{\rm anc}+\eta_X+\eta_Y. } \]
Resetting a correlated register by swapping it with a fresh one merely moves the correlation to the new discarded register. Repeating the procedure creates a resource chain. An irreversible reservoir can disperse the record into inaccessible degrees of freedom, but its state, renewal law, free-energy cost, and boundary conditions must be supplied by the physical theory.
A reset interaction cannot select its own independent initial environment state. In a Stinespring representation,
\[ \Phi(\rho_R) =\operatorname{Tr}_B \left[U(\rho_R\otimes\sigma_B)U^\dagger\right], \]
the state \(\sigma_B\) and its relation to the source are premises of the reduced channel, not consequences of the unitary \(U\).
Let a finite-dimensional register obey
\[ \dot\rho(t)=\mathcal L_t[\rho(t)] \]
with a bounded time-local generator on \([0,t_*]\). Its propagator
\[ \Phi_{t_*,0} =\mathcal T\exp \left(\int_0^{t_*}\mathcal L_tdt\right) \]
is invertible as a linear map on operator space. A replacer has a nontrivial kernel because it annihilates every traceless input operator.
\[ \boxed{ \text{No bounded finite-dimensional time-local generator becomes an exact replacer at finite time.} } \]
Exact finite-time replacement therefore requires a singular generator, an explicit unitary-and-discard realization, a measurement-and-repreparation instrument, a non-Markovian finite-environment process, or an idealized discontinuous control operation.
For the depolarizing comparison channel
\[ \Phi_t =e^{-\gamma t}\operatorname{id} +(1-e^{-\gamma t})\mathcal R_{I/2}, \]
the residual remains nonzero at every finite time. For a qubit,
\[ \frac12\|\Phi_t-\mathcal R_{I/2}\|_\diamond =\frac34e^{-\gamma t}. \]
The Choi rank of a replacer from a \(d_R\)-dimensional input to target \(\tau\) is
\[ \boxed{ r_{\rm Choi}=d_R\operatorname{rank}\tau. } \]
A uniform qubit replacer therefore requires pure Stinespring environment dimension at least four; a forced pure-setting replacer requires at least two.
These results do not make autonomy impossible. They identify the resources that an exact physical autonomy claim must expose.
Literal global tensor-product factorization is too strong as a fundamental criterion in a gauge or gravitational theory. Regional physical algebras may share central charges or edge data [31].
Let the regulated source algebra decompose as
\[ \mathfrak A_S \simeq \bigoplus_z\mathcal B(\mathcal H_{S,z}), \qquad \mathfrak Z_S =\bigoplus_z\mathbb CP_z. \]
The label \(z\) denotes a boundary or conserved sector. Exact sectorwise freshness requires product structure only inside each supported sector:
\[ \rho_{SE_XE_Y}^{(z)} =\rho_S^{(z)}\otimes\tau_X^{(z)}\otimes\tau_Y^{(z)}. \]
The setting readout must also be sector-blind:
\[ \operatorname{Tr}[M_x\tau_X^{(z)}]=q_X(x), \qquad \operatorname{Tr}[N_y\tau_Y^{(z)}]=q_Y(y) \]
for every supported \(z\).
Sectorwise freshness plus sector-blind local readout gives
\[ P_0(x,y\mid\lambda)=q_X(x)q_Y(y) \]
even when the sector label \(z\) is contained in \(\Lambda_S\). Consequently,
\[ I_0(\Lambda_S:X,Y)=0, \qquad I_0(X:Y)=0. \]
The source and setting resources may share a complete conserved-sector bit without the exposed setting labels carrying any source information. Shared sectors are harmless only when the readout is sector-blind or satisfies the weaker ensemble-specific history-balance identity.
Compress the complete setting-resource, reset, pointer, readout, and environment process into a quantum-to-classical channel on the supported source algebra:
\[ \mathcal C_{\rm set}(\rho_S) =\sum_{x,y} \operatorname{Tr}(\rho_SK_{xy}) |xy\rangle\langle xy|, \]
where
\[ K_{xy}\ge0, \qquad \sum_{x,y}K_{xy}=I_S. \]
The effect \(K_{xy}\) is the proposition “the setting pair will be \((x,y)\)” pulled backward through the complete setting process to the source leaf.
The channel exists on the supported source algebra only if operationally equivalent source preparations give the same setting probabilities. If initial correlations prevent this, one must restrict to the actual compatibility domain or enlarge the upstream algebra to include the common-past degrees that physically reach the device [32,33]. Failure to define the map is itself an initial-correlation obstruction.
For every supported source state, the setting distribution is the same fixed distribution \(q_{xy}\) if and only if
\[ \boxed{ P_{\rm supp}K_{xy}P_{\rm supp} =q_{xy}P_{\rm supp} \quad\forall x,y. } \]
Scalar effects plainly have state-independent expectation values. Conversely, if the expectation of \(K_{xy}\) is identical in every supported pure state, the polarization identity makes every off-diagonal matrix element vanish and every diagonal element equal the same number. Thus the effect is scalar on the supported space. \(\square\)
For one realized source ensemble \(\{p_\lambda,\rho_\lambda\}\), the weaker exact condition is
\[ \operatorname{Tr}(\rho_\lambda K_{xy}) =\sum_{\lambda'}p_{\lambda'} \operatorname{Tr}(\rho_{\lambda'}K_{xy}). \]
This is the operator form of history balance. The scalar theorem is the universal, non-fine-tuned form.
Let \(\mathbb E_{\mathfrak Z}\) be the conditional expectation from the source algebra onto its center. Then
\[ \boxed{ K_{xy}-q_{xy}I = \left[K_{xy}-\mathbb E_{\mathfrak Z}(K_{xy})\right] + \left[\mathbb E_{\mathfrak Z}(K_{xy})-q_{xy}I\right]. } \]
The first term is within-sector microstate leakage. The second is center or sector leakage.
Define
\[ q_{xy}(z) =\frac{1}{d_z} \operatorname{Tr}_{S,z}(P_zK_{xy}P_z). \]
The global setting effect satisfies \(K_{xy}=q_{xy}I\) if and only if both
\[ \boxed{ P_zK_{xy}P_z=q_{xy}(z)P_z } \]
for every supported sector and
\[ \boxed{ q_{xy}(z)=q_{xy} } \]
for every supported sector.
The first condition erases microstate information within each sector. The second prevents the exposed setting label from reading the shared boundary sector.
With
\[ \delta_{\rm micro} =\max_z\sup_{\rho_z} \frac12\sum_{x,y} \left| \operatorname{Tr}(\rho_zK_{xy})-q_{xy}(z) \right| \]
and
\[ \delta_{\rm center} =\max_z\frac12\sum_{x,y}|q_{xy}(z)-q_{xy}|, \]
every supported source state obeys
\[ \frac12\sum_{x,y} \left| \operatorname{Tr}(\rho_SK_{xy})-q_{xy} \right| \le \delta_{\rm micro}+\delta_{\rm center}. \]
A global replacer may change a conserved boundary charge. The gauge-compatible replacement is sector preserving:
\[ \boxed{ \mathcal R_{\rm sec}(\rho) =\bigoplus_z \operatorname{Tr}(P_z\rho)\tau^{(z)}. } \]
It preserves every sector probability while deleting all within-sector input microstate information.
Introduce a neutral binary pointer \(Q_j\) in each sector and choose
\[ \tau_j^{(z)} =\sigma_{z,j}\otimes\frac{I_{Q_j}}2. \]
The natural module is
\[ \mathcal N_j(\rho) =\bigoplus_z\operatorname{Tr}(P_z\rho) \left(\sigma_{z,j}\otimes\frac{I_{Q_j}}2\right), \]
and the forced module is
\[ \mathcal D_{j,a}(\rho) =\bigoplus_z\operatorname{Tr}(P_z\rho) \left(\sigma_{z,j}\otimes|a\rangle\langle a|\right). \]
Both preserve \(z\), erase the incoming microstate, and differ only in the neutral pointer preparation. They therefore supply a concrete, charge-preserving meaning to \(do(j=a)\).
This construction proves that a non-superdeterministic initial architecture is mathematically compatible with gauge constraints. It does not prove that FP V8.1 dynamically selects this architecture.
The initial branch is mathematically closed by
\[ \boxed{ K_{xy}=q_{xy}I_S } \]
on the supported source algebra, together with physical source invariance under the natural-to-forced module replacements.
This one statement collects four levels of description:
\[ \text{replacer} \Longrightarrow \text{history blindness} \Longrightarrow \text{history balance} \Longrightarrow I_0(\Lambda_S:X,Y)=0. \]
The charge-preserving module then supplies the intervention meaning.
FP V8.1 does not yet derive:
Therefore
\[ \boxed{ \text{initial-autonomy criterion: proved,} \qquad \text{physical STF realization: open.} } \]
Sections 18–31 synthesize the terminal-neutrality and late-time-dynamics sequence [9–16], with the FP V8.1 notation fixed by the alignment note [17].
Let \(C_r\) denote mutually decoherent record histories on a record-forming leaf and define
\[ X_r=C_r\rho_I C_r^\dagger, \qquad q_r=\operatorname{Tr}X_r, \qquad \sigma_r=\frac{X_r}{q_r} \]
for each nonzero branch. Let the terminal macrocondition be represented by a positive effect \(E_f\). The two-boundary probability is
\[ p_f(r) =\frac{\operatorname{Tr}(E_fX_r)} {\sum_s\operatorname{Tr}(E_fX_s)} =\frac{q_rw_r}{\sum_sq_sw_s}, \]
where
\[ w_r=\operatorname{Tr}(E_f\sigma_r). \]
For every branch with \(q_r>0\),
\[ p_f(r)=q_r \]
if and only if
\[ \boxed{ w_r=w \quad\text{for every supported branch }r. } \]
Equal weights cancel from the common normalization. Conversely, if \(p_f(r)=q_r\), division by \(q_r\) gives \(w_r=\sum_sq_sw_s\) for every supported branch. \(\square\)
This criterion concerns the complete physical branch, not merely an idealized record tensor factor. If
\[ E_f=I_R\otimes E_E \]
but the environment state depends on the record,
\[ \sigma_r=|r\rangle\langle r|\otimes\sigma_E^{(r)}, \]
then
\[ w_r=\operatorname{Tr}(E_E\sigma_E^{(r)}) \]
can remain branch dependent. Commutation with the record algebra is therefore insufficient when branch information has migrated into the rest of the universe.
The finite audit gives an explicit example. With
\[ q=(0.37,0.63), \qquad w=(1,0.05), \]
a perfectly record-commuting effect produces
\[ p_f=(0.921544,0.078456) \]
and total-variation bias \(0.551544\).
Let \(\tau\) be a regulated record-forming leaf ordered by the universal clock and \(T_f\) a regulated terminal leaf. Let
\[ U(T_f,\tau) \]
be the complete propagator generated by the completed matter-gravity-clock- response theory, and let
\[ 0\le P_{\rm HD}\le I \]
represent the terminal heat-death macrocondition.
Pull the terminal effect back to the record leaf:
\[ F(\tau) =U^\dagger(T_f,\tau)P_{\rm HD}U(T_f,\tau). \]
Let \(\mathcal J\) be the complete physical preparation channel from a finite regulated source-setting-record system \(R\) into the global state on that leaf. It includes detectors, environmental records, ordinary matter, gravitational dressing, and every branch correlation. Define
\[ \boxed{ E_R=\mathcal J^\dagger(F). } \]
For every regulated record input \(\rho_R\), the terminal weight is exactly
\[ \boxed{ w(\rho_R)=\operatorname{Tr}(E_R\rho_R). } \]
By duality of the preparation channel,
\[ \operatorname{Tr}[F\mathcal J(\rho_R)] =\operatorname{Tr}[\mathcal J^\dagger(F)\rho_R]. \]
The right-hand side is the stated expression. \(\square\)
This construction automatically retains branch-dependent environments. It does not assume a record/rest tensor product, factorized late-time state, or Haar-random propagator.
The terminal weight is independent of every supported record state if and only if
\[ \boxed{ P_{\rm supp}E_RP_{\rm supp}=fP_{\rm supp}. } \]
For one finite branch family \(\{\rho_r\}\), the weaker necessary-and- sufficient condition is
\[ \operatorname{Tr} \!\left[E_R(\rho_r-\rho_s)\right]=0 \]
for every supported pair \(r,s\).
The all-state statement follows from the same polarization argument used for the initial setting effects. Thus the initial and terminal problems have the same algebraic form, but they act on different processes and answer different questions:
\[ \boxed{ K_{xy}=q_{xy}I_S \quad\text{initially}, \qquad \Pi_{xy}E_R\Pi_{xy}=c_{xy}\Pi_{xy} \quad\text{terminally}. } \]
Let
\[ a=\lambda_{\min}(E_R)>0, \qquad b=\lambda_{\max}(E_R). \]
For every prior \(q_r\), branch family, and terminally reweighted distribution,
\[ \boxed{ \|p-q\|_{\rm TV} \le \frac{\sqrt b-\sqrt a}{\sqrt b+\sqrt a}. } \]
The bound is optimal. If
\[ E_R=fI+\Delta, \qquad \|\Delta\|_\infty\le\delta<f, \]
then
\[ \|p-q\|_{\rm TV} \le \frac{\delta}{f+\sqrt{f^2-\delta^2}}. \]
To guarantee \(\|p-q\|_{\rm TV}\le\epsilon\), it is sufficient that
\[ \boxed{ \frac{\delta}{f} \le \frac{2\epsilon}{1+\epsilon^2}. } \]
This converts an experimental tolerance directly into the spectral flatness required of the physical pulled-back terminal effect.
If the late-time dynamics preserves exact sectors \(Q\), the supported record algebra decomposes as
\[ \mathcal H_R=\bigoplus_Q\mathcal H_Q. \]
Sectorwise neutrality requires
\[ \boxed{ P_QE_RP_Q=f_QP_Q. } \]
Different values \(f_Q\) are harmless only when every compared branch has the same sector profile. If branch \(r\) has sector weights \(p_{rQ}\), its mean terminal weight is
\[ w_r=\sum_Qp_{rQ}f_Q. \]
Unequal \(p_{rQ}\) combined with unequal \(f_Q\) creates a bias that does not vanish merely because each sector is large. The finite-record audit exhibits a persistent total-variation bias near \(0.25\) for a \(3/4\) versus \(1/4\) sector mismatch at dimension \(1024\).
The correct terminal target is therefore membership in the center of the supported conserved-sector algebra, together with equality of the terminal fractions across every sector profile sampled by the Bell branches.
Use a finite regulator with source label \(\lambda\), settings \(x,y\in\{0,1\}\), and outcomes \(A,B\in\{-1,+1\}\). For a singlet or Werner source with visibility \(v_\lambda\), the imported quantum embedding gives
\[ q_\lambda(A,B\mid x,y) =\frac14 \left[1-v_\lambda AB\,\mathbf a_x\cdot\mathbf b_y\right]. \]
With the usual optimal analyzer directions, the singlet has unbiased local marginals and
\[ S_0=2\sqrt2. \]
This is a compatibility construction for the supplied Hilbert space, state, and local instruments. The STF closure number \(4\pi^2\) does not derive the singlet, Born rule, or analyzer algebra.
Let a diagonal terminal record effect assign
\[ 0\le t_{\lambda xyAB}\le1 \]
to each completed record. Then
\[ p_f(\lambda,A,B\mid do(x),do(y)) = \frac{ \pi_\lambda q_\lambda(A,B\mid x,y)t_{\lambda xyAB} }{Z_{xy}}, \]
where
\[ Z_{xy} =\sum_{\lambda,A,B} \pi_\lambda q_\lambda(A,B\mid x,y)t_{\lambda xyAB}. \]
The record calculation separates five conditions.
These conditions are logically independent. Source neutrality is weaker than full record neutrality.
Define the desired Popescu–Rohrlich sign [22]
\[ s_{xy}=-(-1)^{xy} \]
and retain only records satisfying
\[ AB=s_{xy}. \]
Rescale the retained weights separately for each source label so every source and setting pair has the same total terminal weight. The resulting diagonal operator is a valid effect with \(0\le t\le1\).
There exists a terminal effect that simultaneously:
This does not violate the quantum Tsirelson theorem. The selected ensemble is not the unconditional output of one normalized state and complete local instruments. It is a globally postselected subensemble of completed records.
The theorem proves that
\[ \boxed{ \text{measurement independence} + \text{no-signaling} \not\Longrightarrow \text{Born or Tsirelson preservation}. } \]
STF must therefore establish outcome-record neutrality, not merely source neutrality and no-signaling.
If the terminal weights in a setting block lie in \([a_{xy},b_{xy}]\), define
\[ \epsilon_{xy} =\frac{\sqrt{b_{xy}}-\sqrt{a_{xy}}} {\sqrt{b_{xy}}+\sqrt{a_{xy}}}. \]
Then the full source-outcome total-variation error is at most \(\epsilon_{xy}\), every marginal shift is no larger, and
\[ \boxed{ |S_f-S_0| \le2\sum_{x,y}\epsilon_{xy}. } \]
For each fixed setting intervention, let the effective terminal source weight be \(w_{\lambda xy}\). Terminal conditioning gives
\[ P_f(\lambda\mid do(x),do(y)) =\frac{P_0(\lambda\mid do(x),do(y))w_{\lambda xy}} {\sum_{\lambda'}P_0(\lambda'\mid do(x),do(y))w_{\lambda'xy}}. \]
For all prepared source priors, terminal conditioning preserves
\[ P_f(\Lambda_S\mid do(x),do(y)) =P_0(\Lambda_S\mid do(x),do(y)) \]
if and only if
\[ \boxed{ w_{\lambda xy}=c_{xy} } \]
on the supported source labels.
The scalar may depend on the externally fixed setting pair because it cancels inside that intervention. If setting frequencies are themselves treated as observational records, equality across \((x,y)\) is an additional requirement.
Full preservation of the Bell experiment is the stronger block condition
\[ \boxed{ \Pi_{xy}E_R\Pi_{xy}=c_{xy}\Pi_{xy}. } \]
This includes source neutrality and eliminates outcome postselection inside the setting block.
Let \(\Phi_t\) be the reduced late-time channel on the regulated record system, and suppose the asymptotic dual \(\Phi_\infty^\dagger\) exists after peripheral components are treated explicitly. Let \(\mathcal A_{XY}\) denote the algebra generated only by the setting projectors and the identity on each source-outcome block.
A specified terminal macroeffect is Bell-admissible exactly when
\[ \boxed{ \Phi_\infty^\dagger(P_{\rm HD}) \in\mathcal A_{XY}. } \]
A late-time channel guarantees Bell admissibility for every terminal effect only if
\[ \boxed{ \operatorname{Ran}(\Phi_\infty^\dagger) \subseteq\mathcal A_{XY}. } \]
The first theorem is the physically minimal target: STF has one specified heat-death effect, not every imaginable terminal operator. The second characterizes a stronger channel property.
Pure dephasing fails because it preserves the diagonal source and outcome projectors. Outcome relaxation with the source record fixed also fails source neutrality. In the 32-record regulator, the tested population graphs have fixed-algebra dimensions
\[ 32,\quad8,\quad4,\quad1, \]
for pure dephasing, outcome-only mixing, one irreducible source-outcome component per setting block, and global primitive relaxation respectively. The third case is the minimal setting-preserving population architecture that guarantees block scalarization.
Noise strength alone does not determine this fixed algebra. The transition graph, exact sectors, and environmental state determine which record observables survive.
One proposed route to approximate terminal neutrality uses high-dimensional mixing. Let \(P_{\rm HD}\) be a rank-\(k\) terminal projector in a \(d\)-dimensional accessible shell and let
\[ w_r(U) =\operatorname{Tr} \!\left(P_{\rm HD}U\sigma_rU^\dagger\right). \]
If the common propagator has Haar second moments, or those of an exact unitary 2-design, then
\[ \mathbb E\,w_r=f:=\frac{k}{d} \]
and
\[ \operatorname{Var}(w_r) = \frac{(k-k^2/d)(\operatorname{Tr}\sigma_r^2-1/d)}{d^2-1} \le \frac{f(1-f)}{d+1}. \]
For \(R\) branches and ordinary weights \(q_r\),
\[ \Pr\!\left[ \|p_U-q\|_{\rm TV}>\epsilon \right] \le \min\!\left\{ 1, \frac{R(1-f)(1+\epsilon)^2} {(d+1)f\epsilon^2} \right\}. \]
For fixed \(R\), nonvanishing \(f\), and large \(d\), terminal bias therefore converges to zero in probability under the stated ensemble. This proves a mathematical sufficiency theorem. It does not show that STF produces the ensemble, that the actual one history is typical, or that the exact sector profiles match.
For one fixed autonomous Hamiltonian,
\[ U(t)=e^{-iHt}, \]
every propagator commutes with every operator in the commutant of \(H\). Let \(X\) be a nonzero traceless conserved operator. Then
\[ \mathbb E_t[U(t)XU(t)^\dagger]=X, \]
whereas Haar twirling gives zero.
For \(d>1\), no ensemble generated solely by sampling times under one fixed Hamiltonian is a unitary 1-design, and therefore it cannot be a unitary 2-design.
The result is independent of whether the Hamiltonian is integrable or chaotic. Chaos may improve equilibration of selected observables; it does not remove exact conserved operators from the temporal twirl.
The theorem blocks only the global-design derivation route. The actual STF requirement concerns one terminal observable and one finite branch family. Long-time dephasing gives
\[ \overline w_r =\operatorname{Tr} \!\left[\mathcal D_H(P_{\rm HD})\sigma_r\right], \qquad \mathcal D_H(P)=\sum_E\Pi_EP\Pi_E. \]
A weaker deterministic route therefore remains:
\[ \Pi_Q\mathcal D_H(P_{\rm HD})\Pi_Q \simeq f_Q\Pi_Q \]
on the supported sector profiles. Alternatively, a primitive reduced channel may scalarize the terminal effect on the ancient record algebra while global information survives in complementary correlations.
The universal clock orders this evolution. It is not itself the Hamiltonian, random circuit, bath, or mixing ensemble.
The canonical clock-relative curvature variable is
\[ \boxed{ q_N =\mathcal R_{\rm STF}(N) =\sqrt{R^2+8\mathcal W_N}. } \]
The exact selective response is
\[ \boxed{ K^R_{\rm sel}(t) =\delta(t)-\omega_c e^{-\omega_ct}\Theta(t), } \]
or, in frequency space,
\[ \boxed{ K_{\rm sel}(\omega) =-\frac{i\omega}{\omega_c-i\omega}. } \]
It has zero static response:
\[ K_{\rm sel}(0)=0. \]
The subtracted Ohmic–Drude response
\[ D_R^{\rm sub}(\omega) =-i\eta\omega \frac{\Lambda_B}{\Lambda_B-i\omega} \]
matches the V8.1 kernel exactly under
\[ \Lambda_B=\omega_c, \qquad \eta=\omega_c^{-1}. \]
This supplies an exact Gaussian-bath realization of the response shape. It does not derive the microscopic compactification bath or its quantum state.
The dimensionless coupling
\[ \kappa =\frac{\zeta/\Lambda}{L_*^2} \simeq10^{70} \]
is not a record-mixing rate. A reduced relaxation rate also depends on the environmental state, spectral density, system operator, exact sectors, and coarse graining.
Because V8.1 has \(\omega_c\sim m_s\), the 3.32-year mode lies in the full-memory regime \(\omega/\omega_c=O(1)\). A GKSL semigroup is therefore a finite comparison regulator, not the physical completion. The correct object is a non-Markovian process tensor or exact finite-time channel built from the full kernel.
A closed compactification with deterministic degrees of freedom does not automatically produce a stochastic noise kernel after reduction. To derive an influence functional, STF must specify environmental fields, their state, and their couplings to the system variables.
For a Gaussian environment, the retarded response and symmetric noise are distinct state-dependent kernels. Positivity constrains their spectral matrix. A cross-only noise ansatz is generally indefinite; reciprocal diagonal terms are needed for a positive semidefinite shared-bath completion.
The exact response coefficient does not identify:
Once a population generator is supplied, the connected components of its transition graph determine the diagonal fixed algebra. In the regulated Bell model, irreducibility inside each setting block is the minimal graph property that removes source and outcome projectors while preserving the intervention labels.
This establishes a crucial distinction:
\[ \boxed{ \text{response selectivity} \ne \text{noise} \ne \text{irreversible record transfer}. } \]
The V8.1 selective kernel admits the one-auxiliary localization
\[ (K_{\rm sel}*x)(t)=x(t)-z(t), \qquad \dot z=\omega_c(x-z). \]
Suppose, only as a test, that this same high-pass kernel directly drives a record mode with graph-Laplacian eigenvalue \(\lambda>0\) and coupling \(\Gamma\). The asymptotic mode retention is
\[ \boxed{ r_\lambda =\frac{\omega_c}{\omega_c+\Gamma\lambda}>0 } \]
at every finite coupling.
Direct identification of the zero-static selective response with the sole record-population relaxation kernel produces a full-rank asymptotic resolvent and cannot yield exact channel-universal scalarization at finite coupling.
For a CHSH tolerance of \(10^{-3}\), the regulated calculation requires
\[ \frac{\Gamma\lambda_{\rm gap}}{\omega_c} \ge2696.26. \]
This is an approximate suppression condition, not an exact erasure theorem. The value \(\kappa\sim10^{70}\) cannot be substituted for the left-hand ratio.
A completed STF open-system sector must distinguish at least:
\[ \boxed{ K^R_{\rm sel} \quad\text{for static-curvature selectivity} } \]
and
\[ \boxed{ M_{\rm mix} \quad\text{for irreversible source-outcome record transfer}. } \]
The two kernels may arise from one reciprocal microscopic environment, but their equality is not implied and is inconsistent with exact finite-coupling record erasure under the direct-identification model.
This is not a no-go for STF. It shows that the high-pass property needed to avoid static curvature response and the low-frequency dissipation needed to erase accessible record populations are different functional obligations.
The regulated Bell algebra is a target until STF supplies the physical map that creates visible records. The theory requires a microscopic operator or instrument
\[ O_{\rm prod} \]
that maps the STF scalar, clock-relative curvature, matter sector, detector, and environment into source and outcome records.
The correct completion chain is
\[ \boxed{ \begin{aligned} &\text{10D parent} \longrightarrow (q_N,\kappa,K^R_{\rm sel})_{\rm fixed\ clock}\\ &\longrightarrow \text{microscopic environment and }N_K\\ &\longrightarrow O_{\rm prod}\text{ and }M_{\rm mix}\\ &\longrightarrow \text{non-Markovian process tensor}\\ &\longrightarrow \text{fixed/peripheral algebra}\\ &\longrightarrow E_R =\mathcal J^\dagger(U^\dagger P_{\rm HD}U). \end{aligned} } \]
The same physical derivation must retain environmental memory that remains visible to the terminal effect. Tracing out a branch-correlated environment before evaluating \(P_{\rm HD}\) would falsely manufacture scalarization.
The initial and terminal problems now have parallel operator forms:
\[ K_{xy}=q_{xy}I_S \]
prevents the setting process from resolving the source state, while
\[ \Pi_{xy}E_R\Pi_{xy}=c_{xy}\Pi_{xy} \]
prevents the future macrocondition from resolving source or outcome records inside the completed setting block.
Let \(\Lambda_S\) be the gauge-invariant source-world-tube state, defined independently of later settings, outcomes, and the complete history. Suppose:
Then
\[ \boxed{ I_0(\Lambda_S:X,Y)=0, } \]
\[ \boxed{ P_f(\Lambda_S\mid do(x),do(y))=P_0(\Lambda_S), } \]
and
\[ \boxed{ P_f(\Lambda_S,A,B\mid do(x),do(y)) =P_0(\Lambda_S) q(A,B\mid\Lambda_S,x,y). } \]
The completed STF Bell experiment is therefore non-superdeterministic in the operational Bell sense defined by its physical source and setting interventions.
Premise 2 makes the natural setting probabilities independent of every supported source state. Premises 3 and the support condition give the required wing sampling. Premises 4 and 5 give physical intervention autonomy, so the preterminal source distribution is unchanged when either setting module is replaced. Premise 7 assigns one scalar terminal weight to every supported source-outcome state inside a fixed setting intervention. That scalar cancels from the terminal normalization. The supplied source prior and conditional quantum outcome distribution therefore remain unchanged. \(\square\)
The theorem is sufficient and, within the universal all-state architecture, its scalarization conditions are also necessary. For one restricted realized ensemble, weaker history-balance or finite-family neutrality equalities can hold accidentally. Such ensemble-specific cancellation is not a universal autonomy proof.
Exact scalarization is an ideal theorem target. Experiments test finite tolerances.
Let the initial setting process obey
\[ \varepsilon_{\rm set} =\sup_{\rho_S} \frac12\left\| \mathcal C_{\rm set}(\rho_S)-\mathcal R_q(\rho_S) \right\|_1, \]
with
\[ \varepsilon_{\rm set} \le \delta_{\rm micro}+\delta_{\rm center} \]
or, in an explicit reset dilation,
\[ \varepsilon_{\rm set} \le \delta_{\rm anc}+\eta_X+\eta_Y. \]
These are alternative resolutions of the same black-box error and should not be added if they double-count one imperfection.
Let the terminal effect in setting block \((x,y)\) have spectral error
\[ \epsilon_{xy} =\frac{\sqrt{b_{xy}}-\sqrt{a_{xy}}} {\sqrt{b_{xy}}+\sqrt{a_{xy}}}. \]
Then the completed source-outcome distribution differs from the ideally autonomous experiment by at most the initial preparation error plus the terminal block error under the usual total-variation telescoping bound. The terminal contribution to CHSH obeys
\[ |S_f-S_0| \le2\sum_{x,y}\epsilon_{xy}. \]
A complete experimental claim must state separately:
No single entropy, mutual-information, or decoherence number substitutes for this vector of diagnostics.
Clock separation is essential to the theorem’s formulation.
But the two clocks do not prove:
The two clocks make the autonomy problem well posed. The source, setting, and terminal dynamics must still solve it.
No.
No displayed FP V8.1 term forces
\[ I_0(\Lambda_S:X,Y)>0, \]
forces failure of local setting modularity, or makes the physical terminal effect non-scalar on Bell records. The universal clock supplies ordering, not a source-setting conspiracy. Global closure supplies a possible terminal weighting mechanism, not a theorem that the weighting distinguishes the records. One actual history contains the actual settings, but that tautology does not identify a Bell source variable.
The framework is compatible with an imported singlet, independent local instruments, unbiased marginals, and \(S=2\sqrt2\). That construction proves consistency, not physical derivation.
Therefore
\[ \boxed{ \mathrm{STF}_{\rm V8.1}\not\vdash\mathrm{SD}. } \]
Not yet.
The initial mathematical architecture is exact, but FP V8.1 has not produced the setting effects \(K_{xy}\) or proved source invariance under the forced modules. The terminal mathematical architecture is exact, but FP V8.1 has not produced the physical \(E_R\) or proved setting-block scalarization.
Both of the following remain compatible with the incomplete action:
Therefore
\[ \boxed{ \mathrm{STF}_{\rm V8.1}\not\vdash\neg\mathrm{SD}. } \]
This is not an unresolved definition. It is an unresolved physical calculation with exact pass/fail criteria.
| Object or claim | Status after the synthesis |
|---|---|
| Bell-relevant source world tube | operationally defined |
| Complete actual history as \(\Lambda_S\) | rejected as tautological |
| History-balance criterion | theorem |
| Fresh stochasticity alone implies independence | false; explicit counterexample |
| Replacer is unique universal decoupler | theorem |
| Sector-preserving neutral-pointer module | explicit construction |
| Exact finite-time bounded Markovian reset | impossible |
| Setting-effect scalarization \(K_{xy}=q_{xy}I_S\) | theorem target |
| \(K_{xy}\) derived from FP V8.1 | open |
| Physical modular setting interventions derived | open |
| Complete terminal branch-neutrality criterion | theorem |
| Pulled-back effect \(E_R\) controls all terminal weights | theorem |
| Setting-block scalarization preserves the Bell experiment | theorem |
| Source independence plus no-signaling implies quantum correlations | false; PR counterexample |
| Haar/2-design concentration route | conditional theorem |
| One autonomous Hamiltonian supplies a unitary design | false |
| Exact V8.1 response-kernel form | specified |
| Gaussian-bath realization of that response shape | constructed |
| Microscopic environment and state | open |
| State-dependent noise kernel \(N_K\) | open |
| Visible production operator \(O_{\rm prod}\) | open |
| Irreversible record-transfer kernel \(M_{\rm mix}\) | open |
| \(K^R_{\rm sel}=M_{\rm mix}\) | not derived; direct identification obstructed |
| Non-Markovian record process tensor | open |
| Physical fixed/peripheral algebra | open |
| Physical pulled-back heat-death effect \(E_R\) | open |
| Dynamical universal clock carrier | open in FP V8.1 |
| STF V8.1 proves superdeterminism | no |
| STF V8.1 proves non-superdeterminism | no |
The non-superdeterministic completion fails if the derived physical theory produces any of the following without an exact compensating theorem:
The completion succeeds if STF derives:
\[ \boxed{ K_{xy}=q_{xy}I_S } \]
for the physical natural setting process, verifies source invariance under the charge-preserving forced modules, and derives
\[ \boxed{ \Pi_{xy}E_R\Pi_{xy}=c_{xy}\Pi_{xy} } \]
for the actual regulated heat-death effect on every supported Bell block.
The next calculations are ordered by dependency.
Only after both branches close may the conditional theorem be upgraded to a proof about the physical STF completion.
This paper is Version 2.0 of Superdeterminism in the Two-Clock STF Framework (V1.0, 2026), which it supersedes as the public statement of the program. Counting that superseded status paper, the sequence comprises thirteen papers; the synthesis absorbs the conclusions, not the full technical bulk, of the twelve companions listed below together with the alignment note.
The alignment note is incorporated into Sections 28–31 and 37. It need not remain a separate public research claim, although it should remain in the version archive.
The following companion calculations test the finite-dimensional statements used here:
stf_source_setting_autonomy_checks.pystf_setting_generator_decoupling_checks.pystf_fresh_ancilla_reset_resource_checks.pystf_setting_sector_boundary_center_checks.pystf_terminal_neutrality_and_measurement_independence_tests.pystf_record_algebra_scalarization_checks.pystf_regulated_bell_terminal_effect_checks.pystf_fixed_point_bell_channel_checks.pystf_influence_kernel_record_connectivity_checks_fp8_1.pystf_zero_mode_memory_obstruction_checks.pystf_late_time_mixing_feasibility_checks.pystf_finite_record_terminal_decoupling_checks.pystf_superdeterminism_status_paper_checks.pyTogether they reproduce:
These calculations verify the regulated theorems and counterexamples. They do not simulate the missing cosmological setting sector or derive the physical terminal macroeffect.
The complete result can be stated in two lines:
\[ \boxed{ K_{xy}=q_{xy}I_S \quad+ \quad \text{physical source-invariant module replacement} } \]
closes the initial source-setting branch, and
\[ \boxed{ \Pi_{xy} \mathcal J^\dagger \!\left(U^\dagger P_{\rm HD}U\right) \Pi_{xy} =c_{xy}\Pi_{xy} } \]
closes the terminal source-outcome branch.
If both are derived from the physical STF theory, the completed Bell experiment is operationally non-superdeterministic. If the first fails, STF contains initial source-setting dependence or nonmodular settings. If the second fails, the terminal boundary reweights Bell records. If neither object is calculated, the ontology is undecided regardless of how deterministic, global, or time-symmetric its language appears.
The present framework has proved the equivalences, the sufficient physical architectures, the finite error bounds, and the principal no-go results. It has not yet derived the two decisive effects from FP V8.1.
Therefore the exact answer is
\[ \boxed{ \begin{aligned} &\mathrm{STF}_{\rm V8.1}\not\vdash\mathrm{SD},\\ &\mathrm{STF}_{\rm V8.1}\not\vdash\neg\mathrm{SD},\\ &\text{a non-superdeterministic STF completion is mathematically viable},\\ &\text{and its remaining proof obligations are now explicit.} \end{aligned} } \]
That is the substantive outcome of the thirteen-paper sequence. The question has been reduced from metaphysics to two operator calculations.