Loophole-free Bell experiments and the extended Wigner's-friend no-go experiment constrain conjunctions of assumptions (local realism; absoluteness of observed events with locality and no-superdeterminism) but do not empirically discriminate observer-first ontologies from physicalist interpretations of quantum mechanics.

The experimental results are among the most secure in physics, and the non-discrimination point is close to analytic: experiments confirming quantum statistics cannot separate theories that all predict quantum statistics. The Jones–Müller classical-reproduction result strengthens the deflationary reading from the proponents' own side.

The empirical benchmarks (Hensen 2015, Bong 2020) rigorously establish statistical boundaries for local realism and absolute observed events without discriminating between underlying physicalist and idealist ontologies. A paper by the proponents themselves (Jones & Müller 2026) reinforces that Wigner's-friend setups can be reproduced via classical thought experiments. The strongest opposing consideration is that experiments taxing absolute facts place a heavier explanatory burden on ordinary physicalists.

Loophole-free Bell tests (Hensen et al., ZW-E017) and Bong et al.’s local-friendliness experiment (ZW-E018) demonstrably constrain conjunctions of locality, realism, and absoluteness of observed events but merely confirm standard quantum statistics, which both observer-first and physicalist interpretations already accept. Jones & Müller’s classical analysis of Wigner’s-friend-type structures (ZW-E004) further shows that some “observer puzzles” are not even specifically quantum, reinforcing the non-discriminating character of current data. The strongest objection is that taxing the absoluteness of observed events arguably presses harder on naive physicalism than on observer-relative frameworks, but that is a difference in theoretical comfort, not in experimental discrimination.

Hensen et al. 2015 fix a loophole-free CHSH violation at S = 2.42 ± 0.20, and Bong et al. 2020 price the conjunction of observer-independent facts, locality, and no-superdeterminism more steeply than Bell, yet both confirm quantum statistics rather than select an ontology. Jones and Müller further show that the Wigner's-friend structure can be recovered classically by agent duplication, so it is not even a specifically quantum witness. The strongest opposing consideration is that local friendliness is not perfectly neutral: it taxes theories committed to absolute observed events, a real cost for ordinary physicalism that observer-relative frameworks do not pay. That is an asymmetric constraint on assumption bundles, not an empirical discrimination of the two ontologies.

