Bell’s theorem eliminates the class of local hidden-variable models under the joint assumptions of locality and realism. The Law of Declared Authority establishes that legitimate action in decision systems cannot be derived from internal system state alone; an external authority declaration is required. This paper presents a structural correspondence between these two non-closure results. It identifies a shared formal structure in which meaningful properties are not closed over internal system state and instead depend on external contextual parameters. The claim is strictly structural and does not assert physical or ontological equivalence across domains.
Bell’s theorem eliminates the class of local hidden-variable models under the joint assumptions of locality and realism. The Law of Declared Authority establishes that legitimate action in decision systems cannot be derived from internal system state alone; an external authority declaration is required. This paper presents a structural correspondence between these two non-closure results. It identifies a shared formal structure in which meaningful properties are not closed over internal system state and instead depend on external contextual parameters. The claim is strictly structural and does not assert physical or ontological equivalence across domains.
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.
Quantum entanglement violates Bell inequalities experimentally, ruling out locally closed descriptions of physical systems. This violation is not dynamical—no superluminal signaling occurs—but structural: the global quantum state cannot be reconstructed from local properties. We formalize this failure of local closure using the Theory of Axiomatic Necessity (TNA), where coherent systems require irreducible external structural support (N₁) beyond their locally observable domain (N₀). Entanglement provides a physical instantiation of this principle: the global wavefunction plays a role structurally analogous to N₁, enabling coherence without operating causally. This framework unifies quantum non-separability with similar structural limits in mathematics, machine learning, and social systems, demonstrating that local closure is not merely difficult but impossible for coherent systems.
Bell's theorem is 50 years old. Still there is a controversy about its implications. Much of it has its roots in confusion regarding the premises from which the theorem can be derived. Some claim that a derivation of Bell's inequalities requires just locality assumption, and nothing more. Violations of the inequalities are then interpreted as ``nonlocality'' or ``quantum nonlocality''. We show that such claims are unfounded and that every derivation of Bell's inequalities requires a premise -- in addition to locality and freedom of choice -- which is either assumed tacitly, or unconsciously, or is embedded in a single compound condition (like Bell's ``local causality''). The premise is equivalent to the assumption of existence of additional variables which do not appear in the quantum formalism (in form of determinism, or joint probability for outcomes of all conceivable measurements, or ``additional causes`'', or ``hidden variables'', ``complete description of the state'' or counterfactual definiteness, etc.). A certain irony is that perhaps the main message of violation of Bell's inequalities is that our notion of locality should be based on an operationally well-defined no-signalling condition, rather than on local causality.
While Bell’s theorem is traditionally seen as a total rejection of local classical models in quantum mechanics, this paper argues that such a conclusion relies on the narrow assumption of "joint definiteness." Bell’s derivation requires a single hidden state, λ, to account for all possible measurement outcomes simultaneously, which implies that the measurement apparatus remains microscopically unchanged regardless of its settings. However, because physical instruments are composed of matter, their internal microstates necessarily vary with the chosen settings, meaning the relevant hidden variables are setting-dependent. This physical reality prevents the formation of a global joint probability distribution, placing these types of models outside the mathematical constraints of Bell’s and Fine’s theorems. Consequently, the authors conclude that while Bell’s theorem remains mathematically sound, it only excludes hidden-variable models that ignore the setting-dependent nature of the measuring apparatus, leaving the door open for classical descriptions of physical reality.
What are the physical conditions required for agency?Recent work has rigorously shown that purely unitary, coherence-preserving quantum dynamics are insufficient to support deliberation, comparison of counterfactual actions, and reliable action selection. These results establish a genuine no-go theorem for agency in a strictly quantum-coherent regime.This paper provides a structural completion of that no-go result. Rather than challenging its correctness, the analysis identifies the underlying assumption on which it rests: that unitarity alone is sufficient as an admissibility criterion for decision endpoints. We show that this assumption is incomplete.Working within the Tier-0 closure framework, physical lawfulness is characterized by closure-stable fixed points selected by structural constraints rather than by unconstrained dynamical evolution. Within this framework, coherent quantum states may function as intermediate computational or representational states but are excluded as lawful endpoints for records, decisions, and control.Applying closure stability to quantum systems yields a classical decision subspace without introducing new dynamics, observer-dependent postulates, or interpretation-specific assumptions. The paper further shows that agency requires a closure-stable internal selection process capable of consistent expected-utility comparison. Imposing closure compatibility rigidly fixes the standard quadratic Born probability rule as the only weighting compatible with stability, representation-independence, and admissibility-preserving re-expression.Together, these results integrate agency into the same structural framework that accounts for quantum measurement and probability. The absence of agency in purely quantum-coherent models is shown to reflect an under-constrained admissibility regime rather than a fundamental limitation of quantum theory. Lawful agency emerges as a closure-stable property of coupled agent–world dynamics, fully consistent with standard quantum mechanics.This work clarifies the physical limits of purely quantum models of decision, sharpens existing no-go arguments, and provides a mathematically explicit foundation for agency grounded in structural admissibility rather than interpretation. https://doi.org/10.5281/zenodo.18028427
What are the physical conditions required for agency? Recent work has rigorously shown that purely unitary, coherence-preserving quantum dynamics are insufficient to support deliberation, comparison of counterfactual actions, and reliable action selection. These results establish a genuine no-go theorem for agency in a strictly quantum-coherent regime. This paper provides a structural completion of that no-go result. Rather than challenging its correctness, the analysis identifies the underlying assumption on which it rests: that unitarity alone is sufficient as an admissibility criterion for decision endpoints. We show that this assumption is incomplete. Working within the Tier-0 closure framework, physical lawfulness is characterized by closure-stable fixed points selected by structural constraints rather than by unconstrained dynamical evolution. Within this framework, coherent quantum states may function as intermediate computational or representational states but are excluded as lawful endpoints for records, decisions, and control. Applying closure stability to quantum systems yields a classical decision subspace without introducing new dynamics, observer-dependent postulates, or interpretation-specific assumptions. The paper further shows that agency requires a closure-stable internal selection process capable of consistent expected-utility comparison. Imposing closure compatibility rigidly fixes the standard quadratic Born probability rule as the only weighting compatible with stability, representation-independence, and admissibility-preserving re-expression. Together, these results integrate agency into the same structural framework that accounts for quantum measurement and probability. The absence of agency in purely quantum-coherent models is shown to reflect an under-constrained admissibility regime rather than a fundamental limitation of quantum theory. Lawful agency emerges as a closure-stable property of coupled agent–world dynamics, fully consistent with standard quantum mechanics. This work clarifies the physical limits of purely quantum models of decision, sharpens existing no-go arguments, and provides a mathematically explicit foundation for agency grounded in structural admissibility rather than interpretation.