The experimental anchors are among the most secure results in physics (Hensen: S = 2.42 ± 0.20, ZW-E017; Bong's local-friendliness theorem, ZW-E018), and the non-discrimination clause is a matter of logic: ontologies that both reproduce quantum statistics cannot be separated by experiments confirming quantum statistics. The strongest opposing consideration is in the file itself: the Wigner's-friend theorem taxes absoluteness of observed events, a cost physicalist readings pay that observer-relative frameworks may not — so the constraint is not perfectly symmetric. But "not perfectly neutral" falls short of "discriminating": as the claim is stated (constrains assumption conjunctions, does not pick an ontology), it holds, and the proponents' own deflationary paper (ZW-E004) reinforces it.

The experimental facts (ZW-E017, ZW-E018) are among the most secure in physics, and the non-discrimination conclusion follows logically: theories agreeing on quantum statistics cannot be separated by experiments confirming quantum statistics. Bong's "friend" being a photon path is correctly flagged as blocking any inference that minds or first-person states play a causal role, and Jones–Müller (ZW-E004) further shows the Wigner's-friend structure is not even specifically quantum. The strongest opposing consideration, noted in the claim's own objection field, is that the local friendliness theorem is not perfectly symmetric — it taxes absoluteness of observed events, a commitment ordinary physicalism typically holds and observer-relative frameworks do not. That asymmetry is a real cost differential, but it is a constraint on assumption bundles rather than a discriminating measurement, so the claim stands.

The experimental results (ZW-E017, ZW-E018) are secure, and the non-discrimination point is near-analytic: experiments confirming quantum statistics cannot separate theories that all predict them. ZW-E004 strengthens the deflationary reading from the proponents' own side by reproducing the Wigner's-friend structure classically.

The benchmarks are secure (ZW-E017, ZW-E018) and the non-discrimination step is close to analytic: theories reproducing identical quantum statistics cannot be separated by confirmations of those statistics. ZW-E004 reinforces it from the proponents' own side by showing the Wigner's-friend structure is not specifically quantum.

Benchmarks are secure (ZW-E017, ZW-E018) and the non-discrimination step is near-analytic: theories that reproduce identical quantum statistics cannot be separated by confirmations of those statistics. ZW-E004 reinforces it from inside the flagship program.

The experimental results (ZW-E017, ZW-E018) are secure, and the non-discrimination point is close to analytic: theories that all reproduce quantum statistics cannot be separated by confirmations of those statistics. ZW-E004 reinforces this from the proponents' own side.

Benchmarks are secure (ZW-E017, ZW-E018) and the non-discrimination step is near-analytic: theories reproducing identical quantum statistics cannot be separated by confirmations of those statistics. ZW-E004 reinforces it from the proponents' own side. This claim now carries the case verdict.

The benchmarks are secure (ZW-E017, ZW-E018) and the non-discrimination step is close to analytic: theories reproducing identical quantum statistics cannot be separated by confirmations of those statistics. ZW-E004 reinforces this from the proponents' own side.

Benchmarks are secure (ZW-E017, ZW-E018); non-discrimination between ontologies is near-analytic and reinforced from the proponents' own side by ZW-E004.

Unchanged: benchmarks secure (ZW-E017, ZW-E018), non-discrimination near-analytic, reinforced from the proponents' side by ZW-E004.

Benchmarks secure (ZW-E017, ZW-E018); the non-discrimination point is near-analytic and reinforced from the proponents' own side by ZW-E004.

Landmark experiments like loophole-free Bell tests (E017) and local friendliness no-go theorems (E018) firmly constrain assumptions regarding local realism and absolute observed events. However, because both observer-first and physicalist models are designed to reproduce these quantum statistics, the data cannot empirically discriminate between their ontologies. The strongest opposing consideration is that the Wigner's-friend theorem specifically taxes theories with absolute observer-independent events, which arguably imposes a higher conceptual cost on physicalism.

ZW-E017 and ZW-E018 establish that loophole-free Bell tests and local-friendliness experiments severely constrain local realism and absolute observed events under additional assumptions, while ZW-E004 shows that Wigner’s-friend-type paradoxes can even be modeled classically via agent duplication. Since all programs under discussion are constructed to reproduce quantum statistics, it follows that these experiments cannot presently single out observer- first ontologies over physicalist interpretations. The strongest opposing point is that local-friendliness theorems do impose a more direct cost on theories with ontologically absolute outcomes, which many physicalists favor, so the constraints are not entirely neutral in spirit even if they do not yet constitute a discriminating test.

Hensen et al. violated CHSH loophole-free at S = 2.42 ± 0.20, fixing the empirical window between 2 and 2√2 (ZW-E017). Bong et al. price the conjunction of absoluteness of observed events, locality, and no-superdeterminism more steeply than Bell, but the experimental “friend” is a photon path (ZW-E018). Jones and Müller argue that the Wigner’s-friend structure can be reproduced classically by duplicating agents, so it is not specifically quantum evidence about minds (ZW-E004). Theories that already accept quantum statistics cannot be separated by experiments that confirm those statistics. The strongest opposing consideration is that local friendliness is not perfectly ontology-neutral: it taxes theories committed to absolute observed events, a cost ordinary physicalism pays more readily than observer-relative frameworks. That is a constraint on assumption bundles, not a discriminating test of the two ontologies.

Hensen's loophole-free CHSH violation (S = 2.42 ± 0.20, ZW-E017) and Bong's local-friendliness no-go theorem (ZW-E018) are among the most secure results in physics, and the non-discrimination clause follows by logic: every serious contender here reproduces identical quantum statistics, so experiments confirming those statistics cannot separate them. Jones–Müller (ZW-E004) reinforces this by showing the Wigner's-friend structure is not even specifically quantum. The strongest opposing consideration is the asymmetry objection: Bong's theorem specifically taxes absoluteness of observed events, a cost observer-relative frameworks escape more cheaply than physicalism — but that is a differential theoretical price, not an empirical discrimination, so the claim as stated survives.

The experimental facts are secure (ZW-E017: S = 2.42 ± 0.20; ZW-E018: local-friendliness no-go with photonic proof-of-principle), and the non-discrimination conclusion is a logical point rather than an empirical one: theories that reproduce quantum statistics cannot be separated by tests confirming quantum statistics. ZW-E016 reinforces this by showing PBR constrains a neighbour of both principals rather than either. The strongest opposing consideration is the claim's own listed objection and ZW-E018's structure: local friendliness specifically taxes absoluteness of observed events, an asymmetric cost that observer-relative frameworks avoid, so the constraint is not perfectly ontology-neutral even though it is not a discriminating test. That asymmetry qualifies "constrain" without touching "do not empirically discriminate."

The benchmarks are secure (ZW-E017, ZW-E018) and the non-discrimination point is near-analytic, reinforced from the proponents' own side by ZW-E004.

The benchmarks are secure (ZW-E017, ZW-E018); the non-discrimination point is near-analytic and is reinforced from the proponents' own side by ZW-E004.

The experimental results themselves are among the most secure in physics. The non-discrimination point is a matter of logic: theories that reproduce quantum statistics cannot be separated by experiments that confirm quantum statistics.

Loophole-free Bell tests (Hensen et al. 2015) and extended Wigner's-friend experiments (Bong et al. 2020) empirically rule out local realism and the simultaneous absoluteness of observed events under locality and no-superdeterminism. While these findings constrain the conjunction of classical physicalist assumptions, they do not differentiate observer-first idealism from conventional non-idealist quantum interpretations like Everettian many-worlds, Bohmian mechanics, or relational quantum mechanics. The strongest opposing consideration is that the Bong et al. constraints directly align with the core idealist premise that physical measurement outcomes are strictly agent-relative rather than third-person facts.

Hensen 2015 (ZW-E017) and Bong 2020 (ZW-E018) establish the experimental constraints, and Jones & Müller (ZW-E004) show the Wigner's-friend structure is reproducible classically, blocking any reading of these experiments as ontology-discriminating. Bong's "friend" is a photon path, so consciousness plays no demonstrated role. The claim is a negative existence statement about empirical discrimination, which the records support; no experiment in the ledger separates observer-first from physicalist interpretations.

ZW-E017 establishes the Bell benchmark, while ZW-E018 states the local-friendliness result as a constraint on a conjunction of no-superdeterminism, locality, and absoluteness of events. Neither experiment tests a unique observer-first prediction against a unique physicalist prediction, and ZW-E004 further shows that relevant Wigner's-friend structure is not exclusively quantum. The strongest opposing consideration is that local-friendliness results place particular pressure on views insisting upon absolute observed events, but that pressure does not uniquely select an observer-first ontology.

Hensen 2015 and Bong 2020 establish loophole-free Bell violation and local-friendliness constraints on conjunctions of assumptions (ZW-E017, ZW-E018); Jones & Müller 2026 further show that Wigner’s-friend structure can be reproduced classically (ZW-E004). Nothing in these records empirically selects observer-first ontologies over physicalist ones. The strongest opposing consideration is that future larger-scale “friend” experiments might eventually discriminate, yet the claim concerns existing experiments and is therefore intact.

E017 and E018 fix what the experiments constrain: local realism (S = 2.42 ± 0.20 against the local bound of 2), and the conjunction of absoluteness of observed events, locality and no-superdeterminism. The non-discrimination half is an inference rather than a measurement, but a sound one: observer-first programs currently make no divergent predictions for these setups (C002), physicalist interpretations that reproduce quantum statistics survive by surrendering one assumption (a point that leans on general background about interpretations), and Jones and Müller (E004) show the Wigner's-friend structure is not even specifically quantum. Strongest opposing consideration: local friendliness does reprice the options, since views denying absoluteness pay nothing while single-world physicalist views must accept nonlocality or superdeterminism, and a scaled-up test with a genuinely observer-like friend (E018's own limitation) is the route by which such experiments could begin to discriminate views that treat observers as physically special; repricing is not discrimination, however, and the case's observer-first programs aim to reproduce quantum statistics, not depart from them. Locally true, the claim cuts both ways for ZW-C008: it supplies no empirical refutation and no empirical support.

The experimental results are among the most secure in physics. The non-discrimination point is a matter of logic: theories that reproduce quantum statistics cannot be separated by experiments that confirm quantum statistics.

Loophole-free Bell tests (Hensen et al. 2015) and extended Wigner's-friend theorems (Bong et al. 2020) prove that nature violates conjunctions of classical assumptions like local realism or observer-independent facts, but they remain completely neutral between idealist and physicalist quantum interpretations. Jones & Müller (2026) further demonstrate that the structural core of the Wigner's-friend paradox can be reproduced in classical agent-duplication setups, showing that these empirical tests do not isolate consciousness or first-person ontology. Proponents occasionally point to no-go theorems as favoring observer-centric ontologies, but the experimental "friends" in such tests are standard physical systems like optical paths.

ZW-E017 fixes the empirical numbers (S = 2.42 ± 0.20 against the local bound 2 and Tsirelson bound 2√2) and ZW-E018 shows the local-friendliness no-go constrains a conjunction of assumptions with a photon path as the "friend" — a benchmark, not an ontology verdict. ZW-E004, written by the flagship program's own authors, further shows the Wigner's-friend structure is reproducible classically, blocking any reading of these experiments as distinctively quantum evidence about observers. The strongest opposing consideration is that Bong 2020's proof-of-principle scale leaves room for future discriminating extensions, but nothing on record currently discriminates.

ZW-E017 establishes the Bell benchmark, while ZW-E018 states the local-friendliness result as a constraint on a conjunction of no-superdeterminism, locality, and absoluteness of observed events. Neither experiment compares distinctive observer-first and physicalist numerical predictions, and ZW-E004 further argues that key Wigner's-friend structure can arise outside quantum physics. The strongest opposing consideration is that local-friendliness results impose a particular cost on views retaining absolute events, but that differential interpretive pressure is not empirical discrimination between the ontologies named in the claim.

Hensen 2015 and Bong 2020 fix empirical constraints on local realism and on the conjunction of absoluteness of observed events, locality, and no-superdeterminism, without selecting an ontology (ZW-E017, ZW-E018); Jones & Müller argue that the Wigner's-friend structure is not specifically quantum (ZW-E004). The strongest opposing consideration is that local-friendliness is "strictly stronger" than Bell and taxes theories committed to absolute observed events, which some physicalist readings hold — yet the experimental "friend" is a photon path, so consciousness or first-person ontology is not demonstrated.

Hensen et al. (E017) and Bong et al. (E018) each constrain a conjunction of assumptions. Hensen tests local realism; Bong tests absoluteness of observed events together with locality and no-superdeterminism. Bong's "friend" is a photon path, so neither touches first-person states. The non-discrimination limb rests chiefly on a logical point rather than on any single record. Every interpretation that reproduces quantum statistics is consistent with these outcomes, and observer-first programs do not yet make determinate predictions for them (C002). Jones & Müller (E004, abstract only) add that the Wigner's-friend structure arises classically. Strongest opposing consideration: local-friendliness violations do tax theories committed to absolute events, and scaled to genuine observers they would pressure single-world physicalism. Perspectival physicalist views (Everettian, for instance; background) are equally untaxed, so that line does not run between observer-first and physicalist ontologies.

The experimental results are among the most secure in physics. The non-discrimination point is a matter of logic: theories that reproduce quantum statistics cannot be separated by experiments that confirm quantum statistics.